Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Factorization of certain Macdonald Littlewood-Richardson coefficients
We find and prove a factorization formula for certain Macdonald Littlewood-Richardson coefficients $c_{λμ}^ν(q,t)$. Namely, we consider the case that the Kostka number $K_{μ, ν-λ}$ is $1$. This settles a particular case of a more general conjecture of Richard Stanely. This conjecture proposes that a factorization formula exists whenever the corresponding regular Littlewood-Richardson coefficient $c^ν_{λμ}$ is $1$.
Self-complementary distance-regular Cayley graphs over abelian groups
In this paper, we study self-complementary distance-regular Cayley graphs over abelian groups. We prove that if a regular graph is self-complementary distance-regular, then it is self-complementary strongly regular. We also deal with self-complementary strongly regular Cayley graphs over abelian groups and give an example of a self-complementary strongly regular Cayley graph over a non-elementary abelian group.
A New Formula for the Determinant and Bounds on Its Tensor and Waring Ranks
Published in Combinator. Probab. Comp. 33 (2024) 769-794
• View Publication
• BIB
We present a new explicit formula for the determinant that contains superexponentially fewer terms than the usual Leibniz formula. As an immediate corollary of our formula, we show that the tensor rank of the $n \times n$ determinant tensor is no larger than the $n$-th Bell number, which is much smaller than the previously best known upper bounds when $n \geq 4$. Over fields of non-zero characteristic we obtain even tighter upper bounds, and we also slightly improve the known lower bounds. In particular, we show that the $4 \times 4$ determinant over $\mathbb{F}_2$ has tensor rank exactly equal to $12$. Our results also improve upon the best known upper bound for the Waring rank of the determinant when $n \geq 17$, and lead to a new family of axis-aligned polytopes that tile $\mathbb{R}^n$.
Distance-regular graphs admitting a perfect $1$-code
Published
• View Publication
• BIB
In this paper, we study the problem that which of distance-regular graphs admit a perfect $1$-code. Among other results, we characterize distance-regular line graphs which admit a perfect $1$-code. Moreover, we characterize all known distance-regular graphs with small valency at most $4$, the distance-regular graphs with known putative intersection arrays for valency $5$, and all distance-regular graphs with girth $3$ and valency $6$ or $7$ which admit a perfect $1$-code.
Universal minima of potentials of certain spherical designs contained in the fewest parallel hyperplanes
We find the set of all universal minimum points of the potential of the $16$-point sharp code on $S^4$ and (more generally) of the demihypercube on $S^d$, $d\geq 5$, as well as of the $2_{41}$ polytope on $S^7$. We also extend known results on universal minima of three sharp configurations on $S^{20}$ and $S^{21}$ containing no antipodal pair to their symmetrizations about the origin. Finally, we prove certain general properties of spherical $(2m-1)$-designs contained in as few as $m$ parallel hyperplanes (all but one configuration considered here possess this property).
Spectral extremal graphs without intersecting triangles as a minor
Published
• View Publication
• BIB
Let $F_s$ be the friendship graph obtained from $s$ triangles by sharing a common vertex. For fixed $s\ge 2$ and sufficiently large $n$, the $F_s$-free graphs of order $n$ which attain the maximal spectral radius was firstly characterized by Cioabă, Feng, Tait and Zhang [Electron. J. Combin. 27 (4) (2020)],and later uniquely determined by Zhai, Liu and Xue [Electron. J. Combin. 29 (3) (2022)]. Recently, the spectral extremal problems was widely studied for graphs containing no $H$ as a minor. For instance, Tait [J. Combin. Theory Ser. A 166 (2019)], Zhai and Lin [J. Combin. Theory Ser. B 157 (2022)] solved the case $H=K_r$ and $H=K_{s,t}$, respectively. Motivated by these results, we consider the spectral extremal problems in the case $H=F_s$. We shall prove that $K_s \vee I_{n-s}$ is the unique graph that attain the maximal spectral radius over all $n$-vertex $F_s$-minor-free graphs. Moreover, let $Q_t$ be the graph obtained from $t$ copies of the cycle of length $4$ by sharing a common vertex. We also determine the unique $Q_t$-minor-free graph attaining the maximal spectral radius. Namely, $K_t \vee M_{n-t}$, where $M_{n-t}$ is a graph obtained from an independent set of order $n-t$ by embedding a matching consisting of $\lfloor \frac{n-t}{2}\rfloor$ edges.
On the graph of non-degenerate linear $[n,2]_2$ codes
Published
• View Publication
• BIB
Consider the Grassmann graph of $k$-dimensional subspaces of an $n$-dimensional vector space over the $q$-element field, $1<k<n-1$. Every automorphism of this graph is induced by a semilinear automorphism of the corresponding vector space or a semilinear isomorphism to the dual vector space; the second possibility is realized only for $n=2k$. Let $Γ(n,k)_q$ be the subgraph of the Grassman graph formed by all non-degenerate linear $[n,k]_q$ codes. If $q\ge 3$ or $k\ge 3$, then every isomorphism of $Γ(n,k)_{q}$ to a subgraph of the Grassmann graph can be uniquely extended to an automorphism of the Grassmann graph. For $q=k=2$ there is an isomorphism of $Γ(n,k)_{q}$ to a subgraph of the Grassmann graph which does not have this property. In this paper, we show that such exceptional isomorphism is unique up to an automorphism of the Grassmann graph.
Proportion of blocking curves in a pencil
Published in Discrete Math. 349 (2026), no. 1, Paper No. 114668, 7pp
• View Publication
• BIB
Let $\mathcal{L}$ be a pencil of plane curves defined over $\mathbb{F}_q$ with no $\mathbb{F}_q$-points in its base locus. We investigate the number of curves in $\mathcal{L}$ whose $\mathbb{F}_q$-points form a blocking set. When the degree of the pencil is allowed to grow with respect to $q$, we show that the geometric problem can be translated into a purely combinatorial problem about disjoint blocking sets. We also study the same problem when the degree of the pencil is fixed.
Nonperiodic tilings related to Stern's diatomic series and based on tiles decorated with elements of $\mathbb{F}_p$
This paper presents the construction and various properties of substitution tilings related to Stern's diatomic series and based on tiles decorated with elements of $\mathbb{F}_p$ for some odd prime number $p$. These substitution tilings are additive in a sense that will be clarified later and lead to new nonperiodic tilings in one and two dimensions.
Forced Capture Hnefatafl
We define a new, partizan, loopy combinatorial game, Forced-Capture Hnefatafl, similar to Hnefatafl, except that players are forced to make capturing moves when available. We show that this game is PSPACE-hard using a reduction from Constraint Logic, making progress towards classifying proper Hnefatafl.
Lower bounds for multicolor van der Waerden numbers
Published
• View Publication
• BIB
We give an exponential improvement to the diagonal van der Waerden numbers for $r\ge 5$ colors.
Polyhedral realizations for crystal bases of integrable highest weight modules and combinatorial objects of type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$, ${\rm D}^{(2)}_{n}$
Published
• View Publication
• BIB
In this paper, we consider polyhedral realizations for crystal bases $B(λ)$ of irreducible integrable highest weight modules of a quantized enveloping algebra $U_q(\mathfrak{g})$, where $\mathfrak{g}$ is a classical affine Lie algebra of type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$ or ${\rm D}^{(2)}_{n}$. We will give explicit forms of polyhedral realizations in terms of extended Young diagrams or Young walls that appear in the representation theory of quantized enveloping algebras of classical affine type. As an application, a combinatorial description of $\varepsilon_k^*$ functions on $B(\infty)$ will be given.
Large monochromatic components in hypergraphs with large minimum codegree
Published
• View Publication
• BIB
A result of Gyárfás says that for every $3$-coloring of the edges of the complete graph $K_n$, there is a monochromatic component of order at least $\frac{n}{2}$, and this is best possible when $4$ divides $n$. Furthermore, for all $k\geq 3$ and every $(k+1)$-coloring of the edges of the complete $k$-uniform hypergraph $K_n^{k}$, there is a monochromatic component of order at least $\frac{kn}{k+1}$ and this is best possible for all $n$.
Recently, Guggiari and Scott and independently Rahimi proved a strengthening of the graph case in the result above which says that the same conclusion holds if $K_n$ is replaced by any graph on $n$ vertices with minimum degree at least $\frac{5n}{6}-1$; furthermore, this bound on the minimum degree is best possible.
We prove a strengthening of the $k\geq 3$ case in the result above which says that the same conclusion holds if $K_n^k$ is replaced by any $k$-uniform hypergraph on $n$ vertices with minimum $(k-1)$-degree at least $\frac{kn}{k+1}-(k-1)$; furthermore, this bound on the $(k-1)$-degree is best possible.
Four-vertex traces of finite sets
Published
• View Publication
• BIB
Let $[n]=X_1\cup X_2\cup X_3$ be a partition with $\lfloor\frac{n}{3}\rfloor \leq |X_i|\leq \lceil\frac{n}{3}\rceil$ and define $\mathcal{G}=\{G\subset [n]\colon |G\cap X_i|\leq 1, 1\leq i\leq 3\}$. It is easy to check that the trace $\mathcal{G}_{\mid Y}:=\{G\cap Y\colon G\in \mathcal{G}\}$ satisfies $|\mathcal{G}_{\mid Y}|\leq 12$ for all 4-sets $Y\subset [n]$. For $n\geq 25$ it is proven that whenever $\mathcal{F}\subset 2^{[n]}$ satisfies $|\mathcal{F}|>|\mathcal{G}|$ then $|\mathcal{F}_{\mid C}|\geq 13$ for some $C\subset [n]$, $|C|=4$. Several further results of a similar flavor are established as well.
On lattice tilings of $\mathbb{Z}^{n}$ by limited magnitude error balls $\mathcal{B}(n,2,1,1)$
Published
• View Publication
• BIB
Limited magnitude error model has applications in flash memory. In this model, a perfect code is equivalent to a tiling of $\mathbb{Z}^n$ by limited magnitude error balls. In this paper, we give a complete classification of lattice tilings of $\mathbb{Z}^n$ by limited magnitude error balls $\mathcal{B}(n,2,1,1)$.
The Poincaré-extended ab-index
Published
• View Publication
• BIB
Motivated by a conjecture concerning Igusa local zeta functions for intersection posets of hyperplane arrangements, we introduce and study the Poincaré-extended ab-index, which generalizes both the ab-index and the Poincaré polynomial. For posets admitting R-labelings, we give a combinatorial description of the coefficients of the extended ab-index, proving their nonnegativity. In the case of intersection posets of hyperplane arrangements, we prove the above conjecture of the second author and Voll as well as another conjecture of the second author and Kühne. We also define the pullback ab-index generalizing the cd-index of face posets for oriented matroids. Our results recover, generalize and unify results from Billera-Ehrenborg-Readdy, Bergeron-Mykytiuk-Sottile-van Willigenburg, Saliola-Thomas, and Ehrenborg. This connection allows us to translate our results into the language of quasisymmetric functions, and-in the special case of symmetric functions-make a conjecture about Schur positivity. A proof of this conjecture now appears an appendix by Ricky Ini Liu.
A "network of networks" (from history to algebra)
Recall first the algebraic treatment of flows or tensions in a transportation network $N$, i.e. a connected antisymmetric 1-graph $G(X, U)$. Assume that, unusually, we take the values of flows (resp. tensions) in $\mathbb{C}$. So the algebraic lattices $Γ$ of flow (resp. tension) values associated to $G(X, U)$ are lattices of $\mathbb{C}$. These lattices are congruent modulo the action of the special linear group SL($2, \mathbb{C}$). Then, it is well known one can define a lattice function $G_{k}(Γ)$, as a modular function of weight $2k$, on the set $\mathcal{R}$ of all lattices of $\mathbb{C}$. Let now $N_{1}, N_{2}, ..., N_{p}$ be connected antisymmetric 1-graphs and $C_{n}$, the set of hermitian symmetric matrices $n \times n$. Let also $\mathcal{R'} $ be the set of all the lattices of $C_{n}$. The previous structure can be transposed to any $ n \times n $ symmetric hermitian matrices of flow (or tension) values of the $G_{i}$. In this case, the Siegel space $S_{n}= C_{n}$ replaces the Poincaré half-plane, and the symplectic group Sp$(2n, \mathbb{R})$ takes the place of the special linear group SL($2, \mathbb{C}$). We get now the new lattice function as a function of all the lattices of $S_{n}$, i.e. a model of the "network of networks" $\mathcal{R'}$. In the end, we study the tree of minimal length of $\mathcal{R'}$.
Edge Constrained Eulerian Extensions
Published
• View Publication
• BIB
In this paper we study Eulerian extensions with edge constraints and use the probabilistic method to establish sufficient conditions for a given connected graph to be a subgraph of a Eulerian graph containing $m$ edges, for a given number $m$.
Automorphisms of the canonical double cover of a toroidal grid
Published
• View Publication
• BIB
The Cartesian product of two cycles (of length m and length n) has a natural embedding on the torus, such that each face of the embedding is a 4-cycle. The toroidal grid Qd(m,n,r) is a generalization of this in which there is a shift by r when traversing the meridian of length m.
In 2008, Steve Wilson found two interesting infinite families of (nonbipartite) toroidal grids that are unstable. (By definition, this means that the canonical bipartite double cover of the grid has more than twice as many automorphisms as the grid has.) It is easy to see that bipartite grids are also unstable, because the canonical double cover is disconnected. Furthermore, there are degenerate cases in which there exist two different vertices that have the same neighbours. This paper proves Wilson's conjecture that Qd(m,n,r) is stable for all other values of the parameters.
In addition, we prove an analogous conjecture of Wilson for the triangular grids Tr(m,n,r) that are obtained by adding a diagonal to each face of Qd(m,n,r) (with all of the added diagonals parallel to each other).
Two spectral extremal results for graphs with given order and rank
Published
• View Publication
• BIB
The spectral radius and rank of a graph are defined to be the spectral radius and rank of its adjacency matrix, respectively. It is an important problem in spectral extremal graph theory to determine the extremal graph that has the maximum or minimum spectral radius over certain families of graphs. Monsalve and Rada [Extremal spectral radius of graphs with rank 4, Linear Algebra Appl. 609 (2021) 1-11] obtained the extremal graphs with maximum and minimum spectral radii among all graphs with order n and rank 4. In this paper, we first determine the extremal graph which attains the maximum spectral radius among all graphs with any given order n and rank r, and further determine the extremal graph which attains the minimum spectral radius among all graphs with order n and rank 5.