Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Multilabeled versions of Sperner's and Fan's lemmas and applications
Published
• View Publication
• BIB
We propose a general technique related to the polytopal Sperner lemma for proving old and new multilabeled versions of Sperner's lemma. A notable application of this technique yields a cake-cutting theorem where the number of players and the number of pieces can be independently chosen. We also prove multilabeled versions of Fan's lemma, a combinatorial analogue of the Borsuk-Ulam theorem, and exhibit applications to fair division and graph coloring.
Combinatorial Proofs of Two Overpartition Theorems Connected by a Universal Mock Theta Function
In 2015, Bringmann, Lovejoy and Mahlburg considered certain kinds overpartitions, which can been seen as the overpartition analogue of Schur's partition. The motivation of their work is that the difference between the generating function of Schur's classical partitions and the generating functions of the partitions in which the smallest part is excluded. The difference between the two generating functions of partitions is a specialization of the "universal" mock theta function g_3 which introduced by Hickerson. To give an analogue of this, by using another universal mock theta function g_2 instead of g_3, Bringmann Lovejoy and Mahlburg introduced two kinds of overpartitions, which satisfy certain congruence conditions and difference conditions with the smallest parts different. They prove these theorems by using the q-differential equations. In this paper, we will give the generating functions of these two kinds of overpartitions by combinatorial technique.
Parity Considerations in Rogers-Ramanujan-Gordon Type Overpartitions
Published
• View Publication
• BIB
In 2010, Andrews considers a variety of parity questions connected to classical partition identities of Euler, Rogers, Ramanujan and Gordon. As a large part in his paper, Andrews considered the partitions by restricting the parity of occurrences of even numbers or odd numbers in the Rogers-Ramanujan-Gordon type. The Rogers-Ramanujan-Gordon type partition was defined by Gordon in 1961 as a combinatorial generalization of the Rogers-Ramaujan identities with odd moduli.
In 1974, Andrews derived an identity which can be considered as the generating function counterpart of the Rogers-Ramanujan-Gordon theorem, and since then it has been called the Andrews--Gordon identity. By revisting the Andrews--Gordon identity Andrews extended his results by considering some additional restrictions involving parities to obtain some Rogers-Ramanujan-Gordon type theorems and Andrews--Gordon type identities. In the end of Andrews' paper, he posed $15$ open problems. Most of Andrews' $15$ open problems have been settled, but the $11$th that "extend the parity indices to overpartitions in a manner" has not. In 2013, Chen, Sang and Shi, derived the overpartition analogues of the Rogers-Ramanujan-Gordon theorem and the Andrews-Gordon identity. In this paper, we post some parity restrictions on these overpartitions analogues to get some Rogers-Ramanujan-Gordon type overpartition theorems.
Multiple addition, deletion and restriction theorems for hyperplane arrangements
Published
• View Publication
• BIB
In the study of free arrangements, the most useful result to construct/check free arrangements is the addition-deletion theorem. Recently, the multiple version of the addition theorem is proved, called the multiple addition theorem (MAT) to prove the ideal-free theorem. The aim of this article is to give the deletion version of MAT, the multiple deletion theorem (MDT). Also, we can generalize MAT from the viewpoint of our new proof. Moreover, we introduce their restriction version, a multiple restriction theorem (MRT). Applications of them including the combinatorial freeness of the extended Catalan arrangements are given.
Sparse highly connected spanning subgraphs in dense directed graphs
Published in Combinator. Probab. Comp. 28 (2019) 423-464
• View Publication
• BIB
Mader proved that every strongly $k$-connected $n$-vertex digraph contains a strongly $k$-connected spanning subgraph with at most $2kn - 2k^2$ edges, where the equality holds for the complete bipartite digraph ${DK}_{k,n-k}$. For dense strongly $k$-connected digraphs, this upper bound can be significantly improved. More precisely, we prove that every strongly $k$-connected $n$-vertex digraph $D$ contains a strongly $k$-connected spanning subgraph with at most $kn + 800k(k+\overlineΔ(D))$ edges, where $\overlineΔ(D)$ denotes the maximum degree of the complement of the underlying undirected graph of a digraph $D$. Here, the additional term $800k(k+\overlineΔ(D))$ is tight up to multiplicative and additive constants. As a corollary, this implies that every strongly $k$-connected $n$-vertex semicomplete digraph contains a strongly $k$-connected spanning subgraph with at most $kn + 800k^2$ edges, which is essentially optimal since $800k^2$ cannot be reduced to the number less than $k(k-1)/2$.
We also prove an analogous result for strongly $k$-arc-connected directed multigraphs. Both proofs yield polynomial-time algorithms.
Neighborhood-Prime Labelings of Trees and Other Classes of Graphs
A neighborhood-prime labeling of a graph is a variation of a prime labeling in which the vertices are assigned labels from $1$ to $|V(G)|$ such that the $\gcd$ of the labels in the neighborhood of each non-degree $1$ vertex is equal to $1$. In this paper, we examine neighborhood-prime labelings of several classes of graphs such as polygonal snakes and books, with a focus on trees including caterpillars, spiders, and firecrackers.
Seymour's conjecture on 2-connected graphs of large pathwidth
Published in Combinatorica, 40:839--868, 2020
• View Publication
• BIB
We prove the conjecture of Seymour (1993) that for every apex-forest $H_1$ and outerplanar graph $H_2$ there is an integer $p$ such that every 2-connected graph of pathwidth at least $p$ contains $H_1$ or $H_2$ as a minor. An independent proof was recently obtained by Dang and Thomas.
An application of the partial r-Bell polynomials on some family of bivariate polynomials
The aim of this paper is to give some combinatorial relations linked polynomials generalizing those of Appell type to the partial r-Bell polynomials. We give an inverse relation, recurrence relations involving some family of polynomials and their exact expressions at rational values in terms of the partial r-Bell polynomials. We illustrate the obtained results by various comprehensive examples.
Quadrilaterals inscribed in convex curves
Published in Trans. Amer. Math. Soc. 374 (2021), no. 8, 5719-5738
• View Publication
• BIB
We classify the set of quadrilaterals that can be inscribed in convex Jordan curves, in the continuous as well as in the smooth case. This answers a question of Makeev in the special case of convex curves. The difficulty of this problem comes from the fact that standard topological arguments to prove the existence of solutions do not apply here due to the lack of sufficient symmetry. Instead, the proof makes use of an area argument of Karasev and Tao, which we furthermore simplify and elaborate on. The continuous case requires an additional analysis of the singular points, and a small miracle, which then extends to show that the problems of inscribing isosceles trapezoids in smooth curves and in piecewise $C^1$ curves are equivalent.
A short note on doubly substochastic analog of Birkhoff's theorem
Let B be an n by n doubly substochastic matrix. We show that B can be written as a convex combination of no more than σ(B)+t subpermutation matrices, where σ(B) is the number of nonzero elements in B and t is the number of fully indecomposable components of B^{comp}, the minimal doubly stochastic completion of B obtained by a specific way.
Validity of Borodin and Kostochka Conjecture for {4 Times K1}-free Graphs
Problem of finding an optimal upper bound for the chromatic no. of even 3K1-free graphs is still open and pretty hard. Here we prove Borodin & Kostochka Conjecture for 4K1-free graphs G i.e. If maximum degree of a {4 Times K1}-free graph is greater than or equal to 9, then the chromatic number of the graph is less than or equal to maximum of ω and {δ-1}.
Schurity and separability of quasiregular coherent configurations
Published
• View Publication
• BIB
A permutation group is said to be quasiregular if every its transitive constituent is regular, and a quasiregular coherent configuration can be thought as a combinatorial analog of such a group: the transitive constituents are replaced by the homogeneous components. In this paper, we are interested in the question when the configuration is schurian, i.e., formed by the orbitals of a permutation group, or/and separable, i.e., uniquely determined by the intersection numbers. In these terms, an old result of Hanna Neumann is, in a sense, dual to the statement that the quasiregular coherent configurations with cyclic homogeneous components are schurian. In the present paper, we (a) establish the duality in a precise form and (b) generalize the latter result by proving that a quasiregular coherent configuration is schurian and separable if the groups associated with homogeneous components have distributive lattices of normal subgroups.
A family of multigraphs with large palette index
Published
• View Publication
• BIB
Given a proper edge-coloring of a loopless multigraph, the palette of a vertex is defined as the set of colors of the edges which are incident with it. The palette index of a multigraph is defined as the minimum number of distinct palettes occurring among the vertices, taken over all proper edge-colorings of the multigraph itself. In this framework, the palette multigraph of an edge-colored multigraph is defined in this paper and some of its properties are investigated. We show that these properties can be applied in a natural way in order to produce the first known family of multigraphs whose palette index is expressed in terms of the maximum degree by a quadratic polynomial. We also attempt an analysis of our result in connection with some related questions.
Codegree Turán density of complete $r$-uniform hypergraphs
Published
• View Publication
• BIB
Let $r\ge 3$. Given an $r$-graph $H$, the minimum codegree $δ_{r-1}(H)$ is the largest integer $t$ such that every $(r-1)$-subset of $V(H)$ is contained in at least $t$ edges of $H$. Given an $r$-graph $F$, the codegree Turán density $γ(F)$ is the smallest $γ>0$ such that every $r$-graph on $n$ vertices with $δ_{r-1}(H)\ge (γ+ o(1))n$ contains $F$ as a subhypergraph. Using results on the independence number of hypergraphs, we show that there are constants $c_1, c_2>0$ depending only on $r$ such that \[ 1 - c_2 \frac{\ln t}{t^{r-1}} \le γ(K_t^r) \le 1 - c_1 \frac{\ln t}{t^{r-1}}, \] where $K_t^r$ is the complete $r$-graph on $t$ vertices. This gives the best general bounds for $γ(K_t^r)$.
Finite semilattices with many congruences
For an integer $n\geq 2$, let NCSL$(n)$ denote the set of sizes of congruence lattices of $n$-element semilattices. We find the four largest numbers belonging to NCSL$(n)$, provided that $n$ is large enough to ensure that $|$NCSL$(n)|\geq 4$. Furthermore, we describe the $n$-element semilattices witnessing these numbers.
The Action of Young Subgroups on the Partition Complex
Published
• View Publication
• BIB
We study the restrictions, the strict fixed points, and the strict quotients of the partition complex $|Π_n|$, which is the $Σ_n$-space attached to the poset of proper nontrivial partitions of the set $\{1,\ldots,n\}$.
We express the space of fixed points $|Π_n|^G$ in terms of subgroup posets for general $G\subset Σ_n$ and prove a formula for the restriction of $|Π_n|$ to Young subgroups $Σ_{n_1}\times \dots\times Σ_{n_k}$. Both results follow by applying a general method, proven with discrete Morse theory, for producing equivariant branching rules on lattices with group actions. We uncover surprising links between strict Young quotients of $|Π_n|$, commutative monoid spaces, and the cotangent fibre in derived algebraic geometry. These connections allow us to construct a cofibre sequence relating various strict quotients $|Π_n|^\diamond\wedge_{Σ_n} (S^\ell)^{\wedge n}$ and give a combinatorial proof of a splitting in derived algebraic geometry. Combining all our results, we decompose strict Young quotients of $|Π_n|$ in terms of "atoms" $|Π_d|^\diamond\wedge_{Σ_d} (S^\ell)^{\wedge d}$ for $\ell$ odd and compute their homology. We thereby also generalise Goerss' computation of the algebraic André-Quillen homology of trivial square-zero extensions from $\mathbb{F}_2$ to $\mathbb{F}_p$ for $p$ an odd prime.
Hats: all or nothing
N players are randomly fitted with a colored hat (q different colors). All players guess simultaneously the color of their own hat observing only the hat colors of the other N-1 players. The team wins if all players guess right. No communication of any sort is allowed, except for an initial strategy session before the game begins. In the first part of our investigation we have q different colors with equal probability. Up to 4 colors we construct optimal strategies for any number of players using Hamming Complete Sets. For 5 colors we find optimal strategies up to 5 players using Optimal Hamming Sets. In the second part we have two colors where the probabilities may differ. We construct optimal strategies and maximal probability of winning the game for any number of players.
Correlation between clustering and degree in affiliation networks
Published
• View Publication
• BIB
We are interested in the probability that two randomly selected neighbors of a random vertex of degree (at least) $k$ are adjacent. We evaluate this probability for a power law random intersection graph, where each vertex is prescribed a collection of attributes and two vertices are adjacent whenever they share a common attribute. We show that the probability obeys the scaling $k^{-δ}$ as $k\to+\infty$. Our results are mathematically rigorous. The parameter $0\le δ\le 1$ is determined by the tail indices of power law random weights defining the links between vertices and attributes.
A bound on the inducibility of cycles
Published in J. Combin. Theory Ser. A 161 (2019), 359-363
• View Publication
• BIB
In 1975, Pippenger and Golumbic conjectured that every n-vertex graph has at most $n^k/(k^k - k)$ induced cycles of length k for k at least 5. We prove that every n-vertex graph has at most $2 n^k/k^k$ induced cycles of length k.
How Many Rounds Should You Expect in Urn Solitaire?
A certain sampling process, concerning an urn with balls of two colors, proposed in 1965 by B.E. Oakley and R.L. Perry, and discussed by Peter Winkler and Martin Gardner, that has an extremely simple answer for the probability, namely the constant function 1/2, has a far more complicated expected duration, that we discover and sketch the proof of. So unlike, for example, the classical gambler's ruin problem, for which both `probability of winning' and `expected duration' have very simple expressions, in this case the expected number of rounds is extremely complicated, and beyond the scope of humans.