Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Highest Weight Varieties and Narayana Numbers
In this exposition, we compute the hilbert series of the coordinate ring of some highest weight varieties. We also explain why Narayana numbers (and their generalizations) appear naturally in the numerator of the hilbert series of the coordinate ring of complex grassmanian Gr(d,n+d+1) and of the minimal nilpotent adjoint orbit in sl_n(C). These calculations might be related to some cluster algebra structures.
Euler characteristics of affine ADE Nakajima quiver varieties via collapsing fibers
Published in J. Lond. Math. Soc., Vol 111, Issue 2 (2025), e70074
• View Publication
• BIB
We prove a universal substitution formula that compares generating series of Euler characteristics of Nakajima quiver varieties associated with affine ADE diagrams at generic and at certain nongeneric stability conditions via a study of collapsing fibres in the associated variation of GIT map, unifying and generalising earlier results of the last two authors with Némethi and of Nakajima. As a special case, we compute generating series of Euler characteristics of noncommutative Quot schemes of Kleinian orbifolds. In type A and rank 1, we give a second, combinatorial proof of our substitution formula, using torus localisation and partition enumeration. This gives a combinatorial model of the fibers of the variation of GIT map, and also leads to relations between our results and the representation theory of the affine and finite Lie algebras in type A.
The weak Lefschetz property of artinian algebras associated to paths and cycles
Published
• View Publication
• BIB
Given a base field $\Bbbk$ of characteristic zero, for each graph $G$, we associate the artinian algebra $A(G)$ defined by the edge ideal of $G$ and the squares of the variables. We study the weak Lefschetz property of $A(G)$. We classify some classes of graphs with relatively few edges, including paths and cycles, such that its associated artinian ring has the weak Lefschetz property.
Minimum Decomposition on Maxmin Trees
Maxmin trees are trees that consist of nodes that are either local minimums or maximums. Such trees were first studied by Postnikov. Later Dugan, Glennon, Gunnells, and Steingrimsson introduced the concept of weight to these trees and proved a bijection between maximum weight maxmin trees and permutations, defining weights for permutations. In addition, the q-Eulerian polynomial $E_n(x, q)$ is defined which relates descents and weights of permutations. This polynomial was later proven to exhibit a stabilization phenomenon by Agrawal et al. Extracting the formal power series $W_d(t)$ from the stabilization of these coefficients, $W_d(t)$ was conjectured to partially correspond to A256193. In our paper, we introduce a process called minimum decomposition to help us better understand maxmin trees. Using minimum decomposition, we present a new way to calculate the weight of different maxmin trees and prove the bijection between the coefficients of $W_d(t)$ and A256193.
The third positive element in the greedy $B_h$-set
Published in Palestine Journal of Mathematics 14 (2025), 213--216
• Search Publication
For $h \geq 1$, a $B_h$-set is a set of integers such that every integer $n$ has at most one representation in the form $n = a_{i_1} + \cdots + a_{i_h}$, where $a_{i_j} \in A$ for all $j = 1,\ldots, h$ and $a_{i_1} \leq \ldots \leq a_{i_h}$. The greedy $B_h$-set is the infinite set of nonnegative integers $\{a_0(h), a_1(h), a_2(h), \ldots \}$ constructed as follows: If $a_0(h) = 0$ and $\{a_0(h), a_1(h), a_2(h), \ldots, a_k(h) \}$ is a $B_h$-set, then $a_{k+1}(h)$ is the least positive integer such that $\{a_0(h), a_1(h), a_2(h), \ldots, a_k(h), a_{k+1}(h) \}$ is a $B_h$ set. One has $a_1(h) = 1$ and $a_2(h) = h+1$ for all $h$. Elementary proofs are given that $a_3(h) = h^2+h+1$ for all $h \geq 1$ and that $a_k(h) \leq \sum_{i=0}^{k-1} h^i$ for all $h \geq 1$ and $k \geq 1$.
On the arboricity of manifolds
The arboricity of a discrete 2-sphere is always 3. The arboricity of any other discrete 2-dimensional surface is always 4. For d-manifolds of dimension larger than 2, the arboricity can be arbitrary large and must be larger than d.
The inverse nullity pair problem and the strong nullity interlacing property
Published
• View Publication
• BIB
The inverse eigenvalue problem studies the possible spectra among matrices whose off-diagonal entries have their zero-nonzero patterns described by the adjacency of a graph $G$. In this paper, we refer to the $i$-nullity pair of a matrix $A$ as $(\operatorname{null}(A), \operatorname{null}(A(i))$, where $A(i)$ is the matrix obtained from $A$ by removing the $i$-th row and column. The inverse $i$-nullity pair problem is considered for complete graphs, cycles, and trees. The strong nullity interlacing property is introduced, and the corresponding supergraph lemma and decontraction lemma are developed as new tools for constructing matrices with a given nullity pair.
Bounds for the local properties problem for difference sets
Published in Discrete Analysis, 2025
• Search Publication
We consider the local properties problem for difference sets: we define $g(n, k, \ell)$ to be the minimum value of $\lvert A - A\rvert$ over all $n$-element sets $A \subseteq \mathbb{R}$ with the `local property' that $\lvert A' - A'\rvert \geq \ell$ for all $k$-element subsets $A' \subseteq A$. We view $k$ and $\ell$ as fixed, and study the asymptotic behavior of $g(n, k, \ell)$ as $n \to \infty$. One of our main results concerns the quadratic threshold, i.e., the minimum value of $\ell$ such that $g(n, k, \ell) = Ω(n^2)$; we determine this value exactly for even $k$, and we determine it up to an additive constant for odd $k$. We also show that for all $1 < c \leq 2$, the `threshold' for $g(n, k, \ell) = Ω(n^c)$ is quadratic in $k$; conversely, for $\ell$ quadratic in $k$, we obtain upper and lower bounds of the form $n^c$ for (not necessarily equal) constants $c > 1$. In particular, this provides the first nontrivial upper bounds in the regime where $\ell$ is quadratic in $k$.
An Alternative Proof for the Expected Number of Distinct Consecutive Patterns in a Random Permutation
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:1, Permutation Patterns 2023, Special issues (May 3, 2024) dmtcs:12458
• View Publication
• BIB
Let $π_n$ be a uniformly chosen random permutation on $[n]$. Using an analysis of the probability that two overlapping consecutive $k$-permutations are order isomorphic, the authors of a recent paper showed that the expected number of distinct consecutive patterns of all lengths $k\in\{1,2,\ldots,n\}$ in $π_n$ is $\frac{n^2}{2}(1-o(1))$ as $n\to\infty$. This exhibited the fact that random permutations pack consecutive patterns near-perfectly. We use entirely different methods, namely the Stein-Chen method of Poisson approximation, to reprove and slightly improve their result.
New extremal Type II $\mathbb{Z}_4$-codes of length 64 by the doubling method
Published
• View Publication
• BIB
Extremal Type II $\mathbb{Z}_4$-codes are a class of self-dual $\mathbb{Z}_4$-codes with Euclidean weights divisible by eight and the largest possible minimum Euclidean weight for a given length. A small number of such codes is known for lengths greater than or equal to $48.$ The doubling method is a method for constructing Type II $\mathbb{Z}_4$-codes from a given Type II $\mathbb{Z}_4$-code. Based on the doubling method, in this paper we develop a method to construct new extremal Type II $\mathbb{Z}_4$-codes starting from an extremal Type II $\mathbb{Z}_4$-code of type $4^k$ with an extremal residue code and length $48, 56$ or $64$. Using this method, we construct three new extremal Type II $\mathbb{Z}_4$-codes of length $64$ and type $4^{31}2^2$. Extremal Type II $\mathbb{Z}_4$-codes of length $64$ of this type were not known before. Moreover, the residue codes of the constructed extremal $\mathbb{Z}_4$-codes are new best known $[64,31]$ binary codes and the supports of the minimum weight codewords of the residue code and the torsion code of one of these codes form self-orthogonal $1$-designs.
Spectral measure for uniform $d$-regular digraphs
Consider the matrix $A_{\mathcal{G}}$ chosen uniformly at random from the finite set of all $N$-dimensional matrices of zero main-diagonal and binary entries, having each row and column of $A_{\mathcal{G}}$ sum to $d$. That is, the adjacency matrix for the uniformly random $d$-regular simple digraph $\mathcal{G}$. Fixing $d \ge 3$, it has long been conjectured that as $N \to \infty$ the corresponding empirical eigenvalue distributions converge weakly, in probability, to an explicit non-random limit, %measure $μ_d$ on $\mathbb{C}$, which is given by the Brown measure of the free sum of $d$ Haar unitary operators. We reduce this conjecture to bounding the decay in $N$ of the probability that the minimal singular value of the shifted matrix $A(w) = A_{\mathcal{G}} - w I$ is very small. While the latter remains a challenging task, the required bound is comparable to the recently established control on the singularity of $A_{\mathcal{G}}$. The reduction is achieved here by sharp estimates on the behavior at large $N$, near the real line, of the Green's function (aka resolvent) of the Hermitization of $A(w)$, which is of independent interest.
Ramsey goodness of fans
Published
• View Publication
• BIB
Given two graphs $G_1$ and $G_2$, the Ramsey number $r(G_1,G_2)$ refers to the smallest positive integer $N$ such that any graph $G$ with $N$ vertices contains $G_1$ as a subgraph, or the complement of $G$ contains $G_2$ as a subgraph. A connected graph $H$ is said to be $p$-good if $r(K_p,H)=(p-1)(|H|-1)+1$. A generalized fan, denoted as $K_1+nH$, is formed by the disjoint union of $n$ copies of $H$ along with an additional vertex that is connected to each vertex of $nH$. Recently Chung and Lin proved that $K_1+nH$ is $p$-good for $n\ge cp\ell/|H|$, where $c\approx 52.456$ and $\ell=r(K_{p},H)$. They also posed the question of improving the lower bound of $n$ further so that $K_1+nH$ remains $p$-good.
In this paper, we present three different methods to improve the range of $n$. First, we apply the Andrásfai-Erdős-Sós theorem to reduce $c$ from $52.456$ to $3$. Second, we utilize the approach established by Chen and Zhang to achieve a further reduction of $c$ to $2$. Lastly, we employ a new method to bring $c$ down to $1$. In addition, when $K_1+nH$ forms a fan graph $F_n$, we can further obtain a slightly more refined bound of $n$.
Covering the hypercube, the uncertainty principle, and an interpolation formula
Published
• View Publication
• BIB
We show that the minimal number of skewed hyperplanes that cover the hypercube $\{0,1\}^{n}$ is at least $\frac{n}{2}+1$, and there are infinitely many $n$'s when the hypercube can be covered with $n-\log_{2}(n)+1$ skewed hyperplanes. The minimal covering problems are closely related to uncertainty principle on the hypercube, where we also obtain an interpolation formula for multilinear polynomials on $\mathbb{R}^{n}$ of degree less than $\lfloor n/m \rfloor$ by showing that its coefficients corresponding to the largest monomials can be represented as a linear combination of values of the polynomial over the points $\{0,1\}^{n}$ whose hamming weights are divisible by $m$.
Regular packing of rooted hyperforests with root constraints in hypergraphs
Published
• View Publication
• BIB
The seminal papers of Edmonds \cite{Egy}, Nash-Williams \cite{NW} and Tutte \cite{Tu} have laid the foundations of the theories of packing arborescences and packing trees. The directed version has been extensively investigated, resulting in a great number of generalizations. In contrast, the undirected version has been marginally considered. The aim of this paper is to further develop the theories of packing trees and forests. Our main result on graphs characterizes the existence of a packing of $k$ forests, $F_1, \ldots, F_k$, in a graph $G$ such that each vertex of $G$ belongs to exactly $h$ of the forests, and in addition, each $F_i$ has between $\ell(i)$ and $\ell'(i)$ connected components and the total number of connected components in the packing is between $α$ and $β$. Finally, we extend this result to hypergraphs and dypergraphs, the latter giving a generalization of a theorem of Bérczi and Frank \cite{BF3}.
Cycle decompositions of cartesian products of two cycles
Published
• View Publication
• BIB
We say a graph $H$ decomposes a graph $G$ if there exists a partition of the edges of $G$ into subgraphs isomorphic to $H$. We seek to characterize necessary and sufficient conditions for a cycle of length $k$, denoted $C_k$, to decompose the Cartesian product of two cycles $C_m ~\square~ C_n$. We prove that if $m$ is a multiple of 3, then the Cartesian product of a cycle $C_m$ and any other cycle can be decomposed into 3 cycles of equal length. This extends work of Kotzig, who proved in 1973 that the Cartesian product of two cycles can always be decomposed into two cycles of equal length. We also show that if $k$, $m$, and $n$ are positive, and $k$ divides $4mn$ then $C_{4k}$ decomposes $C_{4m} ~\square~ C_{4n}$.
On flag-no-square $4$-manifolds
Published
• View Publication
• BIB
Which $4$-manifolds admit a flag-no-square (fns) triangulation? We introduce the "star-connected-sum" operation on such triangulations, which preserves the fns property, from which we derive new constructions of fns $4$-manifolds. In particular, we show the following: (i) there exist non-aspherical fns $4$-manifolds, answering in the negative a question by Przytycki and Swiatkowski; (ii) for every large enough integer $k$ there exists a fns $4$-manifold $M_{2k}$ of Euler characteristic $2k$, and further, (iii) $M_{2k}$ admits a super-exponential number (in $k$) of fns triangulations - at least $2^{Ω(k \log k)}$ and at most $2^{O(k^{1.5} \log k)}$.
Integer flows on triangularly connected signed graphs
Published
• View Publication
• BIB
A triangle-path in a graph $G$ is a sequence of distinct triangles $T_1,T_2,\ldots,T_m$ in $G$ such that for any $i, j$ with $1\leq i < j \leq m$, $|E(T_i)\cap E(T_{i+1})|=1$ and $E(T_i)\cap E(T_j)=\emptyset$ if $j > i+1$. A connected graph $G$ is triangularly connected if for any two nonparallel edges $e$ and $e'$ there is a triangle-path $T_1T_2\cdots T_m$ such that $e\in E(T_1)$ and $e'\in E(T_m)$. For ordinary graphs, Fan {\it et al.}~(J. Combin. Theory Ser. B 98 (2008) 1325-1336) characterize all triangularly connected graphs that admit nowhere-zero $3$-flows or $4$-flows. Corollaries of this result include integer flow of some families of ordinary graphs, such as, locally connected graphs due to Lai (J. Graph Theory 42 (2003) 211-219) and some types of products of graphs due to Imrich et al.(J. Graph Theory 64 (2010) 267-276). In this paper, Fan's result for triangularly connected graphs is further extended to signed graphs. We proved that every flow-admissible triangularly connected signed graph admits a nowhere-zero $4$-flow if and only if it is not the wheel $W_5$ associated with a specific signature. Moreover, this result is sharp since there are infinitely many unbalanced triangularly connected signed graphs admitting a nowhere-zero $4$-flow but not $3$-flow.
A complete solution for the partisan chocolate game
Published
• View Publication
• BIB
The class of Poset Take-Away games includes many interesting and difficult games. Playing on an $n$-dimensional positive quadrant (the origin being the bottom of the poset) gives rise to nim, wythoff's nim and chomp. These are impartial games. We introduce a partisan game motivated by chomp and the recent chocolate-bar version. Our game is played on a chocolate bar with alternately flavored pieces (or a checkerboard). We solve this game by showing it is equivalent to blue-red hackenbush strings. This equivalence proves that the values of game are numbers and it gives an algorithm for optimal play when there is more than one chocolate bar. The checkerboard interpretation leads to many natural questions.
Trifferent codes with small lengths
Published
• View Publication
• BIB
A code $C \subseteq \{0, 1, 2\}^n$ of length $n$ is called trifferent if for any three distinct elements of $C$ there exists a coordinate in which they all differ. By $T(n)$ we denote the maximum cardinality of trifferent codes with length. $T(5)=10$ and $T(6)=13$ were recently determined. Here we determine $T(7)=16$, $T(8)=20$, and $T(9)=27$. For the latter case $n=9$ there also exist linear codes attaining the maximum possible cardinality $27$.
Cop numbers of periodic graphs
Published
• View Publication
• BIB
A \emph{periodic graph} ${\cal G}=(G_0, G_1, G_2, \dots)$ with period $p$ is an infinite periodic sequence of graphs $G_i = G_{i + p} = (V,E_i)$, where $i \geq 0$. The graph $G=(V,\cup_i E_i)$ is called the footprint of ${\cal G}$. Recently, the arena where the Cops and Robber game is played has been extended from a graph to a periodic graph; in this case, the \emph{cop number} is also the minimum number of cops sufficient for capturing the robber. We study the connections and distinctions between the cop number $c({\cal G})$ of a periodic graph ${\cal G}$ and the cop number $c(G)$ of its footprint $G$ and establish several facts. For instance, we show that the smallest periodic graph with $c({\cal G}) = 3$ has at most $8$ nodes; in contrast, the smallest graph $G$ with $c(G) = 3$ has $10$ nodes.
We push this investigation by generating multiple examples showing how the cop numbers of a periodic graph ${\cal G}$, the subgraphs $G_i$ and its footprint $G$ can be loosely tied.
Based on these results, we derive upper bounds on the cop number of a periodic graph from properties of its footprint such as its treewidth.