共找到 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.
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
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
Prior to the era of artificial intelligence and big data, wireless communications primarily followed a conventional research route involving problem analysis, model building and calibration, algorithm design and tuning, and holistic and empirical verification. However, this methodology often encountered limitations when dealing with large-scale and complex problems and managing dynamic and massive data, resulting in inefficiencies and limited performance of traditional communication systems and methods. As such, wireless communications have embraced the revolutionary impact of artificial intelligence and machine learning, giving birth to more adaptive, efficient, and intelligent systems and algorithms. This technological shift opens a road to intelligent information transmission and processing. This overview article discusses the typical roles of machine learning in intelligent wireless communications, as well as its features, challenges, and practical considerations.
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
Terahertz communications are envisioned as a key enabler for 6G networks. The abundant spectrum available in such ultra high frequencies has the potential to increase network capacity to huge data rates. However, they are extremely affected by blockages, to the point of disrupting ongoing communications. In this paper, we elaborate on the relevance of predicting visibility between users and access points (APs) to improve the performance of THz-based networks by minimizing blockages, that is, maximizing network availability, while at the same time keeping a low reconfiguration overhead. We propose a novel approach to address this problem, by combining a neural network (NN) for predicting future user-AP visibility probability, with a probability threshold for AP reselection to avoid unnecessary reconfigurations. Our experimental results demonstrate that current state-of-the-art handover mechanisms based on received signal strength are not adequate for THz communications, since they are ill-suited to handle hard blockages. Our proposed NN-based solution significantly outperforms them, demonstrating the interest of our strategy as a research line.
Symbiotic radio (SR), a novel energy- and spectrum-sharing paradigm of backscatter communications (BC), has been deemed a promising solution for ambient Internet of Things (A-IoT), enabling ultra-low power consumption and massive connectivity. However, A-IoT nodes utilizing BC suffer from low transmission rates, which may limit the applications of SR in A-IoT scenarios with data transmission requirements. To address this issue, in this article, we introduce hybrid active-passive communications (HAPC) into SR by exploiting tradeoffs between transmission rate and power consumption. We first present an overview of novel BC paradigms including ambient BC and SR. Then, a novel HAPC-enabled SR is proposed to enhance the transmission rate of A-IoT nodes. Furthermore, within this paradigm, we investigate the resource allocation scheme and present preliminary research results. Simulation results show that the transmission rate of A-IoT nodes in the proposed HAPC-enabled SR surpasses that in traditional SR. Finally, we discuss open issues related to HAPC-enabled SR.
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
In this paper, we study an intelligent reflecting surface (IRS)-aided wireless secure communication system for physical layer security, where an IRS is deployed to adjust its surface reflecting elements to guarantee secure communication of multiple legitimate users in the presence of multiple eavesdroppers. Aiming to improve the system secrecy rate, a design problem for jointly optimizing the base station (BS)'s beamforming and the IRS's reflecting beamforming is formulated given the different quality of service (QoS) requirements and time-varying channel condition. As the system is highly dynamic and complex, and it is challenging to address the non-convex optimization problem, a novel deep reinforcement learning (DRL)-based secure beamforming approach is firstly proposed to achieve the optimal beamforming policy against eavesdroppers in dynamic environments. Furthermore, post-decision state (PDS) and prioritized experience replay (PER) schemes are utilized to enhance the learning efficiency and secrecy performance. Specifically, PDS is capable of tracing the environment dynamic characteristics and adjust the beamforming policy accordingly. Simulation results demonstrate that the
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.
As Wi-Fi becomes ubiquitous in public and private spaces, it becomes natural to leverage its intrinsic ability to sense the surrounding environment to implement groundbreaking wireless sensing applications such as human presence detection, activity recognition, and object tracking. For this reason, the IEEE 802.11bf Task Group is defining the appropriate modifications to existing Wi-Fi standards to enhance sensing capabilities through 802.11-compliant devices. However, the new standard is expected to leave the specific sensing algorithms open to implementation. To fill this gap, this article explores the practical implications of integrating sensing into Wi-Fi networks. We provide an overview of the physical and medium access control layers sensing enablers, together with the application layer perspective. We analyze the impact of communication parameters on sensing performance and detail the main research challenges. To make our evaluation replicable, we pledge to release all of our dataset and code to the community.
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.
This article presents a novel application of the t-distributed Stochastic Neighbor Embedding (t-SNE) clustering algorithm to the telecommunication field. t-SNE is a dimensionality reduction (DR) algorithm that allows the visualization of large dataset into a 2D plot. We present the applicability of this algorithm in a communication channel dataset formed by several scenarios (anechoic, reverberation, indoor and outdoor), and by using six channel features. Applying this artificial intelligence (AI) technique, we are able to separate different environments into several clusters allowing a clear visualization of the scenarios. Throughout the article, it is proved that t-SNE has the ability to cluster into several subclasses, obtaining internal classifications within the scenarios themselves. t-SNE comparison with different dimensionality reduction techniques (PCA, Isomap) is also provided throughout the paper. Furthermore, post-processing techniques are used to modify communication scenarios, recreating a real communication scenario from measurements acquired in an anechoic chamber. The dimensionality reduction and classification by using t-SNE and Variational AutoEncoders (VAE) show
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.
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.