Showing 20 papers (Total: 84460 papers, 48641 authors in database)
New lower bounds for weak Schur partitions
Published in Integers 21 #A59 (2021)
• Search Publication
This paper records some apparently new results for the partition of integer intervals [1, n] into weakly sum-free subsets. These were produced using a method closely related to that used by Schur in 1917. New lower bounds can be produced in this way for partitions of unlimited size. The asymptotic growth rate of the lower bounds, as the number of subsets increases, cannot be less than the same growth rate for strongly sum-free partitions, and therefore exceeds 3.27. Specific results for partitions into a 'small' number of subsets include $WS(6) \ge 642$, $WS(7) \ge 2146$, $WS(8) \ge 6976$, $WS(9) \ge 21848$, and $WS(10) \ge 70778$.
A combinatorial bijection on di-sk trees
Published
• View Publication
• BIB
A di-sk tree is a rooted binary tree whose nodes are labeled by $\oplus$ or $\ominus$, and no node has the same label as its right child. The di-sk trees are in natural bijection with separable permutations. We construct a combinatorial bijection on di-sk trees proving the two quintuples $(\LMAX,\LMIN,\DESB,\iar,\comp)$ and $(\LMAX,\LMIN,\DESB,\comp,\iar)$ have the same distribution over separable permutations. Here for a permutation $π$, $\LMAX(π)/\LMIN(π)$ is the set of values of the left-to-right maxima/minima of $π$ and $\DESB(π)$ is the set of descent bottoms of $π$, while $\comp(π)$ and $\iar(π)$ are respectively the number of components of $π$ and the length of initial ascending run of $π$.
Interestingly, our bijection specializes to a bijection on $312$-avoiding permutations, which provides (up to the classical {\em Knuth--Richards bijection}) an alternative approach to a result of Rubey (2016) that asserts the two triples $(\LMAX,\iar,\comp)$ and $(\LMAX,\comp,\iar)$ are equidistributed on $321$-avoiding permutations. Rubey's result is a symmetric extension of an equidistribution due to Adin--Bagno--Roichman, which implies the class of $321$-avoiding permutations with a prescribed number of components is Schur positive.
Some equidistribution results for various statistics concerning tree traversal are presented in the end.
The Connected Domination Number of Grids
Published
• View Publication
• BIB
Closed form expressions for the domination number of an $n \times m$ grid have attracted significant attention, and an exact expression has been obtained in 2011 by Gonçalves et al. In this paper, we present our results on obtaining new lower bounds on the connected domination number of an $n \times m$ grid. The problem has been solved for grids with up to $4$ rows and with $6$ rows by Tolouse et al and the best currently known lower bound for arbitrary $m,n$ is $\lceil\frac{mn}{3}\rceil$. Fujie came up with a general construction for a connected dominating set of an $n \times m$ grid of size $\min \left\{2n+(m-4)+\lfloor\frac{m-4}{3}\rfloor(n-2), 2m+(n-4)+\lfloor\frac{n-4}{3}\rfloor(m-2) \right\}$ . In this paper, we investigate whether this construction is indeed optimum. We prove a new lower bound of $\left\lceil\frac{mn+2\lceil\frac{\min \{m,n\}}{3}\rceil}{3} \right\rceil$ for arbitrary $m,n \geq 4$.
Asymptotic Behaviour of the Containment of Certain Mesh Patterns
Published
• View Publication
• BIB
We present some results on the proportion of permutations of length $n$ containing certain mesh patterns as $n$ grows large, and give exact enumeration results in some cases. In particular, we focus on mesh patterns where entire rows and columns are shaded. We prove some general results which apply to mesh patterns of any length, and then consider mesh patterns of length four. An important consequence of these results is to show that the proportion of permutations containing a mesh pattern can take a wide range of values between $0$ and $1$.
Observables of stochastic colored vertex models and local relation
Published in Commun. Math. Phys. 386, 1881-1936 (2021)
• View Publication
• BIB
We study the stochastic colored six vertex (SC6V) model and its fusion. Our main result is an integral expression for natural observables of this model -- joint q-moments of height functions. This generalises a recent result of Borodin-Wheeler. The key technical ingredient is a new relation of height functions of SC6V model in neighboring points. This relation is of independent interest; we refer to it as a local relation. As applications, we give a new proof of certain symmetries of height functions of SC6V model recently established by Borodin-Gorin-Wheeler and Galashin, and new formulas for joint moments of delayed partition functions of Beta polymer.
A Stability Theorem for Maximal $C_{2k+1}$-free Graphs
Published
• View Publication
• BIB
For any positive integer $k$, we show that every maximal $C_{2k+1}$-free graph with at least $n^2/4-o(n^{3/2})$ edges contains an induced complete bipartite subgraph on $(1-o(1))n$ vertices. We also show that this is best possible.
A proof of the compositional Delta conjecture
We prove a compositional refinement of the Delta conjecture (rise version) of Haglund, Remmel and Wilson (2018) for $Δ_{e_{n-k-1}}'e_n$ which was stated by D'Adderio, Iraci and Vanden Wyngaerd (2020) in terms of Theta operators.
Ordinal Sums, Clockwise Hackenbush, and Domino Shave
Published
• View Publication
• BIB
We present two rulesets, Domino Shave and Clockwise Hackenbush. The first is somehow natural and, as special cases, includes Stirling Shave and Hetyei's Bernoulli game. Clockwise Hackenbush seems artificial yet it is equivalent to Domino Shave. From the pictorial form of the game, and a knowledge of Hackenbush, the decomposition into ordinal sums is immediate. The values of Clockwise Blue-Red Hackenbush are numbers and we provide an explicit formula for the ordinal sum of numbers where the literal form of the base is $\{x\,|\,\}$ or $\{\,|\,x\}$, and $x$ is a number. That formula generalizes van Roode's signed binary number method for Blue-Red Hackenbush.
Hopf monoids of ordered simplicial complexes
Published
• View Publication
• BIB
We study pure ordered simplicial complexes (i.e., simplicial complexes with a linear order on their ground sets) from the Hopf-theoretic point of view. We define a \textit{Hopf class} to be a family of pure ordered simplicial complexes that give rise to a Hopf monoid under join and deletion/contraction. The prototypical Hopf class is the family of ordered matroids. The idea of a Hopf class allows us to give a systematic study of simplicial complexes related to matroids, including shifted complexes, broken-circuit complexes, and \textit{unbounded matroids} (which arise from unbounded generalized permutohedra with 0/1 coordinates).
We compute the antipodes in two cases: \textit{facet-initial complexes} (a much larger class than shifted complexes) and unbounded ordered matroids. In the latter case, we embed the Hopf monoid of ordered matroids into the Hopf monoid of ordered generalized permutohedra, enabling us to compute the antipode using the topological method of Aguiar and Ardila. The calculation is complicated by the appearance of certain auxiliary simplicial complexes that we call \textit{Scrope complexes}, whose Euler characteristics control certain coefficients of the antipode. The resulting antipode formula is multiplicity-free and cancellation-free.
Disjoint cycles with length constraints in digraphs of large connectivity or minimum degree
Published
• View Publication
• BIB
A conjecture by Lichiardopol states that for every $k \ge 1$ there exists an integer $g(k)$ such that every digraph of minimum out-degree at least $g(k)$ contains $k$ vertex-disjoint directed cycles of pairwise distinct lengths. Motivated by Lichiardopol's conjecture, we study the existence of vertex-disjoint directed cycles satisfying length constraints in digraphs of large connectivity or large minimum degree. Our main result is that for every $k \in \mathbb{N}$, there exists $s(k) \in \mathbb{N}$ such that every strongly $s(k)$-connected digraph contains $k$ vertex-disjoint directed cycles of pairwise distinct lengths. In contrast, for every $k \in \mathbb{N}$ we construct a strongly $k$-connected digraph containing no two vertex- or arc-disjoint directed cycles of the same length. It is an open problem whether $g(3)$ exists. Here we prove the existence of an integer $K$ such that every digraph of minimum out- and in-degree at least $K$ contains $3$ vertex-disjoint directed cycles of pairwise distinct lengths.
Cellular chains on freehedra and operadic pairs
The paper is devoted to explaining the operadic meaning of freehedra, a family of polytopes originally defined to study free loop spaces. We introduce the notion of operadic pairs and algebras over them. Cellular chains on Stasheff associahedra and Stasheff multiplihedra assemble into a two-colored operadic pair that governs $A_\infty$-algebras and $A_\infty$-modules over them, with maps that are $A_\infty$ in both colors. An important quotient of this operadic pair is given by cellular chains on cubes and freehedra.
A modular characterization of supersolvable lattices
Published in Proc. Amer. Math. Soc. 150 (2022), 31-39
• View Publication
• BIB
We characterize supersolvable lattices in terms of a certain modular type relation. McNamara and Thomas earlier characterized this class of lattices as those graded lattices having a maximal chain that consists of left-modular elements. Our characterization replaces the condition of gradedness with a second modularity condition on the maximal chain of left-modular elements.
Mono and Multi-objective Models for the Emergency Medical Service in the City of Belo Horizonte, Brazil
This work presents the facility location problem for maximum coverage in an emergency medical service called SAMU-BH, located in Belo Horizonte, Minas Gerais, Brazil. The purpose of the proposed model is to find the best locations for its ambulances in order to provide faster in-site assistance whenever necessary. First, it develops a mono-objective model to maximize the coverage rate, defined as the number of calls attended before a target time. Based on the Facility Location and Equipment Emplacement Technique (FLEET) model, a novel mathematical model is proposed, called FLEET-IC, which can work with independent coverages. Secondly, it proposes a multi-objective model to increase total coverage while reducing the number of installed bases. The results show that the mono-objective model's application increases the coverage rate up to 48%, considering the busy fraction factor and up to 26% without it. It also analyzes the effect on the coverage rate of the inclusion of additional ambulances.
Five Equivalent Representations of a Phylogenetic Tree
Published
• View Publication
• BIB
A phylogenetic tree is a tree with a fixed set of leaves that has no vertices of degree two.
In this paper, we axiomatically define four other discrete structures on the set of leaves.
We prove that each of these structures is an equivalent representation of a phylogenetic tree.
Quasi-projective posets, lattices, permutations, graphs, digraphs, hypergraphs, point-line geometries
A structure $\cal S$ is quasi-projective if for every structure $\cal T$, for every homomorphism $f : {\cal S} \rightarrow {\cal T}$ and every epimorphism $j: {\cal S}\rightarrow {\cal T}$ there is an endomorphism $φ$ of $\cal S$ such that $φ\circ j=f$. In this paper, we characterise the quasi-projective posets and lattices of arbitrary cardinalities, finite permutations, graphs and digraphs of arbitrary cardinalities with loops and without loops, finite hypergraphs, and finite point-line geometries.
The Betti Number of the Independence Complex of Ternary Graphs
Published
• View Publication
• BIB
Given a graph $G$, the \textit{independence complex} $I(G)$ is the simplicial complex whose faces are the independent sets of $V(G)$. Let $\tilde{b}_i$ denote the $i$-th reduced Betti number of $I(G)$, and let $b(G)$ denote the sum of $\tilde{b}_i(G)$'s. A graph is ternary if it does not contain induced cycles with length divisible by three. G. Kalai and K. Meshulam conjectured that $b(G)\le 1$ whenever $G$ is ternary. We prove this conjecture. This extends a recent results proved by Chudnovsky, Scott, Seymour and Spirkl that for any ternary graph $G$, the number of independent sets with even cardinality and the independent sets with odd cardinality differ by at most 1.
Clique immersion in graphs without fixed bipartite graph
Published
• View Publication
• BIB
A graph $G$ contains $H$ as an \emph{immersion} if there is an injective mapping $φ: V(H)\rightarrow V(G)$ such that for each edge $uv\in E(H)$, there is a path $P_{uv}$ in $G$ joining vertices $φ(u)$ and $φ(v)$, and all the paths $P_{uv}$, $uv\in E(H)$, are pairwise edge-disjoint. An analogue of Hadwiger's conjecture for the clique immersions by Lescure and Meyniel, and independently by Abu-Khzam and Langston, states that every graph $G$ contains $K_{χ(G)}$ as an immersion. We prove that for any constant $\varepsilon>0$ and integers $s,t\ge2$, there exists $d_0=d_0(\varepsilon,s,t)$ such that every $K_{s,t}$-free graph $G$ with $d(G)\ge d_0$ contains a clique immersion of order $(1-\varepsilon)d(G)$. This implies that the above-mentioned conjecture is asymptotically true for graphs without a fixed complete bipartite graph.
Constructive Graph Theory: Generation Methods, Structure and Dynamic Characterization of Closed Classes of Graphs -- A survey
Published in Constructive graph theory and its Applications. Nizhny Novgorod: Publishing house "Cyrillic", 2016. 172p. (Russian)
• Search Publication
The processes of constructing some graphs from others using binary operations of union with intersection (gluing) are studied. For graph classes closed with respect to gluing operations the elemental and operational bases are introduced. The generating bases together with the system of restrictions on the gluing operation that preserves the characteristic properties of graphs form constructive descriptions of the closed classes of graphs.
It is shown that each closed class of graphs has a unique elemental basis and at least one operational basis. A constructive description of a closed class of all graphs and all bases precompletion closed sub-classes of it are considered. For each of them its characteristic properties and a diagram of the inclusion of sub-classes in super classes is given. Constructive descriptions are obtained for some classes of graphs with classical properties. In conclusion, some possible applications of constructive graph theory are discussed.
Upper bounds for the Steklov eigenvalues on trees
Published
• View Publication
• BIB
In this paper, we study the upper bounds for discrete Steklov eigenvalues on trees via geometric quantities. For a finite tree, we prove sharp upper bounds for the first nonzero Steklov eigenvalue by the reciprocal of the size of the boundary and the diameter respectively. We also prove similar estimates for higher order Steklov eigenvalues.
Polynomization of the Chern--Fu--Tang conjecture
Published
• View Publication
• BIB
Bessenrodt and Ono's work on additive and multiplicative properties of the partition function and DeSalvo and Pak's paper on the log-concavity of the partition function have generated many beautiful theorems and conjectures. In January 2020, the first author gave a lecture at the MPIM in Bonn on a conjecture of Chern--Fu--Tang, and presented an extension (joint work with Neuhauser) involving polynomials. Partial results have been announced. Bringmann, Kane, Rolen and Tripp provided complete proof of the Chern--Fu--Tang conjecture, following advice from Ono to utilize a recently provided exact formula for the fractional partition functions. They also proved a large proportion of Heim--Neuhauser's conjecture, which is the polynomization of Chern--Fu--Tang's conjecture. We prove several cases, not covered by Bringmann et.\ al. Finally, we lay out a general approach for proving the conjecture.