English
Related papers

Related papers: Dominic Welsh (1938-2023)

200 papers

Recently, several proofs of the Mason--Welsh conjecture for matroids have been found, which asserts the log-concavity of the sequence that counts independent sets of a given size. In this article we use the theory of Lorentzian polynomials,…

Combinatorics · Mathematics 2024-07-09 Jeffrey Giansiracusa , Felipe Rincón , Victoria Schleis , Martin Ulirsch

A famous theorem of Szemer\'edi asserts that given any density $0 < \delta \leq 1$ and any integer $k \geq 3$, any set of integers with density $\delta$ will contain infinitely many proper arithmetic progressions of length $k$. For general…

Combinatorics · Mathematics 2007-05-23 Terence Tao

Distributed representations (such as those based on embeddings) and discrete representations (such as those based on logic) have complementary strengths. We explore one possible approach to combining these two kinds of representations. We…

Artificial Intelligence · Computer Science 2015-02-06 Ramanathan Guha

We consider first-passage percolation with i.i.d. non-negative weights coming from some continuous distribution under a moment condition. We review recent results in the study of geodesics in first-passage percolation and study their…

Probability · Mathematics 2020-05-22 Daniel Ahlberg

The history of computability theory and and the history of analysis are surprisingly intertwined since the beginning of the twentieth century. For one, \'Emil Borel discussed his ideas on computable real number functions in his introduction…

Logic · Mathematics 2016-07-12 Vasco Brattka

Squaring and adding $\pm 1$ mod p generates a curiously intractable random walk. A similar process over the finite field $\mathbf{F}_q$ (with $q=2^d$) leads to novel connections between elementary Galois theory and probability.

Probability · Mathematics 2021-07-08 Persi Diaconis , Jimmy He , I. Martin Isaacs

We present a new method to compute the first crossing distribution in excursion set theory for the case of correlated random walks. We use a combination of the path integral formalism of Maggiore & Riotto, and the integral equation solution…

Cosmology and Nongalactic Astrophysics · Physics 2014-02-18 Arya Farahi , Andrew J. Benson

We describe a general purpose algorithm for counting simple cycles and simple paths of any length $\ell$ on a (weighted di)graph on $N$ vertices and $M$ edges, achieving a time complexity of $O\left(N+M+\big(\ell^\omega+\ell\Delta\big)…

Data Structures and Algorithms · Computer Science 2019-09-12 Pierre-Louis Giscard , Nils Kriege , Richard C. Wilson

We propose a new version of generalized probabilistic propositional logic, namely, discrete-continuous logic (DCL) in which every generalized proposition (GP) is represented as 2x2 nondiagonal positive matrix with unit trace. We demonstrate…

Physics and Society · Physics 2013-06-12 E. D. Vol

We establish a new simple explicit description of combinatorial wall-crossing for the rational Cherednik algebra applied to the trivial representation. In this way we recover a theorem of P. Dimakis and G. Yue. We also present two…

Combinatorics · Mathematics 2021-06-09 Galyna Dobrovolska

A mathematical development of the Walsh transform, Walsh basis, and Walsh coefficients is given. The author was prompted to write this by a wish to give a unified treatment of epistatic coordinates as they are used in evolutionary biology.…

Populations and Evolution · Quantitative Biology 2023-11-07 Devin Greene

It has recently been demonstrated in quenched lattice simulations that the distribution of the low-lying eigenvalues of the QCD Dirac operator is universal and described by random-matrix theory. We present first evidence that this…

High Energy Physics - Lattice · Physics 2009-12-30 M. E. Berbenni-Bitsch , S. Meyer , T. Wettig

We survey general properties of multiplicative arithmetic functions of several variables and related convolutions, including the Dirichlet convolution and the unitary convolution. We introduce and investigate a new convolution, called gcd…

Number Theory · Mathematics 2014-11-20 László Tóth

One of the great pleasures of working with Imre Leader is to experience his infectious delight on encountering a compelling combinatorial problem. This collection of open problems in combinatorics has been put together by a subset of his…

The operad of moulds is realized in terms of an operational calculus of formal integrals (continuous formal power series). This leads to many simplifications and to the discovery of various suboperads. In particular, we prove a conjecture…

Quantum Algebra · Mathematics 2007-10-18 Frédéric Chapoton , Florent Hivert , Jean-Christophe Novelli , Jean-Yves Thibon

In this expository article, we describe the recent approach, motivated by ergodic theory, towards detecting arithmetic patterns in the primes, and in particular establishing that the primes contain arbitrarily long arithmetic progressions.…

Number Theory · Mathematics 2007-05-23 Terence Tao

The logarithmic conformal field theory describing critical percolation is further explored using Watts' determination of the probability that there exists a cluster connecting both horizontal and vertical edges. The boundary condition…

High Energy Physics - Theory · Physics 2009-02-02 David Ridout

I am presenting a first-ever scientific collection of short sayings on probability and statistics expressed by most various men of science, many classics included, from antiquity to Kepler to our time. Quite understandably, the reader will…

History and Overview · Mathematics 2021-07-07 Oscar Sheynin

The quest of smoothly combining logics so that connectives from classical and intuitionistic logics can co-exist in peace has been a fascinating topic of research for decades now. In 2015, Dag Prawitz proposed a natural deduction system for…

Logic in Computer Science · Computer Science 2022-04-06 Sonia Marin , Luiz Carlos Pereira , Elaine Pimentel , Emerson Sales

Algorithms to generate various combinatorial structures find tremendous importance in computer science. In this paper, we begin by reviewing an algorithm proposed by Rohl that generates all unique permutations of a list of elements which…

Data Structures and Algorithms · Computer Science 2010-10-01 Pramod Ganapathi , Rama B