English
Related papers

Related papers: Dominic Welsh (1938-2023)

200 papers

This papers studies the expressive and computational power of discrete Ordinary Differential Equations (ODEs). It presents a new framework using discrete ODEs as a central tool for computation and provides several implicit characterizations…

Logic in Computer Science · Computer Science 2018-10-09 Olivier Bournez , Arnaud Durand , Sabrina Ouazzani

This monograph is a comprehensive study of the combinatorial structure of various operads of wiring diagrams and undirected wiring diagrams. Our first main objective is to prove a finite presentation theorem for each operad of wiring…

Category Theory · Mathematics 2018-06-19 Donald Yau

We consider a wide class of ergodic first passage percolation processes on Z^2 and prove that there exist at least four one-sided geodesics a.s. We also show that coexistence is possible with positive probability in a four color…

Probability · Mathematics 2007-11-19 Christopher Hoffman

We give an account of our work on transitive factorizations of permutations. The work has had impact upon other areas of mathematics such as the enumeration of graph embeddings, random matrices, branched covers, and the moduli spaces of…

Combinatorics · Mathematics 2014-07-30 I. P. Goulden , D. M. Jackson

Perhaps the most significant, if not the most important, achievements in chemistry and physics are the Periodic Table of the Elements in Chemistry and the Standard Model of Elementary Particles in Physics. A comparable achievement in…

General Mathematics · Mathematics 2020-03-17 Garret Sobczyk

We study the complete graph equipped with a topology induced by independent and identically distributed edge weights. The focus of our analysis is on the weight W_n and the number of edges H_n of the minimal weight path between two distinct…

Probability · Mathematics 2015-06-12 Maren Eckhoff , Jesse Goodman , Remco van der Hofstad , Francesca R. Nardi

Differential lambda-calculus was first introduced by Thomas Ehrhard and Laurent Regnier in 2003. Despite more than 15 years of history, little work has been done on a differential calculus with integration. In this paper, we shall propose a…

Programming Languages · Computer Science 2021-05-10 Han Xu , Zhenjiang Hu

We consider $\ell$-adic trace functions over finite fields taking values in cyclotomic integers, such as characters and exponential sums. Through ideas of Deligne and Katz, we explore probabilistic properties of the reductions modulo a…

Number Theory · Mathematics 2017-08-02 Corentin Perret-Gentil

The "peak reduction" method is a powerful combinatorial technique with applications in many different areas of mathematics as well as theoretical computer science. It was introduced by Whitehead, a famous topologist and group theorist, who…

Algebraic Geometry · Mathematics 2007-05-23 Vladimir Shpilrain , Jie-Tai Yu

This article presents a very gentle introduction to the field of aperiodic order, aimed at a general audience. It is intended to provide a "Snapshot of Modern Mathematics" relating to the Oberwolfach mini-workshop "Dynamical versus…

History and Overview · Mathematics 2019-10-03 Michael Baake , David Damanik , Uwe Grimm

This article, dedicated to Herbert Saul Wilf on the occaison of his forthcoming 80-th birthday, describes two complementary approaches to enumeration, the "positive" and the "negative", each with its advantages and disadvantages. Both…

Combinatorics · Mathematics 2011-01-21 Andrew Baxter , Brian Nakamura , Doron Zeilberger

The central question of knot theory is that of distinguishing links up to isotopy. The first polynomial invariant of links devised to help answer this question was the Alexander polynomial (1928). Almost a century after its introduction, it…

Geometric Topology · Mathematics 2023-10-27 Elena S. Hafner , Karola Mészáros , Alexander Vidinas

In the last ten years, the employment of symbolic methods has substantially extended both the theory and the applications of statistics and probability. This survey reviews the development of a symbolic technique arising from classical…

Statistics Theory · Mathematics 2015-12-29 Elvira Di Nardo

There are three aims of this note. The first one is to report some advances around the dynamical Mordell-Lang (=DML) conjecture. Second, we generalize some known results. For example, the Dynamical Mordell-lang conjecture was known for…

Number Theory · Mathematics 2023-07-28 Junyi Xie

We study the expressive power of subrecursive probabilistic higher-order calculi. More specifically, we show that endowing a very expressive deterministic calculus like G\"odel's $\mathbb{T}$ with various forms of probabilistic choice…

Logic in Computer Science · Computer Science 2023-06-22 Flavien Breuvart , Ugo Dal Lago , Agathe Herrou

The theory of equidistribution is about hundred years old, and has been developed primarily by number theorists and theoretical computer scientists. A motivated uninitiated peer could encounter difficulties perusing the literature, due to…

Probability · Mathematics 2018-12-04 Vlada Limic , Nedžad Limić

Collatz Conjecture is one of the most famous, for its simple form, proposed more than eighty years ago. This paper presents a full attempt to prove the affirmative answer to the question proposed by the conjecture. In the first section, we…

General Mathematics · Mathematics 2019-11-12 Agelos Kratimenos

One presents many Concatenated and Operation Sequences, P-Q Relationships, Digital Sequences, Magic Squares, Prime Conjectures, k-Divisibility and Strong Divisibility Sequences, Geometric Conjectures, Proposed problems.

General Mathematics · Mathematics 2007-05-23 Florentin Smarandache

First-passage times are often the most relevant aspect of a complex Markovian network, because they signify when information processing has resulted in a definite decision. Previous studies have shown that for kinetic proofreading networks…

Statistical Mechanics · Physics 2026-03-25 Julian B. Voits , Ulrich S. Schwarz

Wall published a paper in 1960 on the Fibonacci sequence where he derived many results concerning the period and prime power divisibility modulo m. His periodicity results have been generalized to second order linear recurrences. Here we…

Combinatorics · Mathematics 2015-10-01 Soumyabrata Pal , Shankar M. Venkatesan