@inproceedings{22367, abstract = {We study the Undecided-State Dynamics (USD), a fundamental consensus process in which each vertex holds one of k decided opinions or the undecided state. We consider both the gossip model and the population protocol model. Prior work established tight bounds on the consensus time of this process only for the regime k = O ( n / ( log ⁡ n ) 2 ) (for the population protocol model) and k = O((n/log n)1/3) (for the gossip model), often under restrictive assumptions on the initial configuration. In this paper, we obtain the first consensus-time guarantees for USD that hold for arbitrary 2 ≤ k ≤ n and for arbitrary initial configurations in both the gossip model and the population protocol model. In the gossip model, USD reaches consensus within O ~ ( min { k , n } ) synchronous rounds with probability 1 - p⊥ - n-c, where p⊥ is the gossip-specific probability of collapsing to the all-undecided state in the first round. In the population protocol model, USD reaches consensus within O ~ ( min { k n , n 3 / 2 } ) asynchronous interactions with high probability. We also present lower bounds that match the upper bounds up to polylogarithmic factors for a specific initial configuration and show that our upper bounds are essentially optimal.}, author = {Cooper, Colin and Mallmann-Trenn, Frederik and Radzik, Tomasz and Shimizu, Nobutaka and Shiraga, Takeharu}, booktitle = {Proceedings of the Annual ACM Symposium on Principles of Distributed Computing}, isbn = {9798400725128}, keywords = {consensus dynamics, undecided state dynamics, gossip model, population protocol model}, location = {Egham, United Kingdom}, pages = {77--87}, publisher = {Association for Computing Machinery}, title = {{Undecided state dynamics with many opinions}}, doi = {10.1145/3796701.3815920}, year = {2026}, } @article{20851, abstract = {High-voltage disordered spinel LiNi0.5Mn1.5O4 is a promising cathode material for high power density in lithium-ion batteries. However, it suffers from poor cycle life associated with the rock-salt phase transformation. This study presents a straightforward synthesis approach to enhance the electrochemical performance of LiNi0.5Mn1.5O4 through a synergistic solid-state modification with LiF and AlF3. This dual modification promotes rapid Li⁺ diffusion, enables near-complete delithiation/lithiation, approaching the theoretical capacity of disordered LiNi0.5Mn1.5O4, and, more importantly, effectively mitigates the formation of the rock-salt phase, thereby enhancing structural stability, as confirmed by operando X-ray absorption spectroscopy (XAS) and synchrotron X-ray diffraction (SXRD). As a result, the optimized LiNi0.5Mn1.5O4 (10 mg AlF3 + 30 mg LiF) delivers high reversible capacities of 142.1, 139.1, 129.2, 121.6, 110.3, 93.5, and 76.1 mAh∙g−1 at 0.2C, 0.5C, 1.0C, 2.0C, 3.0C, 4.0C, and 5.0C, respectively. Full cells using graphite as the anode and a high-loading cathode exhibit excellent cycling performance. They retain 80% of their capacity after 200 cycles at 0.5C within a voltage window of 3.5–4.9 V with cathode loading of 11 mg∙cm−2. The findings of this study will significantly advance high-power LiNi0.5Mn1.5O4 materials, offering improved battery life and thereby enhancing their potential for practical applications.}, author = {Chang, Xingqi and Escudero, Carlos and Black, Ashley P. and Horta, Sharona and Martínez, Elías and Lu, Xuan and Llorca, Jordi and Ibáñez, Maria and Biendicho, Jordi Jacas and Cabot, Andreu}, issn = {2198-3844}, journal = {Advanced Science}, keywords = {disordered spinel LiNi0.5Mn1.5O4 (LNMO), generation 3b batteries, operando SXRD, operando XAS, rock-salt, solid-state synthesis}, number = {11}, publisher = {Wiley}, title = {{Mitigating the rock-salt phase transformation in disordered LNMO through synergetic solid-state AlF3/LiF modifications}}, doi = {10.1002/advs.202515962}, volume = {13}, year = {2026}, } @article{17219, abstract = {We introduce a multi-material non-manifold mesh-based surface tracking algorithm that converts self-intersections into topological changes. Our algorithm generalizes prior work on manifold surface tracking with topological changes: it preserves surface features like mesh-based methods, and it robustly handles topological changes like level set methods. Our method also offers improved efficiency and robustness over the state of the art. We demonstrate the effectiveness of the approach on a range of examples, including complex soap film simulations with thousands of interacting bubbles, and boolean unions of non-manifold meshes consisting of millions of triangles.}, author = {Synak, Peter and Kalinov, Aleksei and Strugaru, Irina-Malina and Etemadihaghighi, Arian and Yang, Huidong and Wojtan, Christopher J}, issn = {1557-7368}, journal = {ACM Transactions on Graphics}, keywords = {surface tracking, topology change, non- manifold meshes, multi-material flows, solid modeling}, number = {4}, publisher = {Association for Computing Machinery}, title = {{Multi-material mesh-based surface tracking with implicit topology changes}}, doi = {10.1145/3658223}, volume = {43}, year = {2024}, } @phdthesis{18301, abstract = {Physics simulation in computer graphics can bring triangle meshes into topologically invalid states. The method in this thesis contributed to Heiss-Synak* and Kalinov* et al. [2024] who devised a non-manifold hybrid surface tracker—a surface tracker that repairs explicit non-manifold triangle meshes with the help of the implicit domain. Specifically, this thesis provides an algorithm for filling the holes that are left after removing problematic parts of the mesh.}, author = {Etemadihaghighi, Arian}, issn = {2791-4585}, keywords = {surface tracking, non-manifold, hole-filling, topology change, multi-material, solid-modeling}, pages = {39}, publisher = {Institute of Science and Technology Austria}, title = {{Filling the holes of non-manifold self-intersecting meshes for implicit topology changes in surface tracking}}, doi = {10.15479/at:ista:18301}, year = {2024}, } @inproceedings{10553, abstract = {The popularity of permissioned blockchain systems demands BFT SMR protocols that are efficient under good network conditions (synchrony) and robust under bad network conditions (asynchrony). The state-of-the-art partially synchronous BFT SMR protocols provide optimal linear communication cost per decision under synchrony and good leaders, but lose liveness under asynchrony. On the other hand, the state-of-the-art asynchronous BFT SMR protocols are live even under asynchrony, but always pay quadratic cost even under synchrony. In this paper, we propose a BFT SMR protocol that achieves the best of both worlds -- optimal linear cost per decision under good networks and leaders, optimal quadratic cost per decision under bad networks, and remains always live.}, author = {Gelashvili, Rati and Kokoris Kogias, Eleftherios and Spiegelman, Alexander and Xiang, Zhuolun}, booktitle = {Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing}, isbn = {9-781-4503-8548-0}, keywords = {optimal, state machine replication, fallback, asynchrony, byzantine faults}, location = {Virtual, Italy}, pages = {187--190}, publisher = {Association for Computing Machinery}, title = {{Brief announcement: Be prepared when network goes bad: An asynchronous view-change protocol}}, doi = {10.1145/3465084.3467941}, year = {2021}, } @misc{8067, abstract = {With the lithium-ion technology approaching its intrinsic limit with graphite-based anodes, lithium metal is recently receiving renewed interest from the battery community as potential high capacity anode for next-generation rechargeable batteries. In this focus paper, we review the main advances in this field since the first attempts in the mid-1970s. Strategies for enabling reversible cycling and avoiding dendrite growth are thoroughly discussed, including specific applications in all-solid-state (polymeric and inorganic), Lithium-sulphur and Li-O2 (air) batteries. A particular attention is paid to review recent developments in regard of prototype manufacturing and current state-ofthe-art of these battery technologies with respect to the 2030 targets of the EU Integrated Strategic Energy Technology Plan (SET-Plan) Action 7.}, author = {Varzi, Alberto and Thanner, Katharina and Scipioni, Roberto and Di Lecce, Daniele and Hassoun, Jusef and Dörfler, Susanne and Altheus, Holger and Kaskel, Stefan and Prehal, Christian and Freunberger, Stefan Alexander}, issn = {2664-1690}, keywords = {Battery, Lithium metal, Lithium-sulphur, Lithium-air, All-solid-state}, pages = {63}, publisher = {IST Austria}, title = {{Current status and future perspectives of Lithium metal batteries}}, doi = {10.15479/AT:ISTA:8067}, year = {2020}, } @article{22051, abstract = {We construct solutions with prescribed scattering state to the cubic-quintic NLS (mathematical formular)in three spatial dimensions in the class of solutions with (mathematical formular). This models disturbances in an infinite expanse of (quantum) fluid in its quiescent state— the limiting modulus c corresponds to a local minimum in the energy density. Our arguments build on work of Gustafson, Nakanishi, and Tsai on the (defocusing) Gross–Pitaevskii equation. The presence of an energy-critical nonlinearity and changes in the geometry of the energy functional add several new complexities. One new ingredient in our argument is a demonstration that solutions of such (perturbed) energy-critical equations exhibit continuous dependence on the initial data with respect to the weak topology on H1/x.}, author = {Killip, Rowan and Murphy, Jason and Visan, Monica}, issn = {1948-206X}, journal = {Analysis & PDE}, keywords = {final-state problem, wave operators, cubic-quintic NLS, nonvanishing boundary conditions}, number = {7}, pages = {1523--1574}, publisher = {Mathematical Sciences Publishers}, title = {{The final-state problem for the cubic-quintic NLS with nonvanishing boundary conditions}}, doi = {10.2140/apde.2016.9.1523}, volume = {9}, year = {2016}, }