Treewidth of grid subsets
设Q_n是n × n × n立方图,其组成单位立方体的对角线(包括面对角线)均不减。假设V(Q_n)的子集S将立方体的左侧与右侧分开。我们证明了S诱导出树宽至少为n/sqrt{18}-1的子图。本文推广了这一观点,证明了Q_n的顶点集不能划分为两部分,每一部分都导出一个有界树宽的子图。
2015-12-20 math.CO
Characterisation and classification of signatures of spanning trees of the $n$-cube
$n$立方体$Q_n$的生成树$T$的签名是$n$元组$\mathrm{sig}(T)=(a_1,a_2,\dots,a_n)$,使得$a_i$是$T$在$i$第n方向上的边的数目.我们将$n$ -元组作为生成树的签名,并将签名$\mathcal{S}$分类为可约或不可约,根据是否存在$[n]$的适当非空子集$R$,使得将$\mathcal{S}$限制到$R$中的索引给出$Q_{|R|}$的签名。如果是这样,我们还说$\mathcal{S}$和$T$比$R$减少。我们表明,reductionplace严格的结构约束$T$。特别地,如果$T$在大小为$r$的集合上进行约简,则$T$分解为$Q_{n-r}$的$2^r$生成树以及$Q_n$与底层简单图$Q_r$的收缩的生成树的总和。此外,这种分解是通过边滑动图的同构来实现的,其中$Q_n$的边滑动图是$Q_n$的生成树上的图$\mathcal{E}(Q_n)$,当且仅当它们通过边滑动相关时,两棵树之间具有边。边滑动是对$n$立方体的生成树的操作,通过将生成树的边“滑动”过立方体的$2$维面以获得第二生成树来给出。生成树的签名在边滑动下是不变的,因此由具有签名$\mathcal{S}$的树导出的$\mathcal{E}(Q_n)$的子图$\mathcal{E}(\mathcal{S})$是$\mathcal{E}(Q_n)$的一个或多个连…
2019-10-03 math.CO
A cube-root phase transition in tree-child networks and the enumeration threshold for galled networks
National Chengchi University(国立政治大学);National University of Singapore(新加坡国立大学)
该研究证明树-子网络结构在n^(1/3)处发生立方根相变,且gall网络的渐近计数公式仅在k=o(n^(1/3))范围内有效,与树-子网络等的最优适用范围形成对比。
2026-08-24 math.CO
Unfoldings of the Cube
沿着立方体的一些边将其切片并将其展开到平面中,会产生多少不同的连接形状?在本文中,我们通过将立方体视为曲面和顶点与边的图来回答这个问题。这种双重的观点邀请几何,代数和组合技术的相互作用。最初的观察是,一个切割模式,展开的立方体表面对应于一个生成树的立方体图。矩阵树定理可以用来计算一个连通图中生成树的个数,从而可以计算出立方体展开的方式。由于两个或多个生成树可能产生相同的展开形状,伯恩赛德引理需要计算不一致展开的数量。这样的计数可能是一项艰巨的任务。在这里,我们采用了初等代数和几何技术的组合,使问题的范围内的简单的手计算。
2016-04-18 math.CO math.GR
Resonance graphs that are daisy cubes: from hypercubes to independent sets via resonant sets
Faculty of Mechanical Engineering, University of Ljubljana(卢布尔雅那大学机械工程学院);Institute of Mathematics, Physics and Mechanics, Ljubljana(卢布尔雅那大学数学物理力学研究所);Department of Mathematics, Penn State University Beaver Campus(宾夕法尼亚州立大学比弗分校数学系);Faculty of Natural Sciences and Mathematics, University of Maribor(马里博尔大学自然科学与数学学院);Faculty of Chemistry and Chemical Engineering, University of Maribor(马里博尔大学化学与化学工程学院)
本文研究了平面双色图的共振图与最大超立方体及共振集之间的双射关系,并探讨了共振图成为郁金香立方体的条件,以及具有有限最大独立集的树的特性。
2026-03-25 math.CO
On embeddings of CAT(0) cube complexes into products of trees
Laboratoire d’Informatique Fondamentale, Université d’Aix-Marseille(马赛大学基础信息学实验室);Department of Mathematics University of Michigan(密歇根大学数学系)
本文证明了二维CAT(0)立方复形的最大度数Δ的接触图可被最多MΔ^26种颜色着色,从而证明该复形可嵌入到有限个树的积中,同时给出了无法嵌入到有限树积中的五维立方复形的例子。
2026-04-22 math.CO math.MG
On Cube Tilings of Tori and Classification of Perfect Codes in the Maximum Metric
我们描述了n维q元环面的奇长立方镶嵌,其中包括R^n的q周期整数格镶嵌。在编码理论的语言中,这些平铺对应于关于最大度量的完美码。一个完整的表征的二维分蘖,并在线性的情况下,一般矩阵,同构和同构类的描述。导出了几种由较小维数的码或通孔截面的码构造完美码的方法。本文引入了一种特殊类型的矩阵(完美矩阵),它对应于任意维线性完美码的生成矩阵。对于最大完美码,参数化得到允许描述同构类这样的代码。我们还探讨了什么样的同构类的阿贝尔群可以表示的q元n维完美码的基数N。
2016-01-14 math.CO
An explicit construction of two completely independent spanning trees in the four-dimensional dual-cube
该研究解决了四维对偶立方F₄是否存在两棵完全独立生成树的问题,通过显式构造完成了Fₙ存在该树的n≥4的分类,还得出了相关规则的不可行性结果。
2026-08-25 cs.DM math.CO
Beyond trees: the metric geometry of subsets of weighted Hamming cubes
University of New South Wales(新南威尔士大学);Carnegie Mellon University in Qatar(卡内基梅隆大学卡塔尔分校)
本文研究加权汉明立方体子集的度量几何,揭示其关联几何量间的意外关系,推导距离矩阵行列式等公式,拓展此前的树与标准汉明立方体相关结果,并刻画其中的非平凡1-多边形等式。
2024-09-17 math.CO math.FA math.MG
Folding polyominoes into cubes
本文研究多联骨牌折叠成立方体的判定问题,提出一种基于面映射与解链识别的算法,并完整刻画了树形多联骨牌及若干带孔矩形多联骨牌的可折叠性。
2024-02-22 cs.CG math.CO
A Method for Computing the Edge-Hyper-Wiener Index of Partial Cubes and an Algorithm for Benzenoid Systems
连通图$G$的边超Wiener指标定义为$WW_e(G) = \frac{1}{2}\sum_{\lbrace e,f\rbrace \subseteq E(G)}d(e,f) + \frac{1}{2}\sum_{\lbrace e,f\rbrace \subseteq E(G)}d(e,f)^2$。部分立方体是一类有着广泛应用的图,本文提出了一种计算其边超Wiener指数的方法。它还显示了如何该方法可以应用到树。此外,得到了计算苯型体系的边超Wiener指数的算法。最后,该算法被用来纠正已知的闭公式的边Wiener指数和边超Wiener指数的线性多并苯。
2016-09-15 math.CO
The Borsuk Problem for Subsets of the Vertices of the 10-Dimensional Boolean Cube
本文证明Borsuk猜想对10维布尔立方体顶点子集成立,通过开发启发式方法缩减搜索树并利用SAT求解器kissat剪枝,在合理时间内完成了高复杂度的计算验证。
2025-04-01 math.CO
There are no finite partial cubes of girth more than 6 and minimum degree at least 3
部分立方体是可等距嵌入超立方体的图。我们分析了部分立方体中的等距循环的行为,并得出每个围长大于6的部分立方体的顶点的度必须小于3。作为一个直接推论,我们得到了每一个围长大于6的正则部分立方都是偶圈。一路上,我们证明了每个部分立方体$G$周长大于6是树区图,因此$2n(G)-m(G)-i(G)+ce(G)=2$成立,其中$i(G)$是等距维数的$G$和$ce(G)$其凸过剩。
2016-07-21 cs.DM math.CO
Metallic cubes
本文研究推广斐波那契立方体和佩尔图的双参数图族,证明其为超立方体的诱导子图并给出规范分解,计算度量不变量和度分布,建立哈密顿性质,为潜在应用奠定基础。
2023-07-26 math.CO
Horadam cubes
本文提出并研究了一个新的三参数图族 Horadam 立方体,其顶点数满足 Horadam 递推,并证明了它保留 Fibonacci 和 metallic 立方体的许多良好性质,同时分析了其分解、度量、计数性质及 Hamiltonian 路径与圈的存在性。
2024-10-04 math.CO
Probabilistic estimates of the diameters of the Rubik's Cube groups
本文利用概率论中修改版优惠券收集者问题估计魔方群直径,验证了2×2×2和3×3×3魔方在四分之一转度量下的已知直径,并预测4×4×4和5×5×5魔方的直径分别为48(41)和68(58),同时给出直径的近似公式。
2024-10-01 cs.DM cs.DS math.CO
On the structure of cube tiling codes
令$S$是任意对象的集合,令$S^d=\{v_1...v_d\colon v_i\in S\}$。多盒码是一个集合$V\subset S^d$,它具有这样的性质,即对于每两个字$v,w\in V$,有一个$i\in [d]$和$v_i'=w_i$,其中$S$的置换$s\mapsto s'$使得$s''=(s')'=s$和$s'\neq s$。如果是$|V|=2^d$,则$V$称为立方体平铺代码。立方体平铺代码确定$2$-$\mathbb{R}^d$的周期性立方体平铺,或者等效地,通过单位立方体的平移以及$r$ -最大度量中的$\mathbb{Z}^d_{4r+2}$中的完美代码来确定平坦环面$\mathbb{T}^d=\{(x_1,\ldots ,x_d)({\rm mod} 2):(x_1,\ldots ,x_d)\in \mathbb{R}^d\}$的平铺。根据结构化结果,列举了$d=4$的立方体镶嵌代码。计算出在4维上有27,385个非同构的立方体镶嵌码,这些码的总数等于17,794,836,080,455,680。此外,还给出了从立方体镶嵌代码传递到$d\leq 5$维度的立方体镶嵌代码的一些过程。
2018-05-20 math.CO
Discrete length-volume inequalities and lower volume bounds in metric spaces
W. Derrick确保任何黎曼立方体$([0,1]^n,g)$的体积由相对余维1面之间的距离的乘积限定。本文利用度量空间中的一个体积下界问题,建立了立方体$[0,1]^n$的加权开覆盖的离散Derrick离散模拟.我们的主要定理推广了作者以前的一个结果,该结果给出了Derrick不等式的组合形式,并用于双曲群的边界分析。作为应用,我们回答了Y的一个问题. Burago和V. Zalgaller关于单位立方体上伪度量的长度-体积不等式。
2016-02-22 math.CO math.MG
Affine and Projective Tree Metric Theorems
树度量定理提供了一个组合的四点条件,刻画了两两相容分裂系统的相异度映射。一个类似的(但较弱的)四点条件表征来自循环分裂系统(卡尔曼森度量)的相异度映射。树度量定理最早是在遗传学的背景下发现的,并形成了许多树重建算法的基础,而卡尔曼森度量最早是由计算机科学家考虑的,并且值得注意的是,它们是一类非平凡的度量,流动推销员问题是易处理的。我们提出了一个统一的框架,这些定理的组合结构的基础上,用于图平面性测试。这些是(投影)PC-树,以及它们的仿射类似物PQ-树。在投影的情况下,我们推广了一些概念,从聚类理论,包括层次结构,金字塔,超度量和罗宾逊矩阵,和定理,它们之间的关系。与树度量和超度量一样,PC树和PQ树之间的联系是通过Gromov乘积建立的。
2011-10-20 math.CO
Cop numbers for subclasses of partial cubes
School of Mathematics and Statistics, Gansu Center for Applied Mathematics, Lanzhou University(兰州大学数学与统计学院,甘肃省应用数学中心)
该研究针对部分立方体子类,改进了中位数图的警察数上界,建立了单纯复形图警察数的上下界,并确定了二分轮图等特殊单纯复形图的警察数精确值。
2026-08-27 math.CO
Reinterpreting the Middle-Levels Theorem via Natural Enumeration of Ordered Trees
本文通过构造中层图的二面体商图,将哈密顿圈存在性证明重新解释为对阶为 k+1、大小为 k 的有序有根树的自然枚举,从而为中层定理提供了新的组合视角。
2024-08-10 math.CO
Two kinds of generalized connectivity of dual cubes
令$S\subseteq V(G)$和$κ_{G}(S)$表示$G$中边不相交树$T_{1}, T_{2}, \cdots, T_{k}$的最大数目$k$,使得对于任何$i, j \in \{1, 2, \cdots, k\}$和$i\neq j$,$V(T_{i})\bigcap V(T_{j})=S$。对于具有$2\leq r\leq n$的整数$r$,图$G$的{ \em广义$r$ -连通度}定义为$κ_{r}(G)= min\{κ_{G}(S)|S\subseteq V(G)$和$|S|=r\}$。不完全图$G$的$r$ -分量连通度$cκ_{r}(G)$是删除其导致至少具有$r$分量的图的顶点的最小数目。这两个参数都是传统连通性的推广。除了超立方体和完全二部图之外,几乎所有已知的PDMATHBNA都是关于PDMATHBNB的。本文重点研究了双立方体$D_{n}$的$κ_{4}(D_{n})$。我们首先表明,$κ_{4}(D_{n})=n-1$为$n\geq 4$。作为推论,我们得到了$n\geq 4$的$κ_{3}(D_{n})=n-1$。此外,我们表明,$cκ_{r+1}(D_{n})=rn-\frac{r(r+1)}{2}+1$的$n\geq 2$和$1\leq r \leq n-1$。
2018-03-28 math.CO
Reconstructing Metric Trees from Order Information on Triples is NP Complete
我们证明了从三元组的顺序信息重建一棵树是NP难的。这与超度量和四元组上的子树信息的情况相反,这两者都已知允许多项式时间重构。
2006-03-04 math.CO
Fundamental polytopes of metric trees via parallel connections of matroids
我们通过有限度量空间的基本多面体来解决有限度量空间的组合分类问题,正如Vershik在2010年提出的那样。在本文中,我们考虑一个超平面的安排,每分裂伪度量,树状度量,我们研究其基础拟阵的组合。我们给出了所有树型度量的基本多面体和Lipschitz多面体的面数的显式公式,并刻画了基本多面体为单纯形的度量树。
2019-04-01 math.CO
Obtaining binary perfect codes out of tilings
如果基本瓦片是公制球,则$n$维汉明立方体的瓦片化产生完美码(根据给定的公制)。我们关心的是度量的$n$维汉明立方体是由一个权重,尊重支持向量(TS-度量)。我们认为已知的平铺的汉明立方体,并首先确定其中产生一个完美的代码。在序列中,对于那些满足这个条件的平铺,我们确定所有的TS-度量,将其变成一个完美的代码。我们还提出了新的完美码的建设所获得的两个较小的级联。
2019-05-21 cs.IT math.CO math.IT
First-order logic axiomatization of metric graph theory
该研究类比Tarski的欧氏几何公理化,为度量图论中多类核心图建立带介于关系的一阶逻辑公理化,同时证明部分组合/拓扑定义的相关图类无法实现此类公理化。
2022-03-02 cs.DM cs.LO math.CO
Corners and simpliciality in oriented matroids and partial cubes
基于最近对定向拟阵(COMs)复形拓扑图的刻画,我们通过度量图论解决和推广了定向拟阵(OMs)、Lopsided集(亦称样本集系统)和部分立方体中的几个经典问题.我们的第一个主要结果是,从一个类的OM的每一个元素引入的曼德尔是事件的一个单纯的tope,即,这样的OM不包含无突变的元素。这使我们能够反驳一个猜想曼德尔从1983年,这将意味着著名的拉斯维加斯Vergnas'单纯形猜想。此外,我们还证明了阶数至多为9的均匀OMs的突变图是连通的,从而证实了Cordovil-Las Vergnas在这种情况下的一个更强的猜想。第二个主要贡献是引进角的COM作为一个自然的推广角落的片面集。推广Bandelt和Chepoi,Tracy Hall和Chalopin等人的结果,我们证明了可实现的COM,秩2 COM以及超细胞图允许角剥离。利用这一点,我们证实了Las Vergnas猜想的对映部分立方体(一类比OM大得多)的小秩或等距维。
2023-03-13 math.CO
Threshold-Coloring and Unit-Cube Contact Representation of Graphs
本文研究了图的阈值染色,其中用整数表示的顶点颜色描述给定图的任意生成子图如下。具有近颜色的顶点对意味着它们之间的边存在,而具有远颜色的顶点对意味着边不存在。不是所有的平面图都是阈值可着色的,但是一些子类,如树,一些平面网格和没有短圈的平面图总是可以阈值着色的。利用这些结果,我们得到了几个平面图子类的单位立方接触表示。阈值着色问题的变体与众所周知的图着色和其他图论问题有关。使用这些关系,我们显示的NP-完全的这些变种中的两个,并描述一个多项式时间算法的另一个。
2013-05-16 cs.DM math.CO
Metric embeddings of cubes into dense subsets of cubes
University of Athens(雅典大学);Princeton University(普林斯顿大学)
研究将k维立方体等距或双Lipschitz嵌入到N维立方体δ-稠密子集所需的最小N,并给出不同嵌入类型下的上下界。
2026-07-03 math.CO math.MG
The isometry group of phylogenetic tree space is $S_n$
系统发生树是一个无圈图,它有明确的标记叶子,其内部边缘有一个正的权重。给定一个n叶的集合,所有具有这个叶集合的系统发育树的集合可以被组装成一个度量立方体复合体,称为系统发育树空间,或Billera-Holmes-Vogtmann树空间。在这篇主要是组合的论文中,我们证明了这个空间的等距群是n元上的对称群。这一事实与基于距离的系统发育树分析有关。
2019-03-31 math.CO math.MG q-bio.PE
The number of spanning clusters of the uniform spanning tree in three dimensions
令${\mathcal U}_δ$是$δ\mathbb{Z}^{3}$上的统一生成树。${\mathcal U}_δ$的生成簇是${\mathcal U}_δ$到单位立方体$[0,1]^{3}$的约束的连通分量,该单位立方体将左面$\{ 0 \} \times [0,1]^{2}$连接到右面$\{ 1 \} \times [0,1]^{2}$。本文证明了生成簇的个数是紧的,即$δ\to 0$,从而解决了Benjamini(1999)提出的一个悬而未决的问题.
2020-03-10 math.CO math.PR
Construction of tropical morphisms from tropical modifications of nonhyperelliptic genus 3 metric graphs with tree gonality 3 to metric trees
该研究针对树亚次数为3的非超椭圆亏格3度量图,构造了其对应的热带修改、度量树以及次数为3的热带态射,完善了热带曲线亚次数相关理论。
2023-01-05 math.AG math.CO
On metric regularity of Reed-Muller codes
在这项工作中,我们研究了著名的二进制Reed-Muller码家族的度量性质。令$A$是布尔立方体的任意子集,并且$\widehat{A}$是$A$的度量补--布尔立方体中距$A$最大可能距离处的所有向量的集合。如果$\widehat{A}$的度量补与$A$重合,则集合$A$称为{ \it度量正则集}。度量正则集的研究问题是在研究{ \it bent函数}时出现的,它在密码学和编码理论中有重要的应用,也是度量正则集最早的例子之一。本文描述了度量补,建立了$k \geqslant m-3$的码$\mathcal{RM}(0,m)$和码$\mathcal{RM}(k,m)$的度量正则性.证明了码$\mathcal{RM}(1,5)$和$\mathcal{RM}(2,6)$的度量正则性。结合Tokareva N.(2012)关于仿射和弯曲函数的对偶,这建立了大多数具有已知覆盖半径的Reed-Muller码的度量正则性。证明了所有的Reed-Muller码都是度量正则的。
2020-04-20 cs.DM math.CO
Geodesic trajectories on regular polyhedra
考虑多面体上两点之间的所有测地线。在正四面体上,我们描述了从一个顶点到另一个顶点的所有测地线。利用Stern-Brocot树探讨了立方体顶点间测地线的递归结构,在某种精确意义上证明了某些顶点对间测地线的数目是其他顶点对间测地线的两倍。我们还得到了这样一个事实,即在正四面体或立方体上不存在起始于同一顶点和终止于同一顶点的测地线。
2015-08-12 math.CO math.MG
Gromov meets Phylogenetics - new Animals for the Zoo of Biocomputable Metrics on Tree Space
我们提出了一类新的度量的无根系统发育$X$ -树的Gromov-Hausdorff距离(紧凑)度量空间。这些度量可以通过线性或二次规划有效地计算。在NNI操作下,它们也很强大。这些指标的本地行为表明它们不同于以前引入的任何指标。性能的指标进行了简要分析随机加权和未加权的树木以及随机毛虫。
2015-04-22 math.CO math.MG
Tropical mixtures of star tree metrics
我们研究树度量,可以实现为两个星树度量的混合物。我们证明了,只有树承认这样的分解是那些来自一棵树,最多有一个内部的边缘,其重量满足一定的线性不等式。我们还刻画了相应的混合映射的纤维。此外,我们讨论了热带割线品种的一般框架,我们解释我们的结果在此设置。最后,我们证明了$n$分类群上的树度量秩集是无界的。
2011-09-05 math.AG math.CO
The metric dimension of critical Galton-Watson trees and linear preferential attachment trees
图$G$的度量维度是$G$的顶点的子集$R$的最小大小,其在报告它们与可区分(源)顶点$v^\star$的图距离时,使得能够在$G$的所有可能顶点中唯一标识源顶点$v^\star$。在本文中,我们展示了一个大数定律(LLN)的度量维数的一些类别的树:临界Galton-Watson树的条件有大小$n$,和增长的一般线性优先连接树。前一类包括均匀随机树,后一类包括Yule树(也称为随机递归树),$m$ -元递增树,二叉搜索树和正线性优先连接树。在所有这些情况下,我们能够明确地识别LLN中的极限常数。我们的结果依赖于洞察力,度量维度可以与子树属性,因此,我们可以利用强大的流苏树文献开发的Aldous和Janson等人。
2021-01-15 math.CO math.PR
Two Metrics on Rooted Unordered Trees with Labels
受精卵的早期发育可以用发育树进行数学描述。为了比较不同物种的发育树,我们需要定义树上的距离。如果分裂后的子细胞不可区分,则发育树由具有可能重复标签的有根树的空间$\mathcal{T}$表示,其中所有顶点都是无序的。如果分裂后的子细胞是部分可区分的,则发育树由可能具有重复标签的有根树的空间$\mathcal{P}$表示,其中顶点可以是有序的或无序的。在$\mathcal{T}$上,我们定义了两个度量:最佳匹配度量和左正则度量,这两个度量比已有的度量方法有一定的优越性。在$\mathcal{P}$上,具有有序或无序顶点的有根标记树空间,没有度量,我们定义了一个半度量,它是最佳匹配度量的变体。为了计算两棵树之间的最佳匹配距离,期望时间复杂度和最坏情况时间复杂度都是$\mathcal{O}(n^2)$,其中$n$是树的大小。为了计算两棵树之间的左正则距离,期望的时间复杂度是$\mathcal{O}(n)$,最坏情况下的时间复杂度是$\mathcal{O}(n\log n)$。对于根标记树(完全/部分)无序顶点,我们定义度量(半度量),具有快速算法计算,并具有优势,比现有的方法。这样的树也出现在发育生物学之外,并且这样的度量可以应用于具有更广泛应用的其他类型的树,特别是在分子生物学中。
2022-05-20 cs.DM math.CO
Higher dimensional digraphs from cube complexes and their spectral theory
我们定义了$k$维有向图,并开始了它们的谱理论的研究。$k$ -维有向图可以看作是小范畴的生成图,称为$k$ -图。在几何知识的指导下,我们得到了几个新的系列的$k$ -图使用立方体复盖的笛卡儿积的树,$k \geq 2$。这些$k$ -图不能表示为虚拟产品,并构成新的模型,这样的小范畴。对所有$k\geq 2$,构造出秩- $k$ Cuntz-Krieger代数.引入了满足最优谱隙性质的Ramanujan $k$ -图,并给出了如何构造基本的$k$ -有向图.
2022-11-05 math.CO math.CT math.GR
A partial order and cluster-similarity metric on rooted phylogenetic trees
根的系统发育树是系统发育分析的许多领域不可或缺的。最近引入了树相似性度量,以限制距离分布的偏斜,并确保相邻的树具有相似的层次结构。在本文中,我们引入了一个新的集群相似性度量根系统发育树空间,有一个相关的本地操作,允许轻松计算的邻域,一个特质,是理想的MCMC计算。度量定义的Hasse图上的距离诱导的根系统发育树,本身基于树之间的层次保持映射的概念上的偏序。我们介绍的偏序是一个细化的层次结构上的著名的细化顺序。偏序映射和层次保持映射两者也可以是独立感兴趣的。
2019-11-25 math.CO q-bio.PE
Tree-metrizable HGT networks
系统发育树通常通过使用标记树的叶子的分类群的集合上的度量来构建。虽然有多种方法可以使用给定的度量构建树,但只有当该度量满足布尼曼于1971年建立的所谓“四点条件”时,此类树才会显示该度量。虽然这个条件保证了一个唯一的树将显示度量,这意味着任何两个叶子之间的距离可以通过添加叶子之间路径上的弧的距离来找到,但它并不排除系统发育网络也可能显示度量的可能性。这种可能性最近被指出,“树度量”网络-显示一个树度量-与一个单一的网状的特点。在本文中,我们表明,在HGT(水平基因转移)网络的情况下,实际上有树度网络包含许多网状结构。
2019-08-23 math.CO q-bio.PE
What does a typical metric space look like?
在$n$点上的所有度量空间的集合$\mathcal{M}_n$,其直径至多为$2$,可以自然地看作是$\mathbb{R}^{\binom{n}{2}}$的紧凸子集,称为度量多面体。本文研究了大$n$的度量多面体,并证明了它在以下两个意义上接近立方体$[1,2]^{\binom{n}{2}} \subseteq \mathcal{M}_n$。首先,多面体的体积并不比立方体大多少,有以下的定量估计:\[ \left(\tfrac{1}{6}+o(1)\right)n^{3/2} \le \log \mathrm{Vol}(\mathcal{M}_n)\le O(n^{3/2}). \]其次,当从$\mathcal{M}_n$均匀随机地采样一个度量空间时,对于某些$c > 0$,最小距离至少是$1 - n^{-c}$,概率很高。我们的证明是基于熵技术。我们讨论了替代方法来估计$\mathcal{M}_n$的体积使用交换,Szemerédi的正则引理,超图容器方法,和Komvári-Sós-Turán定理。
2022-05-29 math.CO math.MG math.PR
On the bi-Lipschitz geometry of lamplighter graphs
本文系统地研究了点灯图的双Lipschitz几何。证明了树上的点灯图是双Lipschitzly嵌入到汉明立方体中的,其变形最多为~ $6$ .由此得出可数树上的点灯图是双Lipschitzly嵌入到$\ell_1$中的.研究了两个图的顶点合并上取点灯图的操作的度量行为。在此基础上,我们给出了星图或玫瑰图上的点灯图的超自反性的度量刻画。最后,我们证明了图中团的存在意味着其上的点灯图中Hamming立方体的存在.一个应用是对任意度量空间的平凡Bourgain-Milman-Wolfson型的概念的一致有界度的图序列的刻画,类似于Ostrovskii以前在\cite{ostrovskii:11}中得到的刻画.
2020-04-13 math.CO math.FA math.MG
Graph-theoretical estimates of the diameters of the Rubik's Cube groups
本文提出一种基于图阶数、度数、围长及过顶点圈数等局部参数的对称图直径严格下界方法,并应用于魔方群凯莱图,获得比随机正则图下界更紧、达到正确直径60%至77%的估计。
2024-10-01 cs.DM math.CO math.GR
Optimal Cuts and Partitions in Tree Metrics in Polynomial Time
本文提出了一个多项式时间的动态规划算法,用于求解树诱导的最短路径度量下的最优划分问题。这解决了在一维几何度量设置中的最优划分问题的精确复杂性状态。我们的解决方案的方法也可以在其他应用中的独立利益。我们还讨论了我们的方法的扩展类的度量所引起的有界树宽图。
2012-12-14 cs.CC cs.DM cs.DS