-
Revisiting the storage capacity limit of graphite battery anodes: spontaneous lithium overintercalation at ambient pressure
Authors:
Cristina Grosu,
Chiara Panosetti,
Steffen Merz,
Peter Jakes,
Sebastian Matera,
Rüdiger-A. Eichel,
Josef Granwehr,
Christoph Scheurer
Abstract:
The market quest for fast-charging, safe, long-lasting and performant batteries drives the exploration of new energy storage materials, but also promotes fundamental investigations of materials already widely used. Presently, revamped interest in anode materials is observed -- primarily graphite electrodes for lithium-ion batteries. Here, we focus on the upper limit of lithium intercalation in the…
▽ More
The market quest for fast-charging, safe, long-lasting and performant batteries drives the exploration of new energy storage materials, but also promotes fundamental investigations of materials already widely used. Presently, revamped interest in anode materials is observed -- primarily graphite electrodes for lithium-ion batteries. Here, we focus on the upper limit of lithium intercalation in the morphologically quasi-ideal highly oriented pyrolytic graphite (HOPG), with a LiC$_6$ stoichiometry corresponding to 100\% state of charge (SOC). We prepared a sample by immersion in liquid lithium at ambient pressure and investigated it by static $^7$Li nuclear magnetic resonance (NMR). We resolved unexpected signatures of superdense intercalation compounds, LiC$_{6-x}$. These have been ruled out for decades, since the highest geometrically accessible composition, LiC$_2$, can only be prepared under high pressure. We thus challenge the widespread notion that any additional intercalation beyond LiC$_6$ is not possible under ambient conditions. We monitored the sample upon calendaric aging and employed ab initio calculations to rationalise the NMR results. The computed relative stabilities of different superdense configurations reveal that non-negligible overintercalation does proceed spontaneously beyond the currently accepted capacity limit.
△ Less
Submitted 12 November, 2021; v1 submitted 23 July, 2021;
originally announced July 2021.
-
The irreducibility of some Wronskian Hermite polynomials
Authors:
Codruţ Grosu,
Corina Grosu
Abstract:
We study the irreducibility of Wronskian Hermite polynomials labelled by partitions. It is known that these polynomials factor as a power of x times a remainder polynomial. We show that the remainder polynomial is irreducible for the partitions (n, m) with m <= 2, and (n, n) when n + 1 is a square.
Our main tools are two theorems that we prove for all partitions. The first result gives a sharp u…
▽ More
We study the irreducibility of Wronskian Hermite polynomials labelled by partitions. It is known that these polynomials factor as a power of x times a remainder polynomial. We show that the remainder polynomial is irreducible for the partitions (n, m) with m <= 2, and (n, n) when n + 1 is a square.
Our main tools are two theorems that we prove for all partitions. The first result gives a sharp upper bound for the slope of the edges of the Newton polygon for the remainder polynomial. The second result is a Schur-type congruence for Wronskian Hermite polynomials.
We also explain how irreducibility determines the number of real zeros of Wronskian Hermite polynomials, and prove Veselov's conjecture for partitions of the form (n, k, k-1, ..., 1).
△ Less
Submitted 30 June, 2020;
originally announced July 2020.
-
The Expansion of Wronskian Hermite Polynomials in the Hermite Basis
Authors:
Codruţ Grosu,
Corina Grosu
Abstract:
We express Wronskian Hermite polynomials in the Hermite basis and obtain an explicit formula for the coefficients. From this we deduce an upper bound for the modulus of the roots in the case of partitions of length 2. We also derive a general upper bound for the modulus of the real and purely imaginary roots. These bounds are very useful in the study of irreducibility of Wronskian Hermite polynomi…
▽ More
We express Wronskian Hermite polynomials in the Hermite basis and obtain an explicit formula for the coefficients. From this we deduce an upper bound for the modulus of the roots in the case of partitions of length 2. We also derive a general upper bound for the modulus of the real and purely imaginary roots. These bounds are very useful in the study of irreducibility of Wronskian Hermite polynomials. Additionally, we generalize some of our results to a larger class of polynomials.
△ Less
Submitted 9 January, 2021; v1 submitted 28 June, 2020;
originally announced June 2020.
-
On the microscopic origin of reversible and irreversible reactions of LiNixCoyMnx cathode materials: Ni-O hybrid bond formation vs. cationic and anionic redox
Authors:
Karin Kleiner,
Claire A. Murray,
Cristina Grosu,
Sarah J. Day,
Martin Winter,
Peter Nagel,
Stefan Schuppler,
Michael Merz
Abstract:
Energy density limitations of layered oxides with different Ni contents, i.e., of the conventional cathode materials in Li-ion batteries, are investigated across the first discharge cycle using advanced spectroscopy and state-of-the-art diffraction. For the first time unambiguous experimental evidence is provided, that redox reactions in NCMs proceed via a reversible oxidation of Ni and a hybridiz…
▽ More
Energy density limitations of layered oxides with different Ni contents, i.e., of the conventional cathode materials in Li-ion batteries, are investigated across the first discharge cycle using advanced spectroscopy and state-of-the-art diffraction. For the first time unambiguous experimental evidence is provided, that redox reactions in NCMs proceed via a reversible oxidation of Ni and a hybridization with O, and not, as widely assumed, via pure cationic or more recently discussed, pure anionic redox processes. Once Ni-O hybrid states are formed, the sites cannot be further oxidized. Instead, irreversible reactions set in which lead to a structural collapse and thus, the lack of ionic Ni limits the reversible capacity. Moreover, the degree of hybridization, which varies with the Ni content, triggers the electronic structure and the operation potential of the cathodes. With an increasing amount of Ni, the covalent character of the materials increases and the potential decreases.
△ Less
Submitted 17 June, 2020;
originally announced June 2020.
-
Mobile Small Polarons Explain Conductivity in Lithium Titanium Oxide Battery Electrodes
Authors:
Matthias Kick,
Cristina Grosu,
Markus Schuderer,
Christoph Scheurer,
Harald Oberhofer
Abstract:
Lithium titanium oxide Li$_4$Ti$_5$O$_{12}$ (LTO) is an intriguing anode material promising particularly long lived batteries, due to its remarkable phase stability during (dis)charging of the cell. However, its usage is limited by its low intrinsic electronic conductivity. Introducing oxygen vacancies can be one method to overcome this drawback, possibly by altering the charge carrier transport m…
▽ More
Lithium titanium oxide Li$_4$Ti$_5$O$_{12}$ (LTO) is an intriguing anode material promising particularly long lived batteries, due to its remarkable phase stability during (dis)charging of the cell. However, its usage is limited by its low intrinsic electronic conductivity. Introducing oxygen vacancies can be one method to overcome this drawback, possibly by altering the charge carrier transport mechanism. We use Hubbard corrected density-functional theory (DFT+U) to show that polaronic states in combination with a possible hop** mechanism can play a crucial role in the experimentally observed increase of electronic conductivity. To gauge polaronic charge mobility, we compute relative stabilities of different localization patterns and estimate polaron hop** barrier heights. With this we finally show how defect engineering can indeed raise the electronic conductivity of LTO up to the level of its ionic conductivity, thereby explaining first experimental results for reduced LTO.
△ Less
Submitted 1 January, 2020;
originally announced January 2020.
-
DFTB modelling of lithium intercalated graphite with machine-learned repulsive potential
Authors:
Chiara Panosetti,
Simon B. Anniés,
Cristina Grosu,
Stefan Seidlmayer,
Christoph Scheurer
Abstract:
Lithium ion batteries have been a central part of consumer electronics for decades. More recently, they have also become critical components in the quickly arising technological fields of electric mobility and intermittent renewable energy storage. However, many fundamental principles and mechanisms are not yet understood to a sufficient extent to fully realize the potential of the incorporated ma…
▽ More
Lithium ion batteries have been a central part of consumer electronics for decades. More recently, they have also become critical components in the quickly arising technological fields of electric mobility and intermittent renewable energy storage. However, many fundamental principles and mechanisms are not yet understood to a sufficient extent to fully realize the potential of the incorporated materials. The vast majority of concurrent lithium ion batteries make use of graphite anodes. Their working principle is based on intercalation---the embedding and ordering of (lithium-) ions in the two-dimensional spaces between the graphene sheets. This important process---it yields the upper bound to a battery's charging speed and plays a decisive role for its longevity---is characterized by multiple phase transitions, ordered and disordered domains, as well as non-equilibrium phenomena, and therefore quite complex. In this work, we provide a simulation framework for the purpose of better understanding lithium intercalated graphite and its behaviour during use in a battery. In order to address the large systems sizes and long time scales required to investigate said effects, we identify the highly efficient, but semi-empirical Density Funtional Tight Binding (DFTB) as a suitable approach and combine particle swarm optimization (PSO) with the machine learning (ML) procedure Gaussian Process Regression (GPR) to obtain the necessary parameters. Using the resulting parametrization, we are able to reproduce experimental reference structures at a level of accuracy which is in no way inferior to much more costly ab initio methods. We finally present structural properties and diffusion barriers for some exemplary system states.
△ Less
Submitted 15 October, 2020; v1 submitted 30 April, 2019;
originally announced April 2019.
-
Almost all trees are almost graceful
Authors:
Anna Adamaszek,
Peter Allen,
Codrut Grosu,
Jan Hladky
Abstract:
The Graceful Tree Conjecture of Rosa from 1967 asserts that the vertices of each tree T of order n can be injectively labelled by using the numbers {1,2,...,n} in such a way that the absolute differences induced on the edges are pairwise distinct.
We prove the following relaxation of the conjecture for each c>0 and for all n>n_0(c). Suppose that (i) the maximum degree of T is bounded by O(n/log…
▽ More
The Graceful Tree Conjecture of Rosa from 1967 asserts that the vertices of each tree T of order n can be injectively labelled by using the numbers {1,2,...,n} in such a way that the absolute differences induced on the edges are pairwise distinct.
We prove the following relaxation of the conjecture for each c>0 and for all n>n_0(c). Suppose that (i) the maximum degree of T is bounded by O(n/log n), and (ii) the vertex labels are chosen from the set {1,2,..., (1+c)n}. Then there is an injective labelling of V(T) such that the absolute differences on the edges are pairwise distinct. In particular, asymptotically almost all trees on n vertices admit such a labelling.
As a consequence, for any such tree T we can pack (2+2c)n-1 copies of T into the complete graph of order (2+2c)n-1 cyclically. This proves an approximate version of the Ringel-Kotzig conjecture (which asserts the existence of a cyclic packing of 2n-1 copies of any T into the complete graph of order 2n-1) for these trees.
The proof proceeds by showing that a certain very natural randomized algorithm produces a desired labelling with high probability.
△ Less
Submitted 24 September, 2019; v1 submitted 4 August, 2016;
originally announced August 2016.
-
On spanning trees with high internal degree
Authors:
Codrut Grosu
Abstract:
Alon and Wormald showed that any graph with minimum degree d contains a spanning star forest in which every connected component is of size at least Ω((d/\log d)^{1/3}). They asked if any connected graph with minimum degree at least d has a spanning tree in which every internal vertex has degree at least cd/\log d, for some absolute constant c > 0.
We give a simple example showing that this is no…
▽ More
Alon and Wormald showed that any graph with minimum degree d contains a spanning star forest in which every connected component is of size at least Ω((d/\log d)^{1/3}). They asked if any connected graph with minimum degree at least d has a spanning tree in which every internal vertex has degree at least cd/\log d, for some absolute constant c > 0.
We give a simple example showing that this is not the case.
△ Less
Submitted 19 July, 2016;
originally announced July 2016.
-
A note on projective norm graphs
Authors:
Codrut Grosu
Abstract:
The projective norm graphs P(q, 4) introduced by Alon, Rónyai and Szabó are explicit examples of extremal graphs not containing K_4,7. Ball and Pepe showed that P(q, 4) does not contain a copy of K_5,5 either for q >= 7, asymptotically improving the best lower bound for ex(n, K_5,5).
We show that these results can not be improved, in the sense that P(q, 4) contains a copy of K_4,6 for infinitely…
▽ More
The projective norm graphs P(q, 4) introduced by Alon, Rónyai and Szabó are explicit examples of extremal graphs not containing K_4,7. Ball and Pepe showed that P(q, 4) does not contain a copy of K_5,5 either for q >= 7, asymptotically improving the best lower bound for ex(n, K_5,5).
We show that these results can not be improved, in the sense that P(q, 4) contains a copy of K_4,6 for infinitely many primes q.
△ Less
Submitted 5 July, 2016;
originally announced July 2016.
-
Approximate and Approximate Null-Controllability of a Class of Piecewise Linear Markov Switch Systems
Authors:
Dan Goreac,
Claudia Grosu,
Eduard Rotenstein
Abstract:
We propose an explicit, easily-computable algebraic criterion for approximate null-controllability of a class of general piecewise linear switch systems with multiplicative noise. This gives an answer to the general problem left open in [13]. The proof relies on recent results in [4] allowing to reduce the dual stochastic backward system to a family of ordinary differential equations. Second, we p…
▽ More
We propose an explicit, easily-computable algebraic criterion for approximate null-controllability of a class of general piecewise linear switch systems with multiplicative noise. This gives an answer to the general problem left open in [13]. The proof relies on recent results in [4] allowing to reduce the dual stochastic backward system to a family of ordinary differential equations. Second, we prove by examples that the notion of approximate controllability is strictly stronger than approximate null-controllability. A sufficient criterion for this stronger notion is also provided. The results are illustrated on a model derived from repressed bacterium operon (given in [19] and reduced in [5]).
△ Less
Submitted 6 September, 2016; v1 submitted 2 February, 2016;
originally announced February 2016.
-
On the connectivity Waiter-Client game
Authors:
Sylwia Antoniuk,
Codruut Grosu,
Lothar Narins
Abstract:
In this short note we consider a variation of the connectivity Waiter-Client game $WC(n,q,\mathcal{A})$ played on an $n$-vertex graph $G$ which consists of $q+1$ disjoint spanning trees. In this game in each round Waiter offers Client $q+1$ edges of $G$ which have not yet been offered. Client chooses one edge and the remaining $q$ edges are discarded. The aim of Waiter is to force Client to build…
▽ More
In this short note we consider a variation of the connectivity Waiter-Client game $WC(n,q,\mathcal{A})$ played on an $n$-vertex graph $G$ which consists of $q+1$ disjoint spanning trees. In this game in each round Waiter offers Client $q+1$ edges of $G$ which have not yet been offered. Client chooses one edge and the remaining $q$ edges are discarded. The aim of Waiter is to force Client to build a connected graph. If this happens Waiter wins. Otherwise Client is the winner. We consider the case where $2 < q+1 < \lfloor \frac{n-1}{2}\rfloor$ and show that for each such $q$ there exists a graph $G$ for which Client has a winning strategy. This result stands in opposition to the case where $G$ consists of just 2 spanning trees or where $G$ is a complete graph, since it has been shown that for such graphs Waiter can always force Client to build a connected graph.
△ Less
Submitted 20 October, 2015;
originally announced October 2015.
-
A new lower bound for the Towers of Hanoi problem
Authors:
Codrut Grosu
Abstract:
More than a century after its proposal, the Towers of Hanoi puzzle with 4 pegs was solved by Thierry Bousch in a breakthrough paper in 2014. The general problem with p pegs is still open, with the best lower bound on the minimum number of moves due to Chen and Shen. We use some of Bousch's new ideas to obtain an asymptotic improvement on this bound for all p >= 5.
More than a century after its proposal, the Towers of Hanoi puzzle with 4 pegs was solved by Thierry Bousch in a breakthrough paper in 2014. The general problem with p pegs is still open, with the best lower bound on the minimum number of moves due to Chen and Shen. We use some of Bousch's new ideas to obtain an asymptotic improvement on this bound for all p >= 5.
△ Less
Submitted 18 August, 2015;
originally announced August 2015.
-
On the algebraic and topological structure of the set of Turán densities
Authors:
Codrut Grosu
Abstract:
The present paper is concerned with the various algebraic structures supported by the set of Turán densities.
We prove that the set of Turán densities of finite families of r-graphs is a non-trivial commutative semigroup, and as a consequence we construct explicit irrational densities for any r >= 3. The proof relies on a technique recently developed by Pikhurko.
We also show that the set of a…
▽ More
The present paper is concerned with the various algebraic structures supported by the set of Turán densities.
We prove that the set of Turán densities of finite families of r-graphs is a non-trivial commutative semigroup, and as a consequence we construct explicit irrational densities for any r >= 3. The proof relies on a technique recently developed by Pikhurko.
We also show that the set of all Turán densities forms a graded ring, and from this we obtain a short proof of a theorem of Peng on jumps of hypergraphs.
Finally, we prove that the set of Turán densities of families of r-graphs has positive Lebesgue measure if and only if it contains an open interval. This is a simple consequence of Steinhaus's theorem.
△ Less
Submitted 1 July, 2016; v1 submitted 18 March, 2014;
originally announced March 2014.
-
On the rank of higher inclusion matrices
Authors:
Codrut Grosu,
Yury Person,
Tibor Szabo
Abstract:
Let r >= s >= 0 be integers and G be an r-graph. The higher inclusion matrix M_s^r(G) is a {0,1}-matrix with rows indexed by the edges of G and columns indexed by the subsets of V(G) of size s: the entry corresponding to an edge e and a subset S is 1 if S is contained in e and 0 otherwise. Following a question of Frankl and Tokushige and a result of Keevash, we define the rank-extremal function re…
▽ More
Let r >= s >= 0 be integers and G be an r-graph. The higher inclusion matrix M_s^r(G) is a {0,1}-matrix with rows indexed by the edges of G and columns indexed by the subsets of V(G) of size s: the entry corresponding to an edge e and a subset S is 1 if S is contained in e and 0 otherwise. Following a question of Frankl and Tokushige and a result of Keevash, we define the rank-extremal function rex(n,t,r,s) as the maximum number of edges of an r-graph G having rank M_s^r(G) <=\binom{n}{s} - t. For t at most linear in n we determine this function as well as the extremal r-graphs. The special case t=1 answers a question of Keevash.
△ Less
Submitted 10 June, 2013;
originally announced June 2013.
-
F_p is locally like C
Authors:
Codrut Grosu
Abstract:
Vu, Wood and Wood showed that any finite set S in a characteristic zero integral domain can be mapped to F_p, for infinitely many primes p, while preserving finitely many algebraic incidences of S. In this note we show that the converse essentially holds, namely any small subset of F_p can be mapped to some finite algebraic extension of Q, while preserving bounded algebraic relations. This answers…
▽ More
Vu, Wood and Wood showed that any finite set S in a characteristic zero integral domain can be mapped to F_p, for infinitely many primes p, while preserving finitely many algebraic incidences of S. In this note we show that the converse essentially holds, namely any small subset of F_p can be mapped to some finite algebraic extension of Q, while preserving bounded algebraic relations. This answers a question of Vu, Wood and Wood. We give several applications, in particular we show that for small subsets of F_p, the Szemerédi-Trotter theorem holds with optimal exponent 4/3, and we improve the previously best-known sum-product estimate in F_p. We also give an application to an old question of Rényi. The proof of the main result is an application of elimination theory and is similar in spirit with the proof of the quantitative Hilbert Nullstellensatz.
△ Less
Submitted 18 January, 2014; v1 submitted 10 March, 2013;
originally announced March 2013.
-
The extremal function for partial bipartite tilings
Authors:
Codrut Grosu,
Jan Hladky
Abstract:
For a fixed bipartite graph H and given number c, 0<c<1, we determine the threshold T_H(c) which guarantees that any n-vertex graph with at edge density at least T_H(c) contains $(1-o(1))c/v(H) n$ vertex-disjoint copies of H. In the proof we use a variant of a technique developed by Komlos~\bcolor{[Combinatorica 20 (2000), 203-218}]
For a fixed bipartite graph H and given number c, 0<c<1, we determine the threshold T_H(c) which guarantees that any n-vertex graph with at edge density at least T_H(c) contains $(1-o(1))c/v(H) n$ vertex-disjoint copies of H. In the proof we use a variant of a technique developed by Komlos~\bcolor{[Combinatorica 20 (2000), 203-218}]
△ Less
Submitted 6 January, 2011; v1 submitted 6 October, 2009;
originally announced October 2009.