On approximating the rank of graph divisors
该研究建立芯片射击游戏与最小目标集选择问题的关联,强化了图除子秩计算的NP难结论,证明其在不同假设下的近似难度下界。
2024-04-11 cs.DM math.CO
Divisorial and geometric gonality of higher-rank tropical curves
我们考虑度量图的一个变种,其中的边长取值于交换幺半群,作为热带曲线概念的高阶概括。将Baker和Norine在组合图上定义的筹码射击游戏的除法性推广到幺半群度量图上。定义了么半群度量化图的几何角度为么半群度量化树上的水平共形、非退化态射的最小度,并证明了在么半群度量化情形下,几何角度是除子角度的一个上界.我们还证明了存在一个细分的基本图的角不大于么半群度角。我们把它与对数曲线间映射的最小度联系起来。
2022-09-16 math.AG math.CO
Rank-determining sets of metric graphs
度量图是有限图的一种几何实现,通过用实区间标识每条边。度量图$Γ$上的除数是$Γ$上自由阿尔贝群的元素。度量图上因子的秩(英语:rank of a divisor on a metric graph)是一个出现在度量图(或热带曲线)的黎曼-罗奇定理中的概念,由Gathmann和Kerber,以及Mikhalkin和Zharkov提出。定义度量图$Γ$的一个\emph{rank-determining set}为$Γ$的一个子集$A$,使得因子$D$在$Γ$上的秩总是等于限制在$A$上的$D$的秩.本文建设性地证明了存在有限秩决定集。此外,我们还研究了秩决定集的一般性质,并给出了秩决定集的一个判定准则。我们的分析是基于一个算法,以获得$v_0$ -简化除子从任何有效的因子在同一线性系。
2009-10-04 math.AG math.CO
The Brill-Noether rank of a tropical curve
我们构造了一个空间分类因子类的一个固定的程度上的所有热带曲线的一个固定的组合类型,并表明,功能采取一个因子类的秩是上连续的。本文将度量图的Brill-Noether秩的定义推广到热带曲线,并利用秩函数关于因子的上连续性证明了热带曲线族的Brill-Noether秩是上连续变化的.此外,我们提出了一个专门化引理的Brill-Noether秩的热带曲线与维数的Brill-Noether轨迹的阿尔及利亚曲线。
2014-04-01 math.AG math.CO
Refined Brill-Noether Theory for Complete Graphs
本文计算完全图 $K_n$ 上所有除子的分裂类型,证明其与 $n$ 次光滑平面曲线上线丛的分裂类型完全对应,从而推广并精细化了相关 Brill-Noether 理论结果。
2025-01-10 math.CO
Algebraic rank on hyperelliptic graphs and graphs of genus $3$
设$\bar{G} = (G, ω)$是一个顶点赋权图,$δ$是$G$上的一个因子类.令$r_{\bar{G}}(δ)$表示$δ$的组合秩。Caporaso通过使用具有对偶图$\bar{G}$的节点曲线,引入了$δ$的代数秩$r_{\bar{G}}^{\operatorname{alg}}(δ)$。本文证明了当$\bar{G}$是超椭圆或属$3$时,$r_{\bar{G}}^{\operatorname{alg}}(δ) \geq r_{\bar{G}}(δ)$成立,推广了我们以前的结果.我们还证明了,对于亏格$3$的非超椭圆曲线到其约简图的特化映射,图上的任何因子提升为同秩曲线上的因子.
2014-01-16 math.AG math.CO
A note on algebraic rank, matroids, and metrized complexes
我们证明了某些图上因子的代数秩与拟阵的可实现性问题有关。因此,我们产生了一系列的例子,其中的代数秩取决于基域。本文利用度量化复形理论证明了代数秩与组合秩相等不是因子光滑性的充分条件,从而否定了Caporaso、Melo和作者提出的一个问题.
2017-10-29 math.AG math.CO
Hyperelliptic graphs and metrized complexes
我们证明了度量复形的Clifford定理的一个版本。也就是说,携带次数因子$2r$和秩因子$r$(对于$0<r<g-1$)的度量化复数还携带次数因子$2$和秩因子$1$。本文给出了超椭圆度量化复形的一个结构定理,并利用它对亏格为界的度因子进行了分类。我们讨论度量图的Martens定理的一个热带版本。
2016-06-27 math.AG math.CO
Clifford representatives via the uniform algebraic rank
本文在有限图上引入一致代数秩,证明其介于Caporaso代数秩与Baker-Norine组合秩之间,建立相应Riemann-Roch定理,并借此证明克利福德代表总存在且对一大类图给出显式构造。
2025-06-04 math.AG math.CO
Effective divisor classes on metric graphs
本文在度量图(热带曲线)上引入了半断因子的概念,证明了每一个有效因子类(度至多为亏格)都有一个半断因子代表。这适当地推广了断裂因子的概念(在度上等于亏格)。我们的证明方法是新的,即使是特殊情况下的休息因子。我们提供了一个算法来有效地计算这样的semibreak代表。半折因子提供了工具,建立一些基本性质的有效轨迹内皮卡德群的度量图。我们证明了有效轨迹是纯维多面体集。我们还证明了一个“通用”的除数类(在度最多属)的秩为零,阿贝尔-雅可比映射是“双有理”到它的图像。这些是黎曼曲面的经典结果的类似物。
2018-07-02 math.AG math.CO
Computing higher graph gonality is hard
在重图的因子理论中,图的$r^{th}$因子性是图的秩$r$因子的最小度。Gijswijt等人证明了有限图的第一整除性是NP-难计算的。我们推广了他们的观点,证明了对于所有的$r$,计算有限图的$r^{th}$的可除性是NP-困难的.利用这个结果证明了计算有限图的$r^{th}$稳定可除性和计算度量图的$r^{th}$可除性是NP-难的。我们还证明了这些问题是APX-困难的,并研究了这些问题的NP-完全性。
2022-08-06 math.AG math.CO
Divisors and harmonic morphisms on metric graphs of pseudocompact type
University of Cambridge(剑桥大学);Tufts University(塔夫茨大学)
本文证明伪紧型度量图中因子d-多边形性等价于存在到树的度为d的调和态射,并给出构造性证明及正秩因子提升结果,最后研究路径情形的Brill-Noether理论。
2026-10-02 math.AG math.CO
A note on Brill--Noether existence for graphs of low genus
在2008年的一篇有影响力的论文中,贝克提出了一些将代数曲线的除数理论与有限图的类似组合理论联系起来的理论。本文研究了特殊因子的Baker's Brill-Noether存在性猜想.对于$g\leq 5$和$ρ(g,r,d)$非负的,每个亏格$g$的图被证明允许秩$r$和度至多为$d$的因子。此外,该猜想被证明持有的秩$1$的一些家庭的高度连通的组合类型的图的任意高的属。在相关的属,我们的论点给出了第一个组合证明的Brill-Noether存在定理的度量图,给出了一个相关的问题Baker的部分答案。
2016-11-03 math.AG math.CO
Dimension, depth and zero-divisors of the algebra of basic $k$-covers of a graph
我们研究基本的$k$ -覆盖的二部图$G$ ;代数$\AG$,他们的跨度,首先研究了赫尔佐格,是纤维锥的亚历山大对偶的边缘理想。当$\AG$是一个域的$G$的组合学方面,我们的特点,如果从Hochster的结果,当$\AG$是一个域,它也是科恩-麦考利。通过引入二部图的一个几何不变量--“图维数”,研究了$\AG$的维数.我们发现,$G$的图形尺寸不大于$\dim(\AG)$,并在许多情况下(例如,当$G$是一棵树,或循环)的平等持有。最后,我们讨论了这一理论在算术秩中的应用。
2009-01-25 math.AC math.CO
Riemann-Roch Theory for Graph Orientations
我们开发了一个新的框架,调查线性等价的因子图使用推广的Gioan的循环-上循环反转系统的部分方向。介绍了Dhar燃烧算法的一个定向版本,并将其应用于部分定向的无环性研究。然后,我们表明,贝克-Norine秩的部分定向因子是一个小于的最小数量的有向路径需要被逆转的广义循环-上循环逆转系统,以产生一个无环的部分定向。这些结果被应用于图的Riemann-Roch定理以及Luo的秩决定集的拓扑刻画中。证明了最大流最小割定理等价于可定向因子的欧拉示性数刻画,并将其推广到部分定向的情形.此外,我们证明了$Pic^{g-1}(G)$是典型同构的$Pic^{0}(G)$ -torsor的循环-上循环反转系统的有向路径反转的作用下的全方位的等价类。提出了计算断裂因子和构造部分方向的有效算法。
2017-04-14 cs.DM math.AG math.CO
Ideals generated by diagonal 2-minors
用一个单图$G$上的$[n]$,我们关联一个二项式理想$P_G$生成的对角未成年人的$n \times n$矩阵$X=(x_{ij})$的变量。证明了对任意图$G$,$P_G$是素完全交理想,并确定了$K[X]/ P_G$的除子类群.利用这些理想,可以找到一个正规整环,它具有任意给定秩的自由除子类群。
2012-01-26 math.AC math.CO
Block Structure and Spectrum of Zero-Divisor Graphs of Lipschitz Quaternion Rings Modulo $n$
School of Mathematics and Statistics, Shandong University of Technology(山东理工大学数学与统计学院)
本文研究Lipschitz四元数环模n的零除子图的邻接矩阵结构,通过同构关系将奇素数p的邻接矩阵分解为块结构,并推导出谱半径的闭式表达式及零空间的下界。
2026-09-17 cs.DM math.CO
Mock modular forms from the k-rank moments
该研究利用k秩生成函数定义一族mock艾森斯坦级数,推导其模性质、递推公式与整系数性质,证明其属于有限阶导数生成的微分封闭代数,并解决了相关类除数和的拟完备化问题。
2025-10-06 math.CO math.NT
Multiplicity-Free Gonality on Graphs
一个图的除度是该图上正秩除子的最小度。我们引入了一个图的多重性,这限制了我们的考虑因子,在每个顶点上最多放置\(1\)芯片。我们给出了一个充分条件,这两个版本的角度是相等的顶点连通性;我们表明,没有函数的角度可以绑定多重免费的角度,即使是单图。我们还证明了多重性的角度是NP-难计算,同时仍然确定它的图族的角度是目前未知的。我们还提出了新的角度,如车轮图。
2021-07-27 math.AG math.CO
Refuting a Conjecture of Umans and Wang on Arithmetic-Progression Divisor Covers
University of California, Los Angeles(加州大学洛杉矶分校)
该研究通过构造有限关联结构的初等估计,证明乌曼斯与王提出的等差数列除数覆盖猜想在α<1/2且β<3/8时不成立,尤其在(1/3,1/3)点仍不成立。
2026-08-10 math.CO math.NT
Sheaves and Duality in the Two-Vertex Graph Riemann-Roch Theorem
对于两个顶点上的每个图,以及在Baker-Norine意义下的图上的每个因子,我们描述了有限范畴上的向量空间层,其第零个贝蒂数是因子的Baker-Norine“图Riemann-Roch”秩加1。我们证明了对偶定理,推广了贝克-诺林“图黎曼-罗克”定理。
2022-07-26 math.AT math.CO
Poincaré Series of Divisors on Graphs and Chains of Loops
研究了与i上有限因子集相关联的Poincaré级数。一个有限的图形和ii.一种叫做环链的度量图。我们的主要结果是证明的合理性的庞加莱系列和算法计算它在这两种情况下。在合理性证明中使用的主要工具如下。对于图,我们研究了有限秩的自由阿尔贝群到图的雅可比矩阵与整数的直和的同态。对于链的循环,我们的主要工具是一个类似的朗猜想的布里-诺特轨迹链的循环和适应证明的合理性的庞加莱系列的因子的代数曲线(在一个代数闭域的特征零)。我们的算法是基于一个更仔细的研究所涉及的对象的合理性证明,例如,计算纤维的某些同态和格点枚举在有理多面体。
2022-03-25 math.AC math.AG math.CO