Searcharxiv⌕ Search

arXiv subjects

Xuan Tung Vu

Publications and source records attributed to Xuan Tung Vu.

2 recordsLinked to original sources

Investigation of regional variations in CO$_2$ growth rates : Integrating Emission Inventories and Atmospheric Observations

Atmospheric carbon dioxide (CO2) growth rates reflects the combined influence of anthropogenic emissions, biospheric carbon exchange, and climate variability. While climate mitigation is primarily evaluated using bottom-up emission inventories within political boundaries, there is a need to validate these emission reductions using atmospheric measurements. Here, we present a global top-down analysis of atmospheric CO2 growth rates using CAMS atmospheric CO2 reanalysis, EDGAR anthropogenic emissions, GOSIF dataset and the Southern Oscillation Index (SOI) as a measures of biospheric activity, to quantify the relative influence of human and natural drivers. We find that atmospheric CO2 growth rate varies substantially across space and time but is dominated by natural carbon-cycle processes and global background trends. Anthropogenic emission signals are frequently masked by natural variability, making regional top-down detection of human emission changes difficult. The COVID-19 emission reductions in 2020, despite occurring during a neutral ENSO year, were not consistently reflected in regional atmospheric CO2 growth rates, highlighting the dominant roles of biospheric dynamics and atmospheric transport. Using unsupervised clustering and persistence analysis, we identify five characteristic carbon-cycle regimes. Spatial averaging removes much of the regional variability, leaving large-scale climate as the dominant control in most regimes. The active biosphere is the main exception, where strong biogenic signals persist, underscoring the critical role of tropical forests in shaping atmospheric CO2 variability.

physics.ao-ph↗

Subtropical Satisfiability

Quantifier-free nonlinear arithmetic (QF_NRA) appears in many applications of satisfiability modulo theories solving (SMT). Accordingly, efficient reasoning for corresponding constraints in SMT theory solvers is highly relevant. We propose a new incomplete but efficient and terminating method to identify satisfiable instances. The method is derived from the subtropical method recently introduced in the context of symbolic computation for computing real zeros of single very large multivariate polynomials. Our method takes as input conjunctions of strict polynomial inequalities, which represent more than 40% of the QF_NRA section of the SMT-LIB library of benchmarks. The method takes an abstraction of polynomials as exponent vectors over the natural numbers tagged with the signs of the corresponding coefficients. It then uses, in turn, SMT to solve linear problems over the reals to heuristically find suitable points that translate back to satisfying points for the original problem. Systematic experiments on the SMT-LIB demonstrate that our method is not a sufficiently strong decision procedure by itself but a valuable heuristic to use within a portfolio of techniques.

cs.LO↗