Methods
Eight disciplines, one decision.
Choosing which ionic liquid to make draws on quantum chemistry, thermodynamics, statistics, optimization, transport, toxicology, life-cycle assessment and quality engineering. Each panel below works through one of them using published data, a calculation run for this page, or the standard method, and says which.
- Published researchReplotted from peer-reviewed papers. The source is under each figure.
- Computed for this pageCalculations run for this site from stated inputs. Not Avestiq experimental data.
- MethodologyStandard methods and equations. No result is claimed.
- PlannedTo be built with pre-seed funding.
Methods library
Eight chapters, from first principles to the design problem.
Each chapter sets out the equations, shows how the founder’s published work used them, and includes labs that compute in your browser from published data and parameters. Chapter 5 states the integrated problem LILM is designed to solve; it is a formulation, not a built system.
- 01
Solution thermodynamics
Fugacity, the γ–φ formulation, Wilson, NRTL, UNIQUAC, UNIFAC, COSMO-RS and the Peng–Robinson equation of state.
Labs: NRTL phase split · Peng–Robinson CO2 vs NIST - 02
Computer-aided molecular design
The inverse problem as an MINLP, structural feasibility rules and group-contribution property models.
Lab: an enumerated ionic-liquid design space - 03
QSPR, QSAR and latent descriptors
Physical and learned descriptors, OECD validation, applicability domains, and parameters with no physical meaning.
Lab: latent parameters on held-out cells - 04
Optimization
Branch-and-bound, outer approximation, genetic algorithms, Pareto fronts, Bayesian optimization and optimization under uncertainty.
Labs: the 2013 genetic algorithm · Bayesian optimization - 05
Multilevel simultaneous design
Avestiq’s design objective written as one stochastic MINLP across seven levels, with fourteen criteria and their status.
Demonstration: the constraint funnel - 06
Toxicology and ecotoxicology
Dose–response models, species sensitivity distributions, PBT screening, flammability classes and in vitro to in vivo extrapolation.
Labs: dose–response · species sensitivity - 07
Life-cycle assessment and green metrics
ISO 14040/44, matrix LCA, USEtox characterization factors, atom economy, E factor and process mass intensity.
Labs: characterization factors · atom economy - 08
Statistics and machine learning
Bayesian inference, Gaussian processes, conformal intervals, validation splits, graph neural networks and hybrid models.
Lab: Gaussian-process regression
01 Quantum chemistry Computed for this page
Electrostatics decide how ions meet.
Density-functional calculations for the 1-butyl-3-methylimidazolium cation and the tetrafluoroborate anion. Color shows the electrostatic potential on each ion’s surface. Drag to rotate.
Electrostatic potential on the 0.001 e bohr−3 density surface
[C4mim]+
[BF4]−
Interactive 3D view unavailable in this browser. The histogram and table show the same calculation.
Surface area by potential
Å2 of surface per 5 kcal mol−1 bin, both ions
View data
What it shows. The cation’s potential is positive everywhere but uneven. It peaks at the ring C2–H hydrogen and is lowest on the terminal methyl of the butyl chain. The anion’s surface is uniformly negative.
Why it matters. Such surface-charge distributions underlie COSMO-RS, the quantum-chemistry-based thermodynamic model used in the screening study in section 02. COSMO-RS uses charge densities from a conductor-embedded calculation, not gas-phase potentials like these.
02 Thermodynamic screening Published research Historical founder research
13,356 combinations to ten candidates, every step recorded.
A screening of ionic liquids for physical CO2 absorption (Farahipour, Mehrkesh & Karunanithi, Chemical Engineering Science 2016, 145, 126–132). COSMO-RS gave the Henry’s constants, corrected against experiment; group-contribution models gave viscosity and melting point.
Screening sequence
Index minimized in the screen
ADI = H152H45
H15, H45: Henry’s constants of CO2 at the absorption (15 °C) and desorption (45 °C) temperatures, from COSMO-RS activity coefficients (H = PsatCO₂ γCO₂), corrected with the equation below and converted to a molality basis (paper, Eqns. 4–6). ADI combines solubility at absorption with the change in H between the two temperatures, which the paper relates to the enthalpy of dissolution through the van ’t Hoff equation.
Correction applied to COSMO-RS
Hmod = 0.7403 Hpred + 7.9697
Fitted on 50 literature measurements (parameterization BP_TZVP_C21_0108). Section 03 tests it.
Absorption–desorption index, 21 anions × 10 cations
ADI in bar; lower is better
View data
The ten selected candidates: predicted properties
Cell color scales within each column (darker = lower). Sensible heat in GJ per tonne of CO2 captured.
ADI: selected candidates vs seven conventional ionic liquids
Conventional set: optimal candidates from Zhang et al. (Applied Energy, 2016), recomputed with the same index
03 Statistics and data analysis Published research Computed for this page
Correct the physics, then measure what is left.
COSMO-RS overpredicted the Henry’s constant of CO2 systematically. The paper fitted a linear correction on 50 measurements and tested it on 18 more. Those 18 test points are replotted here, then re-analyzed with Bayesian inference that runs in your browser.
Held-out test set, before and after correction
18 ionic liquid + CO2 systems; Henry’s constant in bar (H = Psatγ, paper Eqn. 4)
View data
Posterior of the correction coefficients
Hexp = a·Hpred + b + ε, ε ~ N(0, σ2); fitted to the 18 test points
What the re-analysis shows. The 18 held-out points prefer a shallower slope than the 50-point training fit. The published coefficients sit far outside the 95% credible region of the test-set posterior; the distance is reported under the chart. The correction still cut the test error by two-thirds. A single corrected number hides this shift; a posterior shows it. LILM is designed to report intervals and to check them on held-out data.
Did the sampler converge? Four chains from scattered starting points
Same model and 18 points as above; each chain starts far from the others, and the diagnostics test whether they end up sampling the same distribution
Trace plots
Joint posterior of a and b, kept draws
Marginal distributions by chain (dashed: pooled 95% interval)
Autocorrelation of a, kept draws
How stable is the ranking? Monte Carlo over Henry’s-constant error
Probability that each candidate lands at each rank; 4,000 draws, recomputed live
04 Optimization Published research Historical founder research
Molecular design is a mixed-integer nonlinear program.
A 2013 formulation co-authored by the founder (Karunanithi & Mehrkesh, AIChE J. 59, 4627–4640) writes ionic-liquid design as optimization over discrete structure choices and continuous process variables.
Mixture model (UNIFAC)
ln γi = ln γiC + ln γiR
Combinatorial (size and shape) plus residual (energetic) terms, built from group parameters.
Liquid–liquid equilibrium
γiI xiI = γiII xiII
The binary structure variables enter these nonlinear terms, so the problem is nonconvex.
Viscosity (Orrick–Erbar type, group contribution)
ln ηρM = A + BT
Solution methods
The 2013 paper solved its case studies by decomposition and by a genetic algorithm (MATLAB; population 20; crossover fraction 0.8) and cited deterministic branch-and-bound methods as alternatives. The decomposition result is replotted on the Science page (185 → 27 → 1). The 2016 thermal-storage study optimized a single objective; the Pareto chart there is Avestiq’s multi-objective replot of its published data.
05 Transport and process simulation Computed for this page Methodology
Properties become process consequences.
Viscosity, density, heat capacity and solubility enter process design through conservation equations. Below: a fluid-flow solver running live in this page, the equilibrium-stage equations used to design absorbers, and published regeneration-energy estimates.
Flow past a heated cylinder, Re = 100, solved live
Lattice-Boltzmann solver · starting
Plane Poiseuille flow, 20,000 steps, compared with the analytical profile.
Temperature-swing absorption loop Methodology
MESH equations, stage j, component i
Material balance, equilibrium, summation and enthalpy balance for each stage, solved simultaneously. LILM is designed to supply the property inputs (K, h, ρ, η, cp) with intervals. Planned
Sensible heat in regeneration (paper, Eqn. 7)
Qsens = mILcp,ILΔT + mCO₂cp,CO₂ΔT
Sensible heat to regenerate the solvent
GJ per tonne of CO2 captured. Selected candidates: from predicted heat capacities. Conventional ILs: values from Zhang et al., based on experimental data. The two sets are not on an identical basis.
06 Toxicology Methodology Published research
A prediction is the first tier of evidence, not the last.
Hazard evidence comes in tiers: computational models, then in vitro assays including human cell lines, then standardized tests on algae and invertebrates, and vertebrate studies where regulation requires them. Avestiq has no test results of its own yet. This section shows the framework and published data.
Test numbers refer to the OECD Guidelines for the Testing of Chemicals. Planned Avestiq intends to commission these tests from accredited partner laboratories as candidates advance; it does not run them in-house.
Chronic EC50 by species, five ionic liquids
mg L−1, log color scale; brighter = more toxic
Most sensitive species. Daphnia magna, for all five ionic liquids (5.4–16.9 mg L−1).
Lowest HC50. [BPy][Cl], 40.5 mg L−1. It also has the highest freshwater characterization factor of the five (1,768 CTUe kg−1, same paper).
Gaps. Seven of the thirty species–liquid cells have no data. Sparse, uneven coverage like this is the setting LILM is designed for.
View data
Human cell lines in published ionic-liquid studies
Published researchCytotoxicity assay layout
IARC classifications of four common industrial solvents
Published researchPhysiologically based pharmacokinetic (PBPK) model
MethodologyPlannedEach tissue t
Vt dCtdt = Qt (Ca − CtPt)
Liver adds metabolic clearance
− CLint fu CLPL
07 Life-cycle assessment Published research Historical founder research
Ionic is not automatically green.
Negligible vapor pressure removes one emission route. It says nothing about the burden of making the chemical. Two of the founder’s life-cycle studies quantified that burden.
System boundary: freshwater ecotoxicity of 1 kg of ionic liquid
Production phase and use-phase release, as modeled in ES&T 2016
An energetic ionic salt vs TNT, per MJ of energy content
Ratio of cradle-to-gate impacts, 1,2,3-triazolium nitrate ÷ TNT (TRACI midpoints)
View data
08 Quality engineering Methodology Planned
Scale-up is a variation problem.
A candidate that meets specification at the bench has to keep meeting it, batch after batch. Lean and Six Sigma tools make that measurable. The founder holds a Six Sigma Green Belt (founder CV).
Process capability
Interactive calculator; any property with lower and upper specification limits
Potential capability
Cp = USL − LSL6σ
Actual capability
Cpk = min(USL − μ, μ − LSL)3σ
Expected out of specification
Φ((LSL − μ)/σ) + 1 − Φ((USL − μ)/σ)
DMAIC, mapped to the Avestiq loop
Value-stream map: specification to qualified supply
Each discipline here is mature on its own. LILM is designed to connect them, so that one decision carries all of their evidence.