Showing 20 papers (Total: 83190 papers, 48060 authors in database)
A non-iterative straightening algorithm and orthogonality for skew Schur modules
We generalize Fulton's determinantal construction of Schur modules to the skew setting, providing an explicit and functorial presentation using only elementary linear algebra and determinantal identities, in parallel with the partition case. Building on the non-iterative straightening formula of the first author for partition shapes, we develop a non-iterative straightening algorithm for skew Schur modules that expresses arbitrary elements in a new D-basis with an explicit closed coefficient formula. We then show that this D-basis is the result of applying Gram-Schmidt orthogonalization to the semistandard tableau basis, which identifies a natural inner product on the skew Schur module and recasts straightening as an orthogonal projection.
Distance Exceptional Graphs and the Curvature Index
A graph $G=(V,E)$ on $n$ vertices is said to be \emph{distance exceptional} if the equation $D\vec{x} = \vec{1}$ admits no solution $\vec{x}\in\mathbb{R}^{n}$, where $D\in\mathbb{R}^{n\times n}$ is the shortest path distance matrix of $G$. These graphs were first studied by Steinerberger in the context of a notion of discrete curvature (``Curvature on graphs via equilibrium measures,'' \emph{Journal of Graph Theory}, 103(3), 2023). This work has led to several open questions about distance exceptional graphs, including: What is the structure of such graphs? How can they be characterized? How rare are they? In this paper, we investigate these questions through the lens of a graph invariant we term the \emph{curvature index}. We show that a graph is distance exceptional if and only if this invariant vanishes, and we develop a calculus for this invariant under graph operations including the Cartesian product and graph join. As a result, we recover and generalize a number of known results in this area. We show that any graph $G$ can be realized as an induced subgraph of a distance exceptional graph $G'$. Moreover, in many cases, this embedding is an isometry. In turn, this leads to a number of methods for constructing distance exceptional graphs.
Smith Normal Forms of Graphical Hermite Simplices
Published
• View Publication
• BIB
We introduce the family of graphical Hermite simplices and study the Smith normal forms of their matrices of vertex vectors, which is equivalent to studying the group structure of the cokernels for these matrices. Our motivation is to study the behavior of lattice simplices subject to small lattice perturbations of their vertices. In this case, a graphical Hermite simplex is a perturbation of a rectangular simplex, i.e., a simplex defined by a diagonal matrix and the origin, with the perturbation controlled by the structure of a directed graph. We first establish sufficient conditions on the graphs and diagonal entries of these matrices that imply having a single non-unit invariant factor, i.e., a cyclic cokernel. We then obtain bounds on the invariant factors of the defining matrices related to lengths of paths in the corresponding directed graph.
Zeros of Stern polynomials in the complex plane
The classical Stern sequence of positive integers was extended to a polynomial sequence $S_n(λ)$ by Klavžar et. al. by defining $S_0(λ) = 0$, $S_1(λ) = 1$, and $$S_{2n}(λ) = λS_n(λ),\quad S_{2n+1}(λ) = S_n(λ) + S_{n+1}(λ).$$ Dilcher et. al. conjectured that all roots of $S_n(λ)$ lie in the half-plane $\{\operatorname{Re} w < 1\}$. We make partial progress on this conjecture by proving that $\{|w-2| \leq 1\}\subseteq\mathbb C$ does not contain any roots of $S_n(λ)$. Our proof uses the Parabola Theorem for convergence of complex continued fractions. As a corollary, we establish a conjecture of Ulas and Ulas by showing that $S_p(λ)$ is irreducible in $\mathbb Z[λ]$ whenever $p$ is a positive prime.
A Polyhedral Perspective on the Perfect Matching Lattice
We study the perfect matching lattice of a matching covered graph $G$, generated by the incidence vectors of its perfect matchings. Building on results of Lovász and de Carvalho, Lucchesi, and Murty, we give a polynomial-time algorithm based on polyhedral methods that constructs a lattice basis for this lattice consisting of perfect matchings of $G$. By decomposing along certain odd cuts, we reduce the graph into subgraphs whose perfect matching polytopes coincide with their bipartite relaxations (known as \emph{Birkhoff von Neumann graphs}). This yields a constructive polyhedral proof of the existence of such bases and highlights new connections between combinatorial and geometric properties of perfect matchings.
Induced matching treewidth and tree-independence number, revisited
Published
• View Publication
• BIB
We study two graph parameters defined via tree decompositions: tree-independence number and induced matching treewidth. Both parameters are defined similarly as treewidth, but with respect to different measures of a tree decomposition $\mathcal{T}$ of a graph $G$: for tree-independence number, the measure is the maximum size of an independent set in $G$ included in some bag of $\mathcal{T}$, while for the induced matching treewidth, the measure is the maximum size of an induced matching in $G$ such that some bag of $\mathcal{T}$ contains at least one endpoint of every edge of the matching.
While the induced matching treewidth of any graph is bounded from above by its tree-independence number, the family of complete bipartite graphs shows that small induced matching treewidth does not imply small tree-independence number. On the other hand, Abrishami, Briański, Czyżewska, McCarty, Milanič, Rzążewski, and Walczak~[SIAM Journal on Discrete Mathematics, 2025] showed that, if a fixed biclique $K_{t,t}$ is excluded as an induced subgraph, then the tree-independence number is bounded from above by some function of the induced matching treewidth. The function resulting from their proof is exponential even for fixed $t$, as it relies on multiple applications of Ramsey's theorem. In this note we show, using the Kövári-Sós-Turán theorem, that for any class of $K_{t,t}$-free graphs, the two parameters are in fact polynomially related.
Different Forms of Imbalance in Strongly Playable Discrete Games II: Multi-Player RPS Games
Classic Rock-Paper-Scissors, RPS, has seen many variants and generalizations in the past several years. In the previous paper, we defined playability and balance for games. We used these definitions to show that different forms of imbalance agree on the most balanced and least balanced form of playable two-player n-object RPS games, referred to as (2,n)-RPS. We reintroduce these definitions here and show that, given a conjecture, the generalization of this game for m<50 players is a strongly playable RPS game. We also show that this game maximizes these forms of imbalance in the limit as the number of players goes to infinity.
A combinatorial interpretation for certain plethysm and Kronecker coefficients
Published
• View Publication
• BIB
We give explicit positive combinatorial interpretations for the plethysm coefficients $\langle s_μ[s_ν], s_λ\rangle$, when $λ$ has at most two rows, as counting certain marked trees. In the special case $μ=(n)$, this also yields a combinatorial interpretation for the corresponding rectangular Kronecker coefficient $g(λ, (n^k), (n^k))$. While it is easy to express these quantities as differences of counting problems in the complexity class $\mathrm{FP}$, putting the problem in $\#\mathrm{P}$, our interpretations give a positive counting formula over explicit marked trees.
Dot-product graphs in finite fields
Published
• View Publication
• BIB
In this paper, we study the dot-product graphs in $\mathbb{F}_q^d$. We prove that if the size of the product of two adjacent sets is large enough, then the set of dot-product graphs has positive density. Our method is based on finite field Fourier analytic techniques.
On a Compact Generalization of Association Schemes
We introduce a notion of compact association schemes, which serves as a compact analogue of classical (finite) association schemes. Our definition is formulated in a way that closely parallels the finite case, naturally admits a Bose--Mesner algebra, and includes the compact strong continuous association schemes introduced by Voit [J. Aust. Math. (2019)] within the framework of hypergroups. This approach provides a new perspective that bridges the theory of association schemes with harmonic analysis on compact homogeneous spaces.
Monadic Second-Order Logic of Permutations
Permutations can be viewed as pairs of linear orders, or more formally as models over a signature consisting of two binary relation symbols. This approach was adopted by Albert, Bouvel and Féray, who studied the expressibility of first-order logic in this setting. We focus our attention on monadic second-order logic.
Our results go in two directions. First, we investigate the expressive power of monadic second-order logic. We exhibit natural properties of permutations that can be expressed in monadic second-order logic but not in first-order logic. Additionally, we show that the property of having a fixed point is inexpressible even in monadic second-order logic.
Secondly, we focus on the complexity of monadic second-order model checking. We show that there is an algorithm deciding if a permutation $π$ satisfies a given monadic second-order sentence $\varphi$ in time $f(|\varphi|, \operatorname{tw}(π)) \cdot n$ for some computable function $f$ where $n = |π|$ and $\operatorname{tw}(π)$ is the tree-width of $π$. On the other hand, we prove that the problem remains hard even when we restrict the permutation $π$ to a fixed hereditary class $\mathcal{C}$ with mild assumptions on $\mathcal{C}$.
About subspaces the most deviating from the coordinate ones
Taking the largest principal angle as the distance function between same dimensional nontrivial linear subspaces in $\mathds{R}^n$, we describe the class of subspaces deviating from all the coordinate ones by at least $\arccos(1 / \sqrt{n})$. This study compliments and is motivated by the long-standing hypothesis put forward in \cite{GTZ1997} and essentially stating that so-defined distance to the closest coordinate subspace cannot exceed $\arccos(1 / \sqrt{n})$. In this context, the subspaces presented here claim to be the extremal ones.
Realized as the star spaces of all nontrivial 2-connected series-parallel graphs with certain edge weights and arbitrary edge directions, the given subspaces may be of interest beyond numerical linear algebra within which the original problem was formulated.
Every finite group is represented by a finite incidence geometry
Published
• View Publication
• BIB
We investigate the relationship between finite groups and incidence geometries through their automorphism structures. Building upon classical results on the realizability of groups as automorphism groups of graphs, we develop a general framework to represent pairs of finite groups $(G, H)$, where $H \trianglelefteq G$, as pairs of correlation--automorphism groups of suitable incidence geometries. Specifically, we prove that for every such pair $(G, H)$, there exists a finite incidence geometry $Γ$ satisfying that the pair $(\operatorname{Aut}(Γ), \operatorname{Aut}_I(Γ))$ of correlation--automorphism groups of $Γ$ is isomorphic to $(G, H)$. Our construction proceeds in two main steps: first, we realize $(G, H)$ as the correlation and automorphism groups of an incidence system; then, we refine this system into a genuine incidence geometry preserving the same pair of automorphisms groups. We also provide explicit examples, including a family of geometries realizing $(S_n, A_n)$ for all $n \ge 2$.
On Abel's Identity
We provide a natural duality that matches, in reverse order, the coefficients of the characteristic polynomial of the Maurer-Cartan of the Wronskian matrix with the coefficients of the original differential equation. Abel's identity is recovered as a corollary.
An identity involving counts of binary matrices
In the context of generating uniform random contingency tables with pre-specified marginals, the number of (binary) matrices with given row- and column-sums is a well-studied object in the literature. We will denote this number by $N(p,q)$, where $p$ and $q$ are the vectors of row- and column-sums. The existing literature is mainly focused on computing or approximating $N(p,q)$. In this paper, we present two identities for polynomials whose coefficients depend on the $N(p,q)$ and explore some consequences.
New upper bounds for binary linear covering codes
Published
• View Publication
• BIB
The length function $\ell_2(r,R)$ is the smallest length of a binary linear code with codimension (redundancy) $r$ and covering radius $R$. We obtain the following new upper bounds on $\ell_2(r,R)$, which yield a decrease $Δ(r,R)$ compared to the best previously known upper bounds:
\begin{equation*}
R=2,\,r=2t,\,r=18,20,\text{ and }r\ge28,\,\ell_2(r,2)\le26\cdot2^{r/2-4}-1;\,Δ(r,2)=2^{r/2-4}.
\end{equation*}
\begin{equation*}
R=3,\,r=3t-1,\,r=26\text{ and }r\ge44,\,\ell_2(r,3)\le819\cdot2^{(r-26)/3}-1;\,Δ(r,3)=2^{(r-23)/3}.
\end{equation*}
\begin{equation*}
R=4,\,r=4t,\,r=40\text{ and }r\ge68,\,\ell_2(r,4)\le2943\cdot2^{r/4-10}-1;\,Δ(r,4)=2^{r/4-10}-1.
\end{equation*}
To obtain these bounds we construct new infinite code families, using distinct versions of the $q^m$-concatenating constructions of covering codes; some of these versions are proposed in this paper. We also introduce new useful partitions of column sets of parity check matrices of some codes. The asymptotic covering densities $\overlineμ(2)\thickapprox1.3203$, $\overlineμ(3)\thickapprox1.3643$, $\overlineμ(4)\thickapprox2.8428$, provided by the codes of the new families, are smaller than the known ones.
Hermite-Jensen limits and $d$ log-concavity of $q$-multinomials
Published
• View Publication
• BIB
In 1878, Sylvester proved Cayley's Conjecture that the coefficients of the Gaussian $q$-binomial coefficients are unimodal. In 1990, O'Hara famously discovered a constructive combinatorial proof, and in 2013, Pak and Panova proved the stronger property of strict unimodality for sufficiently large parameters. We move from unimodality to log-concavity and higher degree $ d$ log-concavity, known as Turán inequalities. Although $q$-binomial coefficients are not always log- or degree $d$ log-concave, it's natural to ask to what extent these inequalities hold. In infinite families with limiting aspect ratio bounded away from zero and one, we prove that these stronger inequalities hold uniformly, for each $C>0,$ on the central window $|m-μ|< Cσ,$ where $μ$ and $σ$ are the mean and standard deviation of the normalized distribution. More generally, we obtain the same conclusions for $q$-multinomial coefficients. These results stem from the asymptotic behavior of normalized Jensen polynomials, which are approximated by Hermite polynomials.
A geometric and generating function approach to plethysm
Plethysm coefficients $\mathsf{a}_{μ[ν]}^λ$ are the structure coefficients of the plethysm of Schur functions $s_μ[s_ν] = \sum_λ \mathsf{a}_{μ[ν]}^λs_λ$. We study a bivariate generating function of plethysm coefficients when $λ$ has bounded length. We show that this generating function is rational. A key step is MacMahon's combinatory analysis. When the bound on the length is $2$ we give an explicit geometric algorithm to compute it using $q$-Ehrhart theory. We give evidence that the generating function is the quantum Ehrhart series of a union of half-open polytopes and show that it satisfies a reciprocity theorem reminiscent of Ehrhart reciprocity. Furthermore, we give a set of linear recursions that completely describe the $\mathrm{SL}_2$-plethysm coefficients.
Tensor rank and dimension expanders
We prove a lower bound on the rank of tensors constructed from families of linear maps that `expand' the dimension of every subspace. Such families, called {\em dimension expanders} have been studied for many years with several known explicit constructions. Using these constructions we show that one can construct an explicit $[D]\times [n] \times [n]$-tensor with rank at least $(2 - ε)n$, with $D$ a constant depending on $ε$. Our results extend to border rank over the real or complex numbers.
Open problems of the 33rd Workshop on Cycles and Colourings
Since its beginnings, every Cycles and Colourings workshop holds one or two open problem sessions; this document contains the problems (together with notes regarding the current state of the art and related bibliography) presented by participants of the 33rd edition of the workshop which took place in Nový Smokovec, Slovakia during August 31st - September 5th, 2025 (see the workshop webpage https://candc.upjs.sk).