The Smith normal form of a specialized Giambelli-type matrix
在Schur函数行列式公式的研究中,Hamel和Goulden引入了一类关于划分图外分解的Giambelli型矩阵,它统一了Jacobi-Trudi矩阵、Giambelli矩阵和Lascoux-Pragacz矩阵。斯坦利确定了一个专门的雅可比-特鲁迪矩阵的史密斯标准形。受Stanley工作的启发,我们得到了一个特殊Giambelli矩阵和一个特殊Lascoux-Pragacz矩阵的Smith标准形。此外,我们表明,对于一个给定的分区,任何专门的Giambelli型矩阵的史密斯标准形可以从相应的专门化的经典Giambelli矩阵的一系列的稳定化操作。
2017-03-05 math.CO
Orthogonal polynomials and Smith normal form
由Bessenrodt和Stanley发现的q-Catalan数的Hankel矩阵的Smith正规形估计用两种方法证明。一个参数概括了Bessenrodt-Stanley结果的史密斯规范形式的一个特定的多元矩阵,完善了一个研究Berlekamp,Carlitz,Roselle,和Scoville。第二个参数,它使用正交多项式,推广到其他一些汉克尔矩阵,Toeplitz矩阵和格拉姆矩阵。给出了q-Catalan数、q-Motzkin数、q-Schröder数、q-Stirling数、q-匹配数、q-因子数、q-双因子数的新结果,以及具有八个统计量的置换的生成函数.
2017-04-11 math.CO
On Smith normal forms of $q$-Varchenko matrices
本文研究了二维和三维对称超平面排列的$q$矩阵,证明了它们在$\mathbb Z[q]$上有Smith标准形.特别地,我们研究了平面上的正$n$ -边形和空间上的二面体模型以及柏拉图多面体的超平面排列。在每种情况下,我们证明了与超平面排列相关联的$q$矩阵在$\mathbb Z[q]$上具有Smith标准形,并实现了它们在$\mathbb Z[q]$上的全等变换矩阵.
2022-07-30 math.CO
Distinguishing graphs by their spectra, Smith normal forms and complements
本文研究利用谱和Smith标准形区分图,给出广义余谱图的新刻画,证明Smith标准形可唯一确定星图,并枚举了10个顶点以内图的相关数量结果。
2023-04-14 math.CO
Smith Normal Form of a Multivariate Matrix Associated with Partitions
审议E. R. Berlekamp领导Carlitz,Roselle和Scoville给出了行列式~1的某些矩阵的元素在格路方面的组合解释。在这里,我们推广了这一结果,通过细化的矩阵元素是多元多项式,并确定不仅是行列式,而且史密斯标准形的这些矩阵。先验的史密斯形式不需要存在,但它的存在遵循显式计算。用分划而不是格路来表述我们的结果会更方便。
2014-04-18 math.CO
Differential posets and Smith normal forms
我们猜想r-微分偏序集上的上映射U和下映射D的一个强性质:DU+tI和UD+tI在Z[t]上有Smith正规形.特别地,这将确定映射U、D、UD、DU的积分结构,包括它们在任何特征中的秩。作为证据,我们证明了Okada对Young-Fibonacci格YF的猜想及其r-微分推广Z(r),并验证了它对Young格Y和r-微分笛卡儿积Y^r的许多推论.
2008-11-12 math.CO
The smith normal form of the walk matrix of the Dynkin graph $A_n$
研究 Dynkin 图 $A_n$ 游走矩阵的代数性质,确定其秩并证明 Smith 标准型中恰有 $\lceil n/2\rceil$ 个不变因子为 1。
2024-06-12 math.CO
Smith Normal Form and Acyclic Matrics
本文介绍了一种基于Smith规范形的方法,研究了具有给定图的对称矩阵的谱。该方法很好地解释了路径覆盖数(分别为)树的直径T)与其图为T的对称矩阵的特征值出现的最大重数有关(分别图为T的对称矩阵上不同特征值的最小数目q(T)。该方法也适用于更一般的一类连通图G,不一定是树,以建立一个下界的q(G)。
2005-08-15 math.CO
The Smith normal form of Laplacian matrices of simplicial annuli and high dimensional trees
Banco de México(墨西哥银行);Facultad de Ciencias Universidad Nacional Autónoma de México(墨西哥国立自治大学理学院);Cinvestav(墨西哥国立理工学院先进研究中心);Facultad de Economía, Universidad Autónoma de San Luis Potosí(圣路易斯波托西自治大学经济学院);Worcester Polytechnic Institute(伍斯特理工学院)
研究单纯复形拉普拉斯矩阵的史密斯标准型,通过建立邻接图沙堆群与该标准型的关系,计算单纯环面和\(k -\)树的相关标准型,经数值实验可视化其区分\(k -\)树的效果,并指出相关矩阵在拉普拉斯矩阵中的应用。
2026-07-28 math.CO
The Smith Normal Form of a Specialized Jacobi-Trudi Matrix
令$\mathrm{JT}_λ$是对应于分区$λ$的雅可比-特鲁迪矩阵,因此$\det\mathrm{JT}_λ$是变量$x_1,x_2,\dots$中的舒尔函数$s_λ$。设置$x_1=\cdots=x_n=1$和所有其他$x_i=0$。然后,$\mathrm{JT}_λ$的条目变成形式为${n+j-1\choose j}$的$n$中的多项式。我们确定了环$\mathbb{Q}[n]$上的史密斯规范形的特殊化$\mathrm{JT}_λ$。证明继续到$1\leq i\leq n$的$x_i=q^{i-1}$和$i>n$的$x_i=0$的专门化,在那里我们设置$q^n=y$并在环$\mathbb{Q}(q)[y]$上工作。
2015-08-26 math.CO
The Smith Normal Form Distribution of a Random Integer Matrix
证明了随机整数矩阵的Smith标准形(SNF)的密度$μ$的存在性,它等于$\mathbb{Z}/p^s\mathbb{Z}$上SNF的密度$μ_{p^s}$的乘积,其中$p$是素数,$s$是某个正整数.我们的方法是将矩阵的SNF与矩阵元素的某些多项式的最大公因数(gcd)联系起来,并发展了多项式值在随机整数向量上的多重gcd分布理论。我们还推导出一个公式为$μ_{p^s}$和计算密度$μ$几个有趣的类型的集。最后,我们确定了$μ_{p^s}$的最大值和最小值,并建立了它的单调性和极限行为。
2015-09-08 math.CO
Smith Normal Forms of Graphical Hermite Simplices
University of Kentucky(肯塔基大学)
引入图形埃尔米特单纯形族,研究其顶点向量矩阵的史密斯标准型,等价于研究这些矩阵的余核群结构,动机是研究顶点受小扰动后格单纯形的行为。
2026-06-24 math.CO
Jordan and Smith forms of Pascal-related matrices
给出了矩阵恒等式,分别给出了Pascal矩阵P_n =(i-1 choose j-1)_{1 <= i,j <= n}模一个素数的若尔当典范形,(i choose j)_{1 <= i,j <= n}的特征向量,以及P_n-I_n的幂的Smith标准形.
2002-09-25 math.CO
Smith normal forms for coalescences at cospectral vertices
Anhui University(安徽大学);Xi’an Jiaotong University(西安交通大学)
本文证明:若图H的两个顶点u和v关于L_μ(H)共谱,则对任意带根图R,将R的根分别与u、v并合所得图的广义μ-邻接矩阵的Smith标准型相同,推广了Fan等人的猜想。
2026-06-07 math.CO
The Smith normal form of the walk matrix of the Dynkin graph $D_n$ for $n\equiv 0\pmod{4}$
本文针对 $n\equiv 0\pmod{4}$ 的 Dynkin 图 $D_n$,确定其游走矩阵 $W(D_n)$ 的 Smith 标准型,并据此肯定回答已有文献提出的问题。
2022-12-11 math.CO
Enumeration of cospectral and coinvariant graphs
我们目前的计数结果的数量连通图多达10个顶点,其中至少有一个其他的图具有相同的频谱(一个cospectral队友),或至少有一个其他的图具有相同的史密斯标准形(coinvariant队友)相对于几个矩阵相关联的一个图。目前的数据给出了一些迹象表明,可能的史密斯正规形式的距离拉普拉斯和无符号距离拉普拉斯矩阵可能是一个更精细的不变量,以区分图形的情况下,其他代数不变式,如那些来自频谱,失败。最后,我们展示了一个新的图形特征使用的Smith标准形的无符号距离拉普拉斯矩阵。
2020-08-13 math.CO
The Smith normal form of the Q-walk matrix of the Dynkin graph $A_n$
School of Mathematics and Statistics, Beijing Jiaotong University(北京交通大学数学与统计学院)
本文研究了Dynkin图$A_n$的Q-walk矩阵的Smith正则形,给出了其显式表达式及秩的计算方法。
2026-03-07 math.CO math.RA
The Smith and critical groups of Paley graphs
每个素数幂$q$都有一个Paley图,使得$q\equiv 1\pmod 4$ .顶点集是域$\mathbb Fq$,当且仅当$x-y$是$\mathbb Fq$的非零平方时,两个顶点$x$和$y$由边连接。计算了Paley图的邻接矩阵和Laplacian矩阵的Smith标准形。
2014-09-30 math.CO
The Smith and Critical Groups of the Square Rook's Graph and its Complement
设$R_{n}$表示顶点集由一个$n \times n$网格的正方形组成的图,当两个正方形位于同一行或列时,它们相邻。这是方车图,也可以被认为是两个$n$阶完全图的笛卡儿积,或者是完全二部图$K_{n,n}$的线图。本文计算了图$R_{n}$及其补图的Smith群和临界群。这等价于确定这些图中的每一个的邻接矩阵和拉普拉斯矩阵的史密斯标准形。在这样做,我们验证了1986年的Rushanan猜想。
2015-07-23 math.CO
Eigenvalues, Smith normal form and determinantal ideals
图的行列式理想推广了与图相关的整数矩阵的谱和Smith标准形(SNF)等。在这项工作中,我们调查的关系,频谱和SNF与行列式理想。我们表明,一个特征值除了$k$ -th不变因子的SNF,如果该特征值属于各种的$k$ -th单变量整数行列式理想的矩阵。这一结果作为一个推论Rushanan定理。我们还研究了具有相同的行列式理想,最多一个不确定的图;所谓的余行列式图,它推广了余谱和余不变图的概念。本文建立了$\mathbb{R}[x]$上图是余决定图的一个充要条件,并给出了顶点数不超过9的余决定图的一些计算结果.最后,我们证明了完全图和星图是由其距离拉普拉斯矩阵的SNF决定的。
2019-10-28 math.AC math.CO
The critical groups of the Peisert graphs $P^*(q)$
有限图的临界群是由Laplacian的Smith标准形定义的阿贝尔群。我们确定了一类强正则图--Peisert图的临界群,这类图与Paley图相似但又不同.进一步证明了对于每个素数$\ell$,定义在具有$p\equiv 3\pmod 4$的$p^2$阶域上的两个图的邻接矩阵在$\ell$ -局部整数上是相似的.因此,每一对这样的图提供了一个例子,其中所有相应的广义邻接矩阵都是共谱的,并且在史密斯范式的意义上是等价的。
2016-06-02 math.CO
Properties of some character tables related to the symmetric groups
我们从对称群S_n及其双覆盖的特征标表中确定了某些整矩阵的Smith标准形和行列式等不变量。特别地,我们基于Hall-Littlewood对称函数理论,给出了S_n关于r>1的正则特征标表的行列式的一个简单计算。这一结果早先已由奥尔森以更长和更间接的方式加以证明。由此得到了关于Iwahori-Hecke代数的Cartan矩阵的行列式的Mathas猜想的一个新证明。当r是素数时,我们确定正则字符表的史密斯范式。取大r,得到S_n的全特征标表的Smith标准形.类似的结果,然后给出自旋字符。
2004-03-05 math.CO math.RT
The Smith normal form of distance matrices of high dimensional trees
该研究将普通树距离矩阵的Smith标准形结论推广到高维k-树,证明固定k和n时任意n顶点k-树的k-距离矩阵SNF一致,给出具体形式并拓展了已有经典结果。
2025-10-06 math.CO
Distance ideals of graphs
本文引入了图的距离理想的概念,它可以看作是图的Smith标准形和距离矩阵的谱的推广。我们得到了至多有一个平凡距离理想的图的分类。
2018-04-11 math.CO
Integer invariants of an incidence matrix related to Rota's basis conjecture
我们计算不相交断面的关联矩阵的谱和Smith规范形,这是一个与Rota基猜想的n维情况密切相关的组合对象。
2013-05-01 math.CO
Kasteleyn cokernels
我们认为Kasteleyn和Kasteleyn-Percus矩阵,这是在列举匹配的可平面图,矩阵运算的行和列。如果这样的矩阵定义在主理想整环上,这等价于考虑它的Smith标准形或它的上核。枚举方法的许多变化导致等价矩阵。特别地,Gessel-Viennot矩阵等价于Kasteleyn-Percus矩阵。我们将这些想法应用到平面划分和相关的平铺平面。我们列出了一些apturtures,支持实验在枫树,有关形式的矩阵相关联的枚举的平面分区和其他菱形平铺的平面区域及其对称类。我们专注于枚举轮或$q$轮的情况下,我们推测,cokernels保持轮或$q$轮相关的"不可能的枚举“,其中没有平铺。我们的结果为平面分拆的对称类的计数及其推广提供了一个新的视角。特别地,我们猜想,一个$q$ -特殊化的Jacobi-Trudi矩阵有一个史密斯标准形。如果是这样的话,它可能是一个有趣的结构,与$\SL(n,\C)$的相应不可约表示相关联。最后,我们发现,与证明,正规形式的矩阵,出现在列举多米诺骨牌平铺的阿兹特克钻石。
2002-06-25 math.CO
Trivariate monomial complete intersections and plane partitions
我们考虑R = k [x,y,z]/(x ^A,y ^B,z ^C)上映射的齐次分量U_r乘以x + y + z。本文利用Schur多项式证明了任意Toeplitz矩阵的子矩阵的Smith规范形之间的关系,并利用这一关系给出了U_r的Smith规范形元素之间的关系。我们还给出了李志和F. Zanello将(A,B,C)=(a + b,a + c,b + c)时中齐次分支U_r的行列式与a × b × c盒中的平面划分数相等.最后,我们证明了,对于某些向量子空间的R,类似的身份举行有关决定因素的对称类的平面分区,特别是类3,6,和8。
2011-06-16 math.AC math.CO
On the critical group of the missing Moore graph
我们考虑直径$2$和价$57$的假设摩尔图的临界群。确定这个群等价于找到这样一个图的拉普拉斯矩阵的史密斯标准形。证明了临界群的所有Sylow $p$ -子群都是初等阿贝尔群,但$p = 5$除外.我们证明了拉普拉斯矩阵的$5$ -秩决定了临界群的两种可能性。
2016-10-06 math.CO
On Picard groups and Jacobians of directed graphs
一个无向图的Picard群是一个生成的阿贝尔群,Jacobian是Picard群的挠子群。这些组可以通过使用图的拉普拉斯矩阵的史密斯标准形或通过使用与图相关联的芯片发射游戏来计算。可以考虑将其推广到基于拉普拉斯矩阵的有向图。我们计算皮卡德群和雅可比数的几个类的有向树,周期,轮,和多部图。
2023-02-20 math.CO
Distinguishing graphs with two integer matrices
本文面向图同构问题,将两个关联矩阵的谱或 Smith 标准形合并为图参数,并通过至多 10 个顶点的非同构图统计验证其区分能力显著优于以往方案。
2023-09-27 math.CO
The critical group of the Kneser graph on $2$-subsets of an $n$-element set
研究确定了Kneser图$KG(n,2)$的临界群,并将其归结为对应Laplacian矩阵Smith标准形的计算。
2023-04-20 math.CO
On the number of generalized cospectral mates of graphs
Lahore University of Management Sciences(拉合尔管理科学大学);The University of Texas at Dallas(德克萨斯大学达拉斯分校)
本文确定了简单图广义共谱伴侣数量的上限,基于行走矩阵的Smith Normal Form得出紧致上界,扩展了具有强谱唯一性结果的图类。
2026-03-22 math.CO math.RA
On graphs with 2 trivial distance ideals
距离理想推广了图的距离矩阵的Smith标准形。具有2个平凡距离理想的图族包含距离矩阵至多有2个不变因子等于1的图族。本文给出了具有2个平凡距离理想的图的禁止诱导子图的无限族。这些也与其他众所周知的图形类有关。
2018-07-24 math.AC math.CO
The invariant factors of the incidence matrices of points and subspaces in PG(n,q) and AG(n,q)
对所有n,r和任意素幂q,我们确定了PG(n,q)的点与射影(r-1)维子空间的关联矩阵和AG(n,q)的点与r维仿射子空间的关联矩阵的Smith正规形.
2003-12-30 math.CO math.RT
Lattices in $\mathbb F_q[[T]]^d$ and spiral shifting operators
我们调查的代数和组合学的一个类似的厄米规范形式,分类有限指数子模块的$\mathbb F_q[[T]]^d$。我们将这两种规范形式都看作是不同单项式阶下的Gröbner基理论的实例,其中Hermite规范形式对应于lex阶,而新的规范形式对应于hlex阶。我们注意到,hlex规范形式恢复了Smith规范形式,这是Hermite规范形式所不具有的特征。我们还确定了组合结构的胞腔剖分诱导的hlex正常形式,这似乎是独立的利益。值得注意的是,在某种程度上,跟踪单元尺寸的统计数据与$\mathbb N^d$上的$d$ "螺旋移位运算符“的集合是兼容的,$d$”螺旋移位运算符“的集合成对交换并且集体地自由和传递地起作用。利用这些算子,我们给出了一些新的组合恒等式的直接证明,这些恒等式是将Solomon和Petrogradsky的结果转化为hlex标准形而得到的。
2025-08-09 math.AG math.CO
Normalized Laplacian spectrum of some generalized subdivision-corona of two regular graphs
本文利用正则图的正规Laplacian特征值确定了连通正则图与任意正则图的广义分顶点冠、分边冠的两个正规Laplacian谱。此外,应用这些结果,我们还发现了一些非正则的正规Laplacian余谱图。这些结果推广了文[11]中已有的结果。
2018-07-11 math.CO math.SP
Generalized degenerate stirling numbers arising from degenerate boson normal ordering
本文针对退化玻色子正规序衍生的广义退化第二类(r,s)-斯特林数及对应贝尔多项式展开研究,推导其性质、显式表达式与生成函数,明确其为已有相关概念的退化形式。
2023-05-07 math.CO math.NT