Showing 20 papers (Total: 82505 papers, 47699 authors in database)
The Turán Number of the Triangular Pyramid of $3$-Layers
Published
• View Publication
• BIB
The Turán number of a graph $H$, denoted by $\text{ex}(n, H)$, is the maximum number of edges in an $n$-vertex graph that does not have $H$ as a subgraph. Let $TP_k$ be the triangular pyramid of $k$-layers. In this paper, we determine that $\text{ex}(n,TP_3)= \frac{1}{4}n^2+n+o(n)$ and pose a conjecture for $\text{ex}(n,TP_4)$.
Decomposition of hypercubes into sunlet graphs
Published
• View Publication
• BIB
For any positive integer $k \geq 3,$ the sunlet graph of order $2k$, denoted by $L_{2k},$ is the graph obtained by adding a pendant edge to each vertex of a cycle of length $k.$ In this paper, we prove that the necessary and sufficient condition for the existence of an $L_{16}$-decomposition of the $n$-dimensional hypercube $Q_n$ is $n = 4$ or $n \geq 6.$ Also, we prove that for any integer $m \geq 2,$ $Q_{mn}$ has an $L_{2k}$-decomposition if $Q_{n}$ has a $C_k$-decomposition.
MacMahon Partition Analysis: A discrete approach to broken stick problems
Published in J. Combin. Theory Ser. A 187 (2022), Paper No. 105571
• View Publication
• BIB
We propose a discrete approach to solve problems on forming polygons from broken sticks, which is akin to counting polygons with sides of integer length subject to certain Diophantine inequalities. Namely, we use MacMahon's Partition Analysis to obtain a generating function for the size of the set of segments of a broken stick subject to these inequalities. In particular, we use this approach to show that for $n\geq k\geq 3$, the probability that a $k$-gon cannot be formed from a stick broken into $n$ parts is given by $n!$ over a product of linear combinations of partial sums of generalized Fibonacci numbers, a problem which proved to be very hard to generalize in the past.
Cluster Modular Groups of Affine and Doubly Extended Cluster Algebras
Published
• View Publication
• BIB
We calculate the cluster modular groups of affine and doubly extended typecluster algebras in a uniform way by introducing a new family of quivers. We use this uniformdescription to construct a natural finite quotient of the cluster complex of each affine anddoubly extended cluster algebra. Using this construction, we introduce the notion of affineand doubly extended generalized associahedra, and count their facets.
Covering Symmetric Sets of the Boolean Cube by Affine Hyperplanes
Published in The Electronic Journal of Combinatorics, 29(2), 2022
• View Publication
• BIB
Alon and Füredi (European J. Combin., 1993) proved that any family of hyperplanes that covers every point of the Boolean cube $\{0,1\}^n$ except one must contain at least $n$ hyperplanes. We obtain two extensions of this result, in characteristic zero, for hyperplane covers of symmetric sets of the Boolean cube (subsets that are closed under permutations of coordinates), as well as for `polynomial covers' of `weight-determined' sets of `strictly unimodal uniform' (SU$^2$) grids.
As a main tool for solving our problems, we give a combinatorial characterization of (finite-degree) Zariski (Z-) closures of symmetric sets of the Boolean cube -- the Z-closure of a symmetric set is symmetric. In fact, we obtain a characterization that concerns, more generally, weight-determined sets of SU$^2$ grids. However, in this generality, our characterization is not of the Z-closures -- unlike over the Boolean cube, the Z-closure of a weight-determined set need not be weight-determined. We introduce a new closure operator exclusively for weight-determined sets -- the `(finite-degree) Z*-closure' -- defined to be the maximal weight-determined set in the Z-closure. (This coincides with the Z-closure over the Boolean cube, for symmetric sets.) We obtain a combinatorial characterization of the finite-degree Z*-closures of weight-determined sets of an SU$^2$ grid. This characterization may also be of independent interest. Indeed, as further applications, we (i) give an alternate proof of a lemma by Alon et al. (IEEE Trans. Inform. Theory, 1988), and (ii) characterize the `certifying degrees' of weight-determined sets.
Over the Boolean cube, our above characterization can also be derived using a result of Bernasconi and Egidi (Inf. Comput., 1999). However, our proof is independent of this result, works for all SU$^2$ grids, and could be regarded as being more combinatorial.
Enumerating k-SAT functions
Published
• View Publication
• BIB
How many $k$-SAT functions on $n$ boolean variables are there? What does a typical such function look like? Bollobás, Brightwell, and Leader conjectured that, for each fixed $k \ge 2$, the number of $k$-SAT functions on $n$ variables is $(1+o(1))2^{\binom{n}{k} + n}$, or equivalently: a $1-o(1)$ fraction of all $k$-SAT functions are unate, i.e., monotone after negating some variables. They proved a weaker version of the conjecture for $k=2$. The conjecture was confirmed for $k=2$ by Allen and $k=3$ by Ilinca and Kahn.
We show that the problem of enumerating $k$-SAT functions is equivalent to a Turán density problem for partially directed hypergraphs. Our proof uses the hypergraph container method. Furthermore, we confirm the Bollobás--Brightwell--Leader conjecture for $k=4$ by solving the corresponding Turán density problem. Our solution applies a recent result of Füredi and Maleki on the minimum triangular edge density in a graph of given edge density. In an appendix (by Nitya Mani and Edward Yu), we further confirm the $k=5$ case of the conjecture via a brute force computer search.
Unbalanced spanning subgraphs in edge labeled complete graphs
Published
• View Publication
• BIB
Let $K$ be a complete graph of order $n$. For $d\in (0,1)$, let $c$ be a $\pm 1$-edge labeling of $K$ such that there are $d{n\choose 2}$ edges with label $+1$, and let $G$ be a spanning subgraph of $K$ of maximum degree at most $Δ$. We prove the existence of an isomorphic copy $G'$ of $G$ in $K$ such that the number of edges with label $+1$ in $G'$ is at least $\left(c_{d,Δ}-O\left(\frac{1}{n}\right)\right)m(G)$, where $c_{d,Δ}=d+Ω\left(\frac{1}Δ\right)$ for fixed $d$, that is, this number visibly deviates from its expected value when considering a uniformly random copy of $G$ in $K$. For $d=\frac{1}{2}$, and $Δ\leq 2$, we present more detailed results.
On intersection density of transitive groups of degree a product of two odd primes
Published in Finite Fields and Their Applications, Volume 78, 2022
• View Publication
• BIB
Two elements $g$ and $h$ of a permutation group $G$ acting on a set $V$ are said to be intersecting if $g(v) = h(v)$ for some $v \in V$. More generally, a subset ${\cal F}$ of $G$ is an intersecting set if every pair of elements of ${\cal F}$ is intersecting. The intersection density $ρ(G)$ of a transitive permutation group $G$ is the maximum value of the quotient $|{\cal F}|/|G_v|$ where $G_v$ is a stabilizer of $v\in V$ and ${\cal F}$ runs over all intersecting sets in $G$. Intersection densities of transitive groups of degree $pq$, where $p>q$ are odd primes, is considered. In particular, the conjecture that the intersection density of every such group is equal to $1$ (posed in [ J.~Combin. Theory, Ser. A 180 (2021), 105390]) is disproved by constructing a family of imprimitive permutation groups of degree $pq$ (with blocks of size $q$), where $p=(q^k-1)/(q-1)$, whose intersection density is equal to $q$. The construction depends heavily on certain equidistant cyclic codes $[p,k]_q$ over the field $\mathbb{F}_q$ whose codewords have Hamming weight strictly smaller than $p$.
Steiner Tree in $k$-star Caterpillar Convex Bipartite Graphs -- A Dichotomy
The class of $k$-star caterpillar convex bipartite graphs generalizes the class of convex bipartite graphs. For a bipartite graph with partitions $X$ and $Y$, we associate a $k$-star caterpillar on $X$ such that for each vertex in $Y$, its neighborhood induces a tree. The $k$-star caterpillar on $X$ is imaginary and if the imaginary structure is a path ($0$-star caterpillar), then it is the class of convex bipartite graphs. The minimum Steiner tree problem (STREE) is defined as follows: given a connected graph $G=(V,E)$ and a subset of vertices $R \subseteq V(G)$, the objective is to find a minimum cardinality set $S \subseteq V(G)$ such that the set $R \cup S$ induces a connected subgraph. STREE is known to be NP-complete on general graphs as well as for special graph classes such as chordal graphs, bipartite graphs, and chordal bipartite graphs. The complexity of STREE in convex bipartite graphs, which is a popular subclass of chordal bipartite graphs, is open. In this paper, we introduce $k$-star caterpillar convex bipartite graphs, and show that STREE is NP-complete for $1$-star caterpillar convex bipartite graphs and polynomial-time solvable for $0$-star caterpillar convex bipartite graphs (also known as convex bipartite graphs). In \cite{muller1987np}, it is shown that STREE in chordal bipartite graphs is NP-complete. A close look at the reduction instances reveal that the instances are $3$-star caterpillar convex bipartite graphs, and in this paper, we strengthen the result of \cite{muller1987np}.
Packing density of combinatorial settlement planning models
Published
• View Publication
• BIB
Recently, a combinatorial settlement planning model was introduced. The idea underlying the model is that the houses are randomly being built on a rectangular tract of land according to the specified rule until the maximal configuration is reached, that is, no further houses can be built while still following that rule. Once the building of the settlement is done, the main question is what percentage of the tract of land on which the settlement was built has been used, i.e. what is the building density of the maximal configuration that was reached. In this article, with the aid of simulations, we find an estimate for the average building density of maximal configurations and we study what happens with this average when the size of a tract of land grows to infinity.
Critical factorisation in square-free words
Published
• View Publication
• BIB
A position $p$ in a word $w$ is critical if the minimal local period at $p$ is equal to the global period of $w$. According to the Critical Factorisation Theorem all words of length at least two have a critical point. We study the number $η(w)$ of critical points of square-free ternary words $w$, i.e., words over a three letter alphabet. We show that the sufficiently long square-free words $w$ satisfy $η(w) \le |w|-5$ where $|w|$ denotes the length of $w$. Moreover, the bound $|w|-5$ is reached by infinitely many words. On the other hand, every square-free word $w$ has at least $|w|/4$ critical points, and there is a sequence of these words closing to this bound.
A polytopal generalization of Apollonian packings and Descartes' theorem
Published
• View Publication
• BIB
We present a generalization of Descartes' theorem for the family of polytopal sphere packings arising from uniform polytopes. The corresponding quadratic equation is expressed in terms of geometric invariants of uniform polytopes which are closely connected to canonical realizations of edge-scribable polytopes. We use our generalization to construct integral Apollonian packings based on the Platonic solids. Additionally, we also introduce and discuss a new spectral invariant for edge-scribable polytopes.
A class of graphs with distinguishing index $\bf D' \leq 3$
An edge-coloring of a graph is called asymmetric if the only automorphism which preserves it is the identity. Lehner, Pilśniak, and Stawiski proved that all connected regular graphs except $K_2$ admit an asymmetric edge-coloring with three colors. We generalize this result for graphs whose minimal degree $δ$ and the maximal degree $Δ$ satisfy $δ\geq Δ/2$.
Monochromatic Edges in Complete Multipartite Hypergraphs
Published
• View Publication
• BIB
Consider the following problem. In a school with three classes containing $n$ students each, given that their genders are unknown, find the minimum possible number of triples of same-gender students not all of which are from the same class. Muaengwaeng asked this question and conjectured that the minimum scenario occurs when the classes are all boy, all girl and half-and-half. In this paper, we solve many generalizations of the problem including when the school has more than three classes, when triples are replaced by groups of larger sizes, when the classes are of different sizes, and when gender is replaced by other non-binary attributes.
Asymmetric edge-coloring of graphs with simple automorphism group
Published
• View Publication
• BIB
The distinguishing index $D'(Γ)$ of a graph $Γ$ is the least number $k$ such that $Γ$ has an edge-coloring with $k$ colors preserved only by the trivial automorphism. In this paper we prove that if the automorphism group of a finite graph $Γ$ is simple, then its distinguishing index $D'(Γ)=2$.
Higher Bruhat orders of types B and C
Published
• View Publication
• BIB
We propose versions of higher Bruhat orders for types $B$ and $C$. This is based on a theory of higher Bruhat orders of type~A and their geometric interpretations (due to Manin--Shekhtman, Voevodskii--Kapranov, and Ziegler), and on our study of the so-called symmetric cubillages of cyclic zonotopes.
Lattice path enumeration for semi-magic squares of size three
We give formulas for enumerating directed paths in the graded poset of semi-magic squares of size three. We give two applications of these formulas: an advanced example of Vandermonde convolution for finite graded posets, and a direct method for deriving Regge symmetry formulas for un-normalized Clebsch-Gordan coefficients.
Random Permutations -- A geometric point of view
We look at geometric limits of large random non-uniform permutations. We mainly consider two theories for limits of permutations: permuton limits, introduced by Hoppen, Kohayakawa, Moreira, Rath, and Sampaio to define a notion of scaling limits for permutations; and Benjamini-Schramm limits, introduced by the author to define a notion of local limits for permutations. The models of random permutations that we consider are mainly constrained models, that is, uniform permutations belonging to a given subset of the set of all permutations. We often identify this subset using pattern-avoidance, focusing on: permutations avoiding a pattern of length three, substitution-closed classes, (almost) square permutations, permutation families encoded by generating trees, and Baxter permutations. We explore some universal phenomena for the models mentioned above. For Benjamini-Schramm limits we explore a concentration phenomenon for the limiting objects. For permuton limits we deepen the study of some known universal permutons, called biased Brownian separable permutons, and we introduce some new ones, called Baxter permuton and skew Brownian permutons. In addition, for (almost) square permutations, we investigate the occurrence of a phase transition for the limiting permutons. On the way, we establish various combinatorial results both for permutations and other related objects. Among others, we give a complete description of the feasible region for consecutive patterns as the cycle polytope of a specific graph; and we find new bijections relating Baxter permutations, bipolar orientations, walks in cones, and a new family of discrete objects called coalescent-walk processes.
The Foata-Fuchs proof of Cayley's formula, and its probabilistic uses
Published
• View Publication
• BIB
We present a very simple bijective proof of Cayley's formula due to Foata and Fuchs (1970). This bijection turns out to be very useful when seen through a probabilistic lens; we explain some of the ways in which it can be used to derive probabilistic identities, bounds, and growth procedures for random trees with given degrees, including random d-ary trees. We also introduce a partial order on the degree sequences of rooted trees, and conjecture that it induces a stochastic partial order on heights of random rooted trees with given degrees.
Decomposition of cubic graphs with cyclic connectivity 5
Let $G$ be a cyclically $5$-connected cubic graph with a $5$-edge-cut separating $G$ into two cyclic components $G_1$ and $G_2$. We prove that each component $G_i$ can be completed to a cyclically $5$-connected cubic graph by adding three vertices, unless $G_i$ is a cycle of length five. Our work extends similar results by Andersen et al. for cyclic connectivity $4$ from 1988.