@article{13179, abstract = {Writing concurrent code that is both correct and efficient is notoriously difficult. Thus, programmers often prefer to use synchronization abstractions, which render code simpler and easier to reason about. Despite a wealth of work on this topic, there is still a gap between the rich semantics provided by synchronization abstractions in modern programming languages—specifically, fair FIFO ordering of synchronization requests and support for abortable operations—and frameworks for implementing it correctly and efficiently. Supporting such semantics is critical given the rising popularity of constructs for asynchronous programming, such as coroutines, which abort frequently and are cheaper to suspend and resume compared to native threads. This paper introduces a new framework called CancellableQueueSynchronizer (CQS), which enables simple yet efficient implementations of a wide range of fair and abortable synchronization primitives: mutexes, semaphores, barriers, count-down latches, and blocking pools. Our main contribution is algorithmic, as implementing both fairness and abortability efficiently at this level of generality is non-trivial. Importantly, all our algorithms, including the CQS framework and the primitives built on top of it, come with formal proofs in the Iris framework for Coq for many of their properties. These proofs are modular, so it is easy to show correctness for new primitives implemented on top of CQS. From a practical perspective, implementation of CQS for native threads on the JVM improves throughput by up to two orders of magnitude over Java’s AbstractQueuedSynchronizer, the only practical abstraction offering similar semantics. Further, we successfully integrated CQS as a core component of the popular Kotlin Coroutines library, validating the framework’s practical impact and expressiveness in a real-world environment. In sum, CancellableQueueSynchronizer is the first framework to combine expressiveness with formal guarantees and solid practical performance. Our approach should be extensible to other languages and families of synchronization primitives.}, author = {Koval, Nikita and Khalanskiy, Dmitry and Alistarh, Dan-Adrian}, issn = {2475-1421}, journal = {Proceedings of the ACM on Programming Languages}, publisher = {Association for Computing Machinery }, title = {{CQS: A formally-verified framework for fair and abortable synchronization}}, doi = {10.1145/3591230}, volume = {7}, year = {2023}, } @article{13180, abstract = {We study the density of everywhere locally soluble diagonal quadric surfaces, parameterised by rational points that lie on a split quadric surface}, author = {Browning, Timothy D and Lyczak, Julian and Sarapin, Roman}, issn = {1944-4184}, journal = {Involve}, number = {2}, pages = {331--342}, publisher = {Mathematical Sciences Publishers}, title = {{Local solubility for a family of quadrics over a split quadric surface}}, doi = {10.2140/involve.2023.16.331}, volume = {16}, year = {2023}, } @article{13182, abstract = {We characterize critical points of 1-dimensional maps paired in persistent homology geometrically and this way get elementary proofs of theorems about the symmetry of persistence diagrams and the variation of such maps. In particular, we identify branching points and endpoints of networks as the sole source of asymmetry and relate the cycle basis in persistent homology with a version of the stable marriage problem. Our analysis provides the foundations of fast algorithms for maintaining a collection of sorted lists together with its persistence diagram.}, author = {Biswas, Ranita and Cultrera Di Montesano, Sebastiano and Edelsbrunner, Herbert and Saghafian, Morteza}, issn = {2367-1734}, journal = {Journal of Applied and Computational Topology}, publisher = {Springer Nature}, title = {{Geometric characterization of the persistence of 1D maps}}, doi = {10.1007/s41468-023-00126-9}, year = {2023}, } @article{13188, abstract = {The Kirchhoff rod model describes the bending and twisting of slender elastic rods in three dimensions, and has been widely studied to enable the prediction of how a rod will deform, given its geometry and boundary conditions. In this work, we study a number of inverse problems with the goal of computing the geometry of a straight rod that will automatically deform to match a curved target shape after attaching its endpoints to a support structure. Our solution lets us finely control the static equilibrium state of a rod by varying the cross-sectional profiles along its length. We also show that the set of physically realizable equilibrium states admits a concise geometric description in terms of linear line complexes, which leads to very efficient computational design algorithms. Implemented in an interactive software tool, they allow us to convert three-dimensional hand-drawn spline curves to elastic rods, and give feedback about the feasibility and practicality of a design in real time. We demonstrate the efficacy of our method by designing and manufacturing several physical prototypes with applications to interior design and soft robotics.}, author = {Hafner, Christian and Bickel, Bernd}, issn = {1557-7368}, journal = {ACM Transactions on Graphics}, keywords = {Computer Graphics, Computational Design, Computational Geometry, Shape Modeling}, number = {5}, publisher = {Association for Computing Machinery}, title = {{The design space of Kirchhoff rods}}, doi = {10.1145/3606033}, volume = {42}, year = {2023}, } @article{13197, abstract = {Nominally identical materials exchange net electric charge during contact through a mechanism that is still debated. ‘Mosaic models’, in which surfaces are presumed to consist of a random patchwork of microscopic donor/acceptor sites, offer an appealing explanation for this phenomenon. However, recent experiments have shown that global differences persist even between same-material samples, which the standard mosaic framework does not account for. Here, we expand the mosaic framework by incorporating global differences in the densities of donor/acceptor sites. We develop an analytical model, backed by numerical simulations, that smoothly connects the global and deterministic charge transfer of different materials to the local and stochastic mosaic picture normally associated with identical materials. Going further, we extend our model to explain the effect of contact asymmetries during sliding, providing a plausible explanation for reversal of charging sign that has been observed experimentally.}, author = {Grosjean, Galien M and Waitukaitis, Scott R}, issn = {2475-9953}, journal = {Physical Review Materials}, keywords = {Physics and Astronomy (miscellaneous), General Materials Science}, number = {6}, publisher = {American Physical Society}, title = {{Asymmetries in triboelectric charging: Generalizing mosaic models to different-material samples and sliding contacts}}, doi = {10.1103/physrevmaterials.7.065601}, volume = {7}, year = {2023}, } @article{13200, abstract = {Recent quantum technologies have established precise quantum control of various microscopic systems using electromagnetic waves. Interfaces based on cryogenic cavity electro-optic systems are particularly promising, due to the direct interaction between microwave and optical fields in the quantum regime. Quantum optical control of superconducting microwave circuits has been precluded so far due to the weak electro-optical coupling as well as quasi-particles induced by the pump laser. Here we report the coherent control of a superconducting microwave cavity using laser pulses in a multimode electro-optical device at millikelvin temperature with near-unity cooperativity. Both the stationary and instantaneous responses of the microwave and optical modes comply with the coherent electro-optical interaction, and reveal only minuscule amount of excess back-action with an unanticipated time delay. Our demonstration enables wide ranges of applications beyond quantum transductions, from squeezing and quantum non-demolition measurements of microwave fields, to entanglement generation and hybrid quantum networks.}, author = {Qiu, Liu and Sahu, Rishabh and Hease, William J and Arnold, Georg M and Fink, Johannes M}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Nature Research}, title = {{Coherent optical control of a superconducting microwave cavity via electro-optical dynamical back-action}}, doi = {10.1038/s41467-023-39493-3}, volume = {14}, year = {2023}, } @article{13201, abstract = {As a crucial nitrogen source, nitrate (NO3−) is a key nutrient for plants. Accordingly, root systems adapt to maximize NO3− availability, a developmental regulation also involving the phytohormone auxin. Nonetheless, the molecular mechanisms underlying this regulation remain poorly understood. Here, we identify low-nitrate-resistant mutant (lonr) in Arabidopsis (Arabidopsis thaliana), whose root growth fails to adapt to low-NO3− conditions. lonr2 is defective in the high-affinity NO3− transporter NRT2.1. lonr2 (nrt2.1) mutants exhibit defects in polar auxin transport, and their low-NO3−-induced root phenotype depends on the PIN7 auxin exporter activity. NRT2.1 directly associates with PIN7 and antagonizes PIN7-mediated auxin efflux depending on NO3− levels. These results reveal a mechanism by which NRT2.1 in response to NO3− limitation directly regulates auxin transport activity and, thus, root growth. This adaptive mechanism contributes to the root developmental plasticity to help plants cope with changes in NO3− availability.}, author = {Wang, Yalu and Yuan, Zhi and Wang, Jinyi and Xiao, Huixin and Wan, Lu and Li, Lanxin and Guo, Yan and Gong, Zhizhong and Friml, Jiří and Zhang, Jing}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences of the United States of America}, number = {25}, publisher = {National Academy of Sciences}, title = {{The nitrate transporter NRT2.1 directly antagonizes PIN7-mediated auxin transport for root growth adaptation}}, doi = {10.1073/pnas.2221313120}, volume = {120}, year = {2023}, } @article{13202, abstract = {Phosphatidylinositol-4,5-bisphosphate (PI(4,5)P2) plays an essential role in neuronal activities through interaction with various proteins involved in signaling at membranes. However, the distribution pattern of PI(4,5)P2 and the association with these proteins on the neuronal cell membranes remain elusive. In this study, we established a method for visualizing PI(4,5)P2 by SDS-digested freeze-fracture replica labeling (SDS-FRL) to investigate the quantitative nanoscale distribution of PI(4,5)P2 in cryo-fixed brain. We demonstrate that PI(4,5)P2 forms tiny clusters with a mean size of ∼1000 nm2 rather than randomly distributed in cerebellar neuronal membranes in male C57BL/6J mice. These clusters show preferential accumulation in specific membrane compartments of different cell types, in particular, in Purkinje cell (PC) spines and granule cell (GC) presynaptic active zones. Furthermore, we revealed extensive association of PI(4,5)P2 with CaV2.1 and GIRK3 across different membrane compartments, whereas its association with mGluR1α was compartment specific. These results suggest that our SDS-FRL method provides valuable insights into the physiological functions of PI(4,5)P2 in neurons.}, author = {Eguchi, Kohgaku and Le Monnier, Elodie and Shigemoto, Ryuichi}, issn = {1529-2401}, journal = {The Journal of Neuroscience}, number = {23}, pages = {4197--4216}, publisher = {Society for Neuroscience}, title = {{Nanoscale phosphoinositide distribution on cell membranes of mouse cerebellar neurons}}, doi = {10.1523/JNEUROSCI.1514-22.2023}, volume = {43}, year = {2023}, } @article{13207, abstract = {We consider the linear BCS equation, determining the BCS critical temperature, in the presence of a boundary, where Dirichlet boundary conditions are imposed. In the one-dimensional case with point interactions, we prove that the critical temperature is strictly larger than the bulk value, at least at weak coupling. In particular, the Cooper-pair wave function localizes near the boundary, an effect that cannot be modeled by effective Neumann boundary conditions on the order parameter as often imposed in Ginzburg–Landau theory. We also show that the relative shift in critical temperature vanishes if the coupling constant either goes to zero or to infinity.}, author = {Hainzl, Christian and Roos, Barbara and Seiringer, Robert}, issn = {1664-0403}, journal = {Journal of Spectral Theory}, number = {4}, pages = {1507–1540}, publisher = {EMS Press}, title = {{Boundary superconductivity in the BCS model}}, doi = {10.4171/JST/439}, volume = {12}, year = {2023}, } @article{13209, abstract = {The phytohormone auxin plays central roles in many growth and developmental processes in plants. Development of chemical tools targeting the auxin pathway is useful for both plant biology and agriculture. Here we reveal that naproxen, a synthetic compound with anti-inflammatory activity in humans, acts as an auxin transport inhibitor targeting PIN-FORMED (PIN) transporters in plants. Physiological experiments indicate that exogenous naproxen treatment affects pleiotropic auxin-regulated developmental processes. Additional cellular and biochemical evidence indicates that naproxen suppresses auxin transport, specifically PIN-mediated auxin efflux. Moreover, biochemical and structural analyses confirm that naproxen binds directly to PIN1 protein via the same binding cavity as the indole-3-acetic acid substrate. Thus, by combining cellular, biochemical, and structural approaches, this study clearly establishes that naproxen is a PIN inhibitor and elucidates the underlying mechanisms. Further use of this compound may advance our understanding of the molecular mechanisms of PIN-mediated auxin transport and expand our toolkit in auxin biology and agriculture.}, author = {Xia, Jing and Kong, Mengjuan and Yang, Zhisen and Sun, Lianghanxiao and Peng, Yakun and Mao, Yanbo and Wei, Hong and Ying, Wei and Gao, Yongxiao and Friml, Jiří and Weng, Jianping and Liu, Xin and Sun, Linfeng and Tan, Shutang}, issn = {2590-3462}, journal = {Plant Communications}, number = {6}, publisher = {Elsevier }, title = {{Chemical inhibition of Arabidopsis PIN-FORMED auxin transporters by the anti-inflammatory drug naproxen}}, doi = {10.1016/j.xplc.2023.100632}, volume = {4}, year = {2023}, } @article{13212, abstract = {Auxin is the major plant hormone regulating growth and development (Friml, 2022). Forward genetic approaches in the model plant Arabidopsis thaliana have identified major components of auxin signalling and established the canonical mechanism mediating transcriptional and thus developmental reprogramming. In this textbook view, TRANSPORT INHIBITOR RESPONSE 1 (TIR1)/AUXIN-SIGNALING F-BOX (AFBs) are auxin receptors, which act as F-box subunits determining the substrate specificity of the Skp1-Cullin1-F box protein (SCF) type E3 ubiquitin ligase complex. Auxin acts as a “molecular glue” increasing the affinity between TIR1/AFBs and the Aux/IAA repressors. Subsequently, Aux/IAAs are ubiquitinated and degraded, thus releasing auxin transcription factors from their repression making them free to mediate transcription of auxin response genes (Yu et al., 2022). Nonetheless, accumulating evidence suggests existence of rapid, non-transcriptional responses downstream of TIR1/AFBs such as auxin-induced cytosolic calcium (Ca2+) transients, plasma membrane depolarization and apoplast alkalinisation, all converging on the process of root growth inhibition and root gravitropism (Li et al., 2022). Particularly, these rapid responses are mostly contributed by predominantly cytosolic AFB1, while the long-term growth responses are mediated by mainly nuclear TIR1 and AFB2-AFB5 (Li et al., 2021; Prigge et al., 2020; Serre et al., 2021). How AFB1 conducts auxin-triggered rapid responses and how it is different from TIR1 and AFB2-AFB5 remains elusive. Here, we compare the roles of TIR1 and AFB1 in transcriptional and rapid responses by modulating their subcellular localization in Arabidopsis and by testing their ability to mediate transcriptional responses when part of the minimal auxin circuit reconstituted in yeast.}, author = {Chen, Huihuang and Li, Lanxin and Zou, Minxia and Qi, Linlin and Friml, Jiří}, issn = {1674-2052}, journal = {Molecular Plant}, number = {7}, pages = {1117--1119}, publisher = {Elsevier }, title = {{Distinct functions of TIR1 and AFB1 receptors in auxin signalling.}}, doi = {10.1016/j.molp.2023.06.007}, volume = {16}, year = {2023}, } @article{13213, abstract = {The primary cell wall is a fundamental plant constituent that is flexible but sufficiently rigid to support the plant cell shape. Although many studies have demonstrated that reactive oxygen species (ROS) serve as important signaling messengers to modify the cell wall structure and affect cellular growth, the regulatory mechanism underlying the spatial-temporal regulation of ROS activity for cell wall maintenance remains largely unclear. Here, we demonstrate the role of the Arabidopsis (Arabidopsis thaliana) multicopper oxidase-like protein skewed 5 (SKU5) and its homolog SKU5-similar 1 (SKS1) in root cell wall formation through modulating ROS homeostasis. Loss of SKU5 and SKS1 function resulted in aberrant division planes, protruding cell walls, ectopic deposition of iron, and reduced nicotinamide adeninedinucleotide phosphate (NADPH) oxidase-dependent ROS overproduction in the root epidermis–cortex and cortex–endodermis junctions. A decrease in ROS level or inhibition of NADPH oxidase activity rescued the cell wall defects of sku5 sks1 double mutants. SKU5 and SKS1 proteins were activated by iron treatment, and iron over-accumulated in the walls between the root epidermis and cortex cell layers of sku5 sks1. The glycosylphosphatidylinositol-anchored motif was crucial for membrane association and functionality of SKU5 and SKS1. Overall, our results identified SKU5 and SKS1 as regulators of ROS at the cell surface for regulation of cell wall structure and root cell growth.}, author = {Chen, C and Zhang, Y and Cai, J and Qiu, Y and Li, L and Gao, C and Gao, Y and Ke, M and Wu, S and Wei, C and Chen, J and Xu, T and Friml, Jiří and Wang, J and Li, R and Chao, D and Zhang, B and Chen, X and Gao, Z}, issn = {1532-2548}, journal = {Plant Physiology}, number = {3}, pages = {2243--2260}, publisher = {American Society of Plant Biologists}, title = {{Multi-copper oxidases SKU5 and SKS1 coordinate cell wall formation using apoplastic redox-based reactions in roots}}, doi = {10.1093/plphys/kiad207}, volume = {192}, year = {2023}, } @article{13214, abstract = {Nitrogen is an important macronutrient required for plant growth and development, thus directly impacting agricultural productivity. In recent years, numerous studies have shown that nitrogen-driven growth depends on pathways that control nitrate/nitrogen homeostasis and hormonal networks that act both locally and systemically to coordinate growth and development of plant organs. In this review, we will focus on recent advances in understanding the role of the plant hormones auxin and cytokinin and their crosstalk in nitrate-regulated growth and discuss the significance of novel findings and possible missing links.}, author = {Abualia, R and Riegler, Stefan and Benková, Eva}, issn = {2073-4409}, journal = {Cells}, number = {12}, publisher = {MDPI}, title = {{Nitrate, auxin and cytokinin - a trio to tango}}, doi = {10.3390/cells12121613}, volume = {12}, year = {2023}, } @article{13216, abstract = {Physical catalysts often have multiple sites where reactions can take place. One prominent example is single-atom alloys, where the reactive dopant atoms can preferentially locate in the bulk or at different sites on the surface of the nanoparticle. However, ab initio modeling of catalysts usually only considers one site of the catalyst, neglecting the effects of multiple sites. Here, nanoparticles of copper doped with single-atom rhodium or palladium are modeled for the dehydrogenation of propane. Single-atom alloy nanoparticles are simulated at 400–600 K, using machine learning potentials trained on density functional theory calculations, and then the occupation of different single-atom active sites is identified using a similarity kernel. Further, the turnover frequency for all possible sites is calculated for propane dehydrogenation to propene through microkinetic modeling using density functional theory calculations. The total turnover frequencies of the whole nanoparticle are then described from both the population and the individual turnover frequency of each site. Under operating conditions, rhodium as a dopant is found to almost exclusively occupy (111) surface sites while palladium as a dopant occupies a greater variety of facets. Undercoordinated dopant surface sites are found to tend to be more reactive for propane dehydrogenation compared to the (111) surface. It is found that considering the dynamics of the single-atom alloy nanoparticle has a profound effect on the calculated catalytic activity of single-atom alloys by several orders of magnitude.}, author = {Bunting, Rhys and Wodaczek, Felix and Torabi, Tina and Cheng, Bingqing}, issn = {1520-5126}, journal = {Journal of the American Chemical Society}, keywords = {Colloid and Surface Chemistry, Biochemistry, General Chemistry, Catalysis}, number = {27}, pages = {14894--14902}, publisher = {American Chemical Society}, title = {{Reactivity of single-atom alloy nanoparticles: Modeling the dehydrogenation of propane}}, doi = {10.1021/jacs.3c04030}, volume = {145}, year = {2023}, } @inproceedings{13221, abstract = {The safety-liveness dichotomy is a fundamental concept in formal languages which plays a key role in verification. Recently, this dichotomy has been lifted to quantitative properties, which are arbitrary functions from infinite words to partially-ordered domains. We look into harnessing the dichotomy for the specific classes of quantitative properties expressed by quantitative automata. These automata contain finitely many states and rational-valued transition weights, and their common value functions Inf, Sup, LimInf, LimSup, LimInfAvg, LimSupAvg, and DSum map infinite words into the totallyordered domain of real numbers. In this automata-theoretic setting, we establish a connection between quantitative safety and topological continuity and provide an alternative characterization of quantitative safety and liveness in terms of their boolean counterparts. For all common value functions, we show how the safety closure of a quantitative automaton can be constructed in PTime, and we provide PSpace-complete checks of whether a given quantitative automaton is safe or live, with the exception of LimInfAvg and LimSupAvg automata, for which the safety check is in ExpSpace. Moreover, for deterministic Sup, LimInf, and LimSup automata, we give PTime decompositions into safe and live automata. These decompositions enable the separation of techniques for safety and liveness verification for quantitative specifications.}, author = {Boker, Udi and Henzinger, Thomas A and Mazzocchi, Nicolas Adrien and Sarac, Naci E}, booktitle = {34th International Conference on Concurrency Theory}, isbn = {9783959772990}, issn = {1868-8969}, location = {Antwerp, Belgium}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Safety and liveness of quantitative automata}}, doi = {10.4230/LIPIcs.CONCUR.2023.17}, volume = {279}, year = {2023}, } @article{13225, abstract = {Recently the leading order of the correlation energy of a Fermi gas in a coupled mean-field and semiclassical scaling regime has been derived, under the assumption of an interaction potential with a small norm and with compact support in Fourier space. We generalize this result to large interaction potentials, requiring only |⋅|V^∈ℓ1(Z3). Our proof is based on approximate, collective bosonization in three dimensions. Significant improvements compared to recent work include stronger bounds on non-bosonizable terms and more efficient control on the bosonization of the kinetic energy.}, author = {Benedikter, Niels P and Porta, Marcello and Schlein, Benjamin and Seiringer, Robert}, issn = {1432-0673}, journal = {Archive for Rational Mechanics and Analysis}, number = {4}, publisher = {Springer Nature}, title = {{Correlation energy of a weakly interacting Fermi gas with large interaction potential}}, doi = {10.1007/s00205-023-01893-6}, volume = {247}, year = {2023}, } @article{13226, abstract = {We consider the ground state and the low-energy excited states of a system of N identical bosons with interactions in the mean-field scaling regime. For the ground state, we derive a weak Edgeworth expansion for the fluctuations of bounded one-body operators, which yields corrections to a central limit theorem to any order in 1/N−−√. For suitable excited states, we show that the limiting distribution is a polynomial times a normal distribution, and that higher-order corrections are given by an Edgeworth-type expansion.}, author = {Bossmann, Lea and Petrat, Sören P}, issn = {1573-0530}, journal = {Letters in Mathematical Physics}, number = {4}, publisher = {Springer Nature}, title = {{Weak Edgeworth expansion for the mean-field Bose gas}}, doi = {10.1007/s11005-023-01698-4}, volume = {113}, year = {2023}, } @article{13227, abstract = {Currently available quantum processors are dominated by noise, which severely limits their applicability and motivates the search for new physical qubit encodings. In this work, we introduce the inductively shunted transmon, a weakly flux-tunable superconducting qubit that offers charge offset protection for all levels and a 20-fold reduction in flux dispersion compared to the state-of-the-art resulting in a constant coherence over a full flux quantum. The parabolic confinement provided by the inductive shunt as well as the linearity of the geometric superinductor facilitates a high-power readout that resolves quantum jumps with a fidelity and QND-ness of >90% and without the need for a Josephson parametric amplifier. Moreover, the device reveals quantum tunneling physics between the two prepared fluxon ground states with a measured average decay time of up to 3.5 h. In the future, fast time-domain control of the transition matrix elements could offer a new path forward to also achieve full qubit control in the decay-protected fluxon basis.}, author = {Hassani, Farid and Peruzzo, Matilda and Kapoor, Lucky and Trioni, Andrea and Zemlicka, Martin and Fink, Johannes M}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Inductively shunted transmons exhibit noise insensitive plasmon states and a fluxon decay exceeding 3 hours}}, doi = {10.1038/s41467-023-39656-2}, volume = {14}, year = {2023}, } @inproceedings{13228, abstract = {A machine-learned system that is fair in static decision-making tasks may have biased societal impacts in the long-run. This may happen when the system interacts with humans and feedback patterns emerge, reinforcing old biases in the system and creating new biases. While existing works try to identify and mitigate long-run biases through smart system design, we introduce techniques for monitoring fairness in real time. Our goal is to build and deploy a monitor that will continuously observe a long sequence of events generated by the system in the wild, and will output, with each event, a verdict on how fair the system is at the current point in time. The advantages of monitoring are two-fold. Firstly, fairness is evaluated at run-time, which is important because unfair behaviors may not be eliminated a priori, at design-time, due to partial knowledge about the system and the environment, as well as uncertainties and dynamic changes in the system and the environment, such as the unpredictability of human behavior. Secondly, monitors are by design oblivious to how the monitored system is constructed, which makes them suitable to be used as trusted third-party fairness watchdogs. They function as computationally lightweight statistical estimators, and their correctness proofs rely on the rigorous analysis of the stochastic process that models the assumptions about the underlying dynamics of the system. We show, both in theory and experiments, how monitors can warn us (1) if a bank’s credit policy over time has created an unfair distribution of credit scores among the population, and (2) if a resource allocator’s allocation policy over time has made unfair allocations. Our experiments demonstrate that the monitors introduce very low overhead. We believe that runtime monitoring is an important and mathematically rigorous new addition to the fairness toolbox.}, author = {Henzinger, Thomas A and Karimi, Mahyar and Kueffner, Konstantin and Mallik, Kaushik}, booktitle = {FAccT '23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency}, isbn = {9781450372527}, location = {Chicago, IL, United States}, pages = {604--614}, publisher = {Association for Computing Machinery}, title = {{Runtime monitoring of dynamic fairness properties}}, doi = {10.1145/3593013.3594028}, year = {2023}, } @article{13229, abstract = {Dynamic reorganization of the cytoplasm is key to many core cellular processes, such as cell division, cell migration, and cell polarization. Cytoskeletal rearrangements are thought to constitute the main drivers of cytoplasmic flows and reorganization. In contrast, remarkably little is known about how dynamic changes in size and shape of cell organelles affect cytoplasmic organization. Here, we show that within the maturing zebrafish oocyte, the surface localization of exocytosis-competent cortical granules (Cgs) upon germinal vesicle breakdown (GVBD) is achieved by the combined activities of yolk granule (Yg) fusion and microtubule aster formation and translocation. We find that Cgs are moved towards the oocyte surface through radially outward cytoplasmic flows induced by Ygs fusing and compacting towards the oocyte center in response to GVBD. We further show that vesicles decorated with the small Rab GTPase Rab11, a master regulator of vesicular trafficking and exocytosis, accumulate together with Cgs at the oocyte surface. This accumulation is achieved by Rab11-positive vesicles being transported by acentrosomal microtubule asters, the formation of which is induced by the release of CyclinB/Cdk1 upon GVBD, and which display a net movement towards the oocyte surface by preferentially binding to the oocyte actin cortex. We finally demonstrate that the decoration of Cgs by Rab11 at the oocyte surface is needed for Cg exocytosis and subsequent chorion elevation, a process central in egg activation. Collectively, these findings unravel a yet unrecognized role of organelle fusion, functioning together with cytoskeletal rearrangements, in orchestrating cytoplasmic organization during oocyte maturation.}, author = {Shamipour, Shayan and Hofmann, Laura and Steccari, Irene and Kardos, Roland and Heisenberg, Carl-Philipp J}, issn = {1545-7885}, journal = {PLoS Biology}, number = {6}, pages = {e3002146}, publisher = {Public Library of Science}, title = {{Yolk granule fusion and microtubule aster formation regulate cortical granule translocation and exocytosis in zebrafish oocytes}}, doi = {10.1371/journal.pbio.3002146}, volume = {21}, year = {2023}, }