-
Interplay between MRI-based axon diameter and myelination estimates in macaque and human brain
Authors:
Ting Gong,
Chiara Maffei,
Evan Dann,
Hong-Hsi Lee,
Hansol Lee,
Jean C. Augustinack,
Susie Y. Huang,
Suzanne N. Haber,
Anastasia Yendiki
Abstract:
Axon diameter and myelin thickness are closely related microstructural tissue properties that affect the conduction velocity of action potentials in the nervous system. Imaging them non-invasively with MRI-based methods is thus valuable for studying brain microstructure and function. However, the relationship between MRI-based axon diameter and myelination measures has not been investigated across…
▽ More
Axon diameter and myelin thickness are closely related microstructural tissue properties that affect the conduction velocity of action potentials in the nervous system. Imaging them non-invasively with MRI-based methods is thus valuable for studying brain microstructure and function. However, the relationship between MRI-based axon diameter and myelination measures has not been investigated across the brain, mainly due to methodological limitations in estimating axon diameters. In recent years, studies using ultra-high gradient strength diffusion MRI (dMRI) have demonstrated improved estimation of axon diameter across white-matter (WM) tracts in the human brain, making such investigations feasible. In this study, we aim to investigate relationships between tissue microstructure properties with MRI-based methods and compare the imaging findings to histological evidence from the literature. We collected dMRI with ultra-high gradient strength and multi-echo spin-echo MRI on ex vivo macaque and human brain samples on a preclinical scanner. From these data, we estimated axon diameter, intra-axonal signal fraction, myelin water fraction (MWF) and aggregate g-ratio and investigated their correlations. We found that the microstructural imaging parameters exhibited consistent patterns across WM tracts and species. Overall, the findings suggest that MRI-based axon geometry and myelination measures can provide complementary information about fiber morphology, and the relationships between these measures agree with prior histological evidence.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Unsupervised Estimation of Ensemble Accuracy
Authors:
Simi Haber,
Yonatan Wexler
Abstract:
Ensemble learning combines several individual models to obtain a better generalization performance. In this work we present a practical method for estimating the joint power of several classifiers. It differs from existing approaches which focus on "diversity" measures by not relying on labels. This makes it both accurate and practical in the modern setting of unsupervised learning with huge datas…
▽ More
Ensemble learning combines several individual models to obtain a better generalization performance. In this work we present a practical method for estimating the joint power of several classifiers. It differs from existing approaches which focus on "diversity" measures by not relying on labels. This makes it both accurate and practical in the modern setting of unsupervised learning with huge datasets.
The heart of the method is a combinatorial bound on the number of mistakes the ensemble is likely to make. The bound can be efficiently approximated in time linear in the number of samples. We relate the bound to actual misclassifications, hence its usefulness as a predictor of performance.
We demonstrate the method on popular large-scale face recognition datasets which provide a useful playground for fine-grain classification tasks using noisy data over many classes.
△ Less
Submitted 20 December, 2023; v1 submitted 17 November, 2023;
originally announced November 2023.
-
Constructing cost-effective infrastructure networks
Authors:
Rotem Brand,
Reuven Cohen,
Baruch Barzel,
Simi Haber
Abstract:
The need for reliable and low-cost infrastructure is crucial in today's world. However, achieving both at the same time is often challenging. Traditionally, infrastructure networks are designed with a radial topology lacking redundancy, which makes them vulnerable to disruptions. As a result, network topologies have evolved towards a ring topology with only one redundant edge and, from there, to m…
▽ More
The need for reliable and low-cost infrastructure is crucial in today's world. However, achieving both at the same time is often challenging. Traditionally, infrastructure networks are designed with a radial topology lacking redundancy, which makes them vulnerable to disruptions. As a result, network topologies have evolved towards a ring topology with only one redundant edge and, from there, to more complex mesh networks. However, we prove that large rings are unreliable. Our research shows that a sparse mesh network with a small number of redundant edges that follow some design rules can significantly improve reliability while remaining cost-effective. Moreover, we have identified key areas where adding redundant edges can impact network reliability the most by using the SAIDI index, which measures the expected number of consumers disconnected from the source node. These findings offer network planners a valuable tool for quickly identifying and addressing reliability issues without the need for complex simulations. Properly planned sparse mesh networks can thus provide a reliable and a cost-effective solution to modern infrastructure challenges.
△ Less
Submitted 30 July, 2023;
originally announced August 2023.
-
Dynamic Nuclear Polarization in Battery Materials
Authors:
Shira Haber,
Michal Leskes
Abstract:
The increasing need for portable and large-scale energy storage systems requires development of new, long lasting and highly efficient battery systems. Solid state NMR spectroscopy has emerged as an excellent method for characterizing battery materials. Yet, it is limited when it comes to probing thin interfacial layers which play a central role in the performance and lifetime of battery cells. He…
▽ More
The increasing need for portable and large-scale energy storage systems requires development of new, long lasting and highly efficient battery systems. Solid state NMR spectroscopy has emerged as an excellent method for characterizing battery materials. Yet, it is limited when it comes to probing thin interfacial layers which play a central role in the performance and lifetime of battery cells. Here we review how Dynamic Nuclear Polarization (DNP) can lift the sensitivity limitation and enable detection of the electrode-electrolyte interface, as well as the bulk of some electrode and electrolyte systems. We describe the current challenges from the point of view of materials development; considering how the unique electronic, magnetic and chemical properties differentiate battery materials from other applications of DNP in materials science. We review the current applications of exogenous and endogenous DNP from radicals, conduction electrons and paramagnetic metal ions. Finally, we provide our perspective on the opportunities and directions where battery materials can benefit from current DNP methodologies as well as project on future developments that will enable NMR investigation of battery materials with sensitivity and selectivity under ambient conditions.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Ensemble dependence of the critical behavior of a system with long-range interaction and quenched randomness
Authors:
Nir Schreiber,
Reuven Cohen,
Simi Haber
Abstract:
We propose a hybrid model governed by the Blume-Emery-Griffiths (BEG) Hamiltonian with a mean-field-like interaction, where the spins are randomly quenched such that some of them are "pure" Ising and the others admit the BEG set of states. It is found, by varying the concentration of the Ising spins, that the model displays different phase portraits in concentration-temperature parameter space, wi…
▽ More
We propose a hybrid model governed by the Blume-Emery-Griffiths (BEG) Hamiltonian with a mean-field-like interaction, where the spins are randomly quenched such that some of them are "pure" Ising and the others admit the BEG set of states. It is found, by varying the concentration of the Ising spins, that the model displays different phase portraits in concentration-temperature parameter space, within the canonical and the microcanonical ensembles. Phenomenological indications that these portraits are rich and rather unusual are provided.
△ Less
Submitted 16 August, 2023; v1 submitted 27 August, 2022;
originally announced August 2022.
-
Constrained self-supervised method with temporal ensembling for fiber bundle detection on anatomic tracing data
Authors:
Vaanathi Sundaresan,
Julia F. Lehman,
Sean Fitzgibbon,
Saad Jbabdi,
Suzanne N. Haber,
Anastasia Yendiki
Abstract:
Anatomic tracing data provides detailed information on brain circuitry essential for addressing some of the common errors in diffusion MRI tractography. However, automated detection of fiber bundles on tracing data is challenging due to sectioning distortions, presence of noise and artifacts and intensity/contrast variations. In this work, we propose a deep learning method with a self-supervised l…
▽ More
Anatomic tracing data provides detailed information on brain circuitry essential for addressing some of the common errors in diffusion MRI tractography. However, automated detection of fiber bundles on tracing data is challenging due to sectioning distortions, presence of noise and artifacts and intensity/contrast variations. In this work, we propose a deep learning method with a self-supervised loss function that takes anatomy-based constraints into account for accurate segmentation of fiber bundles on the tracer sections from macaque brains. Also, given the limited availability of manual labels, we use a semi-supervised training technique for efficiently using unlabeled data to improve the performance, and location constraints for further reduction of false positives. Evaluation of our method on unseen sections from a different macaque yields promising results with a true positive rate of ~0.90. The code for our method is available at https://github.com/v-sundaresan/fiberbundle_seg_tracing.
△ Less
Submitted 6 August, 2022;
originally announced August 2022.
-
Efficient covering of convex domains by congruent discs
Authors:
Shai Gul,
Reuven Cohen,
Simi Haber
Abstract:
In this paper, we consider the problem of covering a plane region with unit discs. We present an improved upper bound and the first nontrivial lower bound on the number of discs needed for such a covering, depending on the area and perimeter of the region. We provide algorithms for efficient covering of convex polygonal regions using unit discs. We show that the computational complexity of the alg…
▽ More
In this paper, we consider the problem of covering a plane region with unit discs. We present an improved upper bound and the first nontrivial lower bound on the number of discs needed for such a covering, depending on the area and perimeter of the region. We provide algorithms for efficient covering of convex polygonal regions using unit discs. We show that the computational complexity of the algorithms is pseudo-polynomial in the size of the input and the output. We also show that these algorithms provide a constant factor approximation of the optimal covering of the region.
△ Less
Submitted 2 August, 2021;
originally announced August 2021.
-
Changeover phenomenon in randomly colored Potts models
Authors:
Nir Schreiber,
Reuven Cohen,
Gideon Amir,
Simi Haber
Abstract:
A hybrid Potts model where a random concentration $p$ of the spins assume $q_0$ states and a random concentration $1-p$ of the spins assume $q>q_0$ states is introduced. It is known that when the system is homogeneous, with an integer spin number $q_0$ or $q$, it undergoes a second or a first order transition, respectively. It is argued that there is a concentration $p^\ast$ such that the transiti…
▽ More
A hybrid Potts model where a random concentration $p$ of the spins assume $q_0$ states and a random concentration $1-p$ of the spins assume $q>q_0$ states is introduced. It is known that when the system is homogeneous, with an integer spin number $q_0$ or $q$, it undergoes a second or a first order transition, respectively. It is argued that there is a concentration $p^\ast$ such that the transition nature of the model is changed at $p^\ast$. This idea is demonstrated analytically and by simulations for two different types of interaction: the usual square lattice nearest neighboring and mean field all-to-all. Exact expressions for the second order critical line in concentration-temperature parameter space of the mean field model together with some other related critical properties, are derived.
△ Less
Submitted 14 February, 2022; v1 submitted 12 May, 2021;
originally announced May 2021.
-
Emergent stability in complex network dynamics
Authors:
Chandrakala Meena,
Chittaranjan Hens,
Suman Acharyya,
Simcha Haber,
Stefano Boccaletti,
Baruch Barzel
Abstract:
The stable functionality of networked systems is a hallmark of their natural ability to coordinate between their multiple interacting components. Yet, strikingly, real-world networks seem random and highly irregular, apparently lacking any design for stability. What then are the naturally emerging organizing principles of complex-system stability? Encoded within the system's stability matrix, the…
▽ More
The stable functionality of networked systems is a hallmark of their natural ability to coordinate between their multiple interacting components. Yet, strikingly, real-world networks seem random and highly irregular, apparently lacking any design for stability. What then are the naturally emerging organizing principles of complex-system stability? Encoded within the system's stability matrix, the Jacobian, the answer is obscured by the scale and diversity of the relevant systems, their broad parameter space, and their nonlinear interaction mechanisms. To make advances, here we uncover emergent patterns in the structure of the Jacobian, rooted in the interplay between the network topology and the system's intrinsic nonlinear dynamics. These patterns help us analytically identify the few relevant control parameters that determine a system's dynamic stability. Complex systems, we find, exhibit discrete stability classes, from asymptotically unstable, where stability is unattainable, to sensitive, in which stability abides within a bounded range of the system's parameters. Most crucially, alongside these two classes, we uncover a third class, asymptotically stable, in which a sufficiently large and heterogeneous network acquires a guaranteed stability, independent of parameters, and therefore insensitive to external perturbation. Hence, two of the most ubiquitous characteristics of real-world networks - scale and heterogeneity - emerge as natural organizing principles to ensure stability in the face of changing environmental conditions.
△ Less
Submitted 22 April, 2023; v1 submitted 9 July, 2020;
originally announced July 2020.
-
Response times of nodes in a complex network environment -- two potential derivation tracks
Authors:
Chittaranjan Hens,
Uzi Harush,
Simcha Haber,
Reuven Cohen,
Baruch Barzel
Abstract:
The spread of perturbative signals in complex networks is governed by the combined effect of the network topology and its intrinsic nonlinear dynamics. Recently, the resulting spreading patterns have been analyzed and predicted, shown to depend on a single scaling relationship, linking a node's weighted degree $S_i$ to its intrinsic response time $τ_i$. The relevant scaling exponent $θ$ can be ana…
▽ More
The spread of perturbative signals in complex networks is governed by the combined effect of the network topology and its intrinsic nonlinear dynamics. Recently, the resulting spreading patterns have been analyzed and predicted, shown to depend on a single scaling relationship, linking a node's weighted degree $S_i$ to its intrinsic response time $τ_i$. The relevant scaling exponent $θ$ can be analytically traced to the system's nonlinear dynamics. Here we show that $θ$ can be obtained via two different derivation tracks, leading to seemingly different functions. Analyzing the resulting predictions, we find that, despite their distinct form, they are fully consistent, predicting the exact same scaling relationship under potentially diverse types of dynamics.
△ Less
Submitted 8 June, 2020;
originally announced June 2020.
-
Alternating quarantine for sustainable epidemic mitigation
Authors:
Dror Meidan,
Nava Schulmann,
Reuven Cohen,
Simcha Haber,
Eyal Yaniv,
Ronit Sarid,
Baruch Barzel
Abstract:
Absent a drug or vaccine, containing epidemic outbreaks is achieved by means of social distancing, specifically mobility restrictions and lock-downs. Such measures impose a hurtful toll on the economy, and are difficult to sustain for extended periods. As an alternative, we propose here an alternating quarantine strategy, in which at every instance, half of the population remains under lock-down w…
▽ More
Absent a drug or vaccine, containing epidemic outbreaks is achieved by means of social distancing, specifically mobility restrictions and lock-downs. Such measures impose a hurtful toll on the economy, and are difficult to sustain for extended periods. As an alternative, we propose here an alternating quarantine strategy, in which at every instance, half of the population remains under lock-down while the other half continues to be active, maintaining a routine of weekly succession between activity and quarantine. This regime affords a dual partition:\ half of the population interacts for only half of the time, resulting in a dramatic reduction in transmission, comparable to that achieved by a population-wide lock-down. All the while, it enables socioeconomic continuity at $50\%$ capacity. The proposed weekly alternations also address an additional challenge, with specific relevance to COVID-19. Indeed, SARS-CoV-2 exhibits a relatively long incubation period, in which individuals experience no symptoms, but may already contribute to the spread. Unable to selectively isolate these invisible spreaders, we resort to population-wide restrictions. However, under the alternating quarantine routine, if an individual was exposed during their active week, by the time they complete their quarantine they will, in most cases, begin to exhibit symptoms. Hence this strategy isolates the majority of pre-symptomatic individuals during their infectious phase, leading to a rapid decline in the viral spread, thus addressing one of the main challenges in COVID-19 mitigation.
△ Less
Submitted 21 November, 2020; v1 submitted 3 April, 2020;
originally announced April 2020.
-
Isomorphism for Random $k$-Uniform Hypergraphs
Authors:
Debsoumya Chakraborti,
Alan Frieze,
Simi Haber,
Mihir Hasabnis
Abstract:
We study the isomorphism problem for random hypergraphs. We show that it is solvable in polynomial time for the binomial random $k$-uniform hypergraph $H_{n,p;k}$, for a wide range of $p$. We also show that it is solvable w.h.p. for random $r$-regular, $k$-uniform hypergraphs $H_{n,r;k},r=O(1)$.
We study the isomorphism problem for random hypergraphs. We show that it is solvable in polynomial time for the binomial random $k$-uniform hypergraph $H_{n,p;k}$, for a wide range of $p$. We also show that it is solvable w.h.p. for random $r$-regular, $k$-uniform hypergraphs $H_{n,r;k},r=O(1)$.
△ Less
Submitted 10 March, 2021; v1 submitted 17 February, 2020;
originally announced February 2020.
-
Optimal shattering of complex networks
Authors:
Nicole Balashov,
Reuven Cohen,
Avieli Haber,
Michael Krivelevich,
Simi Haber
Abstract:
We consider optimal attacks or immunization schemes on different models of random graphs. We derive bounds for the minimum number of nodes needed to be removed from a network such that all remaining components are fragments of negligible size. We obtain bounds for different regimes of random regular graphs, Erdős-Rényi random graphs, and scale free networks, some of which are tight. We show that t…
▽ More
We consider optimal attacks or immunization schemes on different models of random graphs. We derive bounds for the minimum number of nodes needed to be removed from a network such that all remaining components are fragments of negligible size. We obtain bounds for different regimes of random regular graphs, Erdős-Rényi random graphs, and scale free networks, some of which are tight. We show that the performance of attacks by degree is bounded away from optimality. Finally we present a polynomial time attack algorithm and prove its optimal performance in certain cases.
△ Less
Submitted 5 December, 2019;
originally announced December 2019.
-
Agent-Based Simulations of Blockchain protocols illustrated via Kadena's Chainweb
Authors:
Tarun Chitra,
Monica Quaintance,
Stuart Haber,
Will Martino
Abstract:
While many distributed consensus protocols provide robust liveness and consistency guarantees under the presence of malicious actors, quantitative estimates of how economic incentives affect security are few and far between. In this paper, we describe a system for simulating how adversarial agents, both economically rational and Byzantine, interact with a blockchain protocol. This system provides…
▽ More
While many distributed consensus protocols provide robust liveness and consistency guarantees under the presence of malicious actors, quantitative estimates of how economic incentives affect security are few and far between. In this paper, we describe a system for simulating how adversarial agents, both economically rational and Byzantine, interact with a blockchain protocol. This system provides statistical estimates for the economic difficulty of an attack and how the presence of certain actors influences protocol-level statistics, such as the expected time to regain liveness. This simulation system is influenced by the design of algorithmic trading and reinforcement learning systems that use explicit modeling of an agent's reward mechanism to evaluate and optimize a fully autonomous agent. We implement and apply this simulation framework to Kadena's Chainweb, a parallelized Proof-of-Work system, that contains complexity in how miner incentive compliance affects security and censorship resistance. We provide the first formal description of Chainweb that is in the literature and use this formal description to motivate our simulation design. Our simulation results include a phase transition in block height growth rate as a function of shard connectivity and empirical evidence that censorship in Chainweb is too costly for rational miners to engage in. We conclude with an outlook on how simulation can guide and optimize protocol development in a variety of contexts, including Proof-of-Stake parameter optimization and peer-to-peer networking design.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
Unusual changeover in the transition nature of local-interaction Potts models
Authors:
Nir Schreiber,
Reuven Cohen,
Simi Haber,
Gideon Amir,
Baruch Barzel
Abstract:
A combinatorial approach is used to study the critical behavior of a $q$-state Potts model with a round-the-face interaction. Using this approach it is shown that the model exhibits a first order transition for $q>3$. A second order transition is numerically detected for $q=2$. Based on these findings, it is deduced that for some two-dimensional ferromagnetic Potts models with completely local int…
▽ More
A combinatorial approach is used to study the critical behavior of a $q$-state Potts model with a round-the-face interaction. Using this approach it is shown that the model exhibits a first order transition for $q>3$. A second order transition is numerically detected for $q=2$. Based on these findings, it is deduced that for some two-dimensional ferromagnetic Potts models with completely local interaction, there is a changeover in the transition order at a critical integer $q_c\leq 3$. This stands in contrast to the standard two-spin interaction Potts model where the maximal integer value for which the transition is continuous is $q_c=4$. A lower bound on the first order critical temperature is additionally derived.
△ Less
Submitted 18 November, 2019; v1 submitted 13 August, 2018;
originally announced August 2018.
-
Ferromagnetic Potts models with multisite interaction
Authors:
Nir Schreiber,
Reuven Cohen,
Simi Haber
Abstract:
We study the $q$ states Potts model with four site interaction on the square lattice. Based on the asymptotic behaviour of lattice animals, it is argued that when $q\leq 4$ the system exhibits a second-order phase transition, and when $q > 4$ the transition is first order. The $q=4$ model is borderline. We find ${1}/{\ln q}$ to be an upper bound on $T_c$, the exact critical temperature. Using a lo…
▽ More
We study the $q$ states Potts model with four site interaction on the square lattice. Based on the asymptotic behaviour of lattice animals, it is argued that when $q\leq 4$ the system exhibits a second-order phase transition, and when $q > 4$ the transition is first order. The $q=4$ model is borderline. We find ${1}/{\ln q}$ to be an upper bound on $T_c$, the exact critical temperature. Using a low-temperature expansion, we show that $1/(θ\ln q)$, where $θ>1$ is a $q$-dependent geometrical term, is an improved upper bound on $T_c$. In fact, our findings support $T_c=1/(θ\ln q)$. This expression is used to estimate the finite correlation length in first-order transition systems. These results can be extended to other lattices. Our theoretical predictions are confirmed numerically by an extensive study of the four-site interaction model using the Wang-Landau entropic sampling method for $q=3,4,5$. In particular, the $q=4$ model shows an ambiguous finite-size pseudocritical behaviour.
△ Less
Submitted 8 March, 2018; v1 submitted 25 September, 2017;
originally announced September 2017.
-
An extension of the Ehrenfeucht-Fraisse game for first order logics augmented with Lindstrom quantifiers
Authors:
Simi Haber,
Saharon Shelah
Abstract:
We propose an extension of the Ehrenfeucht-Fraisse game able to deal with logics augmented with Lindstrom quantifiers. We describe three different games with varying balance between simplicity and ease of use.
We propose an extension of the Ehrenfeucht-Fraisse game able to deal with logics augmented with Lindstrom quantifiers. We describe three different games with varying balance between simplicity and ease of use.
△ Less
Submitted 22 October, 2015;
originally announced October 2015.
-
Random graphs and Lindstrom quantifiers for natural graph properties
Authors:
Simi Haber,
Saharon Shelah
Abstract:
We study zero-one laws for random graphs. We focus on the following question that was asked by many: Given a graph property P, is there a language of graphs able to express P while obeying the zero-one law? Our results show that on the one hand there is a (regular) language able to express connectivity and k-colorability for any constant k and still obey the zero-one law. On the other hand we show…
▽ More
We study zero-one laws for random graphs. We focus on the following question that was asked by many: Given a graph property P, is there a language of graphs able to express P while obeying the zero-one law? Our results show that on the one hand there is a (regular) language able to express connectivity and k-colorability for any constant k and still obey the zero-one law. On the other hand we show that in any (semiregular) language strong enough to express Hamiltonicity one can interpret arithmetic and thus the zero-one law fails miserably. This answers a question of Blass and Harary.
△ Less
Submitted 22 October, 2015;
originally announced October 2015.
-
An almost linear time algorithm for finding Hamilton cycles in sparse random graphs with minimum degree at least three
Authors:
Alan Frieze,
Simi Haber
Abstract:
We describe an algorithm for finding Hamilton cycles in random graphs. Our model is the random graph $G=\gc$. In this model $G$ is drawn uniformly from graphs with vertex set $[n]$, $m$ edges and minimum degree at least three. We focus on the case where $m=cn$ for constant $c$. If $c$ is sufficiently large then our algorithm runs in $O(n^{1+o(1)})$ time and succeeds w.h.p.
We describe an algorithm for finding Hamilton cycles in random graphs. Our model is the random graph $G=\gc$. In this model $G$ is drawn uniformly from graphs with vertex set $[n]$, $m$ edges and minimum degree at least three. We focus on the case where $m=cn$ for constant $c$. If $c$ is sufficiently large then our algorithm runs in $O(n^{1+o(1)})$ time and succeeds w.h.p.
△ Less
Submitted 23 October, 2012; v1 submitted 22 October, 2012;
originally announced October 2012.
-
On the game chromatic number of sparse random graphs
Authors:
Alan Frieze,
Simi Haber,
Mikhail Lavrov
Abstract:
Given a graph G and an integer k, two players take turns coloring the vertices of G one by one using k colors so that neighboring vertices get different colors. The first player wins iff at the end of the game all the vertices of $G$ are colored. The game chromatic number χ_g(G) is the minimum k for which the first player has a winning strategy. The paper \cite{BFS} began the analysis of the asymp…
▽ More
Given a graph G and an integer k, two players take turns coloring the vertices of G one by one using k colors so that neighboring vertices get different colors. The first player wins iff at the end of the game all the vertices of $G$ are colored. The game chromatic number χ_g(G) is the minimum k for which the first player has a winning strategy. The paper \cite{BFS} began the analysis of the asymptotic behavior of this parameter for a random graph G_{n,p}. This paper provides some further analysis for graphs with constant average degree i.e. np=O(1) and for random regular graphs.
△ Less
Submitted 8 June, 2018; v1 submitted 29 December, 2011;
originally announced January 2012.
-
The number of F-matchings in almost every tree is a zero residue
Authors:
Noga Alon,
Simi Haber,
Michael Krivelevich
Abstract:
For graphs F and G an F-matching in G is a subgraph of G consisting of pairwise vertex disjoint copies of F. The number of F-matchings in G is denoted by s(F,G). We show that for every fixed positive integer m and every fixed tree F, the probability that s(F,T_n) = 0 mod m, where T_n is a random labeled tree with n vertices, tends to one exponentially fast as n grows to infinity. A similar result…
▽ More
For graphs F and G an F-matching in G is a subgraph of G consisting of pairwise vertex disjoint copies of F. The number of F-matchings in G is denoted by s(F,G). We show that for every fixed positive integer m and every fixed tree F, the probability that s(F,T_n) = 0 mod m, where T_n is a random labeled tree with n vertices, tends to one exponentially fast as n grows to infinity. A similar result is proven for induced F-matchings. This generalizes a recent result of Wagner who showed that the number of independent sets in a random labeled tree is almost surely a zero residue.
△ Less
Submitted 28 June, 2010;
originally announced June 2010.
-
A proposal for a coordinated effort for the determination of brainwide neuroanatomical connectivity in model organisms at a mesoscopic scale
Authors:
Jason W. Bohland,
Caizhi Wu,
Helen Barbas,
Hemant Bokil,
Mihail Bota,
Hans C. Breiter,
Hollis T. Cline,
John C. Doyle,
Peter J. Freed,
Ralph J. Greenspan,
Suzanne N. Haber,
Michael Hawrylycz,
Daniel G. Herrera,
Claus C. Hilgetag,
Z. Josh Huang,
Allan Jones,
Edward G. Jones,
Harvey J. Karten,
David Kleinfeld,
Rolf Kotter,
Henry A. Lester,
John M. Lin,
Brett D. Mensh,
Shawn Mikula,
Jaak Panksepp
, et al. (12 additional authors not shown)
Abstract:
In this era of complete genomes, our knowledge of neuroanatomical circuitry remains surprisingly sparse. Such knowledge is however critical both for basic and clinical research into brain function. Here we advocate for a concerted effort to fill this gap, through systematic, experimental mapping of neural circuits at a mesoscopic scale of resolution suitable for comprehensive, brain-wide coverag…
▽ More
In this era of complete genomes, our knowledge of neuroanatomical circuitry remains surprisingly sparse. Such knowledge is however critical both for basic and clinical research into brain function. Here we advocate for a concerted effort to fill this gap, through systematic, experimental mapping of neural circuits at a mesoscopic scale of resolution suitable for comprehensive, brain-wide coverage, using injections of tracers or viral vectors. We detail the scientific and medical rationale and briefly review existing knowledge and experimental techniques. We define a set of desiderata, including brain-wide coverage; validated and extensible experimental techniques suitable for standardization and automation; centralized, open access data repository; compatibility with existing resources, and tractability with current informatics technology. We discuss a hypothetical but tractable plan for mouse, additional efforts for the macaque, and technique development for human. We estimate that the mouse connectivity project could be completed within five years with a comparatively modest budget.
△ Less
Submitted 28 January, 2009;
originally announced January 2009.
-
The isoperimetric constant of the random graph process
Authors:
Itai Benjamini,
Simi Haber,
Michael Krivelevich,
Eyal Lubetzky
Abstract:
The isoperimetric constant of a graph $G$ on $n$ vertices, $i(G)$, is the minimum of $\frac{|\partial S|}{|S|}$, taken over all nonempty subsets $S\subset V(G)$ of size at most $n/2$, where $\partial S$ denotes the set of edges with precisely one end in $S$. A random graph process on $n$ vertices, $\widetilde{G}(t)$, is a sequence of $\binom{n}{2}$ graphs, where $\widetilde{G}(0)$ is the edgeles…
▽ More
The isoperimetric constant of a graph $G$ on $n$ vertices, $i(G)$, is the minimum of $\frac{|\partial S|}{|S|}$, taken over all nonempty subsets $S\subset V(G)$ of size at most $n/2$, where $\partial S$ denotes the set of edges with precisely one end in $S$. A random graph process on $n$ vertices, $\widetilde{G}(t)$, is a sequence of $\binom{n}{2}$ graphs, where $\widetilde{G}(0)$ is the edgeless graph on $n$ vertices, and $\widetilde{G}(t)$ is the result of adding an edge to $\widetilde{G}(t-1)$, uniformly distributed over all the missing edges. We show that in almost every graph process $i(\widetilde{G}(t))$ equals the minimal degree of $\widetilde{G}(t)$ as long as the minimal degree is $o(\log n)$. Furthermore, we show that this result is essentially best possible, by demonstrating that along the period in which the minimum degree is typically $Θ(\log n)$, the ratio between the isoperimetric constant and the minimum degree falls from 1 to 1/2, its final value.
△ Less
Submitted 1 September, 2005;
originally announced September 2005.