@article{14726,
abstract = {Autocrine signaling pathways regulated by RAPID ALKALINIZATION FACTORs (RALFs) control cell wall integrity during pollen tube germination and growth in Arabidopsis (Arabidopsis thaliana). To investigate the role of pollen-specific RALFs in another plant species, we combined gene expression data with phylogenetic and biochemical studies to identify candidate orthologs in maize (Zea mays). We show that Clade IB ZmRALF2/3 mutations, but not Clade III ZmRALF1/5 mutations, cause cell wall instability in the sub-apical region of the growing pollen tube. ZmRALF2/3 are mainly located in the cell wall and are partially able to complement the pollen germination defect of their Arabidopsis orthologs AtRALF4/19. Mutations in ZmRALF2/3 compromise pectin distribution patterns leading to altered cell wall organization and thickness culminating in pollen tube burst. Clade IB, but not Clade III ZmRALFs, strongly interact as ligands with the pollen-specific Catharanthus roseus RLK1-like (CrRLK1L) receptor kinases Zea mays FERONIA-like (ZmFERL) 4/7/9, LORELEI-like glycosylphosphatidylinositol-anchor (LLG) proteins Zea mays LLG 1 and 2 (ZmLLG1/2) and Zea mays pollen extension-like (PEX) cell wall proteins ZmPEX2/4. Notably, ZmFERL4 outcompetes ZmLLG2 and ZmPEX2 outcompetes ZmFERL4 for ZmRALF2 binding. Based on these data, we suggest that Clade IB RALFs act in a dual role as cell wall components and extracellular sensors to regulate cell wall integrity and thickness during pollen tube growth in maize and probably other plants.},
author = {Zhou, Liang-Zi and Wang, Lele and Chen, Xia and Ge, Zengxiang and Mergner, Julia and Li, Xingli and Küster, Bernhard and Längst, Gernot and Qu, Li-Jia and Dresselhaus, Thomas},
issn = {1532-298X},
journal = {The Plant Cell},
keywords = {Cell Biology, Plant Science},
publisher = {Oxford University Press},
title = {{The RALF signaling pathway regulates cell wall integrity during pollen tube growth in maize}},
doi = {10.1093/plcell/koad324},
year = {2023},
}
@article{12833,
abstract = {The input to the token swapping problem is a graph with vertices v1, v2, . . . , vn, and n tokens with labels 1,2, . . . , n, one on each vertex. The goal is to get token i to vertex vi for all i= 1, . . . , n using a minimum number of swaps, where a swap exchanges the tokens on the endpoints of an edge.Token swapping on a tree, also known as “sorting with a transposition tree,” is not known to be in P nor NP-complete. We present some partial results: 1. An optimum swap sequence may need to perform a swap on a leaf vertex that has the correct token (a “happy leaf”), disproving a conjecture of Vaughan. 2. Any algorithm that fixes happy leaves—as all known approximation algorithms for the problem do—has approximation factor at least 4/3. Furthermore, the two best-known 2-approximation algorithms have approximation factor exactly 2. 3. A generalized problem—weighted coloured token swapping—is NP-complete on trees, but solvable in polynomial time on paths and stars. In this version, tokens and vertices have colours, and colours have weights. The goal is to get every token to a vertex of the same colour, and the cost of a swap is the sum of the weights of the two tokens involved.},
author = {Biniaz, Ahmad and Jain, Kshitij and Lubiw, Anna and Masárová, Zuzana and Miltzow, Tillmann and Mondal, Debajyoti and Naredla, Anurag Murty and Tkadlec, Josef and Turcotte, Alexi},
issn = {1365-8050},
journal = {Discrete Mathematics and Theoretical Computer Science},
number = {2},
publisher = {EPI Sciences},
title = {{Token swapping on trees}},
doi = {10.46298/DMTCS.8383},
volume = {24},
year = {2023},
}
@inproceedings{14735,
abstract = {Scaling blockchain protocols to perform on par with the expected needs of Web3.0 has been proven to be a challenging task with almost a decade of research. In the forefront of the current solution is the idea of separating the execution of the updates encoded in a block from the ordering of blocks. In order to achieve this, a new class of protocols called rollups has emerged. Rollups have as input a total ordering of valid and invalid transactions and as output a new valid state-transition.
If we study rollups from a distributed computing perspective, we uncover that rollups take as input the output of a Byzantine Atomic Broadcast (BAB) protocol and convert it to a State Machine Replication (SMR) protocol. BAB and SMR, however, are considered equivalent as far as distributed computing is concerned and a solution to one can easily be retrofitted to solve the other simply by adding/removing an execution step before the validation of the input.
This “easy” step of retrofitting an atomic broadcast solution to implement an SMR has, however, been overlooked in practice. In this paper, we formalize the problem and show that after BAB is solved, traditional impossibility results for consensus no longer apply towards an SMR. Leveraging this we propose a distributed execution protocol that allows reduced execution and storage cost per executor (O(log2n/n)) without relaxing the network assumptions of the underlying BAB protocol and providing censorship-resistance. Finally, we propose efficient non-interactive light client constructions that leverage our efficient execution protocols and do not require any synchrony assumptions or expensive ZK-proofs.},
author = {Stefo, Christos and Xiang, Zhuolun and Kokoris Kogias, Eleftherios},
booktitle = {27th International Conference on Financial Cryptography and Data Security},
isbn = {9783031477539},
issn = {0302-9743},
location = {Bol, Brac, Croatia},
pages = {3--20},
publisher = {Springer Nature},
title = {{Executing and proving over dirty ledgers}},
doi = {10.1007/978-3-031-47754-6_1},
volume = {13950},
year = {2023},
}
@article{14733,
abstract = {Redox flow batteries (RFBs) rely on the development of cheap, highly soluble, and high-energy-density electrolytes. Several candidate quinones have already been investigated in the literature as two-electron anolytes or catholytes, benefiting from fast kinetics, high tunability, and low cost. Here, an investigation of nitrogen-rich fused heteroaromatic quinones was carried out to explore avenues for electrolyte development. These quinones were synthesized and screened by using electrochemical techniques. The most promising candidate, 4,8-dioxo-4,8-dihydrobenzo[1,2-d:4,5-d′]bis([1,2,3]triazole)-1,5-diide (−0.68 V(SHE)), was tested in both an asymmetric and symmetric full-cell setup resulting in capacity fade rates of 0.35% per cycle and 0.0124% per cycle, respectively. In situ ultraviolet-visible spectroscopy (UV–Vis), nuclear magnetic resonance (NMR), and electron paramagnetic resonance (EPR) spectroscopies were used to investigate the electrochemical stability of the charged species during operation. UV–Vis spectroscopy, supported by density functional theory (DFT) modeling, reaffirmed that the two-step charging mechanism observed during battery operation consisted of two, single-electron transfers. The radical concentration during battery operation and the degree of delocalization of the unpaired electron were quantified with NMR and EPR spectroscopy.},
author = {Jethwa, Rajesh B and Hey, Dominic and Kerber, Rachel N. and Bond, Andrew D. and Wright, Dominic S. and Grey, Clare P.},
issn = {2574-0962},
journal = {ACS Applied Energy Materials},
keywords = {Electrical and Electronic Engineering, Materials Chemistry, Electrochemistry, Energy Engineering and Power Technology, Chemical Engineering (miscellaneous)},
publisher = {American Chemical Society},
title = {{Exploring the landscape of heterocyclic quinones for redox flow batteries}},
doi = {10.1021/acsaem.3c02223},
year = {2023},
}
@article{14734,
abstract = {Developing cost-effective and high-performance thermoelectric (TE) materials to assemble efficient TE devices presents a multitude of challenges and opportunities. Cu3SbSe4 is a promising p-type TE material based on relatively earth abundant elements. However, the challenge lies in its poor electrical conductivity. Herein, an efficient and scalable solution-based approach is developed to synthesize high-quality Cu3SbSe4 nanocrystals doped with Pb at the Sb site. After ligand displacement and annealing treatments, the dried powders are consolidated into dense pellets, and their TE properties are investigated. Pb doping effectively increases the charge carrier concentration, resulting in a significant increase in electrical conductivity, while the Seebeck coefficients remain consistently high. The calculated band structure shows that Pb doping induces band convergence, thereby increasing the effective mass. Furthermore, the large ionic radius of Pb2+ results in the generation of additional point and plane defects and interphases, dramatically enhancing phonon scattering, which significantly decreases the lattice thermal conductivity at high temperatures. Overall, a maximum figure of merit (zTmax) ≈ 0.85 at 653 K is obtained in Cu3Sb0.97Pb0.03Se4. This represents a 1.6-fold increase compared to the undoped sample and exceeds most doped Cu3SbSe4-based materials produced by solid-state, demonstrating advantages of versatility and cost-effectiveness using a solution-based technology.},
author = {Wan, Shanhong and Xiao, Shanshan and Li, Mingquan and Wang, Xin and Lim, Khak Ho and Hong, Min and Ibáñez, Maria and Cabot, Andreu and Liu, Yu},
issn = {2366-9608},
journal = {Small Methods},
publisher = {Wiley},
title = {{Band engineering through Pb-doping of nanocrystal building blocks to enhance thermoelectric performance in Cu3SbSe4}},
doi = {10.1002/smtd.202301377},
year = {2023},
}
@article{14737,
abstract = {John’s fundamental theorem characterizing the largest volume ellipsoid contained in a convex body $K$ in $\mathbb{R}^{d}$ has seen several generalizations and extensions. One direction, initiated by V. Milman is to replace ellipsoids by positions (affine images) of another body $L$. Another, more recent direction is to consider logarithmically concave functions on $\mathbb{R}^{d}$ instead of convex bodies: we designate some special, radially symmetric log-concave function $g$ as the analogue of the Euclidean ball, and want to find its largest integral position under the constraint that it is pointwise below some given log-concave function $f$. We follow both directions simultaneously: we consider the functional question, and allow essentially any meaningful function to play the role of $g$ above. Our general theorems jointly extend known results in both directions. The dual problem in the setting of convex bodies asks for the smallest volume ellipsoid, called Löwner’s ellipsoid, containing $K$. We consider the analogous problem for functions: we characterize the solutions of the optimization problem of finding a smallest integral position of some log-concave function $g$ under the constraint that it is pointwise above $f$. It turns out that in the functional setting, the relationship between the John and the Löwner problems is more intricate than it is in the setting of convex bodies.},
author = {Ivanov, Grigory and Naszódi, Márton},
issn = {1687-0247},
journal = {International Mathematics Research Notices},
keywords = {General Mathematics},
number = {23},
pages = {20613--20669},
publisher = {Oxford University Press},
title = {{Functional John and Löwner conditions for pairs of log-concave functions}},
doi = {10.1093/imrn/rnad210},
volume = {2023},
year = {2023},
}
@inproceedings{14736,
abstract = {Payment channel networks (PCNs) are a promising technology to improve the scalability of cryptocurrencies. PCNs, however, face the challenge that the frequent usage of certain routes may deplete channels in one direction, and hence prevent further transactions. In order to reap the full potential of PCNs, recharging and rebalancing mechanisms are required to provision channels, as well as an admission control logic to decide which transactions to reject in case capacity is insufficient. This paper presents a formal model of this optimisation problem. In particular, we consider an online algorithms perspective, where transactions arrive over time in an unpredictable manner. Our main contributions are competitive online algorithms which come with provable guarantees over time. We empirically evaluate our algorithms on randomly generated transactions to compare the average performance of our algorithms to our theoretical bounds. We also show how this model and approach differs from related problems in classic communication networks.},
author = {Bastankhah, Mahsa and Chatterjee, Krishnendu and Maddah-Ali, Mohammad Ali and Schmid, Stefan and Svoboda, Jakub and Yeo, Michelle X},
booktitle = {27th International Conference on Financial Cryptography and Data Security},
isbn = {9783031477539},
issn = {1611-3349},
location = {Bol, Brac, Croatia},
pages = {309--325},
publisher = {Springer Nature},
title = {{R2: Boosting liquidity in payment channel networks with online admission control}},
doi = {10.1007/978-3-031-47754-6_18},
volume = {13950},
year = {2023},
}
@article{14739,
abstract = {Attempts to incorporate topological information in supervised learning tasks have resulted in the creation of several techniques for vectorizing persistent homology barcodes. In this paper, we study thirteen such methods. Besides describing an organizational framework for these methods, we comprehensively benchmark them against three well-known classification tasks. Surprisingly, we discover that the best-performing method is a simple vectorization, which consists only of a few elementary summary statistics. Finally, we provide a convenient web application which has been designed to facilitate exploration and experimentation with various vectorization methods.},
author = {Ali, Dashti and Asaad, Aras and Jimenez, Maria-Jose and Nanda, Vidit and Paluzo-Hidalgo, Eduardo and Soriano Trigueros, Manuel},
issn = {1939-3539},
journal = {IEEE Transactions on Pattern Analysis and Machine Intelligence},
keywords = {Applied Mathematics, Artificial Intelligence, Computational Theory and Mathematics, Computer Vision and Pattern Recognition, Software},
number = {12},
pages = {14069--14080},
publisher = {IEEE},
title = {{A survey of vectorization methods in topological data analysis}},
doi = {10.1109/tpami.2023.3308391},
volume = {45},
year = {2023},
}
@article{14742,
abstract = {Chromosomal rearrangements (CRs) have been known since almost the beginning of genetics.
While an important role for CRs in speciation has been suggested, evidence primarily stems
from theoretical and empirical studies focusing on the microevolutionary level (i.e., on taxon
pairs where speciation is often incomplete). Although the role of CRs in eukaryotic speciation at
a macroevolutionary level has been supported by associations between species diversity and
rates of evolution of CRs across phylogenies, these findings are limited to a restricted range of
CRs and taxa. Now that more broadly applicable and precise CR detection approaches have
become available, we address the challenges in filling some of the conceptual and empirical
gaps between micro- and macroevolutionary studies on the role of CRs in speciation. We
synthesize what is known about the macroevolutionary impact of CRs and suggest new research avenues to overcome the pitfalls of previous studies to gain a more comprehensive understanding of the evolutionary significance of CRs in speciation across the tree of life.},
author = {Lucek, Kay and Giménez, Mabel D. and Joron, Mathieu and Rafajlović, Marina and Searle, Jeremy B. and Walden, Nora and Westram, Anja M and Faria, Rui},
issn = {1943-0264},
journal = {Cold Spring Harbor Perspectives in Biology},
keywords = {General Biochemistry, Genetics and Molecular Biology},
number = {11},
publisher = {Cold Spring Harbor Laboratory},
title = {{The impact of chromosomal rearrangements in speciation: From micro- to macroevolution}},
doi = {10.1101/cshperspect.a041447},
volume = {15},
year = {2023},
}
@inproceedings{14744,
abstract = {Sharding distributed ledgers is a promising on-chain solution for scaling blockchains but lacks formal grounds, nurturing skepticism on whether such complex systems can scale blockchains securely. We fill this gap by introducing the first formal framework as well as a roadmap to robust sharding. In particular, we first define the properties sharded distributed ledgers should fulfill. We build upon and extend the Bitcoin backbone protocol by defining consistency and scalability. Consistency encompasses the need for atomic execution of cross-shard transactions to preserve safety, whereas scalability encapsulates the speedup a sharded system can gain in comparison to a non-sharded system.
Using our model, we explore the limitations of sharding. We show that a sharded ledger with n participants cannot scale under a fully adaptive adversary, but it can scale up to m shards where n=c'm log m, under an epoch-adaptive adversary; the constant c' encompasses the trade-off between security and scalability. This is possible only if the sharded ledgers create succinct proofs of the valid state updates at every epoch. We leverage our results to identify the sufficient components for robust sharding, which we incorporate in a protocol abstraction termed Divide & Scale. To demonstrate the power of our framework, we analyze the most prominent sharded blockchains (Elastico, Monoxide, OmniLedger, RapidChain) and pinpoint where they fail to meet the desired properties.},
author = {Avarikioti, Zeta and Desjardins, Antoine and Kokoris Kogias, Eleftherios and Wattenhofer, Roger},
booktitle = {30th International Colloquium on Structural Information and Communication Complexity},
isbn = {9783031327322},
issn = {1611-3349},
location = {Alcalá de Henares, Spain},
pages = {199--245},
publisher = {Springer Nature},
title = {{Divide & Scale: Formalization and roadmap to robust sharding}},
doi = {10.1007/978-3-031-32733-9_10},
volume = {13892},
year = {2023},
}
@article{14749,
abstract = {We unveil a powerful method for the stabilization of laser injection locking based on sensing variations in the output beam ellipticity of an optically seeded laser. The effect arises due to an interference between the seeding beam and the injected laser output. We demonstrate the method for a commercial semiconductor laser without the need for any internal changes to the readily operational injection locked laser system that was used. The method can also be used to increase the mode-hop free tuning range of lasers, and has the potential to fill a void in the low-noise laser industry.},
author = {Mishra, Umang and Li, Vyacheslav and Wald, Sebastian and Agafonova, Sofya and Diorico, Fritz R and Hosten, Onur},
issn = {1539-4794},
journal = {Optics Letters},
keywords = {Atomic and Molecular Physics, and Optics},
number = {15},
pages = {3973--3976},
publisher = {Optica Publishing Group},
title = {{Monitoring and active stabilization of laser injection locking using beam ellipticity}},
doi = {10.1364/ol.495553},
volume = {48},
year = {2023},
}
@article{14752,
abstract = {Radiative cooling of the lowest atmospheric levels is of strong importance for modulating atmospheric circulations and organizing convection, but detailed observations and a robust theoretical understanding are lacking. Here we use unprecedented observational constraints from subsidence regimes in the tropical Atlantic to develop a theory for the shape and magnitude of low‐level longwave radiative cooling in clear‐sky, showing peaks larger than 5–10 K/day at the top of the boundary layer. A suite of novel scaling approximations is first developed from simplified spectral theory, in close agreement with the measurements. The radiative cooling peak height is set by the maximum lapse rate in water vapor path, and its magnitude is mainly controlled by the ratio of column relative humidity above and below the peak. We emphasize how elevated intrusions of moist air can reduce low‐level cooling, by sporadically shading the spectral range which effectively cools to space. The efficiency of this spectral shading depends both on water content and altitude of moist intrusions; its height dependence cannot be explained by the temperature difference between the emitting and absorbing layers, but by the decrease of water vapor extinction with altitude. This analytical work can help to narrow the search for low‐level cloud patterns sensitive to radiative‐convective feedbacks: the most organized patterns with largest cloud fractions occur in atmospheres below 10% relative humidity and feel the strongest low‐level cooling. This motivates further assessment of favorable conditions for radiative‐convective feedbacks and a robust quantification of corresponding shallow cloud dynamics in current and warmer climates.},
author = {Fildier, B. and Muller, Caroline J and Pincus, R. and Fueglistaler, S.},
issn = {2576-604X},
journal = {AGU Advances},
keywords = {General Earth and Planetary Sciences},
number = {3},
publisher = {American Geophysical Union},
title = {{How moisture shapes low‐level radiative cooling in subsidence regimes}},
doi = {10.1029/2023av000880},
volume = {4},
year = {2023},
}
@article{14754,
abstract = {The large-scale laminar/turbulent spiral patterns that appear in the linearly unstable regime of counter-rotating Taylor–Couette flow are investigated from a statistical perspective by means of direct numerical simulation. Unlike the vast majority of previous numerical studies, we analyse the flow in periodic parallelogram-annular domains, following a coordinate change that aligns one of the parallelogram sides with the spiral pattern. The domain size, shape and spatial resolution have been varied and the results compared with those in a sufficiently large computational orthogonal domain with natural axial and azimuthal periodicity. We find that a minimal parallelogram of the right tilt significantly reduces the computational cost without notably compromising the statistical properties of the supercritical turbulent spiral. Its mean structure, obtained from extremely long time integrations in a co-rotating reference frame using the method of slices, bears remarkable similarity with the turbulent stripes observed in plane Couette flow, the centrifugal instability playing only a secondary role.},
author = {Wang, B. and Mellibovsky, F. and Ayats López, Roger and Deguchi, K. and Meseguer, A.},
issn = {1471-2962},
journal = {Philosophical Transactions of the Royal Society A},
keywords = {General Physics and Astronomy, General Engineering, General Mathematics},
number = {2246},
publisher = {The Royal Society},
title = {{Mean structure of the supercritical turbulent spiral in Taylor–Couette flow}},
doi = {10.1098/rsta.2022.0112},
volume = {381},
year = {2023},
}
@article{14753,
abstract = {Several fixed-target experiments reported J/ψ and ϒ polarizations, as functions of Feynman x (xF) and transverse momentum (PT), in three different frames, using different combinations of beam particles, target nuclei, and collision energies. Despite the diverse and heterogeneous picture formed by these measurements, a detailed look allows us to discern qualitative physical patterns that inspire a simple empirical model. This data-driven scenario offers a good quantitative description of the J/ψ and ϒ(1S) polarizations measured in proton- and pion-nucleus collisions, in the xF 0.5 domain: more than 80 data points (not statistically independent) are well reproduced with only one free parameter. This study sets the context for future low-PT
quarkonium polarization measurements in proton- and pion-nucleus collisions, such as those to be made by the AMBER experiment, and shows that such measurements provide significant constraints on the poorly-known parton distribution functions of the pion.},
author = {Faccioli, Pietro and Krätschmer, Ilse and Lourenço, Carlos},
issn = {1873-2445},
journal = {Physics Letters B},
keywords = {Nuclear and High Energy Physics},
publisher = {Elsevier},
title = {{Low-pT quarkonium polarization measurements: Challenges and opportunities}},
doi = {10.1016/j.physletb.2023.137871},
volume = {840},
year = {2023},
}
@article{14750,
abstract = {Consider the random matrix model A1/2UBU∗A1/2, where A and B are two N × N deterministic matrices and U is either an N × N Haar unitary or orthogonal random matrix. It is well known that on the macroscopic scale (Invent. Math. 104 (1991) 201–220), the limiting empirical spectral distribution (ESD) of the above model is given by the free multiplicative convolution
of the limiting ESDs of A and B, denoted as μα μβ, where μα and μβ are the limiting ESDs of A and B, respectively. In this paper, we study the asymptotic microscopic behavior of the edge eigenvalues and eigenvectors statistics. We prove that both the density of μA μB, where μA and μB are the ESDs of A and B, respectively and the associated subordination functions
have a regular behavior near the edges. Moreover, we establish the local laws near the edges on the optimal scale. In particular, we prove that the entries of the resolvent are close to some functionals depending only on the eigenvalues of A, B and the subordination functions with optimal convergence rates. Our proofs and calculations are based on the techniques developed for the additive model A+UBU∗ in (J. Funct. Anal. 271 (2016) 672–719; Comm. Math.
Phys. 349 (2017) 947–990; Adv. Math. 319 (2017) 251–291; J. Funct. Anal. 279 (2020) 108639), and our results can be regarded as the counterparts of (J. Funct. Anal. 279 (2020) 108639) for the multiplicative model. },
author = {Ding, Xiucai and Ji, Hong Chang},
issn = {1050-5164},
journal = {The Annals of Applied Probability},
keywords = {Statistics, Probability and Uncertainty, Statistics and Probability},
number = {4},
pages = {2981--3009},
publisher = {Institute of Mathematical Statistics},
title = {{Local laws for multiplication of random matrices}},
doi = {10.1214/22-aap1882},
volume = {33},
year = {2023},
}
@article{14756,
abstract = {We prove the r-spin cobordism hypothesis in the setting of (weak) 2-categories for every positive integer r: the 2-groupoid of 2-dimensional fully extended r-spin TQFTs with given target is equivalent to the homotopy fixed points of an induced Spin 2r -action. In particular, such TQFTs are classified by fully dualisable objects together with a trivialisation of the rth power of their Serre automorphisms. For r=1, we recover the oriented case (on which our proof builds), while ordinary spin structures correspond to r=2.
To construct examples, we explicitly describe Spin 2r-homotopy fixed points in the equivariant completion of any symmetric monoidal 2-category. We also show that every object in a 2-category of Landau–Ginzburg models gives rise to fully extended spin TQFTs and that half of these do not factor through the oriented bordism 2-category.},
author = {Carqueville, Nils and Szegedy, Lorant},
issn = {1663-487X},
journal = {Quantum Topology},
keywords = {Geometry and Topology, Mathematical Physics},
number = {3},
pages = {467--532},
publisher = {European Mathematical Society},
title = {{Fully extended r-spin TQFTs}},
doi = {10.4171/qt/193},
volume = {14},
year = {2023},
}
@article{14751,
abstract = {We consider zero-error communication over a two-transmitter deterministic adversarial multiple access channel (MAC) governed by an adversary who has access to the transmissions of both senders (hence called omniscient ) and aims to maliciously corrupt the communication. None of the encoders, jammer and decoder is allowed to randomize using private or public randomness. This enforces a combinatorial nature of the problem. Our model covers a large family of channels studied in the literature, including all deterministic discrete memoryless noisy or noiseless MACs. In this work, given an arbitrary two-transmitter deterministic omniscient adversarial MAC, we characterize when the capacity region: 1) has nonempty interior (in particular, is two-dimensional); 2) consists of two line segments (in particular, has empty interior); 3) consists of one line segment (in particular, is one-dimensional); 4) or only contains (0,0) (in particular, is zero-dimensional). This extends a recent result by Wang et al. (201 9) from the point-to-point setting to the multiple access setting. Indeed, our converse arguments build upon their generalized Plotkin bound and involve delicate case analysis. One of the technical challenges is to take care of both “joint confusability” and “marginal confusability”. In particular, the treatment of marginal confusability does not follow from the point-to-point results by Wang et al. Our achievability results follow from random coding with expurgation.},
author = {Zhang, Yihan},
issn = {1557-9654},
journal = {IEEE Transactions on Information Theory},
keywords = {Computer Science Applications, Information Systems},
number = {7},
pages = {4093--4127},
publisher = {Institute of Electrical and Electronics Engineers},
title = {{Zero-error communication over adversarial MACs}},
doi = {10.1109/tit.2023.3257239},
volume = {69},
year = {2023},
}
@article{14755,
abstract = {We consider the sharp interface limit for the scalar-valued and vector-valued Allen–Cahn equation with homogeneous Neumann boundary condition in a bounded smooth domain Ω of arbitrary dimension N ⩾ 2 in the situation when a two-phase diffuse interface has developed and intersects the boundary ∂ Ω. The limit problem is mean curvature flow with 90°-contact angle and we show convergence in strong norms for well-prepared initial data as long as a smooth solution to the limit problem exists. To this end we assume that the limit problem has a smooth solution on [ 0 , T ] for some time T > 0. Based on the latter we construct suitable curvilinear coordinates and set up an asymptotic expansion for the scalar-valued and the vector-valued Allen–Cahn equation. In order to estimate the difference of the exact and approximate solutions with a Gronwall-type argument, a spectral estimate for the linearized Allen–Cahn operator in both cases is required. The latter will be shown in a separate paper, cf. (Moser (2021)).},
author = {Moser, Maximilian},
issn = {1875-8576},
journal = {Asymptotic Analysis},
keywords = {General Mathematics},
number = {3-4},
pages = {297--383},
publisher = {IOS Press},
title = {{Convergence of the scalar- and vector-valued Allen–Cahn equation to mean curvature flow with 90°-contact angle in higher dimensions, part I: Convergence result}},
doi = {10.3233/asy-221775},
volume = {131},
year = {2023},
}
@inbook{14757,
abstract = {The cerebral cortex is comprised of a vast cell-type diversity sequentially generated by cortical progenitor cells. Faithful progenitor lineage progression requires the tight orchestration of distinct molecular and cellular mechanisms regulating proper progenitor proliferation behavior and differentiation. Correct execution of developmental programs involves a complex interplay of cell intrinsic and tissue-wide mechanisms. Many studies over the past decades have been able to determine a plethora of genes critically involved in cortical development. However, only a few made use of genetic paradigms with sparse and global gene deletion to probe cell-autonomous vs. tissue-wide contribution. In this chapter, we will elaborate on the importance of dissecting the cell-autonomous and tissue-wide mechanisms to gain a precise understanding of gene function during radial glial progenitor lineage progression.},
author = {Villalba Requena, Ana and Amberg, Nicole and Hippenmeyer, Simon},
booktitle = {Neocortical Neurogenesis in Development and Evolution},
editor = {Huttner, Wieland},
pages = {169--191},
publisher = {Wiley},
title = {{Interplay of Cell‐autonomous Gene Function and Tissue‐wide Mechanisms Regulating Radial Glial Progenitor Lineage Progression}},
doi = {10.1002/9781119860914.ch10},
year = {2023},
}
@article{14759,
abstract = {Proper operation of electro-optic I/Q modulators relies on precise adjustment and control of the relative phase biases between the modulator’s internal interferometer arms. We present an all-analog phase bias locking scheme where error signals are obtained from the beat between the optical carrier and optical tones generated by an auxiliary 2 MHz 𝑅𝐹 tone to lock the phases of all three involved interferometers for operation up to 10 GHz. With the developed method, we demonstrate an I/Q modulator in carrier-suppressed single-sideband mode, where the suppressed carrier and sideband are locked at optical power levels <−27dB
relative to the transmitted sideband. We describe a simple analytical model for calculating the error signals and detail the implementation of the electronic circuitry for the implementation of the method.},
author = {Wald, Sebastian and Diorico, Fritz R and Hosten, Onur},
issn = {2155-3165},
journal = {Applied Optics},
keywords = {Atomic and Molecular Physics, and Optics, Engineering (miscellaneous), Electrical and Electronic Engineering},
number = {1},
pages = {1--7},
publisher = {Optica Publishing Group},
title = {{Analog stabilization of an electro-optic I/Q modulator with an auxiliary modulation tone}},
doi = {10.1364/ao.474118},
volume = {62},
year = {2023},
}
@misc{12817,
abstract = {3D-reconstruction of living brain tissue down to individual synapse level would create opportunities for decoding the dynamics and structure-function relationships of the brain’s complex and dense information processing network. However, it has been hindered by insufficient 3D-resolution, inadequate signal-to-noise-ratio, and prohibitive light burden in optical imaging, whereas electron microscopy is inherently static. Here we solved these challenges by developing an integrated optical/machine learning technology, LIONESS (Live Information-Optimized Nanoscopy Enabling Saturated Segmentation). It leverages optical modifications to stimulated emission depletion (STED) microscopy in comprehensively, extracellularly labelled tissue and prior information on sample structure via machine learning to simultaneously achieve isotropic super-resolution, high signal-to-noise-ratio, and compatibility with living tissue. This allows dense deep-learning-based instance segmentation and 3D-reconstruction at synapse level incorporating molecular, activity, and morphodynamic information. LIONESS opens up avenues for studying the dynamic functional (nano-)architecture of living brain tissue.},
author = {Danzl, Johann G},
publisher = {Institute of Science and Technology Austria},
title = {{Research data for the publication "Dense 4D nanoscale reconstruction of living brain tissue"}},
doi = {10.15479/AT:ISTA:12817},
year = {2023},
}
@article{13267,
abstract = {Three-dimensional (3D) reconstruction of living brain tissue down to an individual synapse level would create opportunities for decoding the dynamics and structure–function relationships of the brain’s complex and dense information processing network; however, this has been hindered by insufficient 3D resolution, inadequate signal-to-noise ratio and prohibitive light burden in optical imaging, whereas electron microscopy is inherently static. Here we solved these challenges by developing an integrated optical/machine-learning technology, LIONESS (live information-optimized nanoscopy enabling saturated segmentation). This leverages optical modifications to stimulated emission depletion microscopy in comprehensively, extracellularly labeled tissue and previous information on sample structure via machine learning to simultaneously achieve isotropic super-resolution, high signal-to-noise ratio and compatibility with living tissue. This allows dense deep-learning-based instance segmentation and 3D reconstruction at a synapse level, incorporating molecular, activity and morphodynamic information. LIONESS opens up avenues for studying the dynamic functional (nano-)architecture of living brain tissue.},
author = {Velicky, Philipp and Miguel Villalba, Eder and Michalska, Julia M and Lyudchik, Julia and Wei, Donglai and Lin, Zudi and Watson, Jake and Troidl, Jakob and Beyer, Johanna and Ben Simon, Yoav and Sommer, Christoph M and Jahr, Wiebke and Cenameri, Alban and Broichhagen, Johannes and Grant, Seth G.N. and Jonas, Peter M and Novarino, Gaia and Pfister, Hanspeter and Bickel, Bernd and Danzl, Johann G},
issn = {1548-7105},
journal = {Nature Methods},
pages = {1256--1265},
publisher = {Springer Nature},
title = {{Dense 4D nanoscale reconstruction of living brain tissue}},
doi = {10.1038/s41592-023-01936-6},
volume = {20},
year = {2023},
}
@inproceedings{14771,
abstract = {Pruning—that is, setting a significant subset of the parameters of a neural network to zero—is one of the most popular methods of model compression. Yet, several recent works have raised the issue that pruning may induce or exacerbate bias in the output of the compressed model. Despite existing evidence for this phenomenon, the relationship between neural network pruning and induced bias is not well-understood. In this work, we systematically investigate and characterize this phenomenon in Convolutional Neural Networks for computer vision. First, we show that it is in fact possible to obtain highly-sparse models, e.g. with less than 10% remaining weights, which do not decrease in accuracy nor substantially increase in bias when compared to dense models. At the same time, we also find that, at higher sparsities, pruned models exhibit higher uncertainty in their outputs, as well as increased correlations, which we directly link to increased bias. We propose easy-to-use criteria which, based only on the uncompressed model, establish whether bias will increase with pruning, and identify the samples most susceptible to biased predictions post-compression. Our code can be found at https://github.com/IST-DASLab/pruned-vision-model-bias.},
author = {Iofinova, Eugenia B and Peste, Elena-Alexandra and Alistarh, Dan-Adrian},
booktitle = {2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition},
issn = {2575-7075},
location = {Vancouver, BC, Canada},
pages = {24364--24373},
publisher = {IEEE},
title = {{Bias in pruned vision models: In-depth analysis and countermeasures}},
doi = {10.1109/cvpr52729.2023.02334},
year = {2023},
}
@article{14770,
abstract = {We developed LIONESS, a technology that leverages improvements to optical super-resolution microscopy and prior information on sample structure via machine learning to overcome the limitations (in 3D-resolution, signal-to-noise ratio and light exposure) of optical microscopy of living biological specimens. LIONESS enables dense reconstruction of living brain tissue and morphodynamics visualization at the nanoscale.},
author = {Danzl, Johann G and Velicky, Philipp},
issn = {1548-7105},
journal = {Nature Methods},
keywords = {Cell Biology, Molecular Biology, Biochemistry, Biotechnology},
number = {8},
pages = {1141--1142},
publisher = {Springer Nature},
title = {{LIONESS enables 4D nanoscale reconstruction of living brain tissue}},
doi = {10.1038/s41592-023-01937-5},
volume = {20},
year = {2023},
}
@article{14774,
abstract = {Morphogen gradients impart positional information to cells in a homogenous tissue field. Fgf8a, a highly conserved growth factor, has been proposed to act as a morphogen during zebrafish gastrulation. However, technical limitations have so far prevented direct visualization of the endogenous Fgf8a gradient and confirmation of its morphogenic activity. Here, we monitor Fgf8a propagation in the developing neural plate using a CRISPR/Cas9-mediated EGFP knock-in at the endogenous fgf8a locus. By combining sensitive imaging with single-molecule fluorescence correlation spectroscopy, we demonstrate that Fgf8a, which is produced at the embryonic margin, propagates by diffusion through the extracellular space and forms a graded distribution towards the animal pole. Overlaying the Fgf8a gradient curve with expression profiles of its downstream targets determines the precise input-output relationship of Fgf8a-mediated patterning. Manipulation of the extracellular Fgf8a levels alters the signaling outcome, thus establishing Fgf8a as a bona fide morphogen during zebrafish gastrulation. Furthermore, by hindering Fgf8a diffusion, we demonstrate that extracellular diffusion of the protein from the source is crucial for it to achieve its morphogenic potential.},
author = {Harish, Rohit K and Gupta, Mansi and Zöller, Daniela and Hartmann, Hella and Gheisari, Ali and Machate, Anja and Hans, Stefan and Brand, Michael},
issn = {1477-9129},
journal = {Development},
keywords = {Developmental Biology, Molecular Biology},
number = {19},
publisher = {The Company of Biologists},
title = {{Real-time monitoring of an endogenous Fgf8a gradient attests to its role as a morphogen during zebrafish gastrulation}},
doi = {10.1242/dev.201559},
volume = {150},
year = {2023},
}
@article{14776,
abstract = {Soluble chaperones residing in the endoplasmic reticulum (ER) play vitally important roles in folding and quality control of newly synthesized proteins that transiently pass through the ER en route to their final destinations. These soluble residents of the ER are themselves endowed with an ER retrieval signal that enables the cell to bring the escaped residents back from the Golgi. Here, by using purified proteins, we showed that Nicotiana tabacum phytaspase, a plant aspartate-specific protease, introduces two breaks at the C-terminus of the N. tabacum ER resident calreticulin-3. These cleavages resulted in removal of either a dipeptide or a hexapeptide from the C-terminus of calreticulin-3 encompassing part or all of the ER retrieval signal. Consistently, expression of the calreticulin-3 derivative mimicking the phytaspase cleavage product in Nicotiana benthamiana cells demonstrated loss of the ER accumulation of the protein. Notably, upon its escape from the ER, calreticulin-3 was further processed by an unknown protease(s) to generate the free N-terminal (N) domain of calreticulin-3, which was ultimately secreted into the apoplast. Our study thus identified a specific proteolytic enzyme capable of precise detachment of the ER retrieval signal from a plant ER resident protein, with implications for the further fate of the escaped resident.},
author = {Teplova, Anastasiia and Pigidanov, Artemii A. and Serebryakova, Marina V. and Golyshev, Sergei A. and Galiullina, Raisa A. and Chichkova, Nina V. and Vartapetian, Andrey B.},
issn = {1422-0067},
journal = {International Journal of Molecular Sciences},
keywords = {Inorganic Chemistry, Organic Chemistry, Physical and Theoretical Chemistry, Computer Science Applications, Spectroscopy, Molecular Biology, General Medicine, Catalysis},
number = {22},
publisher = {MDPI},
title = {{Phytaspase Is capable of detaching the endoplasmic reticulum retrieval signal from tobacco calreticulin-3}},
doi = {10.3390/ijms242216527},
volume = {24},
year = {2023},
}
@article{14775,
abstract = {We establish a quantitative version of the Tracy–Widom law for the largest eigenvalue of high-dimensional sample covariance matrices. To be precise, we show that the fluctuations of the largest eigenvalue of a sample covariance matrix X∗X converge to its Tracy–Widom limit at a rate nearly N−1/3, where X is an M×N random matrix whose entries are independent real or complex random variables, assuming that both M and N tend to infinity at a constant rate. This result improves the previous estimate N−2/9 obtained by Wang (2019). Our proof relies on a Green function comparison method (Adv. Math. 229 (2012) 1435–1515) using iterative cumulant expansions, the local laws for the Green function and asymptotic properties of the correlation kernel of the white Wishart ensemble.},
author = {Schnelli, Kevin and Xu, Yuanyuan},
issn = {1050-5164},
journal = {The Annals of Applied Probability},
keywords = {Statistics, Probability and Uncertainty, Statistics and Probability},
number = {1},
pages = {677--725},
publisher = {Institute of Mathematical Statistics},
title = {{Convergence rate to the Tracy–Widom laws for the largest eigenvalue of sample covariance matrices}},
doi = {10.1214/22-aap1826},
volume = {33},
year = {2023},
}
@article{14773,
abstract = {Through a combination of idealized simulations and real-world data, researchers are uncovering how internal feedbacks and large-scale motions influence cloud dynamics.},
author = {Muller, Caroline J and Abramian, Sophie},
issn = {1945-0699},
journal = {Physics Today},
keywords = {General Physics and Astronomy},
number = {5},
publisher = {AIP Publishing},
title = {{The cloud dynamics of convective storm systems}},
doi = {10.1063/pt.3.5234},
volume = {76},
year = {2023},
}
@article{14777,
abstract = {The effects of the partial V-substitution for Ag on the thermoelectric (TE) properties are investigated for a flexible semiconducting compound Ag2S0.55Se0.45. Density functional theory calculations predict that such a partial V-substitution constructively modifies the electronic structure near the bottom of the conduction band to improve the TE performance. The synthesized Ag1.97V0.03S0.55Se0.45 is found to possess a TE dimensionless figure-of-merit (ZT) of 0.71 at 350 K with maintaining its flexible nature. This ZT value is relatively high in comparison with those reported for flexible TE materials below 360 K. The increase in the ZT value is caused by the enhanced absolute value of the Seebeck coefficient with less significant variation in electrical resistivity. The high ZT value with the flexible nature naturally allows us to employ the Ag1.97V0.03S0.55Se0.45 as a component of flexible TE generators.},
author = {Sato, Kosuke and Singh, Saurabh and Yamazaki, Itsuki and Hirata, Keisuke and Ang, Artoni Kevin R. and Matsunami, Masaharu and Takeuchi, Tsunehiro},
issn = {2158-3226},
journal = {AIP Advances},
keywords = {General Physics and Astronomy},
number = {12},
publisher = {AIP Publishing},
title = {{Improvement of thermoelectric performance of flexible compound Ag2S0.55Se0.45 by means of partial V-substitution for Ag}},
doi = {10.1063/5.0171888},
volume = {13},
year = {2023},
}
@article{9651,
abstract = {We introduce a hierachy of equivalence relations on the set of separated nets of a given Euclidean space, indexed by concave increasing functions ϕ:(0,∞)→(0,∞). Two separated nets are called ϕ-displacement equivalent if, roughly speaking, there is a bijection between them which, for large radii R, displaces points of norm at most R by something of order at most ϕ(R). We show that the spectrum of ϕ-displacement equivalence spans from the established notion of bounded displacement equivalence, which corresponds to bounded ϕ, to the indiscrete equivalence relation, coresponding to ϕ(R)∈Ω(R), in which all separated nets are equivalent. In between the two ends of this spectrum, the notions of ϕ-displacement equivalence are shown to be pairwise distinct with respect to the asymptotic classes of ϕ(R) for R→∞. We further undertake a comparison of our notion of ϕ-displacement equivalence with previously studied relations on separated nets. Particular attention is given to the interaction of the notions of ϕ-displacement equivalence with that of bilipschitz equivalence.},
author = {Dymond, Michael and Kaluza, Vojtech},
issn = {1572-9168},
journal = {Geometriae Dedicata},
publisher = {Springer Nature},
title = {{Divergence of separated nets with respect to displacement equivalence}},
doi = {10.1007/s10711-023-00862-3},
year = {2023},
}
@inproceedings{14768,
abstract = {In all state-of-the-art sketching and coreset techniques for clustering, as well as in the best known fixed-parameter tractable approximation algorithms, randomness plays a key role. For the classic k-median and k-means problems, there are no known deterministic dimensionality reduction procedure or coreset construction that avoid an exponential dependency on the input dimension d, the precision parameter $\varepsilon^{-1}$ or k. Furthermore, there is no coreset construction that succeeds with probability $1-1/n$ and whose size does not depend on the number of input points, n. This has led researchers in the area to ask what is the power of randomness for clustering sketches [Feldman WIREs Data Mining Knowl. Discov’20].Similarly, the best approximation ratio achievable deterministically without a complexity exponential in the dimension are $1+\sqrt{2}$ for k-median [Cohen-Addad, Esfandiari, Mirrokni, Narayanan, STOC’22] and 6.12903 for k-means [Grandoni, Ostrovsky, Rabani, Schulman, Venkat, Inf. Process. Lett.’22]. Those are the best results, even when allowing a complexity FPT in the number of clusters k: this stands in sharp contrast with the $(1+\varepsilon)$-approximation achievable in that case, when allowing randomization.In this paper, we provide deterministic sketches constructions for clustering, whose size bounds are close to the best-known randomized ones. We show how to compute a dimension reduction onto $\varepsilon^{-O(1)} \log k$ dimensions in time $k^{O\left(\varepsilon^{-O(1)}+\log \log k\right)}$ poly $(n d)$, and how to build a coreset of size $O\left(k^{2} \log ^{3} k \varepsilon^{-O(1)}\right)$ in time $2^{\varepsilon^{O(1)} k \log ^{3} k}+k^{O\left(\varepsilon^{-O(1)}+\log \log k\right)}$ poly $(n d)$. In the case where k is small, this answers an open question of [Feldman WIDM’20] and [Munteanu and Schwiegelshohn, Künstliche Intell. ’18] on whether it is possible to efficiently compute coresets deterministically.We also construct a deterministic algorithm for computing $(1+$ $\varepsilon)$-approximation to k-median and k-means in high dimensional Euclidean spaces in time $2^{k^{2} \log ^{3} k / \varepsilon^{O(1)}}$ poly $(n d)$, close to the best randomized complexity of $2^{(k / \varepsilon)^{O(1)}}$ nd (see [Kumar, Sabharwal, Sen, JACM 10] and [Bhattacharya, Jaiswal, Kumar, TCS’18]).Furthermore, our new insights on sketches also yield a randomized coreset construction that uses uniform sampling, that immediately improves over the recent results of [Braverman et al. FOCS ’22] by a factor k.},
author = {Cohen-Addad, Vincent and Saulpic, David and Schwiegelshohn, Chris},
booktitle = {2023 IEEE 64th Annual Symposium on Foundations of Computer Science},
location = {Santa Cruz, CA, United States},
pages = {1105--1130},
publisher = {IEEE},
title = {{Deterministic clustering in high dimensional spaces: Sketches and approximation}},
doi = {10.1109/focs57990.2023.00066},
year = {2023},
}
@article{14784,
abstract = {The next steps of deep space exploration are manned missions to Moon and Mars. For safe space missions for crew members, it is important to understand the impact of space flight on the immune system. We studied the effects of 21 days dry immersion (DI) exposure on the transcriptomes of T cells isolated from blood samples of eight healthy volunteers. Samples were collected 7 days before DI, at day 7, 14, and 21 during DI, and 7 days after DI. RNA sequencing of CD3+T cells revealed transcriptional alterations across all time points, with most changes occurring 14 days after DI exposure. At day 21, T cells showed evidence of adaptation with a transcriptional profile resembling that of 7 days before DI. At 7 days after DI, T cells again changed their transcriptional profile. These data suggest that T cells adapt by rewiring their transcriptomes in response to simulated weightlessness and that remodeling cues persist when reexposed to normal gravity.},
author = {Gallardo-Dodd, Carlos J. and Oertlin, Christian and Record, Julien and Galvani, Rômulo G. and Sommerauer, Christian and Kuznetsov, Nikolai V. and Doukoumopoulos, Evangelos and Ali, Liaqat and Oliveira, Mariana M. S. and Seitz, Christina and Percipalle, Mathias and Nikić, Tijana and Sadova, Anastasia A. and Shulgina, Sofia M. and Shmarov, Vjacheslav A. and Kutko, Olga V. and Vlasova, Daria D. and Orlova, Kseniya D. and Rykova, Marina P. and Andersson, John and Percipalle, Piergiorgio and Kutter, Claudia and Ponomarev, Sergey A. and Westerberg, Lisa S.},
issn = {2375-2548},
journal = {Science Advances},
keywords = {Multidisciplinary},
number = {34},
publisher = {American Association for the Advancement of Science},
title = {{Exposure of volunteers to microgravity by dry immersion bed over 21 days results in gene expression changes and adaptation of T cells}},
doi = {10.1126/sciadv.adg1610},
volume = {9},
year = {2023},
}
@article{14782,
abstract = {The actin cortex is a complex cytoskeletal machinery that drives and responds to changes in cell shape. It must generate or adapt to plasma membrane curvature to facilitate diverse functions such as cell division, migration, and phagocytosis. Due to the complex molecular makeup of the actin cortex, it remains unclear whether actin networks are inherently able to sense and generate membrane curvature, or whether they rely on their diverse binding partners to accomplish this. Here, we show that curvature sensing is an inherent capability of branched actin networks nucleated by Arp2/3 and VCA. We develop a robust method to encapsulate actin inside giant unilamellar vesicles (GUVs) and assemble an actin cortex at the inner surface of the GUV membrane. We show that actin forms a uniform and thin cortical layer when present at high concentration and distinct patches associated with negative membrane curvature at low concentration. Serendipitously, we find that the GUV production method also produces dumbbell-shaped GUVs, which we explain using mathematical modeling in terms of membrane hemifusion of nested GUVs. We find that branched actin networks preferentially assemble at the neck of the dumbbells, which possess a micrometer-range convex curvature comparable with the curvature of the actin patches found in spherical GUVs. Minimal branched actin networks can thus sense membrane curvature, which may help mammalian cells to robustly recruit actin to curved membranes to facilitate diverse cellular functions such as cytokinesis and migration.},
author = {Baldauf, Lucia and Frey, Felix F and Arribas Perez, Marcos and Idema, Timon and Koenderink, Gijsje H.},
issn = {0006-3495},
journal = {Biophysical Journal},
keywords = {Biophysics},
number = {11},
pages = {2311--2324},
publisher = {Elsevier},
title = {{Branched actin cortices reconstituted in vesicles sense membrane curvature}},
doi = {10.1016/j.bpj.2023.02.018},
volume = {122},
year = {2023},
}
@article{14783,
abstract = {Connexin 43, an astroglial gap junction protein, is enriched in perisynaptic astroglial processes and plays major roles in synaptic transmission. We have previously found that astroglial Cx43 controls synaptic glutamate levels and allows for activity-dependent glutamine release to sustain physiological synaptic transmissions and cognitiogns. However, whether Cx43 is important for the release of synaptic vesicles, which is a critical component of synaptic efficacy, remains unanswered. Here, using transgenic mice with a glial conditional knockout of Cx43 (Cx43−/−), we investigate whether and how astrocytes regulate the release of synaptic vesicles from hippocampal synapses. We report that CA1 pyramidal neurons and their synapses develop normally in the absence of astroglial Cx43. However, a significant impairment in synaptic vesicle distribution and release dynamics were observed. In particular, the FM1-43 assays performed using two-photon live imaging and combined with multi-electrode array stimulation in acute hippocampal slices, revealed a slower rate of synaptic vesicle release in Cx43−/− mice. Furthermore, paired-pulse recordings showed that synaptic vesicle release probability was also reduced and is dependent on glutamine supply via Cx43 hemichannel (HC). Taken together, we have uncovered a role for Cx43 in regulating presynaptic functions by controlling the rate and probability of synaptic vesicle release. Our findings further highlight the significance of astroglial Cx43 in synaptic transmission and efficacy.},
author = {Cheung, Giselle T and Chever, Oana and Rollenhagen, Astrid and Quenech’du, Nicole and Ezan, Pascal and Lübke, Joachim H. R. and Rouach, Nathalie},
issn = {2073-4409},
journal = {Cells},
keywords = {General Medicine},
number = {8},
publisher = {MDPI},
title = {{Astroglial connexin 43 regulates synaptic vesicle release at hippocampal synapses}},
doi = {10.3390/cells12081133},
volume = {12},
year = {2023},
}
@article{14785,
abstract = {Small cryptic plasmids have no clear effect on the host fitness and their functional repertoire remains obscure. The naturally competent cyanobacterium Synechocystis sp. PCC 6803 harbours several small cryptic plasmids; whether their evolution with this species is supported by horizontal transfer remains understudied. Here, we show that the small cryptic plasmid DNA is transferred in the population exclusively by natural transformation, where the transfer frequency of plasmid‐encoded genes is similar to that of chromosome‐encoded genes. Establishing a system to follow gene transfer, we compared the transfer frequency of genes encoded in cryptic plasmids pCA2.4 (2378 bp) and pCB2.4 (2345 bp) within and between populations of two Synechocystis sp. PCC 6803 labtypes (termed Kiel and Sevilla). Our results reveal that plasmid gene transfer frequency depends on the recipient labtype. Furthermore, gene transfer via whole plasmid uptake in the Sevilla labtype ranged among the lowest detected transfer rates in our experiments. Our study indicates that horizontal DNA transfer via natural transformation is frequent in the evolution of small cryptic plasmids that reside in naturally competent organisms. Furthermore, we suggest that the contribution of natural transformation to cryptic plasmid persistence in Synechocystis is limited.},
author = {Nies, Fabian and Wein, Tanita and Hanke, Dustin M. and Springstein, Benjamin L and Alcorta, Jaime and Taubenheim, Claudia and Dagan, Tal},
issn = {1758-2229},
journal = {Environmental Microbiology Reports},
keywords = {Agricultural and Biological Sciences (miscellaneous), Ecology, Evolution, Behavior and Systematics},
number = {6},
pages = {656--668},
publisher = {Wiley},
title = {{Role of natural transformation in the evolution of small cryptic plasmids in Synechocystis sp. PCC 6803}},
doi = {10.1111/1758-2229.13203},
volume = {15},
year = {2023},
}
@article{14780,
abstract = {In this paper, we study the eigenvalues and eigenvectors of the spiked invariant multiplicative models when the randomness is from Haar matrices. We establish the limits of the outlier eigenvalues λˆi and the generalized components (⟨v,uˆi⟩ for any deterministic vector v) of the outlier eigenvectors uˆi with optimal convergence rates. Moreover, we prove that the non-outlier eigenvalues stick with those of the unspiked matrices and the non-outlier eigenvectors are delocalized. The results also hold near the so-called BBP transition and for degenerate spikes. On one hand, our results can be regarded as a refinement of the counterparts of [12] under additional regularity conditions. On the other hand, they can be viewed as an analog of [34] by replacing the random matrix with i.i.d. entries with Haar random matrix.},
author = {Ding, Xiucai and Ji, Hong Chang},
issn = {1879-209X},
journal = {Stochastic Processes and their Applications},
keywords = {Applied Mathematics, Modeling and Simulation, Statistics and Probability},
pages = {25--60},
publisher = {Elsevier},
title = {{Spiked multiplicative random matrices and principal components}},
doi = {10.1016/j.spa.2023.05.009},
volume = {163},
year = {2023},
}
@article{14779,
abstract = {The presence of a developed boundary layer decouples a glacier's response from ambient conditions, suggesting that sensitivity to climate change is increased by glacier retreat. To test this hypothesis, we explore six years of distributed meteorological data on a small Swiss glacier in the period 2001–2022. Large glacier fragmentation has occurred since 2001 (−35% area change up to 2022) coinciding with notable frontal retreat, an observed switch from down‐glacier katabatic to up‐glacier valley winds and an increased sensitivity (ratio) of on‐glacier to off‐glacier temperature. As the glacier ceases to develop density‐driven katabatic winds, sensible heat fluxes on the glacier are increasingly determined by the conditions occurring outside the boundary layer of the glacier, sealing the glacier's demise as the climate continues to warm and experience an increased frequency of extreme summers.},
author = {Shaw, Thomas E. and Buri, Pascal and McCarthy, Michael and Miles, Evan S. and Ayala, Álvaro and Pellicciotti, Francesca},
issn = {1944-8007},
journal = {Geophysical Research Letters},
keywords = {General Earth and Planetary Sciences, Geophysics},
number = {11},
publisher = {American Geophysical Union},
title = {{The decaying near‐surface boundary layer of a retreating alpine glacier}},
doi = {10.1029/2023gl103043},
volume = {50},
year = {2023},
}
@article{14781,
abstract = {Germ granules, condensates of phase-separated RNA and protein, are organelles that are essential for germline development in different organisms. The patterning of the granules and their relevance for germ cell fate are not fully understood. Combining three-dimensional in vivo structural and functional analyses, we study the dynamic spatial organization of molecules within zebrafish germ granules. We find that the localization of RNA molecules to the periphery of the granules, where ribosomes are localized, depends on translational activity at this location. In addition, we find that the vertebrate-specific Dead end (Dnd1) protein is essential for nanos3 RNA localization at the condensates’ periphery. Accordingly, in the absence of Dnd1, or when translation is inhibited, nanos3 RNA translocates into the granule interior, away from the ribosomes, a process that is correlated with the loss of germ cell fate. These findings highlight the relevance of sub-granule compartmentalization for post-transcriptional control and its importance for preserving germ cell totipotency.},
author = {Westerich, Kim Joana and Tarbashevich, Katsiaryna and Schick, Jan and Gupta, Antra and Zhu, Mingzhao and Hull, Kenneth and Romo, Daniel and Zeuschner, Dagmar and Goudarzi, Mohammad and Gross-Thebing, Theresa and Raz, Erez},
issn = {1534-5807},
journal = {Developmental Cell},
keywords = {Developmental Biology, Cell Biology, General Biochemistry, Genetics and Molecular Biology, Molecular Biology},
number = {17},
pages = {1578--1592.e5},
publisher = {Elsevier},
title = {{Spatial organization and function of RNA molecules within phase-separated condensates in zebrafish are controlled by Dnd1}},
doi = {10.1016/j.devcel.2023.06.009},
volume = {58},
year = {2023},
}
@phdthesis{14539,
abstract = {Stochastic systems provide a formal framework for modelling and quantifying uncertainty in systems and have been widely adopted in many application domains. Formal
verification and control of finite state stochastic systems, a subfield of formal methods
also known as probabilistic model checking, is well studied. In contrast, formal verification and control of infinite state stochastic systems have received comparatively
less attention. However, infinite state stochastic systems commonly arise in practice.
For instance, probabilistic models that contain continuous probability distributions such
as normal or uniform, or stochastic dynamical systems which are a classical model for
control under uncertainty, both give rise to infinite state systems.
The goal of this thesis is to contribute to laying theoretical and algorithmic foundations
of fully automated formal verification and control of infinite state stochastic systems,
with a particular focus on systems that may be executed over a long or infinite time.
We consider formal verification of infinite state stochastic systems in the setting of
static analysis of probabilistic programs and formal control in the setting of controller
synthesis in stochastic dynamical systems. For both problems, we present some of the
first fully automated methods for probabilistic (a.k.a. quantitative) reachability and
safety analysis applicable to infinite time horizon systems. We also advance the state
of the art of probability 1 (a.k.a. qualitative) reachability analysis for both problems.
Finally, for formal controller synthesis in stochastic dynamical systems, we present a
novel framework for learning neural network control policies in stochastic dynamical
systems with formal guarantees on correctness with respect to quantitative reachability,
safety or reach-avoid specifications.
},
author = {Zikelic, Dorde},
isbn = {978-3-99078-036-7},
issn = {2663 - 337X},
pages = {256},
publisher = {Institute of Science and Technology Austria},
title = {{Automated verification and control of infinite state stochastic systems}},
doi = {10.15479/14539},
year = {2023},
}
@article{14788,
abstract = {Eukaryotic cells use clathrin-mediated endocytosis to take up a large range of extracellular cargo. During endocytosis, a clathrin coat forms on the plasma membrane, but it remains controversial when and how it is remodeled into a spherical vesicle.
Here, we use 3D superresolution microscopy to determine the precise geometry of the clathrin coat at large numbers of endocytic sites. Through pseudo-temporal sorting, we determine the average trajectory of clathrin remodeling during endocytosis. We find that clathrin coats assemble first on flat membranes to 50% of the coat area before they become rapidly and continuously bent, and this mechanism is confirmed in three cell lines. We introduce the cooperative curvature model, which is based on positive feedback for curvature generation. It accurately describes the measured shapes and dynamics of the clathrin coat and could represent a general mechanism for clathrin coat remodeling on the plasma membrane.},
author = {Mund, Markus and Tschanz, Aline and Wu, Yu-Le and Frey, Felix F and Mehl, Johanna L. and Kaksonen, Marko and Avinoam, Ori and Schwarz, Ulrich S. and Ries, Jonas},
issn = {1540-8140},
journal = {Journal of Cell Biology},
keywords = {Cell Biology},
number = {3},
publisher = {Rockefeller University Press},
title = {{Clathrin coats partially preassemble and subsequently bend during endocytosis}},
doi = {10.1083/jcb.202206038},
volume = {222},
year = {2023},
}
@article{14786,
abstract = {Acanthocephalans, intestinal parasites of vertebrates, are characterised by orders of magnitude higher metal accumulation than free-living organisms, but the mechanism of such effective metal accumulation is still unknown. The aim of our study was to gain new insights into the high-resolution localization of elements in the bodies of acanthocephalans, thus taking an initial step towards elucidating metal uptake and accumulation in organisms under real environmental conditions. For the first time, nanoscale secondary ion mass spectrometry (NanoSIMS) was used for high-resolution mapping of 12 elements (C, Ca, Cu, Fe, N, Na, O, P, Pb, S, Se, and Tl) in three selected body parts (trunk spines, inner part of the proboscis receptacle and inner surface of the tegument) of Dentitruncus truttae, a parasite of brown trout (Salmo trutta) from the Krka River in Croatia. In addition, the same body parts were examined using transmission electron microscopy (TEM) and correlated with NanoSIMS images. Metal concentrations determined using HR ICP-MS confirmed higher accumulation in D. truttae than in the fish intestine. The chemical composition of the acanthocephalan body showed the highest density of C, Ca, N, Na, O, S, as important and constitutive elements in living cells in all studied structures, while Fe was predominant among trace elements. In general, higher element density was found in trunk spines and tegument, as body structures responsible for substance absorption in parasites. The results obtained with NanoSIMS and TEM-NanoSIMS correlative imaging represent pilot data for mapping of elements at nanoscale resolution in the ultrastructure of various body parts of acanthocephalans and generally provide a contribution for further application of this technique in all parasite species.},
author = {Filipović Marijić, Vlatka and Subirana, Maria Angels and Schaumlöffel, Dirk and Barišić, Josip and Gontier, Etienne and Krasnici, Nesrete and Mijošek, Tatjana and Hernández-Orts, Jesús S. and Scholz, Tomáš and Erk, Marijana},
issn = {0048-9697},
journal = {Science of The Total Environment},
keywords = {Pollution, Waste Management and Disposal, Environmental Chemistry, Environmental Engineering},
publisher = {Elsevier},
title = {{First insight in element localisation in different body parts of the acanthocephalan Dentitruncus truttae using TEM and NanoSIMS}},
doi = {10.1016/j.scitotenv.2023.164010},
volume = {887},
year = {2023},
}
@article{14787,
abstract = {Understanding the phenotypic and genetic architecture of reproductive isolation is a long‐standing goal of speciation research. In several systems, large‐effect loci contributing to barrier phenotypes have been characterized, but such causal connections are rarely known for more complex genetic architectures. In this study, we combine “top‐down” and “bottom‐up” approaches with demographic modelling toward an integrated understanding of speciation across a monkeyflower hybrid zone. Previous work suggests that pollinator visitation acts as a primary barrier to gene flow between two divergent red‐ and yellow‐flowered ecotypes ofMimulus aurantiacus. Several candidate isolating traits and anonymous single nucleotide polymorphism loci under divergent selection have been identified, but their genomic positions remain unknown. Here, we report findings from demographic analyses that indicate this hybrid zone formed by secondary contact, but that subsequent gene flow was restricted by widespread barrier loci across the genome. Using a novel, geographic cline‐based genome scan, we demonstrate that candidate barrier loci are broadly distributed across the genome, rather than mapping to one or a few “islands of speciation.” Quantitative trait locus (QTL) mapping reveals that most floral traits are highly polygenic, with little evidence that QTL colocalize, indicating that most traits are genetically independent. Finally, we find little evidence that QTL and candidate barrier loci overlap, suggesting that some loci contribute to other forms of reproductive isolation. Our findings highlight the challenges of understanding the genetic architecture of reproductive isolation and reveal that barriers to gene flow other than pollinator isolation may play an important role in this system.},
author = {Stankowski, Sean and Chase, Madeline A. and McIntosh, Hanna and Streisfeld, Matthew A.},
issn = {1365-294X},
journal = {Molecular Ecology},
keywords = {Genetics, Ecology, Evolution, Behavior and Systematics},
number = {8},
pages = {2041--2054},
publisher = {Wiley},
title = {{Integrating top‐down and bottom‐up approaches to understand the genetic architecture of speciation across a monkeyflower hybrid zone}},
doi = {10.1111/mec.16849},
volume = {32},
year = {2023},
}
@article{12162,
abstract = {Homeostatic balance in the intestinal epithelium relies on a fast cellular turnover, which is coordinated by an intricate interplay between biochemical signalling, mechanical forces and organ geometry. We review recent modelling approaches that have been developed to understand different facets of this remarkable homeostatic equilibrium. Existing models offer different, albeit complementary, perspectives on the problem. First, biomechanical models aim to explain the local and global mechanical stresses driving cell renewal as well as tissue shape maintenance. Second, compartmental models provide insights into the conditions necessary to keep a constant flow of cells with well-defined ratios of cell types, and how perturbations can lead to an unbalance of relative compartment sizes. A third family of models address, at the cellular level, the nature and regulation of stem fate choices that are necessary to fuel cellular turnover. We also review how these different approaches are starting to be integrated together across scales, to provide quantitative predictions and new conceptual frameworks to think about the dynamics of cell renewal in complex tissues.},
author = {Corominas-Murtra, Bernat and Hannezo, Edouard B},
issn = {1084-9521},
journal = {Seminars in Cell & Developmental Biology},
keywords = {Cell Biology, Developmental Biology},
pages = {58--65},
publisher = {Elsevier},
title = {{Modelling the dynamics of mammalian gut homeostasis}},
doi = {10.1016/j.semcdb.2022.11.005},
volume = {150-151},
year = {2023},
}
@article{13268,
abstract = {We give a simple argument to prove Nagai’s conjecture for type II degenerations of compact hyperkähler manifolds and cohomology classes of middle degree. Under an additional assumption, the techniques yield the conjecture in arbitrary degree. This would complete the proof of Nagai’s conjecture in general, as it was proved already for type I degenerations by Kollár, Laza, Saccà, and Voisin [10] and independently by Soldatenkov [18], while it is immediate for type III degenerations. Our arguments are close in spirit to a recent paper by Harder [8] proving similar results for the restrictive class of good degenerations.},
author = {Huybrechts, D. and Mauri, Mirko},
issn = {1945-001X},
journal = {Mathematical Research Letters},
number = {1},
pages = {125--141},
publisher = {International Press},
title = {{On type II degenerations of hyperkähler manifolds}},
doi = {10.4310/mrl.2023.v30.n1.a6},
volume = {30},
year = {2023},
}
@article{14661,
abstract = {This paper is concerned with equilibrium configurations of one-dimensional particle systems with non-convex nearest-neighbour and next-to-nearest-neighbour interactions and its passage to the continuum. The goal is to derive compactness results for a Γ-development of the energy with the novelty that external forces are allowed. In particular, the forces may depend on Lagrangian or Eulerian coordinates and thus may model dead as well as live loads. Our result is based on a new technique for deriving compactness results which are required for calculating the first-order Γ-limit in the presence of external forces: instead of comparing a configuration of n atoms to a global minimizer of the Γ-limit, we compare the configuration to a minimizer in some subclass of functions which in some sense are "close to" the configuration. The paper is complemented with the study of the minimizers of the Γ-limit.},
author = {Carioni, Marcello and Fischer, Julian L and Schlömerkemper, Anja},
issn = {2363-6394},
journal = {Journal of Convex Analysis},
number = {1},
pages = {217--247},
publisher = {Heldermann Verlag},
title = {{External forces in the continuum limit of discrete systems with non-convex interaction potentials: Compactness for a Γ-development}},
volume = {30},
year = {2023},
}
@article{14799,
abstract = {A round-robin study has been carried out to estimate the impact of the human element in small-angle scattering data analysis. Four corrected datasets were provided to participants ready for analysis. All datasets were measured on samples containing spherical scatterers, with two datasets in dilute dispersions and two from powders. Most of the 46 participants correctly identified the number of populations in the dilute dispersions, with half of the population
mean entries within 1.5% and half of the population width entries within 40%. Due to the added complexity of the structure factor, far fewer people submitted answers on the powder datasets. For those that did, half of the entries for the means and widths were within 44 and 86%, respectively. This round-robin experiment highlights several causes for the discrepancies, for which solutions are proposed.},
author = {Pauw, Brian R. and Smales, Glen J. and Anker, Andy S. and Annadurai, Venkatasamy and Balazs, Daniel and Bienert, Ralf and Bouwman, Wim G. and Breßler, Ingo and Breternitz, Joachim and Brok, Erik S. and Bryant, Gary and Clulow, Andrew J. and Crater, Erin R. and De Geuser, Frédéric and Giudice, Alessandra Del and Deumer, Jérôme and Disch, Sabrina and Dutt, Shankar and Frank, Kilian and Fratini, Emiliano and Garcia, Paulo R.A.F. and Gilbert, Elliot P. and Hahn, Marc B. and Hallett, James and Hohenschutz, Max and Hollamby, Martin and Huband, Steven and Ilavsky, Jan and Jochum, Johanna K. and Juelsholt, Mikkel and Mansel, Bradley W. and Penttilä, Paavo and Pittkowski, Rebecca K. and Portale, Giuseppe and Pozzo, Lilo D. and Rochels, Leonhard and Rosalie, Julian M. and Saloga, Patrick E.J. and Seibt, Susanne and Smith, Andrew J. and Smith, Gregory N. and Spiering, Glenn A. and Stawski, Tomasz M. and Taché, Olivier and Thünemann, Andreas F. and Toth, Kristof and Whitten, Andrew E. and Wuttke, Joachim},
issn = {1600-5767},
journal = {Journal of Applied Crystallography},
number = {6},
pages = {1618--1629},
title = {{The human factor: Results of a small-angle scattering data analysis round robin}},
doi = {10.1107/S1600576723008324},
volume = {56},
year = {2023},
}
@article{14778,
abstract = {We consider the almost-sure (a.s.) termination problem for probabilistic programs, which are a stochastic extension of classical imperative programs. Lexicographic ranking functions provide a sound and practical approach for termination of non-probabilistic programs, and their extension to probabilistic programs is achieved via lexicographic ranking supermartingales (LexRSMs). However, LexRSMs introduced in the previous work have a limitation that impedes their automation: all of their components have to be non-negative in all reachable states. This might result in a LexRSM not existing even for simple terminating programs. Our contributions are twofold. First, we introduce a generalization of LexRSMs that allows for some components to be negative. This standard feature of non-probabilistic termination proofs was hitherto not known to be sound in the probabilistic setting, as the soundness proof requires a careful analysis of the underlying stochastic process. Second, we present polynomial-time algorithms using our generalized LexRSMs for proving a.s. termination in broad classes of linear-arithmetic programs.},
author = {Chatterjee, Krishnendu and Kafshdar Goharshady, Ehsan and Novotný, Petr and Zárevúcky, Jiří and Zikelic, Dorde},
issn = {1433-299X},
journal = {Formal Aspects of Computing},
keywords = {Theoretical Computer Science, Software},
number = {2},
publisher = {Association for Computing Machinery},
title = {{On lexicographic proof rules for probabilistic termination}},
doi = {10.1145/3585391},
volume = {35},
year = {2023},
}
@inproceedings{14798,
abstract = {A faithful reproduction of gloss is inherently difficult because of the limited dynamic range, peak luminance, and 3D capabilities of display devices. This work investigates how the display capabilities affect gloss appearance with respect to a real-world reference object. To this end, we employ an accurate imaging pipeline to achieve a perceptual gloss match between a virtual and real object presented side-by-side on an augmented-reality high-dynamic-range (HDR) stereoscopic display, which has not been previously attained to this extent. Based on this precise gloss reproduction, we conduct a series of gloss matching experiments to study how gloss perception degrades based on individual factors: object albedo, display luminance, dynamic range, stereopsis, and tone mapping. We support the study with a detailed analysis of individual factors, followed by an in-depth discussion on the observed perceptual effects. Our experiments demonstrate that stereoscopic presentation has a limited effect on the gloss matching task on our HDR display. However, both reduced luminance and dynamic range of the display reduce the perceived gloss. This means that the visual system cannot compensate for the changes in gloss appearance across luminance (lack of gloss constancy), and the tone mapping operator should be carefully selected when reproducing gloss on a low dynamic range (LDR) display.},
author = {Chen, Bin and Jindal, Akshay and Piovarci, Michael and Wang, Chao and Seidel, Hans Peter and Didyk, Piotr and Myszkowski, Karol and Serrano, Ana and Mantiuk, Rafał K.},
booktitle = {Proceedings of the SIGGRAPH Asia 2023 Conference},
isbn = {9798400703157},
location = {Sydney, Australia},
publisher = {Association for Computing Machinery},
title = {{The effect of display capabilities on the gloss consistency between real and virtual objects}},
doi = {10.1145/3610548.3618226},
year = {2023},
}
@article{14815,
abstract = {In the last few years, various communication compression techniques have emerged as an indispensable tool helping to alleviate the communication bottleneck in distributed learning. However, despite the fact biased compressors often show superior performance in practice when compared to the much more studied and understood unbiased compressors, very little is known about them. In this work we study three classes of biased compression operators, two of which are new, and their performance when applied to (stochastic) gradient descent and distributed (stochastic) gradient descent. We show for the first time that biased compressors can lead to linear convergence rates both in the single node and distributed settings. We prove that distributed compressed SGD method, employed with error feedback mechanism, enjoys the ergodic rate O(δLexp[−μKδL]+(C+δD)Kμ), where δ≥1 is a compression parameter which grows when more compression is applied, L and μ are the smoothness and strong convexity constants, C captures stochastic gradient noise (C=0 if full gradients are computed on each node) and D captures the variance of the gradients at the optimum (D=0 for over-parameterized models). Further, via a theoretical study of several synthetic and empirical distributions of communicated gradients, we shed light on why and by how much biased compressors outperform their unbiased variants. Finally, we propose several new biased compressors with promising theoretical guarantees and practical performance.},
author = {Beznosikov, Aleksandr and Horvath, Samuel and Richtarik, Peter and Safaryan, Mher},
issn = {1533-7928},
journal = {Journal of Machine Learning Research},
pages = {1--50},
publisher = {Journal of Machine Learning Research},
title = {{On biased compression for distributed learning}},
volume = {24},
year = {2023},
}
@inproceedings{14456,
abstract = {In this paper, we present novel algorithms that efficiently compute a shortest reconfiguration sequence between two given dominating sets in trees and interval graphs under the TOKEN SLIDING model. In this problem, a graph is provided along with its two dominating sets, which can be imagined as tokens placed on vertices. The objective is to find a shortest sequence of dominating sets that transforms one set into the other, with each set in the sequence resulting from sliding a single token in the previous set. While identifying any sequence has been well studied, our work presents the first polynomial algorithms for this optimization variant in the context of dominating sets.},
author = {Křišťan, Jan Matyáš and Svoboda, Jakub},
booktitle = {24th International Symposium on Fundamentals of Computation Theory},
isbn = {9783031435867},
issn = {1611-3349},
location = {Trier, Germany},
pages = {333--347},
publisher = {Springer Nature},
title = {{Shortest dominating set reconfiguration under token sliding}},
doi = {10.1007/978-3-031-43587-4_24},
volume = {14292},
year = {2023},
}