@inproceedings{11355, abstract = {Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are constraints that the designer of a component puts on the environments in which the component can be used safely, and guarantees, which are promises that the designer asks from the team that implements the component. A theory of formal contracts can be formalized as an interface theory, which supports the composition and refinement of both assumptions and guarantees. Although there is a rich landscape of contract-based design methods that address functional and extra-functional properties, we present the first interface theory that is designed for ensuring system-wide security properties. Our framework provides a refinement relation and a composition operation that support both incremental design and independent implementability. We develop our theory for both stateless and stateful interfaces. We illustrate the applicability of our framework with an example inspired from the automotive domain.}, author = {Bartocci, Ezio and Ferrere, Thomas and Henzinger, Thomas A and Nickovic, Dejan and Da Costa, Ana Oliveira}, booktitle = {Fundamental Approaches to Software Engineering}, isbn = {9783030994280}, issn = {1611-3349}, location = {Munich, Germany}, pages = {3--22}, publisher = {Springer Nature}, title = {{Information-flow interfaces}}, doi = {10.1007/978-3-030-99429-7_1}, volume = {13241}, year = {2022}, } @article{11356, author = {Chang, Cheng and Qin, Bingchao and Su, Lizhong and Zhao, Li Dong}, issn = {2095-9281}, journal = {Science Bulletin}, number = {11}, pages = {1105--1107}, publisher = {Elsevier}, title = {{Distinct electron and hole transports in SnSe crystals}}, doi = {10.1016/j.scib.2022.04.007}, volume = {67}, year = {2022}, } @article{11379, abstract = {Bernal-stacked multilayer graphene is a versatile platform to explore quantum transport phenomena and interaction physics due to its exceptional tunability via electrostatic gating. For instance, upon applying a perpendicular electric field, its band structure exhibits several off-center Dirac points (so-called Dirac gullies) in each valley. Here, the formation of Dirac gullies and the interaction-induced breakdown of gully coherence is explored via magnetotransport measurements in high-quality Bernal-stacked (ABA) trilayer graphene. At zero magnetic field, multiple Lifshitz transitions indicating the formation of Dirac gullies are identified. In the quantum Hall regime, the emergence of Dirac gullies is evident as an increase in Landau level degeneracy. When tuning both electric and magnetic fields, electron–electron interactions can be controllably enhanced until, beyond critical electric and magnetic fields, the gully degeneracy is eventually lifted. The arising correlated ground state is consistent with a previously predicted nematic phase that spontaneously breaks the rotational gully symmetry.}, author = {Winterer, Felix and Seiler, Anna M. and Ghazaryan, Areg and Geisenhof, Fabian R. and Watanabe, Kenji and Taniguchi, Takashi and Serbyn, Maksym and Weitz, R. Thomas}, issn = {1530-6992}, journal = {Nano Letters}, number = {8}, pages = {3317--3322}, publisher = {American Chemical Society}, title = {{Spontaneous gully-polarized quantum hall states in ABA trilayer graphene}}, doi = {10.1021/acs.nanolett.2c00435}, volume = {22}, year = {2022}, } @article{11400, abstract = {By varying the concentration of molecules in the cytoplasm or on the membrane, cells can induce the formation of condensates and liquid droplets, similar to phase separation. Their thermodynamics, much studied, depends on the mutual interactions between microscopic constituents. Here, we focus on the kinetics and size control of 2D clusters, forming on membranes. Using molecular dynamics of patchy colloids, we model a system of two species of proteins, giving origin to specific heterotypic bonds. We find that concentrations, together with valence and bond strength, control both the size and the growth time rate of the clusters. In particular, if one species is in large excess, it gradually saturates the binding sites of the other species; the system then becomes kinetically arrested and cluster coarsening slows down or stops, thus yielding effective size selection. This phenomenology is observed both in solid and fluid clusters, which feature additional generic homotypic interactions and are reminiscent of the ones observed on biological membranes.}, author = {Palaia, Ivan and Šarić, Anđela}, issn = {1089-7690}, journal = {The Journal of Chemical Physics}, keywords = {Physical and Theoretical Chemistry, General Physics and Astronomy}, number = {19}, publisher = {AIP Publishing}, title = {{Controlling cluster size in 2D phase-separating binary mixtures with specific interactions}}, doi = {10.1063/5.0087769}, volume = {156}, year = {2022}, } @article{11401, abstract = {Tin selenide (SnSe) is considered a robust candidate for thermoelectric applications due to its very high thermoelectric figure of merit, ZT, with values of 2.6 in p-type and 2.8 in n-type single crystals. Sn has been replaced with various lower group dopants to achieve successful p-type doping in SnSe with high ZT values. A known, facile, and powerful alternative way to introduce a hole carrier is to use a natural single Sn vacancy, VSn. Through transport and scanning tunneling microscopy studies, we discovered that VSn are dominant in high-quality (slow cooling rate) SnSe single crystals, while multiple vacancies, Vmulti, are dominant in low-quality (high cooling rate) single crystals. Surprisingly, both VSn and Vmulti help to increase the power factors of SnSe, whereas samples with dominant VSn have superior thermoelectric properties in SnSe single crystals. Additionally, the observation that Vmulti are good p-type sources observed in relatively low-quality single crystals is useful in thermoelectric applications because polycrystalline SnSe can be used due to its mechanical strength; this substance is usually fabricated at very high cooling speeds.}, author = {Nguyen, Van Quang and Trinh, Thi Ly and Chang, Cheng and Zhao, Li Dong and Nguyen, Thi Huong and Duong, Van Thiet and Duong, Anh Tuan and Park, Jong Ho and Park, Sudong and Kim, Jungdae and Cho, Sunglae}, issn = {1884-4057}, journal = {NPG Asia Materials}, publisher = {Springer Nature}, title = {{Unidentified major p-type source in SnSe: Multivacancies}}, doi = {10.1038/s41427-022-00393-5}, volume = {14}, year = {2022}, } @article{11402, abstract = {Fixed-horizon planning considers a weighted graph and asks to construct a path that maximizes the sum of weights for a given time horizon T. However, in many scenarios, the time horizon is not fixed, but the stopping time is chosen according to some distribution such that the expected stopping time is T. If the stopping-time distribution is not known, then to ensure robustness, the distribution is chosen by an adversary as the worst-case scenario. A stationary plan for every vertex always chooses the same outgoing edge. For fixed horizon or fixed stopping-time distribution, stationary plans are not sufficient for optimality. Quite surprisingly we show that when an adversary chooses the stopping-time distribution with expected stopping-time T, then stationary plans are sufficient. While computing optimal stationary plans for fixed horizon is NP-complete, we show that computing optimal stationary plans under adversarial stopping-time distribution can be achieved in polynomial time.}, author = {Chatterjee, Krishnendu and Doyen, Laurent}, issn = {1090-2724}, journal = {Journal of Computer and System Sciences}, pages = {1--21}, publisher = {Elsevier}, title = {{Graph planning with expected finite horizon}}, doi = {10.1016/j.jcss.2022.04.003}, volume = {129}, year = {2022}, } @article{11417, abstract = {Over the past few years, the field of quantum information science has seen tremendous progress toward realizing large-scale quantum computers. With demonstrations of quantum computers outperforming classical computers for a select range of problems,1–3 we have finally entered the noisy, intermediate-scale quantum (NISQ) computing era. While the quantum computers of today are technological marvels, they are not yet error corrected, and it is unclear whether any system will scale beyond a few hundred logical qubits without significant changes to architecture and control schemes. Today's quantum systems are analogous to the ENIAC (Electronic Numerical Integrator And Computer) and EDVAC (Electronic Discrete Variable Automatic Computer) systems of the 1940s, which ran on vacuum tubes. These machines were built on a solid, nominally scalable architecture and when they were developed, nobody could have predicted the development of the transistor and the impact of the resulting semiconductor industry. Simply put, the computers of today are nothing like the early computers of the 1940s. We believe that the qubits of future fault-tolerant quantum systems will look quite different from the qubits of the NISQ machines in operation today. This Special Topic issue is devoted to new and emerging quantum systems with a focus on enabling technologies that can eventually lead to the quantum analog to the transistor. We have solicited both research4–18 and perspective articles19–21 to discuss new and emerging qubit systems with a focus on novel materials, encodings, and architectures. We are proud to present a collection that touches on a wide range of technologies including superconductors,7–13,21 semiconductors,15–17,19 and individual atomic qubits.18 }, author = {Sigillito, Anthony J. and Covey, Jacob P. and Fink, Johannes M and Petersson, Karl and Preble, Stefan}, issn = {0003-6951}, journal = {Applied Physics Letters}, number = {19}, publisher = {American Institute of Physics}, title = {{Emerging qubit systems: Guest editorial}}, doi = {10.1063/5.0097339}, volume = {120}, year = {2022}, } @article{11418, abstract = {We consider the quadratic form of a general high-rank deterministic matrix on the eigenvectors of an N×N Wigner matrix and prove that it has Gaussian fluctuation for each bulk eigenvector in the large N limit. The proof is a combination of the energy method for the Dyson Brownian motion inspired by Marcinek and Yau (2021) and our recent multiresolvent local laws (Comm. Math. Phys. 388 (2021) 1005–1048).}, author = {Cipolloni, Giorgio and Erdös, László and Schröder, Dominik J}, issn = {2168-894X}, journal = {Annals of Probability}, number = {3}, pages = {984--1012}, publisher = {Institute of Mathematical Statistics}, title = {{Normal fluctuation in quantum ergodicity for Wigner matrices}}, doi = {10.1214/21-AOP1552}, volume = {50}, year = {2022}, } @article{11419, abstract = {Elevation of soluble wild-type (WT) tau occurs in synaptic compartments in Alzheimer’s disease. We addressed whether tau elevation affects synaptic transmission at the calyx of Held in slices from mice brainstem. Whole-cell loading of WT human tau (h-tau) in presynaptic terminals at 10–20 µM caused microtubule (MT) assembly and activity-dependent rundown of excitatory neurotransmission. Capacitance measurements revealed that the primary target of WT h-tau is vesicle endocytosis. Blocking MT assembly using nocodazole prevented tau-induced impairments of endocytosis and neurotransmission. Immunofluorescence imaging analyses revealed that MT assembly by WT h-tau loading was associated with an increased MT-bound fraction of the endocytic protein dynamin. A synthetic dodecapeptide corresponding to dynamin 1-pleckstrin-homology domain inhibited MT-dynamin interaction and rescued tau-induced impairments of endocytosis and neurotransmission. We conclude that elevation of presynaptic WT tau induces de novo assembly of MTs, thereby sequestering free dynamins. As a result, endocytosis and subsequent vesicle replenishment are impaired, causing activity-dependent rundown of neurotransmission.}, author = {Hori, Tetsuya and Eguchi, Kohgaku and Wang, Han Ying and Miyasaka, Tomohiro and Guillaud, Laurent and Taoufiq, Zacharie and Mahapatra, Satyajit and Yamada, Hiroshi and Takei, Kohji and Takahashi, Tomoyuki}, issn = {2050-084X}, journal = {eLife}, publisher = {eLife Sciences Publications}, title = {{Microtubule assembly by tau impairs endocytosis and neurotransmission via dynamin sequestration in Alzheimer's disease synapse model}}, doi = {10.7554/eLife.73542}, volume = {11}, year = {2022}, } @inproceedings{11428, abstract = {The medial axis of a set consists of the points in the ambient space without a unique closest point on the original set. Since its introduction, the medial axis has been used extensively in many applications as a method of computing a topologically equivalent skeleton. Unfortunately, one limiting factor in the use of the medial axis of a smooth manifold is that it is not necessarily topologically stable under small perturbations of the manifold. To counter these instabilities various prunings of the medial axis have been proposed. Here, we examine one type of pruning, called burning. Because of the good experimental results, it was hoped that the burning method of simplifying the medial axis would be stable. In this work we show a simple example that dashes such hopes based on Bing’s house with two rooms, demonstrating an isotopy of a shape where the medial axis goes from collapsible to non-collapsible.}, author = {Chambers, Erin and Fillmore, Christopher D and Stephenson, Elizabeth R and Wintraecken, Mathijs}, booktitle = {38th International Symposium on Computational Geometry}, editor = {Goaoc, Xavier and Kerber, Michael}, isbn = {978-3-95977-227-3}, issn = {1868-8969}, location = {Berlin, Germany}, pages = {66:1--66:9}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{A cautionary tale: Burning the medial axis is unstable}}, doi = {10.4230/LIPIcs.SoCG.2022.66}, volume = {224}, year = {2022}, } @book{11429, abstract = {This book constitutes the refereed proceedings of the 18th International Symposium on Web and Wireless Geographical Information Systems, W2GIS 2022, held in Konstanz, Germany, in April 2022. The 7 full papers presented together with 6 short papers in the volume were carefully reviewed and selected from 16 submissions. The papers cover topics that range from mobile GIS and Location-Based Services to Spatial Information Retrieval and Wireless Sensor Networks.}, editor = {Karimipour, Farid and Storandt, Sabine}, isbn = {9783031062445}, issn = {1611-3349}, pages = {153}, publisher = {Springer Nature}, title = {{Web and Wireless Geographical Information Systems}}, doi = {10.1007/978-3-031-06245-2}, volume = {13238}, year = {2022}, } @article{11432, abstract = {This paper proposes a method for simulating liquids in large bodies of water by coupling together a water surface wave simulator with a 3D Navier-Stokes simulator. The surface wave simulation uses the equivalent sources method (ESM) to efficiently animate large bodies of water with precisely controllable wave propagation behavior. The 3D liquid simulator animates complex non-linear fluid behaviors like splashes and breaking waves using off-the-shelf simulators using FLIP or the level set method with semi-Lagrangian advection. We combine the two approaches by using the 3D solver to animate localized non-linear behaviors, and the 2D wave solver to animate larger regions with linear surface physics. We use the surface motion from the 3D solver as boundary conditions for 2D surface wave simulator, and we use the velocity and surface heights from the 2D surface wave simulator as boundary conditions for the 3D fluid simulation. We also introduce a novel technique for removing visual artifacts caused by numerical errors in 3D fluid solvers: we use experimental data to estimate the artificial dispersion caused by the 3D solver and we then carefully tune the wave speeds of the 2D solver to match it, effectively eliminating any differences in wave behavior across the boundary. To the best of our knowledge, this is the first time such a empirically driven error compensation approach has been used to remove coupling errors from a physics simulator. Our coupled simulation approach leverages the strengths of each simulation technique, animating large environments with seamless transitions between 2D and 3D physics.}, author = {Schreck, Camille and Wojtan, Christopher J}, issn = {1467-8659}, journal = {Computer Graphics Forum}, number = {2}, pages = {343--353}, publisher = {Wiley}, title = {{Coupling 3D liquid simulation with 2D wave propagation for large scale water surface animation using the equivalent sources method}}, doi = {10.1111/cgf.14478}, volume = {41}, year = {2022}, } @article{11435, abstract = {We introduce a new variant of quantitative Helly-type theorems: the minimal homothetic distance of the intersection of a family of convex sets to the intersection of a subfamily of a fixed size. As an application, we establish the following quantitative Helly-type result for the diameter. If $K$ is the intersection of finitely many convex bodies in $\mathbb{R}^d$, then one can select $2d$ of these bodies whose intersection is of diameter at most $(2d)^3{diam}(K)$. The best previously known estimate, due to Brazitikos [Bull. Hellenic Math. Soc., 62 (2018), pp. 19--25], is $c d^{11/2}$. Moreover, we confirm that the multiplicative factor $c d^{1/2}$ conjectured by Bárány, Katchalski, and Pach [Proc. Amer. Math. Soc., 86 (1982), pp. 109--114] cannot be improved. The bounds above follow from our key result that concerns sparse approximation of a convex polytope by the convex hull of a well-chosen subset of its vertices: Assume that $Q \subset {\mathbb R}^d$ is a polytope whose centroid is the origin. Then there exist at most 2d vertices of $Q$ whose convex hull $Q^{\prime \prime}$ satisfies $Q \subset - 8d^3 Q^{\prime \prime}.$}, author = {Ivanov, Grigory and Naszodi, Marton}, issn = {0895-4801}, journal = {SIAM Journal on Discrete Mathematics}, number = {2}, pages = {951--957}, publisher = {Society for Industrial and Applied Mathematics}, title = {{A quantitative Helly-type theorem: Containment in a homothet}}, doi = {10.1137/21M1403308}, volume = {36}, year = {2022}, } @article{10016, abstract = {Auxin has always been at the forefront of research in plant physiology and development. Since the earliest contemplations by Julius von Sachs and Charles Darwin, more than a century-long struggle has been waged to understand its function. This largely reflects the failures, successes, and inevitable progress in the entire field of plant signaling and development. Here I present 14 stations on our long and sometimes mystical journey to understand auxin. These highlights were selected to give a flavor of the field and to show the scope and limits of our current knowledge. A special focus is put on features that make auxin unique among phytohormones, such as its dynamic, directional transport network, which integrates external and internal signals, including self-organizing feedback. Accented are persistent mysteries and controversies. The unexpected discoveries related to rapid auxin responses and growth regulation recently disturbed our contentment regarding understanding of the auxin signaling mechanism. These new revelations, along with advances in technology, usher us into a new, exciting era in auxin research. }, author = {Friml, Jiří}, issn = {1943-0264}, journal = {Cold Spring Harbor Perspectives in Biology}, number = {5}, publisher = {Cold Spring Harbor Laboratory Press}, title = {{Fourteen stations of auxin}}, doi = {10.1101/cshperspect.a039859}, volume = {14}, year = {2022}, } @article{10181, abstract = {In this article we study some geometric properties of proximally smooth sets. First, we introduce a modification of the metric projection and prove its existence. Then we provide an algorithm for constructing a rectifiable curve between two sufficiently close points of a proximally smooth set in a uniformly convex and uniformly smooth Banach space, with the moduli of smoothness and convexity of power type. Our algorithm returns a reasonably short curve between two sufficiently close points of a proximally smooth set, is iterative and uses our modification of the metric projection. We estimate the length of the constructed curve and its deviation from the segment with the same endpoints. These estimates coincide up to a constant factor with those for the geodesics in a proximally smooth set in a Hilbert space.}, author = {Ivanov, Grigory and Lopushanski, Mariana S.}, issn = {1877-0541}, journal = {Set-Valued and Variational Analysis}, number = {2}, pages = {657--675}, publisher = {Springer Nature}, title = {{Rectifiable curves in proximally smooth sets}}, doi = {10.1007/s11228-021-00612-1}, volume = {30}, year = {2022}, } @article{10182, abstract = {The mitochondrial oxidative phosphorylation system is central to cellular metabolism. It comprises five enzymatic complexes and two mobile electron carriers that work in a mitochondrial respiratory chain. By coupling the oxidation of reducing equivalents coming into mitochondria to the generation and subsequent dissipation of a proton gradient across the inner mitochondrial membrane, this electron transport chain drives the production of ATP, which is then used as a primary energy carrier in virtually all cellular processes. Minimal perturbations of the respiratory chain activity are linked to diseases; therefore, it is necessary to understand how these complexes are assembled and regulated and how they function. In this Review, we outline the latest assembly models for each individual complex, and we also highlight the recent discoveries indicating that the formation of larger assemblies, known as respiratory supercomplexes, originates from the association of the intermediates of individual complexes. We then discuss how recent cryo-electron microscopy structures have been key to answering open questions on the function of the electron transport chain in mitochondrial respiration and how supercomplexes and other factors, including metabolites, can regulate the activity of the single complexes. When relevant, we discuss how these mechanisms contribute to physiology and outline their deregulation in human diseases.}, author = {Vercellino, Irene and Sazanov, Leonid A}, issn = {1471-0080}, journal = {Nature Reviews Molecular Cell Biology}, pages = {141–161}, publisher = {Springer Nature}, title = {{The assembly, regulation and function of the mitochondrial respiratory chain}}, doi = {10.1038/s41580-021-00415-0}, volume = {23}, year = {2022}, } @article{10211, abstract = {We study the problem of recovering an unknown signal 𝑥𝑥 given measurements obtained from a generalized linear model with a Gaussian sensing matrix. Two popular solutions are based on a linear estimator 𝑥𝑥^L and a spectral estimator 𝑥𝑥^s. The former is a data-dependent linear combination of the columns of the measurement matrix, and its analysis is quite simple. The latter is the principal eigenvector of a data-dependent matrix, and a recent line of work has studied its performance. In this paper, we show how to optimally combine 𝑥𝑥^L and 𝑥𝑥^s. At the heart of our analysis is the exact characterization of the empirical joint distribution of (𝑥𝑥,𝑥𝑥^L,𝑥𝑥^s) in the high-dimensional limit. This allows us to compute the Bayes-optimal combination of 𝑥𝑥^L and 𝑥𝑥^s, given the limiting distribution of the signal 𝑥𝑥. When the distribution of the signal is Gaussian, then the Bayes-optimal combination has the form 𝜃𝑥𝑥^L+𝑥𝑥^s and we derive the optimal combination coefficient. In order to establish the limiting distribution of (𝑥𝑥,𝑥𝑥^L,𝑥𝑥^s), we design and analyze an approximate message passing algorithm whose iterates give 𝑥𝑥^L and approach 𝑥𝑥^s. Numerical simulations demonstrate the improvement of the proposed combination with respect to the two methods considered separately.}, author = {Mondelli, Marco and Thrampoulidis, Christos and Venkataramanan, Ramji}, issn = {1615-3383}, journal = {Foundations of Computational Mathematics}, keywords = {Applied Mathematics, Computational Theory and Mathematics, Computational Mathematics, Analysis}, number = {5}, pages = {1513--1566}, publisher = {Springer}, title = {{Optimal combination of linear and spectral estimators for generalized linear models}}, doi = {10.1007/s10208-021-09531-x}, volume = {22}, year = {2022}, } @article{10282, abstract = {Advanced transcriptome sequencing has revealed that the majority of eukaryotic genes undergo alternative splicing (AS). Nonetheless, little effort has been dedicated to investigating the functional relevance of particular splicing events, even those in the key developmental and hormonal regulators. Combining approaches of genetics, biochemistry and advanced confocal microscopy, we describe the impact of alternative splicing on the PIN7 gene in the model plant Arabidopsis thaliana. PIN7 encodes a polarly localized transporter for the phytohormone auxin and produces two evolutionarily conserved transcripts, PIN7a and PIN7b. PIN7a and PIN7b, differing in a four amino acid stretch, exhibit almost identical expression patterns and subcellular localization. We reveal that they are closely associated and mutually influence each other's mobility within the plasma membrane. Phenotypic complementation tests indicate that the functional contribution of PIN7b per se is minor, but it markedly reduces the prominent PIN7a activity, which is required for correct seedling apical hook formation and auxin-mediated tropic responses. Our results establish alternative splicing of the PIN family as a conserved, functionally relevant mechanism, revealing an additional regulatory level of auxin-mediated plant development.}, author = {Kashkan, Ivan and Hrtyan, Mónika and Retzer, Katarzyna and Humpolíčková, Jana and Jayasree, Aswathy and Filepová, Roberta and Vondráková, Zuzana and Simon, Sibu and Rombaut, Debbie and Jacobs, Thomas B. and Frilander, Mikko J. and Hejátko, Jan and Friml, Jiří and Petrášek, Jan and Růžička, Kamil}, issn = {1469-8137}, journal = {New Phytologist}, number = {1}, pages = {329--343}, publisher = {Wiley}, title = {{Mutually opposing activity of PIN7 splicing isoforms is required for auxin-mediated tropic responses in Arabidopsis thaliana}}, doi = {10.1111/nph.17792}, volume = {233}, year = {2022}, } @article{10284, abstract = {Infections early in life can have enduring effects on an organism's development and immunity. In this study, we show that this equally applies to developing ‘superorganisms’––incipient social insect colonies. When we exposed newly mated Lasius niger ant queens to a low pathogen dose, their colonies grew more slowly than controls before winter, but reached similar sizes afterwards. Independent of exposure, queen hibernation survival improved when the ratio of pupae to workers was small. Queens that reared fewer pupae before worker emergence exhibited lower pathogen levels, indicating that high brood rearing efforts interfere with the ability of the queen's immune system to suppress pathogen proliferation. Early-life queen pathogen exposure also improved the immunocompetence of her worker offspring, as demonstrated by challenging the workers to the same pathogen a year later. Transgenerational transfer of the queen's pathogen experience to her workforce can hence durably reduce the disease susceptibility of the whole superorganism.}, author = {Casillas Perez, Barbara E and Pull, Christopher and Naiser, Filip and Naderlinger, Elisabeth and Matas, Jiri and Cremer, Sylvia}, issn = {1461-0248}, journal = {Ecology Letters}, number = {1}, pages = {89--100}, publisher = {Wiley}, title = {{Early queen infection shapes developmental dynamics and induces long-term disease protection in incipient ant colonies}}, doi = {10.1111/ele.13907}, volume = {25}, year = {2022}, } @article{10335, abstract = {Van der Holst and Pendavingh introduced a graph parameter σ, which coincides with the more famous Colin de Verdière graph parameter μ for small values. However, the definition of a is much more geometric/topological directly reflecting embeddability properties of the graph. They proved μ(G) ≤ σ(G) + 2 and conjectured σ(G) ≤ σ(G) for any graph G. We confirm this conjecture. As far as we know, this is the first topological upper bound on σ(G) which is, in general, tight. Equality between μ and σ does not hold in general as van der Holst and Pendavingh showed that there is a graph G with μ(G) ≤ 18 and σ(G) ≥ 20. We show that the gap appears at much smaller values, namely, we exhibit a graph H for which μ(H) ≥ 7 and σ(H) ≥ 8. We also prove that, in general, the gap can be large: The incidence graphs Hq of finite projective planes of order q satisfy μ(Hq) ∈ O(q3/2) and σ(Hq) ≥ q2.}, author = {Kaluza, Vojtech and Tancer, Martin}, issn = {0209-9683}, journal = {Combinatorica}, pages = {1317--1345}, publisher = {Springer Nature}, title = {{Even maps, the Colin de Verdière number and representations of graphs}}, doi = {10.1007/s00493-021-4443-7}, volume = {42}, year = {2022}, }