Li-Vary Models: Variability Across Domains
- Li-Vary Model is a descriptor for variability-aware frameworks that explicitly incorporate state, phase, or cycle dependence across different lithium systems.
- It unifies diverse applications—from reconciling the cosmological lithium problem in stellar evolution to enhancing ReRAM and battery operation models—by rejecting constant-parameter idealizations.
- The model’s methodologies provide practical insights into optimizing astrophysical predictions, nanoelectronic behavior, and power-systems operations through dynamic, sampled feasible operating regimes.
Searching arXiv for the term and the cited papers to ground the article. arxiv_search(query="3\3 Model3\3 OR 3\3 OR 3\3 Vary3\3 max_results=3 OR \3\3) arxiv_search(query="(&&&3\3&&&) OR (&&&3 OR \3&&&) OR (&&&3 OR \3&&&) OR (Gonzalez-Castellanos et al., 2019)", max_results=3 OR \3\3) “Li-Vary Model” is not a single standardized designation in the arXiv literature. In the available corpus, the label functions as an Editor’s term for several distinct variability-aware models involving lithium or Li-based systems: a multi-phase astrophysical framework for primordial, interstellar, and Galactic lithium evolution (&&&3\3&&&); a diffusion-enhanced enrichment scenario for Li-rich and super Li-rich giants (&&&3 OR \3&&&); the BELIEVER behavioral ReRAM model for leakage and inter-cycle variability (&&&3 OR \3&&&); and a non-ideal linear Li-ion battery operation model with state-dependent efficiencies and power limits (Gonzalez-Castellanos et al., 2019). This suggests that the term denotes a modeling style—explicitly representing variation with state, phase, or cycle—rather than a single formalism.
3 OR \3. Terminological scope and defining features
Across the cited works, “Li-Vary” denotes different objects. In stellar and Galactic astrophysics, it refers to lithium-abundance variability across primordial nucleosynthesis, pre-main-sequence processing, interstellar chemistry, and disc chemical evolution. In stellar-evolution modeling of red giants, it denotes lithium enrichment driven by element diffusion and flash-linked mixing. In nanoelectronic compact modeling, it is effectively synonymous with BELIEVER, a model for leakage and inter-cycle variability in ReRAM. In power-systems optimization, it refers to a linear Li-ion battery model that captures variation of efficiencies and power limits with state of charge and requested power (&&&3\3&&&, &&&3 OR \3&&&, &&&3 OR \3&&&, Gonzalez-Castellanos et al., 2019).
| Domain | Principal state variables | Variation represented |
|---|---|---|
| Galactic/stellar lithium evolution | PRESERVED_PLACEHOLDER_3\3, PRESERVED_PLACEHOLDER_3 OR \3^ | PMS destruction, residual accretion, ISM LiH, disc enrichment |
| Li-rich giant stars | PRESERVED_PLACEHOLDER_3 OR \3, , | diffusion-enhanced thermohaline transport during the He flash |
| ReRAM compact modeling | , | leakage/drift and device or cycle variability |
| Li-ion battery optimization | , , | SOC- and power-dependent efficiencies and limits |
A common structural feature is rejection of constant-parameter idealizations. Each model introduces explicit state dependence, memory, transport, or statistical dispersion, but the governing equations, observables, and intended applications differ fundamentally by domain.
3 OR \3. Primordial-to-Galactic lithium evolution
In the astrophysical usage, the Li-Vary framework is an overview of the proceedings paper “From the cosmological Li problem to the Galactic Li evolution” (&&&3\3&&&). The starting point is the cosmological lithium problem: standard BBN predicts a primordial Li abundance about three times higher than the values observed in old, metal-poor halo stars, typically expressed through the Spite plateau. The abundance scale is
PRESERVED_PLACEHOLDER_3 OR \3\3^
and the metallicity convention is
PRESERVED_PLACEHOLDER_3 OR \3 OR \3^
The stellar solution proposed in Fu et al. (3 OR \3\3 OR \35), implemented with the PARSEC stellar evolution code, combines pre-main-sequence convective overshooting and residual mass accretion with main-sequence nuclear burning and microscopic diffusion. The key sequence is explicitly temporal. First, lithium is “significantly depleted by convective OV in the PMS phase.” The relevant destruction channel is
PRESERVED_PLACEHOLDER_3 OR \3 OR \3^
active at temperatures of several PRESERVED_PLACEHOLDER_3 OR \33. Second, lithium is “partially restored in the stellar atmosphere by a tail of matter accretion,” with residual accretion self-consistently regulated by stellar EUV photoevaporation. Third, conventional nuclear burning and microscopic diffusion continue on the main sequence. The proceedings state that this model “successfully reproduce[s] the observed Li plateau and the declining branch at low temperatures, with an initial Li abundance of the BBN prediction value,” and also reproduces Li abundances in the globular clusters NGC 6397 and M4. The cluster comparisons involve low-mass stars in the range PRESERVED_PLACEHOLDER_3 OR \34–PRESERVED_PLACEHOLDER_3 OR \35 and ages from PRESERVED_PLACEHOLDER_3 OR \36 to PRESERVED_PLACEHOLDER_3 OR \37 Gyr.
The same synthesis extends beyond halo stars to the interstellar medium and Galactic discs. Molecular studies had suggested that “the majority of the interstellar Li is in the form of lithium hydride (LiH), which is well mixed in the molecular gas phase,” but the observational diagnostics are severe. NIR LiH lines around 8347 nm and 8357 nm are “ultra weak” and heavily blended, whereas the only possible line to measure LiH is the PRESERVED_PLACEHOLDER_3 OR \38–PRESERVED_PLACEHOLDER_3 OR \39 transition at 443.95 GHz (675 PRESERVED_PLACEHOLDER_3 OR \3\3m), for which ground transmission is very low. New ALMA observations toward two Milky Way clouds yielded only “marginal LiH detections,” with abundance lower than Galactic chemical evolution model predictions, indicating that “LiH might not be the main form of Li in the ISM.” The proceedings therefore favor a Galactic ISM lithium budget dominated by atomic or ionic Li rather than LiH.
For Galactic chemical evolution, Gaia-ESO main-sequence stars observed with UVES/VLT are chemically separated into thin and thick discs using PRESERVED_PLACEHOLDER_3 OR \3 OR \3. The stated trends are differential rather than fully parametrized: thin-disc stars have higher Li abundance than thick-disc stars at similar PRESERVED_PLACEHOLDER_3 OR \3 OR \3, and the fraction of Li-enriched stars, defined as PRESERVED_PLACEHOLDER_3 OR \33^ dex, is higher in the thin disc. An anti-correlation between PRESERVED_PLACEHOLDER_3 OR \34 and PRESERVED_PLACEHOLDER_3 OR \35 disfavors core-collapse supernovae as the dominant Li source for disc enrichment, while a positive correlation between PRESERVED_PLACEHOLDER_3 OR \36 and s-process elements suggests common sources in AGB stars. The implied contributors are BBN, cosmic-ray spallation, novae, AGB stars, Li-rich RGB stars, and possibly core-collapse supernovae, with novae highlighted among likely contributors. A standard chemical-evolution bookkeeping relation useful for synthesis is
PRESERVED_PLACEHOLDER_3 OR \37
with gas mass PRESERVED_PLACEHOLDER_3 OR \38, abundance PRESERVED_PLACEHOLDER_3 OR \39, star formation rate 3\3, stellar ejecta 3 OR \3, infall 3 OR \3, and outflow 3. In this formulation, different thin- and thick-disc star-formation or infall histories naturally generate different Li trajectories.
3. Diffusion-enhanced lithium enrichment in red giants
A second astrophysical Li-Vary usage appears in “Li-rich and super Li-rich giants produced by element diffusion” (&&&3 OR \3&&&). The model addresses the origin of Li-rich and super Li-rich giants by focusing on the compact He core of low-mass red giants and on the effect of element diffusion during the He-core flash. In MESA, diffusion is computed by solving Burgers’ equations with diffusion coefficients from Paquette et al. updated by Stanton and Murillo; radiative accelerations are set to zero. The physical claim is that strong gravity in the compact He core drives element diffusion, alters the local mean molecular weight 4 and its gradient 5, and thereby enhances thermohaline mixing efficiency.
The mechanism is explicitly tied to structural evolution. Diffusion reduces 6 and steepens a negative 7-gradient in the hydrogen-burning region, allowing the thermohaline mixing zone to expand inward and, during or after the He-core flash, connect to the inner convective region. This establishes a transport channel for freshly produced 8, which is carried outward to cooler envelope layers and then converted into 9 through the Cameron–Fowler chain,
3\3^
The abundance definition is again
3 OR \3^
A generic 3 OR \3D transport form consistent with the model is
3 OR \3^
The model setup is specific. It uses MESA revision r3 OR \3 OR \3778, OPAL and Helmholtz equations of state, OPAL and low-temperature Ferguson opacities, Reimers mass loss, the pp_and_cno_extras network, JINA REACLIB rates, and the updated 3 electron-capture rate from Simonucci et al. as tabulated by Vescovi et al. Thermohaline mixing is included with the Kippenhahn et al. prescription and 4. Initial composition assumes the solar abundance pattern of Asplund et al. (3 OR \3\3\39), metallicity 5, and meteoritic lithium abundance 6 dex. Simulated initial masses are 7, 8, 9, 3\3, 3 OR \3, and 3 OR \3; for 3, the envelope is hot enough that 4 is destroyed and the mechanism is no longer effective.
Quantitatively, diffusion alone raises the surface lithium abundance up to about 5 dex, sufficient to explain Li-rich giants under the observational criterion 6 dex. When the He-flash luminosity exceeds 7, the model introduces constant diffusive mixing coefficients 8–9. This extends the predicted abundance range from about 3\3^ dex to 3 OR \3^ dex: approximately 3 OR \3^ dex for 3, about 4–5 dex for 6, about 7–8 dex for 9, and about 3\3^ dex for 3 OR \3. The enrichment becomes prominent about 3 OR \3^ Myr after the first He flash and can remain elevated for several Myr if the enhanced mixing persists. The model therefore spans both Li-rich and super Li-rich regimes, including the abundance of TYC 43 OR \39-3 OR \3\397-3 OR \3^ at approximately 3 dex.
The population-synthesis component uses a Kroupa et al. IMF and Monte Carlo generation of 4 single stars. For 5, 6, 7, and 8, the predicted fraction of Li-rich giants among all giants is 9, 3\3, 3 OR \3, and 3 OR \3, respectively, matching the observed range of about 3–4. The enrichment is triggered around the RGB tip during the first He flash and manifests in the subsequent core He-burning red-clump phase, consistent with the statement that most Li-rich giants identified asteroseismically are RC stars.
4. BELIEVER as a variability model for ReRAM
In nanoelectronic modeling, the Li-Vary designation is attached to BELIEVER, the “BEhavioral Leakage and IntEr-cycle Variability Emulator model for ReRAMs” (&&&3 OR \3&&&). The paper explicitly states that it does not use the phrase “Li-Vary Model,” but BELIEVER was created to capture exactly two effects: leakage, meaning state drift in the absence of stimulus, and inter-cycle variability, meaning cycle-to-cycle parameter variation. The model augments the VTEAM voltage-controlled memristor with a leakage term and with SPICE-level statistical variability of key parameters.
The underlying state variable is 5, bounded between 6 and 7, and the terminal behavior is a state-dependent resistance between 8 and 9. BELIEVER introduces a leakage-capacity term 3\3^ that integrates recent switching activity and decays with a time constant 3 OR \3. In the idle region, where 3 OR \3, 3 contributes to 4 and thus produces drift. The interpretation given in the paper is that 5 accumulates recent state change, while 6 and 7 weight how SET and RESET fill the leakage capacity. In the presented calibration, 8 and 9, consistent with measurements showing drift after SET but not after RESET.
The variability machinery is statistical and implemented entirely in SPICE via .gauss() and .flat(). Gaussian dispersion is used for PRESERVED_PLACEHOLDER_3 OR \3\3\3^ and PRESERVED_PLACEHOLDER_3 OR \3\3 OR \3; uniform distributions are used for thresholds PRESERVED_PLACEHOLDER_3 OR \3\3 OR \3^ and PRESERVED_PLACEHOLDER_3 OR \3\33^ and for the dynamics parameters PRESERVED_PLACEHOLDER_3 OR \3\34 and PRESERVED_PLACEHOLDER_3 OR \3\35. The fitted parameter set for KNOWM Self-Directed Channel ReRAM includes PRESERVED_PLACEHOLDER_3 OR \3\36 with PRESERVED_PLACEHOLDER_3 OR \3\37 and PRESERVED_PLACEHOLDER_3 OR \3\38, PRESERVED_PLACEHOLDER_3 OR \3\39 with PRESERVED_PLACEHOLDER_3 OR \3 OR \3\3^ and PRESERVED_PLACEHOLDER_3 OR \3 OR \3 OR \3, PRESERVED_PLACEHOLDER_3 OR \3 OR \3 OR \3, PRESERVED_PLACEHOLDER_3 OR \3 OR \33, PRESERVED_PLACEHOLDER_3 OR \3 OR \34, PRESERVED_PLACEHOLDER_3 OR \3 OR \35, PRESERVED_PLACEHOLDER_3 OR \3 OR \36, PRESERVED_PLACEHOLDER_3 OR \3 OR \37, and PRESERVED_PLACEHOLDER_3 OR \3 OR \38. The average deviation metric used for validation is
PRESERVED_PLACEHOLDER_3 OR \3 OR \39
Calibration is measurement-driven. Devices are formed using a 3 OR \3\3\3^ Hz sine with gradually increasing amplitude until hysteresis is observed, under current compliance of approximately PRESERVED_PLACEHOLDER_3 OR \3 OR \3\3. Resistance variation is extracted from repeated SET and RESET sequences; threshold voltages are obtained from forming hysteresis by detecting points with PRESERVED_PLACEHOLDER_3 OR \3 OR \3 OR \3; leakage is measured by low-voltage probing after RESET and after SET. The observed drift is directionally asymmetric: no significant drift after RESET, pronounced resistance increase after SET, initially strong and decaying over approximately PRESERVED_PLACEHOLDER_3 OR \3 OR \3 OR \3–PRESERVED_PLACEHOLDER_3 OR \3 OR \33^ s. BELIEVER reproduces this shape. The reported average absolute relative deviation for leakage over 3 OR \3\3^ tested cases is approximately PRESERVED_PLACEHOLDER_3 OR \3 OR \34, with worst case at most PRESERVED_PLACEHOLDER_3 OR \3 OR \35; for SET and RESET dynamics, the average deviation over 3 OR \3\3\3^ cases is approximately PRESERVED_PLACEHOLDER_3 OR \3 OR \36, with worst case at most PRESERVED_PLACEHOLDER_3 OR \3 OR \37.
The practical significance lies in circuit-level consequences. BELIEVER is a pure-SPICE, LTSpice-compatible, drop-in replacement for VTEAM, with one extra first-order ODE for PRESERVED_PLACEHOLDER_3 OR \3 OR \38 and minimal computational overhead. The case studies quantify correctness degradation in stateful logic. IMPLY NOR reaches overall correctness of approximately PRESERVED_PLACEHOLDER_3 OR \3 OR \39; MAGIC NOR, under the stated technology and voltage constraints, about PRESERVED_PLACEHOLDER_3 OR \33\3; FELIX OR about PRESERVED_PLACEHOLDER_3 OR \33 OR \3; and TMSL NOR about PRESERVED_PLACEHOLDER_3 OR \33 OR \3. The model thereby recasts leakage and cycle dispersion as first-class compact-model variables rather than post hoc uncertainty.
5. Non-ideal linear operation model for Li-ion batteries
In power-systems optimization, the Li-Vary designation refers to the non-ideal linear operation model for a Li-ion battery introduced in (Gonzalez-Castellanos et al., 2019). The model was developed because conventional operation and planning formulations assume constant charge and discharge efficiencies and constant power limits independent of state of charge, an assumption that can misestimate available storage flexibility. The proposed formulation instead treats efficiencies and power limits as functions of state of charge and requested power, while deriving a linear reformulation without binary variables.
The state variables are the stored energy PRESERVED_PLACEHOLDER_3 OR \333^ and the state of charge
PRESERVED_PLACEHOLDER_3 OR \334
with terminal charging and discharging powers PRESERVED_PLACEHOLDER_3 OR \335 and PRESERVED_PLACEHOLDER_3 OR \336, and internal electrochemical powers PRESERVED_PLACEHOLDER_3 OR \337 and PRESERVED_PLACEHOLDER_3 OR \338. The model uses an equivalent steady-state circuit with equilibrium voltage PRESERVED_PLACEHOLDER_3 OR \339 and resistances PRESERVED_PLACEHOLDER_3 OR \3(Fu, 2020) OR (Gao et al., 2022) OR (Radakovits et al., 2021) OR (Gonzalez-Castellanos et al., 2019)3\3, PRESERVED_PLACEHOLDER_3 OR \3(Fu, 2020) OR (Gao et al., 2022) OR (Radakovits et al., 2021) OR (Gonzalez-Castellanos et al., 2019)3 OR \3, PRESERVED_PLACEHOLDER_3 OR \3(Fu, 2020) OR (Gao et al., 2022) OR (Radakovits et al., 2021) OR (Gonzalez-Castellanos et al., 2019)3 OR \3, and PRESERVED_PLACEHOLDER_3 OR \343, together with a surface state of charge PRESERVED_PLACEHOLDER_3 OR \344 that captures diffusion limitations. The non-ideal behaviors are explicit: discharge efficiency decreases at low SOC and high current, charge efficiency decreases at high current and high SOC, discharge power capability falls at low SOC, and maximum charge current declines as SOC approaches unity.
The original non-convex model derives SOC-dependent current and power limits from PRESERVED_PLACEHOLDER_3 OR \345 bounds and from steady-state KVL. The discharge and charge limits are
PRESERVED_PLACEHOLDER_3 OR \346
where PRESERVED_PLACEHOLDER_3 OR \347. The variable efficiencies are
PRESERVED_PLACEHOLDER_3 OR \348
and the energy balance is
PRESERVED_PLACEHOLDER_3 OR \349
These terms make the original formulation nonlinear and non-convex.
The central contribution is the linear reformulation. Auxiliary variables are introduced so that
PRESERVED_PLACEHOLDER_3 OR \353\3^
and the energy balance becomes affine:
PRESERVED_PLACEHOLDER_3 OR \353 OR \3^
The nonlinear relations between terminal power, internal power, and SOC are then represented through convex combinations of sampled points. For discharge,
PRESERVED_PLACEHOLDER_3 OR \353 OR \3^
with PRESERVED_PLACEHOLDER_3 OR \353 and PRESERVED_PLACEHOLDER_3 OR \354; an analogous construction holds for charging with weights PRESERVED_PLACEHOLDER_3 OR \355. This removes bilinear efficiency products from the optimization and enforces feasible operating triplets without binary variables, SOS3 OR \3^ constructs, or McCormick envelopes.
The model was tested in a network-constrained economic dispatch on the IEEE RTS 3 OR \34-bus system over a 3 OR \34 h horizon with 3 OR \3\3-minute time steps. Objective values are nearly identical across models: PRESERVED_PLACEHOLDER_3 OR \356 for the full non-convex NLP, PRESERVED_PLACEHOLDER_3 OR \357 for the ideal model, PRESERVED_PLACEHOLDER_3 OR \358 for the MILP reformulation, and PRESERVED_PLACEHOLDER_3 OR \359 for the proposed piecewise-linear formulation, all within PRESERVED_PLACEHOLDER_3 OR \363\3^ of the NLP. The computational differences are large: solver times are PRESERVED_PLACEHOLDER_3 OR \363 OR \3^ s for the NLP, PRESERVED_PLACEHOLDER_3 OR \363 OR \3^ s for the ideal LP, PRESERVED_PLACEHOLDER_3 OR \363 s for the MILP, and PRESERVED_PLACEHOLDER_3 OR \364 s for the proposed linear model. The reliability result is more consequential than the objective gap: schedules derived from the ideal model show an energy deviation of PRESERVED_PLACEHOLDER_3 OR \365 of scheduled stored energy once corrected to the feasible envelope, which is the detailed basis for the abstract’s statement of approximately PRESERVED_PLACEHOLDER_3 OR \366 mismatch.
6. Cross-domain interpretation, limits, and recurrent misconceptions
The principal misconception is to treat “Li-Vary Model” as a single canonical formalism. The cited literature does not support that reading. In one case it is an editorial synthesis of primordial-to-Galactic lithium evolution (&&&3\3&&&); in another, a diffusion-enhanced red-giant enrichment channel (&&&3 OR \3&&&); in another, BELIEVER for ReRAM leakage and inter-cycle variability (&&&3 OR \3&&&); and in another, a linearized non-ideal Li-ion battery model (Gonzalez-Castellanos et al., 2019). This suggests that the label is best understood as a cross-domain descriptor for models that make variation explicit, not as a unified theory.
The uncertainties are likewise domain-specific. In the primordial-to-Galactic stellar framework, the main degeneracies concern PMS mixing physics, the extent and timing of residual accretion, EUV photoevaporation efficiency, and microscopic diffusion efficiency in low-metallicity regimes. In the Li-rich giant scenario, the dominant uncertainty is the magnitude and constancy of the added PRESERVED_PLACEHOLDER_3 OR \367 during the He-flash phase, together with sensitivity to diffusion prescriptions and thermohaline efficiency. In BELIEVER, leakage variability across runs was kept constant for simplicity, threshold extraction is difficult, and temperature and stochastic noise during a cycle are not parameterized. In the Li-ion battery formulation, temperature dynamics, auxiliary losses, aging, and electro-thermal coupling are neglected, and the model has no explicit binary exclusion of simultaneous charging and discharging.
A second misconception is that variability-aware models are merely refinements of ideal baselines. The evidence summarized here is stronger. In halo-star lithium, PMS destruction plus residual accretion is used to reconcile the Spite plateau with standard BBN without altering BBN itself. In red giants, diffusion-enhanced transport is invoked to explain both Li-rich incidence and super Li-rich extremes. In ReRAM, leakage and cycle dispersion materially alter correctness probabilities and post-compute state stability. In Li-ion batteries, constant-efficiency idealizations generate infeasible schedules and about PRESERVED_PLACEHOLDER_3 OR \368 energy mismatch. In each case, the “variation” terms are not decorative; they change the feasible phenomenology.
The cross-domain commonality is therefore methodological rather than ontological. Each Li-Vary usage introduces hidden-state dynamics, transport channels, or sampled feasible manifolds to describe behavior that constant-parameter models miss. The governing physics ranges from nuclear burning and diffusion to memristive state drift and electrochemical operating envelopes, but the formal motive is the same: to model lithium-related systems through their state dependence, time dependence, and non-ideal variability.