{'fraction_non_alphanumeric': 0.025704073614033308, 'fraction_numerical': 0.010798752820096834, 'mean_word_length': 5.045050566962917, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Ionic liquids from a fragmented perspective.

The efficacy of using fragmentation methods, such as the effective fragment potential, the fragment molecular orbital and the effective fragment molecular orbital methods is discussed. The advantages and current limitations of these methods are considered, potential improvements are suggested, and a prognosis for the future is provided.


Introduction
Ionic liquids (ILs) are an intriguing class of compounds. Belonging to a subset of molten ionic salts with melting points near or less than 100 1C, some ionic liquids have melting points below room temperature (room temperature ionic liquids, RTILs). There has been much excitement and promise in recent years over the possible applications of ILs, some of which have come to fruition. 1 For example, there has been considerable success in using ILs in carbon dioxide capture processes with an expectation of refrigeration applications, as well as syntheses of energetic ionic liquids (EILs) as explosives and as rocket fuels. [1][2][3][4] Much thought has also been applied to the use of ILs as solvent-free electrolyte solutions, in which the solvent is the electrolyte. 5,6 A desirable application of this approach is to replace highly volatile organic solvent based electrolyte solutions in dye sensitized solar cells with ILs. 6,7 While specific properties can differ considerably among ILs, some important properties are their extremely low vapor pressures 8,9 (negligible in some ILs) and customizability in synthesis by the simple choice of anion-cation pairing, or even mixtures of anions or cations, sometimes referred to as IL melts. 1,6 Many organic precursors to common IL cations can also be easily altered by organic synthesis substitution methods as well, adding another layer of customizability. 1 The chemistry and physics of ILs result from a balance between attractive and repulsive interactions among the ions. There is often large delocalization of charge within the ions, and large asymmetric and sterically hindered structures that make crystal lattices difficult to form. 1,10 Protic ionic liquids have an added complexity regarding how much of the IL consists of ions or neutral molecules; that is, the degree of ionicity. 11 With balanced intermolecular interactions, small changes in quantum-based effects (such as dispersion or charge transfer) can play important roles in IL properties. 12,13 Therefore, ILs are challenging to model classically, with the more successful force fields accounting for polarization and partial charges; some force fields include varying charges. 13,14 But even sophisticated classical force fields only provide accurate predictions of some properties of some ILs and not others.
Quantum based methods are necessary to model ILs accurately; however, traditional quantum methods that incorporate electron correlation (e.g., second order perturbation theory (MP2), coupled cluster (CC) theory) are too computationally expensive to model much more than small gas phase clusters of ions. The need to combine condensed phase simulations with the accuracy of fully quantum calculations leads to the main focus of this perspective: modeling ionic liquids with ab initio based fragmentation methods. 15,16 Fragmentation methods divide the computation of large chemical systems into smaller, welldefined fragments that can be calculated independently with high accuracy. Subsequently, all of the individual fragment data is combined in such a way as to retain accuracy for the entire system. 16 This perspective examines some of the ab initio based fragmentation methods that have been used to model ILs, their utility, their limitations, some misconceptions, and some discussion on developing future methods for ILs.

Effective fragment potential (EFP) method
The effective fragment potential (EFP) method is a non-empirical polarizable force field generated from first principle quantum mechanics calculations, 17,18 and is available in the general atomic and molecular electronic structure software (GAMESS) package 19,20 and the LIBEFP library. 21,22 Originally designed as an explicit solvent model, EFPs can be generated for any closed shell chemical species as non-covalently bonded fragments. The internal geometry of an EFP fragment is held rigid. Therefore, the EFP interaction energy only accounts for intermolecular interactions, which are described by five types of potentials: The terms in eqn (1) correspond to Coulomb, polarization, exchange-repulsion, dispersion and charge transfer, respectively. 13,17 While the EFP method has been shown to successfully model interaction energies with essentially MP2 23 accuracy in molecular systems, the method has not been widely applied to modeling ILs.
A benchmark study by Tan and Izgorodina 24 compared the EFP method to the symmetry adapted perturbation theory method SAPT2 + 3 for modeling interaction energies between various IL ion pairs over several geometric configurations, pairing eight different anions with eight different cations that are commonly found in IL compounds. The authors noted that there are up to 20% differences between the EFP and SAPT2 + 3 predicted interaction energies, with the charge transfer energy component having the largest percent differences. This difference in CT energy was particularly apparent for halide anions (chloride and bromide), with some CT energies reported as positive, that is repulsive, an indication that something is incorrect.
Nebgen et al. 25 reported the use of EFPs to predict nanostructures in self-assembling ILs. In that study, EFP molecular dynamics (MD) simulations with varying concentrations of water were performed on ion pairs of three ILs (3-methyl-1-pentylimidazolium cation paired with either chloride, nitrate or thiocyanate). Each of the ILs have known and increasing levels of self-assembly (gelatinization) in water. Evaluating the short range structural ordering among cation, anion and water, the EFP MD radial distribution functions (RDFs) and preferred geometric configurations of the anions at the first and second solvation shells were compared to small-angle X-ray scattering, wide-angle X-ray scattering, and 1 H NMR experimental results. The EFP-MD predictions are in good agreement with the experimental findings. For thiocyanate, the EFP-MD simulations were able to explain the absence of the interaction of the anion with the protons on the imidazolium ring inferred from the 1 H NMR experiments. 25 Due to the apparent disparity between the two aforementioned studies, it is interesting to examine more closely the efficacy of the EFP method for modeling ILs.
Consider the terms in eqn (1) in more detail. The Coulomb term E coul in eqn (1) is obtained using the Stone distributed multipolar analysis (DMA), expanded through octopoles with expansion points at the atom centers and bond midpoints. 26,27 The polarization term (E pol ) is represented by the interaction of the induced dipole on one fragment with the permanent dipole on another fragment, expressed in terms of the dipole polarizability. Although this is just the first term of the polarizability expansion, it is robust because the molecular polarizabilities are expressed as distributed tensor sums of localized molecular orbital (LMO) polarizability tensors on individual bonds and lone pairs. The LMO polarizability tensors are iterated in a self-consistent manner, thereby incorporating many body effects.
The dispersion interaction (E disp ) can be expressed as an inverse R expansion, where R is the intermolecular distance and C n are coefficients. 28 The coefficients C n (the first nonzero term has n = 6) are derived from the LMO dynamic (imaginary frequency) polarizability tensors summed over the entire frequency range. 29,30 The dispersion energy expression is often truncated at the R À6 term, which corresponds to the dipole polarizabilities. 31 Higher order terms, such as R À7 and R À8 terms, can be included in addition to the explicitly derived R À6 terms. 32,33 In order to avoid a singularity near R = 0, an overlap-based damping function is employed. 34 The overlap-based damping function depends on the intermolecular distance, so the dispersion interactions are diminished as the overlap increases. The overlap-based damping function for E disp does not contain any fitted parameters. 31 The exchange repulsion interaction (E exrep ) is derived as a power series expansion in the intermolecular overlap, truncated at the second order using LMOs. 35 When the overlap expansion is expressed in terms of frozen LMOs on each fragment, the expansion can reliably be truncated at the quadratic term. 35 The expression for E exrep requires that each EFP carries a basis set.
The charge transfer interaction E CT is obtained using secondorder perturbation theory. 36 In the EFP method, charge transfer (CT) is defined as the interaction between the valence orbitals of one fragment and the virtual orbitals of another fragment.
There are several considerations that must be addressed regarding E CT especially when modeling charged species such as ILs. Of primary importance is a working definition of the virtual spaces of fragments. Currently there are two options for defining virtual spaces in the EFP method: the use of canonical molecular orbitals (CMO) that requires the full virtual space as determined by the basis set employed, and the valence virtual orbitals (VVO) that require only a subset of the virtual space, as defined by the occupied space. 18,36,37 Since the full virtual space increases with the size of the basis set, the computational cost of the CMO option increases accordingly. In contrast, the size of the VVO virtual space is determined by the number of occupied valence orbitals and is therefore constant. The VVO option is the default in GAMESS, but care needs to be taken when using this option.
The VVOs are generated by projecting the CMOs onto an accurate atomic minimal basis set (AAMBS) via a singular value decomposition. The products of this projection are the quasi-atomic molecular basis orbitals (QUAMBOs), which can be further classified into three distinct orbital spaces: occupied core orbitals, occupied valence orbitals, and valence virtual orbitals (VVOs). 37,38 The VVO space produced from this projection contains orbitals that resemble the atomic-like anti-bonding orbitals that complement the corresponding occupied orbitals.
By using VVOs, two issues could arise in the CT term for ions. First, it is not certain that the VVO approximation is an adequate approach for ionic fragments. Secondly, the VVO approximation is not appropriate for atomic fragments with noble gas electronic states (e.g. halides), since the VVO space would be null for atomic systems with noble gas electronic states (i.e. their s + p blocks are already full). Therefore, the CT energy for halide anions should be zero, as they would have no VVO space. So, the use of the VVO option for such species is not appropriate, and the CT energies for halide anions should use the full CMO virtual space. It should be noted that GAMESS clearly tells the user that there are no VVOs when the VVO approximation is used on a null space.
Another consideration for the CT energy is the basis set used for generating the orbitals. It was demonstrated in the first paper that introduced the general EFP method that the smallest basis set that should be used with this method is 6-31++G(d,p), in order to obtain consistently acceptable results. 39 Furthermore, the 6-311++G(3df,2p) basis set [40][41][42] is highly recommended for the greatest accuracy compared to SAPT results. 43,44 This is especially important for CT energies produced using the CMO approximation, which is heavily basis set dependent. Finally, note that because effective fragment potentials are generated using Hartree-Fock (HF) and time-dependent HF calculations, the Pople basis sets are strongly recommended. It is well known that the correlation consistent basis sets used to generate the EFPs by Tan and Izgorodina 24 are not reliable for HF calculations and should therefore not be used to generate EFPs.
Reevaluating the EFP energy terms with the recommended 6-311++G(3df,2p) basis set (except for bromide anion for which the G3Large basis was used) over the all ion pair configurations explored by Tan and Izgorodina, 24 calculated with the CMO and VVO approximations, produces the results in Tables 1 and 2. The results in Table 1 demonstrate that the EFP method does have difficulty modeling charge transfer for halide anions, even with the appropriate CMO virtual space, but does better with the larger recommended Pople basis set, averaging to within 3 kcal mol À1 of SAPT2 + 3 charge transfer results. Excluding halides, on average the EFP method performs acceptably well Table 1 Mean absolute differences and standard deviations of EFP charge transfer energy terms relative to SAPT2 + 3 for 4180 ion pair configurations, from ref. 24, with four different basis sets for EFP terms, both with and without the valence virtual orbital approximation. Units are in kcal mol À1 . Typical ionic liquid anions (TILA), as defined by Tan and Izagordina, 24 include tetrafluoroborate, dicyanamide, mesylate, bis{(trifluoromethyl)sulfonyl}amide, hexafluorophosphate, and tosylate. Halides (Hal) include chloride and bromide. Cations include 1-alkyl-3-methylimidazolium (CnMIM) and N-alkyl-Nmethylpyrodinium (CnPyr) cations where the alkyl chain (n) ranges from one 1-4 carbon atoms in length. Values that were calculated inappropriately using the VVO approximation for halide charge transfer energies are denoted in bold

Cations
Anions The lower standard deviation of the VVO CT energies may be attributed to the fact that the VVO approximation is nearly basis set independent because of a fixed virtual space, while the standard deviation CMO CT energies decreases as the basis set increases. Mean absolute differences of EFP total interaction energies are shown in Table 2. Note that the SAPT2 + 3 and EFP of halide CT energies are excluded from the total energies for the VVO approximation with the Pople basis sets. On average the EFP total interaction energies are within 5 kcal mol À1 of SAP2 + 3 results. This difference is further reduced to nearly within 1 kcal mol À1 for TILA, excluding tosylate and halide anions [TILA (no tos)], because it is difficult to charge transfer in systems with very localized charges as noted above. EFP greatly overestimates the tosylate electrostatic interaction in the tested ion pair configurations compared to SAPT2 + 3, particularly when the sulfonyl group directly interacts with the ring on the imdazolium cations, Fig. 2. This is believed to be due to (a) the ionic charge on tosylate being localized on the sulfonyl group rather than being delocalized across the entire anion and (b) the inability of a model potential like EFP to account for the actual transfer of electron density between fragments, which would be accounted for in fully quantum calculations. This overestimation of the electrostatic interaction of localized charge densities is also reflected in the total energies of the halide ion pairs. After re-evaluating these corrected benchmarks, it is clear that EFP can accurately model interaction energies for ions with large electronic delocalization [TILA (no tos)], and that the VVO approximation can be used effectively for these kinds of systems, when used appropriately (e.g., not halides). Table 2 Mean absolute differences and standard deviations of EFP total interaction energies relative to SAPT2 + 3 for 4180 ion pair configurations, from ref. 24, with four different basis sets for EFP terms, both with and without the valence virtual orbital approximation for the charge transfer terms. Units are in kcal mol À1 . Typical ionic liquid anions (TILA), as defined by Tan and Izagordina, 24 include tetrafluoroborate, dicyanamide, mesylate, bis{(trifluoromethyl)sulfonyl}amide, hexafluorophosphate, and tosylate (tos). Halides (Hal) include chloride and bromide. Cations include 1-alkyl-3-methylimidazolium (CnMIM) and N-alkyl-N-methylpyrodinium (CnPyr) cations where the alkyl chain (n) ranges from one 1-4 carbon atoms in length. Values that were calculated inappropriately using the VVO approximation for halide charge transfer energies are denoted in bold

Cations
Anions  Another limitation of EFP, also noted by Nebgen et al., 25 is the internal rigidity of EFP fragments that in reality should have some torsional motions. Part of the success of Nebgen et al. 25 in modeling ions as fragments can be attributed to their implementation of the recently reported mEFP (macromolecule EFP) method introduced by Slipchenko et al., 45 which allows the fragmentation of a macromolecule into smaller ''bonded'' EFP fragments. By using mEFP, some of the lost degrees of freedom can be reincorporated into the modeling of a macromolecule. Nebgen et al. 25 modeled the imidazolium cation as two fragments: the long alkyl chain and the five-membered ring with the methyl group. The fragmentation was accomplished by neglecting interactions between bonded fragments and by using classical harmonic potentials for the covalent bonding during their MD simulations.
The effective fragment potential (EFP) method has the potential to be an effective tool in modeling ionic liquid (ILs), if used properly with an understanding of its underlying approximations and carefully determining which options will work for a desired system.

Embedding potential methods
The fragment molecular orbital (FMO) method, developed by Kitaura et al., 46 is an embedding method that is based on a many body expansion. Fragment based embedding methods calculate properties of the defined fragments individually within an embedding potential that approximates the environment (i.e., the rest of the system) surrounding each fragment. 16 In the FMO method, each fragment energy is calculated at an ab initio level of theory (e.g., HF, MP2, CC) within the electrostatic potential (ESP) of the other fragments. The ESP is calculated via the one-electron Coulomb integrals using the electron densities of the other fragments. Since the energy of each monomer (single fragment) is dependent on the electron densities of all other fragments, the monomer energies are calculated iteratively until their energies stop changing to within a defined cut off. This FMO process is called the selfconsistent charge (SCC) approach. If no explicit interactions between fragments are included, the method is called FMO1. The FMO energy can be further improved by calculating the explicit dimer energies (two-body energy terms across all fragment pairs). In this FMO2 method each dimer (fragment pair) is calculated at the chosen ab initio level embedded within the ESP of the other monomer densities. To avoid double counting, the energies of the two monomers within each dimer are subtracted out, as shown in eqn (3). 16,46 The most computationally costly component of the FMO2 energy is the two-electron integrals between the two fragments within a dimer. However, if the two fragments in a dimer are well separated (determined by a user defined cutoff) the twoelectron integral contribution to the energy is small, and the dimer interaction energy can be approximated as ESP interactions between the two fragments. 47 Three-body energy contributions (FMO3) between all trimers (sets of three fragments) can be calculated to further improve the FMO energy, as shown in eqn (4). 16,46 While some systems can be well approximated with FMO2, three-body effects can be very important in modeling systems accurately. For example, the hydrogen bond networks in watercontaining clusters have large three-body contributions to the energy.
Gao et al. 48 reported the use of the explicit-polarization (X-pol) 49 method to perform MD simulations of the IL 1-ethyl-3methylimidazolium acetate. X-pol is an ab initio fragmentation View Article Online method that is similar to FMO, in that it models a system as fragments within the embedding potential based on the densities of the other fragments. X-pol differs from FMO since the electrostatic interactions of the embedding potential are calculated from a multipole representation of densities of the other fragments, typically truncated at monopoles for efficiency. 48,49 Several studies have already demonstrated the ability of FMO/MP2 to accurately represent MP2 for IL clusters, with FMO3 consistently achieving sub 1 kcal mol À1 accuracy. Carlson and co-workers 50 reported sub kcal mol À1 recovery of the full MP2 relative energy for two ion pair structures of HEATN (1-hydroxyethyl-4-amino-1,2,4-triazolium nitrate) with both FMO2 and FMO3. Izgorodina et al. reported [ref. 51] sub kcal mol À1 recovery of the full MP2 energy for increasing cluster sizes of four ILs at both the FMO2 and FMO3 levels of theory. It was noted by the latter authors that the MP2 correlation energy correction increases rapidly with system size, thereby emphasizing the importance of using correlated QM methods to accurately predict IL properties.
To accurately model anions with quantum mechanical methods, it is necessary to include diffuse functions in the basis set to allow the electron density to expand and relax due to an increase in electron repulsion effects. In the FMO method, an increase in the electronic overlap of adjacent fragments due to the addition of diffuse functions can cause the SCC process to converge slowly, increasing the overall computational cost, or even prevent the SCC from converging at all. This leads to the question of how to accurately model ionic liquids with diffuse functions using FMO.
Several approaches have been utilized to solve this problem. The simplest, but not recommended, approach has been to disregard the use of diffuse functions for FMO calculations, accepting less accuracy to maintain efficiency. A second solution is to include diffuse functions for anion fragments only. This solution works reasonably well, so long as the nearest neighbors to a particular anion are not other anions. FMO-MD test simulations using this method perform better than simulations that use a single basis set with diffuse functions for all fragments. However, if two anion fragments come in close proximity to each other the SCC takes longer to converge, or becomes non-convergent. A third solution was developed by Fedorov and Kitaura. 52 Termed auxiliary polarization (AP), this method employs the use of an auxiliary basis set to calculate the effective embedding potential, thereby avoiding the use of diffuse functions entirely in the SCC part of the calculation, while still being able to use diffuse functions in the quantum n-mer calculations.
The design of the AP basis set is a three-step procedure using a primary basis set (A) that would include diffuse functions for anions and an auxiliary basis set (B) that omits diffuse functions. First, the gas phase n-mers are calculated with the auxiliary basis, B, followed by a full FMO calculation again using auxiliary basis B. Subtracting the energy of the gas phase n-mers from the full FMO calculation results in the effective energy of the embedding potential using basis B. The third step is to calculate the energy of the gas phase n-mers with the primary basis, A, plus the previously calculated embedding potential energy, effectively calculating the ESP with auxiliary basis B. This may be expressed mathematically as The AP basis set approach has been used for all ionic liquid calculations that are reported below.
The FMO method has the ability to break large covalent structures into separately defined fragments, without the use of capping. 53 The procedure has its origins in the concept of localized charge distributions (LCD) originally developed by England and Gordon 54 for semi-empirical methods and later by Jensen and Gordon for ab initio methods, 55 in which two protons are ''assigned'' to each two-electron localized molecular orbital (LMO) to create a net neutral LCD. In the FMO method protons are likewise assigned to ''move'' with electrons to form what are called bond attached atoms and bond detached atoms. Like most fragmentation methods, the FMO method, and its more recent cousin, the effective fragment molecular orbital (EFMO) method 56 cannot reliably fragment delocalized molecules, such as hexatriene or benzene.
In an effort to reduce the cost of modeling ILs with the FMO method, the covalent fragmentation method was explored using imidazolium cations as a test case, using FMO2 with dispersion-corrected HF, HF-D3. The 2-Frag model defines each ion as a fragment. The 3-Frag model defines the imidazolium ring and an attached alkyl chain split as two fragments, with the ring fragment having a net charge of +1 and the alkyl chain having zero net charge, and the anion being the third fragment, Fig. 3. The improved scaling of an eight ion pair cluster of 1-buyl-3-methylimidizolium [BMIM] hexafluorophosphate [PF6] can be seen in the dotted curves in Fig. 4. However, this improved scaling comes at a cost in accuracy, as the total interaction energy of the cluster is too low by B30 kcal mol À1 . Electrostatic potentials reveal that the atomic charges on the ring change significantly (up to 0.5 e À ) when the alkyl chain is separated from the ring. So, care must be taken when designing fragmentation schemes.
To determine how an alkyl chain can be fragmented without significantly changing the electron density on an imidazolium ring, 1-dodecyl-3methylimidixolium (C 12 MIM) cation was fragmented at each carbon along the 12-carbon chain. The atomic charges were then evaluated using electrostatic potential calculations. Atomic charges on the imidazolium ring are within 0.1 e À of their original charges when the alkyl chain is fragmented at the fourth carbon from the ring or further.
Another question regarding the use of the FMO method to model ILs is, at what inter-fragment distance(s) do dimer or trimer energy contributions become small enough that they can be excluded from the calculation to gain efficiency without significant loss in accuracy. This is an important question in developing cost efficient algorithms for MD simulations with periodic boundary conditions to model condensed phase IL phenomena. This question was partially explored by Halat and co-workers, 57 on IL clusters of 4, 8, 16, and 32 ion pairs for eight ILs. They explored effective distance cut-offs for four components of the FMO energy: 2-body self-consistent field (SCF), 3-body SCF, 2-body electron correlation, and 3-body electron correlation. The SCF energies were calculated with HF and the electron correlation energy with MP2. While the preferred distance cutoffs varied depending on the specific IL, Halat and co-workers found on average that the SCF 2-body energy contributions are significant at all tested distances (tested up to 20 Å), while the 3-body SCF contributions are only significant when the three fragments are within 6 Å of each other. Electron correlation energies are well known to be short range, so it is not surprising that these authors concluded that the two-body (dimer) MP2 contributions to the energy are significant within 8 Å, while the 3-body (trimer) MP2 contributions to the energy are important only if the three fragments are within 4 Å of each other. Implementation of theses cutoffs for the 32 ion pair clusters effectively reduce the number of 3-body SCF calculations by 94%, 2-body MP2 calculations by 28%, and 3-body MP2 calculations by 89%. These are important findings for future FMO MD simulations of ILs.
The FMO method can take advantage of multilevel parallelism via the use of the general distributed data interface (GDDI). 58 The GDDI approach facilitates coarse grain parallelism across compute nodes by computing each fragment on a different node or set of nodes. If the chosen electronic structure method (e.g., HF, MP2) has been implemented with a parallel algorithm, fine grain parallelism can be used within each node. It has been demonstrated that by taking advantage of the GDDI ansatz and eliminating I/O from the algorithm, FMO calculations scale nearly linearly to 262 000 computer cores of a BlueGene/Q (BGQ) computer at Argonne National Laboratory. 59,60 This capability was noted in a previous perspective. 15 FMO molecular dynamics (MD) ionic liquid simulations were performed, using the BGQ, on four RTILs with clusters ranging from 8 ion pairs (IPs) to 16 IPs to 32 IPs. Several advantages and disadvantages of performing FMO/GDDI calculations on the BGQ were discovered. The main advantage is that the FMO/GDDI approach can fully utilize all 786 432 cores across 48 racks. The main disadvantages are the limited I/O throughput and the limited memory per core. The I/O limitation has recently been eliminated as noted above. The memory limitation impacted the FMO/MP2 MD calculations for larger fragments; that is, for ILs with large cations. For those species, the calculations were performed using the FMO2/ AP approach at the RHF-D3 level of theory. The main and auxiliary basis sets used were 6-31+G(d,p) and 6-31G, respectively. The MD simulations using this approach required B2-5 minutes of wall time per time step for an 8 IP system. This is, of course, much faster than what one could achieve with fully ab initio MD simulations (AIMD), and much slower than highly parameterized classical MD simulations.
These calculations revealed improvements that are needed for modeling ILs with fragmentation methods on two fronts. One is to develop improved software to simulate condensed phase phenomena using accurate quantum chemistry methods. Another is to develop more efficient models that retain the quantum effects that are important to correctly predict the dynamic properties of ILs. An important advance with regard to the latter is the recent development of analytic gradients for FMO using the resolution of the identity (RI) MP2 method. The FMO/ RI-MP2 analytic gradient method will be available in GAMESS in the near future.

Periodic boundary conditions
In order for the FMO method to accurately model condensed phase IL systems and to accurately predict condensed phase properties, it is important to implement efficient codes for periodic boundary conditions (PBC). The existing FMO PBS code does not take advantage of the multilevel parallelism afforded by GDDI. An implementation of FMO2/PBC by Fujita, Nakano and Tanaka, 61 implemented in the ABINIT-MPX program package, surrounds a unit cell by a number of ''shells'' of periodic image cells to effectively enlarge the embedding potential around the central cell. Their method also allows monomers from image cells to be included in dimer calculations, but it was implemented without fully analytic gradients, thereby hindering the achievement of energy conservation. This was demonstrated by Brorsen et al., 62 who developed the fully analytic FMO gradients and then implemented FMO2/PBC with good energy conservation. 62 However, the PBC implementation by the latter authors does not account for the long-range electrostatic dimer approximation. 47 The same is true for the more recent FMO3 implementation. 60 This greatly reduces the computational efficiency of the method, since all dimers must be treated explicitly with the chosen electronic structure method when PBC are used. Therefore, to improve the efficiency and scalability of FMO/PBC simulations, the analytic gradient must include the longrange electrostatic term.

Infinite coulomb potential
Though not trivial for ab initio methods, the development of a long-range Coulomb approximation for an infinite system (e.g. Ewald sums, or fast multipoles) 63,64 are necessary for FMO PBC simulations to accurately model condensed phase IL systems.

Periodic cell shape
Another potential improvement in efficiency might be provided by implementing a different shape for the periodic cell; for example, a truncated octahedron (TO) 65 rather than a rectangular prism or a cube. The TO periodic cell is not commonly used in classical MD simulations due to the cost ratio (image cell algorithm complexity) vs. number of energy calculations. The TO requires fewer energy calculations but has a more complex and less vectorizable algorithm. In classical mechanics, energy calculations are typically very inexpensive, so the efficiency of the PBC has priority. However, for ab initio, including FMO, simulations the energy and gradient evaluations are much more computationally demanding, so the TO structure is an appealing alternative. Implementing a TO periodic cell would reduce the number of image cells from 26 to 14, reducing the required number of energy and gradient calculations. While a truncated octahedron is not efficient for modeling elongated, rigid systems (e.g. carbon nanotubes), it might be reasonable for modeling liquid dynamics for compounds like ILs that can naturally form a droplet shape.

Improving computational efficiency
The use of MP2 with FMO MD simulations is desirable, because MP2 incorporates most of the essential physics required to provide accurate predictions. However, because MP2 calculations scale BN 5 and have a significant memory demand, performing FMO/MP2 MD simulations is at present too computationally costly. A viable alternative would be to use the RI-MP2 approximation. RI-MP2 energies and gradients have recently been implemented in GAMESS, 66 so FMO/RI-MP2 MD simulations are now a viable alternative.
Currently, as noted above, the FMO method uses the electrostatic potential to describe long-range interactions. An alternative, and more accurate alternative treatment of long-range interactions is to use EFPs, since the EFP method captures intermolecular interactions with an accuracy that is comparable to that of MP2. 67 This is accomplished by the effective fragment molecular orbital (EFMO) method, in which fragment-fragment (dimer) interactions are calculated using EFP interaction energies when the two fragments are separated by a distance that is longer than a userdefined cutoff distance R cut . An additional advantage of the EFMO approach is that the EFP induction interaction captures the most important many-body effects since this term is iterated to self-consistency. This reduces the need for the much more computationally demanding FMO3 method for species (e.g., water) in which many body effects can be important. The EFMO method also removes the EFP constraint of rigid internal geometries. While this comes at the cost of having to generate EFPs at every time step in an MD simulation or geometry optimization, it comes at a more consistent and predicable cost than the SCC in the FMO method. For ILs, this also means not having to use a separate basis set for the ESP, as the SCC is avoided entirely. The short-range interactions that can be difficult for ion pairs treated by EFPs are avoided in EFMO, as short-range interactions are captured in the fully ab initio n-mer calculations.

Concluding remarks
The EFP method discussed in this work is based on accurate ab initio electronic structure methods with no empirically fitted parameters. This provides the EFP method with an important advantage over classical force fields that rely on fitted parameters and are therefore less extensible and less broadly applicable without extensive re-parameterization. The EFP method in addition has an accuracy for intermolecular interactions that is comparable to that of correlated electronic structure methods, such as second order perturbation theory (MP2).
The FMO method scales linearly with system size, making this method applicable to very large systems. Because the FMO method can be combined with any electronic structure method, ranging from Hartree-Fock to density functional theory to correlated methods like MP2. So, the FMO method combines the accuracy and extensibility of correlated electronic structure theory with a scalability that facilitates its applicability to molecular dynamics and Monte Carlo simulations.
As noted above, effective fragment potentials (EFPs) can be a useful tool for modeling ILs, when utilized appropriately. The EFP method is capable of achieving at least MP2 accuracy for the prediction of intermolecular interactions. However, the charge transfer term is particularly sensitive to the choice of basis set. The recommended 6-311++G(3df,2p) basis set provides more accurate predictions of charge transfer interactions for EFPs. In addition, the valence virtual orbital (VVO) approximation for the EFP charge transfer interaction energy is inappropriate for halide anions, as the VVO space for atoms with noble gas atoms is null. For these cases, the canonical molecular orbital (CMO) virtual space should be used. The implementation of the new macromolecule EFP (mEFP) can improve dynamic simulations of larger ions by incorporating some of the internal degrees of freedom. 25 The fragment molecular orbital (FMO) method has the ability to obtain great accuracy in modeling ILs, since the method is able to capture correlation energy interactions that classical methods have difficulty incorporating. The FMO method is much less computationally demanding than fully ab initio methods, because it can take advantage of multi-level parallelism and therefore scales nearly linearly. Nonetheless, the FMO method still requires some improvements to be able to efficiently perform condensed phase dynamic simulations of ILs, and to reach the time scales required to predict many dynamic properties, such as diffusion constants and ionicity. Implementing FMO periodic boundary conditions with a long-range Coulomb term (e.g., Ewald sums, fast multipoles) that fully utilize the multilevel parallelism of the FMO method will facilitate accurate modeling of condensed phase ILs. Utilizing the efficiency of the EFP method as an embedding potential for FMO (EFMO) enables the capture of short range many body correlation effects, increasing both the accuracy and the efficiency of the FMO method. Integration of the RI approximation to MP2 in FMO will further lower the computational cost for accurate IL simulations.
In addition to the aforementioned developments that will bring ab initio capability of treating condensed phase ionic liquids closer to reality, it is still desirable to develop accurate classical force fields that are amenable to much longer MD simulations and are therefore capable of predicting properties that require long timescales. One appealing approach for the development of accurate force fields is to capture the essential features of ab initio potentials by running FMO or EFMO MD simulations for shorter times and then using these potentials to develop new force fields. The use of ab initio potentials to generate new force fields is not a new idea, 68 but the use of potentials based on fragmentation methods such as FMO and EFMO will make the process more efficient and effective.
The accurate modeling of ionic liquids is a challenging task. Ab initio based fragmentation methods are playing an increasingly important role in bridging the gap between the accuracy of fully ab initio calculations and the efficiency of classical dynamics models in order to accurately model and predict IL properties.

Conflicts of interest
There are no conflicts to declare.