Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A Relational Approach to Matroids, Simplicial Complexes and Finite Closures
The main result is Theorem MAT 11 which states that every finite closure operator is the ground set of a matroid. Its base sets consist of nonredundant covers of of the closure. These are minimal subsets that determine the closure operator using a closure algorithm from the theory of relational databases. For each hereditary collection there is one flat closure that define a matroid or simplicial complexes, but every closure defines a hereditary collection, its keys in database theory. The normalization algorithm by Maier is the basis of this paper. This follows his development, and his relevant results are cited to aid reading his original work. The main purpose of this paper is to introduce the importance of database theory into the analysis of all finite closure including the flat closures of matroids.
The minimum ABS index of trees with given number of pendent vertices
The recently developed atom-bond sum-connection (ABS) index is a variation of the well-studied graph-based molecular descriptors connectivity (Randic), atom-bond connectivity, and sum-connectivity indices.We present the minimum ABS index of trees with a given number of pendent vertices in this paper, which provides a solution to the problem proposed by A. Ali, I. Gutman and I. Redzepovic, Atom-Bond Sum-Connectivity Index of Unicyclic Graphs and Some Applications, Electron. J. Math.(2023) 1-7
Minimum Atom-Bond Sum-Connectivity Index of Trees With a Fixed Order and/or Number of Pendent Vertices
Published
• View Publication
• BIB
Let $d_u$ be the degree of a vertex $u$ of a graph $G$. The atom-bond sum-connectivity (ABS) index of a graph $G$ is the sum of the numbers $(1-2(d_v+d_w)^{-1})^{1/2}$ over all edges $vw$ of $G$. This paper gives the characterization of the graph possessing the minimum ABS index in the class of all trees of a fixed number of pendent vertices; the star is the unique extremal graph in the mentioned class of graphs. The problem of determining graphs possessing the minimum ABS index in the class of all trees with $n$ vertices and $p$ pendent vertices is also addressed; such extremal trees have the maximum degree $3$ when $n\ge 3p-2\ge7$, and the balanced double star is the unique such extremal tree for the case $p=n-2$.
$4$-choosability of planar graphs with $4$-cycles far apart via the Combinatorial Nullstellensatz
Published
• View Publication
• BIB
By a well-known theorem of Thomassen and a planar graph depicted by Voigt, we know that every planar graph is $5$-choosable, and the bound is tight. In 1999, Lam, Xu and Liu reduced $5$ to $4$ on $C_4$-free planar graphs. In the paper, by applying the famous Combinatorial Nullstellensatz, we design an effective algorithm to deal with list coloring problems. At the same time, we prove that a planar graph $G$ is $4$-choosable if any two $4$-cycles having distance at least $5$ in $G$, which extends the result of Lam et al.
Detecting Hidden Communities by Power Iterations with Connections to Vanilla Spectral Algorithms
Published
• View Publication
• BIB
Community detection in the stochastic block model is one of the central problems of graph clustering. Since its introduction, many subsequent papers have made great strides in solving and understanding this model. In this setup, spectral algorithms have been one of the most widely used frameworks. However, despite the long history of study, there are still unsolved challenges. One of the main open problems is the design and analysis of "simple"(vanilla) spectral algorithms, especially when the number of communities is large.
In this paper, we provide two algorithms. The first one is based on the power-iteration method. It is a simple algorithm which only compares the rows of the powered adjacency matrix. Our algorithm performs optimally (up to logarithmic factors) compared to the best known bounds in the dense graph regime by Van Vu (Combinatorics Probability and Computing, 2018). Furthermore, our algorithm is also robust to the "small cluster barrier", recovering large clusters in the presence of an arbitrary number of small clusters. Then based on a connection between the powered adjacency matrix and eigenvectors, we provide a vanilla spectral algorithm for large number of communities in the balanced case. This answers an open question by Van Vu (Combinatorics Probability and Computing, 2018) in the balanced case. Our methods also partially solve technical barriers discussed by Abbe, Fan, Wang and Zhong (Annals of Statistics, 2020).
In the technical side, we introduce a random partition method to analyze each entry of a powered random matrix. This method can be viewed as an eigenvector version of Wigner's trace method. Recall that Wigner's trace method links the trace of powered matrix to eigenvalues. Our method links the whole powered matrix to the span of eigenvectors. We expect our method to have more applications in random matrix theory.
Cylindric $P$-Tableaux for (3+1)-Free Posets
Published
• View Publication
• BIB
For a $(3+1)$-free poset $P$, we define a hybrid of $P$-tableaux and cylindric tableaux called cylindric $P$-tableaux. We introduce $P$-analogs of cylindric Schur functions, defined by a determinantal formula, and prove that they are the weight generating functions of cylindric $P$-tableaux. We deduce that certain sums of the $e$-expansion coefficients of the chromatic symmetric function $X_{inc(P)}$ are positive. This improves on Gasharov's theorem on the Schur positivity of $X_{inc(P)}$ and gives further evidence for the Stanley-Stembridge conjecture.
Noncommutative Schur functions for posets
Published
• View Publication
• BIB
The machinery of noncommutative Schur functions is a general approach to Schur positivity of symmetric functions initiated by Fomin-Greene. Hwang recently adapted this theory to posets to give a new approach to the Stanley-Stembridge conjecture. We further develop this theory to prove that the symmetric function associated to any $P$-Knuth equivalence graph is Schur positive. This settles a conjecture of Kim and the third author, and refines results of Gasharov, Shareshian-Wachs, and Hwang on the Schur positivity of chromatic symmetric functions.
Theta series of ternary quadratic lattice cosets
Published
• View Publication
• BIB
In this paper, we consider the decomposition of theta series for lattice cosets of ternary lattices. We show that the natural decomposition into an Eisenstein series, a unary theta function, and a cuspidal form which is orthogonal to unary theta functions correspond to the theta series for the genus, the deficiency of the theta series for the spinor genus from that of the genus, and the deficiency of the theta series for the class from that of the spinor genus, respectively. These three pieces are hence invariants of the genus, spinor genus, and class, respectively, extending known results for lattices and verifying a conjecture of the first author and Haensch. We furthermore extend the definition of $p$-neighbors to include lattice cosets and construct an algorithm to compute respresentatives for the classes in the genus or spinor genus via the $p$-neighborhoods.
Directed Steiner path packing and directed path connectivity
For a digraph $D=(V(D), A(D))$, and a set $S\subseteq V(D)$ with $r\in S$ and $|S|\geq 2$, a directed $(S, r)$-Steiner path or, simply, an $(S, r)$-path is a directed path $P$ started at $r$ with $S\subseteq V(P)$. Two $(S, r)$-paths are said to be arc-disjoint if they have no common arc. Two arc-disjoint $(S, r)$-paths are said to be internally disjoint if the set of common vertices of them is exactly $S$. Let $κ^p_{S,r}(D)$ (resp. $λ^p_{S,r}(D)$) be the maximum number of internally disjoint (resp. arc-disjoint) $(S, r)$-paths in $D$. The directed path $k$-connectivity of $D$ is defined as $$κ^p_k(D)= \min \{κ^p_{S,r}(D)\mid S\subseteq V(D), |S|=k, r\in S\}.$$ Similarly, the directed path $k$-arc-connectivity of $D$ is defined as $$λ^p_k(D)= \min \{λ^p_{S,r}(D)\mid S\subseteq V(D), |S|=k, r\in S\}.$$ The directed path $k$-connectivity and directed path $k$-arc-connectivity are also called directed path connectivity which extends the path connectivity on undirected graphs to directed graphs and could be seen as a generalization of classical connectivity of digraphs.
In this paper, we obtain complexity results for $κ^p_{S,r}(D)$ on Eulerian digraphs and symmetric digraphs, and $λ^p_{S,r}(D)$ on general digraphs. We also give bounds for the parameters $κ^p_k(D)$ and $λ^p_k(D)$.
Recent studies on the super edge-magic deficiency of graphs
Published
• View Publication
• BIB
A graph $G$ is called edge-magic if there exists a bijective function $f:V\left(G\right) \cup E\left(G\right)\rightarrow \left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert +\left\vert E\left( G\right) \right\vert \right\}$ such that $f\left(u\right) + f\left(v\right) + f\left(uv\right)$ is a constant for each $uv\in E\left( G\right) $. Also, $G$ is said to be super edge-magic if $f\left(V \left(G\right)\right) =\left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert \right\}$. Furthermore, the super edge-magic deficiency $ μ_{s}\left(G\right)$ of a graph $G$ is defined to be either the smallest nonnegative integer $n$ with the property that $G \cup nK_{1}$ is super edge-magic or $+ \infty$ if there exists no such integer $n$. In this paper, we introduce the parameter $l\left(n\right)$ as the minimum size of a graph $G$ of order $n$ for which all graphs of order $n$ and size at least $l\left(n\right)$ have $μ_{s} \left( G \right)=+\infty $, and provide lower and upper bounds for $l\left(G\right)$. Imran, Baig, and Feunovucíková established that for integers $n$ with $n\equiv 0\pmod{4}$, $ μ_{s}\left(D_{n}\right) \leq 3n/2-1$, where $D_{n}$ is the cartesian product of the cycle $C_{n}$ of order $n$ and the complete graph $K_{2}$ of order $2$. We improve this bound by showing that $ μ_{s}\left(D_{n}\right) \leq n+1$ when $n \geq 4$ is even. Enomoto, Lladó, Nakamigawa, and Ringel posed the conjecture that every nontrivial tree is super edge-magic. We propose a new approach to attak this conjecture. This approach may also help to resolve another labeling conjecture on trees by Graham and Sloane.
A note on distinct differences in $t$-intersecting families
Published
• View Publication
• BIB
For a family $\mathcal{F}$ of subsets of $\{1,2,\ldots,n\}$, let $\mathcal{D}(\mathcal{F}) = \{F\setminus G: F, G \in \mathcal{F}\}$ be the collection of all (setwise) differences of $\mathcal{F}$. The family $\mathcal{F}$ is called a $t$-intersecting family, if for some positive integer $t$ and any two members $F, G \in \mathcal{F}$ we have $|F\cap G| \geq t$. The family $\mathcal{F}$ is simply called intersecting if $t=1$. Recently, Frankl proved an upper bound on the size of $\mathcal{D}(\mathcal{F})$ for the intersecting families $\mathcal{F}$. In this note we extend the result of Frankl to $t$-intersecting families.
Solution to a problem of Katona on counting cliques of weighted graphs
Published in Discrete Applied Mathematics 345 (2024), 147-155
• View Publication
• BIB
A subset $I$ of the vertex set $V(G)$ of a graph $G$ is called a $k$-clique independent set of $G$ if no $k$ vertices in $I$ form a $k$-clique of $G$. An independent set is a $2$-clique independent set. Let $π_k(G)$ denote the number of $k$-cliques of $G$. For a function $w: V(G) \rightarrow \{0, 1, 2, \dots\}$, let $G(w)$ be the graph obtained from $G$ by replacing each vertex $v$ by a $w(v)$-clique $K^v$ and making each vertex of $K^u$ adjacent to each vertex of $K^v$ for each edge $\{u,v\}$ of $G$. For an integer $m \geq 1$, consider any $w$ with $\sum_{v \in V(G)} w(v) = m$. For $U \subseteq V(G)$, we say that $w$ is uniform on $U$ if $w(v) = 0$ for each $v \in V(G) \setminus U$ and, for each $u \in U$, $w(u) = \left\lfloor m/|U| \right\rfloor$ or $w(u) = \left\lceil m/|U| \right\rceil$. Katona asked if $π_k(G(w))$ is smallest when $w$ is uniform on a largest $k$-clique independent set of $G$. He placed particular emphasis on the Sperner graph $B_n$, given by $V(B_n) = \{X \colon X \subseteq \{1, \dots, n\}\}$ and $E(B_n) = \{\{X,Y\} \colon X \subsetneq Y \in V(B_n)\}$. He provided an affirmative answer for $k = 2$ (and any $G$). We determine graphs for which the answer is negative for every $k \geq 3$. These include $B_n$ for $n \geq 2$. Generalizing Sperner's Theorem and a recent result of Qian, Engel and Xu, we show that $π_k(B_n(w))$ is smallest when $w$ is uniform on a largest independent set of $B_n$. We also show that the same holds for complete multipartite graphs and chordal graphs. We show that this is not true of every graph, using a deep result of Bohman on triangle-free graphs.
Critical ($P_5$,bull)-free graphs
Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ and $C_t$ be the path and the cycle on $t$ vertices, respectively. A bull is the graph obtained from a triangle with two disjoint pendant edges. In this paper, we show that there are finitely many 5-vertex-critical ($P_5$,bull)-free graphs.
Note on generalized group testing
In this note, we present a new adaptive algorithm for generalized group testing, which is asymptotically optimal if $d=o(\log_2|E|)$, $E$ is a set of potentially contaminated sets, $d$ is a maximal size of elements of $E$. Also, we design a 3-stage algorithm, which is asymptotically optimal for $d=2$.
A Fibonacci variant of the Rogers-Ramanujan identities via crystal energy
Published
• View Publication
• BIB
We define a length function for a perfect crystal. As an application, we derive a variant of the Rogers-Ramanujan identities which involves (a $q$-analog of) the Fibonacci numbers.
Injective split systems
Published
• View Publication
• BIB
A split system $\mathcal S$ on a finite set $X$, $|X|\ge3$, is a set of bipartitions or splits of $X$ which contains all splits of the form $\{x,X-\{x\}\}$, $x \in X$. To any such split system $\mathcal S$ we can associate the Buneman graph $\mathcal B(\mathcal S)$ which is essentially a median graph with leaf-set $X$ that displays the splits in $\mathcal S$. In this paper, we consider properties of injective split systems, that is, split systems $\mathcal S$ with the property that $\mathrm{med}_{\mathcal B(\mathcal S)}(Y) \neq \mathrm{med}_{\mathrm B(\mathcal S)}(Y')$ for any 3-subsets $Y,Y'$ in $X$, where $\mathrm {med}_{\mathcal B(\mathcal S)}(Y)$ denotes the median in $\mathcal B(\mathcal S)$ of the three elements in $Y$ considered as leaves in $\mathcal B(\mathcal S)$. In particular, we show that for any set $X$ there always exists an injective split system on $X$, and we also give a characterization for when a split system is injective. We also consider how complex the Buneman graph $\mathcal B(\mathcal S)$ needs to become in order for a split system $\mathcal S$ on $X$ to be injective. We do this by introducing a quantity for $|X|$ which we call the injective dimension for $|X|$, as well as two related quantities, called the injective 2-split and the rooted-injective dimension. We derive some upper and lower bounds for all three of these dimensions and also prove that some of these bounds are tight. An underlying motivation for studying injective split systems is that they can be used to obtain a natural generalization of symbolic tree maps. An important consequence of our results is that any three-way symbolic map on $X$ can be represented using Buneman graphs.
Large $(k; r, s; n, q)$-sets in Projective Spaces
A $(k; r, s; n, q)$-set (short: $(r,s)$-set) of $\mathrm{PG}(n, q)$ is a set of points $X$ with $|X| = k$ such that no $s$-space contains more than $r$ points of $X$. We investigate the asymptotic size of $(r, s)$-sets for $n$ fixed and $q \rightarrow \infty$. In particular, we show the existence of $(3, 2)$-sets of size $(1+o(1)) q^{3/2}$ for $n=6$, $(4, 2)$-sets of size $(1+o(1)) q^{\frac{n-1}{2}}$, and $(9, 2)$-sets of size $(1+o(1)) q^2$ for $n=4$. We also generalize a bound by Rao from 1947 and show that an $(r,s)$-set has size at most $O(q^{\frac{n-e+1}{e}})$ if there exist integers $d,e \geq 2$ such that $s=d(e-1)$ and $r=de-1$.
The minimum number of maximal independent sets in twin-free graphs
Published
• View Publication
• BIB
The problem of determining the maximum number of maximal independent sets in certain graph classes dates back to a paper of Miller and Muller and a question of Erdős and Moser from the 1960s. The minimum was always considered to be less interesting due to simple examples such as stars. In this paper we show that the problem becomes interesting when restricted to twin-free graphs, where no two vertices have the same open neighbourhood. We consider the question for arbitrary graphs, bipartite graphs and trees. The minimum number of maximal independent sets turns out to be logarithmic in the number of vertices for arbitrary graphs, linear for bipartite graphs and exponential for trees. In the latter case, the minimum and the extremal graphs have been determined earlier by Taletskiĭ and Malyshev, but we present a shorter proof.
The slowest coupon collector's problem
Published
• View Publication
• BIB
In the classical coupon collector's problem, every box of breakfast cereal contains one coupon from a collection of n distinct coupons, each equally likely to appear. The goal is to find the expected number of boxes a player needs to purchase to complete the whole collection. In this work, we extend the classical problem to k players who compete with one another to be the first to collect the whole collection. We find the expected numbers of boxes required for the slowest and fastest players to finish the game. The odds of a particular player being the slowest or fastest player will also be touched upon. The solutions will be discussed from both the tractable algebraic techniques as well as the probability point of views.
Explicit Forms and Proofs of Zagier's Rank Three Examples for Nahm's Problem
Published
• View Publication
• BIB
Let $r\geq 1$ be a positive integer, $A$ a real positive semi-definite symmetric $r\times r$ rational matrix, $B$ a rational vector of length $r$, and $C$ a rational scalar. Nahm's problem is to find all triples $(A,B,C)$ such that the $r$-fold $q$-hypergeometric series $$f_{A,B,C}(q):=\sum_{n=(n_1,\dots,n_r)^\mathrm{T}\in (\mathbb{Z}_{\geq 0})^r} \frac{q^{\frac{1}{2}n^\mathrm{T} An+n^\mathrm{T} B+C}}{(q;q)_{n_1}\cdots (q;q)_{n_r}}$$ becomes a modular form, and we call such $(A,B,C)$ a modular triple. When the rank $r=3$, after extensive computer searches, Zagier provided twelve sets of conjectural modular triples and proved three of them. We prove a number of Rogers-Ramanujan type identities involving triple sums. These identities give modular form representations for and thereby verify all of Zagier's rank three examples. In particular, we prove a conjectural identity of Zagier.