-
Three-dimensional boundary turbulence simulations of a RFX-mod plasma in the presence of voltage biasing
Authors:
M. Giacomin,
N. Vianello,
R. Cavazzana,
S. Molisani,
M. Spolaore,
M. Zuin
Abstract:
Three-dimensional turbulence simulations of a RFX-mod diverted plasma are performed in the presence of a biasing electrode. The simulations show a strong suppression of turbulent transport caused by the induced $\mathbf{E}\times\mathbf{B}$ flow shear, which leads to the formation of an edge transport barrier with a pedestal-like structure, in qualitative agreement with RFX-mod experiments. The str…
▽ More
Three-dimensional turbulence simulations of a RFX-mod diverted plasma are performed in the presence of a biasing electrode. The simulations show a strong suppression of turbulent transport caused by the induced $\mathbf{E}\times\mathbf{B}$ flow shear, which leads to the formation of an edge transport barrier with a pedestal-like structure, in qualitative agreement with RFX-mod experiments. The strong $\mathbf{E}\times\mathbf{B}$ flow shear turbulence suppression with edge voltage biasing is also observed in the proximity of the density limit crossing, suggesting that edge voltage biasing may allow for larger maximum achievable density values. By leveraging the simulation results, the theoretical scaling law of the edge pressure gradient length derived in Giacomin & Ricci (2020) J. Plasma Phys. 86(5) is extended here to account for the $\mathbf{E}\times\mathbf{B}$ flow shear turbulence suppression caused by voltage biasing. The improved theoretical scaling with typical RFX-mod shearing rate values predicts a factor of two increase of the pressure gradient at the separatrix, which is comparable to RFX-mod experiments in the presence of voltage biasing. The implications of the flow shear turbulence suppression due to voltage biasing on the density limit in RFX-mod are also discussed.
△ Less
Submitted 14 February, 2025; v1 submitted 20 January, 2025;
originally announced January 2025.
-
$E\times B$ shear suppression of microtearing based transport in spherical tokamaks
Authors:
B. S. Patel,
M. R. Hardman,
D. Kennedy,
M. Giacomin,
D. Dickinson,
C. M. Roach
Abstract:
Electromagnetic microtearing modes (MTMs) have been observed in many different spherical tokamak regimes. Understanding how these and other electromagnetic modes nonlinearly saturate is likely critical in understanding the confinement of a high $β$ spherical tokamak (ST). Equilibrium $E\times B$ sheared flows have sometimes been found to significantly suppress low $β$ ion scale transport in both g…
▽ More
Electromagnetic microtearing modes (MTMs) have been observed in many different spherical tokamak regimes. Understanding how these and other electromagnetic modes nonlinearly saturate is likely critical in understanding the confinement of a high $β$ spherical tokamak (ST). Equilibrium $E\times B$ sheared flows have sometimes been found to significantly suppress low $β$ ion scale transport in both gyrokinetic simulations and in experiment. This work aims to understand the conditions under which $E\times B$ sheared flow impacts on the saturation of MTM simulations. Two experimental regimes are examined from MAST and NSTX, on surfaces that have unstable MTMs. The MTM driven transport on a local flux surface in MAST is shown to be more resilient to suppression via $E\times B$ shear, compared to the case from NSTX where the MTM transport is found to be significantly suppressed. This difference in the response to flow shear is explained through the impact of magnetic shear, $\hat{s}$ on the MTM linear growth rate dependence on ballooning angle, $θ_0$. At low $\hat{s}$, the growth rate depends weakly on $θ_0$, but at higher $\hat{s}$, the MTM growth rate peaks at $θ_0 = 0$, with regions of stability at higher $θ_0$. Equilibrium $E\times B$ sheared flows act to advect the $θ_0$ of a mode in time, providing a mechanism which suppresses the transport from these modes when they become stable. The dependence of $γ^{MTM}$ on $θ_0$ is in qualitative agreement with a recent theory [M.R. Hardman et al (2023)] at low $β$ when $q\sim1$, but the agreement worsens at higher $q$ where the theory breaks down. This work highlights the important role of the safety factor profile in determining the impact of equilibrium $E\times B$ shear on the saturation level of MTM turbulence.
△ Less
Submitted 12 September, 2024;
originally announced September 2024.
-
A Passive and Self-Characterizing Cross-Encoded Receiver for Reference-Frame-Independent Quantum Key Distribution
Authors:
Massimo Giacomin,
Francesco B. L. Santagiustina,
Giuseppe Vallone,
Paolo Villoresi,
Costantino Agnesi
Abstract:
Quantum Key Distribution (QKD) promises to revolutionize the field of security in communication, with applications ranging from state secrets to personal data, making it a key player in the ongoing battle against cyber threats. Reference-Frame-Independent (RFI) QKD aims to simplify QKD implementations by allowing to reduce the requirements of alignment on a shared reference frame. This is done by…
▽ More
Quantum Key Distribution (QKD) promises to revolutionize the field of security in communication, with applications ranging from state secrets to personal data, making it a key player in the ongoing battle against cyber threats. Reference-Frame-Independent (RFI) QKD aims to simplify QKD implementations by allowing to reduce the requirements of alignment on a shared reference frame. This is done by performing two mutually unbiased measurements on the control states. In this work, we present a novel fully passive receiver for time-bin encoded RFI-QKD. Conversion of time-bin to polarization is employed to perform the required quantum measurement in a fully passive manner. Furthermore, to overcome experimental errors, we retrieved a complete description of our measurement apparatus by employing a recently introduced Quantum Detector Self-Characterization technique, without performing tomographic studies on the detection stage. In fact, the security analysis carried out in this work uses experimentally retrieved Positive Operator Valued Measurements, which consider our receiver defects, substituting the ideal expected operators and thus increasing the overall level of secrecy. Lastly, we conducted a proof-of-principle experiment that validated the feasibility of our method and its applicability to QKD applications.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Simulation and analysis of a high-k electron scale turbulence diagnostic for MAST-U
Authors:
David C. Speirs,
Juan Ruiz-Ruiz,
Maurizio Giacomin,
Valerian H. Hall-Chen,
Alan D. R. Phelps,
Roddy Vann,
Peter G. Huggard,
Hui Wang,
Anthony Field,
Kevin Ronald
Abstract:
Plasma turbulence on disparate spatial and temporal scales plays a key role in defining the level of confinement achievable in tokamaks, with the development of reduced numerical models for cross-scale turbulence effects informed by experimental measurements an essential step. MAST-U is a well-equipped facility having instruments to measure ion and electron scale turbulence at the plasma edge. How…
▽ More
Plasma turbulence on disparate spatial and temporal scales plays a key role in defining the level of confinement achievable in tokamaks, with the development of reduced numerical models for cross-scale turbulence effects informed by experimental measurements an essential step. MAST-U is a well-equipped facility having instruments to measure ion and electron scale turbulence at the plasma edge. However, measurement of core electron scale turbulence is challenging, especially in H mode. Using a novel synthetic diagnostic approach, we present simulated measurement specifications of a proposed mm-wave based collective scattering instrument optimised for measuring both normal and binormal electron scale turbulence in the core and edge of MAST-U. A powerful modelling framework has been developed that combines beam-tracing techniques with gyrokinetic simulations to predict the sensitivity, localisation and spectral range of measurement. For the reconstructed MAST 022769 shot, a maximum measurable normalised bi-normal wavenumber of $k_{\perp} ρ_{e} \sim 0.6$ was predicted in the core and $k_{\perp} ρ_{e} \sim 0.79$ near the pedestal, with localisation lengths $L_{FWHM}$ ranging from $\sim$ 0.4 m in the core at $k_{\perp} ρ_{e} \sim 0.1$ to ~0.08m at $k_{\perp} ρ_{e} \sim 0.45$. Synthetic diagnostic analysis for the 022769 shot using CGYRO gyrokinetic simulation spectra reveal that ETG turbulence wavenumbers of peak spectral intensity comfortably fall within the measurable range of the instrument from the core to the pedestal. The proposed diagnostic opens up opportunities to study new regimes of turbulence and confinement in association with upcoming non-inductive, microwave based current drive experiments on MAST-U and can provide insight into cross-scale turbulence effects, while having suitability to operate during burning plasma scenarios on future reactors such as STEP.
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
Suppression of temperature-gradient-driven turbulence by sheared flows in fusion plasmas
Authors:
P. G. Ivanov,
T. Adkins,
D. Kennedy,
M. Giacomin,
M. Barnes,
A. A. Schekochihin
Abstract:
Starting from the assumption that saturation of plasma turbulence driven by temperature-gradient instabilities in fusion plasmas is achieved by a local energy cascade between a long-wavelength outer scale, where energy is injected into the fluctuations, and a small-wavelength dissipation scale, where fluctuation energy is thermalised by particle collisions, we formulate a detailed phenomenological…
▽ More
Starting from the assumption that saturation of plasma turbulence driven by temperature-gradient instabilities in fusion plasmas is achieved by a local energy cascade between a long-wavelength outer scale, where energy is injected into the fluctuations, and a small-wavelength dissipation scale, where fluctuation energy is thermalised by particle collisions, we formulate a detailed phenomenological theory for the influence of perpendicular flow shear on magnetised-plasma turbulence. Our theory introduces two distinct regimes, called the weak-shear and strong-shear regimes, each with its own set of scaling laws for the scale and amplitude of the fluctuations and for the level of turbulent heat transport. We discover that the ratio of the typical radial and poloidal wavenumbers of the fluctuations (i.e., their aspect ratio) at the outer scale plays a central role in determining the dependence of the turbulent transport on the imposed flow shear. Our theoretical predictions are found to be in excellent agreement with numerical simulations of two paradigmatic models of fusion-relevant plasma turbulence: (i) an electrostatic fluid model of slab electron-scale turbulence, and (ii) Cyclone-base-case gyrokinetic ion-scale turbulence. Additionally, our theory envisions a potential mechanism for the suppression of electron-scale turbulence by perpendicular ion-scale flows based on the role of the aforementioned aspect ratio of the electron-scale fluctuations.
△ Less
Submitted 9 January, 2025; v1 submitted 1 May, 2024;
originally announced May 2024.
-
A quasi-linear model of electromagnetic turbulent transport and its application to flux-driven transport predictions for STEP
Authors:
M. Giacomin,
D. Dickinson,
W. Dorland,
N. R. Mandell,
A. Bokshi,
F. J. Casson,
H. G. Dudding,
D. Kennedy,
B. S. Patel,
C. M. Roach
Abstract:
A quasi-linear reduced transport model is developed from a database of high-$β$ electromagnetic nonlinear gyrokinetic simulations performed with Spherical Tokamak for Energy Production (STEP) relevant parameters. The quasi-linear model is fully electromagnetic and accounts for the effect of equilibrium flow shear using a novel approach. Its flux predictions are shown to agree quantitatively with p…
▽ More
A quasi-linear reduced transport model is developed from a database of high-$β$ electromagnetic nonlinear gyrokinetic simulations performed with Spherical Tokamak for Energy Production (STEP) relevant parameters. The quasi-linear model is fully electromagnetic and accounts for the effect of equilibrium flow shear using a novel approach. Its flux predictions are shown to agree quantitatively with predictions from local nonlinear gyrokinetic simulations across a broad range of STEP-relevant local equilibria. This reduced transport model is implemented in the T3D transport solver that is used to perform the first flux-driven simulations for STEP to account for transport from hybrid-KBM turbulence, which dominates over a wide region of the core plasma. Nonlinear gyrokinetic simulations of the final transport steady state from T3D return turbulent fluxes that are consistent with the reduced model, indicating that the quasi-linear model may also be appropriate for describing the transport steady state. Within the assumption considered here, our simulations support the existence of a transport steady state in STEP with a fusion power comparable to that in the burning flat-top of the conceptual design, but do not demonstrate how this state can be accessed.
△ Less
Submitted 9 January, 2025; v1 submitted 26 April, 2024;
originally announced April 2024.
-
On the importance of parallel magnetic-field fluctuations for electromagnetic instabilities in STEP
Authors:
D. Kennedy,
C. M. Roach,
M. Giacomin,
P. Ivanov,
T. Adkins,
F. Sheffield,
T. G örler,
A. Bokshi,
D. Dickinson,
H. G. Dudding,
B. S. Patel
Abstract:
[ABRIDGED] This paper discusses the importance of parallel perturbations of the magnetic-field in gyrokinetic simulations of electromagnetic instabilities and turbulence at mid-radius in the burning plasma phase of the conceptual high-$β$, reactor-scale, tight-aspect-ratio tokamak STEP. Previous studies have revealed the presence of unstable hybrid kinetic ballooning modes (hKBMs) at binormal scal…
▽ More
[ABRIDGED] This paper discusses the importance of parallel perturbations of the magnetic-field in gyrokinetic simulations of electromagnetic instabilities and turbulence at mid-radius in the burning plasma phase of the conceptual high-$β$, reactor-scale, tight-aspect-ratio tokamak STEP. Previous studies have revealed the presence of unstable hybrid kinetic ballooning modes (hKBMs) at binormal scales approaching the ion Larmor radius. In this STEP plasma it was found that the hKBM requires the inclusion of parallel magnetic-field perturbations to be linearly unstable. Here, the extent to which the inclusion of fluctuations in the parallel magnetic-field can be relaxed is explored through gyrokinetic simulations. In particular, the frequently used MHD approximation (dropping $δ\! B_{\parallel}$ and setting the $\nabla B$ drift frequency equal to the curvature drift frequency) is discussed and simulations explore whether this approximation is useful for modelling STEP plasmas. It is shown that the MHD approximation can reproduce some of the linear properties of the full STEP gyrokinetic system, but is too stable at low $k_y$ and nonlinear simulations using the MHD approximation result in very different transport states. It is demonstrated that the MHD approximation is challenged by the high $β^{\prime}$ values in STEP, and that the approximation improves considerably at lower $β^{\prime}$. Furthermore, it is shown that the sensitivity of STEP to $δ\! B_{\parallel}$ fluctuations is primarily because the plasma sits close to marginality and it is shown that in slightly more strongly driven conditions the hKBM is unstable without $δ\! B_{\parallel}.$ Crucially, it is demonstrated that the state of large transport typically predicted by local electromagnetic gyrokinetic simulations of STEP plasmas is not solely due to $δ\! B_{\parallel}$ physics.
△ Less
Submitted 20 May, 2024; v1 submitted 16 February, 2024;
originally announced February 2024.
-
In-Field Comparison between G.652 and G.655 Optical Fibers for Polarization-Based Quantum Key Distribution
Authors:
Costantino Agnesi,
Massimo Giacomin,
Daniele Sartorato,
Silvia Artuso,
Giuseppe Vallone,
Paolo Villoresi
Abstract:
Integration of Quantum Key Distribution (QKD) in existing telecommunication infrastructure is crucial for the widespread adoption of this quantum technology, which offers the distillation of unconditionally secure keys between users. In this letter, we report a field trial between the Points of Presence (POPs) placed in Treviso and in Venezia - Mestre, Italy, exploiting the QuKy commercial polariz…
▽ More
Integration of Quantum Key Distribution (QKD) in existing telecommunication infrastructure is crucial for the widespread adoption of this quantum technology, which offers the distillation of unconditionally secure keys between users. In this letter, we report a field trial between the Points of Presence (POPs) placed in Treviso and in Venezia - Mestre, Italy, exploiting the QuKy commercial polarization-based QKD platforms developed by ThinkQuantum srl and two different standards of single-mode optical fibers, i.e. G.652 and G.655, as a quantum channel. In this field trial, several configurations were tested, including the co-existence of classical and quantum signals over the same fiber, providing a direct comparison between the performances of the G.652 and G.655 fiber standards for QKD applications.
△ Less
Submitted 7 December, 2023;
originally announced December 2023.
-
Electromagnetic gyrokinetic instabilities in STEP
Authors:
Daniel Kennedy,
Maurizio Giacomin,
Francis J Casson,
David Dickinson,
William A Hornsby,
Bhavin S Patel,
Colin M Roach
Abstract:
We present herein the results of a linear gyrokinetic analysis of electromagnetic microinstabilites in the conceptual high-$β$, reactor-scale, tight-aspect-ratio tokamak STEP (Spherical Tokamak for Energy Production, https://step.ukaea.uk). We examine a range of flux surfaces between the deep core and the pedestal top for two candidate flat-top operating points of the prototype device. Local linea…
▽ More
We present herein the results of a linear gyrokinetic analysis of electromagnetic microinstabilites in the conceptual high-$β$, reactor-scale, tight-aspect-ratio tokamak STEP (Spherical Tokamak for Energy Production, https://step.ukaea.uk). We examine a range of flux surfaces between the deep core and the pedestal top for two candidate flat-top operating points of the prototype device. Local linear gyrokinetic analysis is performed to determine the type of microinstabilities that arise under these reactor-relevant conditions. We find that the equilibria are dominated at ion binormal scales by a hybrid version of the Kinetic Ballooning Mode (KBM) instability that has significant linear drive contributions from the ion temperature gradient and from trapped electrons, while collisional Microtearing Modes (MTMs) are sub-dominantly also unstable at similar binormal scales. The hybrid-KBM and MTM exhibit very different radial scales. We study the sensitivity of these instabilities to physics parameters, and discuss potential mechanisms for mitigating them. The results of this investigation are compared to a small set of similar conceptual reactor designs in the literature. A detailed benchmark of the linear results is performed using three gyrokinetic codes; alongside extensive resolution testing and sensitivity to numerical parameters providing confidence in the results of our calculations, and paving the way for detailed nonlinear studies in a companion article.
△ Less
Submitted 5 October, 2023; v1 submitted 4 July, 2023;
originally announced July 2023.
-
On electromagnetic turbulence and transport in STEP
Authors:
Maurizio Giacomin,
Daniel Kennedy,
Francis J Casson,
Ajay C. J.,
David Dickinson,
Bhavin S. Patel,
Colin M. Roach
Abstract:
In this work, we present first-of-their-kind nonlinear local gyrokinetic simulations of electromagnetic turbulence at mid-radius in the burning plasma phase of the conceptual high-$β$, reactor-scale, tight-aspect-ratio tokamak STEP (Spherical Tokamak for Energy Production). A prior linear analysis in D. Kennedy et al. 2023 Nucl. Fusion 63 126061 reveals the presence of unstable hybrid kinetic ball…
▽ More
In this work, we present first-of-their-kind nonlinear local gyrokinetic simulations of electromagnetic turbulence at mid-radius in the burning plasma phase of the conceptual high-$β$, reactor-scale, tight-aspect-ratio tokamak STEP (Spherical Tokamak for Energy Production). A prior linear analysis in D. Kennedy et al. 2023 Nucl. Fusion 63 126061 reveals the presence of unstable hybrid kinetic ballooning modes, where inclusion of the compressional magnetic field fluctuation, $δB_{\parallel}$, is crucial, and subdominant microtearing modes are found at binormal scales approaching the ion-Larmor radius. Local nonlinear gyrokinetic simulations on the selected surface in the central core region suggest that hybrid kinetic ballooning modes can drive large turbulent transport, and that there is negligible turbulent transport from subdominant microtearing modes when hybrid kinetic ballooning modes are artificially suppressed (through the omission of $δB_{\parallel}$). Nonlinear simulations that include perpendicular equilibrium flow shear can saturate at lower fluxes that are more consistent with the available sources in STEP. This analysis suggests that hybrid kinetic ballooning modes could play an important role in setting the turbulent transport in STEP, and possible mechanisms to mitigate turbulent transport are discussed. Increasing the safety factor or the pressure gradient strongly reduces turbulent transport from hybrid kinetic ballooning modes in the cases considered here. Challenges of simulating electromagnetic turbulence in this high-$β$ regime are highlighted. In particular the observation of radially extended turbulent structures in the absence of equilibrium flow shear motivates future advanced global gyrokinetic simulations that include $δB_\parallel$.
△ Less
Submitted 24 March, 2024; v1 submitted 4 July, 2023;
originally announced July 2023.
-
Effect of triangularity on plasma turbulence and the SOL-width scaling in L-mode diverted tokamak configurations
Authors:
Kyungtak Lim,
Maurizio Giacomin,
Paolo Ricci,
António Coelho,
Olivier Février,
Davide Mancini,
Davide Silvagni,
Louis Stenger
Abstract:
The effect of triangularity on tokamak boundary plasma turbulence is investigated by using global, flux-driven, three-dimensional, two-fluid simulations. The simulations show that negative triangularity stabilizes boundary plasma turbulence, and linear investigations reveal that this is due to a reduction of the magnetic curvature drive of interchange instabilities, such as the resistive balloonin…
▽ More
The effect of triangularity on tokamak boundary plasma turbulence is investigated by using global, flux-driven, three-dimensional, two-fluid simulations. The simulations show that negative triangularity stabilizes boundary plasma turbulence, and linear investigations reveal that this is due to a reduction of the magnetic curvature drive of interchange instabilities, such as the resistive ballooning mode. As a consequence, the pressure decay length $L_p$, related to the SOL power fall-off length $λ_q$, is found to be affected by triangularity. Leveraging considerations on the effect of triangularity on the linear growth rate and nonlinear evolution of the resistive ballooning mode, the analytical theory-based scaling law for $L_p$ in L-mode plasmas, derived by Giacomin \textit{et al.} [{Nucl. Fusion}, \href{https://doi.org/10.1088/1741-4326/abf8f6}{\textbf{61} 076002} (2021)], is extended to include the effect of triangularity. The scaling is in agreement with nonlinear simulations and a multi-machine experimental database, which include recent TCV discharges dedicated to the study of the effect of triangularity in L-mode diverted discharges. Overall, the present results highlight that negative triangularity narrows the $L_p$ and considering the effect of triangularity is important for a reliable extrapolation of $λ_q$ from present experiments to larger devices.
△ Less
Submitted 25 April, 2023;
originally announced April 2023.
-
Nonlinear microtearing modes in MAST and their stochastic layer formation
Authors:
M. Giacomin,
D. Dickinson,
D. Kennedy,
B. S. Patel,
C. M. Roach
Abstract:
First nonlinear gyrokinetic simulations of microtearing modes in the core of a MAST case are performed on two surfaces of the high-collisionality discharge used in Valovič et al. Nucl. Fusion 51.7 (2011) to obtain the favorable energy confinement scaling with collisionality, $τ_E\propto\,ν_*^{-1}$. On the considered surfaces microtearing modes dominate linearly at binormal length scales of the ord…
▽ More
First nonlinear gyrokinetic simulations of microtearing modes in the core of a MAST case are performed on two surfaces of the high-collisionality discharge used in Valovič et al. Nucl. Fusion 51.7 (2011) to obtain the favorable energy confinement scaling with collisionality, $τ_E\propto\,ν_*^{-1}$. On the considered surfaces microtearing modes dominate linearly at binormal length scales of the order of the ion Larmor radius. While the effect of electron collision frequency is moderate in linear simulations, a strong dependence on this parameter is found in nonlinear simulations at $r/a=0.5$, where $r$ and $a$ are the surface and tokamak minor radius, respectively. The dynamics of magnetic islands generated by microtearing modes is analysed, showing that the radial extent of the stochastic region caused by islands overlapping plays an important role in determining the saturation level of the microtearing mode driven heat flux. Local nonlinear gyrokinetic simulations show that the microtearing mode driven heat flux, $Q_e^\mathrm{MTM}$, is largely dominated by magnetic flutter and depends strongly on the magnetic shear, $\hat{s}$. Comparing two surfaces, $r/a=0.5$ and $r/a=0.6$, reveals that $Q_e^\mathrm{MTM}$ is negligible at $r/a=0.5$ ($\hat{s}=0.34$), with the electron temperature gradient driven heat flux, $Q_e^\mathrm{ETG}$, comparable to the experimental electron heat flux, $Q_e^\mathrm{exp}$, while $Q_e^\mathrm{MTM}$ is significantly larger and comparable to $Q_e^\mathrm{ETG}$ and $Q_e^\mathrm{exp}$ at $r/a=0.6$ ($\hat{s}=1.1$). Microtearing modes cause more experimentally significant transport in higher $\hat{s}$ regions and may influence (together with electron temperature gradient modes) the observed scaling of energy confinement time with collisionality (Valovič et al. Nucl. Fusion 51.7 (2011)).
△ Less
Submitted 30 August, 2023; v1 submitted 4 March, 2023;
originally announced March 2023.
-
Research Note on Uncertain Probabilities and Abstract Argumentation
Authors:
Pietro Baroni,
Federico Cerutti,
Massimiliano Giacomin,
Lance M. Kaplan,
Murat Sensoy
Abstract:
The sixth assessment of the international panel on climate change (IPCC) states that "cumulative net CO2 emissions over the last decade (2010-2019) are about the same size as the 11 remaining carbon budget likely to limit warming to 1.5C (medium confidence)." Such reports directly feed the public discourse, but nuances such as the degree of belief and of confidence are often lost. In this paper, w…
▽ More
The sixth assessment of the international panel on climate change (IPCC) states that "cumulative net CO2 emissions over the last decade (2010-2019) are about the same size as the 11 remaining carbon budget likely to limit warming to 1.5C (medium confidence)." Such reports directly feed the public discourse, but nuances such as the degree of belief and of confidence are often lost. In this paper, we propose a formal account for allowing such degrees of belief and the associated confidence to be used to label arguments in abstract argumentation settings. Differently from other proposals in probabilistic argumentation, we focus on the task of probabilistic inference over a chosen query building upon Sato's distribution semantics which has been already shown to encompass a variety of cases including the semantics of Bayesian networks. Borrowing from the vast literature on such semantics, we examine how such tasks can be dealt with in practice when considering uncertain probabilities, and discuss the connections with existing proposals for probabilistic argumentation.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
Turbulent transport regimes in the tokamak boundary and operational limits
Authors:
M. Giacomin,
P. Ricci
Abstract:
Two-fluid, three-dimensional, flux-driven, global, electromagnetic turbulence simulations carried out by using the GBS code are used to identify the main parameters controlling turbulent transport in the tokamak boundary and to delineate an electromagnetic phase space of edge turbulence. Four turbulent transport regimes are identified: (i) a regime of fully developed turbulence appearing at interm…
▽ More
Two-fluid, three-dimensional, flux-driven, global, electromagnetic turbulence simulations carried out by using the GBS code are used to identify the main parameters controlling turbulent transport in the tokamak boundary and to delineate an electromagnetic phase space of edge turbulence. Four turbulent transport regimes are identified: (i) a regime of fully developed turbulence appearing at intermediate values of collisionality and $β$, with turbulence driven by resistive ballooning modes, related to the L-mode operation of tokamaks, (ii) a regime of reduced turbulent transport at low collisionality and large heat source, with turbulence driven by drift-waves, related to a high-density H-mode regime, (iii) a regime of extremely large turbulent transport at high collisionality, which is associated with the crossing of the density limit, and (iv) a regime above the ideal ballooning limit at high $β$, with global modes affecting the dynamics of the entire confined region, which can be associated with the crossing of the $β$ limit. The transition from the reduced to the developed turbulent transport regime is associated here with the H-mode density limit and an analytical scaling law for maximum edge density achievable in H-mode is obtained. Analogously, analytical scaling laws for the crossing of the L-mode density and $β$ limits are provided and compared to the results of GBS simulations.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
First-principles density limit scaling in tokamaks based on edge turbulent transport and implications for ITER
Authors:
M. Giacomin,
A. Pau,
P. Ricci,
O. Sauter,
T. Eich
Abstract:
A first-principles scaling law, based on turbulent transport considerations, and a multi-machine database of density limit discharges from the ASDEX Upgrade, JET and TCV tokamaks, show that the increase of the boundary turbulent transport with the plasma collisionality sets the maximum density achievable in tokamaks. This scaling law shows a strong dependence on the heating power, therefore predic…
▽ More
A first-principles scaling law, based on turbulent transport considerations, and a multi-machine database of density limit discharges from the ASDEX Upgrade, JET and TCV tokamaks, show that the increase of the boundary turbulent transport with the plasma collisionality sets the maximum density achievable in tokamaks. This scaling law shows a strong dependence on the heating power, therefore predicting for ITER a significantly larger safety margin than the Greenwald empirical scaling (Greenwald et al, Nucl. Fusion, 28(12), 1988) in case of unintentional H-L transition.
△ Less
Submitted 6 April, 2022;
originally announced April 2022.
-
Global fluid simulation of plasma turbulence in a stellarator with an island divertor
Authors:
A. J. Coelho,
J. Loizu,
P. Ricci,
M. Giacomin
Abstract:
Results of a three-dimensional, flux-driven, electrostatic, global, two-fluid turbulence simulation for a 5-field period stellarator with an island divertor are presented. The numerical simulation is carried out with the GBS code, recently extended to simulate plasma turbulence in non-axisymmetric magnetic equilibria. The vacuum magnetic field used in the simulation is generated with the theory of…
▽ More
Results of a three-dimensional, flux-driven, electrostatic, global, two-fluid turbulence simulation for a 5-field period stellarator with an island divertor are presented. The numerical simulation is carried out with the GBS code, recently extended to simulate plasma turbulence in non-axisymmetric magnetic equilibria. The vacuum magnetic field used in the simulation is generated with the theory of Dommaschk potentials, and describes a configuration with a central region of nested flux surfaces, surrounded by a chain of magnetic islands, similarly to the diverted configurations of W7-X. The heat outflowing from the core reaches the island region and is transported along the magnetic islands, striking the vessel walls, which correspond to the boundary of the simulation domain.
The radial transport of particles and heat is found to be mainly driven by a field-aligned coherent mode with poloidal number $m=4$. The analysis of this mode, based on non-local linear theory considerations, shows its ballooning nature. In contrast to tokamak simulations and experiments, where blobs often contribute to transport, we do not observe the presence of intermittent transport events.
△ Less
Submitted 26 January, 2022;
originally announced January 2022.
-
The GBS code for the self-consistent simulation of plasma turbulence and kinetic neutral dynamics in the tokamak boundary
Authors:
M. Giacomin,
P. Ricci,
A. Coroado,
G. Fourestey,
D. Galassi,
E. Lanti,
D. Mancini,
N. Richart,
L. N. Stenger,
N. Varini
Abstract:
A new version of GBS (Ricci et al. Plasma Phys. Control. Fusion 54, 124047, 2012; Halpern et al. J. Comput. Phys. 315, 388-408, 2016; Paruta et al. Phys. Plasmas 25, 112301, 2018) is described. GBS is a three-dimensional, flux-driven, global, two-fluid turbulence code developed for the self-consistent simulation of plasma turbulence and kinetic neutral dynamics in the tokamak boundary. In the new…
▽ More
A new version of GBS (Ricci et al. Plasma Phys. Control. Fusion 54, 124047, 2012; Halpern et al. J. Comput. Phys. 315, 388-408, 2016; Paruta et al. Phys. Plasmas 25, 112301, 2018) is described. GBS is a three-dimensional, flux-driven, global, two-fluid turbulence code developed for the self-consistent simulation of plasma turbulence and kinetic neutral dynamics in the tokamak boundary. In the new version presented here, the simulation domain is extended to encompass the whole plasma volume, avoiding an artificial boundary with the core, hence retaining the core-edge-SOL interplay. A new toroidal coordinate system is introduced to increase the code flexibility, allowing for the simulation of arbitrary magnetic configurations (e.g. single-null, double-null and snowflake configurations), which can also be the result of the equilibrium reconstruction of an experimental discharge. The implementation of a new iterative solver for the Poisson and Ampère equations is presented, leading to a remarkable speed-up of the code with respect to the use of direct solvers, therefore allowing for efficient electromagnetic simulations that avoid the use of the Boussinesq approximation. The self-consistent kinetic neutral model, initially developed for limited configurations, is ported to the magnetic configurations considered by the present version of GBS and carefully optimized. A new MPI parallelisation is implemented to evolve the plasma and neutral models in parallel, thus improving the code scalability. The numerical implementation of the plasma and neutral models is verified by means of the method of manufactured solutions. As an example of the simulation capabilities of the new version of GBS, a simulation of a TCV tokamak discharge is presented.
△ Less
Submitted 7 December, 2021;
originally announced December 2021.
-
Validation of edge turbulence codes against the TCV-X21 diverted L-mode reference case
Authors:
D. S. Oliveira,
T. Body,
D. Galassi,
C. Theiler,
E. Laribi,
P. Tamain,
A. Stegmeir,
M. Giacomin,
W. Zholobenko,
P. Ricci,
H. Bufferand,
J. A. Boedo,
G. Ciraolo,
C. Colandrea,
D. Coster,
H. de Oliveira,
G. Fourestey,
S. Gorno,
F. Imbeaux,
F. Jenko,
V. Naulin,
N. Offeddu,
H. Reimerdes,
E. Serre,
C. K. Tsui
, et al. (5 additional authors not shown)
Abstract:
Self-consistent full-size turbulent-transport simulations of the divertor and SOL of existing tokamaks have recently become feasible. This enables the direct comparison of turbulence simulations against experimental measurements. In this work, we perform a series of diverted Ohmic L-mode discharges on the TCV tokamak, building a first-of-a-kind dataset for the validation of edge turbulence models.…
▽ More
Self-consistent full-size turbulent-transport simulations of the divertor and SOL of existing tokamaks have recently become feasible. This enables the direct comparison of turbulence simulations against experimental measurements. In this work, we perform a series of diverted Ohmic L-mode discharges on the TCV tokamak, building a first-of-a-kind dataset for the validation of edge turbulence models. This dataset, referred to as TCV-X21, contains measurements from 5 diagnostic systems -- giving a total of 45 1- and 2-D comparison observables in two toroidal magnetic field directions. The dataset is used to validate three flux-driven 3D fluid-turbulence models: GBS, GRILLIX and TOKAM3X. With each model, we perform simulations of the TCV-X21 scenario, tuning the particle and power source rates to achieve a reasonable match of the upstream separatrix value of density and electron temperature. We find that the simulations match the experimental profiles for most observables at the OMP -- both in terms of profile shape and absolute magnitude -- while a poorer agreement is found towards the divertor targets. The match between simulation and experiment is seen to be sensitive to the value of the resistivity, the heat conductivities, the power injection rate and the choice of sheath boundary conditions. Additionally, despite targeting a sheath-limited regime, the discrepancy between simulations and experiment also suggests that the neutral dynamics should be included. The results of this validation show that turbulence models are able to perform simulations of existing devices and achieve reasonable agreement with experimental measurements. Where disagreement is found, the validation helps to identify how the models can be improved. By publicly releasing the experimental dataset, this work should help to guide and accelerate the development of predictive turbulence simulations of the edge and SOL.
△ Less
Submitted 29 November, 2021; v1 submitted 3 September, 2021;
originally announced September 2021.
-
Theory-based scaling laws of near and far scrape-off layer widths in single-null L-mode discharges
Authors:
M. Giacomin,
A. Stagni,
P. Ricci,
J. A. Boedo,
J. Horacek,
H. Reimerdes,
C. K. Tsui
Abstract:
Theory-based scaling laws of the near and far scrape-off layer (SOL) widths are analytically derived for L-mode diverted tokamak discharges by using a two-fluid model. The near SOL pressure and density decay lengths are obtained by leveraging a balance among the power source, perpendicular turbulent transport across the separatrix, and parallel losses at the vessel wall, while the far SOL pressure…
▽ More
Theory-based scaling laws of the near and far scrape-off layer (SOL) widths are analytically derived for L-mode diverted tokamak discharges by using a two-fluid model. The near SOL pressure and density decay lengths are obtained by leveraging a balance among the power source, perpendicular turbulent transport across the separatrix, and parallel losses at the vessel wall, while the far SOL pressure and density decay lengths are derived by using a model of intermittent transport mediated by filaments. The analytical estimates of the pressure decay length in the near SOL is then compared to the results of three-dimensional, flux-driven, global, two-fluid turbulence simulations of L-mode diverted tokamak plasmas, and validated against experimental measurements taken from an experimental multi-machine database of divertor heat flux profiles, showing in both cases a very good agreement. Analogously, the theoretical scaling law for the pressure decay length in the far SOL is compared to simulation results and to experimental measurements in TCV L-mode discharges, pointing out the need of a large multi-machine database for the far SOL decay lengths.
△ Less
Submitted 19 April, 2021; v1 submitted 28 January, 2021;
originally announced January 2021.
-
Investigation of turbulent transport regimes in the tokamak edge by using two-fluid simulations
Authors:
Maurizio Giacomin,
Paolo Ricci
Abstract:
The results of flux-driven, two-fluid simulations in single-null configurations are used to investigate the processes determining the turbulent transport in the tokamak edge. Three turbulent transport regimes are identified: (i) a developed transport regime with turbulence driven by an interchange instability, which shares a number of features with the standard L-mode of tokamak operation, (ii) a…
▽ More
The results of flux-driven, two-fluid simulations in single-null configurations are used to investigate the processes determining the turbulent transport in the tokamak edge. Three turbulent transport regimes are identified: (i) a developed transport regime with turbulence driven by an interchange instability, which shares a number of features with the standard L-mode of tokamak operation, (ii) a suppressed transport regime, characterized by a higher value of the energy confinement time, low-amplitude relative fluctuations driven by a Kelvin-Helmholtz instability, a strong E x B sheared flow, and the formation of a transport barrier, which recalls the H-mode, and (iii) a degraded confinement regime, characterized by a catastrophically large interchange-driven turbulent transport, which reminds the crossing of the Greenwald density limit.We derive an analytical expression of the pressure gradient length in the three regimes. The transition from the developed to the suppressed transport regime is obtained by increasing the heat source or decreasing the collisionality and vice versa for the transition from the developed transport regime to the degraded confinement regime. An analytical expression of the power threshold to access the suppressed transport regime, linked to the power threshold for H-mode access, as well as the maximum density achievable before entering the degraded confinement regime, related to the Greenwald density, are also derived. The experimental dependencies of the power threshold for H-mode access on density, tokamak major radius, and isotope mass are retrieved. The analytical estimate of the density limit contains the correct dependence on the plasma current and on the tokamak minor radius.
△ Less
Submitted 20 July, 2020; v1 submitted 26 April, 2020;
originally announced April 2020.
-
Automata for Infinite Argumentation Structures
Authors:
Pietro Baroni,
Federico Cerutti,
Paul E. Dunne,
Massimiliano Giacomin
Abstract:
The theory of abstract argumentation frameworks (afs) has, in the main, focused on finite structures, though there are many significant contexts where argumentation can be regarded as a process involving infinite objects. To address this limitation, in this paper we propose a novel approach for describing infinite afs using tools from formal language theory. In particular, the possibly infinite se…
▽ More
The theory of abstract argumentation frameworks (afs) has, in the main, focused on finite structures, though there are many significant contexts where argumentation can be regarded as a process involving infinite objects. To address this limitation, in this paper we propose a novel approach for describing infinite afs using tools from formal language theory. In particular, the possibly infinite set of arguments is specified through the language recognized by a deterministic finite automaton while a suitable formalism, called attack expression, is introduced to describe the relation of attack between arguments. The proposed approach is shown to satisfy some desirable properties which can not be achieved through other "naive" uses of formal languages. In particular, the approach is shown to be expressive enough to capture (besides any arbitrary finite structure) a large variety of infinite afs including two major examples from previous literature and two sample cases from the domains of multi-agent negotiation and ambient intelligence. On the computational side, we show that several decision and construction problems which are known to be polynomial time solvable in finite afs are decidable in the context of the proposed formalism and we provide the relevant algorithms. Moreover we obtain additional results concerning the case of finitary afs.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
AFRA: Argumentation framework with recursive attacks
Authors:
Pietro Baroni,
Federico Cerutti,
Massimiliano Giacomin,
Giovanni Guida
Abstract:
The issue of representing attacks to attacks in argumentation is receiving an increasing attention as a useful conceptual modelling tool in several contexts. In this paper we present AFRA, a formalism encompassing unlimited recursive attacks within argumentation frameworks. AFRA satisfies the basic requirements of definition simplicity and rigorous compatibility with Dung's theory of argumentation…
▽ More
The issue of representing attacks to attacks in argumentation is receiving an increasing attention as a useful conceptual modelling tool in several contexts. In this paper we present AFRA, a formalism encompassing unlimited recursive attacks within argumentation frameworks. AFRA satisfies the basic requirements of definition simplicity and rigorous compatibility with Dung's theory of argumentation. This paper provides a complete development of the AFRA formalism complemented by illustrative examples and a detailed comparison with other recursive attack formalizations.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation
Authors:
Wolfgang Faber,
Mauro Vallati,
Federico Cerutti,
Massimiliano Giacomin
Abstract:
Optimization - minimization or maximization - in the lattice of subsets is a frequent operation in Artificial Intelligence tasks. Examples are subset-minimal model-based diagnosis, nonmonotonic reasoning by means of circumscription, or preferred extensions in abstract argumentation. Finding the optimum among many admissible solutions is often harder than finding admissible solutions with respect t…
▽ More
Optimization - minimization or maximization - in the lattice of subsets is a frequent operation in Artificial Intelligence tasks. Examples are subset-minimal model-based diagnosis, nonmonotonic reasoning by means of circumscription, or preferred extensions in abstract argumentation. Finding the optimum among many admissible solutions is often harder than finding admissible solutions with respect to both computational complexity and methodology. This paper addresses the former issue by means of an effective method for finding subset-optimal solutions. It is based on the relationship between cardinality-optimal and subset-optimal solutions, and the fact that many logic-based declarative programming systems provide constructs for finding cardinality-optimal solutions, for example maximum satisfiability (MaxSAT) or weak constraints in Answer Set Programming (ASP). Clearly each cardinality-optimal solution is also a subset-optimal one, and if the language also allows for the addition of particular restricting constructs (both MaxSAT and ASP do) then all subset-optimal solutions can be found by an iterative computation of cardinality-optimal solutions. As a showcase, the computation of preferred extensions of abstract argumentation frameworks using the proposed method is studied.
△ Less
Submitted 22 December, 2016;
originally announced December 2016.
-
Exploiting Parallelism for Hard Problems in Abstract Argumentation: Technical Report
Authors:
Federico Cerutti,
Ilias Tachmazidis,
Mauro Vallati,
Sotirios Batsakis,
Massimiliano Giacomin,
Grigoris Antoniou
Abstract:
Abstract argumentation framework (\AFname) is a unifying framework able to encompass a variety of nonmonotonic reasoning approaches, logic programming and computational argumentation. Yet, efficient approaches for most of the decision and enumeration problems associated to \AFname s are missing, thus potentially limiting the efficacy of argumentation-based approaches in real domains. In this paper…
▽ More
Abstract argumentation framework (\AFname) is a unifying framework able to encompass a variety of nonmonotonic reasoning approaches, logic programming and computational argumentation. Yet, efficient approaches for most of the decision and enumeration problems associated to \AFname s are missing, thus potentially limiting the efficacy of argumentation-based approaches in real domains. In this paper, we present an algorithm for enumerating the preferred extensions of abstract argumentation frameworks which exploits parallel computation. To this purpose, the SCC-recursive semantics definition schema is adopted, where extensions are defined at the level of specific sub-frameworks. The algorithm shows significant performance improvements in large frameworks, in terms of number of solutions found and speedup.
△ Less
Submitted 18 November, 2014; v1 submitted 11 November, 2014;
originally announced November 2014.
-
Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach
Authors:
Federico Cerutti,
Paul E. Dunne,
Massimiliano Giacomin,
Mauro Vallati
Abstract:
This paper presents a novel SAT-based approach for the computation of extensions in abstract argumentation, with focus on preferred semantics, and an empirical evaluation of its performances. The approach is based on the idea of reducing the problem of computing complete extensions to a SAT problem and then using a depth-first search method to derive preferred extensions. The proposed approach has…
▽ More
This paper presents a novel SAT-based approach for the computation of extensions in abstract argumentation, with focus on preferred semantics, and an empirical evaluation of its performances. The approach is based on the idea of reducing the problem of computing complete extensions to a SAT problem and then using a depth-first search method to derive preferred extensions. The proposed approach has been tested using two distinct SAT solvers and compared with three state-of-the-art systems for preferred extension computation. It turns out that the proposed approach delivers significantly better performances in the large majority of the considered cases.
△ Less
Submitted 23 October, 2013; v1 submitted 18 October, 2013;
originally announced October 2013.
