195 research outputs found

    Optimal distance query reconstruction for graphs without long induced cycles

    Full text link
    Let G=(V,E)G=(V,E) be an nn-vertex connected graph of maximum degree Δ\Delta. Given access to VV and an oracle that given two vertices u,vVu,v\in V, returns the shortest path distance between uu and vv, how many queries are needed to reconstruct EE? We give a simple deterministic algorithm to reconstruct trees using ΔnlogΔn+(Δ+2)n\Delta n\log_\Delta n+(\Delta+2)n distance queries and show that even randomised algorithms need to use at least 1100ΔnlogΔn\frac1{100} \Delta n\log_\Delta n queries in expectation. The best previous lower bound was an information-theoretic lower bound of Ω(nlogn/loglogn)\Omega(n\log n/\log \log n). Our lower bound also extends to related query models including distance queries for phylogenetic trees, membership queries for learning partitions and path queries in directed trees. We extend our deterministic algorithm to reconstruct graphs without induced cycles of length at least kk using OΔ,k(nlogn)O_{\Delta,k}(n\log n) queries, which includes various graph classes of interest such as chordal graphs, permutation graphs and AT-free graphs. Since the previously best known randomised algorithm for chordal graphs uses OΔ(nlog2n)O_{\Delta}(n\log^2 n) queries in expectation, we both get rid off the randomness and get the optimal dependency in nn for chordal graphs and various other graph classes. Finally, we build on an algorithm of Kannan, Mathieu, and Zhou [ICALP, 2015] to give a randomised algorithm for reconstructing graphs of treelength kk using OΔ,k(nlog2n)O_{\Delta,k}(n\log^2n) queries in expectation.Comment: 35 page

    Exact antichain saturation numbers via a generalisation of a result of Lehman-Ron

    Full text link
    For given positive integers kk and nn, a family F\mathcal{F} of subsets of {1,,n}\{1,\dots,n\} is kk-antichain saturated if it does not contain an antichain of size kk, but adding any set to F\mathcal{F} creates an antichain of size kk. We use sat(n,k)^*(n, k) to denote the smallest size of such a family. For all kk and sufficiently large nn, we determine the exact value of sat(n,k)^*(n, k). Our result implies that sat(n,k)=n(k1)Θ(klogk)^*(n, k)=n(k-1)-\Theta(k\log k), which confirms several conjectures on antichain saturation. Previously, exact values for sat(n,k)^*(n,k) were only known for kk up to 66. We also prove a generalisation of a result of Lehman-Ron which may be of independent interest. We show that given mm disjoint chains in the Boolean lattice, we can create mm disjoint skipless chains that cover the same elements (where we call a chain skipless if any two consecutive elements differ in size by exactly one).Comment: 29 pages, 3 figure

    Paul Arbousse-Bastide

    Get PDF

    Efficient Bayesian Inference of General Gaussian Models on Large Phylogenetic Trees

    Full text link
    Phylogenetic comparative methods correct for shared evolutionary history among a set of non-independent organisms by modeling sample traits as arising from a diffusion process along on the branches of a possibly unknown history. To incorporate such uncertainty, we present a scalable Bayesian inference framework under a general Gaussian trait evolution model that exploits Hamiltonian Monte Carlo (HMC). HMC enables efficient sampling of the constrained model parameters and takes advantage of the tree structure for fast likelihood and gradient computations, yielding algorithmic complexity linear in the number of observations. This approach encompasses a wide family of stochastic processes, including the general Ornstein-Uhlenbeck (OU) process, with possible missing data and measurement errors. We implement inference tools for a biologically relevant subset of all these models into the BEAST phylogenetic software package and develop model comparison through marginal likelihood estimation. We apply our approach to study the morphological evolution in the superfamilly of Musteloidea (including weasels and allies) as well as the heritability of HIV virulence. This second problem furnishes a new measure of evolutionary heritability that demonstrates its utility through a targeted simulation study

    Paneth cell - rich regions separated by a cluster of Lgr5+ cells initiate crypt fission in the intestinal stem cell niche

    Get PDF
    The crypts of the intestinal epithelium house the stem cells that ensure the continual renewal of the epithelial cells that line the intestinal tract. Crypt number increases by a process called crypt fission, the division of a single crypt into two daughter crypts. Fission drives normal tissue growth and maintenance. Correspondingly, it becomes less frequent in adulthood. Importantly, fission is reactivated to drive adenoma growth. The mechanisms governing fission are poorly understood. However, only by knowing how normal fission operates can cancer-associated changes be elucidated. We studied normal fission in tissue in three dimensions using high-resolution imaging and used intestinal organoids to identify underlying mechanisms. We discovered that both the number and relative position of Paneth cells and Lgr5+ cells are important for fission. Furthermore, the higher stiffness and increased adhesion of Paneth cells are involved in determining the site of fission. Formation of a cluster of Lgr5+ cells between at least two Paneth-cell-rich domains establishes the site for the upward invagination that initiates fission

    Catolicismo e ciências sociais no Brasil: mudanças de foco e perspectiva num objeto de estudo

    Full text link

    A Sociologia no Brasil: história, teorias e desafios

    Full text link
    corecore