English
Related papers

Related papers: The Method(!) of "Guess and Check"

200 papers

The use of logical systems for problem-solving may be as diverse as in proving theorems in mathematics or in figuring out how to meet up with a friend. In either case, the problem solving activity is captured by the search for an…

Logic in Computer Science · Computer Science 2023-03-28 Alexander V. Gheorghiu , David J. Pym

We discuss a class of problems which we call lattice exit models. At one level, these problems provide undergraduate level exercises in labeling the vertices of graphs (e.g., depth first search). At another level (theorems about large scale…

Combinatorics · Mathematics 2017-08-29 S. Gill Williamson

In this note, we design a discrete random walk on the real line which takes steps $0, \pm 1$ (and one with steps in $\{\pm 1, 2\}$) where at least $96\%$ of the signs are $\pm 1$ in expectation, and which has $\mathcal{N}(0,1)$ as a…

Data Structures and Algorithms · Computer Science 2021-04-15 Yang P. Liu , Ashwin Sah , Mehtaab Sawhney

This paper presents a simple model that mimics quantum mechanics (QM) results in terms of probability fields of free particles subject to self-interference, without using Schr\"{o}dinger equation or wavefunctions. Unlike the standard QM…

Quantum Physics · Physics 2015-01-27 Antonio Sciarretta

We present two classes of random walks restricted to the quarter plane whose generating function is not holonomic. The non-holonomy is established using the iterated kernel method, a recent variant of the kernel method. This adds evidence…

Combinatorics · Mathematics 2011-02-10 Marni Mishna , Andrew Rechnitzer

Counting integer solutions of linear constraints has found interesting applications in various fields. It is equivalent to the problem of counting lattice points inside a polytope. However, state-of-the-art algorithms for this problem…

Data Structures and Algorithms · Computer Science 2023-12-15 Cunjing Ge

We consider a random walk on a multidimensional integer lattice with random bounds on local times, conditioned on the event that it hits a high level before its death. We introduce an auxiliary "core" process that has a regenerative…

Probability · Mathematics 2021-05-19 Sergey Foss , Alexander Sakhanenko

Many recent papers deal with the enumeration of 2-dimensional walks with prescribed steps confined to the positive quadrant. The classification is now complete for walks with steps in $\{0, \pm 1\}^2$: the generating function is D-finite if…

Combinatorics · Mathematics 2025-04-11 Alin Bostan , Mireille Bousquet-Mélou , Manuel Kauers , Stephen Melczer

We consider two or more simple symmetric walks on some graphs, e.g. the real line, the plane or the two dimensional comb lattice, and investigate the properties of the distance among the walkers.

Probability · Mathematics 2016-07-27 Endre Csaki , Antonia Foldes , Pal Revesz

We investigate hide-and-seek games on complex networks using a random walk framework. Specifically, we investigate the efficiency of various degree-biased random walk search strategies to locate items that are randomly hidden on a subset of…

Physics and Society · Physics 2019-02-20 Shubham Pandey , Reimer Kuehn

A random walk is known as a random process which describes a path including a succession of random steps in the mathematical space. It has increasingly been popular in various disciplines such as mathematics and computer science.…

Social and Information Networks · Computer Science 2020-08-11 Feng Xia , Jiaying Liu , Hansong Nie , Yonghao Fu , Liangtian Wan , Xiangjie Kong

This note presents an approach to studying the iterates of a mapping whose restriction to the complement of a finite set is continuous and open. The main examples to which the approach can be applied are piecewise monotone mappings defined…

Dynamical Systems · Mathematics 2010-11-23 Chris Preston

We study quantum walks on general graphs from the point of view of scattering theory. For a general finite graph we choose two vertices and attach one half line to each. We are interested in walks that proceed from one half line, through…

Quantum Physics · Physics 2009-11-10 Edgar Feldman , Mark Hillery

Random walks as well as diffusions in random media are considered. Methods are developed that allow one to establish large deviation results for both the `quenched' and the `averaged' case.

Probability · Mathematics 2007-05-23 S R S Varadhan

Quantum walks are considered to be quantum counterparts of random walks.They show us impressive probability distributions which are different from those of random walks.That fact has been precisely proved in terms of mathematics and some of…

Quantum Physics · Physics 2016-07-13 Takuya Machida

A lattice-theoretic framework is introduced that permits the study of the conditional independence (CI) implication problem relative to the class of discrete probability measures. Semi-lattices are associated with CI statements and a…

Artificial Intelligence · Computer Science 2014-08-12 Mathias Niepert , Dirk Van Gucht , Marc Gyssens

A lattice-theoretic framework is introduced that permits the study of the conditional independence (CI) implication problem relative to the class of discrete probability measures. Semi-lattices are associated with CI statements and a…

Artificial Intelligence · Computer Science 2008-11-03 Mathias Niepert , Dirk Van Gucht , Marc Gyssens

In this contribution, we augment the metric learning setting by introducing a parametric pseudo-distance, trained jointly with the encoder. Several interpretations are thus drawn for the learned distance-like model's output. We first show…

Machine Learning · Computer Science 2020-08-17 Joao Monteiro , Isabela Albuquerque , Jahangir Alam , R Devon Hjelm , Tiago Falk

A random walk problem with particles on discrete double infinite linear grids is discussed. The model is based on the work of Montroll and others. A probability connected with the problem is given in the form of integrals containing…

Classical Analysis and ODEs · Mathematics 2007-05-23 J. B. Sanders , N. M. Temme

We consider the following problem arising from the study of human problem solving: Let $G$ be a vertex-weighted graph with marked "in" and "out" vertices. Suppose a random walker begins at the in-vertex, steps to neighbors of vertices with…

Combinatorics · Mathematics 2009-05-28 Joshua N. Cooper