Publications related to Counting conjugacy classes of cyclic subgroups for fusion systems

Global fluid simulations of plasma turbulence in stellarators

In order to cope with the decarbonization challenge faced by many countries, fusion is one of the few alternatives to fossil fuels for the production of electricity. Two devices invented in the middle of the previous century have emerged as the most promis ...

EPFL2024

Nonlinear simulation of plasma turbulence using a gyrokinetic moment-based approach

Antoine Cyril David Hoffmann

Plasma turbulence plays a fundamental role in determining the performances of magnetic confinement fusion devices, such as tokamaks. Advances in computer science, combined with the development of efficient physical models, have significantly improved our u ...

EPFL2024

Models implemented in the methodological approach to design the initial STEP first wall contour

Kevin Henricus Annemarie Verhaegh, Dario Vaccaro, Filippo Bagnato, Davide Galassi

The official Spherical Tokamak for Energy Production mission aims to demonstrate the ability to generate net electricity from fusion with the STEP Prototype Power plant. One of the key technological and engineering challenges in fusion power plants is mana ...

Elsevier Science Sa2024

Long plasma duration operation analyses with an international multi-machine (tokamaks and stellarators) database

Stefano Coda, Jeffrey Huang

Combined high-fusion performance and long-pulse operation is one of the key integration challenges for fusion energy development in magnetic devices. Addressing these challenges requires an integrated vision of physics and engineering aspects with the purp ...

IOP Publishing Ltd2024

Tangentially viewing phase contrast imaging for turbulence measurements in toroidal fusion devices

Stefano Coda

Phase contrast imaging (PCI) is an established and powerful technique for measuring density fluctuations in plasmas and has been successfully applied to several fusion devices. Rooted in a concept first developed for microscopy, PCI belongs to the category ...

2024

Divertor turbulence characterisation using Gas Puff Imaging in the TCV tokamak

Curdin Tobias Wüthrich

The performance of magnetic confinement fusion devices, such as tokamaks, is strongly correlated to the phenomena that occur in the boundary region of the plasma core that faces the wall of the device. The dominant cross-field transport mechanisms from the ...

EPFL2024

Error field detection and correction studies towards ITER operation

Olivier Sauter, Leonardo Pigatto, Bernhard Sieglin

In magnetic fusion devices, error field (EF) sources, spurious magnetic field perturbations, need to be identified and corrected for safe and stable (disruption-free) tokamak operation. Within Work Package Tokamak Exploitation RT04, a series of studies hav ...

IOP Publishing Ltd2024

Overview of fast particle experiments in the first MAST Upgrade experimental campaigns

Matteo Vallar

MAST-U is equipped with on-axis and off-axis neutral beam injectors (NBI), and these external sources of super-Alfv & eacute;nic deuterium fast-ions provide opportunities for studying a wide range of phenomena relevant to the physics of alpha-particles in ...

IOP Publishing Ltd2024

SPEEDING UP KRYLOV SUBSPACE METHODS FOR COMPUTING f(A)b VIA RANDOMIZATION

Daniel Kressner, Alice Cortinovis

This work is concerned with the computation of the action of a matrix function f(A), such as the matrix exponential or the matrix square root, on a vector b. For a general matrix A, this can be done by computing the compression of A onto a suitable Krylov ...

Siam Publications2024

Experimental study and interpretative modelling of the Power Exhaust in Configurations with Multiple X-Points in TCV

Sophie Danielle Angelica Gorno

Nuclear fusion presents a promising clean energy source to mitigate future energy crises, with magnetic confinement fusion well-positioned to provide a baseload scenario to power future reactors. The unmitigated power exhaust of such reactors threatens its ...

EPFL2024

Accelerator-driven Data Arrangement to Minimize Transformers Run-time on Multi-core Architectures

David Atienza Alonso, Giovanni Ansaloni, Alireza Amirshahi

The increasing complexity of transformer models in artificial intelligence expands their computational costs, memory usage, and energy consumption. Hardware acceleration tackles the ensuing challenges by designing processors and accelerators tailored for t ...

2024

Re-design of EU DEMO with a low aspect ratio

Hartmut Zohm

The design point that had been chosen for EU DEMO in 2016 is reviewed here and a modification is proposed with a lower aspect ratio. Previously the same aspect ratio, A, was chosen for EU DEMO as in major tokamak experiments including ITER (A = 3.1), and, ...

2024

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Simon Guilloud

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

The Power of Two Matrices in Spectral Algorithms for Community Recovery

Colin Peter Sandon

Spectral algorithms are some of the main tools in optimization and inference problems on graphs. Typically, the graph is encoded as a matrix and eigenvectors and eigenvalues of the matrix are then used to solve the given graph problem. Spectral algorithms ...

Ieee-Inst Electrical Electronics Engineers Inc2024

Randomized low-rank approximation and its applications

Ulf David Persson

In this thesis we will present and analyze randomized algorithms for numerical linear algebra problems. An important theme in this thesis is randomized low-rank approximation. In particular, we will study randomized low-rank approximation of matrix functio ...

EPFL2024

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

Non-planarity of Markoff graphs mod p

Matthew De Courcy-Ireland

We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation x2 + y2 + z2 = xyz modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these gr ...

European Mathematical Soc-Ems2024

Multiplicity-free Representations of Algebraic Groups

Donna Testerman, Martin W. Liebeck

Let K be an algebraically closed field of characteristic zero, and let G be a connected reductive algebraic group over K. We address the problem of classifying triples (G, H, V ), where H is a proper connected subgroup of G, and V is a finitedimensional ir ...

Amer Mathematical Soc2024

Isogeny Problems with Level Structure

Tako Boris Fouotsa

Given two elliptic curves and the degree of an isogeny between them, finding the isogeny is believed to be a difficult problem—upon which rests the security of nearly any isogeny-based scheme. If, however, to the data above we add information about the beh ...

2024

Demonstration of a sparse sensor placement technique to the limited diagnostic set in a fusion power plant

Lorenzo Martinelli, Artur Perek

DEMO will have a limited diagnostic set for optimization of reactor performance, and limited diagnostic coverage due to challenging reactor conditions. This poses challenges for control, especially for detachment control which is planned to be performed wi ...

Elsevier Science Sa2024