@misc{18296,
  abstract     = {It is widely believed that information storage in neuronal circuits involves nanoscopic structural changes at synapses, resulting in the formation of synaptic engrams. However, direct evidence for this hypothesis is lacking. To test this conjecture, we combined chemical potentiation, functional analysis by paired pre-postsynaptic recordings, and structural analysis by electron microscopy (EM) and freeze-fracture replica labeling (FRL) at the murine hippocampal mossy fiber synapse, a key synapse in the trisynaptic circuit of the hippocampus. Biophysical analysis of synaptic transmission revealed that forskolin-induced chemical potentiation increased the readily releasable vesicle pool size and vesicular release probability by 146% and 49%, respectively. Structural analysis of mossy fiber synapses by EM and FRL demonstrated an increase in the number of vesicles close to the plasma membrane and the number of clusters of the priming protein Munc13-1, indicating an increase in the number of both docked and primed vesicles. Furthermore, FRL analysis revealed a significant reduction of the distance between Munc13-1 and CaV2.1 Ca2+ channels, suggesting reconfiguration of the channel-vesicle coupling nanotopography. Our results indicate that presynaptic plasticity is associated with structural reorganization of active zones. We propose that changes in potential nanoscopic organization at synaptic vesicle release sites may be correlates of learning and memory at a plastic central synapse.},
  author       = {Kim, Olena},
  keywords     = {Hippocampal mossy fiber synapses, short-term potentiation, long-term potentiation, presynaptic plasticity, electron microscopy, freeze-fracture replica labeling, paired recordings, forskolin, cyclic adenosine monophosphate (cAMP), protein kinase A (PKA), neuromodulation, synaptic vesicle pools, presynaptic Ca2+ channels, Munc13, docking, priming, active zone},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Presynaptic cAMP-PKA-mediated potentiation induces reconfiguration of synaptic vesicle pools and channel-vesicle coupling at hippocampal mossy fiber boutons}},
  doi          = {10.15479/AT:ISTA:18296},
  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},
}

@article{18305,
  abstract     = {Motor circuits represent the main output of the central nervous system and produce dynamic behaviors ranging from relatively simple rhythmic activities like swimming in fish and breathing in mammals to highly sophisticated dexterous movements in humans. Despite decades of research, the development and function of motor circuits remain poorly understood. Breakthroughs in the field recently provided new tools and tractable model systems that set the stage to discover the molecular mechanisms and circuit logic underlying motor control. Here, we describe recent advances from both vertebrate (mouse, frog) and invertebrate (nematode, fruit fly) systems on cellular and molecular mechanisms that enable motor circuits to develop and function and highlight conserved and divergent mechanisms necessary for motor circuit development.},
  author       = {Kratsios, Paschalis and Zampieri, Niccolò and Carrillo, Robert and Mizumoto, Kota and Sweeney, Lora Beatrice Jaeger and Philippidou, Polyxeni},
  issn         = {1529-2401},
  journal      = {The Journal of Neuroscience},
  number       = {40},
  publisher    = {Society for Neuroscience},
  title        = {{Molecular and cellular mechanisms of motor circuit development}},
  doi          = {10.1523/JNEUROSCI.1238-24.2024},
  volume       = {44},
  year         = {2024},
}

@article{18306,
  abstract     = {Neutral sodium (Na i) is an alkali metal with a favorable absorption cross section such that tenuous gases are easily illuminated at select transiting exoplanet systems. We examine both the time-averaged and time-series alkali spectral flux individually, over 4 nights at a hot Saturn system on a ∼2.8 day orbit about a Sun-like star WASP-49 A. Very Large Telescope/ESPRESSO observations are analyzed, providing new constraints. We recover the previously confirmed residual sodium flux uniquely when averaged, whereas night-to-night Na i varies by more than an order of magnitude. On HARPS/3.6 m Epoch II, we report a Doppler redshift at vΓ,NaD = + 9.7 ± 1.6 km s−1 with respect to the planet's rest frame. Upon examining the lightcurves, we confirm night-to-night variability, on the order of ∼1%–4% in NaD, rarely coinciding with exoplanet transit, not readily explained by stellar activity, starspots, tellurics, or the interstellar medium. Coincident with the ∼+10 km s−1 Doppler redshift, we detect a transient sodium absorption event dFNaD/F⋆ = 3.6% ± 1% at a relative difference of ΔFNaD(t) ∼ 4.4% ± 1%, lasting ΔtNaD ≳ 40 minutes. Since exoplanetary alkali signatures are blueshifted due to the natural vector of radiation pressure, estimated here at roughly ∼−5.7 km s−1, the radial velocity is rather at +15.4 km s−1, far larger than any known exoplanet system. Given that the redshift magnitude vΓ is in between the Roche limit and dynamically stable satellite orbits, the transient sodium may be a putative indication of a natural satellite orbiting WASP-49 A b.},
  author       = {Oza, Apurva V. and Seidel, Julia V. and Hoeijmakers, H. Jens and Unni, Athira and Kesseli, Aurora Y. and Schmidt, Carl A. and Sivarani, Thirupathi and Bello-Arufe, Aaron and Gebek, Andrea and Meyer Zu Westram, Moritz and Sousa, Sérgio G. and Lopes, Rosaly M.C. and Hu, Renyu and De Kleer, Katherine and Fisher, Chloe and Charnoz, Sébastien and Baker, Ashley D. and Halverson, Samuel P. and Schneider, Nick M. and Psaridi, Angelica and Wyttenbach, Aurélien and Torres Rodriguez, Santiago and Bhatnagar, Ishita and Johnson, Robert E.},
  issn         = {2041-8213},
  journal      = {Astrophysical Journal Letters},
  number       = {2},
  publisher    = {IOP Publishing},
  title        = {{Redshifted sodium transient near exoplanet transit}},
  doi          = {10.3847/2041-8213/ad6b29},
  volume       = {973},
  year         = {2024},
}

@inproceedings{18308,
  abstract     = {We study in this paper the problem of maintaining a solution to k-median and k-means clustering in a fully dynamic setting. To do so, we present an algorithm to efficiently maintain a coreset, a compressed version of the dataset, that allows easy computation of a clustering solution at query time. Our coreset algorithm has near-optimal update time of Õ(k) in general metric spaces, which reduces to Õ(d) in the Euclidean space ℝ^d. The query time is O(k²) in general metrics, and O(kd) in ℝ^d. To maintain a constant-factor approximation for k-median and k-means clustering in Euclidean space, this directly leads to an algorithm with update time Õ(d), and query time Õ(kd + k²). To maintain a O(polylog k)-approximation, the query time is reduced to Õ(kd).},
  author       = {La Tour, Max Dupré and Henzinger, Monika H and Saulpic, David},
  booktitle    = {32nd Annual European Symposium on Algorithms},
  isbn         = {9783959773386},
  issn         = {1868-8969},
  location     = {London, United Kingdom},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{Fully dynamic k-means coreset in near-optimal update time}},
  doi          = {10.4230/LIPIcs.ESA.2024.100},
  volume       = {308},
  year         = {2024},
}

@inproceedings{18309,
  abstract     = {The problem of designing connectivity oracles supporting vertex failures is one of the basic data structures problems for undirected graphs. It is already well understood: previous works [Duan-Pettie STOC'10; Long-Saranurak FOCS'22] achieve query time linear in the number of failed vertices, and it is conditionally optimal as long as we require preprocessing time polynomial in the size of the graph and update time polynomial in the number of failed vertices. We revisit this problem in the paradigm of algorithms with predictions: we ask if the query time can be improved if the set of failed vertices can be predicted beforehand up to a small number of errors. More specifically, we design a data structure that, given a graph G = (V,E) and a set of vertices predicted to fail D̂ ⊆ V of size d = |D̂|, preprocesses it in time Õ(d|E|) and then can receive an update given as the symmetric difference between the predicted and the actual set of failed vertices D̂△D = (D̂ ⧵ D) ∪ (D ⧵ D̂) of size η = |D̂△D|, process it in time Õ(η⁴), and after that answer connectivity queries in G ⧵ D in time O(η). Viewed from another perspective, our data structure provides an improvement over the state of the art for the fully dynamic subgraph connectivity problem in the sensitivity setting [Henzinger-Neumann ESA'16]. We argue that the preprocessing time and query time of our data structure are conditionally optimal under standard fine-grained complexity assumptions.},
  author       = {Hu, Bingbing and Kosinas, Evangelos and Polak, Adam},
  booktitle    = {32nd Annual European Symposium on Algorithms},
  isbn         = {9783959773386},
  issn         = {1868-8969},
  location     = {London, United Kingdom},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
  title        = {{Connectivity oracles for predictable vertex failures}},
  doi          = {10.4230/LIPIcs.ESA.2024.72},
  volume       = {308},
  year         = {2024},
}

@article{18310,
  author       = {Kitsara, Maria and Smajlhodžić-Deljo, Merima and Gurbeta Pokvic, Lejla and Bert, Bettina and Bubalo, Nataliia and Erden, Sevilay and Franco, Nuno Henrique and Chirico, Giuseppe and Gómez Raja, Jonathan and Gonzalez-Uarquin, Fernando and Lang, Annemarie and Linklater, Nicole and Mojsova, Sandra and Olsson, I. Anna S. and Sandvig, Ioanna and Schaffert, Alexandra and Schmit, Marthe and Schober, Sophie and Sevastre, Bogdan and Wilflingseder, Doris and Ahluwalia, Arti and Neuhaus, Winfried},
  issn         = {2632-3559},
  journal      = {Alternatives to Laboratory Animals},
  number       = {6},
  pages        = {326--333},
  publisher    = {SAGE Publications},
  title        = {{Introducing the COST action ‘Improving the Quality of Biomedical Science with 3Rs Concepts’ (IMPROVE)}},
  doi          = {10.1177/02611929241286024},
  volume       = {52},
  year         = {2024},
}

@article{18311,
  abstract     = {Local wound signaling in plants informs the surrounding tissues about an injury and initiates the regeneration process. In a recent paper published in Cell, Yang and colleagues show the involvement of a single Pep family member from tomato in wound signaling and how exogenous application of this regeneration factor enhances transformation efficiency in crops.},
  author       = {Hörmayer, Lukas and Friml, Jiří},
  issn         = {1748-7838},
  journal      = {Cell Research},
  pages        = {761--762},
  publisher    = {Springer Nature},
  title        = {{Feeling the danger: Local wound signaling in plants}},
  doi          = {10.1038/s41422-024-01035-x},
  volume       = {34},
  year         = {2024},
}

@phdthesis{18443,
  abstract     = {In [KW06] Kapustin and Witten conjectured that there is a mirror symmetry relation between
the hyperkähler structures on certain Higgs bundle moduli spaces. As a consequence, they
conjecture an equivalence between categories of BBB and BAA-branes. At the classical
level, this mirror symmetry is given by T-duality between semi-flat hyperkähler structures on
algebraic integrable systems.
In this thesis, we investigate the T-duality relation between hyperkähler structures and the
corresponding branes on affine torus bundles. We use the techniques of generalized geometry
to show that semi-flat hyperkähler structures are T-dual on algebraic integrable systems.
We also describe T-duality for generalized branes. Motivated by Fourier-Mukai transform
we upgrade the T-duality between generalized branes to T-duality of submanifolds endowed
with U(1)-bundles and connections. This T-duality in the appropriate context specializes to
T-duality between BBB and BAA-branes.
},
  author       = {Sisak, Maria A},
  issn         = {2663-337X},
  keywords     = {hyperkaehler geometry, branes, mirror symmetry, T-duality},
  pages        = {178},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{T-dual branes on hyperkähler manifolds}},
  doi          = {10.15479/at:ista:18443},
  year         = {2024},
}

@article{22065,
  abstract     = {The Benjamin–Ono equation is shown to be well-posed, both on the line and on the circle, in the Sobolev spaces H^s for s > -1/2. The proof rests on a new gauge transformation and benefits from our introduction of a modified Lax pair representation of the full hierarchy. As we will show, these developments yield important additional dividends beyond well-posedness, including (i) the unification of the diverse approaches to polynomial conservation laws; (ii) a generalization of Gérard’s explicit formula to the full hierarchy; and (iii) new virial-type identities covering all equations in the hierarchy.},
  author       = {Killip, Rowan and Laurens, Thierry and Visan, Monica},
  issn         = {1432-1297},
  journal      = {Inventiones mathematicae},
  number       = {3},
  pages        = {999--1054},
  publisher    = {Springer Nature},
  title        = {{Sharp well-posedness for the Benjamin–Ono equation}},
  doi          = {10.1007/s00222-024-01250-8},
  volume       = {236},
  year         = {2024},
}

@article{22062,
  abstract     = {We prove that the derivative nonlinear Schrödinger equation in one space dimension is globally well-posed on the line in L^2 (R), which is the scaling-critical space for this equation.},
  author       = {Harrop-Griffiths, Benjamin and Killip, Rowan and Ntekoume, Maria and Visan, Monica},
  issn         = {1435-9863},
  journal      = {Journal of the European Mathematical Society},
  number       = {2},
  pages        = {843--924},
  publisher    = {EMS Press},
  title        = {{Global well-posedness for the derivative nonlinear Schrödinger equation in L^2(R)}},
  doi          = {10.4171/jems/1490},
  volume       = {28},
  year         = {2024},
}

@article{22074,
  abstract     = {We discuss how countable subadditivity of operators can be derived from subadditivity under mild forms of continuity, and provide examples manifesting such circumstances.},
  author       = {Grafakos, Loukas and Visan, Monica},
  issn         = {1473-7124},
  journal      = {Proceedings of the Royal Society of Edinburgh: Section A Mathematics},
  number       = {5},
  pages        = {1504--1517},
  publisher    = {Cambridge University Press},
  title        = {{Remarks on countable subadditivity}},
  doi          = {10.1017/prm.2023.77},
  volume       = {154},
  year         = {2024},
}

@article{22079,
  abstract     = {We prove that the cubic nonlinear Schrödinger equation (both focusing and defocusing) is globally well-posed in H^s(R) for any regularity s > −1/2. Well-posedness has long been known for s ≥ 0, see [55], but not previously for any s < 0. The scaling-critical value s = −1/2 is necessarily excluded here, since instantaneous norm inflation is known to occur [11, 40, 48]. We also prove (in a parallel fashion) well-posedness of the real- and complex-valued modified Korteweg–de Vries equations in H^s(R) for any s > −1/2. The best regularity achieved previously was s ≥ 1/4 (see [15, 24, 33, 39]). To overcome the failure of uniform continuity of the data-to-solution map, we employ the method of commuting flows introduced in [37]. In stark contrast with our arguments in [37], an essential ingredient in this paper is the demonstration of a local smoothing effect for both equations. Despite the nonperturbative nature of the well-posedness, the gain of derivatives matches that of the underlying linear equation. To compensate for the local nature of the smoothing estimates, we also demonstrate tightness of orbits. The proofs of both local smoothing and tightness rely on our discovery of a new one-parameter family of coercive microscopic conservation laws that remain meaningful at this low regularity. },
  author       = {Harrop-Griffiths, Benjamin and Killip, Rowan and Visan, Monica},
  issn         = {2050-5086},
  journal      = {Forum of Mathematics, Pi},
  publisher    = {Cambridge University Press},
  title        = {{Sharp well-posedness for the cubic NLS and mKdV in H^s(R)}},
  doi          = {10.1017/fmp.2024.4},
  volume       = {12},
  year         = {2024},
}

@article{22123,
  abstract     = {Frontal ablation is responsible for a large fraction of the mass loss from tidewater glaciers. The main contributors to frontal ablation are iceberg calving and submarine melting, with calving often being the largest. However, submarine melting, in addition to its direct contribution to mass loss, also promotes calving through the changes induced in the stress field at the glacier terminus, so both processes should be jointly analysed. Among the factors influencing submarine melting, the formation of a buoyant plume due to the emergence of fresh subglacial water at the glacier grounding line plays a key role. In this study we used Elmer/Ice to develop a 3D glacier dynamics model including calving and subglacial hydrology coupled with a line plume model to calculate the calving front position at every time step. We applied this model to the Hansbreen–Hansbukta glacier–fjord system in southern Spitsbergen, Svalbard, where a large set of data are available for both the glacier and the fjord from September 2008 to March 2011. We found that our 3D model reproduced the expected seasonal cycle of advance–retreat. Besides, the modelled front positions were in good agreement with the observed front positions at the central part of the calving front, with longitudinal differences, on average, below 15 m for the period from December 2009 to March 2011. But there were regions of the front, especially the eastern margin, that presented major differences.},
  author       = {Muñoz Hermosilla, José M and Otero, Jaime and De Andrés, Eva and Shahateet, Kaian and Navarro, Francisco and Pérez-Doña, Iván},
  issn         = {1994-0424},
  journal      = {The Cryosphere},
  number       = {4},
  pages        = {1911--1924},
  publisher    = {Copernicus Publications},
  title        = {{A 3D glacier dynamics–line plume model to estimate the frontal ablation of Hansbreen, Svalbard}},
  doi          = {10.5194/tc-18-1911-2024},
  volume       = {18},
  year         = {2024},
}

@article{15180,
  abstract     = {Characterizing the prevalence and properties of faint active galactic nuclei (AGNs) in the early Universe is key for understanding the formation of supermassive black holes (SMBHs) and determining their role in cosmic reionization. We perform a spectroscopic search for broad Hα emitters at z ≈ 4–6 using deep JWST/NIRCam imaging and wide field slitless spectroscopy from the EIGER and FRESCO surveys. We identify 20 Hα lines at z = 4.2–5.5 that have broad components with line widths from ∼1200–3700 km s−1, contributing ∼30%–90% of the total line flux. We interpret these broad components as being powered by accretion onto SMBHs with implied masses ∼107–8M⊙. In the UV luminosity range MUV,AGN+host = −21 to −18, we measure number densities of ≈10−5 cMpc−3. This is an order of magnitude higher than expected from extrapolating quasar UV luminosity functions (LFs). Yet, such AGN are found in only <1% of star-forming galaxies at z ∼ 5. The number density discrepancy is much lower when compared to the broad Hα LF. The SMBH mass function agrees with large cosmological simulations. In two objects, we detect complex Hα profiles that we tentatively interpret as caused by absorption signatures from dense gas fueling SMBH growth and outflows. We may be witnessing early AGN feedback that will clear dust-free pathways through which more massive blue quasars are seen. We uncover a strong correlation between reddening and the fraction of total galaxy luminosity arising from faint AGN. This implies that early SMBH growth is highly obscured and that faint AGN are only minor contributors to cosmic reionization.},
  author       = {Matthee, Jorryt J and Naidu, Rohan P. and Brammer, Gabriel and Chisholm, John and Eilers, Anna-Christina and Goulding, Andy and Greene, Jenny and Kashino, Daichi and Labbe, Ivo and Lilly, Simon J. and Mackenzie, Ruari and Oesch, Pascal A. and Weibel, Andrea and Wuyts, Stijn and Xiao, Mengyuan and Bordoloi, Rongmon and Bouwens, Rychard and van Dokkum, Pieter and Illingworth, Garth and Kramarenko, Ivan and Maseda, Michael V. and Mason, Charlotte and Meyer, Romain A. and Nelson, Erica J. and Reddy, Naveen A. and Shivaei, Irene and Simcoe, Robert A. and Yue, Minghao},
  issn         = {1538-4357},
  journal      = {The Astrophysical Journal},
  keywords     = {Space and Planetary Science, Astronomy and Astrophysics},
  number       = {2},
  publisher    = {IOP Publishing},
  title        = {{Little Red Dots: An abundant population of faint active galactic nuclei at z ∼ 5 revealed by the EIGER and FRESCO JWST surveys}},
  doi          = {10.3847/1538-4357/ad2345},
  volume       = {963},
  year         = {2024},
}

@article{18564,
  abstract     = {The recently discovered Pa 30 nebula, the putative type Iax supernova remnant associated with the historical supernova of 1181 AD, shows puzzling characteristics that make it unique among known supernova remnants. In particular, Pa 30 exhibits a complex morphology, with a unique radial and filamentary structure, and it hosts a hot stellar remnant at its center, which displays oxygen-dominated, ultrafast winds. Because of the surviving stellar remnant and the lack of hydrogen and helium in its filaments, it has been suggested that Pa 30 is the product of a failed thermonuclear explosion in a near- or super-Chandrasekhar white dwarf, which created a subluminous transient, a rare subtype of the Ia class of supernovae called type Iax. We present here a detailed study of the 3D structure and velocities of a full radial section of the remnant. The Integral Field Unit observations, obtained with the new red channel of the Keck Cosmic Web Imager spectrograph, reveal that the ejecta are consistent with being ballistic, with velocities close to the free-expansion velocity. Additionally, we detect a large cavity inside the supernova remnant and a sharp inner edge to the filamentary structure, which coincides with the outer edge of a bright ring detected in infrared images. Finally, we detect a strong asymmetry in the amount of ejecta along the line of sight, which might hint at an asymmetric explosion. Our analysis provides strong confirmation that the explosion originated from SN 1181.},
  author       = {Cunningham, Tim and Caiazzo, Ilaria and Prusinski, Nikolaus Z. and Fuller, James and Raymond, John C. and Kulkarni, S. R. and Neill, James D. and Duffell, Paul and Martin, Chris and Toloza, Odette and Charbonneau, David and Kenyon, Scott J. and Lin, Zeren and Matuszewski, Mateusz and McGurk, Rosalie and Polin, Abigail and Yao, Philippe Z.},
  issn         = {2041-8213},
  journal      = {The Astrophysical Journal Letters},
  number       = {1},
  publisher    = {IOP Publishing},
  title        = {{Expansion properties of the young supernova type Iax remnant Pa 30 revealed}},
  doi          = {10.3847/2041-8213/ad713b},
  volume       = {975},
  year         = {2024},
}

@inproceedings{18965,
  abstract     = {A thermoelectric cooler is a solid-state device that transfers heat from one side to another when an electrical current passes through it. This technology is appealing because it can provide precise and localized cooling and heating without using hazardous liquids or gases commonly found in traditional vapor compression refrigeration. These devices are compact, customizable in size, work in any orientation, operate noiselessly, and require minimal maintenance. Even though thermoelectric coolers could be transformative for many advanced thermal management applications, their widespread adoption is hindered by the low efficiency of the thermoelectric materials and costly manufacturing processes.
 In this work, we use extrusion-based 3D printing techniques to fabricate high-performance thermoelectric materials using nanomaterial-based ink. The ink formulation is optimized to ensure structural integrity and particle interfacial bonding during annealing, providing p- and n-type materials with record-high zT values of 1.46 and 1.35 at room temperature, respectively. Moreover, we integrate the printed materials into a 32-pair device and achieve a significant cooling temperature gradient of 50 °C and a coefficient of performance of 3.8, comparable to best-performing thermoelectric coolers, avoiding material waste, and the energy-intense and inefficient steps, such as high-temperature synthesis, pressure-assisted sintering, and cutting and dicing ingots, commonly used in conventional manufacturing processes.},
  author       = {Ibáñez, Maria and Xu, Shengduo and Horta, Sharona and Lawal, Abayomi Q},
  booktitle    = {Proceedings of the Materials for Sustainable Development Conference},
  location     = {Lausanne, Switzerland},
  publisher    = {Fundació de la comunitat valenciana SCITO},
  title        = {{High-performance thermoelectric cooler fabricated vith extrusion-based 3D printing materials}},
  doi          = {10.29363/nanoge.matsusfall.2024.222},
  year         = {2024},
}

@unpublished{20701,
  abstract     = {A Proof of Exponentiation (PoE) allows a prover to efficiently convince a verifier that 𝑦 = 𝑥
𝑒
in some group of unknown order. PoEs
are the basis for practical constructions of Verifiable Delay Functions (VDFs), which, in turn, are important for various higher-level
protocols in distributed computing. In applications such as distributed consensus, many PoEs are generated regularly, motivating
protocols for secure aggregation of batches of statements into a
few statements to improve the efficiency for both parties. Rotem
(TCC 2021) recently presented two such generic batch PoEs.
In this work, we introduce two batch PoEs that outperform
both proposals of Rotem and we evaluate their practicality. First,
we show that the two batch PoEs of Rotem can be combined to
improve the overall efficiency by at least a factor of two. Second, we
revisit the work of Bellare, Garay, and Rabin (EUROCRYPT 1998)
on batch verification of digital signatures and show that, under the
low order assumption, their bucket test can be securely adapted to
the setting of groups of unknown order. The resulting batch PoE
quickly outperforms the state of the art in the expected number of
group multiplications with the growing number of instances, and it
decreases the cost of batching by an order of magnitude already for
hundreds of thousands of instances. Importantly, it is the first batch
PoE that significantly decreases both the proof size and complexity
of verification. Our experimental evaluations show that even a nonoptimized implementation achieves such improvements, which
would match the demands of real-life systems requiring large-scale
PoE processing.
Finally, even though our proof techniques are conceptually similar to Rotem, we give an improved analysis of the application of the
low order assumption towards secure batching of PoE instances,
resulting in a tight reduction, which is important when setting the
security parameter in practice.},
  author       = {Hoffmann, Charlotte and Hubáček, Pavel and Ivanova, Svetlana},
  booktitle    = {Cryptology ePrint Archive},
  publisher    = {International Association for Cryptologic Research},
  title        = {{Practical batch proofs of exponentiation}},
  year         = {2024},
}

@article{17292,
  abstract     = {The Gibbons-Hawking ansatz provides a large family of circle-invariant hyperkähler 4-manifolds, and thus Calabi-Yau 2-folds. In this setting, we prove versions of the Thomas conjecture on existence of special Lagrangian representatives of Hamiltonian isotopy classes of Lagrangians, and the Thomas-Yau conjecture on longtime existence of the Lagrangian mean curvature ow. We also make observations concerning closed geodesics, curve shortening flow and minimal surfaces.},
  author       = {Lotay, Jason D. and Oliveira, Goncalo},
  issn         = {0022-040X},
  journal      = {Journal of Differential Geometry},
  number       = {3},
  pages        = {1121--1184},
  publisher    = {International Press of Boston},
  title        = {{Special Lagrangians, Lagrangian mean curvature flow and the Gibbons-Hawking ansatz}},
  doi          = {10.4310/jdg/1717348872},
  volume       = {126},
  year         = {2024},
}

@inproceedings{17053,
  abstract     = {We introduce a formalization of ternary simulation as abstract interpretation along with a widening operator to speed up convergence. With the same goal, we present a subsumption algorithm that can determine termination earlier than the usual approach using hash sets. Additionally, we introduce a narrowing operator that utilizes recent advances in backbone extraction, allowing to increase the overapproximation precision in simulation at any time. The experiments evaluate the presented techniques in the context of hardware model checking.},
  author       = {Froleyks, Nils and Yu, Zhengqi and Biere, Armin},
  booktitle    = {27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems},
  isbn         = {9783800762682},
  location     = {Kaiserslautern, Germany},
  pages        = {148--151},
  publisher    = {VDE Verlag},
  title        = {{Ternary simulation as abstract interpretation (Work in Progress)}},
  year         = {2024},
}