Showing 20 papers (Total: 83842 papers, 48355 authors in database)
A bivariate $Q$-polynomial structure for the non-binary Johnson scheme
The notion of multivariate $P$- and $Q$-polynomial association scheme has been introduced recently, generalizing the well-known univariate case. Numerous examples of such association schemes have already been exhibited. In particular, it has been demonstrated that the non-binary Johnson scheme is a bivariate $P$-polynomial association scheme. We show here that it is also a bivariate $Q$-polynomial association scheme for some parameters. This provides, with the $P$-polynomial structure, the bispectral property (i.e. the recurrence and difference relations) of a family of bivariate orthogonal polynomials made out of univariate Krawtchouk and dual Hahn polynomials. The algebra based on the bispectral operators is also studied together with the subconstituent algebra of this association scheme.
Menger's Theorem in bidirected graphs
Bidirected graphs are a generalisation of directed graphs that arises in the study of undirected graphs with perfect matchings. Menger's famous theorem - the minimum size of a set separating two vertex sets $X$ and $Y$ is the same as the maximum number of disjoint paths connecting them - is generally not true in bidirected graphs. We introduce a sufficient condition for $X$ and $Y$ which yields a version of Menger's Theorem in bidirected graphs that in particular implies its directed counterpart.
Bipartite Determinantal Ideals and concurrent vertex maps
Published
• View Publication
• BIB
Bipartite determinantal ideals are introduced by Illian and the author as a vast generalization of the classical determinantal ideals intensively studied in commutative algebra, algebraic geometry, representation theory and combinatorics. We introduce a combinatorial model called concurrent vertex maps to describe the Stanley-Reisner complex of the initial ideal of any bipartite determinantal ideal, and study properties and applications of this model including vertex decomposability, shelling orders, formulas of the Hilbert series and $h$-polynomials.
On flagged $K$-theoretic symmetric polynomials
Published in RIMS Kokyuroku, 2258, 48--56, (2023)
• Search Publication
We provide a fermionic description of flagged skew Grothendieck polynomials, which can be seen as a $K$-theoretic counterpart of flagged skew Schur polynomials. Our proof relies on the Jacobi-Trudi type formula established by Matsumura. This result generalizes the author's previous works on a fermionic description of skew Grothendieck polynomials and multi-Schur functions.
Crystals for shifted key polynomials
Published in Algebras and Representation Theory 28 (2025), 921-979
• View Publication
• BIB
This article continues our study of $P$- and $Q$-key polynomials, which are (non-symmetric) "partial" Schur $P$- and $Q$-functions as well as "shifted" versions of key polynomials. Our main results provide a crystal interpretation of $P$- and $Q$-key polynomials, namely, as the characters of certain connected subcrystals of normal crystals associated to the queer Lie superalgebra $\mathfrak{q}_n$. In the $P$-key case, the ambient normal crystals are the $\mathfrak{q}_n$-crystals studied by Grantcharov et al., while in the $Q$-key case, these are replaced by the extended $\mathfrak{q}_n$-crystals recently introduced by the first author and Tong. Using these constructions, we propose a crystal-theoretic lift of several conjectures about the decomposition of involution Schubert polynomials into $P$- and $Q$-key polynomials. We verify these generalized conjectures in a few special cases. Along the way, we establish some miscellaneous results about normal $\mathfrak{q}_n$-crystals and Demazure $\mathfrak{gl}_n$-crystals.
A generalization of diversity for intersecting families
Published
• View Publication
• BIB
Let $\mathcal{F}\subseteq \binom{[n]}{r}$ be an intersecting family of sets and let $Δ(\mathcal{F})$ be the maximum degree in $\mathcal{F}$, i.e., the maximum number of edges of $\mathcal{F}$ containing a fixed vertex. The \emph{diversity} of $\mathcal{F}$ is defined as $d(\mathcal{F}) := |\mathcal{F}| - Δ(\mathcal{F})$.
Diversity can be viewed as a measure of distance from the `trivial' maximum-size intersecting family given by the Erd\H os-Ko-Rado Theorem. Indeed, the diversity of this family is $0$. Moreover, the diversity of the largest non-trivial intersecting family à la Hilton-Milner is $1$.
It is known that the maximum possible diversity of an intersecting family $\mathcal{F}\subseteq \binom{[n]}{r}$ is $\binom{n-3}{r-2}$ as long as $n$ is large enough.
We introduce a generalization called the \emph{$C$-weighted diversity} of $\mathcal{F}$ as $d_C(\mathcal{F}) := |\mathcal{F}| - C \cdot Δ(\mathcal{F})$. We determine the maximum value of $d_C(\mathcal{F})$ for intersecting families $\mathcal{F} \subseteq \binom{[n]}{r}$ and characterize the maximal families for $C\in \left[0,\frac{7}{3}\right)$ as well as give general bounds for all $C$. Our results imply, for large $n$, a recent conjecture of Frankl and Wang concerning a related diversity-like measure. Our primary technique is a variant of Frankl's Delta-system method.
Extremal Peisert-type graphs without the strict-EKR property
Published in J. Combin. Theory Ser. A 206 (2024), Paper No. 105887, 42pp
• View Publication
• BIB
It is known that Paley graphs of square order have the strict-EKR property, that is, all maximum cliques are canonical cliques. Peisert-type graphs are natural generalizations of Paley graphs and some of them also have the strict-EKR property. Given a prime power $q \geq 3$, we study Peisert-type graphs of order $q^2$ without the strict-EKR property and with the minimum number of edges and we call such graphs extremal. We determine number of edges in extremal graphs for each value of $q$. If $q$ is a a square or a cube, we show the uniqueness of the extremal graph and classify all maximum cliques explicitly. Moreover, when $q$ is a square, we prove that there is no Hilton-Milner type result for the extremal graph, and show the tightness of the weight-distribution bound for both non-principal eigenvalues of this graph.
New bijective proofs pertaining to alternating sign matrices
Published
• View Publication
• BIB
The alternating sign matrices-descending plane partitions (ASM-DPP) bijection problem is one of the most intriguing open problems in bijective combinatorics, which is also relevant to integrable combinatorics. The notion of a signed set and a signed bijection is used in [Fischer, I. \& Konvalinka, M., Electron. J. Comb., 27 (2020) 3-35.] to construct a bijection between $\text{ASM}_n \times \text{DPP}_{n-1}$ and $\text{DPP}_n \times \text{ASM}_{n-1}$. Here, we shall construct a more natural alternative to a signed bijection between alternating sign matrices and shifted Gelfand-Tsetlin patterns which is presented in that paper, based on the notion of compatibility which we introduce to measure the naturalness of a signed bijection. In addition, we give a bijective proof for the refined enumeration of an extension of alternating sign matrices with $n+3$ statistics, first proved in [Fischer, I. \& Schreier-Aigner, F., Advances in Mathematics 413 (2023) 108831.].
On $k$-neighborly reorientations of oriented matroids
Published
• View Publication
• BIB
We study the existence and the number of $k$-neighborly reorientations of an oriented matroid. This leads to $k$-variants of McMullen's problem and Roudneff's conjecture, the case $k=1$ being the original statements on complete cells in arrangements. Adding to results of Larman and García-Colín, we provide new bounds on the $k$-McMullen's problem and prove the conjecture for several ranks and $k$ by computer. Further, we show that $k$-Roudneff's conjecture for fixed rank and $k$ reduces to a finite case analyse. As a consequence we prove the conjecture for odd rank $r$ and $k=\frac{r-1}{2}$ as well as for rank $6$ and $k=2$ with the aid of the computer.
Graph decomposition techniques for solving combinatorial optimization problems with variational quantum algorithms
Published
• View Publication
• BIB
The quantum approximate optimization algorithm (QAOA) has the potential to approximately solve complex combinatorial optimization problems in polynomial time. However, current noisy quantum devices cannot solve large problems due to hardware constraints. In this work, we develop an algorithm that decomposes the QAOA input problem graph into a smaller problem and solves MaxCut using QAOA on the reduced graph. The algorithm requires a subroutine that can be classical or quantum--in this work, we implement the algorithm twice on each graph. One implementation uses the classical solver Gurobi in the subroutine and the other uses QAOA. We solve these reduced problems with QAOA. On average, the reduced problems require only approximately 1/10 of the number of vertices than the original MaxCut instances. Furthermore, the average approximation ratio of the original MaxCut problems is 0.75, while the approximation ratios of the decomposed graphs are on average of 0.96 for both Gurobi and QAOA. With this decomposition, we are able to measure optimal solutions for ten 100-vertex graphs by running single-layer QAOA circuits on the Quantinuum trapped-ion quantum computer H1-1, sampling each circuit only 500 times. This approach is best suited for sparse, particularly $k$-regular graphs, as $k$-regular graphs on $n$ vertices can be decomposed into a graph with at most $\frac{nk}{k+1}$ vertices in polynomial time. Further reductions can be obtained with a potential trade-off in computational time. While this paper applies the decomposition method to the MaxCut problem, it can be applied to more general classes of combinatorial optimization problems.
Combinatorial commutative algebra rules
An algorithm is presented that generates sets of size equal to the degree of a given variety defined by a homogeneous ideal. This algorithm suggests a versatile framework to study various problems in combinatorial algebraic geometry and related fields.
Low-complexity approximations for sets defined by generalizations of affine conditions
Let $p$ be a prime, let $S$ be a non-empty subset of $\mathbb{F}_p$ and let $0<ε\leq 1$. We show that there exists a constant $C=C(p, ε)$ such that for every positive integer $k$, whenever $φ_1, \dots, φ_k: \mathbb{F}_p^n \rightarrow \mathbb{F}_p$ are linear forms and $E_1, \dots, E_k$ are subsets of $\mathbb{F}_p$, there exist linear forms $ψ_1, \dots, ψ_C: \mathbb{F}_p^n \rightarrow \mathbb{F}_p$ and subsets $F_1, \dots, F_C$ of $\mathbb{F}_p$ such that the set $U=\{x \in S^n: ψ_1(x) \in F_1, \dots, ψ_C(x) \in F_C\}$ is contained inside the set $V=\{x \in S^n: φ_1(x) \in E_1, \dots, φ_k(x) \in E_k\}$, and the difference $V \setminus U$ has density at most $ε$ inside $S^n$. We then generalize this result to one where $φ_1, \dots, φ_k$ are replaced by homomorphisms $G^n \to H$ for some pair of finite Abelian groups $G$ and $H$, and to another where they are replaced by polynomial maps $\mathbb{F}_p^n \to \mathbb{F}_p$ of small degree.
Separating path systems in trees
Published
• View Publication
• BIB
For a graph $G$, an edge-separating (resp. vertex-separating) path system of $G$ is a family of paths in $G$ such that for any pair of edges $e_1, e_2$ (resp. pair of vertices $v_1, v_2$) of $G$ there is at least one path in the family that contains one of $e_1$ and $e_2$ (resp. $v_1$ and $v_2$) but not the other.
We determine the size of a minimum edge-separating path system of an arbitrary tree $T$ as a function of its number of leaves and degree-two vertices. We obtain bounds for the size of a minimal vertex-separating path system for trees, which we show to be tight in many cases. We obtain similar results for a variation of the definition, where we require the path system to separate edges and vertices simultaneously. Finally, we investigate the size of a minimal vertex-separating path system in Erdős--Rényi random graphs.
Fusions of the Tensor Square of a Strongly Regular Graph
Published
• View Publication
• BIB
In this paper we determine all fusions of the association scheme $\mathcal{A} \otimes \mathcal{A}$, where $\mathcal{A}$ is the symmetric rank $3$ association scheme corresponding to a strongly regular graph. This includes both guaranteed fusions, which are fusions for all symmetric rank $3$ association schemes $\mathcal{A}$, and specific case fusions, which only exist under restrictions on the parameters of the association scheme. Along the way we will determine the fusions of wreath products of strongly regular graphs and the fusions of the tensor square of a symmetric rank $3$ table algebra. This extends recent work of the authors and Meagher, which solved the same problem for the generalized Hamming scheme $H(2,\mathcal{A})$ of the association scheme obtained from a strongly regular graph. The main results of this article show (1) the families of strongly regular graphs for which $\mathcal{A} \otimes \mathcal{A}$ has a special case fusion are the same families for which $H(2,\mathcal{A})$ has a special case fusion; and (2) the imprimitive strongly regular graphs are the only family of strongly regular graphs for which the wreath product $\mathcal{A} \wr \mathcal{A}$ has a special case fusion.
On the dynamics of the line operator $Λ_{\{2\},\{3\}}$ on some arrangements of six lines
Published
• View Publication
• BIB
The operator $Λ_{\{2\},\{3\}}$ acting on line arrangements is defined by associating to a line arrangement \mathcal{A}, the line arrangement which is the union of the lines containing exactly three points among the double points of \mathcal{A}. We say that six lines not tangent to a conic form an unassuming arrangement if the singularities of their union are only double points, but the dual line arrangement has six triple points, six 5-points and 27 double points. The moduli space of unassuming arrangements is the union of a point and a line. The image by the operator $Λ_{\{2\},\{3\}}$ of an unassuming arrangement is again an unassuming arrangement. We study the dynamics of the operator $Λ_{\{2\},\{3\}}$ on these arrangements and we obtain that the periodic arrangements are related to the Ceva arrangements of lines.
On some operators acting on line arrangements and their dynamics
Published
• View Publication
• BIB
We study some natural operators acting on configurations of points and lines in the plane and remark that many interesting configurations are fixed points for these operators. We review ancient and recent results on line or point arrangements though the realm of these operators. We study the first dynamical properties of the iteration of these operators on some line arrangements.
Fast Matrix Multiplication Without Tears: A Constraint Programming Approach
It is known that the multiplication of an $N \times M$ matrix with an $M \times P$ matrix can be performed using fewer multiplications than what the naive $NMP$ approach suggests. The most famous instance of this is Strassen's algorithm for multiplying two $2\times 2$ matrices in 7 instead of 8 multiplications. This gives rise to the constraint satisfaction problem of fast matrix multiplication, where a set of $R < NMP$ multiplication terms must be chosen and combined such that they satisfy correctness constraints on the output matrix. Despite its highly combinatorial nature, this problem has not been exhaustively examined from that perspective, as evidenced for example by the recent deep reinforcement learning approach of AlphaTensor. In this work, we propose a simple yet novel Constraint Programming approach to find non-commutative algorithms for fast matrix multiplication or provide proof of infeasibility otherwise. We propose a set of symmetry-breaking constraints and valid inequalities that are particularly helpful in proving infeasibility. On the feasible side, we find that exploiting solver performance variability in conjunction with a sparsity-based problem decomposition enables finding solutions for larger (feasible) instances of fast matrix multiplication. Our experimental results using CP Optimizer demonstrate that we can find fast matrix multiplication algorithms for matrices up to $3\times 3$ in a short amount of time.
On the computation of homology of type A real flag manifolds
In this paper, we present a closed, computable formula for the cellular homology coefficients of real flag manifolds associated with split real forms of type A. We demonstrate the process using movements within the code diagram for permutations. Additionally, we compute the third and fourth homology groups and provide generators for the free part up to the sixth homology group.
Complete $(q+1)$-arcs in $\mathrm{PG}(2,\mathbb{F}_{q^6})$ from the Hermitian curve
Published
• View Publication
• BIB
We prove that, if $q$ is large enough, the set of the $\mathbb{F}_{q^6}$-rational points of the Hermitian curve is a complete $(q+1)$-arc in $\mathrm{PG}(2,\mathbb{F}_{q^6})$, addressing an open case from a recent paper by Korchmáros, Szőnyi and Nagy. An algebraic approach based on the investigation of some algebraic varieties attached to the arc is used.
The $q$-Analogue of Zero Forcing for Certain Families of Graphs
Published
• View Publication
• BIB
Zero forcing is a combinatorial game played on a graph with the ultimate goal of changing the colour of all the vertices at minimal cost. Originally this game was conceived as a one player game, but later a two-player version was devised in-conjunction with studies on the inertia of a graph, and has become known as the $q$-analogue of zero forcing. In this paper, we study and compute the $q$-analogue zero forcing number for various families of graphs. We begin with by considering a concept of contraction associated with trees. We then significantly generalize an equation between this $q$-analogue of zero forcing and a corresponding nullity parameter for all threshold graphs. We close by studying the $q$-analogue of zero forcing for certain Kneser graphs, and a variety of cartesian products of structured graphs.