Showing 20 papers (Total: 82901 papers, 47900 authors in database)
Higher $q$-Continued Fractions and Dimers on Band Graphs
In this paper, we explore the theory of higher dimers on band graphs. First, we provide a combinatorial interpretation for the trace of the $q$-deformed higher continued fraction matrices, by showing that with respect to a $q$-weighting on edges, the trace gives the dimer partition function on the set of good higher dimers, which generalizes the notion of good perfect matchings. We also show that the set of good higher dimer covers form a distributive lattice with respect to face flips on square faces. Finally, we attempt to generalize the symmetry result on circular fence posets to the case of good higher dimers, by showing that the dimer partition on a certain family of band graphs are palindromic, in particular, through an approach fitting in the context of dimer theory.
Some Symmetric Sign Patterns Requiring Full $P$-vertices
A sign pattern is a matrix whose entries belong to $\{+, -, 0\}$. Let $\mathcal{P}$ be a symmetric sign pattern and $A$ a real symmetric matrix in its qualitative class. A vertex $v_j$ of the underlying graph of $\mathcal{P}$ is called a $P$-vertex if $ m_{A(j)}(0)-m_A(0)=1,$ where $A(j)$ is the principal submatrix obtained by deleting the $j$-th row and column of $A$, and $m_A(0), ~m_{A(j)}(0)$ denotes the algebraic multiplicity of the eigenvalue $0$ of $A, ~A(j)$, respectively. We say that $\mathcal{P}$ requires full $P$-vertices if every symmetric matrix in its qualitative class has all vertices as $P$-vertices. In this paper, we investigate structural conditions under which symmetric sign patterns require full $P$-vertices. We establish necessary and sufficient conditions for several classes of sign patterns to require full $P$-vertices. In particular, we prove that a tree sign pattern with a $0$-diagonal requires full $P$-vertices if and only if its underlying graph admits a perfect matching. We also derive necessary and sufficient conditions for sign patterns whose underlying graphs contain cycles but no loops to require full $P$-vertices.
Computing the Hamiltonian compression factors of cubic graphs
We present an algorithm for computing Hamiltonian cycles that are invariant under a graph automorphism acting on them as a rotation. We also present an application of this algorithm for computing the Hamiltonian compression factor of a graph, that is, the largest order of an automorphism preserving some Hamiltonian cycle and acting on it as a rotation. As an example, we compute the Hamiltonian compression factors of all cubic edge-transitive graphs on up to $10{,}000$ vertices, with the exception of two graphs, which are not Hamiltonian, and $98$ graphs (the smallest having $2304$ vertices) for which only a lower bound for the compression factor is given. As a byproduct, we obtain shortest LCF codes for each of these graphs (except for the two non-Hamiltonian ones; for the $98$ unresolved graphs, the codes obtained are the shortest among those we found).
The asymmetric five vertex model on a rectangle
We derive a determinantal expression for the inhomogeneous asymmetric five vertex model in a rectangular geometry with arbitrary boundary conditions at the bottom and top. Standard non-intersecting lattice path, or free fermion, approaches are not applicable and the determinantal form thus is not immediate.
A Modified Greaves--Jing--Zhu Operator and a Shifted $t$-Gessel Formula
The recent work of Greaves, Jing, and Zhu gives an operator construction for the $t$-Schur functions and the $t$-Schur measure. Motivated by their construction, we consider the same type of vertex operator on the odd power-sum ring. Its Fourier modes generate a family of symmetric functions indexed by strict partitions, which we call shifted $t$-Schur functions. These functions specialize to Schur $Q$-functions at $t=0$. We derive a two-row formula, a Pfaffian Giambelli formula, a Cauchy identity, and a finite shifted Gessel-type formula. This note is intended as a first step toward further study of the odd-operator analogue of the Greaves--Jing--Zhu construction.
Recursive lower bounds for uniform set systems of bounded VC-dimension
For integers $n\ge d+1$, let $\mathsf{M}_d(n)$ denote the maximum size of a $(d+1)$-uniform family on an $n$-element ground set with VC-dimension at most $d$. For $n\ge2d+2$, the classical construction of Ahlswede and Khachatrian, later generalized by Mubayi and Zhao, gives \[
\mathsf{M}_d(n)\ge \binom{n-1}{d}+\binom{n-4}{d-2}. \] We introduce a two-cover lifting construction and prove the recursive lower bound \[
\mathsf{M}_d(n)\ge
\binom{n-1}{d}+\binom{n-4}{d-2}+\mathsf{M}_{d-3}(n-5) \] for every $d\ge 3$ and $n\ge d+3$. Consequently, \[
\mathsf{M}_d(n)\ge
\binom{n-1}{d}+\binom{n-4}{d-2}+\binom{n-6}{d-3}. \] Thus the Mubayi--Zhao conjecture on the exact value of $\mathsf{M}_d(n)$ for $n\ge2(d+2)$ is false for any $d\ge 3$. The proof is elementary and proceeds entirely through an explicit analysis of traces.
Rainbow triangles in edge-colored graphs with large minimum color degree
Let $G$ be an edge-colored graph on $n$ vertices, and let $\deltac(G)$ denote its minimum color degree. Li and, independently Li, Ning, Xu, and Zhang, proved that every edge-colored graph on $n$ vertices with $\deltac(G) \ge \frac{n+1}{2}$ contains a rainbow triangle. Let $\rt(G)$ denote the number of rainbow triangles in $G$, and define \[ f(n) = \min\{ \rt(G) : |V(G)| = n,\ \deltac(G) \ge (n+1)/2 \}. \] In \cite{LiNingShiZhang2024}, the following open problem was posed: determine all the values of $f(n)$. In this paper, we determine $f(n)$ completely: $f(n) = (n^2-1)/8$ for odd $n\geq 3$, $f(n) = \frac{n^2}{4} - 1$ for all even $n \ge 6,$ and $f(4) = 4$. This resolves an open problem raised in \cite{LiNingShiZhang2024}.
Improved Lower Bounds for the Hales-Jewett Numbers via Symmetric Colorings
The Hales-Jewett number $\mathrm{HJ}(t,r)$ is the least dimension $n$ in which every $r$-coloring of the cube $[t]^{n}$ contains a monochromatic combinatorial line. We prove $\mathrm{HJ}(3,3)\geq 22$ and $\mathrm{HJ}(4,2)\geq 14$, improving the previous records $\mathrm{HJ}(3,3)\geq 14$ (Farnsworth) and $\mathrm{HJ}(4,2)\geq 12$ (the van der Waerden bound). Both bounds are obtained from coordinate-symmetric colorings, which compress the cube onto the discrete simplex of letter-count vectors; a symmetric coloring is line-free if and only if no corner tuple on the simplex is monochromatic, an exact equivalence that turns line-freeness into a constraint-satisfaction problem of size polynomial in $n$. Each bound is certified by an explicit table of fewer than 600 cells together with a finite, mechanical check of the corner tuples; the SAT solver only finds the witness, while correctness rests on the published table, the reduction lemma, and a dependency-free verification that is in principle hand-auditable.
Panmagic permutations and N-ary groups
Published in PUMP Journal of Undergraduate Research, 8 (2025), 195-212
• View Publication
• BIB
Panmagic permutations are permutations whose matrices are panmagic squares. Positions of 1-s in the latter describe maximal configurations of non-attacking queens on a toroidal chessboard. Some of them, affine panmagic permutations, can be conveniently described by linear formulas of modular arithmetic, and we show that their sets have remarkable algebraic properties when one multiplies three or more of them rather than just two. In group-theoretic terms, they are special cosets of the dihedral group in the group of all affine permutations. We also investigate decomposition of panmagic permutations into disjoint cycles and find many connections with classical topics of number theory: multiplicative orders, 4k+1 primes, primitive roots and quadratic residues.
On the number of perfect matchings in planar graphs
We investigate the minimum non-zero number of perfect matchings in planar graphs. We prove that this is a constant for 2-connected planar graphs of minimum degree 3 and 3-connected planar graphs. In the former case, the constant is 4 and this is best possible. In the 3-connected case, we give several infinite families, including nearly 3-regular graphs and triangulations with a constant number of perfect matchings. In contrast, it was known that in the 4-connected case the minimum non-zero number of perfect matchings is at least linear. For 5-connected triangulations, it follows from a result of Alahmadi, Aldred, and Thomassen that there must be exponentially many perfect matchings. The families of planar graphs we investigate here are classified by connectivity. We conclude the article with an infinite family of counterexamples to a conjecture published by Zaks; these are not planar, but very much concern connectivity constraints.
Hall-Littlewood functions in noncommuting variables
In 2022 Aliniaeifard, Li, and van Willigenburg defined Schur functions in the algebra of symmetric functions in noncommuting variables (NCSym), answering an open question posed by Rosas and Sagan in 2004. These Schur functions are not monomial positive, since they are defined via a noncommutative analogue of the Jacobi-Trudi determinant.
We introduce Hall-Littlewood functions ${\bf P}_π({\bf x};t)$ indexed by set partitions $π$ in noncommuting variables ${\bf x}=({\bf x}_1,{\bf x}_2,\ldots)$, and define Schur functions in noncommuting variables to be ${\bf s}_π({\bf x})={\bf P}_π({\bf x};0)$. We prove that the set of Hall-Littlewood functions $\{{\bf P}_π({\bf x};t)\}$ for all set partitions $π$ of $[n]$ forms a $\mathbb{Q}[t]$-basis of NCSym of homogeneous degree $n$, and that this basis is invariant under any permutation acting on set partitions. These Hall-Littlewood functions in NCSym map to classical Hall-Littlewood functions under commutation, up to a scalar factor.
We also show that the Hall-Littlewood functions ${\bf P}_π({\bf x};t)$ naturally refine the lifted Hall-Littlewood functions in NCSym. Specifically, the Schur functions ${\bf s}_π({\bf x})$ are monomial positive and refine the lifted Schur function introduced by Rosas and Sagan. Moreover, we introduce a star product of two polynomials in NCSym and develop the star-multiplication rule for a lifted and a non-lifted Hall-Littlewood functions in NCSym. This rule is a noncommutative analogue of the product rule for two Hall-Littlewood functions and, in particular, of the Littlewood-Richardson rule. Finally, our approach extends to the algebra of quasisymmetric functions in noncommuting variables (NCQSym) indexed by set compositions.
Multigraded Regularity of the Complete Flag Variety
We study the multigraded regularity of the complete flag variety under the Plücker embedding. In particular, we prove inductive relationships about the regularity regions, and we provide some inner and outer bounds on the regions.
DPLAN: Minimal Connectivity to Floorplan Generation
Automated floor plan generation is an important problem in computational architectural design. The goal is to construct a floor plan from user-defined room numbers and door requirements. The user specifies which rooms must share a door and which rooms must not be adjacent. However, these requirements do not determine the exact placement or shape of the rooms. The task is therefore to arrange the rooms in a single floor plan so that all required door connections are satisfied and no rooms overlap. To address this problem, we propose DPLAN (Door Connectivity to Floor Plan Generation), a graph-based prototype that generates floor plans from door and non-adjacency constraints.
The framework operates in three stages. First, the user-defined graph is examined and, if disconnected, additional edges are added to connect its components. Second, a bi-connected plane triangulation is constructed to ensure the existence of a floor plan without overlapping rooms or empty spaces. Third, the triangulated graph is transformed into floor plans. For rectangular floor plans (RFPs), separating triangles are removed by modifying edges without adding new vertices, thereby avoiding the creation of extra rooms. For orthogonal floor plans (OFPs), separating triangles are removed by introducing additional vertices, allowing rectilinear room shapes.
By enforcing both door and non-adjacency requirements, the framework generates floor plans that satisfy the given constraints. The method is implemented in Python and includes a prototype for interactive constraint specification and floor plan visualization. Currently, the framework supports rectangular plot boundaries. Future work includes support for non-rectangular plots, dimension-based scaling, and circulation modeling.
Isolation subdivision number of a graph
For a graph $G=(V,E),$ a set $S \subseteq V$ is called an isolating set of $G$ if the set $V-N[S]$ is independent. The minimum cardinality of an isolating set in $G$ is the isolation number of $G$, denoted by $ι(G).$ Here we introduce the isolation subdivision number of a graph $G$, denoted by ${\rm sd}_ι(G)$, as the minimum number of edges of $G$ that must be subdivided, where each edge can be subdivided at most once, in order to obtain a graph with isolation number greater than $ι(G).$ We show that the new parameter is well defined for any non-trivial graph different from a star and that it can be arbitrarily large. We present the values of this parameter for some elementary classes of graphs and establish some basic properties. We show also that $1\leq {\rm sd}_ι(T)\leq 4$ for any tree $T$ different from a star and characterize all trees $T$ with ${\rm sd}_ι(T)=1.$
Upper Bounds for the Largest Laplacian Eigenvalue of Simplicial Complexes
Let $K$ be a finite $r$-dimensional simplicial complex with vertex set $V$ of size $n$. We study the largest eigenvalue of the combinatorial $(r-1)$-up Laplacian $L^{\operatorname{up}}_{r-1}(K)$. It is known that \[ λ_{\max}\bigl(L^{\operatorname{up}}_{r-1}(K)\bigr)\le n. \] We first give a homological equality criterion for this universal bound, namely, the equality holds if and only if the $r$-dimensional complement $K^c$ of $K$ has a nonzero reduced homology $\widetilde H_{r-1}(K^c,\mathbb{R})$. For $r=1$, this is the classical graph condition that the complement graph is disconnected.
Secondly, we prove a sharper upper bound for $λ_{\max}(L^{\operatorname{up}}_{r-1}(K))$: \[ λ_{\max}(L^{\operatorname{up}}_{r-1}(K)) \le \max_{F\in S_r(K)} \bigl|\bigcup_{E \in \partial F} N_K(E) \bigr| \le n,\] where, for an $(r-1)$-face $E$, $N_K(E)$ denotes the set of vertices $u$ outside $E$ such that the union $E \cup \{u\}$ is an $r$-face of $K$. This is the high-dimensional analog of the graph Laplacian bound. We give an explicit characterization of the equality case, and construct a broad family attaining the bound, namely, the partite semiregular complexes with admissible additions.
Occupation Ideals and Parikh Images in Markov Support Dynamics
We introduce a commutative-algebraic framework for studying occupation patterns in directed support graphs associated with discrete-time Markov chains. Given an initial state, the support graph determines a regular language whose words are the admissible state trajectories. Applying the Parikh map, each trajectory is represented by its occupation vector, recording the number of visits to each state. Equivalently, each trajectory defines a monomial whose exponents are its occupation numbers. For each time $n$, we associate a monomial ideal generated by the Parikh monomials of all admissible trajectories of length $n$. The minimal generators of this ideal encode the distinct occupation patterns realized at that time. This construction embeds occupation patterns into combinatorial commutative algebra and separates three levels of support complexity: reachability growth, trajectory growth, and occupation-pattern growth. The framework provides an algebraic and combinatorial layer attached to the directed support structure of a Markov chain. It connects regular languages, Parikh images, monomial ideals, symbolic dynamics, and support graphs. Examples illustrate how occupation ideals reflect branching, recurrence, transience, and local oscillation in the underlying graph.
Setwise Distinguishable Permutations
A family of permutations of $[n]$ is called setwise distinguishable if for every permutation in the family there exists a subset of $[n]$ whose image under this permutation differs from its image under any other permutation in the family. We prove that there exists a setwise distinguishable family of $2^{(2-o(1)) \cdot n}$ permutations of $[n]$. The result is optimal up to the $o(1)$ term in the exponent and is achieved through an explicit construction. As an application, we obtain nearly tight conditional lower bounds on the kernelization complexity of graph coloring problems parameterized by the vertex-deletion distance to split graphs. This improves a result of Jansen and Kratsch (Inf. Comput., 2013).
Connectivity preserving spanning $(u,v)$-paths in $k$-connected graphs
Hasunuma [Graphs Combin. 41:10 (2025)] proved that for $k\ge 2$, there exists a function $f(k)=O(k)$ such that every $k$-connected graph $G$ of order $n\ge f(k)$ with $δ(G)\ge \frac{n}{2}$ contains a Hamiltonian cycle $H$ such that $G-E(H)$ is $k$-connected. In this paper, we show that for $k\ge 2$, if $G$ is a $k$-connected graph of order $n\ge 6k+6$ with minimum degree at least $\frac{n+1}{2}$, then for any two distinct vertices $u,v\in V(G)$, there exists a Hamiltonian $(u,v)$-path $P$ such that $G-E(P)$ is $k$-connected. Moreover, we further extend this result to $s$ internally disjoint spanning $(u,v)$-paths.
Ask zeta functions of central hyperplane arrangements
Given a central hyperplane arrangement $\mathcal{A}$ defined over a field of characteristic zero, we construct matrices of linear forms whose local ask zeta functions are recovered by the Igusa local zeta function of the cone over $\mathcal{A}$. Our construction extends a previously established connection between ask zeta function of hypergraphs and the Igusa local zeta function of Boolean arrangements. From a combinatorial standpoint, we introduce the truncated flag Hilbert-Poincaré series of $\mathcal{A}$, obtained as a rank specialisation of the flag Hilbert-Poincaré series of the cone over $\mathcal{A}$. Whenever $\mathcal{A}$ admits good reduction over the finite field $\mathbb{F}_q$, suitable substitutions of the variables of its truncated flag Hilbert-Poincaré series recover the local ask zeta functions associated with $\mathcal{A}$. Such formulae provide a means to study the analytic properties of the ask zeta functions considered, as well as to derive their reduced and topological relatives.
Resolving subcategories for gentle algebras III: Tilting modules for gentle tree algebras
This paper is the third part of a series that intends to study the resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$.
As in the previous two papers, we continue to focus on gentle trees $(Q,R)$. Via a modified surface model for gentle algebras with finite global dimension, we developed combinatorial, poset, and quiver representation techniques that allow one to calculate all the resolving subcategories of $\mathbb{K}Q/\langle R \rangle$-mod. Furthermore, they enable one to calculate the resolving subcategory generated by any collection of $\mathbb{K}Q/\langle R \rangle$-modules.
In this paper, based on those techniques, we give a combinatorial realization of the Auslander--Reiten one-to-one correspondence between resolving subcategories and tilting modules in $\mathbb{K}Q/\langle R \rangle$-mod.