Top Mathematics discussions
NishMath - #university
|
@quantumcomputingreport.com
//
References:
Metadata
,
,
Universities worldwide are engaging in a diverse range of mathematics-related activities, from exploring quantum communication to using origami for hands-on learning. Heriot-Watt University in Edinburgh recently inaugurated a £2.5 million ($3.3 million USD) Optical Ground Station (HOGS) to foster advancements in satellite-based quantum-secure communication. This facility, equipped with a 70-cm precision telescope, aims to conduct quantum key distribution (QKD) experiments with satellites, monitor space debris, and test high-speed optical communications for next-generation networks. The project is a significant step in the UK's ambition to establish a quantum-secure internet, offering a unique platform for industry and academia to collaborate on secure communications across various sectors.
HOGS is connected to Heriot-Watt’s quantum labs via dark fibre, enabling real-time simulation and validation of optical quantum networks. This infrastructure will serve as a valuable R&D platform for secure communications in financial services, healthcare, and critical infrastructure, aiming to mitigate the UK's estimated £27 billion annual cost of cybercrime. The university also intends to expand Scotland’s space economy and workforce through partnerships and STEM programs, emphasizing the educational outreach aspect of the new facility. The Integrated Quantum Networks (IQN) Hub also considers the station part of Heriot-Watt's role as a leader in the development of quantum-secure communications. Meanwhile, ETH Zürich is promoting practical mathematics through its goMATH funding program, exemplified by the Origami Challenge. ETH students visited schools to introduce origami mathematics in a fun and engaging way, encouraging pupils to create geometric origami artworks from paper without using glue. This initiative aims to make mathematics more accessible and enjoyable for young students. At the TLA+ Community Event in Hamilton, Ontario, discussions revolved around integrating TLA+ into tooling for fuzzers, trace validators, and compilers, emphasizing its evolving role beyond just specifications. Attendees observed that TLA+ is increasingly being used to build bridges from models to real-world applications. Recommended read:
References :
Miranda Martinengo@Istituto Grothendieck
//
Recent developments in the mathematics community showcase notable achievements and career advancements. Ryuya Hora, a doctoral scholar from the University of Tokyo specializing in topos theory and automata theory applications, has been appointed Research Associate of the Centre for Topos Theory and its Applications (CTTA). He is scheduled to collaborate with Olivia Caramello and other researchers at the Centre in Paris between April and June 2025. His appointment signifies a valuable addition to the field, with opportunities to follow his work, including his talk at the "Toposes in Mondovì" conference.
Cesare Tronci has been promoted to Professor of Mathematics at the University of Surrey, effective April 1, 2025. This promotion acknowledges his contributions to the field, and further information about his research can be found on his website. Also at the University of Surrey, Jessica Furber has successfully defended her PhD thesis, "Mathematical Analysis of Fine-Scale Badger Movement Data," marking the completion of her doctoral studies. Her external examiner was Prof Yuliya Kyrychko from Sussex, and the internal examiner was Dr Joaquin Prada from the Vet School, Surrey. In related news, the Mathematics Division at Stellenbosch University in South Africa is seeking a new permanent appointee at the Lecturer or Senior Lecturer level, with consideration potentially given to other levels under specific circumstances. While preference will be given to candidates working in number theory or a related area, applications from those in other areas of mathematics will also be considered. The deadline for applications is April 30, 2025, with detailed information available in the official advertisement. Recommended read:
References :
Mike Watts@computational-intelligence.blogspot.com
//
References:
computational-intelligence.blo
, computational-intelligence.blo
Recent developments highlight advancements in quantum computing, artificial intelligence, and cryptography. Classiq Technologies, in collaboration with Sumitomo Corporation and Mizuho-DL Financial Technology, achieved up to 95% compression of quantum circuits for Monte Carlo simulations used in financial risk analysis. This project explored the use of Classiq’s technology to generate more efficient quantum circuits for a novel quantum Monte Carlo simulation algorithm incorporating pseudo-random numbers proposed by Mizuho-DL FT, evaluating the feasibility of implementing quantum algorithms in financial applications.
Oxford researchers demonstrated a fast, 99.8% fidelity two-qubit gate using a simplified circuit design, achieving this using a modified coaxmon circuit architecture. Also, a collaborative team from JPMorganChase, Quantinuum, Argonne National Laboratory, Oak Ridge National Laboratory, and the University of Texas at Austin demonstrated a certified randomness protocol using a 56-qubit Quantinuum System Model H2 trapped-ion quantum computer. This is a major milestone for real-world quantum applications, with the certified randomness validated using over 1.1 exaflops of classical computing power, confirming the quantum system’s ability to generate entropy beyond classical reach. The 2025 IEEE International Conference on Quantum Artificial Intelligence will be held in Naples, Italy, from November 2-5, 2025, with a paper submission deadline of May 15, 2025. Vanderbilt University will host a series of workshops devoted to Groups in Geometry, Analysis and Logic starting May 28, 2025. Recommended read:
References :
Tom Bridges@blogs.surrey.ac.uk
//
References:
blogs.surrey.ac.uk
, The Quantum Insider
,
Recent breakthroughs are pushing the boundaries of quantum theory and quantum randomness, paving the way for commercial applications and more reliable quantum technologies. A paper by Dorje Brody, along with collaborators Eva-Maria Graefe and Rishindra Melanathuru, has been published in Physical Review Letters, exploring decoherence resulting from phase-space measurements. Their work addresses the question of decoherence resulting from a monitoring of position and momentum, i.e., a phase-space measurement, by the environment.
Researchers have also made strides in protecting quantum information from environmental disruptions, offering hope for more stable quantum computers and networks. Scientists have demonstrated how certain quantum states can maintain their critical information even when disturbed by environmental noise. This could lead to more reliable quantum technology, enhanced medical imaging techniques, improved AI-driven diagnostics, and stronger data security. Simultaneously, a joint research team consisting of members from JPMorgan Chase, Quantinuum, multiple national labs, and UT Austin, has achieved certified quantum randomness, turning once theoretical experiments into first commercial applications for quantum computing. The team demonstrated a certified randomness protocol using Quantinuum's 56-qubit H2 trapped-ion system, showcasing a quantum computer's ability to generate entropy beyond classical reach. Furthermore, the high cost of quantum randomness is dropping due to advancements in pseudorandomness techniques, which may open new doors for quantum computing and cryptography research. Recommended read:
References :
Tom Bridges@blogs.surrey.ac.uk
//
References:
Department of Mathematics
Academic institutions are hosting a variety of mathematics-related events and activities. The Department of Mathematics hosted its first annual "Pi Your Professor" event on March 20, 2025, a belated celebration of Pi Day. Undergraduate students were invited to throw pies made of paper plates with Reddi Wip at participating professors, including Maddie Brandt, Spencer Dowdall, and Dan Margalit.
Math Game Monday featured "Make a Square," a strategic game designed to build 2-D visualization skills for all ages. The game involves players marking symbols on a grid, aiming to form a square with their marks. Additionally, the One World Approximate Bayesian Inference (OWABI) Seminar is scheduled for March 27th, featuring Meïli Baragatti from the Université de Montpellier discussing Approximate Bayesian Computation with Deep Learning and Conformal Prediction. Recommended read:
References :
@phys.org
//
References:
phys.org
, www.sciencedaily.com
Researchers at the Technical University of Munich (TUM) and the University of Cologne have developed an AI-based learning system designed to provide individualized support for schoolchildren in mathematics. The system utilizes eye-tracking technology via a standard webcam to identify students’ strengths and weaknesses. By monitoring eye movements, the AI can pinpoint areas where students struggle, displaying the data on a heatmap with red indicating frequent focus and green representing areas glanced over briefly.
This AI-driven approach allows teachers to provide more targeted assistance, improving the efficiency and personalization of math education. The software classifies the eye movement patterns and selects appropriate learning videos and exercises for each pupil. Professor Maike Schindler from the University of Cologne, who has collaborated with TUM Professor Achim Lilienthal for ten years, emphasizes that this system is completely new, tracking eye movements, recognizing learning strategies via patterns, offering individual support, and creating automated support reports for teachers. Recommended read:
References :
Michael Weiss@Diagonal Argument
//
References:
Diagonal Argument
, nLab
,
Research at the intersection of logic, descent theory, and category theory is currently underway, focusing on advanced mathematical concepts. Key areas of exploration include Galois descent in algebraic contexts, a concept with applications in algebraic geometry as detailed in texts by James Milne and lecture notes by Keith Conrad and Joshua Ruiter. Additionally, researchers are investigating equivariant bicategorical shadows and traces, aiming to generalize topological Hochschild homology.
This research extends to first-order categorical logic and quantum observables, contributing to a broader understanding of these abstract mathematical structures. A recent seminar at Vanderbilt University highlighted "Equivariant Bicategorical Shadows and Traces," where the presenter discussed a new framework of equivariant bicategorical shadows and explained why twisted THH is a g-twisted shadow, also exploring g-twisted bicategorical traces. This work builds upon the foundations laid by Ponto in defining bicategorical shadows, offering potential advancements in algebraic K-theory. Recommended read:
References :
|
Blogs
|