Average-case reconstruction for the deletion channel: subpolynomially many traces suffice
删除通道将位串$\mathbf{x} \in \{0,1\}^n$作为输入,并且以概率$q$独立地删除每个位,从而产生较短的串。轨迹重建问题是从应用于$\mathbf{x}$的删除通道的许多独立输出(称为“轨迹”)中恢复未知字符串$\mathbf{x}$。我们表明,如果$\mathbf{x}$是均匀随机和$q < 1/2$,然后$e^{O(\log^{1/2} n)}$痕迹足以重建$\mathbf{x}$具有高概率。Holenstein-Mitzenmacher-Panigrahy-Wieder在2008年建立的先前最佳界限使用$n^{O(1)}$迹线,并且仅适用于小于较小阈值的$q$(似乎需要$q < 0.07$)。我们的算法结合了几个想法:1)一个对齐方案的“greenstick”拟合删除通道的输出作为输入的子序列; 2)一个版本的“锚定”的想法使用的Holenstein-Mitzenmacher-Panigrahy-Wieder;和3)复杂的分析技术,从最近的工作Nazarov-Peres和De-O 'Donnell-Servedio。
cs.DScs.ITmath.IT
Subpolynomial trace reconstruction for random strings and arbitrary deletion probability
插入-删除通道将比特串${\bf x}\in\{0,1\}^{n}$作为输入,并且输出其中比特已经被随机地独立地删除和插入的串。轨迹重建问题是从应用于$\bf x$的插入-删除通道的许多独立输出(称为“轨迹”)恢复$\bf x$。我们表明,如果$\bf x$随机均匀选择,那么$\exp(O(\log^{1/3} n))$迹线足以以高概率重建$\bf x$。对于具有删除概率$q < 1/2$的删除通道,较早的上界是$\exp(O(\log^{1/2} n))$。之前未分析过$q\geq 1/2$的情况或允许插入的情况,因此早期的上界与最差情况字符串相同,即,$\exp(O( n^{1/3}))$。我们还表明,我们的重建算法运行在$n^{1+o(1)}$时间。在我们的证明中的一个关键成分是一个微妙的两步对齐过程,我们估计在每个轨迹对应于一个给定的位$\bf x$的位置。通过将字符串视为随机游动并分别比较与输入字符串和轨迹相关联的游动中的增量来完成对齐。
cs.DScs.ITmath.IT
Lower bounds for trace reconstruction
在迹重建问题中,通过删除通道发送未知位串${\bf x}\in\{0,1 \}^n$,其中每个位以某种概率$q\in(0,1)$独立地被删除,从而产生收缩的串$\widetilde{\bf x}$。有多少个ID需要$\widetilde{\bf x}$样本以高概率重建$\bf x$?我们证明了存在${\bf x},{\bf y} \in\{0,1 \}^n$,使得对于某个绝对常数$c$,至少需要$c\, n^{5/4}/\sqrt{\log n}$迹来区分${\bf x}$和${\bf y}$,从而改进了以前的$c\,n$下界.此外,我们的结果提高了以前已知的下限重建随机字符串从$c \log^2 n$到$c \log^{9/4}n/\sqrt{\log \log n} $。
cs.CCcs.ITmath.IT
Trace reconstruction with $\exp( O( n^{1/3} ) )$ samples
在迹重建问题中,通过删除通道观察到未知位串$x \in \{0,1\}^n$,该删除通道以某个恒定概率$q$删除$x$的每个位,从而产生收缩串$\widetilde{x}$。需要多少个独立的$\widetilde{x}$拷贝才能以高概率重建$x$?在此之前,Holenstein、Mitzenmacher、Panigrahy和Wieder(2008)提出的最佳上界是$\exp(\widetilde{O}(n^{1/2}))$。我们改进了这个绑定到$\exp(O(n^{1/3}))$使用的输出中的各个位的统计数据,并表明,这个绑定是尖锐的限制模型,这是唯一使用的信息。我们的方法,使用基本的复分析,也可以处理插入。
cs.ITmath.ITmath.PR
Tree trace reconstruction using subtraces
树迹重构的目的是学习树的二进制节点标签,给定树的独立样本通过适当定义的删除通道。在最近的工作中,Davies、Rácz和Rashtchian使用组合方法证明了$\exp(\mathcal{O}(k \log_{k} n))$样本足以重建一个完整的$k$ -ary树,其中$n$节点具有高概率。我们提供了另一种证明这一结果,这使我们能够推广到更广泛的一类树拓扑结构和删除模型。在我们的证明中,我们引入了一个subtrace的概念,这使我们能够连接和推广最近的平均为基础的复杂的分析算法的字符串轨迹重建。
cs.DSmath.COmath.PR
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))$。此外,我们表明,大通的上限持有的插入-删除通道以及。
cs.DScs.ITmath.IT
Trace reconstruction with varying deletion probabilities
在迹重建问题中,通过删除通道观察未知串${\bf x}=(x_0,\dots,x_{n-1})\in\{0,1,...,m-1\}^n$,该删除通道以一定概率删除每个$x_k$,产生收缩串$\widetilde{\bf X}$。早期的工作已经证明,如果每个$x_k$以相同的概率$q\in[0,1)$被删除,则压缩字符串$\widetilde{\bf X}$的$\exp(O(n^{1/3}))$独立副本足以以高概率重建$\bf x$。我们扩展这个上界的设置删除概率不同,假设一定的规律性条件。首先,我们考虑$x_k$以某个已知概率$q_k$被删除的情况。然后我们考虑每个字母$ζ\in \{0,1,...,m-1\}$与某个可能未知的删除概率$q_ζ$相关联的情况。
cs.ITmath.ITmath.PR
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)$的一组源串时,可以用多项式多个迹线来解决迹线重构问题。
cs.DScs.ITmath.IT
Limitations of Mean-Based Algorithms for Trace Reconstruction at Small Distance
迹重建考虑了给定多个独立“迹”,即,通过以一定概率$p$随机且独立地删除$x$的每个符号而获得的$x$的序列。恢复长度为$n$的字符串所需的迹线数量的信息论极限仍然是未知的。该限制基本上与确定所需的跟踪数相同,给定字符串$x$和$y$以及其中之一的跟踪,哪个字符串是源。研究最多的一类算法的最坏情况下的版本的问题是“均值为基础的”算法。这是一类受限的分类器,仅使用给定样本上每个坐标的平均值。在这项工作中,我们研究了基于平均值的算法在小汉明或编辑距离字符串的限制。我们表明,一方面,区分字符串附近的汉明距离是“容易”的,这样的observers。另一方面,我们表明,区分字符串附近的编辑距离是“硬”的平均值为基础的算法。一路上,我们还描述了一个连接到著名的Prouhet-Tarry-Escott(PTE)问题,这表明了一个障碍,找到明确的难以区分的字符串:即这样的字符串将意味着明确的短期解决方案的PTE问题,一个众所周知的困难问题,在数论。此外,我们表明,反过来也是正确的,因此,寻找显式解决方案的PTE问题是等价的问题,找到明确的字符串是难以区分的平均值为基础的算法。我们的技术依赖于复分析参数,涉及仔细的三角估计,和代数技术,包括应用笛卡尔的规则的符号多项式的实数。
cs.ITmath.COmath.IT
Reconstructing Trees from Traces
我们研究的问题,学习一个节点标记的树从一个适当定义的删除通道的独立的痕迹。这个问题,树迹重建,推广字符串迹重建,对应于树是一个路径。对于许多类的树,包括完整的树和蜘蛛,我们提供的算法,重建的标签只使用一个多项式数量的痕迹。这与已知的弦迹重建结果形成鲜明对比,弦迹重建需要指数级的多个迹线,并且其中一个中心开放问题是确定多项式数目的迹线是否足够。我们的技术结合了新颖的组合和复杂的分析方法。
cs.CCcs.DSmath.PR
An Instance-Based Approach to the Trace Reconstruction Problem
该研究提出迹重构问题的基于实例研究框架,定义莱文斯坦难度刻画实例难度,推导其下界并证明大类字符串下迹数量需随长度指数增长,还为交替长游程二元字符串设计了匹配该难度缩放的重构算法。
cs.DScs.ITmath.IT
Reconstructing Arbitrary Trees from Traces in the Tree Edit Distance Model
在本文中,我们考虑的问题,重建树的痕迹在树编辑距离模型。Davies等人(2019)的先前工作分析了重建标记树的特殊情况。在这项工作中,我们显着扩大我们对这个问题的理解,在任意树的情况下,给出一般的结果。即,我们给出:当树拓扑已知时,从树迹重建问题到更经典的字符串重建问题的简化,学习任意树拓扑的下界,以及使用Nazarov和Peres(2017)的技术学习任何树的拓扑的通用算法。最后,我们讨论了为什么任意树需要指数许多样本下左传播模型。
cs.CCcs.DSmath.PR