共找到 20 条结果
Mathematical learning environments help students in mastering mathematical knowledge. Mature environments typically offer thousands of interactive exercises. Providing feedback to students solving interactive exercises requires domain reasoners for doing the exercise-specific calculations. Since a domain reasoner has to solve an exercise in the same way a student should solve it, the structure of domain reasoners should follow the layered structure of the mathematical domains. Furthermore, learners, teachers, and environment builders have different requirements for adapting domain reasoners, such as providing more details, disallowing or enforcing certain solutions, and combining multiple mathematical domains in a new domain. In previous work we have shown how domain reasoners for solving interactive exercises can be expressed in terms of rewrite strategies, rewrite rules, and views. This paper shows how users can adapt and configure such domain reasoners to their own needs. This is achieved by enabling users to explicitly communicate the components that are used for solving an exercise.
The present issue of the series <<Modern Problems in Mathematical Physics>> represents the Proceedings of the Students Training Contest Olympiad in Mathematical and Theoretical Physics and includes the statements and the solutions of the problems offered to the participants. The contest Olympiad was held on May 21st-24th, 2010 by Scientific Research Laboratory of Mathematical Physics of Samara State University, Steklov Mathematical Institute of Russia's Academy of Sciences, and Moscow Institute of Physics and Technology (State University) in cooperation. The present Proceedings is intended to be used by the students of physical and mechanical-mathematical departments of the universities, who are interested in acquiring a deeper knowledge of the methods of mathematical and theoretical physics, and could be also useful for the persons involved in teaching mathematical and theoretical physics.
We present new closed-form expressions for certain improper integrals of Mathematical Physics such as certain Ising, Box, and Associated integrals. The techniques we employ here include (a) the Method of Brackets and its modifications and suitable extensions to obtain the Mellin-Barnes representation. (b) The evaluation of the resulting Mellin-Barnes representations via the recently discovered Conic Hull method via the automated package $\textit{MBConichulls.wl}$. Finally, the analytic continuations of these series solutions are then produced using the automated package \texttt{Olsson.wl}, based on the method of Olsson. Thus, combining all these recent advances allows for closed-form evaluation of the hitherto unknown $B_3(s)$, $B_4(s)$, and related integrals in terms of multivariable hypergeometric functions. Along the way, we also discuss certain complications while using the Original Method of Brackets for these evaluations and how to rectify them. The interesting cases of $C_{5,k}$ are also studied. It is not yet fully resolved for the reasons we discuss in this paper.
In recent publications in physics and mathematics, concerns have been raised about the use of real numbers to describe quantities in physics, and in particular about the usual assumption that physical quantities are infinitely precise. In this thesis, we discuss some motivations for dropping this assumption, which we believe partly arises from the usual point-based approach to the mathematical continuum. We focus on the case of classical mechanics specifically, but the ideas could be extended to other theories as well. We analyse the alternative theory of classical mechanics presented by Gisin and Del Santo, which suggests that physical quantities can equivalently be thought of as being only determined up to finite precision at each point in time, and that doing so naturally leads to indeterminism. Next, we investigate whether we can use intuitionistic mathematics to mathematically express the idea of finite precision of quantities, arriving at the cautious conclusion that, as far as we can see, such attempts are thwarted by conceptual contradictions. Finally, we outline another approach to formalising finite-precision quantities in classical mechanics, which is inspired by the int
University students taking introductory physics are generally successful executing mathematical procedures in context, but often struggle with the use of mathematical concepts for sense making. Physics instructors note that their students experience difficulty with basic algebraic reasoning, a foundation on which more advanced mathematical thinking rests. However, little systematic research has been done to measure and categorize such difficulties in this population. This paper describes an investigation of trends in student reasoning with proportions, quantification, and symbolizing in introductory calculus-based physics. Although the assessment items used to probe student thinking require mathematical reasoning typically taught at the middle school level in mathematics courses, we find success rates of about 50% among calculus-based physics students. For many of these students, numerical complexity and the level of abstraction of the quantities interfere with basic arithmetic reasoning. We argue that the algebraic thinking of physicists stems from an idiosyncratic cognitive blend, which is not addressed in prerequisite algebra courses. We suggest that for more students to underst
The Spencer operator, introduced by D.C. Spencer fifty years ago, is rarely used in mathematics today and, up to our knowledge, has never been used in engineering applications or mathematical physics. The main purpose of this paper, an extended version of a lecture at the second workshop on Differential Equations by Algebraic Methods (DEAM2, february 9-11, 2011, Linz, Austria) is to prove that the use of the Spencer operator constitutes the common secret of the three following famous books published about at the same time in the beginning of the last century, though they do not seem to have anything in common at first sight as they are successively dealing with elasticity theory, commutative algebra, electromagnetism and general relativity: (C) E. and F. COSSERAT: "Théorie des Corps Déformables", Hermann, Paris, 1909. (M) F.S. MACAULAY: "The Algebraic Theory of Modular Systems", Cambridge University Press, 1916. (W) H. WEYL: "Space, Time, Matter", Springer, Berlin, 1918 (1922, 1958; Dover, 1952). Meanwhile, we shall point out the importance of (M) for studying control identifiability and of (C)+(W) for the group theoretical unification of finite elements in engineering sciences, re
Mathematical physics has many facets, of which we shall briefly give a (very partial) description, centered around those of main interest for Elliott and us (Moshe Flato and I). In our case these aspects had as a corollary a variety of "parascientific activities", in particular the foundation of IAMP (the International Association of Mathematical Physics) and of the journal LMP (Letters in Mathematical Physics), both of which were strongly impacted by Elliott, and Elliott's long insistence that publishers do not demand "copyright transfer" as a precondition for publication but are satisfied with "consent to publish", which is increasingly becoming standard. Since this article is testimony to the huge scientific impact of Elliott, the latter intertwined aspects constitute the core of the present contribution. The last part deals briefly with metaphysical and metamathematical considerations related to axioms.
Many equations of mathematical physics are described by differential polynomials, that is by polynomials in the derivatives of a certain number of functions. However, up to the knowledge of the author, differential algebra in a modern setting has never been applied to study the specific algebraic feature of such equations. The purpose of this short but difficult paper is to revisit a few domains like general relativity, conformal geometry and contact geometry in the light of a modern approach to nonlinear systems of partial differential equations, using new methods from Differential Geometry (D.C. Spencer, 1970), Differential Algebra (J.F. Ritt, 1950 and E. Kolchin, 1973) and Algebraic Analysis (M. Kashiwara, 1970). Identifying the differential indeterminates of Ritt and Kolchin with the jet coordinates of Spencer, the idea is to study Differential Duality by using only linear differential operators with coefficients in a differential field. In particular, the linearized second order Einstein equations are parametrizing the first order Cauchy stress equations but cannot themselves be parametrized. In the framework of Homological Algebra, this result is not coherent with the vanishi
The detection of out-of-distribution data points is a common task in particle physics. It is used for monitoring complex particle detectors or for identifying rare and unexpected events that may be indicative of new phenomena or physics beyond the Standard Model. Recent advances in Machine Learning for anomaly detection have encouraged the utilization of such techniques on particle physics problems. This review article provides an overview of the state-of-the-art techniques for anomaly detection in particle physics using machine learning. We discuss the challenges associated with anomaly detection in large and complex data sets, such as those produced by high-energy particle colliders, and highlight some of the successful applications of anomaly detection in particle physics experiments.
These notes offer a basic introduction to the primary mathematical concepts of quantum physics, and their physical significance, from the operator and Hilbert space point of view, highlighting more what are essentially the abstract algebraic aspects of quantisation in contrast to more standard treatments of such issues, while also bridging towards the path integral formulation of quantisation. A discussion of the (first) Noether theorem and Lie symmetries is also included to complement the presentation. Emphasis is put throughout, as illustrative examples threading the presentation, on the quantum harmonic oscillator and the dynamics of a charged particle coupled to the electromagnetic field, with the ambition to bring the reader onto the threshold of relativistic quantum field theories with their local gauge invariances as a natural framework for describing relativistic quantum particles in interaction and carrying specific conserved charges.
The conclusions of the Physics Working Group of the international scoping study of a future Neutrino Factory and super-beam facility (the ISS) are presented. The ISS was carried by the international community between NuFact05, (the 7th International Workshop on Neutrino Factories and Superbeams, Laboratori Nazionali di Frascati, Rome, June 21-26, 2005) and NuFact06 (Ivine, California, 24{30 August 2006). The physics case for an extensive experimental programme to understand the properties of the neutrino is presented and the role of high-precision measurements of neutrino oscillations within this programme is discussed in detail. The performance of second generation super-beam experiments, beta-beam facilities, and the Neutrino Factory are evaluated and a quantitative comparison of the discovery potential of the three classes of facility is presented. High-precision studies of the properties of the muon are complementary to the study of neutrino oscillations. The Neutrino Factory has the potential to provide extremely intense muon beams and the physics potential of such beams is discussed in the final section of the report.
This paper delves into the deformation of spinor structures within nontrivial topologies and their physical implications. The deformation is modeled by introducing real functions that modify the standard spinor dynamics, leading to distinct physical regions characterized by varying degrees of Lorentz symmetry violation. It allows us to investigate the effects in the dynamical equation and a geometrized nonlinear sigma model. The findings suggest significant implications for the spinor fields in regions with nontrivial topologies, providing a robust mathematical approach to studying exotic spinor behavior.
Affine quantum groups are certain pseudo-quasitriangular Hopf algebras that arise in mathematical physics in the context of integrable quantum field theory, integrable quantum spin chains, and solvable lattice models. They provide the algebraic framework behind the spectral parameter dependent Yang-Baxter equation. One can distinguish three classes of affine quantum groups, each leading to a different dependence of the R-matrices on the spectral parameter: Yangians lead to rational R-matrices, quantum affine algebras lead to trigonometric R-matrices and elliptic quantum groups lead to elliptic R-matrices. We will mostly concentrate on the quantum affine algebras but many results hold similarly for the other classes. After giving mathematical details about quantum affine algebras and Yangians in the first two section, we describe how these algebras arise in different areas of mathematical physics in the three following sections. We end with a description of boundary quantum groups which extend the formalism to the boundary Yang-Baxter (reflection) equation.
A review is given on the foundations and applications of non-Hermitian classical and quantum physics. First, key theorems and central concepts in non-Hermitian linear algebra, including Jordan normal form, biorthogonality, exceptional points, pseudo-Hermiticity and parity-time symmetry, are delineated in a pedagogical and mathematically coherent manner. Building on these, we provide an overview of how diverse classical systems, ranging from photonics, mechanics, electrical circuits, acoustics to active matter, can be used to simulate non-Hermitian wave physics. In particular, we discuss rich and unique phenomena found therein, such as unidirectional invisibility, enhanced sensitivity, topological energy transfer, coherent perfect absorption, single-mode lasing, and robust biological transport. We then explain in detail how non-Hermitian operators emerge as an effective description of open quantum systems on the basis of the Feshbach projection approach and the quantum trajectory approach. We discuss their applications to physical systems relevant to a variety of fields, including atomic, molecular and optical physics, mesoscopic physics, and nuclear physics with emphasis on promine
This PhD thesis deals with a number of different problems in mathematical physics with the common thread that they have probabilistic aspects. The problems all stem from mathematical studies of lattice systems in statistical and quantum physics; however beyond that, the selection of the concrete problems is to a certain extent arbitrary. This thesis consists of an introduction and seven papers.
Phys and Math are two colleagues at the University of Sa{\c c}enbon (Crefan Kingdom), dialoguing about the remarkable efficiency of mathematics for physics. They talk about the notches on the Ishango bone, the various uses of psi in maths and physics, they arrive at dessins d'enfants, moonshine concepts, Rademacher sums and their significance in the quantum world. You should not miss their eccentric proposal of relating Bell's theorem to the Baby Monster group. Their hyperbolic polygons show a considerable singularity/cusp structure that our modern age of computers is able to capture. Henri Poincar{é} would have been happy to see it.
Category theory plays a special character in mathematics - it unifies distinct branches under the same formalism. Despite this integrative power in math, it also seems to provide the proper foundations to the experimental physicist. In this work, we present another application of category in physics, related to the principle of relativity. The operational construction of (inertial) frames of reference indicates that only the movement between one and another frame is enough to differentiate both of them. This fact is hidden when one applies only group theory to connect frames. In fact, rotations and translations only change coordinates, keeping the frame inert. The change of frames is only attainable by boosts in the classical and relativistic regimes for both Galileo and Lorentz (Poincaré) groups. Besides providing a non-trivial example of application of category theory in physics, we also fulfill the presented gap when one directly applies group theory for connecting frames.
We briefly recount the long friendship that developed between Ludwig and us (Moshe Flato and I), since we first met at ICM 1966 in Moscow. That friendship extended to his school and family, and persists to this day. Its strong personal impact and main scientific components are sketched, including reflexions on what mathematical physics is (or should be).
Through the last three decades, accurate simulation of the interactions of particles with matter and modeling of detector geometries has proven to be of critical importance to the success of the international high-energy physics (HEP) experimental programs. For example, the detailed detector modeling and accurate physics of the Geant4-based simulation software of the CMS and ATLAS particle physics experiments at the European Center of Nuclear Research (CERN) Large Hadron Collider (LHC) was a determinant factor for these collaborations to deliver physics results of outstanding quality faster than any hadron collider experiment ever before. This review article highlights the impact of detector simulation on particle physics collider experiments. It presents numerous examples of the use of simulation, from detector design and optimization, through software and computing development and testing, to cases where the use of simulation samples made a difference in the precision of the physics results and publication turnaround, from data-taking to submission. It also presents estimates of the cost and economic impact of simulation in the CMS experiment. Future experiments will collect orde
Developing a 21st Century Global Library for Mathematics Research discusses how information about what the mathematical literature contains can be formalized and made easier to express, encode, and explore. Many of the tools necessary to make this information system a reality will require much more than indexing and will instead depend on community input paired with machine learning, where mathematicians' expertise can fill the gaps of automatization. This report proposes the establishment of an organization; the development of a set of platforms, tools, and services; the deployment of an ongoing applied research program to complement the development work; and the mobilization and coordination of the mathematical community to take the first steps toward these capabilities. The report recommends building on the extensive work done by many dedicated individuals under the rubric of the World Digital Mathematical Library, as well as many other community initiatives. Developing a 21st Century Global Library for Mathematics envisions a combination of machine learning methods and community-based editorial effort that makes a significantly greater portion of the information and knowledge i