English
Related papers

Related papers: Finding cores of random 2-SAT formulae via Poisson…

200 papers

We analyze a method to produce pairs of non independent Poisson processes $M(t),N(t)$ from positively correlated, self-decomposable, exponential renewals. In particular the present paper provides the family of copulas pairing the renewals,…

Probability · Mathematics 2017-01-16 Nicola Cufaro Petroni , Piergiacomo Sabino

We introduce the problem of hidden Hamiltonian cycle recovery, where there is an unknown Hamiltonian cycle in an $n$-vertex complete graph that needs to be inferred from noisy edge measurements. The measurements are independent and…

Discrete Mathematics · Computer Science 2018-04-18 Vivek Bagaria , Jian Ding , David Tse , Yihong Wu , Jiaming Xu

The percolated random geometric graph $G_n(\lambda, p)$ has vertex set given by a Poisson Point Process in the square $[0,\sqrt{n}]^2$, and every pair of vertices at distance at most 1 independently forms an edge with probability $p$. For a…

Probability · Mathematics 2025-09-22 Lyuben Lichev , Bas Lodewijks , Dieter Mitsche , Bruno Schapira

In this paper we introduce "hybrid" Max 2-CSP formulas consisting of "simple clauses", namely conjunctions and disjunctions of pairs of variables, and general 2-variable clauses, which can be any integer-valued functions of pairs of boolean…

Data Structures and Algorithms · Computer Science 2009-06-22 Serge Gaspers , Gregory B. Sorkin

The standard Poisson structure on the rectangular matrix variety M_{m,n}(C) is investigated, via the orbits of symplectic leaves under the action of the maximal torus T of GL_{m+n}(C). These orbits, finite in number, are shown to be smooth…

Quantum Algebra · Mathematics 2007-05-23 K. A. Brown , K. R. Goodearl , M. Yakimov

We generalize the feasible interpolation theorem for semantic derivations from K.(1997) by allowing randomized protocols (protocols in the sense of K.(1997). We also introduce an extension of the monotone circuit model, monotone circuits…

Logic · Mathematics 2018-11-26 Jan Krajicek

We study the counting version of the Boolean satisfiability problem #SAT using the ZH-calculus, a graphical language originally introduced to reason about quantum circuits. Using this, we generalize #SAT to a weighted variant we call…

Computational Complexity · Computer Science 2024-08-13 Tuomas Laakkonen , Konstantinos Meichanetzidis , John van de Wetering

This paper shows that the logarithm of the number of solutions of a random planted $k$-SAT formula concentrates around a deterministic $n$-independent threshold. Specifically, if $F^*_{k}(\alpha,n)$ is a random $k$-SAT formula on $n$…

Probability · Mathematics 2015-05-01 Emmanuel Abbe , Katherine Edwards

This paper presents the following results on sets that are complete for NP. 1. If there is a problem in NP that requires exponential time at almost all lengths, then every many-one NP-complete set is complete under length-increasing…

Computational Complexity · Computer Science 2010-02-03 Xiaoyang Gu , John M. Hitchcock , A. Pavan

We study a quantum algorithm that consists of a simple quantum Markov process, and we analyze its behavior on restricted versions of Quantum 2-SAT. We prove that the algorithm solves this decision problem with high probability for n qubits,…

Quantum Physics · Physics 2016-03-24 Edward Farhi , Shelby Kimmel , Kristan Temme

We introduce the problem of Poisson sampling over joins: compute a sample of the result of a join query by conceptually performing a Bernoulli trial for each join tuple, using a non-uniform and tuple-specific probability. We propose an…

Databases · Computer Science 2026-03-17 Liese Bekkers , Frank Neven , Lorrens Pantelis , Stijn Vansummeren

Given a point set $P$ in the plane, we seek a subset $Q\subseteq P$, whose convex hull gives a smaller and thus simpler representation of the convex hull of $P$. Specifically, let $cost(Q,P)$ denote the Hausdorff distance between the convex…

Computational Geometry · Computer Science 2021-10-05 Georgiy Klimenko , Benjamin Raichel

We revisit a classical crossword filling puzzle which already appeared in Garey\&Jonhson's book. We are given a grid with $n$ vertical and horizontal slots and a dictionary with $m$ words and are asked to place words from the dictionary in…

Computational Complexity · Computer Science 2021-09-24 Laurent Gourvès , Ararat Harutyunyan , Michael Lampis , Nikolaos Melissinos

We describe an algorithm to solve the problem of Boolean CNF-Satisfiability when the input formula is chosen randomly. We build upon the algorithms of Sch{\"{o}}ning 1999 and Dantsin et al.~in 2002. The Sch{\"{o}}ning algorithm works by…

Computational Complexity · Computer Science 2019-03-27 Andrea Lincoln , Adam Yedidia

Let $A(n,m)$ be a graph chosen uniformly at random from the class of all vertex-labelled outerplanar graphs with $n$ vertices and $m$ edges. We consider $A(n,m)$ in the sparse regime when $m=n/2+s$ for $s=o(n)$. We show that with high…

Combinatorics · Mathematics 2020-04-29 Mihyun Kang , Michael Missethan

In this paper we prove discrete to continuum convergence rates for Poisson Learning, a graph-based semi-supervised learning algorithm that is based on solving the graph Poisson equation with a source term consisting of a linear combination…

Analysis of PDEs · Mathematics 2024-07-10 Leon Bungert , Jeff Calder , Max Mihailescu , Kodjo Houssou , Amber Yuan

The feedback particle filter (FPF) is an innovative, control-oriented and resampling-free adaptation of the traditional particle filter (PF). In the FPF, individual particles are regulated via a feedback gain, and the corresponding gain…

Optimization and Control · Mathematics 2026-04-08 Ruoyu Wang , Huimin Miao , Xue Luo

Let $\gamma(t)=(P_1(t),\ldots,P_n(t))$ where $P_i$ is a real polynomial with zero constant term for each $1\leq i\leq n$. We will show the existence of the configuration $\{x,x+\gamma(t)\}$ in sets of positive density $\epsilon$ in…

Classical Analysis and ODEs · Mathematics 2024-10-14 Xuezhi Chen , Changxing Miao

The solution of the Poisson equation is a ubiquitous problem in computational astrophysics. Most notably, the treatment of self-gravitating flows involves the Poisson equation for the gravitational field. In hydrodynamics codes using…

Instrumentation and Methods for Astrophysics · Physics 2019-01-16 Bernhard Müller , Conrad Chan

We obtain a global fractional Calder\'on-Zygmund regularity theory for the fractional Poisson problem. More precisely, for $\Omega \subset \mathbb{R}^N$, $N \geq 2$, a bounded domain with boundary $\partial \Omega$ of class $C^2$, $s \in…

Analysis of PDEs · Mathematics 2023-04-19 Boumediene Abdellaoui , Antonio J. Fernández , Tommaso Leonori , Abdelbadie Younes
‹ Prev 1 4 5 6 7 8 10 Next ›