Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Introduction to total coalitions in graphs
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V$. Two disjoint sets $V_1, V_2\subseteq V$ are called a total coalition in $G$, if neither $V_1$ and $V_2$ is a total dominating set of $G$ but $V_1\cup V_2$ is a total dominating set. A total coalition partition of $G$ is a vertex partition $π=\{V_1,V_2,\ldots, V_k\}$ such that no set of $π$ is a total dominating set but each set $V_i\in π$ forms a total coalition with another set $V_j\in π$. The maximum cardinality of a total coalition partition of $G$ is called the total coalition number of $G$, denoted by $TC(G)$. In this paper, we initiate the study of the total coalition in graphs and its properties.
Representability of the Direct Sum of $q$-Matroids
Published
• View Publication
• BIB
While there are many parallels between matroid theory and $q$-matroid theory, most notably on the level of cryptomorphisms, there are substantial differences when it comes to the direct sum. The direct sum of $q$-matroids has been introduced in the literature only recently. In this short note we show that the direct sum of representable $q$-matroids may not be representable. It remains an open question whether representability of the direct sum can be characterized by the given $q$-matroids.
Immanant varieties
Published
• View Publication
• BIB
We introduce immanant varieties, associated to simple characters of a finite group. They include well-studied classes of varieties, as Segre embeddings, Grassmannians and certain other classes of Chow varieties. For a one-dimensional character $χ$, we define $χ$-matroids by a maximality property. For trivial characters, by exploring the combinatorics of incidence stratifications, we provide a set of generators for the Chow vector spaces of the corresponding immanant varieties.
Invariants of Tutte Partitions and a $q$-Analogue
Published
• View Publication
• BIB
We describe a construction of the Tutte polynomial for both matroids and $q$-matroids based on an appropriate partition of the underlying support lattice into intervals that correspond to prime-free minors, which we call a Tutte partition. We show that such partitions in the matroid case include the class of partitions arising in Crapo's definition of the Tutte polynomial, while not representing a direct $q$-analogue of such partitions. We propose axioms of $q$-Tutte-Grothendiek invariance and show that this yields a $q$-analogue of Tutte-Grothendiek invariance. We establish the connection between the rank polynomial and the Tutte polynomial, showing that one can be obtained from the other by convolution.
Approximate union closed conjecture
A set system is called union closed if for any two sets in the set system their union is also in the set system. Gilmer recently proved that in any union closed set system some element belongs to at least a $0.01$ fraction of sets, and conjectured that his technique can be pushed to the constant $\frac{3-\sqrt{5}}{2}$. We verify his conjecture; show that it extends to approximate union closed set systems, where for nearly all pairs of sets their union belong to the set system; and show that for such set systems this bound is optimal.
A construction of a $\frac{3}{2}$-tough plane triangulation with no 2-factor
Published
• View Publication
• BIB
In 1956, Tutte proved the celebrated theorem that every 4-connected planar graph is hamiltonian. This result implies that every more than $\frac{3}{2}$-tough planar graph on at least three vertices is hamiltonian and so has a 2-factor. Owens in 1999 constructed non-hamiltonian maximal planar graphs of toughness arbitrarily close to $\frac{3}{2}$ and asked whether there exists a maximal non-hamiltonian planar graph of toughness exactly $\frac{3}{2}$. In fact, the graphs Owens constructed do not even contain a 2-factor. Thus the toughness of exactly $\frac{3}{2}$ is the only case left in asking the existence of 2-factors in tough planar graphs. This question was also asked by Bauer, Broersma, and Schmeichel in a survey. In this paper, we close this gap by constructing a maximal $\frac{3}{2}$-tough plane graph with no 2-factor, answering the question asked by Owens as well as by Bauer, Broersma, and Schmeichel.
A Cut-Matching Game for Constant-Hop Expanders
Published
• View Publication
• BIB
This paper extends and generalizes the well-known cut-matching game framework and provides a novel cut-strategy that produces constant-hop expanders.
Constant-hop expanders are a significant strengthening of regular expanders with the additional guarantee that any demand can be (obliviously) routed along constant-hop flow-paths - in contrast to the $Ω(\log n)$-hop paths in expanders.
Cut-matching games for expanders are key tools for obtaining linear-time approximation algorithms for many hard problems, including finding (balanced or approximately-largest) sparse cuts, certifying the expansion of a graph by embedding an (explicit) expander, as well as computing expander decompositions, hierarchical cut decompositions, oblivious routings, multi-cuts, and multi-commodity flows.
The cut-matching game of this paper is crucial in extending this versatile and powerful machinery to constant-hop and length-constrained expanders and has been already been extensively used. For example, as a key ingredient in several recent breakthroughs, including, computing constant-approximate $k$-commodity (min-cost) flows in $(m+k)^{1+ε}$ time as well as the optimal constant-approximate deterministic worst-case fully-dynamic APSP-distance oracle - in all applications the constant-approximation factor directly traces to and crucially relies on the expanders from a cut-matching game guaranteeing constant-hop routing paths.
Improved Lower Bound for Frankl's Union-Closed Sets Conjecture
Published
• View Publication
• BIB
We verify an explicit inequality conjectured recently by Gilmer, thus proving that for any nonempty union-closed family $F \subseteq 2^{[n]}$, some $i\in [n]$ is contained in at least a $\frac{3-\sqrt{5}}{2} \approx 0.38$ fraction of the sets in $F$. One case, an explicit one-variable inequality, is checked by computer calculation.
Algorithmic Applications of Hypergraph and Partition Containers
Published
• View Publication
• BIB
We present a general method to convert algorithms into faster algorithms for almost-regular input instances. Informally, an almost-regular input is an input in which the maximum degree is larger than the average degree by at most a constant factor. This family of inputs vastly generalizes several families of inputs for which we commonly have improved algorithms, including bounded-degree inputs and random inputs. It also generalizes families of inputs for which we don't usually have faster algorithms, including regular-inputs of arbitrarily high degree and very dense inputs. We apply our method to achieve breakthroughs in exact algorithms for several central NP-Complete problems including $k$-SAT, Graph Coloring, and Maximum Independent Set.
Our main tool is the first algorithmic application of the relatively new Hypergraph Container Method (Saxton and Thomason 2015, Balogh, Morris and Samotij 2015). This recent breakthrough, which generalizes an earlier version for graphs (Kleitman and Winston 1982, Sapozhenko 2001), has been used extensively in recent years in extremal combinatorics. An important component of our work is the generalization of (hyper-)graph containers to Partition Containers.
An upper bound on asymptotic repetitive threshold of balanced sequences via colouring of the Fibonacci sequence
We colour the Fibonacci sequence by suitable constant gap sequences to provide an upper bound on the asymptotic repetitive threshold of $d$-ary balanced sequences. The bound is attained for $d=2, 4$ and $8$ and we conjecture that it happens for infinitely many even $d$'s.
Our bound reveals an essential difference in behavior of the repetitive threshold and the asymptotic repetitive threshold of balanced sequences. The repetitive threshold of $d$-ary balanced sequences is known to be at least $1+\frac{1}{d-2}$ for each $d \geq 3$. In contrast, our bound implies that the asymptotic repetitive threshold of $d$-ary balanced sequences is at most $1+\frac{τ^3}{2^{d-3}}$ for each $d\geq 2$, where $τ$ is the golden mean.
$(p,q,t)$-Catalan continued fractions, gamma expansions and pattern avoidances
Published
• View Publication
• BIB
We introduce a kind of $(p, q, t)$-Catalan numbers of Type A by generalizing the Jacobian type continued fraction formula, we proved that the corresponding expansions could be expressed by the polynomials counting permutations on $§_n(321)$ by various descent statistics. Moreover, we introduce a kind of $(p, q, t)$-Catalan numbers of Type B by generalizing the Jacobian type continued fraction formula, we proved that the Taylor coefficients and their $γ$-coefficients could be expressed by the polynomials counting permutations on $§_n(3124, 4123, 3142, 4132)$ by various descent statistics. Our methods include permutation enumeration techniques involving variations of bijections from permutation patterns to labeled Motzkin paths and modified Foata-Strehl action.
Maximum odd induced subgraph of a graph concerning its chromatic number
Published
• View Publication
• BIB
Let $f_{o}(G)$ be the maximum order of an odd induced subgraph of $G$. In 1992, Scott proposed a conjecture that $f_{o}(G)\geq \frac {n} {2χ(G)}$ for a graph $G$ of order $n$ without isolated vertices, where $χ(G)$ is the chromatic number of $G$. In this paper, we show that the conjecture is not true for bipartite graphs, but is true for all line graphs. In addition, we also disprove a conjecture of Berman, Wang and Wargo in 1997, which states that $f_{o}(G)\geq 2\lfloor\frac {n} {4}\rfloor$ for a connected graph $G$ of order $n$. Scott's conjecture is open for a graph with chromatic number at least 3.
Recent Progress on Integrally Convex Functions
Published
• View Publication
• BIB
Integrally convex functions constitute a fundamental function class in discrete convex analysis, including M-convex functions, L-convex functions, and many others. This paper aims at a rather comprehensive survey of recent results on integrally convex functions with some new technical results. Topics covered in this paper include characterizations of integral convex sets and functions, operations on integral convex sets and functions, optimality criteria for minimization with a proximity-scaling algorithm, integral biconjugacy, and the discrete Fenchel duality. While the theory of M-convex and L-convex functions has been built upon fundamental results on matroids and submodular functions, developing the theory of integrally convex functions requires more general and basic tools such as the Fourier-Motzkin elimination.
Components of domino tilings under flips in quadriculated cylinder and torus
Published
• View Publication
• BIB
In a region $R$ consisting of unit squares, a domino is the union of two adjacent squares and a (domino) tiling is a collection of dominoes with disjoint interior whose union is the region. The flip graph $\mathcal{T}(R)$ is defined on the set of all tilings of $R$ such that two tilings are adjacent if we change one to another by a flip (a $90^{\circ}$ rotation of a pair of side-by-side dominoes). It is well-known that $\mathcal{T}(R)$ is connected when $R$ is simply connected. By using graph theoretical approach, we show that the flip graph of $2m\times(2n+1)$ quadriculated cylinder is still connected, but the flip graph of $2m\times(2n+1)$ quadriculated torus is disconnected and consists of exactly two isomorphic components. For a tiling $t$, we associate an integer $f(t)$, forcing number, as the minimum number of dominoes in $t$ that is contained in no other tilings. As an application, we obtain that the forcing numbers of all tilings in $2m\times (2n+1)$ quadriculated cylinder and torus form respectively an integer interval whose maximum value is $(n+1)m$.
The weak saturation number of $\boldsymbol{K_{2, t}}$
Published
• View Publication
• BIB
For two graphs $G$ and $F$, we say that $G$ is weakly $F$-saturated if $G$ contains no copy of $F$ as a subgraph and one could join all the nonadjacent pairs of vertices of $G$ in some order so that a new copy of $F$ is created at each step. The weak saturation number $\mathrm{wsat}(n, F)$ is the minimum number of edges of a weakly $F$-saturated graph on $n$ vertices. In this paper, we examine $\mathrm{wsat}(n, K_{s, t})$, where $K_{s, t}$ is the complete bipartite graph with parts of sizes $s$ and $ t $.
We determine $\mathrm{wsat}(n, K_{2, t})$, correcting a previous report in the literature. It is also shown that $\mathrm{wsat}(s+t, K_{s,t})=\binom{s+t-1}{2}$ if $\gcd(s, t)=1$ and $\mathrm{wsat}(s+t, K_{s,t})=\binom{s+t-1}{2}+1$, otherwise.
Noncommutative crossing partitions
We define and study noncommutative crossing partitions which are a generalization of non-crossing partitions. By introducing a new cover relation on binary trees, we show that the partially ordered set of noncommutative crossing partitions is a graded lattice. This new lattice contains the Kreweras lattice, the lattice of non-crossing partitions, as a sublattice. We calculate the Möbius function, the number of maximal chains and the number of $k$-chains in this new lattice by constructing an explicit $EL$-labeling on the lattice. By use of the $EL$-labeling, we recover the classical results on the Kreweras lattice. We characterize two endomorphism on the Kreweras lattice, the Kreweras complement map and the involution defined by Simion and Ullman, in terms of the maps on the noncommutative crossing partitions. We also establish relations among three combinatorial objects: labeled $k+1$-ary trees, $k$-chains in the lattice, and $k$-Dyck tilings.
On the limit of the sequence $\left\{ C^m(D) \right\}_{m=1}^{\infty}$ for a multipartite tournament $D$
Published
• View Publication
• BIB
For an integer $k \ge 2$, let $A$ be a Boolean block matrix with blocks $A_{ij}$ for $1 \le i,j \le k$ such that $A_{ii}$ is a zero matrix and $A_{ij}+A_{ji}^T$ is a matrix with all elements $1$ but not both corresponding elements of $A_{ij}$ and $A_{ji}^T$ equal to $1$ for $i \neq j$.
Jung~{\em et al.} [Competition periods of multipartite tournaments. {\it Linear and Multilinear Algebra}, https://doi.org/10.1080/03081087.2022.2038057] studied the matrix sequence $\{A^m(A^T)^m\}_{m=1}^{\infty}$. This paper, which is a natural extension of the above paper and was initiated by the observation that $\{A^m(A^T)^m\}_{m=1}^{\infty}$ converges if $A$ has no zero rows, computes the limit of the matrix sequence $\{A^m(A^T)^m\}_{m=1}^{\infty}$ if $A$ has no zero rows. To this end, we take a graph theoretical approach: noting that $A$ is the adjacency matrix of a multipartite tournament $D$, we compute the limit of the graph sequence $\left\{ C^m(D) \right\}_{m=1}^{\infty}$ when $D$ has no sinks.
The saturation number of monomial ideals
Published
• View Publication
• BIB
Let $S=\mathbb{K}[x_1,\ldots, x_n]$ be the polynomial ring over a field $\mathbb{K}$ and $\mathfrak{m}= (x_1, \ldots, x_n)$ be the irredundant maximal ideal of $S$. For an ideal $I \subset S$, let $\mathrm{sat}(I)$ be the minimum number $k$ for which $I \colon \mathfrak{m}^k = I \colon \mathfrak{m}^{k+1}$. In this paper, we compute the saturation number of irreducible monomial ideals and their powers. We apply this result to find the saturation number of the ordinary powers and symbolic powers of some families of monomial ideals in terms of the saturation number of irreducible components appearing in an irreducible decomposition of these ideals. Moreover, we give an explicit formula for the saturation number of monomial ideals in two variables.
Smooth permutations and polynomials revisited
Published in Math. Proc. Camb. Phil. Soc. 177 (2024) 455-480
• View Publication
• BIB
We study the counts of smooth permutations and smooth polynomials over finite fields. For both counts we prove an estimate with an error term that matches the error term found in the integer setting by de Bruijn more than 70 years ago. The main term is the usual Dickman $ρ$ function, but with its argument shifted.
We determine the order of magnitude of $\log(p_{n,m}/ρ(n/m))$ where $p_{n,m}$ is the probability that a permutation on $n$ elements, chosen uniformly at random, is $m$-smooth.
We uncover a phase transition in the polynomial setting: the probability that a polynomial of degree $n$ in $\mathbb{F}_q$ is $m$-smooth changes its behavior at $m\approx (3/2)\log_q n$.
Graded local cohomology of modules over semigroup rings
Published
• View Publication
• BIB
We give a combinatorial description of local cohomology modules of a graded module over a semigroup ring, with support at the graded maximal ideal. This combinatorial framework yields Hochster-type formulas for the Hilbert series of such local cohomology modules in terms of the homology of finitely many polyhedral cell complexes. A Cohen--Macaulay criterion immediately follows. We also provide an alternative proof of a result of [18] characterizing Cohen--Macaulay affine semigroup rings.