Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Partitions and Hecke images
Published
• View Publication
• BIB
We obtain a new family of relations satisfied by the partition function. In contrast with most partition relations, these involve non-trivial roots of unity. We present two proofs, one using the fact that the discriminant modular form is a multiplicative Hecke eigenform, and one direct proof using q-series.
Polynomial Invariants of q-Matroids and Rank-Metric Codes
It is shown that the Whitney function of a representable q-matroid and the collection of all higher weight enumerators of any representing rank-metric code determine each other via a monomial substitution. Moreover, the q-matroid itself and the collection of all higher support enumerators of the code determine each other. Next, it is proven that the Whitney function of a q-matroid and the Whitney function of its projectivization determine each other via a monomial substitution. Finally, q-matroids with isomorphic projectivizations are studied. It is shown that the projectivizations are isomorphic iff the q-matroids admit a dimension-preserving lattice isomorphism between their lattices of flats. Such q-matroids are called weakly isomorphic.
Positroidal aspects of non-nesting rook placements
Rook matroids were recently introduced by the author and Alexandersson as matroids whose bases arise from certain restricted rook placements on a skew-shaped board. They were shown to be a subclass of transversal matroids and positroids. We further investigate the structural properties of rook matroids with an emphasis on the positroidal point of view. In particular, we characterize rook matroids in terms of Grassmann necklaces of positroids, answering a question of Lam (2024). Along the way, we give a new proof of the positroidal structure of rook matroids and determine an important subclass of their cyclic flats.
Stones, Bones, and Snakes: Tilability of the hexagonal grid via the double dimer model
The question of whether a given region can be successfully filled by a finite set of tiles has been commonly studied, and there are many available arguments for whether a given finite region can be tiled. We can show that there is no domino tiling of the mutilated chessboard via a coloring argument, and a slightly more subtle argument for other two-colored square-grid regions using a height function of Thurston. In this paper, we examine finite regions of the hexagonal grid and a set of tiles known as the stone, bone, and snake. Using matrices in $\text{SL}_2(\mathbb{C})$, we exhibit a new necessary criterion for a region to have a signed tiling by these tiles. This originally arose in a study of the double dimer model.
Majorization via positivity of Jack and Macdonald polynomial differences
Majorization inequalities have a long history, going back to Maclaurin and Newton. They were recently studied for several families of symmetric functions, including by Cuttler--Greene--Skandera (2011), Sra (2016), Khare--Tao (2021), McSwiggen--Novak (2022), and Chen--Sahi (2024+) among others. Here we extend the inequalities by these authors to Jack and Macdonald polynomials, and obtain conjectural characterizations of majorization and of weak majorization of the underlying partitions. We prove these characterizations for several cases of partitions, including all partitions with two parts. In fact, we upgrade -- and prove in the above cases -- the characterization of majorization, to containment of Jack and Macdonald differences lying in the Muirhead semiring.
Stochastically Evolving Graphs via Edit Semigroups
Published
• View Publication
• BIB
We investigate a randomly evolving process of subgraphs in an underlying host graph using the spectral theory of semigroups related to the Tsetlin library and hyperplane arrangements. Starting with some initial subgraph, at each iteration, we apply a randomly selected edit to the current subgraph. Such edits vary in nature from simple edits consisting of adding or deleting an edge, or compound edits which can affect several edges at once. This evolving process generates a random walk on the set of all possible subgraphs of the host graph. We show that the eigenvalues of this random walk can be naturally indexed by subsets of edges of the host graph. We also provide, in the case of simple edits, a closed-form formula for the eigenvectors of the transition probability matrix and a sharp bound for the rate of convergence of this random walk. We consider extensions to the case of compound edits; examples of this model include the previously studied Moran forest model and a dynamic random intersection graph model. Evolving graphs arise in a variety of fields ranging from deep learning and graph neural networks to epidemic modeling and social networks. Our random evolving process serves as a general stochastic model for sampling random subgraphs from a given graph.
Reconstrucion of oriented matroids from Varchenko-Gelfand algebras
Published
• View Publication
• BIB
The algebra of $R$-valued functions on the set of chambers of a real hyperplane arrangement is called the Varchenko-Gelfand (VG) algebra. This algebra carries a natural filtration by the degree with respect to Heaviside functions, giving rise to the associated graded VG algebra. When the coefficient ring $R$ is an integral domain of characteristic $2$, the graded VG algebra is known to be isomorphic to the Orlik-Solomon algebra. In this paper, we study VG algebras over coefficient rings of characteristic different from $2$, and investigate to what extent VG algebras determine the underlying oriented matroid structures.
Our main results concern hyperplane arrangements that are generic in codimension $2$. For such arrangements, if $R$ is an integral domain of characteristic not equal to $2$, then the oriented matroid can be recovered from both the filtered and the graded VG algebras. As a byproduct, we prove that, unlike the complexification, the cohomology ring of the complement of a $3$-plexification of a real arrangement is not determined by the intersection lattice.
We also formulate an algorithm that is expected to reconstruct oriented matroids from VG algebras in the case of general arrangements.
Understanding the ratio of the partition sum to its Bethe approximation via double covers
Published
• View Publication
• BIB
For various classes of graphical models it has been observed that the ratio of the partition sum to its Bethe approximation is often close to being the square of the ratio of the partition sum to its degree-2 Bethe approximation. This is of relevance because the latter ratio can often better be analyzed and/or quantified than the former ratio. In this paper, we give some justifications for the observed relationship between these two ratios and then analyze these ratios for two classes of log-supermodular graphical models.
There is no prime functional digraph: Seifert's proof revisited
Published
• View Publication
• BIB
A functional digraph is a finite digraph in which each vertex has a unique out-neighbor. Considered up to isomorphism and endowed with the directed sum and product, functional digraphs form a semigroup that has recently attracted significant attention, particularly regarding its multiplicative structure. In this context, a functional digraph $X$ divides a functional digraph $A$ if there exists a functional digraph $Y$ such that $XY$ is isomorphic to $A$. The digraph $X$ is said to be prime if it is not the identity for the product, and if, for all functional digraphs $A$ and $B$, the fact that $X$ divides $AB$ implies that $X$ divides $A$ or $B$. In 2020, Antonio E. Porreca asked whether prime functional digraphs exist, and in 2023, his work led him to conjecture that they do not. However, in 2024, Barbora Hudcová discovered that this result had already been proved by Ralph Seifert in 1971, in a somewhat forgotten paper. The terminology in that work differs significantly from that used in recent studies, the framework is more general, and the non-existence of prime functional digraphs appears only as a part of broader results, relying on (overly) technical lemmas developed within this general setting. The aim of this note is to present a much more accessible version of Seifert's proof $-$ that no prime functional digraph exists $-$ by using the current language and simplifying each step as much as possible.
Conjugacy problem in T-RAAGs
Published
• View Publication
• BIB
In this paper, we construct an implementable algorithm which solves the conjugacy problem in twisted right-angled Artin groups (T-RAAGs). In certain cases, the complexity is known to be linear, by reducing the problem to the twisted conjugacy problem in right-angled Artin groups. We also show that T-RAAGs are biautomatic, providing an alternative solution to the conjugacy problem.
On the pancyclicity of $2$-connected $[5,3]$-graphs
Published
• View Publication
• BIB
A graph $G$ is called an $[s,t]$-graph if any induced subgraph of $G$ of order $s$ has size at least $t$. In 2024, Zhan conjectured that every $2$-connected $[p + 2, p]$-graph of order at least $2p + 3$ and with minimum degree at least $p$ is pancyclic, where $p$ is an integer with $3 \leq p \leq 5$. In this paper, we confirm the conjecture for the case $p=3$, thereby taking the first step toward a complete resolution of the conjecture.
A Characterization of Triangle-Free Cyclic Graphs With Self-Loops Of Rank 3
Let $G_S$ be a self-loop graph as the graph obtained by attaching a self-loop at every vertex in $S \subseteq V(G)$ of a simple graph $G.$ If $G=C_n$ is the cycle graphs of order $n$ and $S \neq \emptyset,$ we show that there are no rank 3 self-loop graphs $(C_n)_S$ for $n\geq 5.$ As a consequence, we determine and construct all possible rank 3 triangle-free self-loop cyclic graph of order at least 4 from $(C_4)_S$ via graph join operations. This provides a partial solution to the characterization problem of rank 3 self-loop graphs.
New results on $k$-Roudneff's conjecture
In this paper we study the number of $k$-neighborly reorientations of an oriented matroid, leading to study $k$-Roudneff's conjecture, the case $k=1$ being the original statement conjectured in 1991. We first prove the conjecture for the family of Lawrence oriented matroids (LOMs) with even rank $r=2k+2$ and also for low ranks by computer. Next, we provide a general upper bound for the number of $k$-neighborly reorientations of any LOM. Finally, we prove that for any $k\ge 1$ and any oriented matroid on $n$ elements, $k$-Roudneff's conjecture holds asymptotically as $n\rightarrow \infty$ and thus giving more credit to the conjecture.
Counting $2 \times 2$ integer matrices with a given determinant
Given positive integers $h, N$ satisfying $1 \leqslant h \leqslant 2N^2$, we define $T(h,N)$ to be the number of $2\times 2$ integer matrices with determinant equal to $h$ whose entries lie in $[-N,N]$. Our first result states that for any $\varepsilon >0$, one has \[ T(h,N) = \frac{16}{ζ(2)} N^2 \bigg( \sum_{d |h} \frac{1}{d} \bigg) + O_{\varepsilon}(N^{\varepsilon} (N+ h)).\] This quantitatively improves upon recent work of Afifurrahman and Ganguly--Guria. We further show that when $N^{1 + δ} \leqslant h \leqslant 2N^2$ for any fixed $δ>0$, the error term above is of roughly the right order. Our second result delivers an asymptotic formula for $T(h,N)$ with square-root cancellation whenever $h = N^2 + O(N)$. This error term is much stronger than its corresponding analogue in the smoothened version of this problem. More generally, for any $\varepsilon >0$ and any $N,h \in \mathbb{N}$ with $1\leq h \leq 2N^2$, we prove that \[ T(h,N) = \bigg( \frac{8}{ζ(2)} - 4 \bigg)N^2 \bigg( \sum_{d |h} \frac{1}{d} \bigg) + O_{\varepsilon}(N^{\varepsilon}(N+ |h-N^2|)). \]
Semiorders induced by uniform random points
We study semiorders induced by points drawn from a uniform random distribution. Of particular interest in this paper are the probabilities of generating specific semiorders and the equivalence classes they produce. We present a method for calculating the asymptotic probability of inducing these semiorders and describe the qualities which group these semiorders together. We also find a class of semiorders, called \emph{ladders}, whose probabilities can be calculated using the Up/Down numbers.
Modularity from $q$-series
In 1975, G. E. Andrews challenged the mathematics community to address L. Ehrenpreis' problem, which was to directly prove the modularity of the Rogers-Ramanujan $q$-series' summatory forms. This question is important because many different $q$-series appearing in combinatorics, representation theory, and physics often seem to be mysteriously modular, yet there is no general test to confirm this directly from the exotic $q$-series expressions. In this note, we answer the challenge. We use $q$-series algebra, first-order $q$-differential systems, and analytic continuation with monodromy to give a criterion that decides when such series are modular. Specifically, we establish a necessary and sufficient condition for a vector of holomorphic $q$-series on $|q|<1$ to form a vector-valued modular function without modular input, providing a clear path to modularity for strange $q$-series.
Rectangle partitions generalizing integer partitions
Published
• View Publication
• BIB
In this paper, we introduce a natural geometric extension of the partition function. More precisely, we investigate the problem of counting partitions of a rectangle into rectangular blocks with integer sides. Here, two partitions of a rectangle are indistinguishable if they consist of the same multiset of blocks, their geometric arrangement does not matter.
Scaled Arndt Compositions
Integer compositions restricted by inequalities on certain pairs of parts were first considered by Jörg Arndt in 2013 and several variations have been studied recently. Here we consider a broad two-parameter generalization that scales the defining relation. We connect these to compositions restricted to parts from certain congruence classes and establish the recurrence relations satisfied by the related counting sequences. This provides new combinatorial interpretations to several documented integer sequences and also simple unrecorded sequences. We conclude with suggestions for further study.
Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory faces many challenges, most importantly that only a limited number of notions and results have been implemented so far. In this work, we formalize the proof of the forward (composition) direction of Seymour's theorem for regular matroids. To this end, we develop a library in Lean 4 that implements definitions and results about totally unimodular matrices, vector matroids, their standard representations, regular matroids, and 1-, 2-, and 3-sums of matrices and binary matroids given by their standard representations. Using this framework, we formally state Seymour's decomposition theorem and implement a formally verified proof of the composition direction in the setting where the matroids have finite rank and may have infinite ground sets.
Judicious partitions for restricted self-sumsets in cyclic groups
We study the minimax problem for restricted two-fold self-sumsets in $k$-colorings of $\mathbb{Z}_n$. For primes $p$ with $2\le k\le p$ we determine the exact minimum $\max\{0,\,2\lceil p/k\rceil-3\}$. For general $n$ (with $m=\lceil n/k\rceil$) we bound the optimum between a size term $\min\{p(n),\,2m-3\}$ and a periodicity term $f\big(n/q(n,k)\big)$, and show these bounds are tight when $2m-3\le p(n)$ or $f\big(n/q(n,k)\big)\le \min\{p(n),\,2m-3\}$. We further prove a stability inequality and a threshold theorem that force concentration in a single subgroup coset near the periodic scale. In the prime case with $m\ge 5$ and $2m-3<p$, every optimal coloring contains a class of size $m$ that is an arc (an arithmetic progression up to an affine automorphism). Our approach combines the restricted Erdős--Heilbronn phenomenon with block/coset colorings and an injectivity window.