English
Related papers

Related papers: Witnessing Subsystems for Probabilistic Systems wi…

200 papers

In this article, we explicitly derive the limiting degree distribution of the shortest path tree from a single source on various random network models with edge weights. We determine the asymptotics of the degree distribution for large…

Probability · Mathematics 2016-08-11 Shankar Bhamidi , Jesse Goodman , Remco van der Hofstad , Júlia Komjáthy

The shortest-path, commute time, and diffusion distances on undirected graphs have been widely employed in applications such as dimensionality reduction, link prediction, and trip planning. Increasingly, there is interest in using…

Social and Information Networks · Computer Science 2023-07-27 Zachary M. Boyd , Nicolas Fraiman , Jeremy L. Marzuola , Peter J. Mucha , Braxton Osting , Jonathan Weare

This paper studies a Markov chain for phylogenetic reconstruction which uses a popular transition between tree topologies known as subtree pruning-and-regrafting (SPR). We analyze the Markov chain in the simpler setting that the generating…

Populations and Evolution · Quantitative Biology 2015-03-13 Daniel Stefankovic , Eric Vigoda

The tree-cut width of a graph is a graph parameter defined by Wollan [J. Comb. Theory, Ser. B, 110:47-66, 2015] with the help of tree-cut decompositions. In certain cases, tree-cut width appears to be more adequate than treewidth as an…

Data Structures and Algorithms · Computer Science 2018-05-16 Eunjung Kim , Sang-il Oum , Christophe Paul , Ignasi Sau , Dimitrios M. Thilikos

Bottom-Up Hidden Tree Markov Model is a highly expressive model for tree-structured data. Unfortunately, it cannot be used in practice due to the intractable size of its state-transition matrix. We propose a new approximation which lies on…

Machine Learning · Computer Science 2019-06-03 Daniele Castellana , Davide Bacciu

Recombining trinomial trees are a workhorse for modeling discrete-event systems in option pricing, logistics, and feedback control. Because each node stores a state-dependent quantity, a depth-$D$ tree naively yields $\mathcal{O}(3^{D})$…

Data Structures and Algorithms · Computer Science 2025-10-06 Ethan Torres , Ramavarapu Sreenivas , Richard Sowers

Learning the undirected graph structure of a Markov network from data is a problem that has received a lot of attention during the last few decades. As a result of the general applicability of the model class, a myriad of methods have been…

Markov parameters play a key role in system identification. There exists many algorithms where these parameters are estimated using least-squares in a first, pre-processing, step, including subspace identification and multi-step…

Systems and Control · Electrical Eng. & Systems 2024-05-08 Jiabao He , Cristian R. Rojas , Håkan Hjalmarsson

Phylogenetic networks are often constructed by merging multiple conflicting phylogenetic signals into a directed acyclic graph. It is interesting to explore whether a network constructed in this way induces biologically-relevant…

Populations and Evolution · Quantitative Biology 2017-07-13 Steven Kelk , Fabio Pardi , Celine Scornavacca , Leo van Iersel

Computing the probability of reaching a set of goal states G in a discrete-time Markov chain (DTMC) is a core task of probabilistic model checking. We can do so by directly computing the probability mass of the set of all finite paths from…

Formal Languages and Automata Theory · Computer Science 2025-09-03 Arnd Hartmanns , Robert Modderman

Many algorithms for processing probabilistic networks are dependent on the topological properties of the problem's structure. Such algorithms (e.g., clustering, conditioning) are effective only if the problem has a sparse graph captured by…

Artificial Intelligence · Computer Science 2013-02-18 Yousri El Fattah , Rina Dechter

Frequent pattern mining is a relevant method to analyse structured data, like sequences, trees or graphs. It consists in identifying characteristic substructures of a dataset. This paper deals with a new type of patterns for tree data:…

Data Structures and Algorithms · Computer Science 2024-01-05 Romain Azaïs , Florian Ingels

Probabilistic model checking is a useful technique for specifying and verifying properties of stochastic systems including randomized protocols and reinforcement learning models. Existing methods rely on the assumed structure and…

Cryptography and Security · Computer Science 2022-08-02 Lisa Oakley , Alina Oprea , Stavros Tripakis

A novel approach for non-intrusive uncertainty propagation is proposed. Our approach overcomes the limitation of many traditional methods, such as generalised polynomial chaos methods, which may lack sufficient accuracy when the quantity of…

Numerical Analysis · Mathematics 2018-03-20 Yous van Halder , Benjamin Sanderse , Barry Koren

One of the most influential recent results in network analysis is that many natural networks exhibit a power-law or log-normal degree distribution. This has inspired numerous generative models that match this property. However, more recent…

Data Structures and Algorithms · Computer Science 2011-09-01 Isabelle Stanton , Ali Pinar

Optimal transport provides a metric which quantifies the dissimilarity between probability measures. For measures supported in discrete metric spaces, finding the optimal transport distance has cubic time complexity in the size of the…

Machine Learning · Computer Science 2024-01-30 Samantha Chen , Puoya Tabaghi , Yusu Wang

We tackle a stochastic version of the Critical Node Problem (CNP) where the goal is to minimize the pairwise connectivity of a graph by attacking a subset of its nodes. In the stochastic setting considered, the attacks on nodes can fail…

Data Structures and Algorithms · Computer Science 2019-05-30 Pierre Hosteins , Rosario Scatamacchia

The graph parameter of pathwidth can be seen as a measure of the topological resemblance of a graph to a path. A popular definition of pathwidth is given in terms of node search where we are given a system of tunnels that is contaminated by…

Data Structures and Algorithms · Computer Science 2022-09-13 Mamadou Moustapha Kanté , Christophe Paul , Dimitrios M. Thilikos

We investigate the parameterized complexity of the Isometric Path Partition problem when parameterized by the treewidth ($\mathrm{tw}$) of the input graph, arguably one of the most widely studied parameters. Courcelle's theorem shows that…

Data Structures and Algorithms · Computer Science 2025-09-23 Dibyayan Chakraborty , Oscar Defrain , Florent Foucaud , Mathieu Mari , Prafullkumar Tale

Algorithms for binary classification based on adaptive tree partitioning are formulated and analyzed for both their risk performance and their friendliness to numerical implementation. The algorithms can be viewed as generating a set…

Statistics Theory · Mathematics 2014-11-05 Peter Binev , Albert Cohen , Wolfgang Dahmen , Ronald DeVore