English
Related papers

Related papers: Computing the average parallelism in trace monoids

200 papers

We propose a methodology to parallelize Hamiltonian Monte Carlo estimators. Our approach constructs a pair of Hamiltonian Monte Carlo chains that are coupled in such a way that they meet exactly after some random number of iterations. These…

Computation · Statistics 2018-08-28 Jeremy Heng , Pierre E. Jacob

Two new test statistics are introduced to test the null hypotheses that the sampling distribution has an increasing hazard rate on a specified interval [0,a]. These statistics are empirical L_1-type distances between the isotonic estimates,…

Statistics Theory · Mathematics 2015-03-17 Piet Groeneboom , Geurt Jongbloed

A simple random walk on a graph is a sequence of movements from one vertex to another where at each step an edge is chosen uniformly at random from the set of edges incident on the current vertex, and then transitioned to next vertex.…

Probability · Mathematics 2012-02-28 Mohammed Abdullah

Inference about a scalar parameter of interest typically relies on the asymptotic normality of common likelihood pivots, such as the signed likelihood root, the score and Wald statistics. Nevertheless, the resulting inferential procedures…

Statistics Theory · Mathematics 2022-01-07 Ruggero Bellio , Ioannis Kosmidis , Alessandra Salvan , Nicola Sartori

Hypertrace logic is a sorted first-order logic with separate sorts for time and execution traces. Its formulas specify hyperproperties, which are properties relating multiple traces. In this work, we extend hypertrace logic by introducing…

Logic in Computer Science · Computer Science 2025-10-15 Marek Chalupa , Thomas A. Henzinger , Ana Oliveira da Costa

We study L\'evy walks in quenched disordered one-dimensional media, with scatterers spaced according to a long-tailed distribution. By analyzing the scaling relations for the random-walk probability and for the resistivity in the equivalent…

Statistical Mechanics · Physics 2015-05-18 R. Burioni , L. Caniparoli , A. Vezzani

We consider the numerical irreducible decomposition of a positive dimensional solution set of a polynomial system into irreducible factors. Path tracking techniques computing loops around singularities connect points on the same irreducible…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-20 Anton Leykin , Jan Verschelde

We consider drawings of graphs in the plane in which vertices are assigned distinct points in the plane and edges are drawn as simple curves connecting the vertices and such that the edges intersect only at their common endpoints. There is…

Computational Geometry · Computer Science 2022-03-17 Salman Parsa , Tim Ophelders

We introduce the following natural generalization of trace reconstruction, parameterized by a deletion probability $\delta \in (0,1)$ and length $n$: There is a length $n$ string of probabilities, $S=p_1,\ldots,p_n,$ and each "trace" is…

Data Structures and Algorithms · Computer Science 2024-12-03 Joey Rivkin , Gregory Valiant , Paul Valiant

We study convergence properties of pseudo-marginal Markov chain Monte Carlo algorithms (Andrieu and Roberts [Ann. Statist. 37 (2009) 697-725]). We find that the asymptotic variance of the pseudo-marginal algorithm is always at least as…

Probability · Mathematics 2015-03-31 Christophe Andrieu , Matti Vihola

In part I (math.PR/0406392) we proved for an arbitrary one-dimensional random walk with independent increments that the probability of crossing a level at a given time n is of the maximal order square root of n. In higher dimensions we call…

Probability · Mathematics 2007-05-23 Rainer Siegmund-Schultze , Heinrich von Weizsaecker

The Colijn--Plazzotta ranking is a bijective encoding of the unlabeled binary rooted trees with positive integers. We show that the rank $f(t)$ of a tree $t$ is closely related to its height $h$, the length of the longest path from a leaf…

Combinatorics · Mathematics 2024-09-30 Luc Devroye , Michael R. Doboli , Noah A. Rosenberg , Stephan Wagner

Weighted recursive trees are built by adding successively vertices with predetermined weights to a tree: each new vertex is attached to a parent chosen at random with probability proportional to its weight. In the case where the total…

Probability · Mathematics 2022-07-12 Michel Pain , Delphin Sénizergues

Conformance checking encompasses a body of process mining techniques which aim to find and describe the differences between a process model capturing the expected process behavior and a corresponding event log recording the observed…

Software Engineering · Computer Science 2022-03-29 Daniel Reißner , Abel Armas-Cervantes , Marcello La Rosa

In the beautifully simple-to-state problem of trace reconstruction, the goal is to reconstruct an unknown binary string $x$ given random "traces" of $x$ where each trace is generated by deleting each coordinate of $x$ independently with…

Data Structures and Algorithms · Computer Science 2021-03-16 Akshay Krishnamurthy , Arya Mazumdar , Andrew McGregor , Soumyabrata Pal

This extended abstract is dedicated to the analysis of the height of non-plane unlabelled rooted binary trees. The height of such a tree chosen uniformly among those of size $n$ is proved to have a limiting theta distribution, both in a…

Combinatorics · Mathematics 2008-07-16 Nicolas Broutin , Philippe Flajolet

In the simplest case, consider a $\mathbb{Z}^d$-periodic ($d \geq 3$) arrangement of balls of radii < 1/2, and select a random direction and point (outside the balls). According to Dettmann's first conjecture, the probability that the so…

Dynamical Systems · Mathematics 2016-03-25 Peter Nandori , Domokos Szasz , Tamas Varju

We formulate three current models of discrete-time quantum walks in a combinatorial way. These walks are shown to be closely related to rotation systems and 1-factorizations of graphs. For two of the models, we compute the traces and total…

Combinatorics · Mathematics 2019-05-17 Chris Godsil , Hanmeng Zhan

Distributional identities for a L\'evy process $X_t$, its quadratic variation process $V_t$ and its maximal jump processes, are derived, and used to make "small time" (as $t\downarrow0$) asymptotic comparisons between them. The…

Probability · Mathematics 2016-06-24 Boris Buchmann , Yuguang Fan , Ross A. Maller

This article - a part of a multipaper project investigating arithmetic mean ideals - investigates the codimension of commutator spaces [I, B(H)] of operator ideals on a separable Hilbert space, i.e., ``How many traces can an ideal support?"…

Functional Analysis · Mathematics 2007-07-24 Victor Kaftal , Gary Weiss