Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On the upper tail problem for random hypergraphs
Published
• View Publication
• BIB
The upper tail problem in a random graph asks to estimate the probability that the number of copies of some fixed subgraph in an Erdős--Rényi random graph exceeds its expectation by some constant factor. There has been much exciting recent progress on this problem.
We study the corresponding problem for hypergraphs, for which less is known about the large deviation rate. We present new phenomena in upper tail large deviations for sparse random hypergraphs that are not seen in random graphs. We conjecture a formula for the large deviation rate, i.e., the first order asymptotics of the log-probability that the number of copies of fixed subgraph $H$ in a sparse Erdős--Rényi random $k$-uniform hypergraph exceeds its expectation by a constant factor. This conjecture turns out to be significantly more intricate compared to the case for graphs. We verify our conjecture when the fixed subgraph $H$ being counted is a clique, as well as when $H$ is the 3-uniform 6-vertex 4-edge hypergraph consisting of alternating faces of an octahedron, where new techniques are required.
Colored Multipermutations and a Combinatorial Generalization of Worpitzky's Identity
Worpitzky's identity expresses $n^p$ in terms of the Eulerian numbers and binomial coefficients: $$n^p = \sum_{i=0}^{p-1} \genfrac<>{0pt}{}{p}{i} \binom{n+i}{p}.$$
Pita-Ruiz recently defined numbers $A_{a,b,r}(p,i)$ implicitly to satisfy a generalized Worpitzky identity $$\binom{an+b}{r}^p = \sum_{i=0}^{rp} A_{a,b,r}(p,i) \binom{n+rp-i}{rp},$$ and asked whether there is a combinatorial interpretation of the numbers $A_{a,b,r}(p,i)$.
We provide such a combinatorial interpretation by defining a notion of descents in colored multipermutations, and then proving that $A_{a,b,r}(p,i)$ is equal to the number of colored multipermutations of $\{1^r, 2^r, \ldots, p^r\}$ with $a$ colors and $i$ weak descents. We use this to give combinatorial proofs of several identities involving $A_{a,b,r}(p,i)$, including the aforementioned generalized Worpitzky identity.
On a Tauberian Theorem of Ingham and Euler-Maclaurin Summation
Published
• View Publication
• BIB
We discuss two theorems in analytic number theory and combinatory analysis that have seen increased use in recent years. A corollary to a Tauberian theorem of Ingham allows one to quickly prove asymptotic formulas for arithmetic sequences, so long as the corresponding generating function exhibits exponential growth of a certain form near its radius of convergence. Two common methods for proving the required analytic behavior are modular transformations and Euler-Maclaurin summation.
However, these results are sometimes stated without certain technical conditions that are necessary for the complex analytic techniques that appear in Ingham's proof. We carefully examine the precise statements and proofs of these results, and find that in practice, the technical conditions are satisfied for those cases appearing in recent applications. We also generalize the classical approach of Euler-Maclaurin summation in order to prove asymptotic expansions for series with complex values, simple poles, or multi-dimensional summation indices.
Infectious power domination of hypergraphs
Published
• View Publication
• BIB
The power domination problem seeks to find the placement of the minimum number of sensors needed to monitor an electric power network. We generalize the power domination problem to hypergraphs using the infection rule from Bergen et al: given an initial set of observed vertices, $S_0$, a set $A\subseteq S_0$ may infect an edge $e$ if $A\subseteq e$ and for any unobserved vertex $v$, if $A\cup \{v\}$ is contained in an edge, then $v\in e$. We combine a domination step with this infection rule to create \emph{infectious power domination}. We compare this new parameter to the previous generalization by Chang and Roussel. We provide general bounds and determine the impact of some hypergraph operations.
Maximum Zagreb Indices Among All p-Quasi k-Cyclic Graphs
A simple connected graph G is called a p-quasi k-cyclic graph, if there exists a subset S of vertices such that |S|=p, G-S is k-cyclic and there is no a subset S` of V(G) such that |S`|<|S| and G-S` is k-cyclic. The aim of this paper is to characterize graph with maximum values of Zagreb indices among all p-quasi k-cyclic graph of order k>=3.
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$.