arXiv subjects

Mingyu Li

Publications and source records attributed to Mingyu Li.

At least 37 records · Page 2Linked to original sources

arXiv2026

SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction

Compiler bugs are pervasive in modern compiler systems, but the test programs that trigger them are often too large for practical debugging. Program reduction addresses this by minimizing test program size while preserving the original bug-triggering behavior. Existing approaches mainly rely on syntax-guided, rule-based deletion strategies that iteratively remove parts of the program in a trial-and-error manner. While effective in reduction quality, these approaches suffer from slow reduction speed. This paper presents SimP, a program reduction framework that combines traditional reduction with LLM-based syntax- and semantic-guided reduction. SimP leverages customized prompt design to guide the reduction process. SimP synergistically combines rule-based and LLM-based reduction stages to optimize the reduction performance. The results show that SimP improves reduction efficiency while achieving comparable reduction quality, with negligible LLM monetary cost.

cs.PL↗

arXiv2026

Determinism-Preserving GPU Spatial Sharing with Vitamin-E

GPU sharing faces a determinism--utilization tradeoff: fixed bindings can strand capacity as demand fluctuates, while resource-driven kernel reshaping improves utilization by altering a launch's parallel structure, potentially changing output bits. We rethink modern GPU scheduling and observe that it decouples logical structure from physical width: one unmodified launch spans a family of widths through changes in block placement and wave count. From this observation, we derive the parallel-structure invariant: for fixed-structure deterministic workloads, keeping each launch immutable makes its output bits independent of physical width. Guided by this invariant, Vitamin-E late-binds immutable launches to pooled physical contexts, preserving bitwise equality across allocations, whereas resource-driven reshaping can alter the selected token under temperature-zero greedy decoding. Across all workload--baseline comparisons, Vitamin-E achieves up to 3.50$\times$ the aggregate normalized LLM training throughput, 62.5\% lower inference p99 latency, and 1.43$\times$ the background-training throughput. With the same mechanism, \textsc{TPOT-First} reduces TPOT SLO violations by up to 46.1\% over \textsc{Throughput-Oriented} on three serving workloads, demonstrating mechanism effectiveness and policy flexibility.

cs.DC↗

arXiv2026

Distinguishing types of correlated errors in superconducting qubits

Errors in superconducting qubits that are correlated in time and space can pose problems for quantum error correction codes. Radiation from cosmic and terrestrial sources can increase the quasiparticle (QP) density in a superconducting qubit device, resulting in an increased rate of QPs tunneling across proximal Josephson junctions (JJs) and causing correlated errors. Mechanical vibrations, such as those induced by the pulse tube (PT) in a dry dilution refrigerator, are also a known source of correlated errors. We measure two types of errors in the same device, linking the first to ionizing radiation and the second to PT operation. We present a method for distinguishing these two types of errors by their temporal, spatial, and frequency domain features, enabling physically motivated error-mitigation strategies. We also present accelerometer data to study the correlation between PT-induced vibrations and the errors. We measure arrays of transmon qubits where the difference in superconducting gap across the JJ is less than the qubit energy, as well as those where the gap is greater than the qubit energy, which has been shown to mitigate radiation-induced errors. The rate of both types of errors is reduced in these latter devices, suggesting that gap engineering is also protective against PT-induced errors.

quant-ph↗

arXiv2026

Accelerating Confidential Databases with Crypto-free Mappings

Confidential databases (CDBs) enable secure queries over sensitive data in untrusted cloud environments using confidential computing hardware. While adoption is growing, widespread deployment is hindered by high overheads from frequent synchronous cryptographic operations, which cause significant computational and I/O bottlenecks. ZENO is a novel CDB design that removes cryptographic operations from the critical path. It introduces crypto-free mappings that maintain data-independent identifiers within the database while securely mapping them to plaintext secrets in a trusted domain. This paradigm shift yields substantial performance gains across industry-standard benchmarks (TPC-C, TPC-H) and a real-world industrial workload. Specifically, ZENO speeds up TPC-H queries by up to 53.1x on ARM S-EL2 and 94.7x on x86 TDX compared to HEDB. ZENO's optimization techniques have been integrated into GaussDB.

cs.CR↗

arXiv2026

Zangetsu: A Candidate of Isolated, Quiescent, and Backsplash Ultra-Diffuse Galaxy in the COSMOS Field

Deep imaging surveys have changed our view of the low surface brightness (LSB) Universe. The ``renaissance'' of the LSB galaxy population, as a prime example of this recent development, continues to challenge our understanding of galaxy formation. Here, we report the serendipitous discovery of Zangetsu, an isolated, quiescent, and distorted ultra-diffuse galaxy (UDG) candidate in the COSMOS field, using images from the Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP). Zangetsu exhibits an extremely low central surface brightness ($\mathrm{μ_{0,g}}=26.60\pm0.01$ mag arcsec$^{-2}$), a very shallow inner surface brightness profile ($\mathrm{n}_{\rm Sersic}=0.40\pm0.01$), and a large angular size ($\mathrm{R_e}\approx 10.44$ arcsec). Surprisingly, Zangetsu also has a quiescent stellar population ($\mathrm{g-i}=0.96$), an unusually elongated shape ($\mathrm{b/a}\sim 0.25$), and mild morphological asymmetry, making it a rare case among known UDGs. Surface brightness fluctuation analysis of HSC and Hubble Space Telescope (HST) images only provides a distance lower limit of $D>25.4$ Mpc (thus $\mathrm{R_e}>1.38$ kpc). However, Zangetsu remains an extreme outlier in the luminosity-size relation of known LSB galaxies, suggesting that it could be an exceptionally large and/or diffuse system. Classic internal or external UDG formation mechanisms alone struggle to explain such a system. A backsplash origin may account for its isolation and quiescent nature. This finding also raises the possibility that current works may overlook similarly extreme, elongated systems that could further our understanding of the LSB Universe.

astro-ph.GA↗

arXiv2026

CV-DCLR: Causal-Visual Dynamic Label Refinement for Robust Zero-Shot Learning

Zero-Shot Learning (ZSL) facilitates knowledge transfer via shared semantic spaces. However, a critical bottleneck in this paradigm is Semantic Entanglement, where visual representations are inevitably conflated with visually similar semantic concepts, such as distinguishing the intrinsic traits of a Wolf from the shared features of a Husky. Existing global alignment methods often indiscriminately maximize correlations between visual and semantic modalities, leading models to overfit spurious similarities rather than capturing distinctive class identities. To address this fundamental limitation, we propose the Causal-Visual Dynamic Label Refinement (CV-DCLR) framework. Unlike traditional approaches that rely on superficial visual statistics, CV-DCLR recalibrates visual-semantic associations via a Dual-Stream Mutual Correction Mechanism. This includes a Visual Likelihood Stream to model observational patterns and a Causal Importance Stream that verifies the structural necessity of candidate prototypes through Counterfactual Intervention. Acting as a logical filter, our adaptive gating mechanism dynamically modulates feature responses to amplify genuine causal traits while suppressing visually plausible but structurally irrelevant distractors. Extensive experiments on the CUB, SUN, and AWA2 benchmarks under a rigorous Semantic Entanglement Injection protocol demonstrate that CV-DCLR significantly outperforms state-of-the-art methods in high-ambiguity scenarios. Specifically, while existing models suffer catastrophic degradation under entanglement, our framework maintains robust performance, effectively disentangling true class identities from semantic confounders.

cs.CV↗

arXiv2026

JWST COSMOS-3D: Spectroscopic Census and Luminosity Function of [O III] Emitters at 6.75<z<9.05 in COSMOS

We present a catalogue of spectroscopically selected [OIII]+Hb emitters at 6.75<z<9.05 and the resulting [OIII] 5008 ÅLuminosity Function (LF) in the COSMOS field. We leverage the 0.33 deg$^2$ covered by COSMOS-3D using NIRCam/WFSS F444W to perform the largest spectroscopic search for [OIII] emitters at 6.75<z<9.05. We present our catalogue of 249 [OIII] emitters and their associated completeness function. The inferred constraints on the [OIII] LF enable us to characterise the knee of the [OIII] LF, resulting in improved [OIII] LF constraints at z~7,8. Notably, we find evidence for a decline of the [OIII] luminosity density between z~7 and z~8, which could be expected if the metallicity of [OIII] emitters, as well as the cosmic star-formation rate density, is declining at these redshifts. We find that theoretical models that reproduce the z~7,8 [OIII] LF do not reproduce well the [OIII] equivalent width distribution, pointing to potential challenges in the modelling of[OIII] and other nebular lines in the early Universe. Finally, we provide the first constraints on the cosmic variance of [OIII] emitters, estimating at 15% the fractional uncertainty for the z~7,8 [OIII] LF in the 0.33 deg$^2$ field. This estimate is in good agreement with that inferred from clustering, and shows that the [OIII] LF derived from smaller extragalactic legacy fields is strongly affected by cosmic variance. Our results highlight the fundamental role that wide-area JWST slitless surveys play to map the galaxy large-scale structure down into the reionisation era, serving as a springboard for a variety of science cases.

astro-ph.GA↗

arXiv2026

ASPIRE: The Environments and Dark Matter Halos of Luminous Quasars in the Epoch of Reionization

We present a systematic study of the environments of 25 luminous quasars at $z > 6.5$ from the ASPIRE program. Using JWST/NIRCam WFSS data, we identified 487 galaxies at $5.3 \lesssim z \lesssim 7.0$ exhibiting [OIII] emission. Among these, 122 [OIII] emitters lie within $|Δv_{\rm los}| < 1000~{\rm km~s^{-1}}$ of the quasars, corresponding to a $\sim9.4$-fold enhancement relative to the average galaxy density at other redshifts. Furthermore, we identified 16 [CII]-emitting galaxies at the quasar redshifts from ALMA mosaic observations. A cross-correlation function (CCF) analysis between quasars and [OIII]+[CII] emitters yields a cross-correlation length of $r_0^{\rm QG} = 8.68^{+0.51}_{-0.55}~h^{-1}~\mathrm{cMpc}$ and a auto-correlation of $r_0^{\rm{QQ}}=15.76^{+2.48}_{-2.70}~h^{-1}~{\rm cMpc}$, indicating that $z \sim 7$ quasars reside in dark matter halos with $M_{\rm halo} = 10^{12.27^{+0.21}_{-0.26}}~M_\odot$. Notably, the number of [OIII]-emitting galaxies at quasar redshifts varies significantly from field to field, ranging from zero to twenty, highlighting a diverse quasar environment. Remarkably, seven quasars trace significant galaxy overdensities (i.e., protoclusters), with $δ_{\rm gal} > 5$ within a volume of $V \sim 500~{\rm cMpc^3}$. We also find that $|Δv_{\rm los}|$ increases rapidly toward smaller galaxy-quasar separations in protocluster fields, consistent with galaxy kinematics around extremely massive halos in cosmological simulations. By combining JWST and ALMA data, we reveal the complex and diverse environments of these early quasars, providing robust evidence that the earliest luminous quasars are effective tracers of galaxy overdensities, albeit with substantial field-to-field variation.

astro-ph.GA↗

arXiv2026

A massive barred spiral galaxy at z = 5.102 discovered by JWST

We report M1149-BSG-z5, a barred spiral galaxy at $z = 5.102$, identified in the parallel field of MACS J1149+2223 with JWST and HST. M1149-BSG-z5 is the highest redshift barred galaxy candidate to date. Both isophote ellipse fitting and structural modeling support a stellar bar of length $a_\mathrm{bar} \approx 4.5$ kpc, and extended spiral arms peaking at $r \approx 5.5$ kpc. M1149-BSG-z5 is a massive main sequence star-forming galaxy, with a stellar mass of $10^{10.45}\rm M_\odot$ and a star-formation rate of $144\,\rm M_\odot/yr$. A concentrated bulge is embedded in an extended disk with a global Sérsic index $n = 2.37$. With an effective radius of $R_{e} = 2.61\rm \ kpc$, M1149-BSG-z5 is larger than typical galaxies at $z \sim 5$ and comparable to barred galaxies at $2 < z < 4$. M1149-BSG-z5 also hosts a broad-line AGN, with a relatively low black-hole-to-stellar mass ratio of $\rm M_{\rm BH}/M_\ast\sim10^{-3}$. Its metal-enriched emission-line properties indicate that it is already chemically evolved. These properties imply M1149-BSG-z5 as an early-assembled and structurally evolved galaxy. We also find that M1149-BSG-z5 resides in an overdense region with a nearby companion galaxy, suggesting an interaction-driven bar formation mechanism. Its concentrated light, early assembly and main-sequence star formation also suggest baryon-dominated, gas-rich conditions, where gravitational instability can further accelerate the bar formation.

astro-ph.GA↗

arXiv2026

A Strongly Lensed Ultra-faint Arc at $z \approx 10$ with an F200W excess in Abell S1063

Strong gravitational lensing provides a powerful route to probing intrinsically faint galaxies during the first few hundred million years of cosmic history. In this Letter, we report the identification of GAR10, a highly magnified F115W-dropout galaxy at $z\approx10$ in the Abell S1063 cluster field, using deep JWST/NIRCam imaging from the GLIMPSE and GO-1840 programs. The source shows an unusually blue ultraviolet (UV) continuum and a significant F200W excess relative to adjacent bands. Under our high-magnification lensing solution, we infer a median magnification of $μ=43^{+78}_{-20}$, corresponding to an intrinsic UV magnitude of $M_{\rm UV}\approx-15.8$. We use exploratory Prospector SED modeling to examine two physically motivated interpretations of the observed photometry. In Case I, GAR10 is described by an extremely metal-poor, continuum-dominated stellar population at $z=10.75_{-0.34}^{+0.41}$, with a blue UV slope of $β=-2.92\pm0.12$ and a low metallicity of $\log(Z/Z_\odot)=-3.56_{-0.85}^{+0.65}$, consistent with an extremely metal-poor or Pop III-like continuum-dominated interpretation under the adopted priors. In Case II, GAR10 is interpreted as an extremely young (1--3 Myr), high-ionization galaxy at $z=10.45_{-0.21}^{+0.11}$, in which the F200W excess is produced by intense rest-frame UV emission lines, including CIV, HeII, and CIII]. Both cases can partially reproduce the current photometry within the adopted priors, but they imply distinct ionizing sources, enrichment histories, and possible contributions to cosmic reionization. GAR10 therefore represents a rare laboratory for studying ultra-faint galaxy formation at cosmic dawn. Future JWST/NIRSpec spectroscopy will be essential to distinguishing between the steep continuum and emission-line origins of the F200W excess.

astro-ph.GA↗

arXiv2026

Low-Rank Decay for Grokking in Scale-Invariant Transformers: A Spectral-Geometric View

Modern Transformer architectures frequently employ normalization mechanisms such as RMSNorm and Query-Key Normalization, making parts of the model approximately scale-invariant with respect to weight magnitudes. In this regime, standard Frobenius-norm weight decay acts purely along the radial direction of the weight space and cannot directly simplify the function represented by the normalized layer. We study grokking in small algorithmic tasks through this lens and propose \emph{Low-Rank Decay} (LRD), a nuclear-norm-like spectral regularizer whose subgradient -- the polar factor $UV^\top$ -- retains a tangential component even in the scale-invariant setting. This distinction has a concrete dynamical consequence: after the model memorizes the training set and task gradients vanish, L2 decay can no longer reshape the weight spectrum, whereas LRD continues to compress singular values in an $\ell_1$-like fashion. On modular arithmetic tasks, we find that LRD induces rapid effective-rank collapse in Query/Key matrices and expands the data-fraction boundary at which delayed generalization (grokking) occurs. We further provide a spectral-geometric interpretation through the ``needle-to-fan'' expansion of the nuclear-norm subdifferential near low-rank strata.

cs.LG↗

arXiv2026

Little red dots as a cosmological probe: constraining $H_0$ with quasi-periodic pulsations

The James Webb Space Telescope (JWST) has uncovered a population of ``little red dots'' (LRDs) at $z \gtrsim 4$, potentially representing early supermassive black holes embedded in dense gaseous envelopes. The recent discovery of the lensed LRD RXJ2211-RX1 reveals significant variability on rest-frame timescales of decades, which may be interpreted as quasi-periodic variation that has a potential physical parallel to stellar pulsations. In this work, we derive an idealized, self-consistent period-luminosity-temperature ($P$-$L$-$T_{\rm eff}$) relation based on the hydrostatic envelope model. If this theoretical relation holds and can be empirically validated/calibrated, it would offer a novel framework for constraining the Hubble constant ($H_0$). The current sparse sampling of \tgta\ yields a preliminary $H_0 = 120.7_{-46.5}^{+47.0} \text{ km s}^{-1}\text{ Mpc}^{-1}$ as a proof-of-concept, with the error budget dominated by the uncertainty of the pulsation period. Our forecasting analysis shows that continuous monitoring over a 10-year baseline can reduce the $H_0$ uncertainty to 3-20\%, depending on the intrinsic pulsation period, while the systematic uncertainty floor remains to be fully characterized. This method offers a potential independent probe to measure luminosity distances in the early universe.

astro-ph.GA↗

arXiv2026

Characterization of Aluminum Microwave SQUID Multiplexers for CE$ν$NS Detection

We present the design, fabrication, and characterization of an aluminum-based six-channel microwave SQUID multiplexer ($μ$MUX) prototype for transition-edge sensor (TES) readout in the RICOCHET experiment. The device consists of aluminum coplanar-waveguide resonators and RF SQUIDs with Dolan-style Al/AlO$_x$/Al Josephson junctions. By measuring the resonator scattering parameters at a range of probe tone frequencies, powers, and flux bias points, we demonstrate agreement between the device response and existing multiplexer models. We also characterize the noise performance in both open-loop and flux-ramping modes. With a high electron mobility transistor (HEMT) amplifier, open-loop measurements yield a flux sensitivity of 1-1.5 $μΦ_0/\sqrt{Hz}$. With flux-ramp modulation, low-frequency 1/f noise is suppressed, and the flux sensitivity is around 3-4 $μΦ_0/\sqrt{Hz}$, corresponding to a current sensitivity of 24-33 $pA/\sqrt{Hz}$ at the input coil. We further demonstrate a reduction in readout noise by incorporating a Josephson traveling-wave parametric amplifier (JTWPA) between the $μ$MUX and the HEMT. This achieves an open-loop flux sensitivity of 0.3-0.6 $μΦ_0/\sqrt{Hz}$ and an effective system noise temperature below 1 K. These results establish aluminum $μ$MUX devices as a viable and extensible readout technology for low-noise cryogenic detector arrays.

physics.ins-det↗

arXiv2026

A Post-starburst Galaxy Undergoing Ram-pressure Stripping at Redshift 3.06

Understanding how galaxies ignite and extinguish their star formation remains a cornerstone question in modern astrophysics. Recent JWST surveys have revealed an overabundance of massive quiescent galaxies in the first billion years of the Universe, challenging current models of galaxy evolution. In the nearby Universe, ram pressure stripping (RPS) is a major environmental mechanism capable of rapidly shutting down star formation, yet direct observation remains scarce at redshift $z\gtrsim1$, and its role at $z>2$ is even poorly constrained by simulations. Here, we utilize JWST and ALMA observations to present direct evidence of RPS in the post-starburst galaxy A2744-JF-z3, residing in a galaxy group at redshift 3.06, the earliest such detection to date. Spectroscopic diagnostics and spectral energy distribution modeling reveal the ongoing removal of cold gas and dust, coincident with the abrupt cessation of star formation. Contrary to hydrodynamical simulations that predict a reduced incidence of RPS at high redshift, our results instead imply that RPS can operate at $z>3$, suggesting a highly stochastic and impulsive stripping within a clumpy, filamentary intra-group and circumgalactic medium. These observations extend environmental quenching well into the epoch of galaxy assembly, highlighting RPS as a previously overlooked decisive pathway to rapid quenching in nascent groups and protoclusters in the early Universe.

astro-ph.GA↗

arXiv2026

(LRDs)$^2$: The Low-ReDshift Little Red Dots Survey. II. DESI DR1 Sample

JWST has revealed a substantial population of "Little Red Dots" (LRDs) at $z>4$, challenging conventional AGN frameworks. However, the low-redshift regime remains largely unexplored. In the second paper of the (LRDs)$^2$ series, we present a systematic selection from DESI DR1 and identify 27 LRDs at $z=0.2-0.9$, yielding a number density lower limit of $7.5 \times 10^{-10}$ cMpc$^{-3}$. We conducted near-IR spectroscopic follow-up observations for 18 of them, revealing their full SED shapes and emission lines. These low-$z$ LRDs share the hallmark properties of their high-$z$ counterparts: compact morphology, V-shaped UV-optical continua, broad Balmer emission with extreme decrements (median H$α$/H$β\sim 16$), frequent Balmer absorption (67%), and blackbody-like optical-to-near-IR continua. All have low metallicity, occupy the same regions in the BPT diagram as high-$z$ LRDs, and have softer ionizing spectra than typical AGNs. The consistency between low-$z$ and high-$z$ LRD properties indicates the same physical processes at work. The correlation between broad-line Balmer luminosity and $L_{5100}$ deviates from that of local type-1 AGNs, limiting the direct application of local BH mass calibrations. Ionized [O III] outflows are ubiquitous (78%). One LRD at $z=0.196$, J1717+3807, shows robust long-term variability in $i$ and WISE bands. The optical-to-NIR continua of LRDs reveal a wide range of temperatures $\sim 2000-4700$ K (peak $0.6-1.5$ $μ$m), with a subset showing cooler and larger envelopes than those at high $z$. Low-$z$ LRDs serve not only as proximate laboratories for probing the nature of LRDs, but also trace the cosmic evolution of this population from the cosmic dawn to the present day.

astro-ph.GA↗

arXiv2026

A Case for Agentic Tuning: From Documentation to Action in PostgreSQL

Documentation has long guided computer system tuning by distilling expert knowledge into per-parameter recommendations. Yet such guides capture only what experts conclude, discarding how they reason. This fundamental gap manifests in three concrete deficiencies: documentation grows stale as software evolves, fails under heterogeneous workloads, and ignores inter-parameter dependencies. We propose shifting from static documentation to dynamic action for system tuning. We introduce PerfEvolve, which translates expert tuning methodologies into executable skills that equip LLM-based agents to perform version-consistency verification, workload-specific profiling, and multi-parameter joint optimization. Evaluated on PostgreSQL under TPC-C and TPC-H benchmarks, PerfEvolve outperforms state-of-the-art documentation-driven tuning baselines by up to 35.2%. The tool is available at https://github.com/ISCAS-OSLab/PerfEvolve.

cs.SE↗

arXiv2026

Extreme Galaxy-scale Outflows Are Frequent among Luminous Early Quasars

The existence of abundant post-starburst/quiescent galaxies just $\sim$1-2 Gyrs after the Big Bang challenges our current paradigm of galaxy evolution. Cosmological simulations suggest that quasar feedback is likely the most promising mechanism responsible for such rapid quenching. Here we report a high detection rate (6/27) of exceptionally fast and powerful galaxy-scale outflows traced by [O III] emission in z $\sim$ 5-6 luminous quasars as revealed by the James Webb Space Telescope (JWST), with velocity up to $\sim$8400 km s$^{-1}$ and order-of-magnitude kinetic energy outflow rates up to $\sim$260% the observed quasar bolometric luminosities. This fraction is $>$3.9 and $\sim$8.8 times of those in comparison samples at z $\sim$ 1.5-3.5 and z $<$ 1, respectively. These extreme outflows are comparable to or even faster than the most rapid [O III] outflows reported at z $\lesssim$ 3, and could reach the circumgalactic medium (CGM) or even the intergalactic medium (IGM). The average kinetic energy outflow rate of our sample is more than 2 dex higher than those of the lower-redshift comparison samples. The substantially higher frequency of outflows with energetics well above the threshold for negative feedback in our sample strongly suggests that quasar feedback plays a significant role in efficiently quenching/regulating early massive galaxies.

astro-ph.GA↗

arXiv2026

Integration of Silica in G4CMP for Phonon Simulations: Framework and Tools for Material Integration

Superconducting detectors with sub-eV energy resolution have demonstrated success setting limits on Beyond the Standard Model (BSM) physics due to their unique sensitivity to low-energy events. G4CMP, a Geant4-based extension for condensed matter physics, provides a comprehensive toolkit for modeling phonon and charge dynamics in cryogenic materials. This paper introduces a technical formalism to support the superconducting qubit and low-threshold detector community in implementing phonon simulations in custom materials into the G4CMP. As a case study, we present the results of a detailed analysis of silica phonon transport properties relevant for simulating substrate backgrounds in Beryllium Electron capture in Superconducting Tunnel junctions (BeEST)-style experiments using G4CMP. Additionally, Python-based tools were developed to aid users in implementing their own materials and are available on the G4CMP repository.

physics.comp-ph↗