arxiv: 2605.08331 · v1 · submitted 2026-05-08 · ⚛️ physics.ins-det · hep-ex· physics.acc-ph

Recognition: 2 theorem links

· Lean Theorem

Characterisation of the Thermoflow due to the Dry Nitrogen Flushing Scheme in the ATLAS Inner Tracker using Computational Fluid Dynamics

Muaaz Bhamjee , Matthew Connell , Simon Connell , Emmanuel Igumbor , Lerothodi Leeuw , Pedro Mafa , Marco Oriunno , Marcel Vreeswijk

Authors on Pith no claims yet

Pith reviewed 2026-05-12 01:11 UTC · model grok-4.3

classification ⚛️ physics.ins-det hep-exphysics.acc-ph

keywords computational fluid dynamicsdry nitrogen flushingATLAS Inner Trackerthermoflowdew pointair ingresscondensation preventionHigh Luminosity LHC

0 comments

The pith

A CFD model of dry nitrogen flushing in the ATLAS Inner Tracker shows how to keep dew points below -60°C even when CO2 coolant faults occur.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper models the flow of dry nitrogen through the ATLAS Inner Tracker volume to remove moisture that could enter through leaks or over-pressure outlets. It focuses on fault scenarios where the bi-phase CO2 coolant temperature drops to -55°C, requiring the dew point inside the detector to stay at or below -60°C to avoid condensation on electronics. The simulations examine both normal operation and failure modes to reveal where moisture might accumulate and how flushing rates and geometry affect the outcome. A sympathetic reader would care because condensation could damage the upgraded tracker electronics during the High Luminosity LHC run, and the model supplies data to adjust the flushing scheme before hardware is built.

Core claim

The computational fluid dynamics model characterises the thermoflow produced by the dry nitrogen flushing scheme in the Common Environmental Monitoring and Interlock System for the ATLAS Inner Tracker. It supplies quantitative and qualitative information on temperature, humidity, and velocity fields under operational conditions and under air-ingress events caused by leaks or outlet over-pressure, thereby guiding engineering changes that keep the detector volume dry and within the required dew-point specification.

What carries the argument

The three-dimensional computational fluid dynamics simulation of nitrogen flow, heat transfer, and moisture transport inside the ITk volume, including inlet/outlet boundaries and air-ingress sources.

If this is right

Design adjustments to flushing inlets, outlets, or flow rates can be evaluated before fabrication to eliminate moisture pockets.
The monitoring system can be tuned to trigger flushing early enough to prevent condensation during coolant faults.
Air-ingress paths from leaks or pressure imbalances are shown to be manageable if flushing capacity is sized correctly.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same modelling approach could be used to check flushing performance after future detector modifications or in other large cryogenic detector volumes.
If the model is later validated against real data, it could reduce the need for extensive physical testing during commissioning.

Load-bearing premise

The CFD model correctly reproduces the actual gas flow patterns, leak rates, thermal boundary conditions, and moisture transport that will exist in the completed detector.

What would settle it

A prototype test that measures local dew-point values and flow velocities at several locations inside a representative ITk enclosure under a controlled -55°C coolant fault and finds sustained regions above -60°C where the model predicted none.

Figures

Figures reproduced from arXiv: 2605.08331 by Emmanuel Igumbor, Lerothodi Leeuw, Marcel Vreeswijk, Marco Oriunno, Matthew Connell, Muaaz Bhamjee, Pedro Mafa, Simon Connell.

**Figure 2.** Figure 2: An octant of the ITk in different views (a) in 3D with different parts labelled and detector discs visible. (b) a [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗

**Figure 3.** Figure 3: A cross-section of the simplified ITk volume in the [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗

**Figure 4.** Figure 4: The initial CAD model of the Strips, with outlets, N [PITH_FULL_IMAGE:figures/full_fig_p005_4.png] view at source ↗

**Figure 5.** Figure 5: The ITk Geometry used in the CFD Model: (a) the fluid region of the OSV, (b) inlet, outlet and leak locations, (c) [PITH_FULL_IMAGE:figures/full_fig_p006_5.png] view at source ↗

**Figure 6.** Figure 6: The locations of the outlets, inlets and leaks on the OSV, showing (a) the old inlet positions and (b) the new inlet [PITH_FULL_IMAGE:figures/full_fig_p007_6.png] view at source ↗

**Figure 7.** Figure 7: The N2 inlet manifold design using old inlet positions, showing (a) a 3D view of the manifold penetration through the bulkhead, with a zoom to show the inlet aperture locations, and (b) a schematic of the manifold design in the yz-plane. not possible. However, the mesh quality specifications of reference [19] were achieved. 2.2. Governing Equations The present work uses a CFD flow solver based on the finit… view at source ↗

**Figure 8.** Figure 8: The velocity pathlines [m/s] using the new piping positions - the average pathline velocity is around 0.1 m/s. [PITH_FULL_IMAGE:figures/full_fig_p011_8.png] view at source ↗

**Figure 9.** Figure 9: (a) temperature [°C] and (b) relative humidity [%] in the x = 0 plane using the old piping positions. |u| [m/s] (a) |u| [m/s] (b) [PITH_FULL_IMAGE:figures/full_fig_p012_9.png] view at source ↗

**Figure 10.** Figure 10: Velocity vectors [m/s] in the x = 0 plane using the old piping positions, showing (a) the full volume and (b) a zoomed-in view of the Endcaps [PITH_FULL_IMAGE:figures/full_fig_p012_10.png] view at source ↗

**Figure 11.** Figure 11: Velocity vector [m/s] in OSV, Strip Endcap and Strip Barrel in [PITH_FULL_IMAGE:figures/full_fig_p013_11.png] view at source ↗

**Figure 12.** Figure 12: Velocity pathlines [m/s] released from the manifold nozzles. [PITH_FULL_IMAGE:figures/full_fig_p013_12.png] view at source ↗

**Figure 13.** Figure 13: Temperature [°C] on the stiffener disc. The left figure is the bulkhead side, while the right is the Barrel side. in [PITH_FULL_IMAGE:figures/full_fig_p014_13.png] view at source ↗

**Figure 14.** Figure 14: Temperature [°C] contours in (left) the x = 0 plane and (right) four xy-plane slices along z at the leak rate of 0.1 l/s. The relative humidity distributions for both leak rates are displayed in Figures 16 - 17, showing zero humidity in the OSV as required and expected, as no leaks were modelled in the OSV. For the leak rate of 0.02 l/s, we noticed a significantly lower relative humidity throughout the IT… view at source ↗

**Figure 15.** Figure 15: Temperature [°C] in (left) the x = 0 plane and (right) four xy-plane slices along z at the leak rate of 0.02 l/s RH [%] [PITH_FULL_IMAGE:figures/full_fig_p015_15.png] view at source ↗

**Figure 16.** Figure 16: The relative humidity [%] contours in (left) the x = 0 plane and (right) four xy-plane slices along z at the leak rate of 0.1 l/s. lower leak rate of 0.02 l/s leads to a lower dew point, which is less than the required specification of drier than −60 ◦C. Based on these results, the lower total leak rate of 0.02 l/s is the acceptable leak rate to stay within the design specification of a maximum dew point … view at source ↗

**Figure 17.** Figure 17: The relative humidity [%] contours in (left) the x = 0 plane and (right) four xy-plane slices along z at the leak rate of 0.02 l/s. TDP [°C] [PITH_FULL_IMAGE:figures/full_fig_p016_17.png] view at source ↗

**Figure 18.** Figure 18: Local dew point temperature [ ◦C] contours in (left) the x = 0 plane and (right) four xy-plane slices along z at a leak rate of 0.1l/s TDP [°C] [PITH_FULL_IMAGE:figures/full_fig_p016_18.png] view at source ↗

**Figure 19.** Figure 19: Local dew point temperature [◦C] contours in (left) the x = 0 plane and (right) four xy-plane slices along z at leak rate at 0.02 l/s 16 [PITH_FULL_IMAGE:figures/full_fig_p016_19.png] view at source ↗

read the original abstract

The planned High Luminosity upgrade to the Large Hadron Collider at CERN aims to increase the instantaneous luminosity peak to about 7.5 x 10^{34} cm^{-2}s^{-1}. The ATLAS detector will be extensively re-designed to meet the challenges of this upgrade. This paper focuses on the use of computational fluid dynamics to characterise the thermoflow in order to model the dry nitrogen flushing scheme in the Common Environmental Monitoring and Interlock System for the ATLAS Inner Tracker as part of the upgrade process. The Technical Design Report considers the possibility for the bi-phase CO2 coolant temperature to drop to as low as -55 degrees C in the case of a fault. The specification for the highest Relative Humidity within the ITk volume is therefore equivalent to a dew point temperature at or below -60 degrees C in order to prevent condensation which could damage the detector electronics. The design accommodates for humidity monitoring to detect the onset of such events and dry nitrogen flushing to remove moisture. Therefore, it is important to thoroughly understand all consequences of atmospheric air ingress due to air-leaks and/or air-ingress from the outlets due to the over-pressure. The computational fluid dynamics model presented in this study was used to provide quantitative and qualitative insight into the various operational and failure conditions, informing engineering design changes to optimise the flushing scheme and ensure that the ITk remains dry and within the design specification of the acceptable dew point range.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Standard CFD modeling of nitrogen flushing for the ATLAS ITk gives practical scenario coverage but the dew-point claims rest on an unvalidated simulation.

read the letter

The paper runs a CFD study of the dry nitrogen flushing scheme for the ATLAS Inner Tracker under HL-LHC conditions, including the fault case where CO2 coolant reaches -55 °C. It maps air ingress from leaks and outlet over-pressure to check that dew points stay below -60 °C and suggests flushing adjustments to keep the volume dry. That is the core output: quantitative and qualitative maps of moisture transport in normal and off-normal states for this specific detector volume. The work is new in the narrow sense that it applies the simulation to the ITk flushing design and feeds back into engineering choices. It does the straightforward job of exploring the relevant failure modes without inventing new methods or claiming broad advances in fluid dynamics. The authors stick to established CFD practice and tie the runs directly to the Technical Design Report specs, which is useful for the collaboration. The main limitation is the missing validation. Nothing in the description shows comparison to measured flow or humidity data, mesh-independence checks, or the turbulence model and boundary-condition details. In the low-flow, buoyancy-influenced regime at these temperatures, small errors in mixing or leak modeling can shift the dew-point margins noticeably. The stress-test note is correct on this point; the quantitative insight is only as good as the untested assumption that the code reproduces the real thermoflow. This paper is for ATLAS ITk engineers and people doing similar humidity-control work on other detectors. A reader who needs concrete scenario coverage for flushing design will find usable material, even if they have to treat the numbers as indicative rather than definitive. It is solid enough on its own terms to go to peer review in an instrumentation or detector-technology journal. Referees will almost certainly ask for validation evidence and parameter justification, but the topic is important enough for the upgrade that the paper should get that chance rather than a desk reject.

Referee Report

2 major / 1 minor

Summary. The paper presents a computational fluid dynamics (CFD) analysis to characterize thermoflow in the dry nitrogen flushing scheme of the ATLAS Inner Tracker (ITk) for the High-Luminosity LHC upgrade. It models operational and failure scenarios (air leaks, outlet over-pressure, moisture ingress) at coolant temperatures down to -55 °C to ensure dew-point temperatures remain ≤ -60 °C, and claims the results provide quantitative and qualitative insight that directly informs engineering design optimizations for the Common Environmental Monitoring and Interlock System.

Significance. If the CFD predictions are shown to be reliable, the work would supply useful engineering guidance for maintaining a dry environment in a large-scale silicon tracker, helping prevent condensation damage to electronics under fault conditions. The application of CFD to buoyancy-driven mixing and species transport of water vapor in a complex detector volume is a relevant contribution to detector design methodology.

major comments (2)

[Abstract] Abstract: the central claim that the CFD model supplies quantitative/qualitative insight informing design changes rests on the unstated assumption that the simulation faithfully reproduces real thermoflow, leak rates, and air-ingress behavior; however, the abstract (and by extension the manuscript) supplies no information on experimental validation, mesh-independence studies, turbulence-model selection, or quantified boundary conditions for inlets, outlets, and leaks.
[Methods/Results] Methods/Results sections: no comparison of simulated dew-point margins or flow patterns against any measured data is described, nor are details given on the treatment of buoyancy effects, species transport of water vapor, or the low-flow, low-temperature regime; without these the reported margins and recommended flushing optimizations cannot be assessed for physical accuracy.

minor comments (1)

[Abstract] The abstract would be clearer if it named the CFD software package and briefly stated the key modeling assumptions (e.g., steady-state vs. transient, RANS vs. LES).

Simulated Author's Rebuttal

2 responses · 1 unresolved

We are grateful to the referee for the insightful comments on our CFD analysis of the ATLAS ITk dry nitrogen flushing scheme. The feedback highlights important aspects for improving the clarity and completeness of the manuscript. We respond to each major comment below and outline the revisions we will make.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim that the CFD model supplies quantitative/qualitative insight informing design changes rests on the unstated assumption that the simulation faithfully reproduces real thermoflow, leak rates, and air-ingress behavior; however, the abstract (and by extension the manuscript) supplies no information on experimental validation, mesh-independence studies, turbulence-model selection, or quantified boundary conditions for inlets, outlets, and leaks.

Authors: We concur that the abstract would benefit from additional context on the simulation methodology. In the revised manuscript, we will modify the abstract to reference the use of mesh independence studies, the selected turbulence model, and the quantified boundary conditions employed. We note that this work is a computational study intended to guide design prior to hardware implementation, and thus experimental validation against real thermoflow data is not included. A new section will be added to discuss model verification through mesh studies and the approach to future validation. revision: partial
Referee: [Methods/Results] Methods/Results sections: no comparison of simulated dew-point margins or flow patterns against any measured data is described, nor are details given on the treatment of buoyancy effects, species transport of water vapor, or the low-flow, low-temperature regime; without these the reported margins and recommended flushing optimizations cannot be assessed for physical accuracy.

Authors: We will revise the Methods section to include comprehensive details on the buoyancy modeling (accounting for density variations due to temperature and composition), the species transport equations for water vapor, and the rationale for the turbulence model in the low-flow, low-temperature conditions. Specific numerical values for all boundary conditions will be provided. Regarding comparisons to measured data, no such data exists for the ITk flushing system at present, as the detector is in the construction phase. We will explicitly state this limitation and describe how the CFD results are used qualitatively and quantitatively to inform the design optimizations. revision: partial

standing simulated objections not resolved

Provision of direct comparisons between simulated dew-point margins or flow patterns and experimental measurements, due to the unavailability of relevant measured data from the ITk at this stage.

Circularity Check

0 steps flagged

No circularity; forward CFD simulation with no derivations or self-referential steps

full rationale

The paper describes application of standard computational fluid dynamics software to simulate thermoflow, nitrogen flushing, air ingress, and dew-point conditions in the ITk volume under operational and fault scenarios (e.g., -55 °C coolant). No equations, fitted parameters, predictions derived from subsets of data, or uniqueness theorems are presented. The central claim rests on running the model to obtain quantitative/qualitative insight, which does not reduce to any input by construction. No self-citations are load-bearing for the method itself. This is a typical forward simulation study whose validity depends on external CFD validation and mesh/turbulence choices, but those are separate from circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract does not mention any free parameters, axioms, or invented entities. The study relies on standard CFD modeling assumptions (e.g., continuum fluid behavior, chosen boundary conditions) that are not detailed here.

pith-pipeline@v0.9.0 · 5595 in / 1121 out tokens · 48007 ms · 2026-05-12T01:11:24.017346+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The computational fluid dynamics model presented in this study was used to provide quantitative and qualitative insight into the various operational and failure conditions, informing engineering design changes to optimise the flushing scheme
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The present work uses a CFD flow solver based on the finite volume method to solve the Reynolds-Averaged Navier-Stokes equations and species transport

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

23 extracted references · 23 canonical work pages

[1]

ATLAS Collaboration,The ATLAS Experiment at the CERN Large Hadron Collider, JINST3(2008) S08003 (cit. on p. 1). [2]ATLAS: A 25-Year Insider Story of the LHC Experiment, World Scientific, 2019, isbn: 978-981-327-179-1 (cit. on p. 1)

work page 2008
[2]

Aberle et al.,High-Luminosity Large Hadron Collider (HL-LHC): Technical design report, CERN Yellow Reports: Monographs, Geneva: CERN, 2020 (cit

O. Aberle et al.,High-Luminosity Large Hadron Collider (HL-LHC): Technical design report, CERN Yellow Reports: Monographs, Geneva: CERN, 2020 (cit. on p. 1)

work page 2020
[3]

ATLAS Collaboration,ATLAS Inner Tracker Strip Detector: Technical Design Report, ATLAS-TDR-025; CERN-LHCC-2017-005, CERN Document Server, 2017 (cit. on pp. 1–3, 9)

work page 2017
[4]

ATLAS,Letter of Intent for the Phase-II Upgrade of the ATLAS Experiment, tech

C. ATLAS,Letter of Intent for the Phase-II Upgrade of the ATLAS Experiment, tech. rep., CERN Document Server: CERN, 2012 (cit. on p. 1)

work page 2012
[5]

ATLAS Collaboration,ATLAS Inner Tracker Pixel Detector: Technical Design Report, ATLAS-TDR-030; CERN-LHCC-2017-021, CERN Document Server, 2017 (cit. on p. 2)

work page 2017
[6]

Consales et al.,Nanoscale TiO2-coated LPGs as radiation- tolerant humidity sensors for high-energy physics applications, Opt

M. Consales et al.,Nanoscale TiO2-coated LPGs as radiation- tolerant humidity sensors for high-energy physics applications, Opt. Lett.39(2014) 4128 (cit. on p. 2)

work page 2014
[7]

Berruti,Radiation tolerant fiber optic humidity sensors for High Energy Physics Applications, PhD Thesis, Universita’ degli Studi del Sannio (2015) 1 (cit

G. Berruti,Radiation tolerant fiber optic humidity sensors for High Energy Physics Applications, PhD Thesis, Universita’ degli Studi del Sannio (2015) 1 (cit. on p. 2)

work page 2015
[8]

K. H. Versteeg and W. Malalasekera, An Introduction to Computational Fluid Dynamics : The Finite Volume Method, 1st ed., Essex: Longman Scientific and Technical, 1995 (cit. on pp. 3, 7)

work page 1995
[9]

S. V. Patankar,Numerical Heat Transfer and Fluid Flow, 1st ed., Minnesota: Hemisphere Publishing Corporation, 1980 (cit. on pp. 3, 7)

work page 1980
[10]

Ansorge,Mathematical Models of Fluid Dynamics: Modelling, Theory, Basic Numerical Facts - An Introduction, 1st ed., Hamburg: WILEY-VCH GmbH&Co

R. Ansorge,Mathematical Models of Fluid Dynamics: Modelling, Theory, Basic Numerical Facts - An Introduction, 1st ed., Hamburg: WILEY-VCH GmbH&Co. KGaA, Weinheim, Inc., 2003 (cit. on p. 3)

work page 2003
[11]

Chua and W

X Cui, K. Chua and W. Yang, Numerical simulation of a novel energy-efficient dew-point evaporative air cooler, Applied energy136(2014) 979 (cit. on p. 3)

work page 2014
[12]

Sadrameli,Numerical modeling and optimization of thermal comfort in building: Central composite design and CFD simulation, Energy and Buildings164(2018) 187 (cit

M Alizadeh and S. Sadrameli,Numerical modeling and optimization of thermal comfort in building: Central composite design and CFD simulation, Energy and Buildings164(2018) 187 (cit. on p. 3)

work page 2018
[13]

Palmowska and B

A. Palmowska and B. Lipska,Research on improving thermal and humidity conditions in a ventilated ice rink arena using a validated CFD model, International Journal of Refrigeration86(2018) 373 (cit. on pp. 3, 4). 18

work page 2018
[14]

Yu and L

X. Yu and L. Yan, ‘High Humidity Aerodynamic Effects Study on Offshore Wind Turbine Airfoil/Blade Performance Through CFD Analysis’,Turbo Expo: Power for Land, Sea, and Air, vol. 50961, American Society of Mechanical Engineers, 2017 V009T49A001 (cit. on p. 4)

work page 2017
[15]

T. Wen, L. Lu, W. He and Y. Min,Fundamentals and applications of CFD technology on analyzing falling film heat and mass exchangers: A comprehensive review, Applied Energy261(2020) 114473, issn: 0306-2619 (cit. on p. 4)

work page 2020
[16]

Kim and G

G. Kim and G. Lee,Validation of CFD models of urban microclimates under high temperature and humidity conditions during daytime heatwaves in dense low-rise areas, Building and Environment266(2024) 112087,issn: 0360-1323 (cit. on p. 4)

work page 2024
[17]

R. J. Atkin and S. Yacoob, ‘Simulation of the strip sub-detectors in the Inner Tracker of the ATLAS detector’, The Proceedings of SAIP2021, the 65th Annual Conference of the South African Institute of Physics, edited by Prof. Aletta Prinsloo, (UJ), South African Institute of Physics, 2021 193, isbn: 978-0-620-97693-0 (cit. on p. 6)

work page 2021
[18]

G. A. Munoz,Lecture 3: Introduction to ANSYS Meshing, ANSYS Online Teaching (2015) 1 (cit. on p. 7)

work page 2015
[19]

ANSYS Fluent Technical Staff,ANSYS Fluent 19.0 Theory Guide, ANSYS Inc., Canonsburg, PA USA, 2019 (cit. on pp. 7–9)

work page 2019
[20]

D. C. Wilcox,Turbulence Modelling for CFD, 2nd ed., Glendale, CA: Griffin Printing, Inc., 1994 (cit. on p. 8)

work page 1994
[21]

M. G. Lawrence,The Relationship between relative humidity and the dewpoint temperature in moist Air: A simple conversion and applications, Bulletin of the American Meteorological Society86(2005) 225 (cit. on p. 9)

work page 2005
[22]

C. Lacasta,The ATLAS ITk strip detector system for the phase-II LHC upgrade, Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment1078(2025) 170600,issn: 0168-9002 (cit. on p. 9)

work page 2025
[23]

Tomassini,Leak Rate Specification for the Pixels PP1, ATLAS Technical Documentation AT2-IP-ES-0008 (2025) 1 (cit

F.Rosatelli and S. Tomassini,Leak Rate Specification for the Pixels PP1, ATLAS Technical Documentation AT2-IP-ES-0008 (2025) 1 (cit. on p. 9). 19

work page 2025