WorldWideScience

Sample records for theorem proving

  1. Interactive Theorem Proving and Verification

    Indian Academy of Sciences (India)

    Research in the area of automated reasoning is largely concentrated around two major themes – Automated Theorem Proving and Interactive Theorem Proving. The goal of Auto- mated Theorem Proving, as the name suggests, is to try to prove a wide range of mathematical theorems using a computer in an automatic ...

  2. Symbolic logic and mechanical theorem proving

    CERN Document Server

    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.

  3. Automated theorem proving theory and practice

    CERN Document Server

    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...

  4. Theorem Proving In Higher Order Logics

    Science.gov (United States)

    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.

  5. Interval logic. Proof theory and theorem proving

    DEFF Research Database (Denmark)

    Rasmussen, Thomas Marthedal

    2002-01-01

    of a direction of an interval, and present a sound and complete Hilbert proof system for it. Because of its generality, SIL can conveniently act as a general formalism in which other interval logics can be encoded. We develop proof theory for SIL including both a sequent calculus system and a labelled natural...... deduction system. We conduct theoretical investigations of the systems with respect to subformula properties, proof search, etc. The generic theorem proving system Isabelle is used as a framework for encoding both proof theoretical systems. We consider a number of examples/small case-studies and discuss...

  6. Theorem Proving in Intel Hardware Design

    Science.gov (United States)

    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.

  7. Logic for computer science foundations of automatic theorem proving

    CERN Document Server

    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

  8. Conditional and preferential logics proof methods and theorem proving

    CERN Document Server

    Pozzato, GL

    2010-01-01

    Contains a version of the author's PhD dissertation and focuses on proof methods and theorem proving for conditional and preferential logics. This book introduces proof methods (sequent and tableau calculi) for conditional and preferential logics, as well as theorem provers obtained by implementing the proposed calculi.

  9. Model Checking Failed Conjectures in Theorem Proving: A Case Study

    Science.gov (United States)

    Pike, Lee; Miner, Paul; Torres-Pomales, Wilfredo

    2004-01-01

    Interactive mechanical theorem proving can provide high assurance of correct design, but it can also be a slow iterative process. Much time is spent determining why a proof of a conjecture is not forthcoming. In some cases, the conjecture is false and in others, the attempted proof is insufficient. In this case study, we use the SAL family of model checkers to generate a concrete counterexample to an unproven conjecture specified in the mechanical theorem prover, PVS. The focus of our case study is the ROBUS Interactive Consistency Protocol. We combine the use of a mechanical theorem prover and a model checker to expose a subtle flaw in the protocol that occurs under a particular scenario of faults and processor states. Uncovering the flaw allows us to mend the protocol and complete its general verification in PVS.

  10. Pengembangan Perangkat Pembelajaran Geometri Ruang dengan Model Proving Theorem

    Directory of Open Access Journals (Sweden)

    Bambang Eko Susilo

    2016-03-01

    Full Text Available Kemampuan berpikir kritis dan kreatif mahasiswa masih lemah. Hal ini ditemukan pada mahasiswa yang mengambil mata kuliah Geometri Ruang yaitu dalam membuktikan soal-soal pembuktian (problem to proof. Mahasiswa masih menyelesaikan secara algoritmik atau prosedural sehingga diperlukan pengembangan perangkat pembelajaran Geometri Ruang berbasis kompetensi dan konservasi dengan model Proving Theorem. Dalam penelitian ini perangkat perkuliahan yang dikembangkan yaitu Silabus, Satuan Acara Perkuliahan (SAP, Kontrak Perkuliahan, Media Pembelajaran, Bahan Ajar, Tes UTS dan UAS serta Angket Karakter Konservasi telah dilaksanakan dengan baik dengan kriteria (1 validasi perangkat pembelajaran mata kuliah Geometri ruang berbasis kompetensi dan konservasi dengan model proving theorem berkategori baik dan layak digunakan dan (2 keterlaksanaan RPP pada pembelajaran yang dikembangkan secara keseluruhan berkategori baik.Critical and creative thinking abilities of students still weak. It is found in students who take Space Geometry subjects that is in solving problems to to prove. Students still finish in algorithmic or procedural so that the required the development of Space Geometry learning tools based on competency and conservation with Proving Theorem models. This is a research development which refers to the 4-D models that have been modified for the Space Geometry learning tools, second semester academic year 2014/2015. Instruments used include validation sheet, learning tools and character assessment questionnaire. In this research, the learning tools are developed, namely Syllabus, Lesson Plan, Lecture Contract, Learning Media, Teaching Material, Tests, and Character Conservation Questionnaire had been properly implemented with the criteria (1 validation of Space Geometry learning tools based on competency and conservation with Proving Theorem models categorized good and feasible to use, and (2 the implementation of Lesson Plan on learning categorized

  11. Formal Analysis of Soft Errors using Theorem Proving

    Directory of Open Access Journals (Sweden)

    Sofiène Tahar

    2013-07-01

    Full Text Available Modeling and analysis of soft errors in electronic circuits has traditionally been done using computer simulations. Computer simulations cannot guarantee correctness of analysis because they utilize approximate real number representations and pseudo random numbers in the analysis and thus are not well suited for analyzing safety-critical applications. In this paper, we present a higher-order logic theorem proving based method for modeling and analysis of soft errors in electronic circuits. Our developed infrastructure includes formalized continuous random variable pairs, their Cumulative Distribution Function (CDF properties and independent standard uniform and Gaussian random variables. We illustrate the usefulness of our approach by modeling and analyzing soft errors in commonly used dynamic random access memory sense amplifier circuits.

  12. Searching for fixed point combinators by using automated theorem proving: A preliminary report

    Energy Technology Data Exchange (ETDEWEB)

    Wos, L.; McCune, W.

    1988-09-01

    In this report, we establish that the use of an automated theorem- proving program to study deep questions from mathematics and logic is indeed an excellent move. Among such problems, we focus mainly on that concerning the construction of fixed point combinators---a problem considered by logicians to be significant and difficult to solve, and often computationally intensive and arduous. To be a fixed point combinator, THETA must satisfy the equation THETAx = x(THETAx) for all combinators x. The specific questions on which we focus most heavily ask, for each chosen set of combinators, whether a fixed point combinator can be constructed from the members of that set. For answering questions of this type, we present a new, sound, and efficient method, called the kernel method, which can be applied quite easily by hand and very easily by an automated theorem-proving program. For the application of the kernel method by a theorem-proving program, we illustrate the vital role that is played by both paramodulation and demodulation---two of the powerful features frequently offered by an automated theorem-proving program for treating equality as if it is ''understood.'' We also state a conjecture that, if proved, establishes the completeness of the kernel method. From what we can ascertain, this method---which relies on the introduced concepts of kernel and superkernel---offers the first systematic approach for searching for fixed point combinators. We successfully apply the new kernel method to various sets of combinators and, for the set consisting of the combinators B and W, construct an infinite set of fixed point combinators such that no two of the combinators are equal even in the presence of extensionality---a law that asserts that two combinators are equal if they behave the same. 18 refs.

  13. A theorem proving framework for the formal verification of Web Services Composition

    Directory of Open Access Journals (Sweden)

    Petros Papapanagiotou

    2011-08-01

    Full Text Available We present a rigorous framework for the composition of Web Services within a higher order logic theorem prover. Our approach is based on the proofs-as-processes paradigm that enables inference rules of Classical Linear Logic (CLL to be translated into pi-calculus processes. In this setting, composition is achieved by representing available web services as CLL sentences, proving the requested composite service as a conjecture, and then extracting the constructed pi-calculus term from the proof. Our framework, implemented in HOL Light, not only uses an expressive logic that allows us to incorporate multiple Web Services properties in the composition process, but also provides guarantees of soundness and correctness for the composition.

  14. Calculus using proximities: a mathematical approach in which students can actually prove theorems

    Directory of Open Access Journals (Sweden)

    O’Donovan Richard

    2017-02-01

    Full Text Available Teaching and learning calculus are notoriously difficult and the didactic solutions may involve resorting to intuitive but vague definitions or informal gestures offered as proofs. The teaching literature is rife with examples of metaphors, adverb manipulations and descriptions of what happens “just before” the limit. It is then difficult to leave the domain of the mental image, thus losing the training in rigour. The author (with Karel Hrbacek and Olivier Lessmann has endeavoured a radically different approach with the objective of training students to prove theorems while preserving both intuition and mathematical rigour. Hence we change the mathematical setting rather than the didactic setting. The result (which is a by-product of nonstandard analysis has been used in several high schools in Geneva – Switzerland – for over ten years.

  15. A theorem proving approach for automatically synthesizing visualizations of flow cytometry data.

    Science.gov (United States)

    Raj, Sunny; Hussain, Faraz; Husein, Zubir; Torosdagli, Neslisah; Turgut, Damla; Deo, Narsingh; Pattanaik, Sumanta; Chang, Chung-Che Jeff; Jha, Sumit Kumar

    2017-06-07

    Polychromatic flow cytometry is a popular technique that has wide usage in the medical sciences, especially for studying phenotypic properties of cells. The high-dimensionality of data generated by flow cytometry usually makes it difficult to visualize. The naive solution of simply plotting two-dimensional graphs for every combination of observables becomes impractical as the number of dimensions increases. A natural solution is to project the data from the original high dimensional space to a lower dimensional space while approximately preserving the overall relationship between the data points. The expert can then easily visualize and analyze this low-dimensional embedding of the original dataset. This paper describes a new method, SANJAY, for visualizing high-dimensional flow cytometry datasets. This technique uses a decision procedure to automatically synthesize two-dimensional and three-dimensional projections of the original high-dimensional data while trying to minimize distortion. We compare SANJAY to the popular multidimensional scaling (MDS) approach for visualization of small data sets drawn from a representative set of benchmarks, and our experiments show that SANJAY produces distortions that are 1.44 to 4.15 times smaller than those caused due to MDS. Our experimental results show that SANJAY also outperforms the Random Projections technique in terms of the distortions in the projections. We describe a new algorithmic technique that uses a symbolic decision procedure to automatically synthesize low-dimensional projections of flow cytometry data that typically have a high number of dimensions. Our algorithm is the first application, to our knowledge, of using automated theorem proving for automatically generating highly-accurate, low-dimensional visualizations of high-dimensional data.

  16. 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.

  17. Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV

    Directory of Open Access Journals (Sweden)

    Sen Liang

    2017-01-01

    Full Text Available Model checking and theorem proving are two key vertification techniques in the formal method, but each has its advantages and disadvantages. In this paper, we first try to present the general model transformation rules from Event-B to SMV in order to realize complementary advantages, and then design the model converter of Event-B to SMV according to the rules. ProB is the only tool to implement Event-B model checking, but it lacks the real-time property verification, while nuXmv is able to verify temporal logic formulas with the real-time property for SMV models. After completing the model transformation, we use ProB and nuXmv to make the verification of LTL and CTL formulas for two equivalent models respectively. Compared to the experimental results, in solving the same problem, nuXmv has more advantages over memory consumption, time efficiency and so on than ProB, especially when the formula to be verified is very complex. Therefore, if complex verifications of system models need to be performed, it is necessary to implement the model transformation between Event-B and SMV by using our translation rules, which is of great significance for the development, design and verification of safety-critical system softwares.

  18. Poncelet's theorem

    CERN Document Server

    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

  19. Around the Carnot theorem

    OpenAIRE

    Baralic, Djordje

    2013-01-01

    We study the Carnot theorem and the configuration of points and lines in connection with it. It is proven that certain significant points in the configuration lie on the same lines and same conics. The proof of an equivalent statement formulated by Bradley is given. An open conjecture, established by Bradley, is proved using the theorems of Carnot and Menelaus.

  20. Type Theory, Computation and Interactive Theorem Proving

    Science.gov (United States)

    2015-09-01

    prover (system description).” 25th International Conference on Automated Deduction ( CADE -25), Berlin, Germany, 2015. [13] Leonardo de Moura, Jeremy...Deduction ( CADE -25), Berlin, Germany, 2015. 13) Leonardo de Moura, Jeremy Avigad, Soonho Kong, and Cody Roux, "Elaboration in dependent type

  1. 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...... singular points nor closed orbits. In this paper, we redefine the standard notion of safety to comply with dynamical systems with multiple singular elements. Hereafter, we prove the converse barrier certificate theorems and highlight the differences between our results and previous work by a number...

  2. Generalized monotone convergence and Radon-Nikodym theorems

    Science.gov (United States)

    Gudder, S.; Zerbe, J.

    1981-11-01

    A measure and integration theory is presented in the quantum logic framework. A generalization of the monotone convergence theorem is proved. Counterexamples are used to show that the dominated convergence theorem, Fatou's lemma, Egoroff's theorem, and the additivity of the integral do not hold in this framework. Finally, a generalization of the Radon-Nikodym theorem is proved.

  3. The Jordan Curve Theorem

    Indian Academy of Sciences (India)

    painting and reading. Unlike most others he dislikes computers. Figure 1. Ritabrata Munshi. Introd uction. In the first part of the article (Resonance, Vol. 4, No.9 ) we proved the Jordan sepa.ration theorem which says that a simple closed curve in E2 separates it into at least two components. In this concluding part after some ...

  4. Certified Kruskal's Tree Theorem

    Directory of Open Access Journals (Sweden)

    Christian Sternagel

    2014-07-01

    Full Text Available This article presents the first formalization of Kurskal's tree theorem in aproof assistant. The Isabelle/HOL development is along the lines of Nash-Williams' original minimal bad sequence argument for proving the treetheorem. Along the way, proofs of Dickson's lemma and Higman's lemma, as well as some technical details of the formalization are discussed.

  5. 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...

  6. Bertini and his two fundamental theorems

    OpenAIRE

    Kleiman, Steven L.

    1997-01-01

    After reviewing Bertini's life story, a fascinating drama, we make a critical examination of the old statements and proofs of Bertini's two fundamental theorems, the theorem on variable singular points and the theorem on reducible linear systems. We explain the content of the statements in a way that is accessible to a nonspecialist, and we develop versions of the old proofs that are complete and rigorous by current standards. In particular, we prove a new extension of Bertini's first theorem...

  7. On Mathematical Proving

    Science.gov (United States)

    Stefaneas, Petros; Vandoulakis, Ioannis M.

    2015-12-01

    This paper outlines a logical representation of certain aspects of the process of mathematical proving that are important from the point of view of Artificial Intelligence. Our starting-point is the concept of proof-event or proving, introduced by Goguen, instead of the traditional concept of mathematical proof. The reason behind this choice is that in contrast to the traditional static concept of mathematical proof, proof-events are understood as processes, which enables their use in Artificial Intelligence in such contexts, in which problem-solving procedures and strategies are studied. We represent proof-events as problem-centered spatio-temporal processes by means of the language of the calculus of events, which captures adequately certain temporal aspects of proof-events (i.e. that they have history and form sequences of proof-events evolving in time). Further, we suggest a "loose" semantics for the proof-events, by means of Kolmogorov's calculus of problems. Finally, we expose the intented interpretations for our logical model from the fields of automated theorem-proving and Web-based collective proving.

  8. Frege's theorem

    CERN Document Server

    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

  9. Double sequence core theorems

    Directory of Open Access Journals (Sweden)

    Richard F. Patterson

    1999-01-01

    Full Text Available In 1900, Pringsheim gave a definition of the convergence of double sequences. In this paper, that notion is extended by presenting definitions for the limit inferior and limit superior of double sequences. Also the core of a double sequence is defined. By using these definitions and the notion of regularity for 4-dimensional matrices, extensions, and variations of the Knopp Core theorem are proved.

  10. Fluctuation theorem: A critical review

    Science.gov (United States)

    Malek Mansour, M.; Baras, F.

    2017-10-01

    Fluctuation theorem for entropy production is revisited in the framework of stochastic processes. The applicability of the fluctuation theorem to physico-chemical systems and the resulting stochastic thermodynamics were analyzed. Some unexpected limitations are highlighted in the context of jump Markov processes. We have shown that these limitations handicap the ability of the resulting stochastic thermodynamics to correctly describe the state of non-equilibrium systems in terms of the thermodynamic properties of individual processes therein. Finally, we considered the case of diffusion processes and proved that the fluctuation theorem for entropy production becomes irrelevant at the stationary state in the case of one variable systems.

  11. -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.

  12. An evaluation based theorem prover

    Energy Technology Data Exchange (ETDEWEB)

    Degano, P.; Sirovich, F.

    1985-01-01

    A noninductive method for mechanical theorem proving is presented, which deals with a recursive class of theorems involving iterative functions and predicates. The method is based on the symbolic evaluation of the formula to be proved and requires no inductive step. Induction is avoided since a metatheorem is proved which establishes the conditions on the evaluation of any formula which are sufficient to assure that the formula actually holds. The proof of a supposed theorem consists in evaluating the formula and checking the conditions. The method applies to assertions that involve element-by-element checking of typed homogeneous sequences which are hierarchically constructed out of the primitive type consisting of the truth values. The sequences can be computed by means of iterative and ''accumulator'' functions. The paper includes the definition of a simple typed iterative language in which both predicates and functions are expressed. The language precisely defines the scope of the proof method. The method proves a wide variety of theorems about iterative functions on sequences, including that which states that REVERSE is its own inverse, and that it can be inversely distributed on APPEND, that FLATTEN can be distributed on APPEND and that each element of any sequence is a MEMBER of the sequence itself. Although the method is not complete, it does provide the basis for an extremely efficient tool to be used in a complete mechanical theorem prover.

  13. SOME LIMIT-THEOREMS IN LOG DENSITY

    NARCIS (Netherlands)

    BERKES, [No Value; DEHLING, H

    Motivated by recent results on pathwise central limit theorems, we study in a systematic way log-average versions of classical limit theorems. For partial sums S(k) of independent r.v.'s we prove under mild technical conditions that (1/log N)SIGMA(k less-than-or-equal-to N)(1/k)I{S(k)/a(k)

  14. F. Riesz Theorem

    Directory of Open Access Journals (Sweden)

    Narita Keiko

    2017-10-01

    Full Text Available In this article, we formalize in the Mizar system [1, 4] the F. Riesz theorem. In the first section, we defined Mizar functor ClstoCmp, compact topological spaces as closed interval subset of real numbers. Then using the former definition and referring to the article [10] and the article [5], we defined the normed spaces of continuous functions on closed interval subset of real numbers, and defined the normed spaces of bounded functions on closed interval subset of real numbers. We also proved some related properties.

  15. Euler’s Partition Theorem

    Directory of Open Access Journals (Sweden)

    Pąk Karol

    2015-06-01

    Full Text Available In this article we prove the Euler’s Partition Theorem which states that the number of integer partitions with odd parts equals the number of partitions with distinct parts. The formalization follows H.S. Wilf’s lecture notes [28] (see also [1].

  16. Coincidence theorems for some multivalued mappings

    Directory of Open Access Journals (Sweden)

    B. E. Rhoades

    1984-01-01

    Full Text Available Two coincidence theorems in a metric space are proved for a multi-valued mapping that commutes with a single-valued mapping and satisfies a general multi-valued contraction type condition.

  17. Subleading soft graviton theorem for loop amplitudes

    National Research Council Canada - National Science Library

    Sen, Ashoke

    2017-01-01

    ... or more. We prove the subleading soft graviton theorem in these theories to all orders in perturbation theory for S-matrix elements of arbitrary number of finite energy external states but only one external soft graviton...

  18. Generalized Dandelin’s Theorem

    Science.gov (United States)

    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.

  19. The quantitative Morse theorem

    OpenAIRE

    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.

  20. jsCoq: Towards Hybrid Theorem Proving Interfaces

    Directory of Open Access Journals (Sweden)

    Emilio Jesús Gallego Arias

    2017-01-01

    Full Text Available We describe jsCcoq, a new platform and user environment for the Coq interactive proof assistant. The jsCoq system targets the HTML5–ECMAScript 2015 specification, and it is typically run inside a standards-compliant browser, without the need of external servers or services. Targeting educational use, jsCoq allows the user to start interaction with proof scripts right away, thanks to its self-contained nature. Indeed, a full Coq environment is packed along the proof scripts, easing distribution and installation. Starting to use jsCoq is as easy as clicking on a link. The current release ships more than 10 popular Coq libraries, and supports popular books such as Software Foundations or Certified Programming with Dependent Types. The new target platform has opened up new interaction and display possibilities. It has also fostered the development of some new Coq-related technology. In particular, we have implemented a new serialization-based protocol for interaction with the proof assistant, as well as a new package format for library distribution.

  1. A Formal Proof Of The Riesz Representation Theorem

    Directory of Open Access Journals (Sweden)

    Anthony Narkawicz

    2011-01-01

    Full Text Available This paper presents a formal proof of the Riesz representation theorem in the PVS theorem prover. The Riemann Stieltjes integral was defined in PVS, and the theorem relies on this integral. In order to prove the Riesz representation theorem, it was necessary to prove that continuous functions on a closed interval are Riemann Stieltjes integrable with respect to any function of bounded variation. This result follows from the equivalence of the Riemann Stieltjes and Darboux Stieltjes integrals, which would have been a lengthy result to prove in PVS, so a simpler lemma was proved that captures the underlying concept of this integral equivalence. In order to prove the Riesz theorem, the Hahn Banach theorem was proved in the case where the normed linear spaces are the continuous and bounded functions on a closed interval. The proof of the Riesz theorem follows the proof in Haaser and Sullivan's book Real Analysis. The formal proof of this result in PVS revealed an error in textbook's proof. Indeed, the proof of the Riesz representation theorem is constructive, and the function constructed in the textbook does not satisfy a key property. This error illustrates the ability of formal verification to find logical errors. A specific counterexample is given to the proof in the textbook. Finally, a corrected proof of the Riesz representation theorem is presented.

  2. The Serre duality theorem for Reimann surfaces

    Directory of Open Access Journals (Sweden)

    Ranjan Roy

    1984-01-01

    Full Text Available Given a Riemann surface S, there exists a finitely generated Fuchsian group G of the first kind acting on the upper half plane U, such that S≅U/G. This isomorphism makes it possible to use Fuchsian group methods to prove theorems about Riemann surfaces. In this note we give a proof of the Serre duality theorem by Fuchsian group methods which is technically simpler than proofs depending on sheaf theoretic methods.

  3. Abstract decomposition theorem and applications

    CERN Document Server

    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).

  4. Formalizing Arrow's theorem

    Indian Academy of Sciences (India)

    Keywords. formalization of mathematics; Mizar; social choice theory; Arrow's theorem; Gibbard–Satterthwaite theorem; proof errors. ... Author Affiliations. Freek Wiedijk1. Institute for Computing and Information Sciences, Radboud University Nijmegen, Toernooiveld 1, 6525 ED Nijmegen, The Netherlands ...

  5. Gap and density theorems

    CERN Document Server

    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

  6. The pointwise Hellmann-Feynman theorem

    Directory of Open Access Journals (Sweden)

    David Carfì

    2010-02-01

    Full Text Available In this paper we study from a topological point of view the Hellmann-Feynman theorem of Quantum Mechanics. The goal of the paper is twofold: On one hand we emphasize the role of the strong topology in the classic version of the theorem in Hilbert spaces, for what concerns the kind of convergence required on the space of continuous linear endomorphisms, which contains the space of (continuous observables.On the other hand we state and prove a new pointwise version of the classic Hellmann-Feynman theorem. This new version is not yet present in the literature and follows the idea of A. Bohm concerning the topology which is desiderable to use in Quantum Mechanics. It is indeed out of question that this non-trivial new version of the Hellmann-Feynman theorem is the ideal one - for what concerns the continuous observables on Hilbert spaces, both from a theoretical point of view, since it is the strongest version obtainable in this context - we recall that the pointwise topology is the coarsest one compatible with the linear structure of the space of continuous observables -, and from a practical point of view, because the pointwise topology is the easiest to use among topologies: it brings back the problems to the Hilbert space topology. Moreover, we desire to remark that this basic theorem of Quantum Mechanics, in his most desiderable form, is deeply interlaced with two cornerstones of Functional Analysis: the Banach-Steinhaus theorem and the Baire theorem.

  7. The Surprise Examination Paradox and the Second Incompleteness Theorem

    OpenAIRE

    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...

  8. Restriction Theorem for Principal bundles in Arbitrary Characteristic

    DEFF Research Database (Denmark)

    Gurjar, Sudarshan

    2015-01-01

    The aim of this paper is to prove two basic restriction theorem for principal bundles on smooth projective varieties in arbitrary characteristic generalizing the analogues theorems of Mehta-Ramanathan for vector bundles. More precisely, let G be a reductive algebraic group over an algebraically c...

  9. Discovering Theorems in Abstract Algebra Using the Software "GAP"

    Science.gov (United States)

    Blyth, Russell D.; Rainbolt, Julianne G.

    2010-01-01

    A traditional abstract algebra course typically consists of the professor stating and then proving a sequence of theorems. As an alternative to this classical structure, the students could be expected to discover some of the theorems even before they are motivated by classroom examples. This can be done by using a software system to explore a…

  10. Fixed Point Theorems in Quaternion-Valued Metric Spaces

    Directory of Open Access Journals (Sweden)

    Ahmed El-Sayed Ahmed

    2014-01-01

    Full Text Available The aim of this paper is twofold. First, we introduce the concept of quaternion metric spaces which generalizes both real and complex metric spaces. Further, we establish some fixed point theorems in quaternion setting. Secondly, we prove a fixed point theorem in normal cone metric spaces for four self-maps satisfying a general contraction condition.

  11. 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.

  12. Integral theorems for the quaternionic G-monogenic mappings

    OpenAIRE

    Shpakivskyi, V. S.; Kuzmenko, T. S.

    2014-01-01

    In the paper [1] considered a new class of quaternionic mappings, so-called $G$-monogenic mappings. In this paper we prove analogues of classical integral theorems of the holomorphic function theory: the Cauchy integral theorems for surface and curvilinear integrals, and the Cauchy integral formula for $G$-monogenic mappings.

  13. Generalizing The Morley Trisector and Various Theorems with Realizability Computations

    OpenAIRE

    Braude, Eric J.

    2016-01-01

    An approach is shown that proves various theorems of plane geometry in an algorithmic manner. The approach affords transparent proofs of a generalization of the Theorem of Morley and other well known results by casting them in terms of constraint satisfaction.

  14. 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.

  15. Stacked spheres and lower bound theorem

    Indian Academy of Sciences (India)

    BASUDEB DATTA

    2011-11-20

    Nov 20, 2011 ... Using Kalai's result, Tay (1995) proved LBT for a bigger class of simplicial complexes (namely, normal pseudomanifolds). In 2008, we (Bagchi & Datta) have presented a self-contained combinatorial proof of LBT for normal pseudomanifolds. Stacked spheres and lower bound theorem. Basudeb Datta.

  16. Trace theorem for quasi-Fuchsian groups

    Science.gov (United States)

    Connes, A.; Sukochev, F. A.; Zanin, D. V.

    2017-10-01

    We complete the proof of the Trace Theorem in the quantized calculus for quasi-Fuchsian groups which was stated and sketched, but not fully proved, on pp. 322–325 of the book Noncommutative geometry of the first author. Bibliography: 34 titles.

  17. LangPro: Natural Language Theorem Prover

    NARCIS (Netherlands)

    Abzianidze, Lasha

    2017-01-01

    LangPro is an automated theorem prover for natural language (https://github.com/kovvalsky/LangPro). Given a set of premises and a hypothesis, it is able to prove semantic relations between them. The prover is based on a version of analytic tableau method specially designed for natural logic. The

  18. 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].

  19. Generalizations of the Lax-Milgram Theorem

    Directory of Open Access Journals (Sweden)

    Dimosthenis Drivaliaris

    2007-05-01

    Full Text Available We prove a linear and a nonlinear generalization of the Lax-Milgram theorem. In particular, we give sufficient conditions for a real-valued function defined on the product of a reflexive Banach space and a normed space to represent all bounded linear functionals of the latter. We also give two applications to singular differential equations.

  20. Generalizations of the Lax-Milgram Theorem

    Directory of Open Access Journals (Sweden)

    Yannakakis Nikos

    2007-01-01

    Full Text Available We prove a linear and a nonlinear generalization of the Lax-Milgram theorem. In particular, we give sufficient conditions for a real-valued function defined on the product of a reflexive Banach space and a normed space to represent all bounded linear functionals of the latter. We also give two applications to singular differential equations.

  1. A stochastic Fubini theorem: BSDE method.

    Science.gov (United States)

    Wang, Yanqing

    2017-01-01

    In this paper, we prove a stochastic Fubini theorem by solving a special backward stochastic differential equation (BSDE, for short) which is different from the existing techniques. As an application, we obtain the well-posedness of a class of BSDEs with the Itô integral in drift term under a subtle Lipschitz condition.

  2. Fubini theorem for multiparameter stable process

    OpenAIRE

    Erraoui, Mohamed; Ouknine, Youssef

    2011-01-01

    We prove stochastic Fubini theorem for general stable measure which will be used to develop some identities in law for functionals of one and two-parameter stable processes. This result is subsequently used to establish the integration by parts formula for stable sheet.

  3. Fubini theorem for multiparameter stable process

    Directory of Open Access Journals (Sweden)

    Mohamed Erraoui

    2011-04-01

    Full Text Available We prove stochastic Fubini theorem for general stable measure which will be used to develop some identities in law for functionals of one and two-parameter stable processes. This result is subsequently used to establish the integration by parts formula for stable sheet.

  4. Fubini's Theorem for Vector-Valued Measures

    Science.gov (United States)

    Uglanov, A. V.

    1991-02-01

    The situation is considered when either the transitional or initial measure is vector-valued (the other is, respectively, scalar-valued; thus the product measure is also vector-valued). The integrable function is vector-valued. In this situation two theorems of Fubini type are proved.

  5. A stochastic Fubini theorem: BSDE method

    Directory of Open Access Journals (Sweden)

    Yanqing Wang

    2017-04-01

    Full Text Available Abstract In this paper, we prove a stochastic Fubini theorem by solving a special backward stochastic differential equation (BSDE, for short which is different from the existing techniques. As an application, we obtain the well-posedness of a class of BSDEs with the Itô integral in drift term under a subtle Lipschitz condition.

  6. The index theorem and the heat equation method

    CERN Document Server

    Yanlin, Yu

    2005-01-01

    This book provides a self-contained representation of the local version of the Atiyah-Singer index theorem. It contains proofs of the Hodge theorem, the local index theorems for the Dirac operator and some first order geometric elliptic operators by using the heat equation method. The proofs are up to the standard of pure mathematics. In addition, a Chern root algorithm is introduced for proving the local index theorems, and it seems to be as efficient as other methods. Contents: Preliminaries in Riemannian Geometry; Schrödinger and Heat Operators; MP Parametrix and Applications; Chern-Weil Th

  7. 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.

  8. Wigner's Symmetry Representation Theorem

    Indian Academy of Sciences (India)

    IAS Admin

    This article elucidates the important role the no- tion of symmetry has played in physics. It dis- cusses the proof of one of the important theorems of quantum mechanics, viz., Wigner's Symmetry. Representation Theorem. It also shows how the representations of various continuous and dis- crete symmetries follow from the ...

  9. The Jordan Curve Theorem

    Indian Academy of Sciences (India)

    This theorem first appeared in Jordan's Cours d'Analyse. (1887), but his proof was faulty. The first rigorous proof was given by Veblen in 1905. The purpose of this note is tc;> give a elementary (new?) proof of the theorem. Preliminaries. We begin with some definitions. 1. An arc is a space homeomorphic to the unit interval.

  10. Strong moderate deviation theorems

    NARCIS (Netherlands)

    Inglot, Tadeusz; Kallenberg, W.C.M.; Ledwina, Teresa

    1992-01-01

    Strong moderate deviation theorems are concerned with relative errors in the tails caused by replacing the exact distribution function by its limiting distribution function. A new approach for deriving such theorems is presented using strong approximation inequalities. In this way a strong moderate

  11. Why prove it again? alternative proofs in mathematical practice

    CERN Document Server

    Dawson, Jr , John W

    2015-01-01

    This monograph considers several well-known mathematical theorems and asks the question, “Why prove it again?” while examining alternative proofs.   It  explores the different rationales mathematicians may have for pursuing and presenting new proofs of previously established results, as well as how they judge whether two proofs of a given result are different.  While a number of books have examined alternative proofs of individual theorems, this is the first that presents comparative case studies of other methods for a variety of different theorems. The author begins by laying out the criteria for distinguishing among proofs and enumerates reasons why new proofs have, for so long, played a prominent role in mathematical practice.  He then outlines various purposes that alternative proofs may serve.  Each chapter that follows provides a detailed case study of alternative proofs for particular theorems, including the Pythagorean Theorem, the Fundamental Theorem of Arithmetic, Desargues’ Theorem, the...

  12. Quantum coding theorems

    Science.gov (United States)

    Holevo, A. S.

    1998-12-01

    ContentsI. IntroductionII. General considerations § 1. Quantum communication channel § 2. Entropy bound and channel capacity § 3. Formulation of the quantum coding theorem. Weak conversionIII. Proof of the direct statement of the coding theorem § 1. Channels with pure signal states § 2. Reliability function § 3. Quantum binary channel § 4. Case of arbitrary states with bounded entropyIV. c-q channels with input constraints § 1. Coding theorem § 2. Gauss channel with one degree of freedom § 3. Classical signal on quantum background noise Bibliography

  13. 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 ...

  14. Trigonometry, Including Snell's Theorem.

    Science.gov (United States)

    Kent, David

    1980-01-01

    Aspects of the instruction of trigonometry in secondary school mathematics are reviewed. Portions of this document cover basic introductions, a student-developed theorem, the cosine rule, inverse functions, and a sample outdoor activity. (MP)

  15. Some approximation theorems

    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 ...

  16. Multivariable Chinese Remainder Theorem

    Indian Academy of Sciences (India)

    IAS Admin

    a result is now called the Chinese Remainder. Theorem (CRT). From early times – perhaps, from the 1st century ... The Chinese remainder theorem (CRT) seems to have originated in the work of Sun-Tsu in the 3rd century. AD. ... If Mi denotes the product of all the mj's ex- cepting mi, then the GCD of mi and Mi is 1 for each.

  17. Some Fixed Point Theorems of Integral Type Contraction in Cone Metric Spaces

    Directory of Open Access Journals (Sweden)

    Farshid Khojasteh

    2010-01-01

    Full Text Available We define a new concept of integral with respect to a cone. Moreover, certain fixed point theorems in those spaces are proved. Finally, an extension of Meir-Keeler fixed point in cone metric space is proved.

  18. Subleading soft graviton theorem for loop amplitudes

    Science.gov (United States)

    Sen, Ashoke

    2017-11-01

    Superstring field theory gives expressions for heterotic and type II string loop amplitudes that are free from ultraviolet and infrared divergences when the number of non-compact space-time dimensions is five or more. We prove the subleading soft graviton theorem in these theories to all orders in perturbation theory for S-matrix elements of arbitrary number of finite energy external states but only one external soft graviton. We also prove the leading soft graviton theorem for arbitrary number of finite energy external states and arbitrary number of soft gravitons. Since our analysis is based on general properties of one particle irreducible effective action, the results are valid in any theory of quantum gravity that gives finite result for the S-matrix order by order in perturbation theory without violating general coordinate invariance.

  19. Topological interpretation of the Luttinger theorem

    Science.gov (United States)

    Seki, Kazuhiro; Yunoki, Seiji

    2017-08-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 noninteracting single-particle Green's functions, is also represented as the winding number of this ratio. The formulation based on the winding number naturally leads to two types of the generalized Luttinger theorem. Exploring two examples of single-band translationally invariant interacting electrons, i.e., simple metal and Mott insulator, we show that the first type falls into the original statement for Fermi liquids given by Luttinger, where poles of the single-particle Green's function appear at the chemical potential, while the second type corresponds to the extended one for nonmetallic cases with no Fermi surface such as insulators and superconductors generalized by Dzyaloshinskii, where zeros of the single-particle Green's function appear at the chemical potential. This formulation also allows us to derive a sufficient condition for the validity of the Luttinger theorem of the first type by applying the Rouche's theorem in complex analysis as an inequality. Moreover, we can rigorously prove in a nonperturbative manner, without assuming any detail of a microscopic Hamiltonian, that the generalized Luttinger theorem of both types is valid for generic interacting fermions as long as the particle-hole symmetry is preserved. Finally, we show that the winding number of the single-particle Green's function can also be associated with the distribution function of quasiparticles, and therefore the number of quasiparticles is equal to the Luttinger volume. This implies that

  20. Microcanonical quantum fluctuation theorems.

    Science.gov (United States)

    Talkner, Peter; Hänggi, Peter; Morillo, Manuel

    2008-05-01

    Previously derived expressions for the characteristic function of work performed on a quantum system by a classical external force are generalized to arbitrary initial states of the considered system and to Hamiltonians with degenerate spectra. In the particular case of microcanonical initial states, explicit expressions for the characteristic function and the corresponding probability density of work are formulated. Their classical limit as well as their relations to the corresponding canonical expressions are discussed. A fluctuation theorem is derived that expresses the ratio of probabilities of work for a process and its time reversal to the ratio of densities of states of the microcanonical equilibrium systems with corresponding initial and final Hamiltonians. From this Crooks-type fluctuation theorem a relation between entropies of different systems can be derived which does not involve the time-reversed process. This entropy-from-work theorem provides an experimentally accessible way to measure entropies.

  1. Formality theorem for gerbes

    DEFF Research Database (Denmark)

    Bressler, Paul; Gorokhovsky, Alexander; Nest, Ryszard

    2015-01-01

    The main result of the present paper is an analogue of Kontsevich formality theorem in the context of the deformation theory of gerbes. We construct an L∞L∞ deformation of the Schouten algebra of multi-vectors which controls the deformation theory of a gerbe.......The main result of the present paper is an analogue of Kontsevich formality theorem in the context of the deformation theory of gerbes. We construct an L∞L∞ deformation of the Schouten algebra of multi-vectors which controls the deformation theory of a gerbe....

  2. Fatou's Lemma and Lebesgue's convergence theorem for measures

    Directory of Open Access Journals (Sweden)

    Onésimo Hernández-Lerma

    2000-01-01

    Full Text Available Analogues of Fatou's Lemma and Lebesgue's convergence theorems are established for ∫fdμn when {μn} is a sequence of measures. A “generalized” Dominated Convergence Theorem is also proved for the asymptotic behavior of ∫fndμn and the latter is shown to be a special case of a more general result established in vector lattices and related to the Dunford-Pettis property in Banach spaces.

  3. Existence Theorems for Generalized Distance on Complete Metric Spaces

    Directory of Open Access Journals (Sweden)

    Jeong Sheok Ume

    2010-01-01

    Full Text Available We first introduce the new concept of a distance called u-distance, which generalizes w-distance, Tataru's distance, and τ-distance. Then we prove a new minimization theorem and a new fixed point theorem by using a u-distance on a complete metric space. Our results extend and unify many known results due to Caristi, Ćirić, Ekeland, Kada-Suzuki-Takahashi, Kannan, Ume, and others.

  4. On Pythagoras Theorem for Products of Spectral Triples

    Science.gov (United States)

    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.

  5. The Grothendieck-Riemann-Roch theorem for group scheme actions

    OpenAIRE

    Koeck, B.

    1998-01-01

    Let G be a group or a group scheme. We establish formulas for the equivariant Euler characteristic of locally free G-modules on a projective G-scheme X: We prove an Adams- Riemann-Roch theorem and, under a certain continuity assumption for the push-forward map, a Grothendieck-Riemann- Roch theorem in (higher) equivariant algebraic K-theory. Furthermore, we present the following applications: The Adams-Riemann-Roch theorem specializes to an interchanging rule between Adams operations and induc...

  6. A game generalizing Hall's theorem

    OpenAIRE

    Rabern, Landon

    2012-01-01

    We characterize the initial positions from which the first player has a winning strategy in a certain two-player game. This provides a generalization of Hall's theorem. Vizing's edge coloring theorem follows from a special case.

  7. Generalized Floquet theory: application to dynamical systems with memory and Bloch's theorem for nonlocal potentials.

    Science.gov (United States)

    Traversa, Fabio L; Di Ventra, Massimiliano; Bonani, Fabrizio

    2013-04-26

    Floquet theory is a powerful tool in the analysis of many physical phenomena, and extended to spatial coordinates provides the basis for Bloch's theorem. However, in its original formulation it is limited to linear systems with periodic coefficients. Here, we extend the theory by proving a theorem for the general class of systems including linear operators commuting with the period-shift operator. The present theorem greatly expands the range of applicability of Floquet theory to a multitude of phenomena that were previously inaccessible with this type of analysis, such as dynamical systems with memory. As an important extension, we also prove Bloch's theorem for nonlocal potentials.

  8. Weyl's Equidistribution Theorem

    Indian Academy of Sciences (India)

    groups and matrix representations. It was during his re- search into representation theory that Weyl discovered his theorem on equidistribution. Subsequently a vast amount of literature was devoted to the review of his proof. However, there remain to this day, several unan- swered questions which arose in the aftermath of ...

  9. Tutte's spring theorem

    DEFF Research Database (Denmark)

    Thomassen, Carsten

    2004-01-01

    We present a short proof of the theorem of Tutte that every planar 3-connected graph has a drawing in the plane such that every vertex which is not on the outer cycle is the barycenter of its neighbors. Moreover, this holds for any prescribed representation of the outer cycle. (C) 2004 Wiley Peri...

  10. On Wieand's theorem

    NARCIS (Netherlands)

    Kallenberg, W.C.M.; Koning, A.J.; Koning, A.J.

    1995-01-01

    Wieand's theorem on equivalence of limiting approximate Bahadur efficiency and limiting Pitman efficiency is extended in several ways. Conditions on monotonicity and continuity are obviated, composite null hypotheses are incorporated, and the implications of a weaker form of Wieand's Condition III*

  11. Gödel's Theorem

    NARCIS (Netherlands)

    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

  12. Cantor's Little Theorem

    Indian Academy of Sciences (India)

    Home; Journals; Resonance – Journal of Science Education; Volume 9; Issue 8. Cantor's Little Theorem. Arindama Singh. General Article Volume 9 Issue 8 August 2004 pp 8-17 ... Author Affiliations. Arindama Singh1. Department of Mathematics, Indian Institute of Technology, Madras Chennai 600036, India.

  13. Multivariable Chinese Remainder Theorem

    Indian Academy of Sciences (India)

    Home; Journals; Resonance – Journal of Science Education; Volume 20; Issue 3. Multivariable Chinese Remainder Theorem. B Sury. General Article Volume 20 Issue 3 March 2015 pp 206-216 ... Author Affiliations. B Sury1. Stat-Math Unit, Indian Statistical Institute, 8th Mile Road, Bangalore 560 059, India.

  14. Some Generalizations of Rolle's Theorem

    Science.gov (United States)

    Das, J.

    2004-01-01

    In 1691 Michel Rolle (1652?1719) first published his famous result, now widely known as "Rolle's theorem", in an obscure book on geometry and algebra, named "Methode pour resoudre les egalites." Joseph Louis Lagrange (1736-1813) and Augustin-Louis Cauchy (1789-1857) derived their mean-value theorems easily using Rolle's theorem on suitably chosen…

  15. Discovering the Theorem of Pythagoras

    Science.gov (United States)

    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.

  16. Pick's Theorem: What a Lemon!

    Science.gov (United States)

    Russell, Alan R.

    2004-01-01

    Pick's theorem can be used in various ways just like a lemon. This theorem generally finds its way in the syllabus approximately at the middle school level and in fact at times students have even calculated the area of a state considering its outline with the help of the above theorem.

  17. Singlet and triplet instability theorems

    Science.gov (United States)

    Yamada, Tomonori; Hirata, So

    2015-09-01

    A useful definition of orbital degeneracy—form-degeneracy—is introduced, which is distinct from the usual energy-degeneracy: Two canonical spatial orbitals are form-degenerate when the energy expectation value in the restricted Hartree-Fock (RHF) wave function is unaltered upon a two-electron excitation from one of these orbitals to the other. Form-degenerate orbitals tend to have isomorphic electron densities and occur in the highest-occupied and lowest-unoccupied molecular orbitals (HOMOs and LUMOs) of strongly correlated systems. Here, we present a mathematical proof of the existence of a triplet instability in a real or complex RHF wave function of a finite system in the space of real or complex unrestricted Hartree-Fock wave functions when HOMO and LUMO are energy- or form-degenerate. We also show that a singlet instability always exists in a real RHF wave function of a finite system in the space of complex RHF wave functions, when HOMO and LUMO are form-degenerate, but have nonidentical electron densities, or are energy-degenerate. These theorems provide Hartree-Fock-theory-based explanations of Hund's rule, a singlet instability in Jahn-Teller systems, biradicaloid electronic structures, and a triplet instability during some covalent bond breaking. They also suggest (but not guarantee) the spontaneous formation of a spin density wave (SDW) in a metallic solid. The stability theory underlying these theorems extended to a continuous orbital-energy spectrum proves the existence of an oscillating (nonspiral) SDW instability in one- and three-dimensional homogeneous electron gases, but only at low densities or for strong interactions.

  18. Singlet and triplet instability theorems

    Energy Technology Data Exchange (ETDEWEB)

    Yamada, Tomonori; Hirata, So, E-mail: sohirata@illinois.edu [Department of Chemistry, University of Illinois at Urbana-Champaign, 600 South Mathews Avenue, Urbana, Illinois 61801 (United States); CREST, Japan Science and Technology Agency, 4-1-8 Honcho, Kawaguchi, Saitama 332-0012 (Japan)

    2015-09-21

    A useful definition of orbital degeneracy—form-degeneracy—is introduced, which is distinct from the usual energy-degeneracy: Two canonical spatial orbitals are form-degenerate when the energy expectation value in the restricted Hartree–Fock (RHF) wave function is unaltered upon a two-electron excitation from one of these orbitals to the other. Form-degenerate orbitals tend to have isomorphic electron densities and occur in the highest-occupied and lowest-unoccupied molecular orbitals (HOMOs and LUMOs) of strongly correlated systems. Here, we present a mathematical proof of the existence of a triplet instability in a real or complex RHF wave function of a finite system in the space of real or complex unrestricted Hartree–Fock wave functions when HOMO and LUMO are energy- or form-degenerate. We also show that a singlet instability always exists in a real RHF wave function of a finite system in the space of complex RHF wave functions, when HOMO and LUMO are form-degenerate, but have nonidentical electron densities, or are energy-degenerate. These theorems provide Hartree–Fock-theory-based explanations of Hund’s rule, a singlet instability in Jahn–Teller systems, biradicaloid electronic structures, and a triplet instability during some covalent bond breaking. They also suggest (but not guarantee) the spontaneous formation of a spin density wave (SDW) in a metallic solid. The stability theory underlying these theorems extended to a continuous orbital-energy spectrum proves the existence of an oscillating (nonspiral) SDW instability in one- and three-dimensional homogeneous electron gases, but only at low densities or for strong interactions.

  19. 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

  20. A Simple Proof of a Folklore Theorem about Delimited Control

    DEFF Research Database (Denmark)

    Biernacki, Dariusz; Danvy, Olivier

    2006-01-01

    We formalize and prove the folklore theorem that the static delimited-control operators shift and reset can be simulated in terms of the dynamic delimited-control operators control and prompt. The proof is based on small-step operational semantics.......We formalize and prove the folklore theorem that the static delimited-control operators shift and reset can be simulated in terms of the dynamic delimited-control operators control and prompt. The proof is based on small-step operational semantics....

  1. Towards a Reverse Newman's Theorem in Interactive Information Complexity

    DEFF Research Database (Denmark)

    Brody, Joshua Eric; Buhrman, Harry; Koucký, Michal

    2016-01-01

    that uses private randomness and convert it into one that only uses public randomness while preserving the information revealed to each player? We prove that the answer is yes, at least for protocols that use a bounded number of rounds. As an application, we prove new direct sum theorems through......Newman’s theorem states that we can take any public-coin communication protocol and convert it into one that uses only private randomness with only a little increase in communication complexity. We consider a reversed scenario in the context of information complexity: can we take a protocol...

  2. Applications of square-related theorems

    Science.gov (United States)

    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.

  3. Oseledec multiplicative ergodic theorem for laminations

    CERN Document Server

    Nguyên, Viêt-Anh

    2017-01-01

    Given a n-dimensional lamination endowed with a Riemannian metric, the author introduces the notion of a multiplicative cocycle of rank d, where n and d are arbitrary positive integers. The holonomy cocycle of a foliation and its exterior powers as well as its tensor powers provide examples of multiplicative cocycles. Next, the author defines the Lyapunov exponents of such a cocycle with respect to a harmonic probability measure directed by the lamination. He also proves an Oseledec multiplicative ergodic theorem in this context. This theorem implies the existence of an Oseledec decomposition almost everywhere which is holonomy invariant. Moreover, in the case of differentiable cocycles the author establishes effective integral estimates for the Lyapunov exponents. These results find applications in the geometric and dynamical theory of laminations. They are also applicable to (not necessarily closed) laminations with singularities. Interesting holonomy properties of a generic leaf of a foliation are obtained...

  4. On the groups satisfying the converse of Schur's theorem

    Directory of Open Access Journals (Sweden)

    Saeed Kayvanfar

    2012-12-01

    Full Text Available A famous theorem of Schur states that for a group G finiteness of G/Z(G implies the finiteness of G′. The converse of Schur’s theorem is an interesting problem which has been considered by some authors. Recently, Podoski and Szegedy proved the truth of the converse of Schur’s theorem for capable groups. They also established an explicit bound for the index of the center of such groups. This paper is devoted to determine some families of groups among non-capable groups which satisfy the converse of Schur’s theorem and at the same time admit the Podoski and Szegedy’s bound as the upper bound for the index of their centers.

  5. Unified quantum no-go theorems and transforming of quantum pure states in a restricted set

    Science.gov (United States)

    Luo, Ming-Xing; Li, Hui-Ran; Lai, Hong; Wang, Xiaojun

    2017-12-01

    The linear superposition principle in quantum mechanics is essential for several no-go theorems such as the no-cloning theorem, the no-deleting theorem and the no-superposing theorem. In this paper, we investigate general quantum transformations forbidden or permitted by the superposition principle for various goals. First, we prove a no-encoding theorem that forbids linearly superposing of an unknown pure state and a fixed pure state in Hilbert space of a finite dimension. The new theorem is further extended for multiple copies of an unknown state as input states. These generalized results of the no-encoding theorem include the no-cloning theorem, the no-deleting theorem and the no-superposing theorem as special cases. Second, we provide a unified scheme for presenting perfect and imperfect quantum tasks (cloning and deleting) in a one-shot manner. This scheme may lead to fruitful results that are completely characterized with the linear independence of the representative vectors of input pure states. The upper bounds of the efficiency are also proved. Third, we generalize a recent superposing scheme of unknown states with a fixed overlap into new schemes when multiple copies of an unknown state are as input states.

  6. Baire's and Cantor's theorems in intuitionistic fuzzy 2-metric spaces

    Energy Technology Data Exchange (ETDEWEB)

    Mursaleen, M. [Department of Mathematics, Aligarh Muslim University, Aligarh 202002 (India)], E-mail: mursaleenm@gmail.com; Danish Lohani, Q.M. [Department of Mathematics, Aligarh Muslim University, Aligarh 202002 (India)], E-mail: danishlohani@gmail.com

    2009-11-30

    Recently, Mursaleen, Lohani and Mohiuddine [Chaos Solitons and Fractals (2009), accepted] have introduced the notions of intuitionistic fuzzy 2-metric space. In this paper, we study various topological properties and prove Baire's Theorem and Cantor's Intersection Theorem in this new setup.

  7. Bell's Theorem and Einstein's "Spooky Actions" from a Simple Thought Experiment

    Science.gov (United States)

    Kuttner, Fred; Rosenblum, Bruce

    2010-01-01

    In 1964 John Bell proved a theorem allowing the experimental test of whether what Einstein derided as "spooky actions at a distance" actually exist. We will see that they "do". Bell's theorem can be displayed with a simple, nonmathematical thought experiment suitable for a physics course at "any" level. And a simple, semi-classical derivation of…

  8. Functional limit theorems for generalized variations of the fractional Brownian sheet

    DEFF Research Database (Denmark)

    Pakkanen, Mikko; Réveillac, Anthony

    2016-01-01

    We prove functional central and non-central limit theorems for generalized variations of the anisotropic d-parameter fractional Brownian sheet (fBs) for any natural number d. Whether the central or the non-central limit theorem applies depends on the Hermite rank of the variation functional...

  9. Functional limit theorems for generalized variations of the fractional Brownian sheet

    DEFF Research Database (Denmark)

    Pakkanen, Mikko; Réveillac, Anthony

    We prove functional central and non-central limit theorems for generalized variations of the anisotropic d-parameter fractional Brownian sheet (fBs) for any natural number d. Whether the central or the non-central limit theorem applies depends on the Hermite rank of the variation functional...

  10. A functional central limit theorem for a class of urn models

    Indian Academy of Sciences (India)

    0. (1 + (λ/(j + 1)) and in this case the limit exists almost surely. Functional central limit theorems (FCLT) for a class of two-color urn models have been considered by Gouet [3]. These FCLT's of Gouet [3] use the same norming, as stated in the previous paragraph, under which central limit theorems have been proved. 493 ...

  11. Some Common Fixed Point Theorems for Weakly Compatible Mappings in Metric Spaces

    Directory of Open Access Journals (Sweden)

    Ahmed MA

    2009-01-01

    Full Text Available We establish a common fixed point theorem for weakly compatible mappings generalizing a result of Khan and Kubiaczyk (1988. Also, an example is given to support our generalization. We also prove common fixed point theorems for weakly compatible mappings in metric and compact metric spaces.

  12. Abel-Jacobi theorem

    OpenAIRE

    Gmira, Seddik

    2015-01-01

    The Abel Jacobi theorem is an important result of algebraic geometry. The theory of divisors and the Riemann bilinear relations are fundamental to the developement of this result: if a point O is fixed in a Riemann compact surface X of genus g, the Abel Jaobi map identifies the Picard group: the quotient of divisors of a group of degree zero by the sub-group of divisors associated to meromorphic functions. The Riemann surface of genus g can be embedded in the Jacobian variety via the Abel-Jac...

  13. Nekhoroshev theorem for the periodic Toda lattice.

    Science.gov (United States)

    Henrici, Andreas; Kappeler, Thomas

    2009-09-01

    The periodic Toda lattice with N sites is globally symplectomorphic to a two parameter family of N-1 coupled harmonic oscillators. The action variables fill out the whole positive quadrant of R(N-1). We prove that in the interior of the positive quadrant as well as in a neighborhood of the origin, the Toda Hamiltonian is strictly convex and therefore Nekhoroshev's theorem applies on (almost) all parts of phase space (2000 Mathematics Subject Classification: 37J35, 37J40, 70H06).

  14. A Many-Body RAGE Theorem

    Science.gov (United States)

    Lampart, Jonas; Lewin, Mathieu

    2015-12-01

    We prove a generalized version of the RAGE theorem for N-body quantum systems. The result states that only bound states of systems with {0 ≤slant n ≤slant N} particles persist in the long time average. The limit is formulated by means of an appropriate weak topology for many-body systems, which was introduced by the second author in a previous work, and is based on reduced density matrices. This topology is connected to the weak-* topology of states on the algebras of canonical commutation or anti-commutation relations, and we give a formulation of our main result in this setting.

  15. Closed graph and open mapping theorems for normed cones

    Indian Academy of Sciences (India)

    A quasi-normed cone is a pair (, ) such that is a (not necessarily cancellative) cone and is a quasi-norm on . The aim of this paper is to prove a closed graph and an open mapping type theorem for quasi-normed cones. This is done with the help of appropriate notions of completeness, continuity and openness that ...

  16. A sparse flat extension theorem for moment matrices

    NARCIS (Netherlands)

    M. Laurent (Monique); B. Mourrain

    2008-01-01

    htmlabstractIn this note we prove a generalization of the flat extension theorem of Curto and Fialkow [4] for truncated moment matrices. It applies to moment matrices indexed by an arbitrary set of monomials and its border, assuming that this set is connected to 1. When formulated in a basis-free

  17. A generalized flat extension theorem for moment matrices

    NARCIS (Netherlands)

    M. Laurent (Monique); B. Mourrain

    2009-01-01

    htmlabstractIn this note we prove a generalization of the flat extension theorem of Curto and Fialkow [4] for truncated moment matrices. It applies to moment matrices indexed by an arbitrary set of monomials and its border, assuming that this set is connected to 1. When formulated in a basis-free

  18. Bounding the number of remarkable values via Jouanolou's theorem

    OpenAIRE

    Chèze, Guillaume

    2015-01-01

    In this article we bound the number of remarkable values of a polynomial vector field. The proof is short and based on Jouanolou's theorem about rational first integrals of planar polynomial derivations. Our bound is given in term of the size of a Newton polygon associated to the vector field. We prove that this bound is almost reached.

  19. Bounding the number of remarkable values via Jouanolou's theorem

    Science.gov (United States)

    Chèze, Guillaume

    2015-05-01

    In this article we bound the number of remarkable values of a polynomial vector field. The proof is short and based on Jouanolou's theorem about rational first integrals of planar polynomial derivations. Our bound is given in term of the size of a Newton polygon associated to the vector field. We prove that this bound is almost reached.

  20. A note on the Fuglede–Putnam theorem

    Indian Academy of Sciences (India)

    We prove the following generalization of the Fuglede–Puntam theorem. Let N be an unbounded normal operator in the Hilbert space, and let A be an unbounded self-adjoint operator such that D(N) ⊆ D(A). Then, AN ⊆ N∗ A ⇒ AN∗ ⊆ N A. Keywords. Unbounded normal operator; abelian von Neumann algebra; bounding.

  1. Nagaoka's Theorem in the Holstein-Hubbard Model

    Science.gov (United States)

    Miyao, Tadahiro

    2017-09-01

    Nagaoka's theorem on ferromagnetism in the Hubbard model is extended to the Holstein-Hubbard model. This shows that Nagaoka's ferromagnetism is stable even if the electron-phonon interaction is taken into account. We also prove that Nagaoka's ferromagnetism is stable under the influence of the quantized radiation field.

  2. Common fixed point theorems of contractive-type mappings

    Directory of Open Access Journals (Sweden)

    Hee Soo Park

    2004-01-01

    Full Text Available Using the concept of D-metric we prove some common fixed point theorems for generalized contractive mappings on a complete D-metric space. Our results extend, improve, and unify results of Fisher and Ćirić.

  3. Nagaoka's theorem in the Holstein-Hubbard model

    OpenAIRE

    Miyao, Tadahiro

    2016-01-01

    Nagaoka's theorem on ferromagnetism in the Hubbard model is extended to the Holstein-Hubbard model. This shows that Nagaoka's ferromagnetism is stable even if the electron-phonon interaction is taken into account. We also prove that Nagaoka's ferromagnetism is stable under the influence of the quantized radiation field.

  4. A stochastic Ergodic Theorem in Von-Neumann algebras | Tijani ...

    African Journals Online (AJOL)

    In this paper we introduce the notion of stochastic convergence of τ- measurable operators and prove a noncommutative extension of pointwise ergodic theorem of G. D. Birkhoff by means of it by using the techniques developed by Petz in [12] Journal of the Nigerian Association of Mathematical Physics Vol. 9 2005: pp.

  5. Ehrenfest theorem, Galilean invariance and nonlinear Schroedinger equations

    Energy Technology Data Exchange (ETDEWEB)

    Kaelbermann, G [Soil and Water Department, Faculty of Agriculture, Rehovot 76100 (Israel)

    2004-02-25

    We prove that Galilean invariant Schroedinger equations derived from Lagrangian densities necessarily obey the Ehrenfest theorem for velocity-independent potentials. The conclusion holds as well for Lagrangians describing nonlinear self-interactions. An example of Doebner and Goldin motivates the result.

  6. Soft Cone Metric Spaces and Some Fixed Point Theorems

    OpenAIRE

    Altıntaş, İsmet; Taşköprü, Kemal

    2016-01-01

    This paper is an introduction to soft cone metric spaces. We define the concept of soft cone metric via soft element, investigate soft converges in soft cone metric spaces and prove some fixed point theorems for contractive mappings on soft cone metric spaces.

  7. Common fixed point theorems for maps under a contractive condition of integral type

    Science.gov (United States)

    Djoudi, A.; Merghadi, F.

    2008-05-01

    Two common fixed point theorems for mapping of complete metric space under a general contractive inequality of integral type and satisfying minimal commutativity conditions are proved. These results extend and improve several previous results, particularly Theorem 4 of Rhoades [B.E. Rhoades, Two fixed point theorems for mappings satisfying a general contractive condition of integral type, Int. J. Math. Math. Sci. 63 (2003) 4007-4013] and Theorem 4 of Sessa [S. Sessa, On a weak commutativity condition of mappings in fixed point considerations, Publ. Inst. Math. (Beograd) (N.S.) 32 (46) (1982) 149-153].

  8. On Liouville type theorems for the steady Navier-Stokes equations in R3

    Science.gov (United States)

    Chae, Dongho; Wolf, Jörg

    2016-11-01

    In this paper we prove three different Liouville type theorems for the steady Navier-Stokes equations in R3. In the first theorem we improve logarithmically the well-known L9/2 (R3) result. In the second theorem we present a sufficient condition for the trivially of the solution (v = 0) in terms of the head pressure, Q =1/2 | v|2 + p. The imposed integrability condition here has the same scaling property as the Dirichlet integral. In the last theorem we present Fubini type condition, which guarantee v = 0.

  9. Krasnosel’skii Type Fixed Point Theorems for Mappings on Nonconvex Sets

    Directory of Open Access Journals (Sweden)

    Maryam A. Alghamdi

    2012-01-01

    Full Text Available We prove Krasnosel'skii type fixed point theorems in situations where the domain is not necessarily convex. As an application, the existence of solutions for perturbed integral equation is considered in p-normed spaces.

  10. Some common fixed point theorems in fuzzy metric spaces and their applications

    Directory of Open Access Journals (Sweden)

    Vishal Gupta

    2018-07-01

    Full Text Available The main aim of this paper is to prove fixed point theorems via notion of pairwise semi-compatible mappings and occasionally weakly compatible mappings(owc in fuzzy metric spaces satisfying contractive type condition.

  11. An analogue of the Hom functor and a generalized nuclear democracy theorem

    CERN Document Server

    Li, H

    1997-01-01

    We give an analogue of the Hom functor and prove a generalized form of the nuclear democracy theorem of Tsuchiya and Kanie by using a notion of tensor product for two modules for a vertex operator algebra.

  12. Curvilinear integral theorem for $G$-monogenic mappings in the algebra of complex quaternion

    OpenAIRE

    Kuzmenko, T. S.

    2016-01-01

    For $G$-monogenic mappings taking values in the algebra of complex quaternion we prove a curvilinear analogue of the Cauchy integral theorem in the case where a curve of integration lies on the boundary of a domain.

  13. Direct and inverse theorems of approximation theory for a generalised modulus of smoothness

    OpenAIRE

    Potapov, Mikhail K.; Berisha, Faton M.

    2012-01-01

    An asymmetric operator of generalised translation is introduced in this paper. Using this operator, we define a generalised modulus of smoothness and prove direct and inverse theorems of approximation theory for it.

  14. A Fubini Theorem in Riesz spaces for the Kurzweil-Henstock Integral

    Directory of Open Access Journals (Sweden)

    A. Boccuto

    2011-01-01

    Full Text Available A Fubini-type theorem is proved, for the Kurzweil-Henstock integral of Riesz-space-valued functions defined on (not necessarily bounded subrectangles of the “extended” real plane.

  15. Fixed point theorems in locally convex spaces—the Schauder mapping method

    Directory of Open Access Journals (Sweden)

    S. Cobzaş

    2006-03-01

    Full Text Available In the appendix to the book by F. F. Bonsal, Lectures on Some Fixed Point Theorems of Functional Analysis (Tata Institute, Bombay, 1962 a proof by Singbal of the Schauder-Tychonoff fixed point theorem, based on a locally convex variant of Schauder mapping method, is included. The aim of this note is to show that this method can be adapted to yield a proof of Kakutani fixed point theorem in the locally convex case. For the sake of completeness we include also the proof of Schauder-Tychonoff theorem based on this method. As applications, one proves a theorem of von Neumann and a minimax result in game theory.

  16. Common fixed point theorems of Gregus type for weakly compatible mappings satisfying generalized contractive conditions

    Science.gov (United States)

    Aliouche, A.

    2008-05-01

    We prove a common fixed point theorem of Gregus type for four mappings satisfying a generalized contractive condition in metric spaces using the concept of weak compatibility which generalizes theorems of [I. Altun, D. Turkoglu, B.E. Rhoades, Fixed points of weakly compatible mappings satisfying a general contractive condition of integral type, Fixed Point Theory Appl. 2007 (2007), article ID 17301; A. Djoudi, L. Nisse, Gregus type fixed points for weakly compatible mappings, Bull. Belg. Math. Soc. 10 (2003) 369-378; A. Djoudi, A. Aliouche, Common fixed point theorems of Gregus type for weakly compatible mappings satisfying contractive conditions of integral type, J. Math. Anal. Appl. 329 (1) (2007) 31-45; P. Vijayaraju, B.E. Rhoades, R. Mohanraj, A fixed point theorem for a pair of maps satisfying a general contractive condition of integral type, Int. J. Math. Math. Sci. 15 (2005) 2359-2364; X. Zhang, Common fixed point theorems for some new generalized contractive type mappings, J. Math. Anal. Appl. 333 (2) (2007) 780-786]. We prove also a common fixed point theorem which generalizes Theorem 3.5 of [H.KE Pathak, M.S. Khan, T. Rakesh, A common fixed point theorem and its application to nonlinear integral equations, Comput. Math. Appl. 53 (2007) 961-971] and common fixed point theorems of Gregus type using a strict generalized contractive condition, a property (E.A) and a common property (E.A).

  17. A Holmgren type theorem for partial differential equations whose coefficients are Gevrey functions

    Directory of Open Access Journals (Sweden)

    Masaki Kawagishi

    2010-05-01

    Full Text Available In this article, we consider a uniqueness theorem of Holmgren type for p-th order Kovalevskaja linear partial differential equations whose coefficients are Gevrey functions. We prove that the only $C^p$-solution to the zero initial-valued problem is the identically zero function. To prove this result we use the uniqueness theorem for higher-order ordinary differential equations in Banach scales.

  18. Characterization theorem for classical orthogonal polynomials on non-uniform lattices: The functional approach

    OpenAIRE

    Foupouagnigni, Mama; Kenfack Nangho, Maurice; Mboutngam, Salifou

    2010-01-01

    Using the functional approach, we state and prove a characterization theorem for classical orthogonal polynomials on non-uniform lattices (quadratic lattices of a discrete or a q-discrete variable) including the Askey-Wilson polynomials. This theorem proves the equivalence between seven characterization properties, namely the Pearson equation for the linear functional, the second-order divided-difference equation, the orthogonality of the derivatives, the Rodrigues formula, two types of struc...

  19. Legendre's and Kummer's Theorems Again

    Indian Academy of Sciences (India)

    http://www.ias.ac.in/article/fulltext/reso/015/12/1111-1121. Keywords. Legendre's theorem; Kummer's theorem; binomial coefficient; -adic valuation; base- expansion. Author Affiliations. Dorel Mihet1. West University of Timisoara Faculty of Mathematics and Computer Science Bv. V. Parvan 4, 300223 Timisoara, Romania.

  20. Quantum Correction of Fluctuation Theorem

    OpenAIRE

    Monnai, T.; Tasaki, S.

    2003-01-01

    Quantum analogues of the transient fluctuation theorem(TFT) and steady-state fluctuation theorem(SSFT) are investigated for a harmonic oscillator linearly coupled with a harmonic reservoir. The probability distribution for the work done externally is derived and quantum correction for TFT and SSFT are calculated.

  1. Geometry of the Adiabatic Theorem

    Science.gov (United States)

    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.…

  2. A Decomposition Theorem for Finite Automata.

    Science.gov (United States)

    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)

  3. Raychaudhuri equation and singularity theorems in Finsler spacetimes

    CERN Document Server

    Minguzzi, E

    2015-01-01

    The Raychaudhuri equation and its consequences for chronality are studied in the context of Finsler spacetimes. It is proved that all the notable singularity theorems of Lorentzian geometry extend to the Finslerian domain, e.g. Hawking's, Penrose's, Hawking and Penrose's, Geroch's, Gannon's, Tipler's, Kriele's, Topological Censorship's, and so on. It is argued that all the notable results in causality theory connected to achronal sets, future sets, domains of dependence, limit curve theorems, length functional, Lorentzian distance, geodesic connectedness, extend to the Finslerian domain. Results concerning the spacetime asymptotic structure and horizons differentiability are also included.

  4. A nonsmooth Morse-Sard theorem for subanalytic functions

    Science.gov (United States)

    Bolte, Jerome; Daniilidis, Aris; Lewis, Adrian

    2006-09-01

    According to the Morse-Sard theorem, any sufficiently smooth function on a Euclidean space remains constant along any arc of critical points. We prove here a theorem of Morse-Sard type suitable as a tool in variational analysis: we broaden the definition of a critical point to the standard notion in nonsmooth optimization, while we restrict the functions under consideration to be semialgebraic or subanalytic. We make no assumption of subdifferential regularity. Lojasiewicz-type inequalities for nonsmooth functions follow quickly from tools of the kind we develop, leading to convergence theory for subgradient dynamical systems.

  5. Wiener Tauberian theorems for vector-valued functions

    Directory of Open Access Journals (Sweden)

    K. Parthasarathy

    1994-01-01

    Full Text Available Different versions of Wiener's Tauberian theorem are discussed for the generalized group algebra L1(G,A (of integrable functions on a locally compact abelian group G taking values in a commutative semisimple regular Banach algebra A using A-valued Fourier transforms. A weak form of Wiener's Tauberian property is introduced and it is proved that L1(G,A is weakly Tauberian if and only if A is. The vector analogue of Wiener's L2-span of translates theorem is examined.

  6. Generalization of Carey's equality and a theorem on stationary population.

    Science.gov (United States)

    Srinivasa Rao, Arni S R; Carey, James R

    2015-09-01

    Carey's Equality pertaining to stationary models is well known. In this paper, we have stated and proved a fundamental theorem related to the formation of this Equality. This theorem will provide an in-depth understanding of the role of each captive subject, and their corresponding follow-up duration in a stationary population. We have demonstrated a numerical example of a captive cohort and the survival pattern of medfly populations. These results can be adopted to understand age-structure and aging process in stationary and non-stationary population models.

  7. A vizing-type theorem for matching forests

    OpenAIRE

    Keijsper, J.C.M.

    2000-01-01

    A well known Theorem of Vizing states that one can colour the edges of a graph by $\\Delta +\\alpha$ colours, such that edges of the same colour form a matching. Here, $\\Delta$ denotes the maximum degree of a vertex, and $\\alpha$ the maximum multiplicity of an edge in the graph. An analogue of this Theorem for directed graphs was proved by Frank. It states that one can colour the arcs of a digraph by $\\Delta +\\alpha$ colours, such that arcs of the same colour form a branching. For a digraph, $\\...

  8. Decomposing Borel functions using the Shore-Slaman join theorem

    OpenAIRE

    Kihara, Takayuki

    2013-01-01

    Jayne and Rogers proved that every function from an analytic space into a separable metric space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_\\sigma$ set under it is again $F_\\sigma$. Many researchers conjectured that the Jayne-Rogers theorem can be generalized to all finite levels of Borel functions. In this paper, by using the Shore-Slaman join theorem on the Turing degrees, we show the following variant of the Jayne-Rog...

  9. MVT a most valuable theorem

    CERN Document Server

    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...

  10. Complex integration and Cauchy's theorem

    CERN Document Server

    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

  11. 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.

  12. Formalization of the Integral Calculus in the PVS Theorem Prover

    Directory of Open Access Journals (Sweden)

    Ricky Wayne Butler

    2009-04-01

    Full Text Available The PVS Theorem prover is a widely used formal verification tool used for the analysis of safetycritical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht’s classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.

  13. Formalization of the Integral Calculus in the PVS Theorem Prover

    Science.gov (United States)

    Butler, Ricky W.

    2004-01-01

    The PVS Theorem prover is a widely used formal verification tool used for the analysis of safety-critical systems. The PVS prover, though fully equipped to support deduction in a very general logic framework, namely higher-order logic, it must nevertheless, be augmented with the definitions and associated theorems for every branch of mathematics and Computer Science that is used in a verification. This is a formidable task, ultimately requiring the contributions of researchers and developers all over the world. This paper reports on the formalization of the integral calculus in the PVS theorem prover. All of the basic definitions and theorems covered in a first course on integral calculus have been completed.The theory and proofs were based on Rosenlicht's classic text on real analysis and follow the traditional epsilon-delta method. The goal of this work was to provide a practical set of PVS theories that could be used for verification of hybrid systems that arise in air traffic management systems and other aerospace applications. All of the basic linearity, integrability, boundedness, and continuity properties of the integral calculus were proved. The work culminated in the proof of the Fundamental Theorem Of Calculus. There is a brief discussion about why mechanically checked proofs are so much longer than standard mathematics textbook proofs.

  14. Geometric inequalities methods of proving

    CERN Document Server

    Sedrakyan, Hayk

    2017-01-01

    This unique collection of new and classical problems provides full coverage of geometric inequalities. Many of the 1,000 exercises are presented with detailed author-prepared-solutions, developing creativity and an arsenal of new approaches for solving mathematical problems. This book can serve teachers, high-school students, and mathematical competitors. It may also be used as supplemental reading, providing readers with new and classical methods for proving geometric inequalities. .

  15. On coincidence of classes of functions defined by a generalised modulus of smoothness and the appropriate inverse theorem

    OpenAIRE

    Berisha, Faton M.

    2012-01-01

    We give the theorem of coincidence of a class of functions defined by a generalised modulus of smoothness with a class of functions defined by the order of the best approximation by algebraic polynomials. We also prove the appropriate inverse theorem in approximation theory.

  16. Coupled fixed point theorems in G b -metric space satisfying some rational contractive conditions.

    Science.gov (United States)

    Khomdram, Bulbul; Rohen, Yumnam; Singh, Thokchom Chhatrajit

    2016-01-01

    In this paper we prove the existence and uniqueness of couple fixed point theorems for three mappings satisfying some new rational contractive conditions. We prove our results in the frame work of G b -metric space which is recently introduced by Aghajani et al. (Filomat 28(6):1087-1101, 2014). Illustrative example is also given to support our result.

  17. Nambu-Goldstone theorem and spin-statistics theorem

    Science.gov (United States)

    Fujikawa, Kazuo

    2016-05-01

    On December 19-21 in 2001, we organized a yearly workshop at Yukawa Institute for Theoretical Physics in Kyoto on the subject of “Fundamental Problems in Field Theory and their Implications”. Prof. Yoichiro Nambu attended this workshop and explained a necessary modification of the Nambu-Goldstone theorem when applied to non-relativistic systems. At the same workshop, I talked on a path integral formulation of the spin-statistics theorem. The present essay is on this memorable workshop, where I really enjoyed the discussions with Nambu, together with a short comment on the color freedom of quarks.

  18. An Extension of Gregus Fixed Point Theorem

    Directory of Open Access Journals (Sweden)

    J. O. Olaleru

    2007-03-01

    Full Text Available Let C be a closed convex subset of a complete metrizable topological vector space (X,d and T:C→C a mapping that satisfies d(Tx,Ty≤ad(x,y+bd(x,Tx+cd(y,Ty+ed(y,Tx+fd(x,Ty for all x,y∈C, where 0theorem, which is a generalization and an extension of the results of several authors, is proved in this paper. In addition, we use the Mann iteration to approximate the fixed point of T.

  19. Isomorphism Theorem on Vector Spaces over a Ring

    Directory of Open Access Journals (Sweden)

    Futa Yuichi

    2017-10-01

    Full Text Available In this article, we formalize in the Mizar system [1, 4] some properties of vector spaces over a ring. We formally prove the first isomorphism theorem of vector spaces over a ring. We also formalize the product space of vector spaces. ℤ-modules are useful for lattice problems such as LLL (Lenstra, Lenstra and Lovász [5] base reduction algorithm and cryptographic systems [6, 2].

  20. No-go theorem for gaussian quantum error correction.

    Science.gov (United States)

    Niset, Julien; Fiurásek, Jaromír; Cerf, Nicolas J

    2009-03-27

    We prove that Gaussian operations are of no use for protecting Gaussian states against Gaussian errors in quantum communication protocols. Specifically, we introduce a new quantity characterizing any single-mode Gaussian channel, called entanglement degradation, and show that it cannot decrease via Gaussian encoding and decoding operations only. The strength of this no-go theorem is illustrated with some examples of Gaussian channels.

  1. Infinite dimensional Ellentuck spaces and Ramsey-classification theorems

    OpenAIRE

    Dobrinen, Natasha

    2015-01-01

    We extend the hierarchy of finite-dimensional Ellentuck spaces to infinite dimensions. Using uniform barriers $B$ on $\\omega$ as the prototype structures, we construct a class of continuum many topological Ramsey spaces $\\mathcal{E}_B$ which are Ellentuck-like in nature, and form a linearly ordered hierarchy under projection. We prove new Ramsey-classification theorems for equivalence relations on fronts, and hence also on barriers, on the spaces $\\mathcal{E}_B$, extending the Pudlak-Rodl The...

  2. Max-Flow Min-Cut Theorems for Communication Networks Based on Equational Logic

    CERN Document Server

    Gadouleau, Maximilien

    2010-01-01

    Traditionally, communication networks are modeled and analyzed in terms of information flows in graphs. In this paper, we introduce a new symbolic approach to communication networks, where the topology of the underlying network is contained in a set of formal terms. To any choice of coding functions we associate a measure of performance, referred to as the dispersion. We thus show that many communication problems can be recast as dispersion problems in this setup. We state and prove variants of a theorem concerning dispersion of information in communication networks which generalizes the network coding theorem. The dispersion theorem resembles the max-flow min-cut theorem for commodity networks and states that the minimal cut value can be asymptotically achieved by the use of coding functions based on a routing scheme that uses dynamic headers. We then prove that linear coding functions are insufficient in general. More specifically, there exist terms which have an arbitrarily large dispersion for non-linear ...

  3. Fluctuation theorems for quantum processes.

    Science.gov (United States)

    Albash, Tameem; Lidar, Daniel A; Marvian, Milad; Zanardi, Paolo

    2013-09-01

    We present fluctuation theorems and moment generating function equalities for generalized thermodynamic observables and quantum dynamics described by completely positive trace preserving maps, with and without feedback control. Our results include the quantum Jarzynski equality and Crooks fluctuation theorem, and clarify the special role played by the thermodynamic work and thermal equilibrium states in previous studies. We show that for a specific class of generalized measurements, which include projective measurements, unitality replaces microreversibility as the condition for the physicality of the reverse process in our fluctuation theorems. We present an experimental application of our theory to the problem of extracting the system-bath coupling magnitude, which we do for a system of pairs of coupled superconducting flux qubits undergoing quantum annealing.

  4. Fluctuation theorems for quantum processes

    Science.gov (United States)

    Albash, Tameem; Lidar, Daniel A.; Marvian, Milad; Zanardi, Paolo

    2013-09-01

    We present fluctuation theorems and moment generating function equalities for generalized thermodynamic observables and quantum dynamics described by completely positive trace preserving maps, with and without feedback control. Our results include the quantum Jarzynski equality and Crooks fluctuation theorem, and clarify the special role played by the thermodynamic work and thermal equilibrium states in previous studies. We show that for a specific class of generalized measurements, which include projective measurements, unitality replaces microreversibility as the condition for the physicality of the reverse process in our fluctuation theorems. We present an experimental application of our theory to the problem of extracting the system-bath coupling magnitude, which we do for a system of pairs of coupled superconducting flux qubits undergoing quantum annealing.

  5. Poincaré recurrence theorem for non-smooth vector fields

    Science.gov (United States)

    Euzébio, Rodrigo D.; Gouveia, Márcio R. A.

    2017-04-01

    In this paper, some ergodic aspects of non-smooth vector fields are studied. More specifically, the concepts of recurrence and invariance of a measure by a flow are discussed, and two versions of the classical Poincaré Recurrence Theorem are presented. The results allow us to soften the hypothesis of the classical Poincaré Recurrence Theorem by admitting non-smooth multivalued flows. The methods used in order to prove the results involve elements from both measure theory and topology.

  6. A maximum entropy theorem with applications to the measurement of biodiversity

    CERN Document Server

    Leinster, Tom

    2009-01-01

    This is a preliminary article stating and proving a new maximum entropy theorem. The entropies that we consider can be used as measures of biodiversity. In that context, the question is: for a given collection of species, which frequency distribution(s) maximize the diversity? The theorem provides the answer. The chief surprise is that although we are dealing not just with a single entropy, but a one-parameter family of entropies, there is a single distribution maximizing all of them simultaneously.

  7. Uniqueness theorem for static wormholes in Einstein phantom scalar field theory

    Science.gov (United States)

    Yazadjiev, Stoytcho

    2017-08-01

    In the present paper we prove a uniqueness theorem for the regular static, traversable wormhole solutions to the Einstein phantom scalar field theory with two asymptotically flat regions (ends). We show that when a certain condition on the asymptotic values of the scalar field is imposed such solutions are uniquely specified by their mass M and the scalar charge D . The main arguments in the proof are based on the positive energy theorem.

  8. On the intermediate value theorem over a non-Archimedean field

    Directory of Open Access Journals (Sweden)

    Luigi Corgnier

    2013-11-01

    Full Text Available The paper investigates general properties of the power series over a non- Archimedean ordered field, extending to the set of algebraic power series the intermediate value theorem and Rolle's theorem and proving that  an algebraic series attains its maximum and its minimum in every closed interval. The paper also investigates a few properties concerning the convergence of powerseries, Taylor's expansion around a point and the order of a zero.

  9. 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.

  10. 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].

  11. A generalization of Abel's Theorem and the Abel-Jacobi map

    DEFF Research Database (Denmark)

    Dupont, Johan Louis; Kamber, Franz W.

    We generalize Abel’s classical theorem on linear equivalence of divisors on a Riemann surface. For every closed submanifold Md ⊂ Xn in a compact oriented Riemannian n–manifold, or more generally for any d–cycle Z relative to a triangulation of X, we define a (simplicial) (n − d − 1)–gerbe Z......, the Abel gerbe determined by Z, whose vanishing as a Deligne cohomology class generalizes the notion of ‘linear equivalence to zero’. In this setting, Abel’s theorem remains valid. Moreover, we generalize the classical Inversion Theorem for the Abel–Jacobi map, thereby proving that the moduli space of Abel...

  12. Fubini’s Theorem on Measure

    National Research Council Canada - National Science Library

    Noboru Endou

    2017-01-01

    The purpose of this article is to show Fubini’s theorem on measure [16], [4], [7], [15], [18]. Some theorems have the possibility of slight generalization, but we have priority to avoid the complexity of the description...

  13. 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 ...

  14. 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....

  15. 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...

  16. Angle Defect and Descartes' Theorem

    Science.gov (United States)

    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.)

  17. Dilworth's Theorem Revisited, an Algorithmic Proof

    NARCIS (Netherlands)

    W.H.L.M. Pijls (Wim); R. Potharst (Rob)

    2011-01-01

    textabstractDilworth's theorem establishes a link between a minimal path cover and a maximal antichain in a digraph. A new proof for Dilworth's theorem is given. Moreover an algorithm to find both the path cover and the antichain, as considered in the theorem, is presented.

  18. Investigating the Fundamental Theorem of Calculus

    Science.gov (United States)

    Johnson, Heather L.

    2010-01-01

    The fundamental theorem of calculus, in its simplified complexity, connects differential and integral calculus. The power of the theorem comes not merely from recognizing it as a mathematical fact but from using it as a systematic tool. As a high school calculus teacher, the author developed and taught lessons on this fundamental theorem that were…

  19. Product variational measures and Fubini-Tonelli type theorems for the Henstock-Kurzweil integral II

    Science.gov (United States)

    Lee, Tuo-Yeong

    2006-11-01

    This paper is a continuation of the paper [T.Y. Lee, Product variational measures and Fubini-Tonelli type theorems for the Henstock-Kurzweil integral, J. Math. Anal. Appl. 298 (2004) 677-692], in which we proved several Fubini-Tonelli type theorems for the Henstock-Kurzweil integral. Let f be Henstock-Kurzweil integrable on a compact interval . For a given compact interval , set We prove that if and [nu] is a finite signed Borel measure on , then the function belongs to . Moreover, this result cannot be improved.

  20. Fluctuation theorems for stochastic dynamics

    Science.gov (United States)

    Harris, R. J.; Schütz, G. M.

    2007-07-01

    Fluctuation theorems make use of time reversal to make predictions about entropy production in many-body systems far from thermal equilibrium. Here we review the wide variety of distinct, but interconnected, relations that have been derived and investigated theoretically and experimentally. Significantly, we demonstrate, in the context of Markovian stochastic dynamics, how these different fluctuation theorems arise from a simple fundamental time-reversal symmetry of a certain class of observables. Appealing to the notion of Gibbs entropy allows for a microscopic definition of entropy production in terms of these observables. We work with the master equation approach, which leads to a mathematically straightforward proof and provides direct insight into the probabilistic meaning of the quantities involved. Finally, we point to some experiments that elucidate the practical significance of fluctuation relations.

  1. Pythagoras Theorem and Relativistic Kinematics

    Science.gov (United States)

    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.

  2. Fundamental theorem of Wiener calculus

    Directory of Open Access Journals (Sweden)

    Chull Park

    1990-01-01

    Full Text Available In this paper we define and develop a theory of differentiation in Wiener space C[0,T]. We then proceed to establish a fundamental theorem of the integral calculus for C[0,T]. First of all, we show that the derivative of the indefinite Wiener integral exists and equals the integrand functional. Secondly, we show that certain functionals defined on C[0,T] are equal to the indefinite integral of their Wiener derivative.

  3. On a theorem of Faltings on formal functions

    Directory of Open Access Journals (Sweden)

    Paola Bonacini

    2007-12-01

    Full Text Available In 1980, Faltings proved, by deep local algebra methods, a local resultregarding formal functions which has the following global geometric factas a consequence. Theorem. − Let k be an algebraically closed field (ofany characteristic. Let Y be a closed subvariety of a projective irreduciblevariety X defined over k. Assume that X ⊂ P^n , dim(X = d > 2 and Yis the intersection of X with r hyperplanes of P^n , with r ≤ d − 1. Then,every formal rational function on X along Y can be (uniquely extended toa rational function on X . Due to its importance, the aim of this paper is toprovide two elementary global geometric proofs of this theorem.

  4. The g-theorem and quantum information theory

    Energy Technology Data Exchange (ETDEWEB)

    Casini, Horacio; Landea, Ignacio Salazar; Torroba, Gonzalo [Centro Atómico Bariloche and CONICET,S.C. de Bariloche, Río Negro, R8402AGP (Argentina)

    2016-10-25

    We study boundary renormalization group flows between boundary conformal field theories in 1+1 dimensions using methods of quantum information theory. We define an entropic g-function for theories with impurities in terms of the relative entanglement entropy, and we prove that this g-function decreases along boundary renormalization group flows. This entropic g-theorem is valid at zero temperature, and is independent from the g-theorem based on the thermal partition function. We also discuss the mutual information in boundary RG flows, and how it encodes the correlations between the impurity and bulk degrees of freedom. Our results provide a quantum-information understanding of (boundary) RG flow as increase of distinguishability between the UV fixed point and the theory along the RG flow.

  5. State Prices and Implementation of the Recovery Theorem

    Directory of Open Access Journals (Sweden)

    Alex Backwell

    2015-01-01

    Full Text Available It is generally held that derivative prices do not contain useful predictive information, that is, information relating to the distribution of future financial variables under the real-world measure. This is because the market’s implicit forecast of the future becomes entangled with market risk preferences during derivative price formation. A result derived by Ross [1], however, recovers the real-world distribution of an equity index, requiring only current prices and mild restrictions on risk preferences. In addition to being of great interest to the theorist, the potential practical value of the result is considerable. This paper addresses implementation of the Ross Recovery Theorem. The theorem is formalised, extended, proved and discussed. Obstacles to application are identified and a workable implementation methodology is developed.

  6. A Fusion Link Prediction Method Based on Limit Theorem

    Directory of Open Access Journals (Sweden)

    Yiteng Wu

    2017-12-01

    Full Text Available The theoretical limit of link prediction is a fundamental problem in this field. Taking the network structure as object to research this problem is the mainstream method. This paper proposes a new viewpoint that link prediction methods can be divided into single or combination methods, based on the way they derive the similarity matrix, and investigates whether there a theoretical limit exists for combination methods. We propose and prove necessary and sufficient conditions for the combination method to reach the theoretical limit. The limit theorem reveals the essence of combination method that is to estimate probability density functions of existing links and nonexistent links. Based on limit theorem, a new combination method, theoretical limit fusion (TLF method, is proposed. Simulations and experiments on real networks demonstrated that TLF method can achieve higher prediction accuracy.

  7. 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.

  8. A Classification of Viruses through Recursion Theorems

    OpenAIRE

    Bonfante, Guillaume; Kaczmarek, Matthieu; Marion, Jean-Yves

    2007-01-01

    The original publication is available at www.springerlink.com ; ISBN 978-3-540-73000-2 ; ISSN 0302-9743 (Print) 1611-3349 (Online); International audience; We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose definitions are based on Kleene's second recursion theorem. We introduce a notion of delayed recursion that we apply to both Kleene's second recursion theorem and Smullyan's double recursion theorem. This leads us to define fou...

  9. On General Summability Factor Theorems

    Directory of Open Access Journals (Sweden)

    Ekrem Savaş

    2007-03-01

    Full Text Available The goal of this paper is to obtain sufficient and (different necessary conditions for a series ∑an, which is absolutely summable of order k by a triangular matrix method A, 1theorems.

  10. Proving allelopathy in crop-weed interactions

    Science.gov (United States)

    Allelopathy (plant/plant chemical warfare) is difficult to prove, especially when competition for resources is the dominant component of plant/plant interference (interference = allelopathy +competition). This paper describes experimental approaches for proving allelopathy and points out common pit...

  11. Fixed point theorem utilizing operators and functionals

    Directory of Open Access Journals (Sweden)

    Douglas Anderson

    2012-02-01

    Full Text Available This paper presents a fixed point theorem utilizing operators and functionals in the spirit of the original Leggett-Williams fixed point theorem which is void of any invariance-like conditions. The underlying sets in the Leggett-Williams fixed point theorem that were defined using the total order of the real numbers are replaced by sets that are defined using an ordering generated by a border-symmetric set, that is, the sets that were defined using functionals in the original Leggett-Williams fixed point theorem are replaced by sets that are defined using operators.

  12. 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......, 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...

  13. Convergence Theorem for Finite Family of Total Asymptotically Nonexpansive Mappings

    Directory of Open Access Journals (Sweden)

    E.U. Ofoedu

    2015-11-01

    Full Text Available In this paper we introduce an explicit iteration process and prove strong convergence of the scheme in a real Hilbert space $H$ to the common fixed point of finite family of total asymptotically nonexpansive mappings which is nearest to the point $u \\in H$.  Our results improve previously known ones obtained for the class of asymptotically nonexpansive mappings. As application, iterative method for: approximation of solution of variational Inequality problem, finite family of continuous pseudocontractive mappings, approximation of solutions of classical equilibrium problems and approximation of solutions of convex minimization problems are proposed. Our theorems unify and complement many recently announced results.

  14. A Liouville Theorem for Nonlocal Equations in the Heisenberg Group

    Directory of Open Access Journals (Sweden)

    Eleonora Cinti

    2014-12-01

    Full Text Available We establish a Liouville-type theorem for a subcritical nonlinear problem, involving a fractional power of the sub-Laplacian in the Heisenberg group. To prove our result we will use the local realization of fractional CR covariant operators, which can be constructed as the Dirichlet-to-Neumann operator of a degenerate elliptic equation in the spirit of Caffarelli and Silvestre [8], as established in [14]. The main tools in our proof are the CR inversion and the moving plane method, applied to the solution of the lifted problem in the half-space ℍn × ℝ+.

  15. Nonextensive kinetic theory and H-theorem in general relativity

    Science.gov (United States)

    Santos, A. P.; Silva, R.; Alcaniz, J. S.; Lima, J. A. S.

    2017-11-01

    The nonextensive kinetic theory for degenerate quantum gases is discussed in the general relativistic framework. By incorporating nonadditive modifications in the collisional term of the relativistic Boltzmann equation and entropy current, it is shown that Tsallis entropic framework satisfies a H-theorem in the presence of gravitational fields. Consistency with the 2nd law of thermodynamics is obtained only whether the entropic q-parameter lies in the interval q ∈ [ 0 , 2 ] . As occurs in the absence of gravitational fields, it is also proved that the local collisional equilibrium is described by the extended Bose-Einstein (Fermi-Dirac) q-distributions.

  16. A Birthday Repetition Theorem and Complexity of Approximating Dense CSPs

    OpenAIRE

    Manurangsi, Pasin; Raghavendra, Prasad

    2017-01-01

    A (k x l)-birthday repetition G^{k x l} of a two-prover game G is a game in which the two provers are sent random sets of questions from G of sizes k and l respectively. These two sets are sampled independently uniformly among all sets of questions of those particular sizes. We prove the following birthday repetition theorem: when G satisfies some mild conditions, val(G^{k x l}) decreases exponentially in Omega(kl/n) where n is the total number of questions. Our result positively resolves an ...

  17. The Orthogonal Projection and the Riesz Representation Theorem

    Directory of Open Access Journals (Sweden)

    Narita Keiko

    2015-09-01

    Full Text Available In this article, the orthogonal projection and the Riesz representation theorem are mainly formalized. In the first section, we defined the norm of elements on real Hilbert spaces, and defined Mizar functor RUSp2RNSp, real normed spaces as real Hilbert spaces. By this definition, we regarded sequences of real Hilbert spaces as sequences of real normed spaces, and proved some properties of real Hilbert spaces. Furthermore, we defined the continuity and the Lipschitz the continuity of functionals on real Hilbert spaces.

  18. Generalized fixed point theorems for compatible mappings with some types in fuzzy metric spaces

    Energy Technology Data Exchange (ETDEWEB)

    Cho, Yeol Je [Department of Mathematics Education and the RINS, College of Education, Gyeongsang National University, Chinju 660-701 (Korea, Republic of)], E-mail: yjcho@gsnu.ac.kr; Sedghi, Shaban [Department of Mathematics, Islamic Azad University, Ghaemshahr Branch Ghaemshahr P.O. Box 163 (Iran, Islamic Republic of)], E-mail: sedghi_gh@yahoo.com; Shobe, Nabi [Department of Mathematics, Islamic Azad University, Babol Branch (Iran, Islamic Republic of)], E-mail: nabi_shobe@yahoo.com

    2009-03-15

    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.

  19. De Finetti representation theorem for infinite-dimensional quantum systems and applications to quantum cryptography.

    Science.gov (United States)

    Renner, R; Cirac, J I

    2009-03-20

    We show that the quantum de Finetti theorem holds for states on infinite-dimensional systems, provided they satisfy certain experimentally verifiable conditions. This result can be applied to prove the security of quantum key distribution based on weak coherent states or other continuous variable states against general attacks.

  20. Best Proximity Point Theorems in Partially Ordered b-Quasi Metric Spaces

    Directory of Open Access Journals (Sweden)

    Ali Abkar

    2016-11-01

    Full Text Available In this paper, we introduce the notion of an ordered rational proximal contraction in partially ordered b-quasi metric spaces. We shall then prove some best proximity point theorems in partially ordered b-quasi metric spaces.

  1. The Atiyah–Segal completion theorem in twisted K–theory

    DEFF Research Database (Denmark)

    Lahtinen, Anssi Sebastian

    2012-01-01

    A basic result in equivariant K–theory, the Atiyah–Segal completion theorem relates the G–equivariant K–theory of a finite G–CW complex to the non-equivariant K–theory of its Borel construction. We prove the analogous result for twisted equivariant K–theory....

  2. A functional central limit theorem for Markov additive arrival processes and its applications to queueing systems

    NARCIS (Netherlands)

    Lu, H.; Pang, G.; Mandjes, M.

    2016-01-01

    We prove a functional central limit theorem for Markov additive arrival processes where the modulating Markov process has the transition rate matrix scaled up by nα(α>0) and the mean and variance of the arrival process are scaled up by n. It is applied to an infinite-server queue and a fork–join

  3. A closed graph theorem for order bounded operators | Harm van der ...

    African Journals Online (AJOL)

    In this paper we use techniques from convergence vector space theory to prove a version of the closed graph theorem for order bounded operators on Archimedean vector lattices. This illustrates the usefulness of convergence spaces in dealing with problems in vector lattice theory, problems that may fail to be amenable to ...

  4. Simultaneous Generalizations of the Theorems of Ceva and Menelaus for Field Planes

    Science.gov (United States)

    Houston, Kelly B.; Powers, Robert C.

    2009-01-01

    In 1992, Klamkin and Liu proved a very general result in the Extended Euclidean Plane that contains the theorems of Ceva and Menelaus as special cases. In this article, we extend the Klamkin and Liu result to projective planes "PG"(2, F) where F is a field. (Contains 2 figures.)

  5. On Common Fixed Point Theorems in the Stationary Fuzzy Metric Space of the Bounded Closed Sets

    Directory of Open Access Journals (Sweden)

    Dong Qiu

    2013-01-01

    Full Text Available Under the -contraction conditions, we prove common fixed point theorems for self-mappings in the space of the bounded closed sets in the complete stationary fuzzy metric space with the -fuzzy metric for the bounded closed sets.

  6. 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.

  7. Does Kirk's Theorem Hold for Multivalued Nonexpansive Mappings?

    Directory of Open Access Journals (Sweden)

    T. Domínguez Benavides

    2010-01-01

    Full Text Available Fixed Point Theory for multivalued mappings has many useful applications in Applied Sciences, in particular, in Game Theory and Mathematical Economics. Thus, it is natural to try of extending the known fixed point results for single-valued mappings to the setting of multivalued mappings. Some theorems of existence of fixed points of single-valued mappings have already been extended to the multivalued case. However, many other questions remain still open, for instance, the possibility of extending the well-known Kirk's Theorem, that is: do Banach spaces with weak normal structure have the fixed point property (FPP for multivalued nonexpansive mappings? There are many properties of Banach spaces which imply weak normal structure and consequently the FPP for single-valued mappings (for example, uniform convexity, nearly uniform convexity, uniform smoothness,…. Thus, it is natural to consider the following problem: do these properties also imply the FPP for multivalued mappings? In this way, some partial answers to the problem of extending Kirk's Theorem have appeared, proving that those properties imply the existence of fixed point for multivalued nonexpansive mappings. Here we present the main known results and current research directions in this subject. This paper can be considered as a survey, but some new results are also shown.

  8. Generalized Fibonacci Numbers and Blackwell's Renewal Theorem

    OpenAIRE

    Christensen, Sören

    2010-01-01

    We investigate a connection between generalized Fibonacci numbers and renewal theory for stochastic processes. Using Blackwell's renewal theorem we find an approximation to the generalized Fibonacci numbers. With the help of error estimates in the renewal theorem we figure out an explicit representation.

  9. On a Theorem of Vito Volterra

    Indian Academy of Sciences (India)

    On a Theorem of Vito Volterra. V M Sholapurkar. Classroom Volume 12 Issue 1 January 2007 pp 76-79. Fulltext. Click here to view fulltext PDF. Permanent link: http://www.ias.ac.in/article/fulltext/reso/012/01/0076-0079. Keywords. Continuity; discontinuity; rationals; irrationals; nested intervals; Baire category theorem.

  10. A Note on Morley's Triangle Theorem

    Science.gov (United States)

    Mueller, Nancy; Tikoo, Mohan; Wang, Haohao

    2012-01-01

    In this note, we offer a proof of a variant of Morley's triangle theorem, when the exterior angles of a triangle are trisected. We also offer a generalization of Morley's theorem when angles of an "n"-gon are "n"-sected. (Contains 9 figures.)

  11. Ehrenfest's Theorem and Nonclassical States of Light

    Indian Academy of Sciences (India)

    Ehrenfest's Theorem and Nonclassical States of Light - Ehrenfest's Theorem in Quantum Mechanics. Lijo T George C Sudheesh S Lakshmibala V Balakrishnan. General Article Volume 17 Issue 1 January 2012 pp 23-32 ... Keywords. Ehrenfest; expectation values; quantum dynamics; quantum-classical correspondence.

  12. Power-counting theorem for staggered fermions

    CERN Document Server

    Giedt, J

    2006-01-01

    One of the assumptions that is used in Reisz's power-counting theorem does not hold for staggered fermions, as was pointed out long ago by Lüscher. Here, we generalize the power-counting theorem, and the methods of Reisz's proof, such that the dif culties posed by staggered fermions are overcome.

  13. A Comment on Holographic Luttinger Theorem

    CERN Document Server

    Hashimoto, Koji

    2012-01-01

    Robustness of the Luttinger theorem for fermionic liquids is examined in holography. The statement of the Luttinger theorem, the equality between the fermion charge density and the volume enclosed by the Fermi surface, can be mapped to a Gauss's law in the gravity dual, a la Sachdev. We show that various deformations in the gravity dual, such as inclusion of magnetic fields, a parity-violating theta-term, dilatonic deformations, and higher-derivative corrections, do not violate the holographic derivation of the Luttinger theorem, as long as the theory is in a confining phase. Therefore a robustness of the theorem is found for strongly correlated fermions coupled with strongly coupled sectors which admit gravity duals. On the other hand, in the deconfined phase, we also show that the deficit appearing in the Luttinger theorem is again universal. It measures a total deficit which measures the charge of the deconfined ("fractionalized") fermions, independent of the deformation parameters.

  14. Is the Quantum State Real? An Extended Review of ψ-ontology Theorems

    Directory of Open Access Journals (Sweden)

    Matthew Saul Leifer

    2014-11-01

    Full Text Available Towards the end of 2011, Pusey, Barrett and Rudolph derived a theorem that aimed to show that the quantum state must be ontic (a state of reality in a broad class of realist approaches to quantum theory. This result attracted a lot of attention and controversy. The aim of this review article is to review the background to the Pusey–Barrett–Rudolph Theorem, to provide a clear presentation of the theorem itself, and to review related work that has appeared since the publication of the Pusey–Barrett–Rudolph paper. In particular, this review: Explains what it means for the quantum state to be ontic or epistemic (a state of knowledge; Reviews arguments for and against an ontic interpretation of the quantum state as they existed prior to the Pusey–Barrett–Rudolph Theorem; Explains why proving the reality of the quantum state is a very strong constraint on realist theories in that it would imply many of the known no-go theorems, such as Bell's Theorem and the need for an exponentially large ontic state space; Provides a comprehensive presentation of the Pusey–Barrett–Rudolph Theorem itself, along with subsequent improvements and criticisms of its assumptions; Reviews two other arguments for the reality of the quantum state: the first due to Hardy and the second due to Colbeck and Renner, and explains why their assumptions are less compelling than those of the Pusey–Barrett–Rudolph Theorem; Reviews subsequent work aimed at ruling out stronger notions of what it means for the quantum state to be epistemic and points out open questions in this area. The overall aim is not only to provide the background needed for the novice in this area to understand the current status, but also to discuss often overlooked subtleties that should be of interest to the experts. Quanta 2014; 3: 67–155.

  15. Uniqueness theorems in linear elasticity

    CERN Document Server

    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...

  16. Gleason-kahane-Żelazko theorem for spectrally bounded algebra

    Directory of Open Access Journals (Sweden)

    S. H. Kulkarni

    2005-01-01

    Full Text Available We prove by elementary methods the following generalization of a theorem due to Gleason, Kahane, and Żelazko. Let A be a real algebra with unit 1 such that the spectrum of every element in A is bounded and let φ:A→ℂ be a linear map such that φ(1=1 and (φ(a2+(φ(b2≠0 for all a, b in A satisfying ab=ba and a2+b2 is invertible. Then φ(ab=φ(aφ(b for all a, b in A. Similar results are proved for real and complex algebras using Ransford's concept of generalized spectrum. With these ideas, a sufficient condition for a linear transformation to be multiplicative is established in terms of generalized spectrum.

  17. Uniqueness theorem for static phantom wormholes in Einstein–Maxwell-dilaton theory

    Directory of Open Access Journals (Sweden)

    Boian Lazov

    2018-03-01

    Full Text Available We prove a uniqueness theorem for completely regular traversable electrically charged wormhole solutions in the Einstein–Maxwell-dilaton gravity with a phantom scalar field and a possible phantom electromagnetic field. In a certain region of the parameter space, determined by the asymptotic values of the scalar field and the lapse function, the regular wormholes are completely specified by their mass, scalar charge and electric charge. The argument is based on the positive energy theorem applied on an appropriate conformally transformed Riemannian space.

  18. 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....

  19. Fluctuation theorems for quantum master equations.

    Science.gov (United States)

    Esposito, Massimiliano; Mukamel, Shaul

    2006-04-01

    A quantum fluctuation theorem for a driven quantum subsystem interacting with its environment is derived based solely on the assumption that its reduced density matrix obeys a closed evolution equation--i.e., a quantum master equation (QME). Quantum trajectories and their associated entropy, heat, and work appear naturally by transforming the QME to a time-dependent Liouville space basis that diagonalizes the instantaneous reduced density matrix of the subsystem. A quantum integral fluctuation theorem, a steady-state fluctuation theorem, and the Jarzynski relation are derived in a similar way as for classical stochastic dynamics.

  20. The Classical Version of Stokes' Theorem Revisited

    DEFF Research Database (Denmark)

    Markvorsen, Steen

    2005-01-01

    of Stokes' theorem for differential forms on manifolds. The main points in the present paper, however, is firstly that this latter fact usually does not get within reach for students in first year calculus courses and secondly that calculus textbooks in general only just hint at the correspondence alluded...... 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...

  1. Simplified Drift Analysis for Proving Lower Bounds in Evolutionary Computation

    DEFF Research Database (Denmark)

    Oliveto, Pietro S.; Witt, Carsten

    2011-01-01

    Drift analysis is a powerful tool used to bound the optimization time of evolutionary algorithms (EAs). Various previous works apply a drift theorem going back to Hajek in order to show exponential lower bounds on the optimization time of EAs. However, this drift theorem is tedious to read...... involving the complicated theorem can be redone in a much simpler and clearer way. In some cases even improved results may be achieved. Therefore, the simplified theorem is also a didactical contribution to the runtime analysis of EAs....

  2. On Nash Equilibrium and Evolutionarily Stable States That Are Not Characterised by the Folk Theorem.

    Directory of Open Access Journals (Sweden)

    Jiawei Li

    Full Text Available In evolutionary game theory, evolutionarily stable states are characterised by the folk theorem because exact solutions to the replicator equation are difficult to obtain. It is generally assumed that the folk theorem, which is the fundamental theory for non-cooperative games, defines all Nash equilibria in infinitely repeated games. Here, we prove that Nash equilibria that are not characterised by the folk theorem do exist. By adopting specific reactive strategies, a group of players can be better off by coordinating their actions in repeated games. We call it a type-k equilibrium when a group of k players coordinate their actions and they have no incentive to deviate from their strategies simultaneously. The existence and stability of the type-k equilibrium in general games is discussed. This study shows that the sets of Nash equilibria and evolutionarily stable states have greater cardinality than classic game theory has predicted in many repeated games.

  3. An integral type fixed point theorem for multi-valued mappings employing strongly tangential property

    Directory of Open Access Journals (Sweden)

    Sunny Chauhan

    2014-07-01

    Full Text Available Sintunavarat and Kumam (W. Sintunavarat, P. Kumam, Gregus-type common fixed point theorems for tangential multi-valued mappings of integral type in metric spaces, Int. J. Math. Math. Sci. 2011 12 (Article ID 923458 extended the tangential property to hybrid pair of mappings which generalizes the idea of tangential property due to Pathak and Shahzad (H.K. Pathak, N. Shahzad, Gregus type fixed point results for tangential mappings satisfying contractive conditions of integral type, Bull. Belg. Math. Soc. Simon Stevin 16(2 (2009 277–288. In the present paper, we introduce the notion of strong tangential property and utilize the same to prove an integral type metrical common fixed point theorem for non-self mappings. An illustrative example is also furnished to support our main result. Our results are corrected, improved and generalized versions of a multitude of relevant common fixed point theorems of the existing literature.

  4. Common Fixed Point Theorems in Fuzzy Metric Spaces Satisfying -Contractive Condition with Common Limit Range Property

    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.

  5. On Nash Equilibrium and Evolutionarily Stable States That Are Not Characterised by the Folk Theorem

    Science.gov (United States)

    Li, Jiawei; Kendall, Graham

    2015-01-01

    In evolutionary game theory, evolutionarily stable states are characterised by the folk theorem because exact solutions to the replicator equation are difficult to obtain. It is generally assumed that the folk theorem, which is the fundamental theory for non-cooperative games, defines all Nash equilibria in infinitely repeated games. Here, we prove that Nash equilibria that are not characterised by the folk theorem do exist. By adopting specific reactive strategies, a group of players can be better off by coordinating their actions in repeated games. We call it a type-k equilibrium when a group of k players coordinate their actions and they have no incentive to deviate from their strategies simultaneously. The existence and stability of the type-k equilibrium in general games is discussed. This study shows that the sets of Nash equilibria and evolutionarily stable states have greater cardinality than classic game theory has predicted in many repeated games. PMID:26288088

  6. 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.

  7. Quantum proofs for classical theorems

    NARCIS (Netherlands)

    Drucker, A.; de Wolf, R.

    2011-01-01

    Alongside the development of quantum algorithms and quantum complexity theory in recent years, quantum techniques have also proved instrumental in obtaining results in diverse classical (non-quantum) areas, such as coding theory, communication complexity, and polynomial approximations. In this paper

  8. The reciprocity theorem for porous anisotropic media

    Directory of Open Access Journals (Sweden)

    E. BOSCHI

    1972-06-01

    Full Text Available In this paper we give a reciprocity theorem for anisotropic
    porous media in the quasi-stationary case. The distribution of the
    pores is assumed statistically homogeneous.

  9. Dimensional analysis beyond the Pi theorem

    CERN Document Server

    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 ...

  10. Exchange fluctuation theorem for correlated quantum systems.

    Science.gov (United States)

    Jevtic, Sania; Rudolph, Terry; Jennings, David; Hirono, Yuji; Nakayama, Shojun; Murao, Mio

    2015-10-01

    We extend the exchange fluctuation theorem for energy exchange between thermal quantum systems beyond the assumption of molecular chaos, and describe the nonequilibrium exchange dynamics of correlated quantum states. The relation quantifies how the tendency for systems to equilibrate is modified in high-correlation environments. In addition, a more abstract approach leads us to a "correlation fluctuation theorem". Our results elucidate the role of measurement disturbance for such scenarios. We show a simple application by finding a semiclassical maximum work theorem in the presence of correlations. We also present a toy example of qubit-qudit heat exchange, and find that non-classical behaviour such as deterministic energy transfer and anomalous heat flow are reflected in our exchange fluctuation theorem.

  11. Some comments to the quantum fluctuation theorems

    OpenAIRE

    Kuzovlev, Yu. E.

    2011-01-01

    It is demonstrated that today's quantum fluctuation theorems are component part of old quantum fluctuation-dissipation relations [Sov.Phys.-JETP 45, 125 (1977)], and typical misunderstandings in this area are pointed out.

  12. The virial theorem for nonlinear problems

    Energy Technology Data Exchange (ETDEWEB)

    Amore, Paolo [Facultad de Ciencias, Universidad de Colima, Bernal DIaz del Castillo 340, Colima (Mexico); Fernandez, Francisco M [INIFTA (UNLP, CCT La Plata-CONICET), Division Quimica Teorica, Blvd 113 S/N, Sucursal 4, Casilla de Correo 16, 1900 La Plata (Argentina)], E-mail: paolo.amore@gmail.com, E-mail: fernande@quimica.unlp.edu.ar

    2009-09-15

    We show that the virial theorem provides a useful simple tool for approximating nonlinear problems. In particular, we consider conservative nonlinear oscillators and obtain the same main result derived earlier from the expansion in Chebyshev polynomials. (letters and comments)

  13. Transformation groups and the virial theorem

    NARCIS (Netherlands)

    Kampen, N.G. van

    A generalization of Noether's result for classical mechanics is given, which shows that the virial theorem is related to an invariance property of the Lagrange function. Two examples are discussed in detail.

  14. APTE: An Algorithm for Proving Trace Equivalence

    OpenAIRE

    Cheval, Vincent

    2014-01-01

    This paper presents APTE, a new tool for automatically proving the security of cryptographic protocols. It focuses on proving trace equivalence between processes, which is crucial for specifying privacy type properties such as anonymity and unlinkability.\\ud \\ud The tool can handle protocols expressed in a calculus similar to the applied-pi calculus, which allows us to capture most existing protocols that rely on classical cryptographic primitives. In particular, APTE handles private channels...

  15. Sahoo- and Wayment-Type Integral Mean Value Theorems

    Science.gov (United States)

    Tiryaki, Aydin; Cakmak, Devrim

    2010-01-01

    In this article, by using Rolle's theorem, we establish some results related to the mean value theorem for integrals. Our results are different from the set of integral mean value theorems which are given by Wayment ["An integral mean value theorem", Math. Gazette 54 (1970), pp. 300-301] and Sahoo ["Some results related to the integral mean value…

  16. 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 ...

  17. Cauchy-Davenport theorem in group extensions

    CERN Document Server

    Karolyi, G

    2005-01-01

    Let A and B be nonempty subsets of a finite group G in which the order of the smallest nontrivial subgroup is not smaller than d=|A|+|B|-1. Then the product set AB has at least d elements. This extends a classical theorem of Cauchy and Davenport to noncommutative groups. We also generalize Vosper's inverse theorem in the same spirit, giving a complete description of the critical pairs. The proofs depend on the structure of group extensions.

  18. Perelman's collapsing theorem for 3-manifolds

    OpenAIRE

    Cao, Jianguo; Ge, Jian

    2009-01-01

    We will simplify the earlier proofs of Perelman's collapsing theorem of 3-manifolds given by Shioya-Yamaguchi and Morgan-Tian. Among other things, we use Perelman's semi-convex analysis of distance functions to construct the desired local Seifert fibration structure on collapsed 3-manifolds. The verification of Perelman's collapsing theorem is the last step of Perelman's proof of Thurston's Geometrization Conjecture on the classification of 3-manifolds. Our proof of Perelman's collapsing theo...

  19. Noether's first theorem in Hamiltonian mechanics

    OpenAIRE

    Sardanashvily, G.

    2015-01-01

    Non-autonomous non-relativistic mechanics is formulated as Lagrangian and Hamiltonian theory on fibre bundles over the time axis R. Hamiltonian mechanics herewith can be reformulated as particular Lagrangian theory on a momentum phase space. This facts enable one to apply Noether's first theorem both to Lagrangian and Hamiltonian mechanics. By virtue of Noether's first theorem, any symmetry defines a symmetry current which is an integral of motion in Lagrangian and Hamiltonian mechanics. The ...

  20. Levi-Civita's Theorem for Noncommutative Tori

    Directory of Open Access Journals (Sweden)

    Jonathan Rosenberg

    2013-11-01

    Full Text Available We show how to define Riemannian metrics and connections on a noncommutative torus in such a way that an analogue of Levi-Civita's theorem on the existence and uniqueness of a Riemannian connection holds. The major novelty is that we need to use two different notions of noncommutative vector field. Levi-Civita's theorem makes it possible to define Riemannian curvature using the usual formulas.

  1. Nonequilibrium potential and fluctuation theorems for quantum maps.

    Science.gov (United States)

    Manzano, Gonzalo; Horowitz, Jordan M; Parrondo, Juan M R

    2015-09-01

    We derive a general fluctuation theorem for quantum maps. The theorem applies to a broad class of quantum dynamics, such as unitary evolution, decoherence, thermalization, and other types of evolution for quantum open systems. The theorem reproduces well-known fluctuation theorems in a single and simplified framework and extends the Hatano-Sasa theorem to quantum nonequilibrium processes. Moreover, it helps to elucidate the physical nature of the environment that induces a given dynamics in an open quantum system.

  2. Non-euclidean shadows of classical projective theorems

    OpenAIRE

    Vigara, Ruben

    2014-01-01

    Some translations into non-euclidean geometry of classical theorems of planar projective geometry are explored. The existence of some common triangle centers is dedeuced from theorems of Pascal and Chasles. Desargues' Theorem allows to construct a non-euclidean version of the Euler line and the nine-point circle of a triangle. The whole non-euclidean trigonometry (for triangles and generalizaed triangles) can be deduced from Menelaus' Theorem. A theorem of Carnot about affine triangles implie...

  3. Research of Pre-Service Elementary Mathematics Teachers’ Beliefs in Proof, Proving Processes and Proof Evaluation Processes

    Directory of Open Access Journals (Sweden)

    Candaş Uygan

    2014-08-01

    Full Text Available The purpose of this study is to research pre-service elementary mathematics teachers’ beliefs on meaning and features of mathematical proof, their proving processes and their reasoning process while evaluating validities of proof examples. This study is a qualitative research. Participants of the study are three pre-service elementary mathematics teachers who continue to study in a state university from Central Anatolia Region. Participants’ beliefs on proof were researched with semi-structured interview whilst proving processes and evaluation processes of proof examples were researched with clinical interviews. Interviews were recorded with video camera and data were analyzed according to qualitative methods. When beliefs on proof were analyzed, it was indicated that participants see mathematical proofs as problem solving process and exploration of source of mathematical knowledge, and believe that proofs have to be deductive, apprehensible and have to include generalizable results. Also according to opinions of all three participants, they believe that their proving abilities are insufficient. Analyze results related to proving processes indicated that pre-service teachers considered conclusions of theorems as if they are conditions of theorems and also used proving strategies uncomprehendingly in proving process. Finally, analyze results related to proof evaluation process indicated that participants assessed computer based experimental verifications as valid mathematical proofs and had mistakes when they evaluated warrants used in verifications that break axiomatical structure of proofs.Key Words:    Beliefs in the context of proof, proving, proof evaluation, teacher education

  4. On Siegel's linearization theorem for fields of prime characteristic

    Science.gov (United States)

    Lindahl, Karl-Olof

    2004-05-01

    In 1981, Herman and Yoccoz (1983 Generalizations of some theorems of small divisors to non Archimedean fields Geometric Dynamics (Lecture Notes in Mathematics) ed J Palis Jr, pp 408-47 (Berlin: Springer) Proc. Rio de Janeiro, 1981) proved that Siegel's linearization theorem (Siegel C L 1942 Ann. Math. 43 607-12) is true also for non-Archimedean fields. However, the condition in Siegel's theorem is usually not satisfied over fields of prime characteristic. We consider the following open problem from non-Archimedean dynamics. Given an analytic function f defined over a complete, non-trivial valued field of characteristic p > 0, does there exist a convergent power series solution to the Schröder functional equation (2) that conjugates f to its linear part near an indifferent fixed point? We will give both positive and negative answers to this question, one of the problems being the presence of small divisors. When small divisors are present this brings about a problem of a combinatorial nature, where the convergence of the conjugacy is determined in terms of the characteristic of the state space and the powers of the monomials of f, rather than in terms of the diophantine properties of the multiplier, as in the complex case. In the case that small divisors are present, we show that quadratic polynomials are analytically linearizable if p = 2. We find an explicit formula for the coefficients of the conjugacy, and applying a result of Benedetto (2003 Am. J. Math. 125 581-622), we find the exact size of the corresponding Siegel disc and show that there is an indifferent periodic point on the boundary. In the case p > 2 we give a sufficient condition for divergence of the conjugacy for quadratic maps as well as for a certain class of power series containing a quadratic term (corollary 2.1).

  5. Integral equations, transformations, and a Krasnoselskii-Schaefer type fixed point theorem

    Directory of Open Access Journals (Sweden)

    Theodore Burton

    2016-09-01

    Full Text Available In this paper we extend the work begun in 1998 by the author and Kirk for integral equations in which we combined Krasnoselskii's fixed point theorem on the sum of two operators with Schaefer's fixed point theorem. Schaefer's theorem eliminates a difficult hypothesis in Krasnoselskii's theorem, but requires an a priori bound on solutions. Here, we simplify the work by means of a transformation which often reduces the a priori bound to a triviality. Our work is focused on an integral equation in which the goal is to prove that there is a unique continuous positive solution on $[0,\\infty$. In addition to the transformation, there are two techniques which we would emphasize. A technique is introduced yielding a lower bound on the solutions which enables us to deal with problems threatening non-uniqueness. The technique offers a solution to a classical problem and it seems entirely new. We show that when the equation defines the sum of a contraction and a Lipschitz operator, then we first get existence on arbitrary intervals $[0,E]$ and then introduce a technique which we call a progressive contraction which allows us to prove uniqueness and then parlay the solution to $[0,\\infty$. The technique is well suited to integral equations.

  6. Central limit theorem and almost sure central limit theorem for the ...

    Indian Academy of Sciences (India)

    Home; Journals; Proceedings – Mathematical Sciences; Volume 118; Issue 2. Central Limit Theorem and almost sure Central Limit Theorem for the Product of some Partial Sums. Yu Miao. Research Articles Volume 118 Issue 2 May 2008 pp 289-294 ...

  7. Central limit theorem and almost sure central limit theorem for the ...

    Indian Academy of Sciences (India)

    Department of Mathematics and Statistics, Wuhan University, 430072 Hubei, China. E-mail: yumiao728@yahoo.com.cn. MS received 26 January 2007; revised 27 May 2007. Abstract. In this paper, we give the central limit theorem and almost sure central limit theorem for products of some partial sums of independent ...

  8. Central limit theorem for renewal theory for several patterns.

    Science.gov (United States)

    Tanushev, M S; Arratia, R

    1997-01-01

    We prove a joint central limit theorem for the vector of counts of nonoverlapping occurrences of m given words as competing renewals. Our underlying model is an i.i.d. sequence over a finite alphabet. The motivation involves restriction enzymes in DNA sequences. We give a simple explicit formula for the limit covariance. This is in terms of the matrix of overlap-matching polynomials, following works of Guibas and Odlyzko (1980), of Breen et al. (1985), and of Biggins and Cannings (1987). The corresponding central limit theorem for counts of overlapping occurrences, rather than competing renewals, was derived by Lundstrom (1990). The above is a special case of a general situation of competing renewals in which occurrences of each type individually form a renewal process, and the individual processes interact in such a way that occurrences of either of two given types also form a renewal process. There is a simple expression for the limit covariance in this general case, involving only the means and variances for each type.

  9. Three theorems on near horizon extremal vanishing horizon geometries

    Directory of Open Access Journals (Sweden)

    S. Sadeghian

    2016-02-01

    Full Text Available EVH black holes are Extremal black holes with Vanishing Horizon area, where vanishing of horizon area is a result of having a vanishing one-cycle on the horizon. We prove three theorems regarding near horizon geometry of EVH black hole solutions to generic Einstein gravity theories in diverse dimensions. These generic gravity theories are Einstein–Maxwell-dilaton-Λ theories, and gauged or ungauged supergravity theories with U(1 Maxwell fields. Our three theorems are: (1 The near horizon geometry of any EVH black hole has a three dimensional maximally symmetric subspace. (2 If the energy momentum tensor of the theory satisfies strong energy condition either this 3d part is an AdS3, or the solution is a direct product of a locally 3d flat space and a d−3 dimensional part. (3 These results extend to the near horizon geometry of near-EVH black holes, for which the AdS3 part is replaced with BTZ geometry.

  10. No-hair theorem for black holes in astrophysical environments.

    Science.gov (United States)

    Gürlebeck, Norman

    2015-04-17

    According to the no-hair theorem, static black holes are described by a Schwarzschild spacetime provided there are no other sources of the gravitational field. This requirement, however, is in astrophysical realistic scenarios often violated, e.g., if the black hole is part of a binary system or if it is surrounded by an accretion disk. In these cases, the black hole is distorted due to tidal forces. Nonetheless, the subsequent formulation of the no-hair theorem holds: The contribution of the distorted black hole to the multipole moments that describe the gravitational field close to infinity and, thus, all sources is that of a Schwarzschild black hole. It still has no hair. This implies that there is no multipole moment induced in the black hole and that its second Love numbers, which measure some aspects of the distortion, vanish as was already shown in approximations to general relativity. But here we prove this property for astrophysical relevant black holes in full general relativity.

  11. Proving program inclusion using Hoare's logic

    NARCIS (Netherlands)

    Bergstra, J.A.; Klop, J.W.

    1984-01-01

    We explore conservative refinements of specifications. These form a quite appropriate framework for a proof theory for program inclusion based on a proof theory for program correctness. We propose two formalized proof methods for program inclusion and prove these to be sound. Both methods are

  12. Affect, Behavioural Schemas and the Proving Process

    Science.gov (United States)

    Selden, Annie; McKee, Kerry; Selden, John

    2010-01-01

    In this largely theoretical article, we discuss the relation between a kind of affect, behavioural schemas and aspects of the proving process. We begin with affect as described in the mathematics education literature, but soon narrow our focus to a particular kind of affect--nonemotional cognitive feelings. We then mention the position of feelings…

  13. Proving a Result in Combinatorics using Equations

    Indian Academy of Sciences (India)

    Home; Journals; Resonance – Journal of Science Education; Volume 9; Issue 2. Proving a Result in Combinatorics using Equations. V Rajesh. Classroom Volume 9 Issue 2 February 2004 pp 85-87. Fulltext. Click here to view fulltext PDF. Permanent link: http://www.ias.ac.in/article/fulltext/reso/009/02/0085-0087. Keywords.

  14. Unified common fixed point theorems under weak reciprocal continuity or without continuity

    Directory of Open Access Journals (Sweden)

    Zoran Kadelburg

    2014-04-01

    Full Text Available The purpose of this paper is two fold. Firstly, using the notion of weak reciprocal continuity due to Pant et al. Weak reciprocal continuity and fixed point theorems, Ann. Univ. Ferrara Sez. VII Sci. Mat. 57(1, 181-190 (2011], we prove unified common fixed point theorems for various variants of compatible and $R$-weakly commuting mappings in complete metric spaces employing an implicit relation which covers a multitude of contraction conditions yielding thereby known as well as unknown results as corollaries. Secondly, we point out that more natural results can be proved under relatively tighter conditions if we replace the completeness of the space by completeness of suitable subspaces. The realized improvements in our results are also substantiated using appropriate examples.

  15. A Proof of the Occupancy Principle and the Mean-Transit-Time Theorem for Compartmental Models

    Science.gov (United States)

    RAMAKRISHNAN, RAJASEKHAR; LEONARD, EDWARD F.; DELL, RALPH B.

    2012-01-01

    The occupancy principle and the mean-transit-time theorem are derived for the passage of a tracer through a system that can be described by a general pool model. It is proved, using matrix theory, that if (and only if) tracer entering the system labels equally all tracee fluxes into the system, then the integral of the tracer concentration is the same in all the pools. It is also proved that if, in addition, all flow out of the system is through the observation point, the first moment of the tracer concentration at the observation point can be used to calculate the total amount of trace in the system. The necessity of this condition is analyzed. Examples are given of models in which the occupancy principle and the mean-transit-time theorem hold or do not hold. PMID:22328793

  16. Anti-Bell - Refutation of Bell's theorem

    Science.gov (United States)

    Barukčić, Ilija

    2012-12-01

    In general, Albert Einstein as one of "the founding fathers of quantum mechanics" had some problems to accept especially the Copenhagen dominated interpretation of quantum mechanics. Einstein's dissatisfaction with Copenhagen's interpretation of quantum mechanics, the absence of locality and causality within the Copenhagen dominated quantum mechanics lead to the well known Einstein, Podolsky and Rosen thought experiment. According to Einstein et al., the Copenhagen dominated quantum mechanics cannot be regarded as a complete physical theory. The Einstein, Podolsky and Rosen thought experiment was the origin of J. S. Bell's publication in 1964; known as Bell's theorem. Meanwhile, some dramatic violations of Bell's inequality (by so called Bell test experiments) have been reported which is taken as an empirical evidence against local realism and causality at quantum level and as positive evidence in favor of the Copenhagen dominated quantum mechanics. Thus far, Quantum mechanics is still regarded as a "strictly" non-local theory. The purpose of this publication is to refute Bell's original theorem. Thus far, if we accept Bell's theorem as correct, we must accept that +0> = +1. We can derive a logical contradiction out of Bell's theorem, Bell's theorem is refuted.

  17. Fluctuation Theorem for Many-Body Pure Quantum States

    Science.gov (United States)

    Iyoda, Eiki; Kaneko, Kazuya; Sagawa, Takahiro

    2017-09-01

    We prove the second law of thermodynamics and the nonequilibrium fluctuation theorem for pure quantum states. The entire system obeys reversible unitary dynamics, where the initial state of the heat bath is not the canonical distribution but is a single energy eigenstate that satisfies the eigenstate-thermalization hypothesis. Our result is mathematically rigorous and based on the Lieb-Robinson bound, which gives the upper bound of the velocity of information propagation in many-body quantum systems. The entanglement entropy of a subsystem is shown connected to thermodynamic heat, highlighting the foundation of the information-thermodynamics link. We confirmed our theory by numerical simulation of hard-core bosons, and observed dynamical crossover from thermal fluctuations to bare quantum fluctuations. Our result reveals a universal scenario that the second law emerges from quantum mechanics, and can be experimentally tested by artificial isolated quantum systems such as ultracold atoms.

  18. Fluctuation Theorem for Many-Body Pure Quantum States.

    Science.gov (United States)

    Iyoda, Eiki; Kaneko, Kazuya; Sagawa, Takahiro

    2017-09-08

    We prove the second law of thermodynamics and the nonequilibrium fluctuation theorem for pure quantum states. The entire system obeys reversible unitary dynamics, where the initial state of the heat bath is not the canonical distribution but is a single energy eigenstate that satisfies the eigenstate-thermalization hypothesis. Our result is mathematically rigorous and based on the Lieb-Robinson bound, which gives the upper bound of the velocity of information propagation in many-body quantum systems. The entanglement entropy of a subsystem is shown connected to thermodynamic heat, highlighting the foundation of the information-thermodynamics link. We confirmed our theory by numerical simulation of hard-core bosons, and observed dynamical crossover from thermal fluctuations to bare quantum fluctuations. Our result reveals a universal scenario that the second law emerges from quantum mechanics, and can be experimentally tested by artificial isolated quantum systems such as ultracold atoms.

  19. A tropical motivic Fubini theorem with applications to Donaldson-Thomas theory

    OpenAIRE

    Nicaise, Johannes; Payne, Sam

    2017-01-01

    We present a new tool for the calculation of Denef and Loeser's motivic nearby fiber and motivic Milnor fiber: a motivic Fubini theorem for the tropicalization map, based on Hrushovski and Kazhdan's theory of motivic volumes of semi-algebraic sets. As applications, we prove a conjecture of Davison and Meinhardt on motivic nearby fibers of weighted homogeneous polynomials, and give a very short and conceptual new proof of the integral identity conjecture of Kontsevich and Soibelman, first prov...

  20. Mittag-Leffler Stability Theorem for Fractional Nonlinear Systems with Delay

    Directory of Open Access Journals (Sweden)

    S. J. Sadati

    2010-01-01

    Full Text Available Fractional calculus started to play an important role for analysis of the evolution of the nonlinear dynamical systems which are important in various branches of science and engineering. In this line of taught in this paper we studied the stability of fractional order nonlinear time-delay systems for Caputo's derivative, and we proved two theorems for Mittag-Leffler stability of the fractional nonlinear time delay systems.

  1. A non-renormalization theorem for chiral primary 3-point functions

    CERN Document Server

    Baggio, Marco; Papadodimas, Kyriakos

    2012-01-01

    In this note we prove a non-renormalization theorem for the 3-point functions of 1/2 BPS primaries in the four-dimensional N = 4 SYM and chiral primaries in two dimensional N =(4,4) SCFTs. Our proof is rather elementary: it is based on Ward identities and the structure of the short multiplets of the superconformal algebra and it does not rely on superspace techniques. We also discuss some possible generalizations to less supersymmetric multiplets.

  2. Weak and Strong Convergence Theorems for Nonexpansive Mappings in Banach Spaces

    Directory of Open Access Journals (Sweden)

    Su Yongfu

    2008-01-01

    Full Text Available Abstract The purpose of this paper is to introduce two implicit iteration schemes for approximating fixed points of nonexpansive mapping and a finite family of nonexpansive mappings , respectively, in Banach spaces and to prove weak and strong convergence theorems. The results presented in this paper improve and extend the corresponding ones of H.-K. Xu and R. Ori, 2001, Z. Opial, 1967, and others.

  3. Statistical weighted A-summability with application to Korovkin’s type approximation theorem

    Directory of Open Access Journals (Sweden)

    Syed Abdul Mohiuddine

    2016-03-01

    Full Text Available Abstract We introduce the notion of statistical weighted A-summability of a sequence and establish its relation with weighted A-statistical convergence. We also define weighted regular matrix and obtain necessary and sufficient conditions for the matrix A to be weighted regular. As an application, we prove the Korovkin type approximation theorem through statistical weighted A-summability and using the BBH operator to construct an illustrative example in support of our result.

  4. The McMillan Theorem for Colored Branching Processes and Dimensions of Random Fractals

    Directory of Open Access Journals (Sweden)

    Victor Bakhtin

    2014-12-01

    Full Text Available For the simplest colored branching process, we prove an analog to the McMillan theorem and calculate the Hausdorff dimensions of random fractals defined in terms of the limit behavior of empirical measures generated by finite genetic lines. In this setting, the role of Shannon’s entropy is played by the Kullback–Leibler divergence, and the Hausdorff dimensions are computed by means of the so-called Billingsley–Kullback entropy, defined in the paper.

  5. Three symmetric positive solutions for Lidstone problems by a generalization of the Leggett-Williams theorem

    Directory of Open Access Journals (Sweden)

    Richard I. Avery

    2000-05-01

    Full Text Available We study the existence of solutions to the fourth order Lidstone boundary value problem $$displaylines{ y^{(4}(t = f(y(t,-y''(t,cr y(0=y''(0=y''(1=y(1=0,. }$$ By imposing growth conditions on $f$ and using a generalization of the multiple fixed point theorem by Leggett and Williams, we show the existence of at least three symmetric positive solutions. We also prove analogous results for difference equations.

  6. 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.

  7. An intermediate value theorem for sequences with terms in a finite set

    OpenAIRE

    Caragiu, Mihai; Robinson, Laurence D.

    2005-01-01

    We prove an intermediate value theorem of an arithmetical flavor, involving the consecutive averages of sequences with terms in a given finite set A. For every such set we completely characterize the numbers x ("intermediate values") with the property that the consecutive averages of every sequence with terms in A cannot increase from a value less than x to a value greater than x without taking the value x somewhere in between.

  8. On Jackson's theorem for the modulus of smoothness determined by a nonsymmetric generalised shift operator

    OpenAIRE

    Potapov, Mikhail K.; Berisha, Faton M.

    2012-01-01

    In this paper a class of asymmetrical operators of generalised translation is introduced, for each of them generalised moduli of smoothness are introduced, and Jackson's and its converse theorems are proved for those moduli. ----- V eto\\v{i} rabote rassmatrivaetsya klass sesimmetrichnykh operatorov obobshchenogo sdviga, dlya kazhdogo iz nikh vvoditsya obobshchennye moduli gladkosti i dlya nikh dokazybaetsya teorma Dzheksona i teorema, obratnaya e\\v{i}.

  9. An Analog of Titchmarsh's Theorem for the Jacobi-Dunkl Transform in the Space L2α,β(R

    Directory of Open Access Journals (Sweden)

    A. Abouelaz

    2015-05-01

    Full Text Available In this paper, using a generalized Jacobi-Dunkl translation operator, we prove an analog of Titchmarsh's theorem  for functions satisfying the Jacobi-Dunkl Lipschitz  condition in $ L^{2}(\\R,A_{\\alpha ,\\beta}(tdt, \\alpha \\geq \\beta\\geq-\\frac{1}{2}, \\alpha \

  10. Index theory in spaces of noncompact manifolds II: A stable homotopy version of the Atiyah-Singer index theorem

    OpenAIRE

    Ebert, Johannes

    2016-01-01

    We formulate and prove a generalization of the Atiyah-Singer family index theorem in the context of the theory of spaces of manifolds \\`a la Madsen, Tillmann, Weiss, Galatius and Randal-Williams. Our results are for Dirac-type operators linear over arbitrary $C^*$-algebras.

  11. A note on the almost sure central limit theorems for the maxima of strongly dependent nonstationary Gaussian vector sequences

    Directory of Open Access Journals (Sweden)

    Xiang Zeng

    2016-06-01

    Full Text Available Abstract We prove some almost sure central limit theorems for the maxima of strongly dependent nonstationary Gaussian vector sequences under some mild conditions. The results extend the ASCLT to nonstationary Gaussian vector sequences and give substantial improvements for the weight sequence obtained by Lin et al. (Comput. Math. Appl. 62(2:635-640, 2011.

  12. 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.

  13. Lindeberg theorem for Gibbs–Markov dynamics

    Science.gov (United States)

    Denker, Manfred; Senti, Samuel; Zhang, Xuan

    2017-12-01

    A dynamical array consists of a family of functions \\{ fn, i: 1≤slant i≤slant k_n, n≥slant 1\\} and a family of initial times \\{τn, i: 1≤slant i≤slant k_n, n≥slant 1\\} . For a dynamical system (X, T) we identify distributional limits for sums of the form for suitable (non-random) constants s_n>0 and an, i\\in { R} . We derive a Lindeberg-type central limit theorem for dynamical arrays. Applications include new central limit theorems for functions which are not locally Lipschitz continuous and central limit theorems for statistical functions of time series obtained from Gibbs–Markov systems. Our results, which hold for more general dynamics, are stated in the context of Gibbs–Markov dynamical systems for convenience.

  14. Busch's theorem for mappings

    Energy Technology Data Exchange (ETDEWEB)

    A. Burov

    2001-05-29

    For rotation-invariant Hamiltonian systems, canonical angular momentum is conserved. In beam optics, this statement is known as Busch's theorem. This theorem can be generalized to symplectic mappings; two generalizations are presented in this paper. The first one states that a group of rotation-invariant mappings is identical to a group of the angular-momentum preserving mappings, assuming both of them symplectic and linear. The second generalization of Busch's theorem claims that for any beam which rotation symmetry happened to be preserved, an absolute value of the angular momentum of any particle from this beam is preserved as well; the linear symplectic mapping does not have to be rotation-invariant here.

  15. Existence and uniqueness theorem for a class of delay differential equations with left and right Caputo fractional derivatives

    Science.gov (United States)

    Maraaba (Abdeljawad), Thabet; Baleanu, Dumitru; Jarad, Fahd

    2008-08-01

    The existence and uniqueness theorems for functional right-left delay and left-right advanced fractional functional differential equations with bounded delay and advance, respectively, are proved. The continuity with respect to the initial function for these equations is also proved under some Lipschitz kind conditions. The Q-operator is used to transform the delay-type equation to an advanced one and vice versa. An example is given to clarify the results.

  16. On proving syntactic properties of CPS programs

    DEFF Research Database (Denmark)

    Danvy, Olivier; Dzafic, Belmina; Pfenning, Frank

    1999-01-01

    Higher-order program transformations raise new challenges for proving properties of their output, since they resist traditional, first-order proof techniques. In this work, we consider (1) the “one-pass” continuation-passing style (CPS) transformation, which is second-order, and (2) the occurrences...... of parameters of continuations in its output. To this end, we specify the one-pass CPS transformation relationally and we use the proof technique of logical relations....

  17. Pauli and the spin-statistics theorem

    CERN Document Server

    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

  18. 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 (3000–300 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 (1781–1848. 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.

  19. The aftermath of the intermediate value theorem

    Directory of Open Access Journals (Sweden)

    Claudio H. Morales

    2004-08-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 (3000–300 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 (1781–1848. 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.

  20. Spectral mapping theorems a bluffer's guide

    CERN Document Server

    Harte, Robin

    2014-01-01

    Written by an author who was at the forefront of developments in multi-variable spectral theory during the seventies and the eighties, this guide sets out to describe in detail the spectral mapping theorem in one, several and many variables. The basic algebraic systems – semigroups, rings and linear algebras – are summarised, and then topological-algebraic systems, including Banach algebras, to set up the basic language of algebra and analysis. Spectral Mapping Theorems is written in an easy-to-read and engaging manner and will be useful for both the beginner and expert. It will be of great importance to researchers and postgraduates studying spectral theory.

  1. Generalizations of the Abstract Boundary singularity theorem

    CERN Document Server

    Whale, Ben E; Scott, Susan M

    2015-01-01

    The Abstract Boundary singularity theorem was first proven by Ashley and Scott. It links the existence of incomplete causal geodesics in strongly causal, maximally extended spacetimes to the existence of Abstract Boundary essential singularities, i.e., non-removable singular boundary points. We give two generalizations of this theorem: the first to continuous causal curves and the distinguishing condition, the second to locally Lipschitz curves in manifolds such that no inextendible locally Lipschitz curve is totally imprisoned. To do this we extend generalized affine parameters from $C^1$ curves to locally Lipschitz curves.

  2. Bypassing the bandwidth theorem with PT symmetry

    CERN Document Server

    Ramezani, Hamidreza; Ellis, F M; Guenther, Uwe; Kottos, Tsampikos

    2012-01-01

    The beat time {\\tau}_{fpt} associated with the energy transfer between two coupled oscillators is dictated by the bandwidth theorem which sets a lower bound {\\tau}_{fpt}\\sim 1/{\\delta}{\\omega}. We show, both experimentally and theoretically, that two coupled active LRC electrical oscillators with parity-time (PT) symmetry, bypass the lower bound imposed by the bandwidth theorem, reducing the beat time to zero while retaining a real valued spectrum and fixed eigenfrequency difference {\\delta}{\\omega}. Our results foster new design strategies which lead to (stable) pseudo-unitary wave evolution, and may allow for ultrafast computation, telecommunication, and signal processing.

  3. Fluctuation theorems for continuously monitored quantum fluxes.

    Science.gov (United States)

    Campisi, Michele; Talkner, Peter; Hänggi, Peter

    2010-10-01

    It is shown that quantum fluctuation theorems remain unaffected if measurements of any kind and number of observables are performed during the action of a force protocol. That is, although the backward and forward probabilities entering the fluctuation theorems are both altered by these measurements, their ratio remains unchanged. This observation allows us to describe the measurement of fluxes through interfaces and, in this way, to bridge the gap between the current theory, based on only two measurements performed at the beginning and end of the protocol, and experiments that are based on continuous monitoring.

  4. Fluctuation theorem for arbitrary open quantum systems.

    Science.gov (United States)

    Campisi, Michele; Talkner, Peter; Hänggi, Peter

    2009-05-29

    Based on the observation that the thermodynamic equilibrium free energy of an open quantum system in contact with a thermal environment is the difference between the free energy of the total system and that of the bare environment, the validity of the Crooks theorem and of the Jarzynski equality is extended to open quantum systems. No restrictions on the nature of the environment or on the strength of the coupling between system and environment need to be imposed. This free energy entering the Crooks theorem and the Jarzynski equality is closely related to the Hamiltonian of mean force that generalizes the classical statistical mechanical concept of the potential of mean force.

  5. Quantum Fluctuation Theorems, Contextuality, and Work Quasiprobabilities

    Science.gov (United States)

    Lostaglio, Matteo

    2018-01-01

    We discuss the role of contextuality within quantum fluctuation theorems, in the light of a recent no-go result by Perarnau-Llobet et al. We show that any fluctuation theorem reproducing the two-point-measurement scheme for classical states either admits a notion of work quasiprobability or fails to describe protocols exhibiting contextuality. Conversely, we describe a protocol that smoothly interpolates between the two-point-measurement work distribution for projective measurements and Allahverdyan's work quasiprobability for weak measurements, and show that the negativity of the latter is a direct signature of contextuality.

  6. Jarzynski's theorem for lattice gauge theory

    CERN Document Server

    Caselle, Michele; Nada, Alessandro; Panero, Marco; Toniato, Arianna

    2016-01-01

    Jarzynski's theorem is a well-known equality in statistical mechanics, which relates fluctuations in the work performed during a non-equilibrium transformation of a system, to the free-energy difference between two equilibrium states. In this article, we extend Jarzynski's theorem to lattice gauge theory, and present examples of applications for two challenging computational problems, namely the calculation of interface free energies and the determination of the equation of state. We conclude with a discussion of further applications of interest in QCD and in other strongly coupled gauge theories, in particular for the Schroedinger functional and for simulations at finite density using reweighting techniques.

  7. Some fixed point theorems for weakly compatible mappings in Non-Archimedean Menger probabilistic metric spaces via common limit range property

    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.

  8. General H-theorem and Entropies that Violate the Second Law

    Directory of Open Access Journals (Sweden)

    Alexander N. Gorban

    2014-04-01

    Full Text Available H-theorem states that the entropy production is nonnegative and, therefore, the entropy of a closed system should monotonically change in time. In information processing, the entropy production is positive for random transformation of signals (the information processing lemma. Originally, the H-theorem and the information processing lemma were proved for the classical Boltzmann-Gibbs-Shannon entropy and for the correspondent divergence (the relative entropy. Many new entropies and divergences have been proposed during last decades and for all of them the H-theorem is needed. This note proposes a simple and general criterion to check whether the H-theorem is valid for a convex divergence H and demonstrates that some of the popular divergences obey no H-theorem. We consider systems with n states Ai that obey first order kinetics (master equation. A convex function H is a Lyapunov function for all master equations with given equilibrium if and only if its conditional minima properly describe the equilibria of pair transitions Ai ⇌ Aj . This theorem does not depend on the principle of detailed balance and is valid for general Markov kinetics. Elementary analysis of pair equilibria demonstrate that the popular Bregman divergences like Euclidian distance or Itakura-Saito distance in the space of distribution cannot be the universal Lyapunov functions for the first-order kinetics and can increase in Markov processes. Therefore, they violate the second law and the information processing lemma. In particular, for these measures of information (divergences random manipulation with data may add information to data. The main results are extended to nonlinear generalized mass action law kinetic equations.

  9. Stable sequential Kuhn-Tucker theorem in iterative form or a regularized Uzawa algorithm in a regular nonlinear programming problem

    Science.gov (United States)

    Sumin, M. I.

    2015-06-01

    A parametric nonlinear programming problem in a metric space with an operator equality constraint in a Hilbert space is studied assuming that its lower semicontinuous value function at a chosen individual parameter value has certain subdifferentiability properties in the sense of nonlinear (nonsmooth) analysis. Such subdifferentiability can be understood as the existence of a proximal subgradient or a Fréchet subdifferential. In other words, an individual problem has a corresponding generalized Kuhn-Tucker vector. Under this assumption, a stable sequential Kuhn-Tucker theorem in nondifferential iterative form is proved and discussed in terms of minimizing sequences on the basis of the dual regularization method. This theorem provides necessary and sufficient conditions for the stable construction of a minimizing approximate solution in the sense of Warga in the considered problem, whose initial data can be approximately specified. A substantial difference of the proved theorem from its classical same-named analogue is that the former takes into account the possible instability of the problem in the case of perturbed initial data and, as a consequence, allows for the inherited instability of classical optimality conditions. This theorem can be treated as a regularized generalization of the classical Uzawa algorithm to nonlinear programming problems. Finally, the theorem is applied to the "simplest" nonlinear optimal control problem, namely, to a time-optimal control problem.

  10. A Fubini theorem on a function space and its applications

    OpenAIRE

    Chung, Hyun Soo; Choi, Jae Gil; Chang, Seung Jun

    2013-01-01

    In this paper we establish a Fubini theorem for functionals on a function space. We then establish some relationships as applications of our Fubini theorem. Finally, we present some historical remarks.

  11. On the Hahn–Banach Theorem

    Indian Academy of Sciences (India)

    Home; Journals; Resonance – Journal of Science Education; Volume 22; Issue 10. On the Hahn--Banach Theorem. S Kesavan ... It has plentyof applications, not only within the subject itself, but alsoin other areas of mathematics like optimization, partial differentialequations, and so on. This article will give a briefoverview of ...

  12. Ehrenfest's Theorem and Nonclassical States of Light

    Indian Academy of Sciences (India)

    cal and nonclassical states of radiation. 1. Introduction. In the first part1 of this article, we have introduced. Ehrenfest's theorem and discussed its role as a bridge be- tween classical mechanics (CM) and quantum mechanics. (QM). In this second part, we shall use the example of the states of a single-mode electromagnetic ...

  13. Henstock integral and Dini-Riemann theorem

    Directory of Open Access Journals (Sweden)

    Giuseppe Rao

    2009-11-01

    Full Text Available In [5] an analogue of the classical Dini-Riemann theorem related to non-absolutely convergent series of real number is obtained for the Lebesgue improper integral. Here we are extending it to the case of the Henstock integral.

  14. Answering Junior Ant's "Why" for Pythagoras' Theorem

    Science.gov (United States)

    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.…

  15. 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...... results on positively curved contact open 3-manifold are also discussed....

  16. 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 1. Current Issue Volume 23 | Issue 1. January 2018.

  17. Kelvin's Canonical Circulation Theorem in Hall Magnetohydrodynamics

    CERN Document Server

    Shivamoggi, B K

    2016-01-01

    The purpose of this paper is to show that, thanks to the restoration of the legitimate connection between the current density and the plasma flow velocity in Hall magnetohydrodynamics (MHD), Kelvin's Circulation Theorem becomes valid in Hall MHD. The ion-flow velocity in the usual circulation integral is now replaced by the canonical ion-flow velocity.

  18. Pascal's Apartment House and the Multinomial Theorem

    Science.gov (United States)

    Hughes, Barnabas

    1977-01-01

    The author gives a three dimensional analog of Pascal's Triangle as an exercise in heuristic thinking and an introduction to the multinomial theorem. The analog involves finding the number of shortest routes to various rooms in a cubical apartment house. (MN)

  19. Abel's Theorem Simplifies Reduction of Order

    Science.gov (United States)

    Green, William R.

    2011-01-01

    We give an alternative to the standard method of reduction or order, in which one uses one solution of a homogeneous, linear, second order differential equation to find a second, linearly independent solution. Our method, based on Abel's Theorem, is shorter, less complex and extends to higher order equations.

  20. A composition theorem for decision tree complexity

    OpenAIRE

    Montanaro, Ashley

    2013-01-01

    We completely characterise the complexity in the decision tree model of computing composite relations of the form h = g(f^1,...,f^n), where each relation f^i is boolean-valued. Immediate corollaries include a direct sum theorem for decision tree complexity and a tight characterisation of the decision tree complexity of iterated boolean functions.

  1. Bloch-Messiah theorem at finite temperature

    Science.gov (United States)

    Tanabe, K.; Sugawara-Tanabe, K.

    1991-03-01

    The Bloch-Messiah theorem is extended to the thermal Hartree-Fock-Bogoliubov (THFB) theory by making use of the thermo field dynamics. This enables us to define the correct order parameter describing the superconducting phase at finite temperature, and demonstrates consistency of the THFB formalism.

  2. Another look at the second incompleteness theorem

    NARCIS (Netherlands)

    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

  3. Four-bubble clusters and Menelaus' theorem

    Science.gov (United States)

    Fischer, Fred

    2002-10-01

    We discuss a relatively easy way to construct a stable cluster of four soap bubbles using the radii of four selected spherical films out of a total of ten. To this end, we extend Menelaus' theorem, a geometrical relation between a triangle and a straight line in the plane, to three and higher dimensions.

  4. Extension of a theorem due to Ramanujan

    Directory of Open Access Journals (Sweden)

    Medhat A. Rakha

    2014-12-01

    Full Text Available The aim of this research paper is to establish an extension of a theorem due to Ramanujan. The result is obtained with the help of two terminating results for the series $_3F_{2}$ very recently obtained by Rakha et al. A few interesting special cases are also given.

  5. Ehrenfest's Theorem and Nonclassical States of Light

    Indian Academy of Sciences (India)

    Ehrenfest's Theorem and Nonclassical States of Light - Dynamics of Nonclassical States of Light. Lijo T George C Sudheesh S Lakshmibala V Balakrishnan. General Article Volume 17 ... Keywords. Ehrenfest; observables; radiation field; coherent state; non-classical states; photon-added-coherent state; squeezed state.

  6. General Correlation Theorem for Trinion Fourier Transform

    OpenAIRE

    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.

  7. Ehrenfest's Theorem and Nonclassical States of Light

    Indian Academy of Sciences (India)

    and its laws left them uneasy, in marked contrast to the familiar terrain of classical physics. It connects the dynamics of the expectation values of operators repre- senting the physical observables of a quantum system to the dynamics of their classical counterparts. The pur- pose of this article is to illustrate this theorem in ...

  8. The Archimedes Principle and Gauss's Divergence Theorem

    Indian Academy of Sciences (India)

    Home; Journals; Resonance – Journal of Science Education; Volume 3; Issue 11. The Archimedes Principle and Gauss's Divergence Theorem. Subhashis Nag. General Article Volume 3 Issue 11 November 1998 pp 18-29. Fulltext. Click here to view fulltext PDF. Permanent link:

  9. Tennis Rackets and the Parallel Axis Theorem

    Science.gov (United States)

    Christie, Derek

    2014-01-01

    This simple experiment uses an unusual graph straightening exercise to confirm the parallel axis theorem for an irregular object. Along the way, it estimates experimental values for g and the moment of inertia of a tennis racket. We use Excel to find a 95% confidence interval for the true values.

  10. Fixed Point Theorems for Asymptotically Contractive Multimappings

    Directory of Open Access Journals (Sweden)

    M. Djedidi

    2012-01-01

    Full Text Available We present fixed point theorems for a nonexpansive set-valued mapping from a closed convex subset of a reflexive Banach space into itself under some asymptotic contraction assumptions. Some existence results of coincidence points and eigenvalues for multimappings are given.

  11. 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.

  12. On the exactness of soft theorems

    Science.gov (United States)

    Guerrieri, Andrea L.; Huang, Yu-tin; Li, Zhizhong; Wen, Congkao

    2017-12-01

    Soft behaviours of S-matrix for massless theories reflect the underlying symmetry principle that enforces its masslessness. As an expansion in soft momenta, sub-leading soft theorems can arise either due to (I) unique structure of the fundamental vertex or (II) presence of enhanced broken-symmetries. While the former is expected to be modified by infrared or ultraviolet divergences, the latter should remain exact to all orders in perturbation theory. Using current algebra, we clarify such distinction for spontaneously broken (super) Poincaré and (super) conformal symmetry. We compute the UV divergences of DBI, conformal DBI, and A-V theory to verify the exactness of type (II) soft theorems, while type (I) are shown to be broken and the soft-modifying higher-dimensional operators are identified. As further evidence for the exactness of type (II) soft theorems, we consider the α' expansion of both super and bosonic open strings amplitudes, and verify the validity of the translation symmetry breaking soft-theorems up to O({α}^' 6}) . Thus the massless S-matrix of string theory "knows" about the presence of D-branes.

  13. 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.

  14. Frobenius and His Density Theorem for Primes

    Indian Academy of Sciences (India)

    Home; Journals; Resonance – Journal of Science Education; Volume 8; Issue 12. Frobenius and His Density Theorem for Primes. B Sury. General Article Volume 8 Issue 12 December 2003 pp 33-41. Fulltext. Click here to view fulltext PDF. Permanent link: http://www.ias.ac.in/article/fulltext/reso/008/12/0033-0041. Keywords.

  15. Theorems of Tarski's Undefinability and Godel's Second Incompleteness - Computationally

    OpenAIRE

    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.

  16. Experimental studies of the transient fluctuation theorem using liquid ...

    Indian Academy of Sciences (India)

    Home; Journals; Pramana – Journal of Physics; Volume 72; Issue 5. Experimental studies of the transient ... Recently a fluctuation theorem, known as the transient fluctuation theorem (TFT), which generalizes the second law of thermodynamics to small systems has been proposed. This theorem has been tested in small ...

  17. The Interpretability of Inconsistency: Feferman's Theorem and Related Results

    NARCIS (Netherlands)

    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

  18. The Interpretability of Inconsistency: Feferman's Theorem and Related Results

    NARCIS (Netherlands)

    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

  19. Distributional Wiener-Ikehara theorem and twin primes.

    NARCIS (Netherlands)

    Korevaar, J.

    2005-01-01

    ABSTRACT. The Wiener-Ikehara theorem was devised to obtain a simple proof of the prime number theorem. It uses no other information about the zeta function zeta (z) than that it is zero-free and analytic for Re z > 1, apart from a simple pole at z = 1 with residue 1. In the Wiener-Ikehara theorem,

  20. Resolution methods in proving the program correctness

    Directory of Open Access Journals (Sweden)

    Markoski Branko

    2007-01-01

    Full Text Available Program testing determines whether its behavior matches the specification, and also how it behaves in different exploitation conditions. Proving of program correctness is reduced to finding a proof for assertion that given sequence of formulas represents derivation within a formal theory of special predicted calculus. A well-known variant of this conception is described: correctness based on programming logic rules. It is shown that programming logic rules may be used in automatic resolution procedure. Illustrative examples are given, realized in prolog-like LP-language (with no restrictions to Horn's clauses and without the final failure. Basic information on LP-language are also given. It has been shown how a Pascal-program is being executed in LP-system proffer.

  1. Best proximity pair theorems for relatively nonexpansive mappings

    Directory of Open Access Journals (Sweden)

    V. Sankar Raj

    2009-04-01

    Full Text Available Let A, B be nonempty closed bounded convex subsets of a uniformly convex Banach space and T : A∪B → A∪B be a map such that T(A ⊆ B, T(B ⊆ A and ǁTx − Tyǁ ≤ ǁx − yǁ, for x in A and y in B. The fixed point equation Tx = x does not possess a solution when A ∩ B = Ø. In such a situation it is natural to explore to find an element x0 in A satisfying ǁx0 − Tx0ǁ = inf{ǁa − bǁ : a ∈ A, b ∈ B} = dist(A,B. Using Zorn’s lemma, Eldred et.al proved that such a point x0 exists in a uniformly convex Banach space settings under the conditions stated above. In this paper, by using a convergence theorem we attempt to prove the existence of such a point x0 (called best proximity point without invoking Zorn’s lemma.

  2. Analysing Geometric Obstacles. A Theorem on d-Elements

    Directory of Open Access Journals (Sweden)

    A. N. Bozhko

    2017-01-01

    Full Text Available The product geometry is a fundamental constructive property that has a strong impact on the basic design choices of the assembly process: the product assembly flotation and decomposition into assembly units. The assembly process must be mounted so that the previously set components and elements of technological system could not create geometric obstacles for the main and auxiliary working moves. The paper considers mathematical modelling methods of geometric constraints and restrictions in computer-aided design systems.Publications, about computer-aided design propose numerous varieties of the so-called direct modelling method for geometric obstacles. The principle of this method is to verify the intersection of the geometric model of a mobile object with a static fragment when the first moves along the chosen straight –line (most often trajectory.It turned out that even in the best version, the direct method is computationally very expensive for products of medium complexity, consisting of several dozen components. Therefore, it is important and urgent to determine the minimum number of geometric verifications, the results of which can be used to synthesize the correct design choices: the assembly flotation and product decomposition into assembly units.The paper proposes a theoretical-lattice formalization of the geometric obstacle of the product. It is shown that the aggregate of all constructive fragments that are assembled independently and do not contain geometric obstacles form a closed algebraic structure that is a lattice. A theorem on d-elements is proved. This theorem allows us to solve the problem of geometric obstacle by cost-conscious algebraic methods. The paper offers three ways for lattice generation: analysis of anti-chains "top-down", lattice reconstruction using a set of generative elements, and probabilistic conclusion based on the Bayesian networks of confidence.

  3. Valutazione economica dello studio PROVE-IT

    Directory of Open Access Journals (Sweden)

    Lorenzo G. Mantovani

    2007-10-01

    Full Text Available Introduction: the PROVE-IT (“Intensive versus moderate lipid lowering with statins after acute coronary syndromes” was a comparison of pravastatin 40 mg/die versus atorvastatin 80 mg/die in patients with an acute coronary syndrome (ACS. Aim: our aim was to investigate the economic consequence of high dose of atorvastatin vs usual-dose of pravastatin in Italian patients with a history of acute coronary syndrome. Methods: the analysis is conducted on the basis of clinical outcomes of the PROVE-IT study. We conducted a cost-effectiveness analysis, comparing high dose of atorvastatin (80 mg/die versus usual-dose of pravastatin (40 mg/die in the perspective of the Italian National Health Service. We identified and quantified medical costs: drug costs according to the Italian National Therapeutic Formulary and hospitalizations were quantified based on the Italian National Health Service tariffs (2006. Effects were measured in terms of mortality and morbidity reduction (number of deaths, life years gained and frequency of hospitalizations. We considered an observation period of 24 months. The costs borne after the first 12 months were discounted using an annual rate of 3%. We conducted one and multi-way sensitivity analyses on unit cost and effectiveness. We also conducted a threshold analysis. Results: the cost of pravastatin or atorvastatin therapy over the 2 years period amounted to approximately 1.3 millions euro and 870,000 euro per 1,000 patients respectively. Atorvastatin was more efficacious compared to pravastatin and the overall cost of care per 1,000 patients over 24 months of follow-up was estimated at 3.2 millions euro in the pravastatin and 2.5 millions euro in the atorvastatin group, resulting into a cost saving of about 700,000 euro that is 27% of total costs occurred in the pravastatin group. Discussion: this study demonstrates that high does atorvastatin treatment leads to a reduction of direct costs for the National Health System

  4. Court sentences in the aspect of theorems of validity, justice and certainty of bisectrixity

    Directory of Open Access Journals (Sweden)

    Sergey G. Ol’kov

    2016-01-01

    Full Text Available Objective to prove the theorems of validity justice and certainty of bisectrixity to elaborate the mathematical bases of the theory of court sentences. Methods observation deduction and induction applying the law of formal logic comparative analysis formaljuridical method mathematical methods. Results 1 theorems of validity justice and certainty of bisectrixity are proved and detailed 2 equally probable equilibrium and diagonal court sentences are viewed in the 2dimensional 3dimensional 4dimensional and 5dimensional space of criminal liability when the scope of punishment is determined by four variables y f x1 x2 x3 x4 where y ndash scope of punishment x1 ndash character and degree of the public danger of the deed x2 ndash category of a criminal public danger of the personality x3 ndash circumstances aggravating punishment x4 ndash circumstances extenuating punishment f ndash parameters of the equation connecting the left and right parts of the equation 3 aggravating and extenuating circumstances can be integrated into a single variable in the form of a fraction where the numerator is the scope of circumstances aggravating punishment x3 and thenbspdenominator is the extenuating circumstances x4 thus we obtain an integrated variable x3 x4 4 it is proved that the certainty of diagonal sentence is s c or v c times larger than the certainty of the equally probable sentence where с is the length of the diagonal s is the area of sentences vnbspis the space of sentences 5 it is proved that the bisectral sentence is the most optimal among the equilibrium ones as it equally takes into account the functions of the defense and the prosecution. Scientific novelty the newly obtained scientific results. Practical significance possibility to use the obtained scientific results for the development of criminallegal and criminalprocedural theories tonbspincrease the level of justice of the court sentences. Keywords Criminal procedure Theorem of validity Theorem

  5. H-theorem in quantum physics.

    Science.gov (United States)

    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.

  6. Quantum Bochkov-Kuzovlev work fluctuation theorems.

    Science.gov (United States)

    Campisi, Michele; Talkner, Peter; Hänggi, Peter

    2011-01-28

    The quantum version of the Bochkov-Kuzovlev identity is derived on the basis of the appropriate definition of work as the difference of the measured internal energies of a quantum system at the beginning and the end of an external action on the system given by a prescribed protocol. According to the spirit of the original Bochkov-Kuzovlev approach, we adopt the 'exclusive' viewpoint, meaning that the coupling to the external work source is not counted as part of the internal energy. The corresponding canonical and microcanonical quantum fluctuation theorems are derived as well, and are compared with the respective theorems obtained within the 'inclusive' approach. The relations between the quantum inclusive work w, the exclusive work w(0) and the dissipated work w(dis), are discussed and clarified. We show by an explicit example that w(0) and w(dis) are distinct stochastic quantities obeying different statistics.

  7. a Test to Prove Cloud Whitening THEORY!

    Science.gov (United States)

    Buttram, J. W.

    2011-12-01

    Climate science researchers believe our planet can possibly tolerate twice the present carbon dioxide levels with no upwards temperature change, IF we could increase the amount of energy reflected back out into space by about 2.0%. (c)Cloudtec basically alters a blend of seawater and applies heat derived from magma to it at a temperature exceeding 2,000 degrees F. The interaction of seawater and magma displaces the oxygen, causing the volume of water to vaporize and expand over 4,000 times - transforming billions of tons of seawater into thousands of cubic miles of white, maritime, stratocumulus clouds to reflect the incident Sun's rays back out into space. A 6 month test to prove Cloud Whitening Theory will cost 6 million dollars. (No profit added.) This study will enable everyone on the planet with a computer the transparency to use satellite imagery and check out for themselves - if and when Cloud Whitening is occurring. If Cloud Whitening Theory is validated, (c)Cloudtec's innovation can strategically create the clouds we need to reflect the Sun's rays back out into space and help neutralize the projected 3.6 degrees F rise in temperature. Based on reasonable calculations of anthropogenic global warming: this one move alone would be comparable to slashing global carbon dioxide emissions by over 60% over the next 40 years.

  8. Analytical study of bound states in graphene nanoribbons and carbon nanotubes: The variable phase method and the relativistic Levinson theorem

    Energy Technology Data Exchange (ETDEWEB)

    Miserev, D. S., E-mail: d.miserev@student.unsw.edu.au, E-mail: erazorheader@gmail.com [University of New South Wales, School of Physics (Australia)

    2016-06-15

    The problem of localized states in 1D systems with a relativistic spectrum, namely, graphene stripes and carbon nanotubes, is studied analytically. The bound state as a superposition of two chiral states is completely described by their relative phase, which is the foundation of the variable phase method (VPM) developed herein. Based on our VPM, we formulate and prove the relativistic Levinson theorem. The problem of bound states can be reduced to the analysis of closed trajectories of some vector field. Remarkably, the Levinson theorem appears as the Poincaré index theorem for these closed trajectories. The VPM equation is also reduced to the nonrelativistic and semiclassical limits. The limit of a small momentum p{sub y} of transverse quantization is applicable to an arbitrary integrable potential. In this case, a single confined mode is predicted.

  9. Theorems for asymptotic safety of gauge theories

    Science.gov (United States)

    Bond, Andrew D.; Litim, Daniel F.

    2017-06-01

    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.

  10. Mixing conditions and limit theorems for maxima of some stationary sequences. Technical report No. 18

    Energy Technology Data Exchange (ETDEWEB)

    Chernick, M R

    1978-08-01

    In this thesis some extreme value-limit theorems are obtained for specific classes of strictly stationary sequences. These results, along with results for associative processes provide the basic tools used to prove the limit theorems in the later chapters. A class of first-order exponential autoregressive processes is also studied. The processes are shown to satisfy the condition of Loynes' theorem. The strong mixing condition which in general would be difficult to check is found to be much easier to verify in this special case due to the Markov structure of the process. A general condition is given which implies strong mixing for Markov and p/sup th/ order autoregressive processes. This condition is easy to check for Markov processes. A class of uniform first-order autoregressive processes is studied. These processes are shown to satisfy Leadbetter's D(u/sub n/) condition but they fail to satisfy D'(u/sub n/) and so existing limit theorems cannot be applied. A new limit theorem is obtained for the maximum of such processes and it is seen to be a different result from what would have been obtained if D'(u/sub n/) held. This result shows that classical extreme value theory cannot be applied to all practical problems. It was found that even when stationarity and mixing conditions are assumed, the limit can differ from the independent case. It also shows that for some first-order autoregressive processes the limit distribution can depend on the autocorrelation at lag 1 whereas for processes satisfying Leadbetter's or Loynes' conditions the limit does not depend on the lag 1 autocorrelation. Hopefully, this type result will have application to air pollution problems.

  11. A Prototype Embedding of Bluespec System Verilog in the PVS Theorem Prover

    Science.gov (United States)

    Richards, Dominic; Lester, David

    2010-01-01

    Bluespec SystemVerilog (BSV) is a Hardware Description Language based on the guarded action model of concurrency. It has an elegant semantics, which makes it well suited for formal reasoning. To date, a number of BSV designs have been verified with hand proofs, but little work has been conducted on the application of automated reasoning. We present a prototype shallow embedding of BSV in the PVS theorem prover. Our embedding is compatible with the PVS model checker, which can automatically prove an important class of theorems, and can also be used in conjunction with the powerful proof strategies of PVS to verify a broader class of properties than can be achieved with model checking alone.

  12. Semicompatibility and fixed point theorems in an unbounded D-metric space

    Directory of Open Access Journals (Sweden)

    Bijendra Singh

    2005-01-01

    Full Text Available Rhoades (1996 proved a fixed point theorem in a bounded D-metric space for a contractive self-map with applications. Here we establish a more general fixed point theorem in an unbounded D-metric space, for two self-maps satisfying a general contractive condition with a restricted domain of x and y. This has been done by using the notion of semicompatible maps in D-metric space. These results generalize and improve the results of Rhoades (1996, Dhage et al. (2000, and Veerapandi and Rao (1996. These results also underline the necessity and importance of semicompatibility in fixed point theory of D-metric spaces. All the results of this paper are new.

  13. Adler-Bardeen theorem and manifest anomaly cancellation to all orders in gauge theories

    Energy Technology Data Exchange (ETDEWEB)

    Anselmi, Damiano [Pisa Univ. (Italy). Dipt. di Fisica ' ' Enrico Fermi' ' ; INFN, Sezione di Pisa (Italy)

    2014-10-15

    We reconsider the Adler-Bardeen theorem for the cancellation of gauge anomalies to all orders, when they vanish at one loop. Using the Batalin-Vilkovisky formalism and combining the dimensional-regularization technique with the higher-derivative gauge invariant regularization, we prove the theorem in the most general perturbatively unitary renormalizable gauge theories coupled to matter in four dimensions, and we identify the subtraction scheme where anomaly cancellation to all orders is manifest, namely no subtractions of finite local counterterms are required from two loops onwards. Our approach is based on an order-by-order analysis of renormalization, and, differently from most derivations existing in the literature, does not make use of arguments based on the properties of the renormalization group. As a consequence, the proof we give also applies to conformal field theories and finite theories. (orig.)

  14. Bell's Theorem and Einstein's `Spooky Actions' from a Simple Thought Experiment

    Science.gov (United States)

    Kuttner, Fred; Rosenblum, Bruce

    2010-02-01

    In 1964 John Bell proved a theorem2 allowing the experimental test of whether what Einstein derided as "spooky actions at a distance" actually exist. We will see that they do. Bell's theorem can be displayed with a simple, nonmathematical thought experiment suitable for a physics course at any level. And a simple, semi-classical derivation of the quantum theory result can be given for physics students. These entanglement phenomena are today applied in industrial laboratories and are increasingly discussed in the popular literature. Unfortunately, they are also misappropriated by the purveyors of pseudoscience, something physicists have a responsibility to address.3 Students can be intrigued by the quantum strangeness physics has encountered at a boundary of our discipline.

  15. Geometric fluctuation theorem for a spin-boson system.

    Science.gov (United States)

    Watanabe, Kota L; Hayakawa, Hisao

    2017-08-01

    We derive an extended fluctuation theorem for geometric pumping of a spin-boson system under periodic control of environmental temperatures by using a Markovian quantum master equation. We obtain the current distribution, the average current, and the fluctuation in terms of the Monte Carlo simulation. To explain the results of our simulation we derive an extended fluctuation theorem. This fluctuation theorem leads to the fluctuation dissipation relations but the absence of the conventional reciprocal relation.

  16. 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.

  17. Fatou type theorems for series in Mittag-Leffler functions

    Science.gov (United States)

    Paneva-Konovska, Jordanka

    2012-11-01

    In studying the behaviour of series, defined by means of the Mittag-Leffler functions, on the boundary of its domain of convergence in the complex plane, we give analogues of the classical theorems for the power series like Cauchy-Hadamard, Abel, as well as Fatou theorems. The asymptotic formulae for the Mittag-Leffler functions in the cases of "large" values of indices that are used in the proofs of the convergence theorems for the considered series are also provided.

  18. A generalization of the Pi-theorem and dimensional analysis.

    Science.gov (United States)

    Sonin, Ain A

    2004-06-08

    This article introduces a generalization of dimensional analysis and its corollary, the Pi-theorem, to the class of problems in which some of the quantities that define the problem have fixed values in all the cases that are of interest. The procedure can reduce the number of dimensionless similarity variables beyond the prediction of Buckingham's theorem. The generalized Pi-theorem tells when and how large a reduction is attainable.

  19. Godel's Incompleteness Theorems and Platonic Metaphysics

    CERN Document Server

    Mikovic, Aleksandar

    2015-01-01

    We argue by using Godel's incompletness theorems in logic that platonism is the best metaphysics for science. This is based on the fact that a natural law in a platonic metaphysics represents a timeless order in the motion of matter, while a natural law in a materialistic metaphysics can be only defined as a temporary order which appears at random in the chaotic motion of matter. Although a logical possibility, one can argue that this type of metaphysics is highly implausible. Given that mathematics fits naturally within platonism, we conclude that a platonic metaphysics is more preferable than a materialistic metaphysics.

  20. Applicability constraints of the equivalence theorem

    Energy Technology Data Exchange (ETDEWEB)

    Dobado, A.; Pelaez, J.R. [Departamento de Fisica Teorica, Universidad Complutense, 28040 Madrid (Spain); Urdiales, M.T. [Departamento de Fisica Teorica, Universidad Autonoma, 28049 Madrid (Spain)

    1997-12-01

    In this work we study the applicability of the equivalence theorem, either for unitary models or within an effective Lagrangian approach. There are two types of limitations: the existence of a validity energy window and the use of the lowest order in the electroweak constants. For the first kind, we consider some methods, based on dispersion theory or the large N limit, that allow us to extend the applicability. For the second, we obtain numerical estimates of the effect of neglecting higher orders in the perturbative expansion. {copyright} {ital 1997} {ital The American Physical Society}

  1. 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.

  2. Central limit theorems under special relativity.

    Science.gov (United States)

    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.

  3. 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.

  4. An Exercise in Invariant-based Programming with Interactive and Automatic Theorem Prover Support

    Directory of Open Access Journals (Sweden)

    Ralph-Johan Back

    2012-02-01

    Full Text Available Invariant-Based Programming (IBP is a diagram-based correct-by-construction programming methodology in which the program is structured around the invariants, which are additionally formulated before the actual code. Socos is a program construction and verification environment built specifically to support IBP. The front-end to Socos is a graphical diagram editor, allowing the programmer to construct invariant-based programs and check their correctness. The back-end component of Socos, the program checker, computes the verification conditions of the program and tries to prove them automatically. It uses the theorem prover PVS and the SMT solver Yices to discharge as many of the verification conditions as possible without user interaction. In this paper, we first describe the Socos environment from a user and systems level perspective; we then exemplify the IBP workflow by building a verified implementation of heapsort in Socos. The case study highlights the role of both automatic and interactive theorem proving in three sequential stages of the IBP workflow: developing the background theory, formulating the program specification and invariants, and proving the correctness of the final implementation.

  5. A Simple Character String Proof of the "True but Unprovable" Version of Gödel's First Incompleteness Theorem

    Directory of Open Access Journals (Sweden)

    Antti Valmari

    2014-05-01

    Full Text Available A rather easy yet rigorous proof of a version of Gödel's first incompleteness theorem is presented. The version is ``each recursively enumerable theory of natural numbers with 0, 1, +, *, =, logical and, logical not, and the universal quantifier either proves a false sentence or fails to prove a true sentence''. The proof proceeds by first showing a similar result on theories of finite character strings, and then transporting it to natural numbers, by using them to model strings and their concatenation. Proof systems are expressed via Turing machines that halt if and only if their input string is a theorem. This approach makes it possible to present all but one parts of the proof rather briefly with simple and straightforward constructions. The details require some care, but do not require significant background knowledge. The missing part is the widely known fact that Turing machines can perform complicated computational tasks.

  6. Cosmological singularity theorems and splitting theorems for N-Bakry-Émery spacetimes

    Energy Technology Data Exchange (ETDEWEB)

    Woolgar, Eric, E-mail: ewoolgar@ualberta.ca [Department of Mathematical and Statistical Sciences, University of Alberta, Edmonton, Alberta T6G 2G1 (Canada); Wylie, William, E-mail: wwylie@syr.edu [215 Carnegie Building, Department of Mathematics, Syracuse University, Syracuse, New York 13244 (United States)

    2016-02-15

    We study Lorentzian manifolds with a weight function such that the N-Bakry-Émery tensor is bounded below. Such spacetimes arise in the physics of scalar-tensor gravitation theories, including Brans-Dicke theory, theories with Kaluza-Klein dimensional reduction, and low-energy approximations to string theory. In the “pure Bakry-Émery” N = ∞ case with f uniformly bounded above and initial data suitably bounded, cosmological-type singularity theorems are known, as are splitting theorems which determine the geometry of timelike geodesically complete spacetimes for which the bound on the initial data is borderline violated. We extend these results in a number of ways. We are able to extend the singularity theorems to finite N-values N ∈ (n, ∞) and N ∈ (−∞, 1]. In the N ∈ (n, ∞) case, no bound on f is required, while for N ∈ (−∞, 1] and N = ∞, we are able to replace the boundedness of f by a weaker condition on the integral of f along future-inextendible timelike geodesics. The splitting theorems extend similarly, but when N = 1, the splitting is only that of a warped product for all cases considered. A similar limited loss of rigidity has been observed in a prior work on the N-Bakry-Émery curvature in Riemannian signature when N = 1 and appears to be a general feature.

  7. The embedding problem in topological dynamics and Takens’ theorem

    Science.gov (United States)

    Gutman, Yonatan; Qiao, Yixiao; Szabó, Gábor

    2018-02-01

    We prove that every {Z}k -action (X, {Z}k, T) of mean dimension less than D/2 admitting a factor (Y, {Z}k, S) of Rokhlin dimension not greater than L embeds in (([0, 1](L+1)D){\\hspace{0pt}}{Zk}× Y, σ× S) , where D\\in{N} , L\\in{N}\\cup\\{0\\} and σ is the shift on the Hilbert cube ([0, 1](L+1)D){\\hspace{0pt}}{Zk} ; in particular, when (Y, {Z}k, S) is an irrational {Z}k -rotation on the k-torus, (X, {Z}k, T) embeds in (([0, 1]2^kD+1){\\hspace{0pt}}{Z^k}, σ) , which is compared to a previous result in Gutman, Lindenstrauss and Tsukamoto (2016 Geom. Funct. Anal. 3 778–817). Moreover, we give a complete and detailed proof of Takens’ embedding theorem with a continuous observable for {Z} -actions and deduce the analogous result for {Z}k -actions. Lastly, we show that the Lindenstrauss–Tsukamoto conjecture for {Z} -actions holds generically, discuss an analogous conjecture for {Z}k -actions in Gutman, Qiao and Tsukamoto (2017 arXiv:1709.00125) and verify it for {Z}k -actions on finite dimensional spaces.

  8. A two-parameter generalization of Shannon-Khinchin axioms and the uniqueness theorem

    Energy Technology Data Exchange (ETDEWEB)

    Wada, Tatsuaki [Department of Electrical and Electronic Engineering, Ibaraki University, Hitachi, Ibaraki 316-8511 (Japan)], E-mail: wada@mx.ibaraki.ac.jp; Suyari, Hiroki [Department of Information and Image Sciences, Faculty of Engineering, Chiba University, 263-8522 (Japan)], E-mail: suyari@faculty.chiba-u.jp

    2007-08-20

    Based on the one-parameter generalization of Shannon-Khinchin (SK) axioms presented by one of the authors, and utilizing a tree-graphical representation, we have developed for the first time a two-parameter generalization of the SK axioms in accordance with the two-parameter entropy introduced by Sharma, Taneja, and Mittal. The corresponding unique theorem is also proved. It is found that our two-parameter generalization of Shannon additivity is a natural consequence from the Leibniz product rule of the two-parameter Chakrabarti-Jagannathan difference operator.

  9. Convergence theorems of fixed points for Lipschitz pseudo-contractions in Hilbert spaces

    Science.gov (United States)

    Zhou, Haiyun

    2008-07-01

    Let C be a closed convex subset of a real Hilbert space H and assume that T is a [kappa]-strict pseudo-contraction on C. Consider Mann's iteration algorithm given by It is proved that if the control sequence {[alpha]n} is chosen so that [kappa]Rhoades [B.E. Rhoades, Fixed point iterations using infinite matrices, Trans. Amer. Math. Soc. 196 (1974) 162-176] and of Marino and Xu [G. Marino, H.-K. Xu, Weak and strong convergence theorems for strict pseudo-contractions in Hilbert spaces, J. Math. Anal. Appl. 329 (1) (2007) 336-346].

  10. A General Total Variation Minimization Theorem for Compressed Sensing Based Interior Tomography

    Directory of Open Access Journals (Sweden)

    Weimin Han

    2009-01-01

    Full Text Available Recently, in the compressed sensing framework we found that a two-dimensional interior region-of-interest (ROI can be exactly reconstructed via the total variation minimization if the ROI is piecewise constant (Yu and Wang, 2009. Here we present a general theorem charactering a minimization property for a piecewise constant function defined on a domain in any dimension. Our major mathematical tool to prove this result is functional analysis without involving the Dirac delta function, which was heuristically used by Yu and Wang (2009.

  11. An extension of the compression-expansion fixed point theorem of functional type

    Directory of Open Access Journals (Sweden)

    Richard I. Avery

    2016-09-01

    Full Text Available In this article we use an interval of functional type as the underlying set in our compression-expansion fixed point theorem argument which can be used to exploit properties of the operator to improve conditions that will guarantee the existence of a fixed point in applications. An example is provided to demonstrate how intervals of functional type can improve conditions in applications to boundary value problems. We also show how one can use suitable $k$-contractive conditions to prove that a fixed point in a functional-type interval is unique.

  12. Maximal $k$-Edge-Colorable Subgraphs, Vizing's Theorem, and Tuza's Conjecture

    OpenAIRE

    Puleo, Gregory J.

    2015-01-01

    We prove that if $M$ is a maximal $k$-edge-colorable subgraph of a multigraph $G$ and if $F = \\{v \\in V(G) : d_M(v) \\leq k-\\mu(v)\\}$, then $d_F(v) \\leq d_M(v)$ for all $v \\in F$. (When $G$ is a simple graph, the set $F$ is just the set of vertices having degree less than $k$ in $M$.) This implies Vizing's Theorem as well as a special case of Tuza's Conjecture on packing and covering of triangles. A more detailed version of our result also implies Vizing's Adjacency Lemma for simple graphs.

  13. Fluctuation limit theorems for age-dependent critical binary branching systems

    Directory of Open Access Journals (Sweden)

    Murillo-Salas Antonio

    2011-03-01

    Full Text Available We consider an age-dependent branching particle system in ℝd, where the particles are subject to α-stable migration (0 < α ≤ 2, critical binary branching, and general (non-arithmetic lifetimes distribution. The population starts off from a Poisson random field in ℝd with Lebesgue intensity. We prove functional central limit theorems and strong laws of large numbers under two rescalings: high particle density, and a space-time rescaling that preserves the migration distribution. Properties of the limit processes such as Markov property, almost sure continuity of paths and generalized Langevin equation, are also investigated.

  14. Some applications of the Archimedean copulas in the proof of the almost sure central limit theorem for ordinary maxima

    Directory of Open Access Journals (Sweden)

    Dudziński Marcin

    2017-08-01

    Full Text Available Our goal is to state and prove the almost sure central limit theorem for maxima (Mn of X1, X2, ..., Xn, n ∈ ℕ, where (Xi forms a stochastic process of identically distributed r.v.’s of the continuous type, such that, for any fixed n, the family of r.v.’s (X1, ...,Xn has the Archimedean copula CΨ.

  15. A bifurcation-type theorem for the positive solutions of a nonlinear Neumann problem with concave and convex terms

    Directory of Open Access Journals (Sweden)

    Dimitrie Kravvaritis

    2010-12-01

    Full Text Available We consider a nonlinear elliptic Neumann problem driven by the p-Laplacian with a reaction that involves the combined effects of a “concave” and of a “convex” terms. The convex term (p-superlinear term need not satisfy the Ambrosetti-Rabinowitz condition. Employing variational methods based on the critical point theory together with truncation techniques, we prove a bifurcation type theorem for the equation.

  16. Birth of a theorem a mathematical adventure

    CERN Document Server

    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...

  17. The Miles Theorem and New Particular Solutions to the Taylor--Goldstein Equation

    Directory of Open Access Journals (Sweden)

    A.A. Gavrilieva

    2016-06-01

    Full Text Available The linear stability problem of steady-state plane-parallel shear flows of a continuously stratified inviscid incompressible fluid in the gravity field between two immovable impermeable solid planes is studied in and without the Boussinesq approximation. Using the Lyapunov direct method, it is proved that these flows are absolutely unstable in the theoretical sense with respect to small plane perturbations. The applicability domain boundaries of the known necessary condition of the linear instability of steady-state plane-parallel shear flows of a continuously stratified inviscid incompressible fluid in the gravity field is strictly determined in the Boussinesq approximation and without it (Miles theorem. It is found that this theorem is, by its character, both sufficient and necessary statement with respect to some uncompleted unclosed subclasses of studied perturbations. The analytical examples are constructed with the view of illustrations of the mentioned stationary flows and small plane perturbations imposed on these flows. These perturbations are not under the Miles theorem and they increase with time irrespective of the validity of the theoretical linear stability criterion in and without the Boussinesq approximation. Therefore, the results derived earlier by other authors with the help of the method of integral relations for the linear stability problems of steady-state plane-parallel shear flows of a continuously stratified inviscid incompressible fluid demand strict description for the studied partial classes of small plane perturbations as otherwise they can be mistaken.

  18. On the conditions of validity of the Boltzmann equation and Boltzmann H-theorem

    Science.gov (United States)

    Tessarotto, Massimo; Cremaschini, Claudio; Tessarotto, Marco

    2013-03-01

    In this paper the problem is posed of the formulation of the so-called ab initio approach to the statistical description of the Boltzmann-Sinai N -body classical dynamical system (CDS) formed by identical smooth hard spheres. This amounts to introducing a suitably generalized version of the axioms of Classical Statistical Mechanics. The latter involve a proper definition of the functional setting for the N -body probability density function (PDF), so that it includes also the case of the deterministic N -body PDF. In connection with this issue, a further development concerns the introduction of modified collision boundary conditions which differ from the usual ones adopted in previous literature. Both features are proved to be consistent with the validity of exact H-theorems for the N -body and 1 -body PDFs, respectively. Consequences of the axiomatic approach which concern the conditions of validity of the Boltzmann kinetic equation and the Boltzmann H-theorem are investigated. In particular, the role of the modified boundary conditions is discussed. It is shown that both theorems fail in the case in which the N -body PDF is identified with the deterministic PDF. Finally, the issue of applicability of the Zermelo and Loschmidt paradoxes to the ab initio approach presented here is discussed.

  19. An integral Riemann-Roch theorem for surface bundles

    DEFF Research Database (Denmark)

    Madsen, Ib Henning

    2010-01-01

    This paper is a response to a conjecture by T. Akita about an integral Riemann–Roch theorem for surface bundles.......This paper is a response to a conjecture by T. Akita about an integral Riemann–Roch theorem for surface bundles....

  20. Leaning on Socrates to Derive the Pythagorean Theorem

    Science.gov (United States)

    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…

  1. From Bombieri's Mean Value Theorem to the Riemann Hypothesis

    OpenAIRE

    Song, Fu-Gao

    2008-01-01

    From Bombieri's mean value theorem one can deduce the prime number theorem being equivalent to the Riemann hypothesis and the least prime P(q) satisfying P(q)= O(q^2 [ln q]^32) in any arithmetic progressions with common difference q.

  2. Some fixed point theorems for Hardy-Rogers type mappings

    Directory of Open Access Journals (Sweden)

    B. E. Rhoades

    1984-01-01

    Full Text Available The first result establishes a fixed point theorem for three maps of a complete metric space. The contractive definition is a generalization of that of Hardy and Rogers, and the commuting condition of Jungck is replaced by the concept of weakly commuting. The other results are extensions of some theorems of Kannan.

  3. 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 ...

  4. Common Origin of Quantum Regression and Quantum Fluctuation Dissipation Theorems

    OpenAIRE

    Shiktorov, P.; Starikov, E.; Gruzinskis, V.; Reggiani, L.; L. Varani; Vaissiere, J. C.

    2000-01-01

    It is shown that the quantum fluctuation dissipation theorem can be considered as a mathematical formulation in the spectral representation of Onsager hypothesis on the regression of fluctuations in physical systems. It is shown that the quantum fluctuation dissipation theorem can be generalized to an arbitrary stationary state.

  5. Some limit theorems for negatively associated random variables

    Indian Academy of Sciences (India)

    Abstract. Let {Xn,n ≥ 1} be a sequence of negatively associated random vari- ables. The aim of this paper is to establish some limit theorems of negatively associated sequence, which include the Lp-convergence theorem and Marcinkiewicz–Zygmund strong law of large numbers. Furthermore, we consider the strong law of ...

  6. Generalizations of Karp's theorem to elastic scattering theory

    Science.gov (United States)

    Tuong, Ha-Duong

    Karp's theorem states that if the far field pattern corresponding to the scattering of a time-harmonic acoustic plane wave by a sound-soft obstacle in R2 is invariant under the group of rotations, then the scatterer is a circle. The theorem is generalized to the elastic scattering problems and the axisymmetric scatterers in R3.

  7. Nonlinear Contractive Conditions for Coupled Cone Fixed Point Theorems

    Directory of Open Access Journals (Sweden)

    Du Wei-Shih

    2010-01-01

    Full Text Available We establish some new coupled fixed point theorems for various types of nonlinear contractive maps in the setting of quasiordered cone metric spaces which not only obtain several coupled fixed point theorems announced by many authors but also generalize them under weaker assumptions.

  8. 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.

  9. Steinitz theorems for simple orthogonal polyhedra

    Directory of Open Access Journals (Sweden)

    David Eppstein

    2014-09-01

    Full Text Available We define a simple orthogonal polyhedron to be a three-dimensional polyhedron with the topology of a sphere in which three mutually-perpendicular edges meet at each vertex.By analogy to Steinitz's theorem characterizing the graphs of convex polyhedra, we find graph-theoretic characterizations of three classes of simple orthogonal polyhedra: corner polyhedra, which can be drawn by isometric projection in the plane with only one hidden vertex, xyz polyhedra, in which each axis-parallel line through a vertex contains exactly one other vertex, and arbitrary simple orthogonal polyhedra. In particular, the graphs of xyz polyhedra are exactly the bipartite cubic polyhedral graphs, and every bipartite cubic polyhedral graph with a 4-connected dual graph is the graph of a corner polyhedron. Based on our characterizations we find efficient algorithms for constructing orthogonal polyhedra from their graphs.

  10. 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.

  11. Probing quantum fluctuation theorems in engineered reservoirs

    Science.gov (United States)

    Elouard, C.; Bernardes, N. K.; Carvalho, A. R. R.; Santos, M. F.; Auffèves, A.

    2017-10-01

    Fluctuation theorems (FTs) are central in stochastic thermodynamics, as they allow for quantifying the irreversibility of single trajectories. Although they have been experimentally checked in the classical regime, a practical demonstration in the framework of quantum open systems is still to come. Here we propose a realistic platform to probe FTs in the quantum regime. It is based on an effective two-level system coupled to an engineered reservoir, that enables the detection of the photons emitted and absorbed by the system. When the system is coherently driven, a measurable quantum component in the entropy production is evidenced. We quantify the error due to photon detection inefficiency, and show that the missing information can be efficiently corrected, based solely on the detected events. Our findings provide new insights into how the quantum character of a physical system impacts its thermodynamic evolution.

  12. PBR theorem and Einstein's quantum hole argument

    CERN Document Server

    Weinstein, Galina

    2013-01-01

    This note discusses the latest hot topic: Quantum states: ontic or epistemic? and the PBR theorem. Upon reading Einstein's views on quantum incompleteness in publications or in his correspondence after 1935 (the EPR paradox), one gets a very intense feeling of deja-vu. Einstein presents a quantum hole argument, which somewhat reminds of the hole argument in his 1914 "Entwurf" general theory of relativity. In their paper, PBR write the following: "an important step towards the derivation of our result is the idea that the quantum state is physical if distinct quantum states correspond to non-overlapping distributions for [the set of possible physical states that a system can be in]", and they then refer to Einstein's argument and views.

  13. 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.

  14. Fluctuation theorem in quantum heat conduction.

    Science.gov (United States)

    Saito, Keiji; Dhar, Abhishek

    2007-11-02

    We consider steady-state heat conduction across a quantum harmonic chain connected to reservoirs modeled by infinite collection of oscillators. The heat, Q, flowing across the oscillator in a time interval tau is a stochastic variable and we study the probability distribution function P(Q). We compute the exact generating function of Q at large tau and the large deviation function. The generating function has a symmetry satisfying the steady-state fluctuation theorem without any quantum corrections. The distribution P(Q) is non-Gaussian with clear exponential tails. The effect of finite tau and nonlinearity is considered in the classical limit through Langevin simulations. We also obtain the prediction of quantum heat current fluctuations at low temperatures in clean wires.

  15. If 1+1=2 then the Pythagorean theorem holds, or one more proof of the oldest theorem of mathematics

    Directory of Open Access Journals (Sweden)

    Alexandru HORVÁTH

    2013-06-01

    Full Text Available The Pythagorean theorem is one of the oldest theorems of mathematics. It gained during the time a central position and even today it continues to be a source of inspiration. In this note we try to give a proof which is based on a hopefully new approach. Our treatment will be as intuitive as it can be.

  16. No-go theorem for passive single-rail linear optical quantum computing.

    Science.gov (United States)

    Wu, Lian-Ao; Walther, Philip; Lidar, Daniel A

    2013-01-01

    Photonic quantum systems are among the most promising architectures for quantum computers. It is well known that for dual-rail photons effective non-linearities and near-deterministic non-trivial two-qubit gates can be achieved via the measurement process and by introducing ancillary photons. While in principle this opens a legitimate path to scalable linear optical quantum computing, the technical requirements are still very challenging and thus other optical encodings are being actively investigated. One of the alternatives is to use single-rail encoded photons, where entangled states can be deterministically generated. Here we prove that even for such systems universal optical quantum computing using only passive optical elements such as beam splitters and phase shifters is not possible. This no-go theorem proves that photon bunching cannot be passively suppressed even when extra ancilla modes and arbitrary number of photons are used. Our result provides useful guidance for the design of optical quantum computers.

  17. Entropy theorems in classical mechanics, general relativity, and the gravitational two-body problem

    CERN Document Server

    Oltean, Marius; Spallicci, Alessandro D A M; Sopuerta, Carlos F

    2016-01-01

    In classical Hamiltonian theories, entropy may be understood either as a statistical property of canonical systems, or as a mechanical property, that is, as a monotonic function of the phase space along trajectories. In classical mechanics, there are theorems which have been proposed for proving the non-existence of entropy in the latter sense. We explicate, clarify and extend the proofs of these theorems to some standard matter (scalar and electromagnetic) field theories in curved spacetime, and then we show why these proofs fail in general relativity; due to properties of the gravitational Hamiltonian and phase space measures, the second law of thermodynamics holds. As a concrete application, we focus on the consequences of these results for the gravitational two-body problem, and in particular, we prove the non-compactness of the phase space of perturbed Schwarzschild-Droste spacetimes. We thus identify the lack of recurring orbits in phase space as a distinct sign of dissipation and hence entropy producti...

  18. I Teoremi di Campbell, Baker, Hausdorff e Dynkin. Storia, Prove, Problemi Aperti

    Directory of Open Access Journals (Sweden)

    Andrea Bonfiglioli

    2010-12-01

    Full Text Available The aim of this lecture is to provide an overview of facts and references about past and recent results on the Theorem of Campbell, Baker, Hausdorff and Dynkin (shortcut as the CBHD Theorem, following the recent preprint monograph [13]. In particular, we shall give sketches of the following facts: A historical précis of the early proofs (see also [1]; the statement of the CBHD Theorem as usually given in Algebra and that employed in the Analysis of linear PDE's; a review of proofs of the CBHD Theorem (as given by: Bourbaki; Hausdorff; Dynkin; Varadarajan together with a unifying demonstrational approach; an application to the Third Theorem of Lie (in local form. Some new results will be also commented: The intertwinement of the CBHD Theorem with the Theorem of Poincaré-Birkhoff-Witt and with the free Lie algebras (see [12]; recent results on optimal domains of convergence.

  19. The CAP Theorem Versus Databases with Relaxed ACID properties

    DEFF Research Database (Denmark)

    Frank, Lars; Ulslev Pedersen, Rasmus; Frank, Christian Havnø

    2014-01-01

    The CAP theorem combines the three desirable properties C (data consistency), A (data availability), and P (partition-tolerance: tolerance of inconsistencies between data stored in a distributed database where partitions are allowed). The CAP theorem asserts that any distributed system that uses ...... data from different locations can have at most two of the three desirable CAP properties [5]. The NoSQL movement has applied the CAP theorem as an argument against traditional ACID (atomicity, consistency, isolation, and durability) databases, which prioritize consistency and partition...

  20. 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...... 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 intuition further by unfolding and visualizing a few examples with increasing complexity. In these examples...

  1. Direct and converse theorems the elements of symbolic logic

    CERN Document Server

    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

  2. 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....

  3. The global Utiyama theorem in Einstein-Cartan theory

    Science.gov (United States)

    Bruzzo, Ugo

    1987-09-01

    A global formulation of Utiyama's theorem for Einstein-Cartan-type gravitational theories regarded as gauge theories of the group of space-time diffeomorphisms is given. The local conditions for the Lagrangian to be gauge invariant coincide with those found by other authors [A. Pérez-Rendón Collantes, ``Utiyama type theorems,'' in Poincaré Gauge Approach to Gravity. I, Proceedings Journées Relativistes 1984; A. Pérez-Rendón and J. J. Seisdedos, ``Utiyama type theorems in Poincaré gauge approach to gravity. II, '' Preprints de Mathematicas, Universidad de Salamanca, 1986] in Kibble's and Hehl's approaches.

  4. Noether Theorem for Nonholonomic Systems with Time Delay

    Directory of Open Access Journals (Sweden)

    Shi-Xin Jin

    2015-01-01

    Full Text Available The paper focuses on studying the Noether theorem for nonholonomic systems with time delay. Firstly, the differential equations of motion for nonholonomic systems with time delay are established, which is based on the Hamilton principle with time delay and the Lagrange multiplier rules. Secondly, based upon the generalized quasi-symmetric transformations for nonconservative systems with time delay, the Noether theorem for corresponding holonomic systems is given. Finally, we obtain the Noether theorem for the nonholonomic nonconservative systems with time delay. At the end of the paper, an example is given to illustrate the application of the results.

  5. Soft pion theorem, asymptotic symmetry and new memory effect

    Science.gov (United States)

    Hamada, Yuta; Sugishita, Sotaro

    2017-11-01

    It is known that soft photon and graviton theorems can be regarded as the Ward-Takahashi identities of asymptotic symmetries. In this paper, we consider soft theorem for pions, i.e., Nambu-Goldstone bosons associated with a spontaneously broken axial symmetry. The soft pion theorem is written as the Ward-Takahashi identities of the S-matrix under asymptotic transformations. We investigate the asymptotic dynamics, and find that the conservation of charges generating the asymptotic transformations can be interpreted as a pion memory effect.

  6. Quantum fluctuation theorems and power measurements

    Science.gov (United States)

    Prasanna Venkatesh, B.; Watanabe, Gentaro; Talkner, Peter

    2015-07-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.

  7. Inverse halftoning based on the bayesian theorem.

    Science.gov (United States)

    Liu, Yun-Fu; Guo, Jing-Ming; Lee, Jiann-Der

    2011-04-01

    This study proposes a method which can generate high quality inverse halftone images from halftone images. This method can be employed prior to any signal processing over a halftone image or the inverse halftoning used in JBIG2. The proposed method utilizes the least-mean-square (LMS) algorithm to establish a relationship between the current processing position and its corresponding neighboring positions in each type of halftone image, including direct binary search, error diffusion, dot diffusion, and ordered dithering. After which, a referenced region called a support region (SR) is used to extract features. The SR can be obtained by relabeling the LMS-trained filters with the order of importance. Moreover, the probability of black pixel occurrence is considered as a feature in this work. According to this feature, the probabilities of all possible grayscale values at the current processing position can be obtained by the Bayesian theorem. Consequently, the final output at this position is the grayscale value with the highest probability. Experimental results show that the proposed method offers better visual quality than that of Mese-Vaidyanathan's and Chang et al's methods in terms of human-visual peak signal-to-noise ratio (HPSNR). In addition, the memory consumption is also superior to Mese-Vaidyanathan's method.

  8. The Completeness Theorem of G6del

    Indian Academy of Sciences (India)

    is lauded as epochal work constituting an achievement of the first order, G6del developed powerful techniques to prove very deep and stunning results such as com- pleteness ... of geometry as developed by the Greek mathematicians like Euclid. Starting from a few un- defined concepts like 'points', 'lines', 'a point incident.

  9. Fluctuation theorem in driven nonthermal systems with quenched disorder

    Energy Technology Data Exchange (ETDEWEB)

    Reichhardt, Charles [Los Alamos National Laboratory; Reichhardt, C J [Los Alamos National Laboratory; Drocco, J A [PRINCETON UNIV.

    2009-01-01

    We demonstrate that the fluctuation theorem of Evans and Searles can be used to characterize the class of dynamics that arises in nonthermal systems of collectively interacting particles driven over random quenched disorder. By observing the frequency of entropy-destroying trajectories, we show that there are specific dynamical regimes near depinning in which this theorem holds. Hence the fluctuation theorem can be used to characterize a significantly wider class of non-equilibrium systems than previously considered. We discuss how the fluctuation theorem could be tested in specific systems where noisy dynamics appear at the transition from a pinned to a moving phase such as in vortices in type-II superconductors, magnetic domain walls, and dislocation dynamics.

  10. Bayes' theorem: A paradigm research tool in biomedical sciences

    African Journals Online (AJOL)

    STORAGESEVER

    2008-12-29

    Dec 29, 2008 ... 1Department of Industrial Mathematics and Applied Statistics, Ebonyi State University, Abakaliki, Nigeria. ... Bayes' theorem in biomedical research using examples. ..... educate prospective mothers aged 20 years or less. The.

  11. A Computer Science Version of Goedel’s Theorem.

    Science.gov (United States)

    1983-08-01

    The author presents a simplified proof of Godel’s theorem by appealing to well-known programming concepts. The significance of Goedel’s result to computer science , mathematics and logic is discussed. (Author)

  12. 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.

  13. Next to subleading soft-graviton theorem in arbitrary dimensions

    Energy Technology Data Exchange (ETDEWEB)

    Kalousios, Chrysostomos [ICTP South American Institute for Fundamental Research,Instituto de Física Teórica, UNESP-Universidade Estadual Paulista,R. Dr. Bento T. Ferraz 271, Bl. II, 01140-070, São Paulo, SP (Brazil); Rojas, Francisco [Instituto de Física Teórica, UNESP-Universidade Estadual Paulista,R. Dr. Bento T. Ferraz 271, Bl. II, 01140-070, São Paulo, SP (Brazil)

    2015-01-21

    We study the soft graviton theorem recently proposed by Cachazo and Strominger. We employ the Cachazo, He and Yuan formalism to show that the next to subleading order soft factor for gravity is universal at tree level in arbitrary dimensions.

  14. Chkareuli-Froggatt-Nielsen Theorem and Photon Mass

    OpenAIRE

    Siahaan, Haryanto M.

    2007-01-01

    We analyze there is a relation between fossil charge and the mass of photon based on Chkareuli-Froggatt-Nielsen Theorem and Proca Lagrangian. As generally known, massive photon will lead to Lorentz non-invariance field theory.

  15. Forest Carbon Uptake and the Fundamental Theorem of Calculus

    Science.gov (United States)

    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.

  16. Quantum nonlocality and reality 50 years of Bell's theorem

    CERN Document Server

    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...

  17. Generalized -Bernstein-Schurer Operators and Some Approximation Theorems

    Directory of Open Access Journals (Sweden)

    M. Mursaleen

    2013-01-01

    Full Text Available We study statistical approximation properties of -Bernstein-Shurer operators and establish some direct theorems. Furthermore, we compute error estimation and show graphically the convergence for a function by operators and give its algorithm.

  18. Limit theorems for unions of random closed sets

    CERN Document Server

    Molchanov, Ilya S

    1993-01-01

    The book concerns limit theorems and laws of large numbers for scaled unionsof independent identically distributed random sets. These results generalizewell-known facts from the theory of extreme values. Limiting distributions (called union-stable) are characterized and found explicitly for many examples of random closed sets. The speed of convergence in the limit theorems for unions is estimated by means of the probability metrics method.It includes the evaluation of distances between distributions of random sets constructed similarly to the well-known distances between distributions of random variables. The techniques include regularly varying functions, topological properties of the space of closed sets, Choquet capacities, convex analysis and multivalued functions. Moreover, the concept of regular variation is elaborated for multivalued (set-valued) functions. Applications of the limit theorems to simulation of random sets, statistical tests, polygonal approximations of compacts, limit theorems for pointw...

  19. A Fresh Look at the Rotten Kid Theorem

    OpenAIRE

    Bergstrom, Ted

    1989-01-01

    Gary Becker's ``Rotten Kid Theorem'' asserts that if all family members receive gifts of money income from a benevolent household member, then even if the household head does not precommit to an incentive plan for family members, it will be in the interest of selfish family members to maximize total family income. We show by examples that the Rotten Kid theorem is not true without assuming transferable utility. We find a simple condition on utility functions that is necessary and sufficient f...

  20. A simple proof of Perelman's collapsing theorem for 3-manifolds

    OpenAIRE

    Cao, Jianguo; Ge, Jian

    2010-01-01

    We will simplify earlier proofs of Perelman's collapsing theorem for 3-manifolds given by Shioya-Yamaguchi and Morgan-Tian. Among other things, we use Perelman's critical point theory (e.g., multiple conic singularity theory and his fibration theory) for Alexandrov spaces to construct the desired local Seifert fibration structure on collapsed 3-manifolds. The verification of Perelman's collapsing theorem is the last step of Perelman's proof of Thurston's Geometrization Conjecture on the class...

  1. 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....

  2. Cartan's proof for the Darboux theorem in A -modules | Ntumba ...

    African Journals Online (AJOL)

    We refer to [4] for a proof of the (affine) Darboux theorem in the category A-ModX of A-modules, defined on a fixed topological space X. Hereby, we present another proof of the same theorem, based on E. Cartan's approach, keeping, as is done in [4], the condition affixed to the coefficient algebra sheaf A, that is, A satisfies ...

  3. Rigidity theorem for Willmore surfaces in a sphere

    Indian Academy of Sciences (India)

    compact non-minimal flat Willmore surfaces in S3, and Castro and Urbano [2] constructed many compact non-minimal Willmore surfaces in S4. In [6], Li obtained the following rigidity theorem for Willmore surfaces in a unit sphere. Theorem A. Let M be a compact Willmore surface in S2+p. Then. ∫M ρ2 (2 − 2B ρ2) dv ≤ 0,.

  4. 25 CFR 11.702 - Proving and admitting will.

    Science.gov (United States)

    2010-04-01

    ... 25 Indians 1 2010-04-01 2010-04-01 false Proving and admitting will. 11.702 Section 11.702 Indians... ORDER CODE Probate Proceedings § 11.702 Proving and admitting will. (a) Upon initiating the probate of an estate, the will of the decedent shall be filed with the court. Such will may be proven and...

  5. Reasoning and Proving Opportunities in Textbooks: A Comparative Analysis

    Science.gov (United States)

    Hong, Dae S.; Choi, Kyong Mi

    2018-01-01

    In this study, we analyzed and compared reasoning and proving opportunities in geometry lessons from American standard-based textbooks and Korean textbooks to understand how these textbooks provide student opportunities to engage in reasoning and proving activities. Overall, around 40% of exercise problems in Core Plus Mathematics Project (CPMP)…

  6. The Earth is Flat, and I Can Prove It!

    Science.gov (United States)

    Klinger, Art

    1998-01-01

    Describes an educational program that asks students to attempt to prove that the earth is spherical and that it rotates. Presents tips to pique student interest and charts related to sensing the spin, nonrotation notions, flat earth fallacies, evidence that the earth is spherical and rotates, and the role of watersheds in proving that the earth…

  7. 20 CFR 219.23 - Evidence to prove death.

    Science.gov (United States)

    2010-04-01

    ... 20 Employees' Benefits 1 2010-04-01 2010-04-01 false Evidence to prove death. 219.23 Section 219... EVIDENCE REQUIRED FOR PAYMENT Evidence of Age and Death § 219.23 Evidence to prove death. (a) Preferred evidence of death. The best evidence of a person's death is— (1) A certified copy of or extract from the...

  8. The PBR theorem: Whose side is it on?

    Science.gov (United States)

    Ben-Menahem, Yemima

    2017-02-01

    This paper examines the implications of the PBR theorem for the debate on the reality of the quantum state. The theorem seeks to undermine epistemic interpretations of the quantum state and support realist interpretations thereof, but there remains ambiguity about the precise nature of epistemic interpretations, and thus ambiguity about the implications of the theorem. The aim of this paper is to examine a radical epistemic interpretation that is not undermined by the theorem and is, arguably, strengthened by it. It is this radical interpretation, rather than the one assumed by the PBR theorem, that many epistemic theorists subscribe to. In order to distinguish the radical epistemic interpretation from alternative interpretations of quantum states-in particular, to distinguish it from instrumentalism-a historical comparison of different approaches to the meaning of quantum probabilities is provided. The comparison highlights, in particular, Schrödinger's work on the nature of quantum probabilities as distinct from probabilities in statistical mechanics, and the implications of this distinction for an epistemic interpretation of probability in the two areas. Schrödinger's work also helps to identify the difficulties in the PBR definition of an epistemic interpretation and is shown to anticipate the radical alternative that is not undermined by the theorem.

  9. Subexponential estimates in Shirshov's theorem on height

    Science.gov (United States)

    Belov, Aleksei Ya; Kharitonov, Mikhail I.

    2012-04-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 \\Psi(d,d,l), where \\displaystyle \\Psi(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\\ge n be positive integers. Then all words over an alphabet of cardinality l whose length is not less than \\Psi(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_0W_1\\dotsb W_n so that W_1,\\dots,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<\\Phi(n,l) over the set of words of degree \\le n-1, where \\displaystyle \\Phi(n,l)=2^{87}l\\cdot n^{12log_3n+48}. Bibliography: 40 titles.

  10. Entanglement conservation, ER=EPR, and a new classical area theorem for wormholes

    Energy Technology Data Exchange (ETDEWEB)

    Remmen, Grant N. [Walter Burke Institute for Theoretical PhysicsCalifornia Institute of Technology, Pasadena, CA 91125 (United States); Bao, Ning [Walter Burke Institute for Theoretical PhysicsCalifornia Institute of Technology, Pasadena, CA 91125 (United States); Institute for Quantum Information and Matter,California Institute of Technology, Pasadena, CA 91125 (United States); Pollack, Jason [Walter Burke Institute for Theoretical PhysicsCalifornia Institute of Technology, Pasadena, CA 91125 (United States)

    2016-07-11

    We consider the question of entanglement conservation in the context of the ER=EPR correspondence equating quantum entanglement with wormholes. In quantum mechanics, the entanglement between a system and its complement is conserved under unitary operations that act independently on each; ER=EPR suggests that an analogous statement should hold for wormholes. We accordingly prove a new area theorem in general relativity: for a collection of dynamical wormholes and black holes in a spacetime satisfying the null curvature condition, the maximin area for a subset of the horizons (giving the largest area attained by the minimal cross section of the multi-wormhole throat separating the subset from its complement) is invariant under classical time evolution along the outermost apparent horizons. The evolution can be completely general, including horizon mergers and the addition of classical matter satisfying the null energy condition. This theorem is the gravitational dual of entanglement conservation and thus constitutes an explicit characterization of the ER=EPR duality in the classical limit.

  11. The Lefschetz-Hopf theorem and axioms for the Lefschetz number

    Directory of Open Access Journals (Sweden)

    Brown Robert F

    2004-01-01

    Full Text Available The reduced Lefschetz number, that is, where denotes the Lefschetz number, is proved to be the unique integer-valued function on self-maps of compact polyhedra which is constant on homotopy classes such that (1 for and ; (2 if is a map of a cofiber sequence into itself, then ; (3 , where is a self-map of a wedge of circles, is the inclusion of a circle into the th summand, and is the projection onto the th summand. If is a self-map of a polyhedron and is the fixed point index of on all of , then we show that satisfies the above axioms. This gives a new proof of the normalization theorem: if is a self-map of a polyhedron, then equals the Lefschetz number of . This result is equivalent to the Lefschetz-Hopf theorem: if is a self-map of a finite simplicial complex with a finite number of fixed points, each lying in a maximal simplex, then the Lefschetz number of is the sum of the indices of all the fixed points of .

  12. Quantum and classical fluctuation theorems from a decoherent histories, open-system analysis.

    Science.gov (United States)

    Subaşı, Y; Hu, B L

    2012-01-01

    In this paper we present a first-principles analysis of the nonequilibrium work distribution and the free energy difference of a quantum system interacting with a general environment (with arbitrary spectral density and for all temperatures) based on a well-understood microphysics (quantum Brownian motion) model under the conditions stipulated by the Jarzynski equality [Jarzynski, Phys. Rev. Lett. 78, 2690 (1997)] and Crooks' fluctuation theorem [Crooks, Phys. Rev. E 60, 2721 (1999)] (in short, fluctuation theorems, FTs). We use the decoherent histories conceptual framework to explain how the notion of trajectories in a quantum system can be made viable and use the environment-induced decoherence scheme to assess the strength of noise that could provide sufficient decoherence to warrant the use of trajectories to define work in open quantum systems. From the solutions to the Langevin equation governing the stochastic dynamics of such systems we were able to produce formal expressions for these quantities entering in the FTs and from them prove explicitly the validity of the FTs at the high temperature limit. At low temperatures our general results would enable one to identify the range of parameters where FTs may not hold or need be expressed differently. We explain the relation between classical and quantum FTs and the advantage of this microphysics open-system approach over the phenomenological modeling and energy-level calculations for substitute closed quantum systems. © 2012 American Physical Society

  13. Wormholes with fluid sources: A no-go theorem and new examples

    Science.gov (United States)

    Bronnikov, K. A.; Baleevskikh, K. A.; Skvortsova, M. V.

    2017-12-01

    For static, spherically symmetric space-times in general relativity (GR), a no-go theorem is proved: it excludes the existence of wormholes with flat and/or anti-de Sitter asymptotic regions on both sides of the throat if the source matter is isotropic, i.e., the radial and tangential pressures coincide. It explains why in all previous attempts to build such solutions it was necessary to introduce boundaries with thin shells that manifestly violate the isotropy of matter. Under a simple assumption on the behavior of the spherical radius r (x ), we obtain a number of examples of wormholes with isotropic matter and one or both de Sitter asymptotic regions, allowed by the no-go theorem. We also obtain twice asymptotically flat wormholes with anisotropic matter, both symmetric and asymmetric with respect to the throat, under the assumption that the scalar curvature is zero. These solutions may be on equal grounds interpreted as those of GR with a traceless stress-energy tensor and as vacuum solutions in a brane world. For such wormholes, the traversability conditions and gravitational lensing properties are briefly discussed. As a byproduct, we obtain twice asymptotically flat regular black hole solutions with up to four Killing horizons. As another byproduct, we point out intersection points in families of integral curves for the function A (x )=gt t, parametrized by its values on the throat.

  14. Extended Eckart Theorem and New Variation Method for Excited States of Atoms

    CERN Document Server

    Xiong, Zhuang; Bacalis, N C; Zhou, Qin

    2016-01-01

    We extend the Eckart theorem, from the ground state to excited statew, which introduces an energy augmentation to the variation criterion for excited states. It is shown that the energy of a very good excited state trial function can be slightly lower than the exact eigenvalue. Further, the energy calculated by the trial excited state wave function, which is the closest to the exact eigenstate through Gram-Schmidt orthonormalization to a ground state approximant, is lower than the exact eigenvalue as well. In order to avoid the variation restrictions inherent in the upper bound variation theory based on Hylleraas, Undheim, and McDonald [HUM] and Eckart Theorem, we have proposed a new variation functional Omega-n and proved that it has a local minimum at the eigenstates, which allows approaching the eigenstate unlimitedly by variation of the trial wave function. As an example, we calculated the energy and the radial expectation values of Triplet-S(even) Helium atom by the new variation functional, and by HUM a...

  15. Duan's fixed point theorem: Proof and generalization

    Directory of Open Access Journals (Sweden)

    Arkowitz Martin

    2006-01-01

    Full Text Available Let be an H-space of the homotopy type of a connected, finite CW-complex, any map and the th power map. Duan proved that has a fixed point if . We give a new, short and elementary proof of this. We then use rational homotopy to generalize to spaces whose rational cohomology is the tensor product of an exterior algebra on odd dimensional generators with the tensor product of truncated polynomial algebras on even dimensional generators. The role of the power map is played by a -structure as defined by Hemmi-Morisugi-Ooshima. The conclusion is that and each has a fixed point.

  16. On local-hidden-variable no-go theorems

    Science.gov (United States)

    Methot, A. A.

    2006-06-01

    The strongest attack against quantum mechanics came in 1935 in the form of a paper by Einstein, Podolsky, and Rosen. It was argued that the theory of quantum mechanics could not be called a complete theory of Nature, for every element of reality is not represented in the formalism as such. The authors then put forth a proposition: we must search for a theory where, upon knowing everything about the system, including possible hidden variables, one could make precise predictions concerning elements of reality. This project was ultimately doomed in 1964 with the work of Bell, who showed that the most general local hidden variable theory could not reproduce correlations that arise in quantum mechanics. There exist mainly three forms of no-go theorems for local hidden variable theories. Although almost every physicist knows the consequences of these no-go theorems, not every physicist is aware of the distinctions between the three or even their exact definitions. Thus, we will discuss here the three principal forms of no-go theorems for local hidden variable theories of Nature. We will define Bell theorems, Bell theorems without inequalities, and pseudo-telepathy. A discussion of the similarities and differences will follow.

  17. Central limit theorem: the cornerstone of modern statistics.

    Science.gov (United States)

    Kwak, Sang Gyu; Kim, Jong Hae

    2017-04-01

    According to the central limit theorem, the means of a random sample of size, n , from a population with mean, µ, and variance, σ 2 , distribute normally with mean, µ, and variance, [Formula: see text]. Using the central limit theorem, a variety of parametric tests have been developed under assumptions about the parameters that determine the population probability distribution. Compared to non-parametric tests, which do not require any assumptions about the population probability distribution, parametric tests produce more accurate and precise estimates with higher statistical powers. However, many medical researchers use parametric tests to present their data without knowledge of the contribution of the central limit theorem to the development of such tests. Thus, this review presents the basic concepts of the central limit theorem and its role in binomial distributions and the Student's t-test, and provides an example of the sampling distributions of small populations. A proof of the central limit theorem is also described with the mathematical concepts required for its near-complete understanding.

  18. Generalized Fourier slice theorem for cone-beam image reconstruction.

    Science.gov (United States)

    Zhao, Shuang-Ren; Jiang, Dazong; Yang, Kevin; Yang, Kang

    2015-01-01

    The cone-beam reconstruction theory has been proposed by Kirillov in 1961, Tuy in 1983, Feldkamp in 1984, Smith in 1985, Pierre Grangeat in 1990. The Fourier slice theorem is proposed by Bracewell 1956, which leads to the Fourier image reconstruction method for parallel-beam geometry. The Fourier slice theorem is extended to fan-beam geometry by Zhao in 1993 and 1995. By combining the above mentioned cone-beam image reconstruction theory and the above mentioned Fourier slice theory of fan-beam geometry, the Fourier slice theorem in cone-beam geometry is proposed by Zhao 1995 in short conference publication. This article offers the details of the derivation and implementation of this Fourier slice theorem for cone-beam geometry. Especially the problem of the reconstruction from Fourier domain has been overcome, which is that the value of in the origin of Fourier space is 0/0. The 0/0 type of limit is proper handled. As examples, the implementation results for the single circle and two perpendicular circle source orbits are shown. In the cone-beam reconstruction if a interpolation process is considered, the number of the calculations for the generalized Fourier slice theorem algorithm is O(N^4), which is close to the filtered back-projection method, here N is the image size of 1-dimension. However the interpolation process can be avoid, in that case the number of the calculations is O(N5).

  19. A quantum central limit theorem for non-equilibrium systems: exact local relaxation of correlated states

    Energy Technology Data Exchange (ETDEWEB)

    Cramer, M [Institut fuer Theoretische Physik, Albert-Einstein Allee 11, Universitaet Ulm, D-89069 Ulm (Germany); Eisert, J, E-mail: marcus.cramer@macnews.d, E-mail: jense@qipc.or [Institute for Mathematical Sciences, Imperial College London, Prince' s Gardens, London SW7 2PE (United Kingdom)

    2010-05-15

    We prove that quantum many-body systems on a one-dimensional lattice locally relax to Gaussian states under non-equilibrium dynamics generated by a bosonic quadratic Hamiltonian. This is true for a large class of initial states-pure or mixed-which have to satisfy merely weak conditions concerning the decay of correlations. The considered setting is a proven instance of a situation where dynamically evolving closed quantum systems locally appear as if they had truly relaxed, to maximum entropy states for fixed second moments. This furthers the understanding of relaxation in suddenly quenched quantum many-body systems. The proof features a non-commutative central limit theorem for non-i.i.d. random variables, showing convergence to Gaussian characteristic functions, giving rise to trace-norm closeness. We briefly link our findings to the ideas of typicality and concentration of measure.

  20. Ring-tool profiling - graphical method in CATIA based on Generating trajectories theorem

    Science.gov (United States)

    Frumuşanu, G.; Teodor, V.; Oancea, N.

    2016-11-01

    Machining of threads having high dimensions and multiple starts by turning is a challenging problem. An alternative possibility is to machine them by milling. The most productive milling solution is when using tools with inner active surface, namely ring tools. In the case of threads with multiple starts, the reciprocal enwrapped profile of the ring tool is considerably different to the shape of the thread axial (normal) section. In this paper, we suggest a methodology to profile the generator ring tool, based on a complementary theorem from enwrapped surfaces field. At the same time, a graphical algorithm aiming to find the ring tool profile, developed in CATIA graphical environment has been applied in the concrete case of a trapezoidal thread. The graphical profiling solution is presented in comparison to an analytical solution, in order to test the results precision. The graphical profiling method proves to be rigorous, easy to apply and highly intuitive.

  1. Toward the Landau–Lifshitz version of the Thomson electrostatics theorem

    Directory of Open Access Journals (Sweden)

    Michael Grinfeld

    2015-01-01

    Full Text Available In the classical textbook (Landau and Lifshitz, 1963, Landau and Lifshtz suggested their version of the famous Thomson variational principle (a.k.a Thomson theorem. So far, their version has not gained the interest it deserves, either among physicists or among applied mathematicians. Partially, the lack of interest can be explained because of the quality of the suggested proof of the principle. It is considerably lower than the standards accepted in classical electrostatics and mathematical physics. Even more importantly, Landau and Lifshitz did not demostrate the minimum property of the electrostatic energy at equilibrium. In this note, we, first, modify and specify the Landau–Lifshitz formulation of the principle presenting it as the isoperimetric variational problem. Then, for this isoperimetric problem we calculate the first and second variations, and we prove that the first variation vanishes, whereas the second variation appears to be positive.

  2. No-go theorem for ground state cooling given initial system-thermal bath factorization.

    Science.gov (United States)

    Wu, Lian-Ao; Segal, Dvira; Brumer, Paul

    2013-01-01

    Ground-state cooling and pure state preparation of a small object that is embedded in a thermal environment is an important challenge and a highly desirable quantum technology. This paper proves, with two different methods, that a fundamental constraint on the cooling dynamic implies that it is impossible to cool, via a unitary system-bath quantum evolution, a system that is embedded in a thermal environment down to its ground state, if the initial state is a factorized product of system and bath states. The latter is a crucial but artificial assumption included in numerous tools that treat system-bath dynamics, such as master equation approaches and Kraus operator based methods. Adopting these approaches to address ground state and even approximate ground state cooling dynamics should therefore be done with caution, considering the fundamental theorem exposed in this work.

  3. Renewed limit theorems for the discrete-time Branching Process and its conditioned limiting law interpretation

    Directory of Open Access Journals (Sweden)

    Azam Imomov

    2016-11-01

    Full Text Available Our principal aim is to observe a Markov discrete-time process of population growth with long-living trajectory. First we study asymptotical decay of generating function of Galton-Watson process for all cases as the Basic Lemma. Afterwards we get a Differential analogue of the Basic Lemma. This Lemma plays main role in our discussions throughout the paper. Hereupon we improve and supplement classical results concerning Galton-Watson process. Further we investigate properties of the population process so called Q-process. In particular we obtain a joint limit law of Q-process and its total state. And also we state and prove the analogue of Law of large numbers and the Central limit theorem for total state of Q-process.

  4. An extension of the Lax-Milgram theorem and its application to fractional differential equations

    Directory of Open Access Journals (Sweden)

    Nemat Nyamoradi

    2015-04-01

    Full Text Available In this article, using an iterative technique, we introduce an extension of the Lax-Milgram theorem which can be used for proving the existence of solutions to boundary-value problems. Also, we apply of the obtained result to the fractional differential equation $$\\displaylines{ {}_t D_T^{\\alpha}{}_0 D_t^{\\alpha}u(t+u(t =\\lambda f (t, u(t \\quad t \\in (0,T,\\cr u(0=u(T=0, }$$ where ${}_tD_T^\\alpha$ and ${}_0D_t^\\alpha$ are the right and left Riemann-Liouville fractional derivative of order $\\frac{1}{2}< \\alpha \\leq 1$ respectively, $\\lambda$ is a parameter and $f:[0,T]\\times\\mathbb{R}\\to\\mathbb{R}$ is a continuous function. Applying a regularity argument to this equation, we show that every weak solution is a classical solution.

  5. Viscosity Approximation Methods and Strong Convergence Theorems for the Fixed Point of Pseudocontractive and Monotone Mappings in Banach Spaces

    Directory of Open Access Journals (Sweden)

    Yan Tang

    2013-01-01

    Full Text Available Suppose that C is a nonempty closed convex subset of a real reflexive Banach space E which has a uniformly Gateaux differentiable norm. A viscosity iterative process is constructed in this paper. A strong convergence theorem is proved for a common element of the set of fixed points of a finite family of pseudocontractive mappings and the set of solutions of a finite family of monotone mappings. And the common element is the unique solution of certain variational inequality. The results presented in this paper extend most of the results that have been proposed for this class of nonlinear mappings.

  6. Some remarks on the general theorem of the existence of iterative roots of homeomorphisms with a rational rotation number

    Directory of Open Access Journals (Sweden)

    Solarz Paweł

    2012-08-01

    Full Text Available We show that the theorem proved in [8] generalises the previous results concerning orientation-preserving iterative roots of homeomorphisms of the circle with a rational rotation number (see [2], [6], [10] and [7]. Nous montrons que le théorème prouvé dans [8] généralise les résultats précédents concernant les racines itérées préservant l’orientation d’homéomorphismes du cercle avec un nombre de rotation rationnel (voir [2], [6], [10] et [7].

  7. The Mittag-Leffler Theorem: The origin, evolution, and reception of a mathematical result, 1876–1884

    OpenAIRE

    Turner, Laura E.

    2013-01-01

    The Swedish mathematician Gösta Mittag-Leffler (1846-1927) is well-known for founding Acta Mathematica, the first international mathematical journal. A "post-doctoral" student in Paris and Berlin (1873-76), Mittag-Leffler built on Karl Weierstrass' work by proving the Mittag-Leffler theorem, roughly: a meromorphic function is specified by its poles, their multiplicities, and the coefficients in the principal part of its Laurent expansion. In this thesis, I explore the evolution of the Mittag-...

  8. Mode-coupling theory and the fluctuation-dissipation theorem for nonlinear Langevin equations with multiplicative noise

    Energy Technology Data Exchange (ETDEWEB)

    Miyazaki, Kunimasa; Reichman, David R [Department of Chemistry, Columbia University, 3000 Broadway, New York, NY 10027 (United States)

    2005-05-20

    In this letter, we develop a mode-coupling theory for a class of nonlinear Langevin equations with multiplicative noise using a field-theoretic formalism. These equations are simplified models of realistic colloidal suspensions. We prove that the derived equations are consistent with the fluctuation-dissipation theorem. We also discuss the generalization of the result given here to real fluids, and the possible description of supercooled fluids in the ageing regime. We demonstrate that the standard idealized mode-coupling theory is not consistent with the FDT in a strict field-theoretic sense. (letter to the editor)

  9. Towards a Novel no-hair Theorem for Black Holes

    CERN Document Server

    Hertog, T

    2006-01-01

    We provide strong numerical evidence for a new no-scalar-hair theorem for black holes in general relativity, which rules out spherical scalar hair of static four dimensional black holes if the scalar field theory, when coupled to gravity, satisfies the Positive Energy Theorem. This sheds light on the no-scalar-hair conjecture for Calabi-Yau compactifications of string theory, where the effective potential typically has negative regions but where supersymmetry ensures the total energy is always positive. In theories where the scalar tends to a negative local maximum of the potential at infinity, we find the no-scalar-hair theorem holds provided the asymptotic conditions are invariant under the full anti-de Sitter symmetry group.

  10. Saoithín: A Theorem Prover for UTP

    Science.gov (United States)

    Butterfield, Andrew

    Saoithín is a theorem prover developed to support the Unifying Theories of Programming (UTP) framework. Its primary design goal was to support the higher-order logic, alphabets, equational reasoning and "programs as predicates" style that is prevalent in much of the UTP literature, from the seminal work by Hoare & He [HH98] onwards. This paper describes the key features of the theorem prover, with an emphasis on the underlying foundations, and how these affect the design and implementation choices. These key features include: a formalisation of a UTP Theory; support for common proof strategies; sophisticated goal/law matching ; and user-defined language constructs. A simple theory of designs with some proof extracts is used to illustrate the above features. The theorem prover has been used with undergraduate students and we discuss some of those experiences. The paper then concludes with a discussion of current limitations and planned improvements to the tool.

  11. Limit theorems for multi-indexed sums of random variables

    CERN Document Server

    Klesov, Oleg

    2014-01-01

    Presenting the first unified treatment of limit theorems for multiple sums of independent random variables, this volume fills an important gap in the field. Several new results are introduced, even in the classical setting, as well as some new approaches that are simpler than those already established in the literature. In particular, new proofs of the strong law of large numbers and the Hajek-Renyi inequality are detailed. Applications of the described theory include Gibbs fields, spin glasses, polymer models, image analysis and random shapes. Limit theorems form the backbone of probability theory and statistical theory alike. The theory of multiple sums of random variables is a direct generalization of the classical study of limit theorems, whose importance and wide application in science is unquestionable. However, to date, the subject of multiple sums has only been treated in journals. The results described in this book will be of interest to advanced undergraduates, graduate students and researchers who ...

  12. A Macro for Reusing Abstract Functions and Theorems

    Directory of Open Access Journals (Sweden)

    Sebastiaan J. C. Joosten

    2013-04-01

    Full Text Available Even though the ACL2 logic is first order, the ACL2 system offers several mechanisms providing users with some operations akin to higher order logic ones. In this paper, we propose a macro, named instance-of-defspec, to ease the reuse of abstract functions and facts proven about them. Defspec is an ACL2 book allowing users to define constrained functions and their associated properties. It contains macros facilitating the definition of such abstract specifications and instances thereof. Currently, lemmas and theorems derived from these abstract functions are not automatically instantiated. This is exactly the purpose of our new macro. instance-of-defspec will not only instantiate functions and theorems within a specification but also many more functions and theorems built on top of the specification. As a working example, we describe various fold functions over monoids, which we gradually built from arbitrary functions.

  13. The Fundamental Theorem of Flood Frequency Analysis

    Science.gov (United States)

    O'Kane, J. P.

    The Fundamental Theorem of hazardous events, regarded as a stochastic point pro- cess, says that the return period, or average interval, between events is equal to the reciprocal of their frequency in time. We start with the special cases. There are three ways of defining a discrete time Bernoulli process of hazardous events: by specifying (a) the probability p that an event occurs at a given point in time, (b) the probability that m events occur in an interval of time of duration n - the Bernoulli distribution, or (c) the probability that the return period (recurrence interval) between events is n in- tervals - the geometric distribution. Any one of these implies the other two. It is easily shown that the expected return period between hazardous Bernoulli events in discrete time is the reciprocal of the probability of this event at any point in discrete time. The analogous process in continuous time is a Poisson process which can also be defined in three ways: by specifying (a) the probability r.dt that one and only one event occurs during a small interval of duration dt, (b) the probability that m events occur in an interval of duration t U the Poisson distribution, or (c) the probability that the return period (recurrence interval) between hazardous events is t units of time U the negative exponential distribution. Any one of these implies the other two. Also the expected return period between hazardous Poisson events is the reciprocal of the probability rate, r, of this event per unit of continuous time. A (2x2) transition matrix P describes a correlated discrete-time Markov process of hazardous events. The Bernoulli process is a special case. Since P is ergodic it has a limiting probability vector (p1, p2) of the unconditional probabilities of a hazardous event occurring, p1, or of not occurring, p2, at a randomly chosen point in time. The return period between hazardous Markov events can be shown to be 1/p1 in agreement with the Bernoulli process. Now it is

  14. Duan's fixed point theorem: proof and generalization

    Directory of Open Access Journals (Sweden)

    2006-01-01

    Full Text Available Let X be an H-space of the homotopy type of a connected, finite CW-complex, f:X→X any map and p k :X→X the k th power map. Duan proved that p k f :X→X has a fixed point if k≥2 . We give a new, short and elementary proof of this. We then use rational homotopy to generalize to spaces X whose rational cohomology is the tensor product of an exterior algebra on odd dimensional generators with the tensor product of truncated polynomial algebras on even dimensional generators. The role of the power map is played by a θ -structure μ θ :X→X as defined by Hemmi-Morisugi-Ooshima. The conclusion is that μ θ f and f μ θ each has a fixed point.

  15. Addition theorems for spin spherical harmonics: II. Results

    Energy Technology Data Exchange (ETDEWEB)

    Bouzas, Antonio O, E-mail: abouzas@mda.cinvestav.mx [Departamento de Fisica Aplicada, CINVESTAV-IPN, Carretera Antigua a Progreso Km. 6, Apdo. Postal 73 ' Cordemex' , Merida 97310, Yucatan (Mexico)

    2011-04-22

    Based on the results of part I (2011 J. Phys. A: Math. Theor. 44 165301), we obtain the general form of the addition theorem for spin spherical harmonics and give explicit results in the cases involving one spin-s' and one spin-s spherical harmonics with s', s = 1/2, 1, 3/2, and |s' - s| = 0, 1. We also obtain a fully general addition theorem for one scalar and one tensor spherical harmonic of arbitrary rank. A variety of bilocal sums of ordinary and spin spherical harmonics are given in explicit form, including a general explicit expression for bilocal spherical harmonics.

  16. Addition theorems for spin spherical harmonics: I. Preliminaries

    Energy Technology Data Exchange (ETDEWEB)

    Bouzas, Antonio O, E-mail: abouzas@mda.cinvestav.mx [Departamento de Fisica Aplicada, CINVESTAV-IPN, Carretera Antigua a Progreso Km. 6, Apdo. Postal 73 ' Cordemex' , Merida 97310, Yucatan (Mexico)

    2011-04-22

    We develop a systematic approach to deriving addition theorems for, and some other bilocal sums of, spin spherical harmonics. In this first part we establish some necessary technical results. We discuss the factorization of orbital and spin degrees of freedom in certain products of Clebsch-Gordan coefficients, and obtain general explicit results for the matrix elements in configuration space of tensor products of arbitrary rank of the position and angular-momentum operators. These results are the basis of the addition theorems for spin spherical harmonics obtained in part II (2011 J. Phys. A: Math. Theor. 44 165302).

  17. Asymptotic symmetries of gravity and soft theorems for massive particles

    Energy Technology Data Exchange (ETDEWEB)

    Campiglia, Miguel [Instituto de Física, Facultad de Ciencias, Universidad de la República,Iguá 4225, Montevideo (Uruguay); Laddha, Alok [Chennai Mathematical Institute,SIPCOT IT Park, Siruseri 603103 (India)

    2015-12-15

    The existing equivalence between (generalized) BMS Ward identities with leading and subleading soft graviton theorems is extended to the case where the scattering particles are massive scalars. By extending the action of generalized BMS group off null infinity at late times, we show that there is a natural action of such group not only on the radiative data at null infinity but also on the scattering data of the massive scalar field. This leads to a formulation of Ward identities associated to the generalized BMS group when the scattering states are massive scalars or massless gravitons and we show that these Ward identities are equivalent to the leading and subleading soft graviton theorems.

  18. The unknown sister of Noether's theorem

    Energy Technology Data Exchange (ETDEWEB)

    Smilga, Walter

    2016-07-01

    Noether's theorem has gained outstanding importance in theoretical particle physics, because it leads to strong conservation laws, such as the conservation of momentum and of angular momentum. Closely related to this theorem is another law that has an opposite effect: it requires the exchange of momentum between two particles that are described by an irreducible two-particle representation of the Poincare group. Exchange of momentum determines an interaction. On closer inspection, this interaction is uniquely identified as the electromagnetic interaction. This finding sheds new light on the phenomenon of particle interaction in general and, in particular, on the perturbation algorithm of quantum electrodynamics.

  19. General self-tuning solutions and no-go theorem

    Science.gov (United States)

    Förste, Stefan; Kim, Jihn E.; Lee, Hyun Min

    2013-03-01

    We consider brane world models with one extra dimension. In the bulk there is in addition to gravity a three form gauge potential or equivalently a scalar (by generalisation of electric magnetic duality). We find classical solutions for which the 4d effective cosmological constant is adjusted by choice of integration constants. No go theorems for such self-tuning mechanism are circumvented by unorthodox Lagrangians for the three form respectively the scalar. It is argued that the corresponding effective 4d theory always includes tachyonic Kaluza-Klein excitations or ghosts. Known no go theorems are extended to a general class of models with unorthodox Lagrangians.

  20. A variational proof of Thomson's theorem

    Energy Technology Data Exchange (ETDEWEB)

    Fiolhais, Miguel C.N., E-mail: miguel.fiolhais@cern.ch [Department of Physics, City College of the City University of New York, 160 Convent Avenue, New York, NY 10031 (United States); Department of Physics, New York City College of Technology, 300 Jay Street, Brooklyn, NY 11201 (United States); LIP, Department of Physics, University of Coimbra, 3004-516 Coimbra (Portugal); Essén, Hanno [Department of Mechanics, Royal Institute of Technology (KTH), Stockholm SE-10044 (Sweden); Gouveia, Tomé M. [Cavendish Laboratory, 19 JJ Thomson Avenue, Cambridge CB3 0HE (United Kingdom)

    2016-08-12

    Thomson's theorem of electrostatics, which states the electric charge on a set of conductors distributes itself on the conductor surfaces to minimize the electrostatic energy, is reviewed in this letter. The proof of Thomson's theorem, based on a variational principle, is derived for a set of normal charged conductors, with and without the presence of external electric fields produced by fixed charge distributions. In this novel approach, the variations are performed on both the charge densities and electric potentials, by means of a local Lagrange multiplier associated with Poisson's equation, constraining the two variables.

  1. Lodox Statscan proves to be invaluable in forensic medicine ...

    African Journals Online (AJOL)

    Lodox Statscan proves to be invaluable in forensic medicine: forensic files. GJ Knobel, G Flash, GF Bowie. Abstract. No Abstract. South African Medical Journal Vol. 96(7) 2006: 593-594. Full Text: EMAIL FREE FULL TEXT EMAIL FREE FULL TEXT · DOWNLOAD FULL TEXT DOWNLOAD FULL TEXT · AJOL African Journals ...

  2. Proving the correctness of client/server software

    Indian Academy of Sciences (India)

    , formal specification and verification of RPC mechanisms is a prerequisite for the verification of any such software. In this paper, we present a mathematical specification of an RPC mechanism and we outline how to prove the correctness of an ...

  3. Overcoming the Obstacle of Poor Knowledge in Proving Geometry Tasks

    Directory of Open Access Journals (Sweden)

    Zlatan Magajna

    2013-12-01

    Full Text Available Proving in school geometry is not just about validating the truth of a claim. In the school setting, the main function of the proof is to convince someone that a claim is true by providing an explanation. Students consider proving to be difficult; in fact, they find the very concept of proof demanding. Proving a claim in planar geometry involves several processes, the most salient being visual observation and deductive argumentation. These two processes are interwoven, but often poor observation hinders deductive argumentation. In the present article, we consider the possibility of overcoming the obstacle of a student’s poor observation by making use of computer-aided observation with appropriate software. We present the results of two small-scale research projects, both of which indicate that students are able to work out considerably more deductions if computer-aided observation is used. Not all students use computer-aided observation effectively in proving tasks: some find an exhaustive computer-provided list of properties confusing and are not able to choose the properties that are relevant to the task.

  4. Engaging Students in Proving: A Double Bind on the Teacher.

    Science.gov (United States)

    Herbst, Patricio G.

    2002-01-01

    Explores what is involved in the teacher's work of engaging students in producing a proof. Analyzes what teachers do to create a task in which students can produce a proof and what teachers do to get students to prove a proposition. Indicates that traditional, formal, two-column proofs place contradictory demands on teachers regarding how ideas…

  5. Proof phenomenon as a function of the phenomenology of proving.

    Science.gov (United States)

    Hipólito, Inês

    2015-12-01

    Kurt Gödel wrote (1964, p. 272), after he had read Husserl, that the notion of objectivity raises a question: "the question of the objective existence of the objects of mathematical intuition (which, incidentally, is an exact replica of the question of the objective existence of the outer world)". This "exact replica" brings to mind the close analogy Husserl saw between our intuition of essences in Wesensschau and of physical objects in perception. What is it like to experience a mathematical proving process? What is the ontological status of a mathematical proof? Can computer assisted provers output a proof? Taking a naturalized world account, I will assess the relationship between mathematics, the physical world and consciousness by introducing a significant conceptual distinction between proving and proof. I will propose that proving is a phenomenological conscious experience. This experience involves a combination of what Kurt Gödel called intuition, and what Husserl called intentionality. In contrast, proof is a function of that process - the mathematical phenomenon - that objectively self-presents a property in the world, and that results from a spatiotemporal unity being subject to the exact laws of nature. In this essay, I apply phenomenology to mathematical proving as a performance of consciousness, that is, a lived experience expressed and formalized in language, in which there is the possibility of formulating intersubjectively shareable meanings. Copyright © 2015. Published by Elsevier Ltd.

  6. Feedback theory extended for proving generation of contraction semigroups

    NARCIS (Netherlands)

    Kurula, Mikael; Zwart, Hans

    2016-01-01

    Recently, the following novel method for proving the existence of solutions for certain linear time-invariant PDEs was introduced: The operator associated with a given PDE is represented by a (larger) operator with an internal loop. If the larger operator (without the internal loop) generates a

  7. Prove It! Putting Together the Evidence-Based Practice Puzzle

    Science.gov (United States)

    Little, Hannah Byrd

    2015-01-01

    Why is it important to prove that school libraries add value to the school program? The National Center for Education Statistics reports that 20 percent of U.S. public schools lack a full or part-time certified librarian (NCES 2013). In California the ratio of certified school librarians to students is 1:7,374 (California Department of Education…

  8. On Common Coupled Fixed Point Theorems for Comparable Mappings in Ordered Partially Metric Spaces

    OpenAIRE

    Ali Mutlu; Nermin Yolcu; Berrin Mutlu; Necdet Bildik

    2013-01-01

    Common coupled fixed point theorems are examined in this paper for comparable mappings ensuring nonlinear contraction in ordered partial metric spaces. Given theorems enlarge and universalize some conclusions of Gnana Bhaskar and Lakshmikantham (2006).

  9. On a Fixed Point Theorem for a Cyclical Kannan-type Mapping

    OpenAIRE

    Chakraborty, Mitropam; Samanta, S. K.

    2013-01-01

    This paper deals with an extension of a recent result by the authors generalizing Kannan's fixed point theorem based on a theorem of Vittorino Pata. The generalization takes place via a cyclical condition.

  10. Common fixed point theorems for a weak distance in complete metric spaces

    Directory of Open Access Journals (Sweden)

    Jeong Sheok Ume

    2002-01-01

    Full Text Available Using the concept of a w-distance, we obtain common fixed point theorems on complete metric spaces. Our results generalize the corresponding theorems of Jungck, Fisher, Dien, and Liu.

  11. Duan's fixed point theorem: Proof and generalization

    Directory of Open Access Journals (Sweden)

    Martin Arkowitz

    2006-02-01

    Full Text Available Let X be an H-space of the homotopy type of a connected, finite CW-complex, f:X→X any map and pk:X→X the kth power map. Duan proved that pkf:X→X has a fixed point if k≥2. We give a new, short and elementary proof of this. We then use rational homotopy to generalize to spaces X whose rational cohomology is the tensor product of an exterior algebra on odd dimensional generators with the tensor product of truncated polynomial algebras on even dimensional generators. The role of the power map is played by a θ-structure μθ:X→X as defined by Hemmi-Morisugi-Ooshima. The conclusion is that μθf and fμθ each has a fixed point.

  12. Asymptotic representation theorems for poverty indices | Lo | Afrika ...

    African Journals Online (AJOL)

    Abstract. We set general conditions under which the general poverty index, which summarizes all the available indices, is asymptotically represented with some empirical processes. This representation theorem offers a general key, in most directions, for the asymptotic of the bulk of poverty indices and issues in poverty ...

  13. A simple proof of the density Hales-Jewett theorem

    OpenAIRE

    Dodos, Pandelis; Kanellopoulos, Vassilis; Tyros, Konstantinos

    2012-01-01

    We give a purely combinatorial proof of the density Hales--Jewett Theorem that is modeled after Polymath's proof but is significantly simpler. In particular, we avoid the use of the equal-slices measure and work exclusively with the uniform measure.

  14. The Unforgettable Experience of a Workshop on Pythagoras Theorem

    Science.gov (United States)

    Arwani, Salima Shahzad

    2011-01-01

    The author conducted a workshop with colleagues in which awareness of Pythagoras' theorem was raised. This workshop was an unforgettable event in the author's life because it was the first time that she had interacted with teachers from a different school system, and it allowed her to develop presentation skills and confidence in her own…

  15. On Nieuwenhuizen's Treatment of Contextuality in Bell's Theorem

    Science.gov (United States)

    Lambare, Justo Pastor

    2017-12-01

    A discussion of Nieuwenhuizen's description for the hidden variables of the detectors in the derivation of Bell's theorem is presented. This description prevents Bell's inequalities from being effected. However it will be argued, on mathematical and physical bases, that the flaws attributed by Nieuwenhuizen to Bell's probability distribution function are unjustified.

  16. Critical types of Krasnoselskii fixed point theorems in weak topologies

    African Journals Online (AJOL)

    In this note, by means of the technique of measures of weak noncompactness, we establish a generalized form of fixed point theorem for the sum of T + S in weak topology setups of a metrizable locally convex space, where S is not weakly compact, I − T allows to be noninvertible, and T is not necessarily continuous.

  17. Decomposition Theorems for Various Kinds of Languages Parallel in Nature

    DEFF Research Database (Denmark)

    Skyum, Sven

    1976-01-01

    In this paper we give a method for decomposing subclasses of different families of languages, parallel in nature, into other families. These decomposition theorems can be used to produce languages not it a family by using examples of languages not belonging to some “smaller” family....

  18. A Fixed Point Theorem for Multifunctions in Partial Metric spaces

    Directory of Open Access Journals (Sweden)

    Priscilla S. Macansantos

    2013-08-01

    Full Text Available Fixed Point theorems on partial metric spaces have been the subject of recent work, with the interest generated in partial metric spaces (as a suitable structure for studies in theoretical computer science. Several approaches to fixed point theory for point-valued functions on complete metric spaces have been generalized to partial metric spaces (see, for instance, Alghamdi [1]. On the other hand, it appears that substantial work may still be done to generalize the theory (in the partial metric space context to set-valued functions. Recently, Damjanovic et al [3] looked into pairs of multi-valued and single-valued maps in complete metric spaces, and used coincidence and common fixed points, to establish a theorem on fixed points for pairs of multivalued functions. In this paper we take off from Damjanovic and proceed to establish the same result in the setting of partial metric spaces. As a consequence of our generalization, we are able to include as special cases the theorem of Aydi et al [2] and our [9] generalization of [4]. Further, Reich's result is also generalized to multivalued functions in partial metric spaces. Special cases include the partial metric space version of Kannan's theorem, as well as that due to Hardy and Rogers.

  19. A Neutrosophic Binomial Factorial Theorem with their Refrains

    OpenAIRE

    Khalid, Huda; Smarandache, Florentin; Essa, Ahmed

    2016-01-01

    The Neutrosophic Precalculus and the Neutrosophic Calculus can be developed in many ways, depending on the types of indeterminacy one has and on the method used to deal with such indeterminacy. This article is innovative since the form of neutrosophic binomial factorial theorem was constructed in addition to its refrains.

  20. Equivalent moduli of continuity, Bloch's theorem for pluriharmonic ...

    Indian Academy of Sciences (India)

    where C is a positive constant which depends only on f (see [13]). Dyakonov [8] characterized the holomorphic functions in ω in terms of their modulus. Later in Theorems A and B of [22], Pavlovic came up with a relatively simple proof of the results of Dyakonov. Recently, many authors considered this topic and generalized.

  1. A Basic Elementary Extension of the Duchet-Meyniel Theorem

    DEFF Research Database (Denmark)

    Pedersen, Anders Sune; Toft, Bjarne

    2010-01-01

    $ by $2\\alpha - 2$ when $\\alpha$ is at least 3. In this paper a basic elementary extension of the Theorem of Duchet and Meyniel is presented. This may be of help to avoid dealing with basic cases when looking for more substantial improvements. The main unsolved problem (due to Seymour) is to improve, even...

  2. Atomic electric dipole moments : The Schiff theorem and its corrections

    NARCIS (Netherlands)

    Liu, C. -P.; Ramsey-Musolf, M. J.; Haxton, W. C.; Timmermans, R. G. E.; Dieperink, A. E. L.

    Searches for the permanent electric dipole moments (EDMs) of diamagnetic atoms provide powerful probes of CP-violating hadronic and semileptonic interactions. The theoretical interpretation of such experiments, however, requires careful implementation of a well-known theorem by Schiff that implies a

  3. An analogous of Jouanolou's Theorem in positive characteristic

    OpenAIRE

    Vitório Pereira, Jorge

    2000-01-01

    We show that a generic vector field on an affine space of positive characteristic admits an invariant algebraic hypersurface. This contrast with Jouanolou's Theorem that shows that in characteristic zero the situation is completely opposite. That is a generic vector field in the complex plane does not admit any invariant algebraic curve.

  4. Transient state work fluctuation theorem for a classical harmonic ...

    Indian Academy of Sciences (India)

    Based on a Hamiltonian description we present a rigorous derivation of the transient state work fluctuation theorem and the Jarzynski equality for a classical harmonic oscillator linearly coupled to a harmonic heat bath, which is dragged by an external agent. Coupling with the bath makes the dynamics dissipative. Since we ...

  5. Cowling–Price theorem and characterization of heat kernel on ...

    Indian Academy of Sciences (India)

    We extend the uncertainty principle, the Cowling–Price theorem, on non-compact Riemannian symmetric spaces . We establish a characterization of the heat kernel of the Laplace–Beltrami operator on from integral estimates of the Cowling–Price type.

  6. An Experiment on a Physical Pendulum and Steiner's Theorem

    Science.gov (United States)

    Russeva, G. B.; Tsutsumanova, G. G.; Russev, S. C.

    2010-01-01

    Introductory physics laboratory curricula usually include experiments on the moment of inertia, the centre of gravity, the harmonic motion of a physical pendulum, and Steiner's theorem. We present a simple experiment using very low cost equipment for investigating these subjects in the general case of an asymmetrical test body. (Contains 3 figures…

  7. A Summability Factor Theorem for Quasi-Power-Increasing Sequences

    Directory of Open Access Journals (Sweden)

    Savaş E

    2010-01-01

    Full Text Available We establish a summability factor theorem for summability , where is lower triangular matrix with nonnegative entries satisfying certain conditions. This paper is an extension of the main result of the work by Rhoades and Savaş (2006 by using quasi -increasing sequences.

  8. A Classroom Simulation of the Central Limit Theorem.

    Science.gov (United States)

    McLean, James E.

    This simple method for simulating the Central Limit Theorem with students in a beginning nonmajor statistics class requires students to use dice to simulate drawing samples from a discrete uniform distribution. On a chalkboard, the distribution of sample means is superimposed on a graph of the discrete uniform distribution to provide visual…

  9. Understanding the Sampling Distribution and the Central Limit Theorem.

    Science.gov (United States)

    Lewis, Charla P.

    The sampling distribution is a common source of misuse and misunderstanding in the study of statistics. The sampling distribution, underlying distribution, and the Central Limit Theorem are all interconnected in defining and explaining the proper use of the sampling distribution of various statistics. The sampling distribution of a statistic is…

  10. Common Fixed Point Theorems in a New Fuzzy Metric Space

    Directory of Open Access Journals (Sweden)

    Weiquan Zhang

    2012-01-01

    metric can be thought of as the degree of nearness between two fuzzy sets with respect to any positive real number. Moreover, under ϕ-contraction condition, in the fuzzy metric space, we give some common fixed point theorems for fuzzy mappings.

  11. An Elementary Proof of a Converse Mean-Value Theorem

    Science.gov (United States)

    Almeida, Ricardo

    2008-01-01

    We present a new converse mean value theorem, with a rather elementary proof. [The work was supported by Centre for Research on Optimization and Control (CEOC) from the "Fundacaopara a Ciencia e a Tecnologia" FCT, co-financed by the European Community Fund FEDER/POCTI.

  12. Razumikhin Stability Theorem for Fractional Systems with Delay

    Directory of Open Access Journals (Sweden)

    D. Baleanu

    2010-01-01

    Full Text Available Fractional calculus techniques and methods started to be applied successfully during the last decades in several fields of science and engineering. In this paper we studied the stability of fractional-order nonlinear time-delay systems for Riemann-Liouville and Caputo derivatives and we extended Razumikhin theorem for the fractional nonlinear time-delay systems.

  13. Can we make the second incompleteness theorem coordinate free?

    NARCIS (Netherlands)

    Visser, A.

    2008-01-01

    Is it possible to give a coordinate free formulation of the Second Incompleteness Theorem? We pursue one possible approach to this question. We show that (i) cutfree consistency for finitely axiomatized theories can be uniquely characterized modulo EA-provable equivalence, (ii) consistency

  14. Reflections on the PBR Theorem: Reality Criteria & Preparation Independence

    Directory of Open Access Journals (Sweden)

    Shane Mansfield

    2014-12-01

    Full Text Available This paper contains initial work on attempting to bring recent developments in the foundations of quantum mechanics concerning the nature of the wavefunction within the scope of more logical and structural methods. A first step involves dualising a criterion for the reality of the wavefunction proposed by Harrigan & Spekkens, which was central to the Pusey-Barrett-Rudolph theorem. The resulting criterion has several advantages, including the avoidance of certain technical difficulties relating to sets of measure zero. By considering the 'reality' not of the wavefunction but of the observable properties of any ontological physical theory a new characterisation of non-locality and contextuality is found. Secondly, a careful analysis of preparation independence, one of the key assumptions of the PBR theorem, leads to a precise analogy with the kind of locality prohibited by Bell's theorem. Motivated by this, we propose a weakening of the assumption to something analogous to no-signalling. This amounts to allowing global or non-local correlations in the joint ontic state, which nevertheless do not allow for superluminal signalling. This is, at least, consistent with the Bell and Kochen-Specker theorems. We find a counter-example to the PBR argument, which violates preparation independence, but does satisfy this physically motivated assumption. The question of whether the PBR result can be strengthened to hold under the relaxed assumption is therefore posed.

  15. A Six-Point Ceva-Menelaus Theorem

    OpenAIRE

    McConnell, B. D. S. "Blue"

    2014-01-01

    We provide a companion to the recent Benyi-Curgus generalization of the well-known theorems of Ceva and Menelaus, so as to characterize both the collinearity of points and the concurrence of lines determined by six points on the edges of a triangle. A companion for the generalized area formula of Routh appears, as well.

  16. FUNCTIONS TO THE EDREI-FUCHS ELLIPSE THEOREM

    African Journals Online (AJOL)

    ABSTRACT: In this paper we study the asymptotic behaviour of functions extremal for the well known inequality introduced by Edrei-Fuchs (called the Ellipse Theorem) by considering a normal family of 6-subharmonic functions. This approach allows us to describe precisely the prototype of all functions extremal for the ...

  17. Sturm-Picone type theorems for nonlinear differential systems

    Directory of Open Access Journals (Sweden)

    Aydin Tiryaki

    2015-06-01

    Full Text Available In this article, we establish a Picone-type inequality for a pair of first-order nonlinear differential systems. By using this inequality, we give Sturm-Picone type comparison theorems for these systems and a special class of second-order half-linear equations with damping term.

  18. Poincaré-Birkhoff theorem in quantum mechanics.

    Science.gov (United States)

    Wisniacki, D A; Saraceno, M; Arranz, F J; Benito, R M; Borondo, F

    2011-08-01

    Quantum manifestations of the dynamics around resonant tori in perturbed hamiltonian systems, dictated by the Poincaré-Birkhoff theorem, are shown to exist. They are embedded in the interactions involving states which differ in a number of quanta equal to the order of the classical resonance. Moreover, the associated classical phase space structures are mimicked in the quasiprobability density functions and their zeros.

  19. A Converse to the Cayley-Hamilton Theorem

    Indian Academy of Sciences (India)

    Hamilton theorem. GENERAL I ARTICLE. Recall that .,\\ E K is called an eigenvalue of A E Mn (K), if A v =.,\\ v for some 0 f v E Kn. Note that any ..... [6] L H Rowen, Ring theory II, Academic Press, 1988. [7] E Formanek, Polynomial identities and ...

  20. Beurling algebra analogues of the classical theorems of Wiener and ...

    Indian Academy of Sciences (India)

    absolutely convergent for some weight on the set of integers Z . If is nowhere vanishing on , then there exists a weight on Z such that 1/ had -absolutely convergent Fourier series. This includes Wiener's classical theorem. As a corollary ...

  1. Limit Theorems For the Grover Walk Without Memory

    OpenAIRE

    Ampadu, Clement

    2011-01-01

    We consider the Grover walk as a 4-state quantum walk without memory in one dimension. The walker in our 4-state quantum walk moves to the left or right. We compute the stationary distribution of the walk, in addition, we obtain the weak limit theorem

  2. Babylonian Pythagoras' Theorem, the Early History of Zero and a ...

    Indian Academy of Sciences (India)

    Home; Journals; Resonance – Journal of Science Education; Volume 8; Issue 1. Babylonian Pythagoras' Theorem, the Early History of Zero and a Polemic on the Study of the History of Science. Rahul Roy. General Article Volume 8 Issue 1 January 2003 pp 30-40 ...

  3. Transient state work fluctuation theorem for a classical harmonic ...

    Indian Academy of Sciences (India)

    theorem for a classical harmonic oscillator coupled linearly to a harmonic bath. Because of the coupling to the bath, the system becomes dissipative. We start from a Hamiltonian description for the system plus the harmonic heat bath and then the system is driven by an external agent for a time period of τ for a series. 666.

  4. Lyapunov convexity type theorems for non-atomic vector measures ...

    African Journals Online (AJOL)

    atomic, and σ-additive X-valued measure has a convex closure. We give a survey of Lyapunov convexity type theorems pertaining to this problem. We also give a necessary and sufficient condition that will insure the convexity of the closure of the ...

  5. Sobolev Embedding Theorems for a Class of Anisotropic Irregular Domains

    NARCIS (Netherlands)

    Trushin, B. V.

    Sufficient conditions for the embedding of a Sobolev space in Lebesgue spaces on a domain depend on the integrability and smoothness parameters of the spaces and on the geometric features of the domain. In the present paper, Sobolev embedding theorems are obtained for a class of domains with

  6. A Gauss-Kusmin theorem for optimal continued fractions

    NARCIS (Netherlands)

    Dajani, K.; Kraaikamp, C.

    1996-01-01

    One of the first – and still one of the most important – results in the metrical theory of continued fractions is the so-called Gauss-Kusmin theorem. Let – and let – be the regular continued fraction (RCF) expansion of – then it was observed by Gauss in 1800 that -

  7. Gauss-Bonnet's Theorem and Closed Frenet Frames

    DEFF Research Database (Denmark)

    Røgen, Peter

    1997-01-01

    curves are found using Gauss-Bonnet's Theorem after cutting the curve into simple closed sub-curves. At this point an error in the litterature is corrected. If the spherecal curve is the tangent indicatrix of a space-curve we obtain a new short proof of a formula for integrated torsion presented...

  8. Stochastic functionals and fluctuation theorem for multikangaroo processes.

    Science.gov (United States)

    Van den Broeck, C; Toral, R

    2014-06-01

    We introduce multikangaroo Markov processes and provide a general procedure for evaluating a certain type of stochastic functional. We calculate analytically the large deviation properties. We apply our results to zero-crossing statistics and to stochastic thermodynamics, including the derivation of the fluctuation theorem and the large deviation properties for the stochastic entropy production in a typical solid state device.

  9. Fluctuation theorems and orbital magnetism in nonequilibrium state

    Indian Academy of Sciences (India)

    We study Langevin dynamics of a driven charged particle in the presence as well as in the absence of magnetic field. We discuss the validity of various work fluctuation theorems using different model potentials and external drives. We also show that one can generate an orbital magnetic moment in a nonequilibrium state ...

  10. Instability of Nagaoka's Theorem within The Hubbard Model ...

    African Journals Online (AJOL)

    Hence the t – J model is a better model for studying magnetism than the t – U model. Investigation also revealed that the inclusion of the on-site Coulomb interaction term U, in the t – J model enhances ferromagnetic tendencies in the systems studied. In this work, Nagaoka's theorem on ferromagnetism has been extended ...

  11. A vizing-type theorem for matching forests

    NARCIS (Netherlands)

    Keijsper, J.C.M.

    2000-01-01

    A well known Theorem of Vizing states that one can colour the edges of a graph by $\\Delta +\\alpha$ colours, such that edges of the same colour form a matching. Here, $\\Delta$ denotes the maximum degree of a vertex, and $\\alpha$ the maximum multiplicity of an edge in the graph. An analogue of this

  12. Negating Four Color Theorem with Neutrosophy and Quadstage Method

    Directory of Open Access Journals (Sweden)

    Fu Yuhua

    2015-03-01

    Full Text Available With the help of Neutrosophy and Quad-stage Method, the proof for negation of “the four color theorem” is given. In which the key issue is to consider the color of the boundary, thus “the two color theorem” and “the five color theorem” are derived to replace "the four color theorem".

  13. The Nielsen-Ninomiya theorem, \\renewcommand{\\P}{{{ P}}} \

    Science.gov (United States)

    Chernodub, M. N.

    2017-09-01

    The Nielsen-Ninomiya theorem implies that any local, Hermitian and translationally invariant lattice action in even-dimensional spacetime possesses an equal number of left- and right-handed chiral fermions. We argue that if one sacrifices the property of Hermiticity while keeping the locality and translation invariance, and imposing invariance of the action under the space-time ( \\renewcommand{\\P}{{{ P}}} \

  14. Confinement, average forces, and the Ehrenfest theorem for a one ...

    Indian Academy of Sciences (India)

    The topics of confinement, average forces, and the Ehrenfest theorem are examined for a particle in one spatial dimension. Two specific cases are considered: A free particle moving on the entire real line, which is then permanently confined to a line segment or `a box' (this situation is achieved by taking the limit V 0 → ∞ in ...

  15. Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics

    Czech Academy of Sciences Publication Activity Database

    Glivický, Petr; Kala, V.

    2017-01-01

    Roč. 63, 3-4 (2017), s. 162-174 ISSN 0942-5616 EU Projects: European Commission(XE) 339691 - FEALORA Institutional support: RVO:67985840 Keywords : Fermat's last theorem * Catalan's conjecture Subject RIV: BA - General Mathematics Impact factor: 0.250, year: 2016 http://onlinelibrary.wiley.com/doi/10.1002/malq.201500069/full

  16. Improving Conceptions in Analytical Chemistry: The Central Limit Theorem

    Science.gov (United States)

    Rodriguez-Lopez, Margarita; Carrasquillo, Arnaldo, Jr.

    2006-01-01

    This article describes the central limit theorem (CLT) and its relation to analytical chemistry. The pedagogic rational, which argues for teaching the CLT in the analytical chemistry classroom, is discussed. Some analytical chemistry concepts that could be improved through an understanding of the CLT are also described. (Contains 2 figures.)

  17. The Archimedes Principle and Gauss's Divergence Theorem -18 ...

    Indian Academy of Sciences (India)

    of Mathematical Sciences,. Chennai. His research interests centre around complex analytic geometry and its intimate relation with mathematical physics via 'string theory'. Subhashis Nag. This article explores the connection between the Ar- chimedes principle in physics and Gauss's divergence theorem in mathematics.

  18. Testing the No-Hair Theorem with Sgr A*

    Directory of Open Access Journals (Sweden)

    Tim Johannsen

    2012-01-01

    Full Text Available The no-hair theorem characterizes the fundamental nature of black holes in general relativity. This theorem can be tested observationally by measuring the mass and spin of a black hole as well as its quadrupole moment, which may deviate from the expected Kerr value. Sgr A*, the supermassive black hole at the center of the Milky Way, is a prime candidate for such tests thanks to its large angular size, high brightness, and rich population of nearby stars. In this paper, I discuss a new theoretical framework for a test of the no-hair theorem that is ideal for imaging observations of Sgr A* with very long baseline interferometry (VLBI. The approach is formulated in terms of a Kerr-like spacetime that depends on a free parameter and is regular everywhere outside of the event horizon. Together with the results from astrometric and timing observations, VLBI imaging of Sgr A* may lead to a secure test of the no-hair theorem.

  19. Euler characteristics, Fubini's theorem, and the Riemann-Hurwitz formula

    OpenAIRE

    Morrow, Matthew

    2009-01-01

    We relate Fubini's theorem for Euler characteristics to Riemann-Hurwtiz formulae, and reprove a classical result of Iversen. The techniques used include algebraic geometry, complex geometry, and model theory. Possible applications to the study of wild ramification in finite characteristic are discussed.

  20. The generation-recombination theorem and noise in photoconductors

    NARCIS (Netherlands)

    Cook, J.G.; Blok, J.; Kampen, N.G. van

    1967-01-01

    The validity of the well-known generation-recombination (g-ν) theorem is examined for the case of noise in photoconductors. A master equation for the conditional probability of the level occupancies is set up in which the generation and recombination rates are functions of the incident light