Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Two-coloring triples such that in each color class every element is missed at least once
Published
• View Publication
• BIB
We give a characterization of finite sets of triples of elements (e.g., positive integers) that can be colored with two colors such that for every element $i$ in each color class there exists a triple which does not contain $i$. We give a linear (in the number of triples) time algorithm to decide if such a coloring exists and find one if it does.
We also consider generalizations of this result and an application to a matching problem, which motivated this study. Finally, we show how these results translate to results about colorings of hypergraphs in which the degree of every vertex is $k$ less than the number of hyperedges.
On some properties of the function of the number of relatively prime subsets of $\{1, 2, ..., n\}$
In the paper we solve few problems proposed by Prapanpong Pongsriiam. Let $f(n)$ denote the number of relatively prime subsets of $\{1, 2, 3, \dots, n\}$ and $g(n)$ denote the number of subsets $A$ of $\{1, 2, 3, \dots, n\}$ such that gcd$(A)>1$ and gcd$(A, n+1)=1$ . We show that $f_n^2-f_{n-k}f_{n+k}>0$ for $n\geq k+1\quad (k\geq2)$. We also show $\frac{g(6n-2)}{g(6n-4)}>\frac{g(6n)}{g(6n-2)}>\frac{g(6n+2)}{g(6n)}<\frac{g(6n+4)}{g(6n+2)}$ for large $n$.
The complexity of total edge domination and some related results on trees
Published
• View Publication
• BIB
For a graph $G = (V, E)$ with vertex set $V$ and edge set $E$, a subset $F$ of $E$ is called an $\emph{edge dominating set}$ (resp. a $\emph{total edge dominating set}$) if every edge in $E\backslash F$ (resp. in $E$) is adjacent to at least one edge in $F$, the minimum cardinality of an edge dominating set (resp. a total edge dominating set) of $G$ is the {\em edge domination number} (resp. {\em total edge domination number}) of $G$, denoted by $γ^{'}(G)$ (resp. $γ_t^{'}(G)$). In the present paper, we prove that the total edge domination problem is NP-complete for bipartite graphs with maximum degree 3. We also design a linear-time algorithm for solving this problem for trees. Finally, for a graph $G$, we give the inequality $γ^{'}(G)\leqslant γ^{'}_{t}(G)\leqslant 2γ^{'}(G)$ and characterize the trees $T$ which obtain the upper or lower bounds in the inequality.
Critical digraphs with few vertices
We show that every k-dichromatic vertex-critical digraph on at most 2k-2 vertices has a disconnected complement. This answers a question of Bang-Jensen et al., and generalises a classical theorem of Gallai on undirected vertex-critical graphs.
A versatile combinatorial approach of studying products of long cycles in symmetric groups
Published in Advances in Applied Mathematics, 133 (2022), Article 102283
• View Publication
• BIB
In symmetric groups, studies of permutation factorizations or triples of permutations satisfying certain conditions have a long history. One particular interesting case is when two of the involved permutations are long cycles, for which many surprisingly simple formulas have been obtained. Here we combinatorially enumerate the pairs of long cycles whose product has a given cycle-type and separates certain elements, extending several lines of studies, and we obtain general quantitative relations. As consequences, in a unified way, we recover a number of results expecting simple combinatorial proofs, including results of Boccara (1980), Zagier (1995), Stanley (2011), Féray and Vassilieva (2012), as well as Hultman (2014). We obtain a number of new results as well. In particular, for the first time, given a partition of a set, we obtain an explicit formula for the number of pairs of long cycles on the set such that the product of the long cycles does not mix the elements from distinct blocks of the partition and has an independently prescribed number of cycles for each block of elements. As applications, we obtain new explicit formulas concerning factorizations of any even permutation into long cycles and the first nontrivial explicit formula for computing strong separation probabilities solving an open problem of Stanley (2010).
An Erdős-Gallai-type theorem for keyrings with larger number of leaves
A keyring is a graph obtained from a cycle by appending $r\ge0$ leaves to one of its vertices. Sidorenko proved an Erdős-Gallai-type theorem: Every graph of order $n$ and size more than $\frac{(k-1)n}{2}$ contains a keyring of size at least $k$ and with $r$ leaves for $r\le\frac{k-1}2$ (Theorem 1.4, An Erdős-Gallai-type theorem for keyrings, Graphs Combin., 2018). In this note, we show that Sidorenko's theorem holds for larger $r$ and so complete the Erdős-Gallai-type theorem for keyrings.
The feasible region for consecutive patterns of permutations is a cycle polytope
Published in Algebr. Comb. 3 (2020), no. 6, 1259-1281
• View Publication
• BIB
We study proportions of consecutive occurrences of permutations of a given size. Specifically, the limit of such proportions on large permutations forms a region, called \emph{feasible region}. We show that this feasible region is a polytope, more precisely the cycle polytope of a specific graph called \emph{overlap graph}. This allows us to compute the dimension, vertices and faces of the polytope, and to determine the equations that define it. Finally we prove that the limit of classical occurrences and consecutive occurrences are in some sense independent. As a consequence, the scaling limit of a sequence of permutations induces no constraints on the local limit and vice versa.
A new algorithm for graph center computation and graph partitioning according to the distance to the center
We propose a new algorithm for finding the center of a graph, as well as the rank of each node in the hierarchy of distances to the center. In other words, our algorithm allows to partition the graph according to nodes distance to the center. Moreover, the algorithm is parallelizable. We compare the performances of our algorithm with the ones of Floyd-Warshall algorithm, which is traditionally used for these purposes. We show that, for a large variety of graphs, our algorithm outperforms the Floyd-Warshall algorithm.
$τ$-Tilting Finiteness of Non-distributive Algebras and their Module Varieties
Published
• View Publication
• BIB
We treat the $τ$-tilting finiteness of those minimal representation-infinite (min-rep-infinite) algebras which are non-distributive. Building upon the new results of Bongartz, we fully determine which algebras in this family are $τ$-tilting finite and which ones are not. This complements our previous work in which we carried out a similar analysis for the min-rep-infinite biserial algebras. Consequently, we obtain nontrivial explicit sufficient conditions for $τ$-tilting infiniteness of a large family of algebras. This also produces concrete families of "minimal $τ$-tilting infinite algebras"-- the modern counterpart of min-rep-infinite algebras, independently introduced by the author and Wang.
We further use our results on the family of non-distributive algebras to establish a conjectural connection between the $τ$-tilting theory and two geometric notions in the study of module varieties introduced by Chindris, Kinser and Weyman. We verify the conjectures for the algebras studied in this note: For the min-rep-infinite algebras which are non-distributive or biserial, we show that if $Λ$ has the dense orbit property, then it must be $τ$-tilting finite. Moreover, we prove that such an algebra is Schur-representation-finite if and only if it is $τ$-tilting finite. The latter result gives a categorical interpretation of Schur-representation-finiteness over this family of min-rep-infinite algebras.
Bumping operators and insertion algorithms for queer supercrystals
Published in Sel. Math. New Ser. 28, 36 (2022)
• View Publication
• BIB
Results of Morse and Schilling show that the set of increasing factorizations of reduced words for a permutation is naturally a crystal for the general linear Lie algebra. Hiroshima has recently constructed two superalgebra analogues of such crystals. Specifically, Hiroshima has shown that the sets of increasing factorizations of involution words and fpf-involution words for a self-inverse permutation are each crystals for the queer Lie superalgebra. In this paper, we prove that these crystals are normal and identify their connected components. To accomplish this, we study two insertion algorithms that may be viewed as shifted analogues of the Edelman-Greene correspondence. We prove that the connected components of Hiroshima's crystals are the subsets of factorizations with the same insertion tableau for these algorithms, and that passing to the recording tableau defines a crystal morphism. This confirms a conjecture of Hiroshima. Our methods involve a detailed investigation of certain analogues of the Little map, through which we extend several results of Hamaker and Young.
A new family of maximum scattered linear sets in $\mathrm{PG}(1,q^6)$
Published
• View Publication
• BIB
We generalize the example of linear set presented by the last two authors in "Vertex properties of maximum scattered linear sets of $\mathrm{PG}(1,q^n)$" (2019) to a more general family, proving that such linear sets are maximum scattered when $q$ is odd and, apart from a special case, they are are new. This solves an open problem posed in "Vertex properties of maximum scattered linear sets of $\mathrm{PG}(1,q^n)$" (2019). As a consequence of Sheekey's results in "A new family of linear maximum rank distance codes" (2016), this family yields to new MRD-codes with parameters $(6,6,q;5)$.
Incidence Hypergraphs: Injectivity, Uniformity, and Matrix-tree Theorems
Published in Linear Algebra Appl. 634 (2022), 77-105
• View Publication
• BIB
An oriented hypergraph is an oriented incidence structure that allows for the generalization of graph theoretic concepts to integer matrices through its locally signed graphic substructure. The locally graphic behaviors are formalized in the subobject classifier of incidence hypergraphs. Moreover, the injective envelope is calculated and shown to contain the class of uniform hypergraphs -- providing a combinatorial framework for the entries of incidence matrices. A multivariable all-minors characteristic polynomial is obtained for both the determinant and permanent of the oriented hypergraphic Laplacian and adjacency matrices arising from any integer incidence matrix. The coefficients of each polynomial are shown to be submonic maps from the same family into the injective envelope limited by the subobject classifier. These results provide a unifying theorem for oriented hypergraphic matrix-tree-type and Sachs-coefficient-type theorems. Finally, by specializing to bidirected graphs, the trivial subclasses for the degree-$k$ monomials of the Laplacian are shown to be in one-to-one correspondence with $k$-arborescences.
On some problems about ternary paths -- a linear algebra approach
Published
• View Publication
• BIB
Ternary paths consist of an up-step of one unit, a down-step of two units, never go below the $x$-axis, and return to the $x$-axis. This paper addresses the enumeration of partial ternary paths, ending at a given level $i$, reading the path either from left to right or from right to left. Since the paths are not symmetric w.r.t.\ left vs.\ right, as classical Dyck paths, this leads to different results. The right to left enumeration is quite challenging, but leads at the end to very satisfying results. The methods are elementary (solving systems of linear equations). In this way, several conjectures left open in Naiomi Cameron's Ph.D. thesis could be successfully settled.
Packing Disks by Flipping and Flowing
Published
• View Publication
• BIB
We provide a new type of proof for the Koebe-Andreev-Thurston (KAT) planar circle packing theorem based on combinatorial edge-flips. In particular, we show that starting from a disk packing with a maximal planar contact graph $G$, one can remove any flippable edge $e^-$ of this graph and then continuously flow the disks in the plane, such that at the end of the flow, one obtains a new disk packing whose contact graph is the graph resulting from flipping the edge $e^-$ in $G$. This flow is parameterized by a single inversive distance.
Proportional 2-Choosability with a Bounded Palette
Published
• View Publication
• BIB
Proportional choosability is a list coloring analogue of equitable coloring. Specifically, a $k$-assignment $L$ for a graph $G$ specifies a list $L(v)$ of $k$ available colors to each $v \in V(G)$. An $L$-coloring assigns a color to each vertex $v$ from its list $L(v)$. A proportional $L$-coloring of $G$ is a proper $L$-coloring in which each color $c \in \bigcup_{v \in V(G)} L(v)$ is used $\lfloor η(c)/k \rfloor$ or $\lceil η(c)/k \rceil$ times where $η(c)=\left\lvert{\{v \in V(G) : c \in L(v) \}}\right\rvert$. A graph $G$ is proportionally $k$-choosable if a proportional $L$-coloring of $G$ exists whenever $L$ is a $k$-assignment for $G$. Motivated by earlier work, we initiate the study of proportional choosability with a bounded palette by studying proportional 2-choosability with a bounded palette. In particular, when $\ell \geq 2$, a graph $G$ is said to be proportionally $(2, \ell)$-choosable if a proportional $L$-coloring of $G$ exists whenever $L$ is a $2$-assignment for $G$ satisfying $|\bigcup_{v \in V(G)} L(v)| \leq \ell$. We observe that a graph is proportionally $(2,2)$-choosable if and only if it is equitably 2-colorable. As $\ell$ gets larger, the set of proportionally $(2, \ell)$-choosable graphs gets smaller. We show that whenever $\ell \geq 5$ a graph is proportionally $(2, \ell)$-choosable if and only if it is proportionally 2-choosable. We also completely characterize the connected proportionally $(2, \ell)$-choosable graphs when $\ell = 3,4$.
Transitive closure in a polluted environment
Published in Ann. Appl. Probab. 33, No. 1, 107-126 (2023)
• View Publication
• BIB
We introduce and study a new percolation model, inspired by recent works on jigsaw percolation, graph bootstrap percolation, and percolation in polluted environments. Start with an oriented graph $G_0$ of initially occupied edges on $n$ vertices, and iteratively occupy additional (oriented) edges by transitivity, with the constraint that only open edges in a certain random set can ever be occupied. All other edges are closed, creating a set of obstacles for the spread of occupied edges. When $G_0$ is an unoriented linear graph, and leftward and rightward edges are open independently with possibly different probabilities, we identify three regimes in which the set of eventually occupied edges is either all open edges, the majority of open edges in one direction, or only a very small proportion of all open edges. In the more general setting where $G_0$ is a connected unoriented graph of bounded degree, we show that the transition between sparse and full occupation of open edges occurs when the probability of open edges is $(\log n)^{-1/2+o(1)}$. We conclude with several conjectures and open problems.
On $\ell$-distance balanced product graphs
Published
• View Publication
• BIB
A graph $G$ is $\ell$-distance-balanced if for each pair of vertices $x$ and $y$ at distance $\ell$ in $G$, the number of vertices closer to $x$ than to $y$ is equal to the number of vertices closer to $y$ than to $x$. A complete characterization of $\ell$-distance-balanced corona products is given and a characterization of lexicographic products for $\ell \ge 3$, thus complementing known results for $\ell\in \{1,2\}$ and correcting an earlier related assertion. A sufficient condition on $H$ which guarantees that $K_n \,\square\, H$ is $\ell$-distance-balanced is given and it is proved that if $K_n \,\square\, H$ is $\ell$-distance-balanced, then $H$ is an $\ell$-distance-balanced graph. A known characterization of $1$-distance-balanced graphs is extended to $\ell$-distance-balanced graphs, again correcting an earlier claimed assertion.
A Note on Directed Treewidth
Published
• View Publication
• BIB
We characterise digraphs of directed treewidth one in terms of forbidden butterfly minors. Moreover, we show that there is a linear relation between the hypertree-width of the dual of the cycle hypergraph of D, i. e. the hypergraph with vertices V (D) where every hyperedge corresponds to a directed cycle in D, and the directed treewidth of D. Based on this we show that a digraph has directed treewidth one if and only if its cycle hypergraph is a hypertree.
On the eigenvalue region of permutative doubly stochastic matrices
Published
• View Publication
• BIB
This paper is devoted to the study of eigenvalue region of the doubly stochastic matrices which are also permutative, that is, each row of such a matrix is a permutation of any other row. We call these matrices as permutative doubly stochastic (PDS) matrices. A method is proposed to obtain symbolic representation of all PDS matrices of order $n$ by finding equivalence classes of permutationally similar symbolic PDS matrices. This is a hard problem in general as it boils down to finding all Latin squares of order $n.$ However, explicit symbolic representation of matrices in these classes are determined in this paper when $n=2, 3, 4.$ It is shown that eigenvalue regions are same for doubly stochastic matrices and PDS matrices when $n=2, 3.$ It is also established that this is no longer true for $n=4,$ and two line segments are determined which belong to the eigenvalue region of doubly stochastic matrices but not in the eigenvalue region of PDS matrices. Thus a conjecture is developed for the boundary of the eigenvalue region of PDS matrices of order $4.$ Finally, inclusion theorems for eigenvalue region of PDS matrices are proved when $n\geq 2.$
Applications of derivative and difference operators on some sequences
Published
• View Publication
• BIB
In this study, depending on the upper and the lower indices of the hyperharmonic number $h_{n}^{(r)}$, nonlinear recurrence relations are obtained. It is shown that generalized harmonic number and hyperharmonic number can be obtained from derivatives of the binomial coefficients. Taking into account of difference and derivative operators, several identities of the harmonic and hyperharmonic numbers are given. Negative-ordered hyperharmonic number is defined and its alternative representations are given.