Showing 20 papers (Total: 82505 papers, 47699 authors in database)
The Variance and the Asymptotic Distribution of the Length of Longest $k$-alternating Subsequences
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Combinatorics (May 5, 2023) dmtcs:10296
• View Publication
• BIB
We obtain an explicit formula for the variance of the number of $k$-peaks in a uniformly random permutation. This is then used to obtain an asymptotic formula for the variance of the length of longest $k$-alternating subsequence in random permutations. Also a central limit is proved for the latter statistic.
Total Difference Labeling of Regular Infinite Graphs
Published in Involve 16 (2023) 765-781
• View Publication
• BIB
Given a graph $G$, a \textit{$k$-total difference labeling} of the graph is a total labeling $f$ from the set of edges and vertices to the set $\{1, 2, \cdots k\}$ satisfying that for any edge $\{u,v\}$, $f(\{u,v\})=|f(u)-f(v)|$. If $G$ is a graph, then $χ_{td}(G)$ is the minimum $k$ such that there is a $k$-total difference labeling of $G$ in which no two adjacent labels are identical. We extend prior work on total difference labeling by improving the upper bound on $χ_{td}(K_n)$ and also by proving results concerning infinite regular graphs.
A symmetric chain decomposition of $N(m,n)$ of composition
A poset is called a symmetric chain decomposition if the poset can be expressed as a disjoint union of symmetric chains. For positive integers $m$ and $n$, let $N(m,n)$ denote the set of all compositions $α=(α_1,\cdots,α_m)$, with $0\le α_i \le n$ for each $i=1,\cdots,m$. Define order $<$ as follow, $\forall α,β\in N(m,n)$, $β< α$ if and only if $β_i \le α_i(i=1,\cdots,m)$ and $\sum\limits_{i=1}^{m}β_i <\sum\limits_{i=1}^{m}α_i$. In this paper, we show that the poset $(N(m,n),<)$ can be expressed as a disjoint of symmetric chains by constructive method.
Cops and Robber on Cartesian products and some classes of hypergraphs
The game of Cops and Robber is a pursuit-evasion game which is usually played on a connected graph. In the game, a set of cops and a robber move around the vertices of a graph along edges, where the cops aim to capture the robber, while the robber aims to avoid capture. Much research about this game have been done since the early 1980s. The game has a natural generalisation to being played on connected hypergraphs, where the cops and the robber may now move along hyperedges. In this paper, we shall provide a characterisation of all hypergraphs where one cop is sufficient to capture the robber. The cop-number of a connected hypergraph is the minimum number of cops required in order to capture the robber. We shall prove some results about the cop-number of certain hypergraphs, including hypertrees and Cartesian products of hypergraphs.
Structure of $k$-closures of finite nilpotent permutation groups
Published
• View Publication
• BIB
Let $G$ be a permutation group on a set $Ω$, and $k$ a positive integer. The $k$-closure $G^{(k)}$ of $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$, with the same as $G$ orbits of componentwise action on $Ω^k$. We prove that the $k$-closure of a finite nilpotent permutation group is the direct product of $k$-closures of its Sylow subgroups.
Polynomial bounds for chromatic number. II. Excluding a star-forest
Published
• View Publication
• BIB
The Gyarfas-Sumner conjecture says that for every forest $H$, there is a function $f$ such that if $G$ is $H$-free then $χ(G)\le f(ω(G))$ (where $χ, ω$ are the chromatic number and the clique number of $G$). Louis Esperet conjectured that, whenever such a statement holds, $f$ can be chosen to be a polynomial. The Gyarfas-Sumner conjecture is only known to be true for a modest set of forests $H$, and Esperet's conjecture is known to be true for almost no forests. For instance, it is not known when $H$ is a five-vertex path. Here we prove Esperet's conjecture when each component of $H$ is a star.
Deformations of cluster mutations and invariant presymplectic forms
Published
• View Publication
• BIB
We consider deformations of sequences of cluster mutations in finite type cluster algebras, which destroy the Laurent property but preserve the presymplectic structure defined by the exchange matrix. The simplest example is the Lyness 5-cycle, arising from the cluster algebra of type $A_2$: this deforms to the Lyness family of integrable symplectic maps in the plane. For types $A_3$ and $A_4$ we find suitable conditions such that the deformation produces a two-parameter family of Liouville integrable maps (in dimensions two and four, respectively). We also perform Laurentification for these maps, by lifting them to a higher-dimensional space of tau functions with a cluster algebra structure, where the Laurent property is restored. More general types of deformed mutations associated with affine Dynkin quivers are shown to correspond to four-dimensional symplectic maps arising as reductions of the discrete sine-Gordon equation.
On characters of wreath products
Published
• View Publication
• BIB
A character identity which relates irreducible character values of the hyperoctahedral group $B_n$ to those of the symmetric group $S_{2n}$ was recently proved by Lübeck and Prasad. Their proof is algebraic and involves Lie theory. We present a short combinatorial proof of this identity, as well as a generalization to other wreath products.
The surface of a sufficiently large sphere has chromatic number at most 7
We present a method to assign, for any radius $r$ greater than about 12.44, one of seven colors to each point in $\mathbb{R}^3$ lying at distance $r$ from the origin, such that no two points at unit distance from each other are assigned the same color. The existence of such a construction contrasts with the recent demonstration that, for any positive value $\varepsilon$, if no two points assigned the same color lie at any distance in $[1,1+\varepsilon]$ (and with certain other restrictions that are also satisfied with our coloring), then eight colors are needed for any finite $r\ge18$, even though seven colors suffice in the plane when $\varepsilon \leq\frac{\sqrt{7}}{2} - 1$.
A new semi-finite form of the quintuple product identity
Published
• View Publication
• BIB
The quintuple product identity are deduced from a new semi-finite form, which are obtained from the very-well-poised $_6φ_5$ series.
Monotone subsets in lattices and the Schensted shape of a Sós permutation
Published
• View Publication
• BIB
For a fixed irrational number $α$ and $n\in \mathbb{N}$, we look at the shape of the sequence $(f(1),\ldots,f(n))$ after Schensted insertion, where $f(i) = αi \mod 1$. Our primary result is that the boundary of the Schensted shape is approximated by a piecewise linear function with at most two slopes. This piecewise linear function is explicitly described in terms of the continued fraction expansion for $α$. Our results generalize those of Boyd and Steele, who studied longest monotone subsequences. Our proofs are based on a careful analysis of monotone sets in two-dimensional lattices.
Signed $(0,2)$-graphs with few eigenvalues and a symmetric spectrum
Published
• View Publication
• BIB
We investigate properties of signed graphs that have few distinct eigenvalues together with a symmetric spectrum. Our main contribution is to determine all signed $(0,2)$-graphs with vertex degree at most $6$ that have precisely two distinct eigenvalues $\pm λ$. Next, we consider to what extent induced subgraphs of signed graph with two distinct eigenvalues $\pm λ$ are determined by their spectra. Lastly, we classify signed $(0,2)$-graphs that have a symmetric spectrum with three distinct eigenvalues and give a partial classification for those with four distinct eigenvalues.
Regular homogeneously traceable nonhamiltonian graphs
Published
• View Publication
• BIB
A graph is called homogeneously traceable if every vertex is an endpoint of a Hamilton path. In 1979 Chartrand, Gould and Kapoor proved that for every integer $n\ge 9,$ there exists a homogeneously traceable nonhamiltonian graph of order $n.$ The graphs they constructed are irregular. Thus it is natural to consider the existence problem of regular homogeneously traceable nonhamiltonian graphs. We prove two results: (1) For every even integer $n\ge 10,$ there exists a cubic homogeneously traceable nonhamiltonian graph of order $n;$ (2) for every integer $p\ge 18,$ there exists a $4$-regular homogeneously traceable graph of order $p$ and circumference $p-4.$ Unsolved problems are posed.
Equitable partitions for Ramanajun graphs
For d-regular graph G, an edge-signing sigma:E(G) \rightarrow {-1,1} is called a good signing if the absolute eigenvalues of adjacency matrix are at most 2 \sqrt{d-1}. Bilu-Linial conjectured that for each regular graph there exists a good signing. In this paper, by using new concept "Equitable Partition", we solve the Bilu-Linial Conjecture for some cases. We show that how to find out a good signing for special complete graphs and lexicographic product of two graphs. In particular, if there exist two good signings for graph G, then we can find a good signing for a 2-lift of G.
Upper bounds on the extremal number of the 4-cycle
Published
• View Publication
• BIB
We obtain some new upper bounds on the maximum number $f(n)$ of edges in $n$-vertex graphs without containing cycles of length four. This leads to an asymptotically optimal bound on $f(n)$ for a broad range of integers $n$ as well as a disproof of a conjecture of Erdős from 1970s which asserts that $f(n)=\frac12 n^{3/2}+\frac14 n+o(n)$.
RAC-drawability is $\exists\mathbb{R}$-complete
Published
• View Publication
• BIB
A RAC-drawing of a graph is a straight-line drawing in which every crossing occurs at a right-angle. We show that deciding whether a graph has a RAC-drawing is as hard as the existential theory of the reals, even if we know that every edge is involved in at most ten crossings and even if the drawing is specified up to isomorphism.
Fusion rules for pastures and tracts
Published
• View Publication
• BIB
Baker and Bowler defined a category of algebraic objects called tracts which generalize both partial fields and hyperfields. They also defined a notion of weak and strong matroids over a tract $F$, and proved that if $F$ is perfect, meaning that $F$-vectors and $F$-covectors are orthogonal for every matroid over $F$, then the notions of weak and strong $F$-matroids coincide. We define the class of strongly fused tracts and prove that such tracts are perfect. We in fact prove a more general result which implies that given a tract $F$, there is a tract $σ(F)$ with the same 3-term additive relations as $F$ such that weak $F$-matroids coincide with strong $σ(F)$-matroids. We also show that both partial fields and stringent hyperfields are strongly fused; in this way, our criterion for perfection generalizes results of Baker-Bowler and Bowler-Pendavingh.
Weak saturation stability
Published
• View Publication
• BIB
The paper studies wsat$(G,H)$ which is the minimum number of edges in a weakly $H$-saturated subgraph of $G$. We prove that wsat$(K_n,H)$ is `stable' - remains the same after independent removal of every edge of $K_n$ with constant probability - for all pattern graphs $H$ such that there exists a `local' set of edges percolating in $K_n$. This is true, for example, for cliques and complete bipartite graphs. We also find a threshold probability for the weak $K_{1,t}$-saturation stability.
The Card Guessing Game: A generating function approach
Published
• View Publication
• BIB
Consider a card guessing game with complete feedback in which a deck of $n$ cards ordered $1,\dots, n$ is riffle-shuffled once. With the goal to maximize the number of correct guesses, a player guesses cards from the top of the deck one at a time under the optimal strategy until no cards remain. We provide an expression for the expected number of correct guesses with arbitrary number of terms, an accuracy improvement over the results of Liu (2021). In addition, using generating functions, we give a unified framework for systematically calculating higher-order moments. Although the extension of the framework to $k\geq2$ shuffles is not immediately straightforward, we are able to settle a long-standing McGrath's conjectured optimal strategy described in Bayer and Diaconis (1992) by showing that the optimal guessing strategy for $k=1$ riffle shuffle does not necessarily apply to $k\geq2$ shuffles.
From Trees to Barcodes and Back Again II: Combinatorial and Probabilistic Aspects of a Topological Inverse Problem
Published
• View Publication
• BIB
In this paper we consider two aspects of the inverse problem of how to construct merge trees realizing a given barcode. Much of our investigation exploits a recently discovered connection between the symmetric group and barcodes in general position, based on the simple observation that death order is a permutation of birth order. The first important outcome of our study is a clear combinatorial distinction between the space of phylogenetic trees (as defined by Billera, Holmes and Vogtmann) and the space of merge trees. Generic BHV trees on $n+1$ leaf nodes fall into $(2n-1)!!$ distinct strata, but the analogous number for merge trees is equal to the number of maximal chains in the lattice of partitions, i.e., $(n+1)!n!2^{-n}$. The second aspect of our study is the derivation of precise formulas for the distribution of tree realization numbers (the number of merge trees realizing a given barcode) when we assume that barcodes are sampled using a uniform distribution on the symmetric group. We are able to characterize some of the higher moments of this distribution, thanks in part to a reformulation in terms of Dirichlet convolution. This characterization provides a type of null hypothesis, apparently different from the distributions observed in real neuron data and opens the door to doing more precise science.