Approximate Trace Reconstruction from a Single Trace
公知的迹重建问题是从独立的“迹”推断未知源串$x \in \{0,1\}^n$的问题,所述独立的“迹”即已经被$δ$删除信道破坏的$x$的副本,所述$δ$删除信道以概率$δ$独立地删除$x$的每个比特并且连接幸存的比特。目前的文件认为,极端的数据有限的制度,其中只有一个单一的跟踪提供给重建算法。在这种情况下,精确的重建当然是不可能的,问题是源字符串$x$可以近似重建到什么精度。我们给出了一个详细的研究这个问题,提供算法和下限的高,中,低删除率制度在最坏的情况下($x$是任意的)和平均情况下($x$是均匀绘制从$\{0,1\}^n$)模型。在几种情况下,我们建立的下限是由我们提供的计算效率高的算法相匹配。我们强调我们的高删除率制度的结果:粗略地说,他们表明,-有机会获得一个单一的跟踪已经是非常有用的最坏情况下的跟踪重建:一个有效的算法可以执行更准确的重建,给定一个跟踪,甚至只有几个比特长,比它可以没有痕迹。但与此相反,在一般情况下,可以证明访问单个跟踪不是很有用:没有算法,计算效率或其他方面,可以实现显着更高的准确性,给定一个跟踪是$o(n)$位长比它可以没有跟踪。
2022-11-07 cs.DS
Average-Case to (shifted) Worst-Case Reduction for the Trace Reconstruction Problem
{ \em插入-删除通道}将二进制串$x \in\{0, 1\}^n$作为输入,并输出其中一些位已被删除而其他位被随机独立插入的串$\widetilde{x}$。在{ \em轨迹重构问题}中,在同一输入消息$x$上给出插入-删除通道的许多输出(称为{ \em轨迹}),并要求恢复输入消息。Nazarov和Peres(STOC 2017)以及De,O 'Donnell和Servedio(STOC 2017)表明,任何字符串$x$都可以从$\exp(O(n^{1/3}))$轨迹中重建。Holden、Pemantle、Peres和Zhai(COLT 2018)将用于证明该上限的技术应用于样本复杂度为$\exp(O(\log^{1/3} n))$的平均情况轨迹重建算法。然而,目前尚不清楚如何更普遍地应用他们的技术,特别是Chase(STOC 2021)针对删除通道显示的最近最差情况的$\exp(\widetilde{O}(n^{1/5}))$上限。我们证明了一个一般的减少,从平均情况下,以较小的情况下,类似的最坏情况下的问题。利用这种减少和推广的大通的界限,我们构造了一个改进的平均情况下的算法与样本复杂度为$\exp(\widetilde{O}(\log^{1/5} n))$。此外,我们表明,大通的上限持有的插入-删除通道以及。
2022-08-12 cs.DS cs.IT math.IT
Circular Trace Reconstruction
轨迹重构是从$x$的独立轨迹中学习未知串$x$的问题,其中轨迹是通过以一定删除概率$q$独立删除$x$的每个比特来生成的。在本文中,我们开始研究的圆形轨迹重建,其中未知字符串$x$是圆形的,轨迹现在旋转的随机循环移位。迹线重建与许多研究DNA的计算生物学问题有关,这也是这个问题的主要动机,因为已知许多类型的DNA是圆形的。我们的主要结果如下。首先,我们证明了,我们可以重建任意长度$n$循环串使用$\exp\big(\tilde{O}(n^{1/3})\big)$迹为任何常数删除概率$q$,只要$n$是素数或两个素数的乘积。对于这种形式的$n$,这几乎与本文最初发布时$\exp\big(O(n^{1/3})\big)$用于标准跟踪重构的最佳已知界限相匹配。然而,我们注意到Chase最近改进了绑定到$\exp\big(\tilde{O}(n^{1/5})\big)$的标准迹线重建。接下来,我们证明了,我们可以重建随机循环字符串与高概率使用$n^{O(1)}$迹为任何常数删除概率$q$。最后,我们证明了一个下界的$\tildeΩ(n^3)$迹任意圆字符串,这是大于最好的已知下界的$\tildeΩ(n^{3/2})$在标准的跟踪重建。
2020-12-13 cs.DS math.NT
The trace reconstruction problem for spider graphs
研究了蜘蛛图的迹重构问题。设$n$为蜘蛛的节点数,$d$为每条腿的长度,并假设我们从删除通道中得到蜘蛛的独立轨迹,在该删除通道中,每个非根结点以概率$q$被删除。这是理论计算机科学中弦迹重建问题的自然推广,对应于蜘蛛有一条腿的特殊情况。在$d\ge \log_{1/q}(n)$的区域中,问题可以简化为普通字符串迹重构问题。因此,我们研究了更有趣的制度$d\le \log_{1/q}(n)$,其中整个腿的蜘蛛删除不可忽略的概率。我们描述了一种算法,重建蜘蛛与高概率使用$\exp\left(\mathcal{O}\left(\frac{(nq^d)^{1/3}}{d^{1/3}}(\log n)^{2/3}\right)\right)$痕迹。我们的算法适用于所有删除概率$q\in(0,1)$。
2022-09-16 cs.DS
Near-Optimal Trace Reconstruction for Mildly Separated Strings
针对迹重构问题中常数删除概率下多项式数量迹求解的开放问题,提出当字符串为轻度分离(任意两1间0数≥polylog$n$)且$δ$足够小时,可用$O(n\text{log}n)$个迹在多项式时间内解决。
2024-11-27 cs.DS
Near-Optimal Average-Case Approximate Trace Reconstruction from Few Traces
在标准轨迹重建问题中,目标是\emph{exactly}从独立的“轨迹”重建未知的源字符串$\mathsf{x} \in \{0,1\}^n$,这些轨迹是已被$δ$损坏的$\mathsf{x}$的副本-删除通道,该通道以概率$δ$独立删除$\mathsf{x}$的每个比特,并连接幸存的比特。我们研究了\emph{approximate}轨迹重建问题,其目标只是获得$\mathsf{x}$的高精度近似,而不是精确的重建。我们给出了一个有效的算法,和近匹配的下限,近似重建的随机源串$\mathsf{x} \in \{0,1\}^n$从几个痕迹。我们的主要算法结果是一个多项式时间算法具有以下性质:对于任何删除率$0 < δ< 1$(这可能取决于$n$),几乎每个源字符串$\mathsf{x} \in \{0,1\}^n$,给定任何数量的$M \leq Θ(1/δ)$的痕迹从$\mathrm{Del}_δ(\mathsf{x})$,该算法构建一个假设字符串$\widehat{\mathsf{x}}$,具有编辑距离最多$n \cdot (δM)^{Ω(M)}$从$\mathsf{x}$。我们还证明了一个接近匹配的信息理论的下限显示,给定$M \leq Θ(1/δ)$跟踪从$\mathrm{Del}_δ(\mathsf{x})$的随机$n$位串$\mathsf{x}$,最小可能的预期编辑距离,…
2021-08-25 cs.DM cs.DS
Substring Density Estimation from Traces
在轨迹重构问题中,人们试图从轨迹的集合中重构二进制串$s$,每个轨迹是通过将$s$传递通过删除通道而获得的。已知$\exp(\tilde O(n^{1/5}))$迹线足以以高概率重构任何长度- $n$串。我们考虑一个变种的跟踪重建问题,其目标是恢复一个“密度图”,表明整个$s$的每个长度$k$子串的位置。我们表明,$ε^{-2}\cdot \text{poly}(n)$痕迹足以恢复的密度图与错误最多$ε$。结果,当被限制到其最小“密度图距离”至少为$1/\text{poly}(n)$的一组源串时,可以用多项式多个迹线来解决迹线重构问题。
2022-10-19 cs.DS cs.IT math.IT
Polynomial-time trace reconstruction in the low deletion rate regime
在\emph{trace reconstruction problem}中,通过概率\emph{deletion channel}发送未知源串$x \in \{0,1\}^n$,概率\emph{deletion channel}以某个固定概率$δ$独立地删除每个比特,并连接幸存的比特,导致$x$的\emph{trace}。问题是重建$x$访问独立的痕迹。任意(最坏情况)字符串的轨迹重建是一个具有挑战性的问题,当前最先进的多$(n)$ -时间算法是Batu等人\cite{BKKM04}的2004年算法。只要删除率$δ$对某些$\varepsilon > 0$满足$δ\leq n^{-(1/2 + \varepsilon)}$,该算法可以在polyPDMATHABMS时间内重建任意源串$x \in \{0,1\}^n$.本文改进了\cite{BKKM04}的结果,给出了一个任意删除率$δ\leq n^{-(1/3 + \varepsilon)}$的多$(n)$ -时间轨迹重建算法。我们的算法的工作原理是通过交替的基于重复的程序,我们有效地重建部分的源字符串是不是“高度重复”,与一个新的程序,有效地确定高度重复的子字的源字符串的长度。
2020-12-08 cs.DS
Approximate Trace Reconstruction via Median String (in Average-Case)
我们考虑一个\emph{approximate}版本的跟踪重建问题,其中的目标是恢复一个未知的字符串$s\in\{0,1\}^n$从$m$轨迹(每个轨迹是独立产生的概率插入-删除通道通过传递$s$率$p$)。我们提出了一个确定性的平均情况下的模型,$s$是随机的,只使用\emph{three}痕迹的近线性时间算法。它在接近线性的时间$\tilde O(n)$中运行,并以高概率报告$ε=\tilde O(p)$的$s$与$O(εp n)$之间的编辑距离内的字符串,这大大提高了$O(pn)$的直接边界。从技术上讲,我们的算法计算三个输入轨迹的$(1+ε)$近似中值。为了证明其正确性,我们的概率分析表明,近似的中位数确实接近未知的$s$。为了实现接近线性的时间界限,我们必须绕过众所周知的动态规划算法,该算法计算时间上的最佳中值$O(n^3)$。
2021-07-20 cs.DS
Tree trace reconstruction using subtraces
树迹重构的目的是学习树的二进制节点标签,给定树的独立样本通过适当定义的删除通道。在最近的工作中,Davies、Rácz和Rashtchian使用组合方法证明了$\exp(\mathcal{O}(k \log_{k} n))$样本足以重建一个完整的$k$ -ary树,其中$n$节点具有高概率。我们提供了另一种证明这一结果,这使我们能够推广到更广泛的一类树拓扑结构和删除模型。在我们的证明中,我们引入了一个subtrace的概念,这使我们能够连接和推广最近的平均为基础的复杂的分析算法的字符串轨迹重建。
2021-02-02 cs.DS math.CO math.PR
Trace reconstruction from local statistical queries
本文研究痕迹重建问题中局部统计查询算法的能力与局限,分别针对最坏情况和平均情况建立了几乎匹配的上下界,揭示了局部性、容差与可重建性之间的本质权衡。
2024-07-15 cs.DS
The Quasi-probability Method and Applications for Trace Reconstruction
本文提出一种基于量子误差缓解中拟概率方法的经典蒙特卡洛 k-mer 估计算法,解决了高删除概率下及插入、删除、位翻转信道组合的迹重构问题,使 Chase 算法能直接应用于更广泛的信道。
2024-10-15 cs.DS cs.IT math.IT
New Bounds for Circular Trace Reconstruction
研究提出圆迹重建问题的新下界,并展示通过傅里叶技术可高效重建稀疏字符串,揭示了对非常数稀疏字符串的算法需求。
2025-12-02 cs.DS
Optimal mean-based algorithms for trace reconstruction
Northwestern University(西北大学);Carnegie Mellon University(卡内基梅隆大学);Columbia University(哥伦比亚大学)
在(删除通道)轨迹重构问题中,存在未知的$n$位源串$x$。一种算法被赋予访问$x$的独立迹的权限,其中通过以概率~ $δ$独立地删除~ $x$的每个比特来形成迹。该算法的目标是准确地恢复~ $x$(具有高概率),同时最小化样本(跟踪数)和运行时间。以前,最著名的轨迹重建问题的算法是由Holenstein等人提出的。它使用任何固定$0 < δ< 1$的$\exp(\tilde{O}(n^{1/2}))$样本和运行时间。它也是我们所说的“基于均值的算法”,这意味着它只使用迹线的单个位的经验均值。霍伦斯坦~等人。~也给出了一个下界,表明任何基于均值的算法必须至少使用$n^{\tildeΩ(\log n)}$样本。在本文中,我们改进了这两个结果,获得匹配的上界和下界的均值为基础的跟踪重建。对于任何恒定的删除率$0 < δ< 1$,我们给出了一个基于均值的算法,使用$\exp(O(n^{1/3}))$时间和痕迹,我们还证明了任何基于均值的算法必须使用至少$\exp(Ω(n^{1/3}))$痕迹。事实上,我们甚至得到了$δ$子常数和$ρ:= 1-δ$子常数的匹配上界和下界:当$(\log^3 n)/n \ll δ\leq 1/2$时,界是$\exp(-Θ(δn)^{1/3})$,当$1/\sqrt{n} \ll ρ\leq 1/2$时,界是$\exp(-Θ(n/ρ)^{1/3})$。我们的证…
2016-12-09 cs.CC cs.DS cs.LG
Reconstructing Trees from Traces
我们研究的问题,学习一个节点标记的树从一个适当定义的删除通道的独立的痕迹。这个问题,树迹重建,推广字符串迹重建,对应于树是一个路径。对于许多类的树,包括完整的树和蜘蛛,我们提供的算法,重建的标签只使用一个多项式数量的痕迹。这与已知的弦迹重建结果形成鲜明对比,弦迹重建需要指数级的多个迹线,并且其中一个中心开放问题是确定多项式数目的迹线是否足够。我们的技术结合了新颖的组合和复杂的分析方法。
2020-09-18 cs.CC cs.DS math.PR
An Instance-Based Approach to the Trace Reconstruction Problem
该研究提出迹重构问题的基于实例研究框架,定义莱文斯坦难度刻画实例难度,推导其下界并证明大类字符串下迹数量需随长度指数增长,还为交替长游程二元字符串设计了匹配该难度缩放的重构算法。
2024-11-04 cs.DS cs.IT math.IT
Polynomial-time trace reconstruction in the smoothed complexity model
在\emph{trace reconstruction problem}中,通过概率\emph{deletion channel}发送未知源串$x \in \{0,1\}^n$,概率\emph{deletion channel}以概率$δ$独立地删除每个比特,并连接幸存的比特,产生$x$的\emph{trace}。问题是重建$x$给定独立的痕迹。近年来,在$x$可能是$\{0,1\}^n$ \cite{DOS17,NazarovPeres17,HHP18,HL18,Chase19}中的任意字符串的最坏情况设置和从$\{0,1\}^n$ \cite{PeresZhai17,HPP18,HL18,Chase19}均匀随机抽取$x$的平均情况设置中,这个问题都受到了广泛关注。本文研究了在\emph{smoothed analysis}环境下的迹重构问题,即从$\{0,1\}^n$中任意选取一个“最坏情况”的字符串$x^{\worst}$,然后用概率为$σ$的均匀随机位独立地替换每个坐标,形成$x^{\worst}$的扰动版本$\bx$.我们的主要结果是一个算法,该算法对任意常数扰动率$0<σ< 1$和任意常数删除率$0 < δ< 1$,使用$\poly(n)$的运行时间和迹,并成功地以高概率重建串$\bx$。这与问题的最坏情况版本形成对比,对于最坏情况版本,$\text{exp}(O(n…
2020-08-27 cs.DS
Graph Reconstruction from Noisy Random Subgraphs
该研究探讨从含噪随机子图重建无向图的问题,分析了两种噪声模型下随机图的高概率重建所需迹的数量下界,并证明任意图重建需指数级数量的迹。
2025-07-31 cs.DS cs.IT math.IT
Beyond trace reconstruction: Population recovery from the deletion channel
\emph{Population recovery}是学习未知的$n$位串集合上的未知分布的问题,给定对来自分布的独立抽取的访问,所述独立抽取已经根据一些噪声信道被独立地破坏。最近的工作已经深入研究了这些问题的位翻转和擦除噪声信道。我们在\emph{deletion channel}下开始研究人口恢复,其中每个比特都是独立的\emph{deleted}与一些固定的概率和幸存的比特连接和传输。这是比比特翻转噪声或擦除噪声更具挑战性的噪声模型;实际上,即使是种群大小为1(对应于单个字符串上支持的平凡分布)的最简单的情况也对应于\emph{trace reconstruction}问题,这是一个最近受到广泛关注的具有挑战性的问题(参见例如\cite{DOS17,NP17,PZ17,HPP18,HHP18})。给出了在删除信道下,当种群规模为某个$\ell>1$时种群恢复的算法和下界。作为我们的主要样本的复杂性上限,我们表明,对于任何$\ell=o(\log n/\log \log n)$,人口的$\ell$字符串从$\{0,1\}^n$可以学习删除信道噪声下使用$\smash{2^{n^{1/2+o(1)}}}$样本。在下限侧,我们表明,$n^{Ω(\ell)}$样本需要进行人口恢复删除通道下,所有$\ell \leq n^{1/2-ε}$。我们的上界是通过一个强大的多元推广的多项式为基…
2019-04-11 cs.DS
Reconstructing Arbitrary Trees from Traces in the Tree Edit Distance Model
在本文中,我们考虑的问题,重建树的痕迹在树编辑距离模型。Davies等人(2019)的先前工作分析了重建标记树的特殊情况。在这项工作中,我们显着扩大我们对这个问题的理解,在任意树的情况下,给出一般的结果。即,我们给出:当树拓扑已知时,从树迹重建问题到更经典的字符串重建问题的简化,学习任意树拓扑的下界,以及使用Nazarov和Peres(2017)的技术学习任何树的拓扑的通用算法。最后,我们讨论了为什么任意树需要指数许多样本下左传播模型。
2022-01-13 cs.CC cs.DS math.PR