Showing 20 papers (Total: 81623 papers, 47312 authors in database)
On two notions of total positivity for generalized partial flag varieties of classical Lie types
Published
• View Publication
• BIB
For Grassmannians, Lusztig's notion of total positivity coincides with positivity of the Plucker coordinates. This coincidence underpins the rich interaction between matroid theory, tropical geometry, and the theory of total positivity. Bloch and Karp furthermore characterized the (type A) partial flag varieties for which the two notions of positivity similarly coincide. We characterize the symplectic (type C) and odd-orthogonal (type B) partial flag varieties for which Lusztig's total positivity coincides with Plucker positivity.
On Vu's theorem in Waring's problem for thinner sequences
Let $k\in \mathbb{N}$ and $s\geq k(\log k+3.20032)$. Let $\mathbb{N}_{0}^{k}$ be the set of $k$-th powers of nonnegative integers. Assume that $ψ$ is an increasing function tending to infinity with $ψ(x)=o(\log x)$ and satifying some regularity conditions. Then, there exists a subsequence $\mathfrak{X}_{k}=\mathfrak{X}_{k}(s)\subset\mathbb{N}_{0}^{k}$ for which the number of representations $R_{s}(n;\mathfrak{X}_{k})$ of each $n\in\mathbb{N}$ as $$n=x_{1}^{k}+\ldots+x_{s}^{k}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ x_{i}^{k}\in\mathfrak{X}_{k}$$ satisfies the asymptotic formula $$ R_{s}(n;\mathfrak{X}_{k})\sim \mathfrak{S}(n)ψ(n)$$ for almost all natural numbers $n$, with $\mathfrak{S}(n)$ being the singular series associated to Waring's problem. If moreover $s\geq k(\log k+4.20032)$ the above conclusion holds for almost all $n\in [X,X+\log X]$ as $X\to\infty$.
Let $T(k)$ be the least natural number for which it is known that all large integers are the sum of $T(k)$ $k$-th powers of natural numbers. We also show for $k\geq 14$ and every $s\geq T(k)$ the existence of a sequence $\mathfrak{X}_{k}'\subset \mathbb{N}_{0}^{k}$ satisfying $$R_{s}(n;\mathfrak{X}_{k}')\asymp \log n$$ for every sufficiently large $n$. The latter conclusion sharpens a result of Wooley and addresses a question of Vu.
The stable maximum nullity of digraphs and $1$-DAGs
Given a digraph $D=(V,A)$ with vertex-set $V=\{1,\ldots,n\}$ and arc-set $A$, we denote by $Q(D)$ the set of all real $n\times n$ matrices $B=[b_{u,w}]$ with $b_{u,u}\not=0$ for all $u\in V$, $b_{u,w} \not= 0$ if $u\not=w$ and there is an arc from $u$ to $w$, and
$b_{u,w}=0$ if $u\not=w$ and there is no arc from $u$ to $w$. We say that a matrix $B\in Q(D)$ has the Asymmetric Strong Arnold Property (ASAP) if $X\circ B = 0$, $X^T B = 0$, and $B X^T = 0$ implies $X=0$. We define
the stable maximum nullity, $\overrightarrowν(D)$, of a digraph $D$ as the largest nullity of any matrix $A\in Q(D)$ that has the ASAP\@. We show that a digraph $D$ has $\overrightarrowν(D)\leq 1$ if and only $D$ and $\overleftarrow{D}$ a partial $1$-DAGs.
Cyclotomic enumeration of polynomials
Published in Discrete Mathematics, 349 (2026), 114688
• View Publication
• BIB
Using the cyclotomic identity we compute sums over d-tuples of monic polynomials in F_q[x] weighted by the multiplicity of their irreducible factors. As consequences we determine explicit expressions for the number of d-tuples of polynomials such that their greatest common divisor is rth power free. We also compute the number of monic polynomials where the multiplicity of each irreducible factor belongs to the monoid generated by two relatively prime integers.
Characterizations of the graphs with dominating parameters
A subset $S$ of vertices of $G$ is a \textit{dominating set} of $G$ if every vertex in $V(G)-S$ has a neighbor in $S$. The \textit{domination number} \(γ(G)\) is the minimum cardinality of a dominating set of $G$. A dominating set $S$ is a \textit{total dominating set} if $N(S)$=$V$ where $N(S)$ is the neighbor of $S$. The \textit{total domination number} \(γ_t(G)\) equals the minimum cardinality of a total dominating set of $G$. A set $D$ is an \textit{isolate set} if the induced subgragh $G[D]$ has at least one isolated vertex. The \textit{isolate number} \(i_0(G)\) is the minimum cardinality of a maximal isolate set. In this paper we study these parameters and answer open problems proposed by Hamid et al. in 2016.
Regions of Level $\ell$ of Catalan/Semiorder-Type Arrangements
In 1996, Stanley extended the classical Catalan arrangement and semiorder arrangement, which are called the Catalan-type arrangement $\mathcal{C}_{n,A}$ and the semiorder-type arrangement $\mathcal{C}_{n,A}^*$ in this paper. By establishing a labeled Dyck path model for the regions of $\mathcal{C}_{n,A}$ and $\mathcal{C}_{n,A}^*$, this paper explores several enumerative problems related to the number of regions of level $\ell$, denoted as $r_{\ell}(\mathcal{C}_{n,A})$ and $r_{\ell}(\mathcal{C}_{n,A}^*)$, which includes:
(1) proving a Stirling convolution relation between $r_{\ell}(\mathcal{C}_{n,A})$ and $r_{\ell}(\mathcal{C}_{n,A}^*)$, refining a result by Stanley and Postnikov;
(2) showing that the sequences$\left(r_\ell{(\mathcal{C}_{n,A})}\right)_{n\geq 0}$ and $(r_\ell {(\mathcal{C}_{n,A}^*)})_{n\geq 0}$ exhibit properties of binomial type in the sense of Rota;
(3) establishing the transformational significance of $r_{\ell}(\mathcal{C}_{n,A})$ and $r_{\ell}(\mathcal{C}_{n,A}^*)$ under Stanley's ESA framework: they can be viewed as transition matrices from binomial coefficients to their characteristic polynomials respectively.
Further, we present two applications of the theories and methods: first, we provide a hyperplane arrangement counting interpretation of the two-parameter generalization of Fuss--Catalan numbers, which is closely related to the number of regions of level $\ell$ in the $m$-Catalan arrangement. Second, using labeled Dyck paths to depict the number of regions in the $m$-Catalan arrangement, we algorithmically provide the inverse mapping of the Fu, Wang, and Zhu mapping.
Entropy and the growth rate of universal covering trees
This work studies the relation between two graph parameters, $ρ$ and $Λ$. For an undirected graph $G$, $ρ(G)$ is the growth rate of its universal covering tree, while $Λ(G)$ is a weighted geometric average of the vertex degree minus one, corresponding to the rate of entropy growth for the non-backtracking random walk (NBRW). It is well known that $ρ(G) \geq Λ(G)$ for all graphs, and that graphs with $ρ=Λ$ exhibit some special properties. In this work we derive an easy to check, necessary and sufficient condition for the equality to hold. Furthermore, we show that the variance of the number of random bits used by a length $\ell$ NBRW is $O(1)$ if $ρ= Λ$ and $Ω(\ell)$ if $ρ> Λ$. As a consequence we exhibit infinitely many non-trivial examples of graphs with $ρ= Λ$.
Computing eulerian magnitude homology
In this paper tackle the problem of computing the ranks of certain eulerian magnitude homology groups of a graph G. First, we analyze the computational cost of our problem and prove that it is #W[1]-complete. Then we develop the first diagonal algorithm, a breadth-first-search-based algorithm parameterized by the diameter of the graph to calculate the ranks of the homology groups of interest. To do this, we leverage the close relationship between the combinatorics of the homology boundary map and the substructures appearing in the graph. We then discuss the feasibility of the presented algorithm and consider future perspectives.
On the metric representation of the vertices of a graph
Published in Bull. Malays. Math. Sci. Soc. (2023) 46:187
• View Publication
• BIB
The metric representation of a vertex $u$ in a connected graph $G$ respect to an ordered vertex subset $W=\{ω_1, \dots , ω_n\}\subset V(G)$ is the vector of distances $r(u\vert W)=(d(u,ω_1), \dots , d(u,ω_n))$. A vertex subset $W$ is a resolving set of $G$ if $r(u\vert W)\neq r(v\vert W)$, for every $u,v\in V(G)$ with $u\neq v$. Thus, a resolving set with $n$ elements provides a set of metric representation vectors $S\subset \mathbb{Z}^n$ with cardinal equal to the order of the graph. In this paper, we address the reverse point of view, that is, we characterize the finite subsets $S\subset \mathbb{Z}^n$ that are realizable as the set of metric representation vectors of a graph $G$ with respect to some resolving set $W$. We also explore the role that the strong product of paths plays in this context. Moreover, in the case $n=2$, we characterize the sets $S\subset \mathbb{Z}^2$ that are uniquely realizable as the set of metric representation vectors of a graph $G$ with respect to a resolving set $W$.
Combinatorial flats and Schubert varieties of subspace arrangements
Published
• View Publication
• BIB
The lattice of flats $\mathcal L_M$ of a matroid $M$ is combinatorially well-behaved and, when $M$ is realizable, admits a geometric model in the form of a "Schubert variety of hyperplane arrangement". In contrast, the lattice of flats of a polymatroid exhibits many combinatorial pathologies and admits no similar geometric model.
We address this situation by defining the lattice $\mathcal L_P$ of "combinatorial flats" of a polymatroid $P$. Combinatorially, $\mathcal L_P$ exhibits good behavior analogous to that of $\mathcal L_M$: it is graded, determines $P$ when $P$ is simple, and is top-heavy. When $P$ is realizable over a field of characteristic 0, we show that $\mathcal L_P$ is modeled by "the Schubert variety of a subspace arrangement".
Our work generalizes a number of results of Ardila-Boocher and Huh-Wang on Schubert varieties of hyperplane arrangements; however, the geometry of Schubert varieties of subspace arrangements is noticeably more complicated than that of Schubert varieties of hyperplane arrangements. Many natural questions remain open.
Basis number of bounded genus graphs
The basis number of a graph $G$ is the smallest integer $k$ such that $G$ admits a basis $B$ for its cycle space, where each edge of $G$ belongs to at most $k$ members of $B$. In this note, we show that every non-planar graph that can be embedded on a surface with Euler characteristic $0$ has a basis number of exactly $3$, proving a conjecture of Schmeichel from 1981. Additionally, we show that any graph embedded on a surface $Σ$ (whether orientable or non-orientable) of genus $g$ has a basis number of $O(\log^2 g)$.
Borel-type presentation of the torus-equivariant quantum $K$-ring of flag manifolds of type $C$
Published
• View Publication
• BIB
We give a Borel-type presentation of the torus-equivariant (small) quantum $K$-ring of flag manifolds of type $C$.
Switching graphs and Hadamard matrices
Published
• View Publication
• BIB
Local operations of combinatorial structures (graphs, Hadamard matrices, codes, designs) that maintain the basic parameters unaltered, have been widely used in the literature under the name of switching. We show an equivalence between two switching methods to construct inequivalent Hadamard matrices, which were proposed by Orrick [SIAM Journal on Discrete Mathematics, 2008], and the switching method for constructing cospectral graphs which was introduced by Godsil and McKay [Aequationes Mathematicae, 1982].
On cubic rainbow domination regular graphs
Published
• View Publication
• BIB
A $d$-regular graph $X$ is called $d$-rainbow domination regular or $d$-RDR, if its $d$-rainbow domination number $γ_{rd}(X)$ attains the lower bound $n/2$ for $d$-regular graphs, where $n$ is the number of vertices. In the paper, two combinatorial constructions to construct new $d$-RDR graphs from existing ones are described and two general criteria for a vertex-transitive $d$-regular graph to be $d$-RDR are proven. A list of vertex-transitive 3-RDR graphs of small orders is produced and their partial classification into families of generalized Petersen graphs, honeycomb-toroidal graphs and a specific family of Cayley graphs is given by investigating the girth and local cycle structure of these graphs.
K5 and K3,3 are Toroidal Penny Graphs
In this article we emphasize on the connection between two fields of study that are Penny Graphs, and the Optimal Packing of Spheres on the Flat Torus. We give a brief litterature overview on related results in the fields of planar graphs, penny graphs, toroidal penny graphs and spherical codes.We also show that $K5$ and $K_{3,3}$ are penny graphs on the flat square torus.
Finding an Isomorphism between the Riordan Group and a Subgroup of the Double Riordan Group
Published
• View Publication
• BIB
The Riordan group is a set of infinite lower-triangular matrices defined by two generating functions, $g$ and $f$. The elements of the group are called Riordan arrays, denoted by $(g,f)$, and the $k$th column of a Riordan array is given by the function $gf^k$. The Double Riordan group is defined similarly using three generating functions $g$, $f_1$, and $f_2$, where $g$ is an even function and $f_1$ and $f_2$ are odd functions. This group generalizes the Checkerboard subgroup of the Riordan group, where $g$ is even and $f$ is odd. An open question posed by Davenport, Shapiro, and Woodson was if there exists an isomorphism between the Riordan group and a subgroup of the Double Riordan group. This question is answered in this article.
Clique factors in randomly perturbed graphs: the transition points
A randomly perturbed graph $G^p = G_α\cup G(n,p)$ is obtained by taking a deterministic $n$-vertex graph $G_α= (V, E)$ with minimum degree $δ(G)\geq αn$ and adding the edges of the binomial random graph $G(n,p)$ defined on the same vertex set $V$. For which value $p$ (depending on $α$) does the graph $G^p$ contain a $K_r$-factor (a spanning collection of vertex-disjoint $K_r$-copies) with high probability? The order of magnitude of the minimal value of $p$ has been determined whenever $α\neq 1- \frac{s}{r}$ for an integer $s$ (see Han, Morris, and Treglown [RSA, 2021] and Balogh, Treglown, and Wagner [CPC, 2019]).
We establish the minimal probability $p_s$ (up to a constant factor) for all values of $α= 1-\frac{s}{r} \leq \frac 12$, and show that the threshold exhibits a polynomial jump at $α= 1-\frac{s}{r}$ compared to the surrounding intervals. An extremal example $G_α$ which shows that $p_s$ is optimal up to a constant factor differs from the previous (usually multipartite) examples in containing a pseudorandom induced subgraph.
Abelian groups with 3-chromatic Cayley graphs
Published
• View Publication
• BIB
Let $G$ be an abelian group. The main theorem of this paper asserts that there exists a Cayley graph on $G$ with chromatic number 3 if and only if $G$ is not of exponent 1, 2, or 4. Although motivated by ideas from algebraic topology, our proof may be expressed purely combinatorially. As a by-product, we derive a topological result which is of independent interest. Suppose $X$ is a connected non-bipartite graph, and let $\mathcal N(X)$ denote its neighborhood complex. We show that if the fundamental group $π_1(\mathcal N(X))$ or first homology group $H_1(\mathcal N(X))$ is torsion, then the chromatic number of $X$ is at least 4. This strengthens a classical result of Lovász, which derives the same conclusion if $π_1(\mathcal N(X))$ is trivial.
The five-color hypercube Adinkra and the Jacobian of a generalized Fermat curve
Published
• View Publication
• BIB
Adinkras are highly structured graphs developed to study 1-dimensional supersymmetry algebras. A cyclic ordering of the edge colors of an Adinkra, or rainbow, determines a Riemann surface and a height function on the vertices of the Adinkra determines a divisor on this surface. We study the induced map from height functions to divisors on the Jacobian of the Riemann surface. In the first nontrivial case, a 5-dimensional hypercube corresponding to a Jacobian given by a product of 5 elliptic curves each with $j$-invariant 2048, we develop and characterize a purely combinatorial algorithm to compute height function images. We show that when restricted to a single elliptic curve, every height function is a multiple of a specified generating divisor, and raising and lowering vertices corresponds to adding or subtracting this generator. We also give strict bounds on the coefficients of this generator that appear in the collection of all divisors of height functions.
Inverse Fiedler vector problem of a graph
Published
• View Publication
• BIB
Given a graph and one of its weighted Laplacian matrix, a Fiedler vector is an eigenvector with respect to the second smallest eigenvalue. The Fiedler vectors have been used widely for graph partitioning, graph drawing, spectral clustering, and finding the characteristic set. This paper studies how the graph structure can control the possible Fiedler vectors for different weighted Laplacian matrices. For a given tree, we characterize all possible Fiedler vectors among its weighted Laplacian matrix. As an application, the characteristic set can be anywhere on a tree, except for the set containing a single leaf. For a given cycle, we characterize all possible eigenvectors corresponding to the second or the third smallest eigenvalue.