Showing 20 papers (Total: 84559 papers, 48694 authors in database)
Schubert polynomials, pipe dreams, equivariant classes, and a co-transition formula
Published
• View Publication
• BIB
We give a new proof that three families of polynomials coincide: the double Schubert polynomials of Lascoux and Schützenberger defined by divided difference operators, the pipe dream polynomials of Bergeron and Billey, and the equivariant cohomology classes of matrix Schubert varieties. All three families are shown to satisfy a "co-transition formula" which we explain to be some extent projectively dual to Lascoux' transition formula. We comment on the K-theoretic extensions.
A relaxation of the Directed Disjoint Paths problem: a global congestion metric helps
Published in Theoretical Computer Science 898, 2022, pages 75-91
• View Publication
• BIB
In the Directed Disjoint Paths problem, we are given a digraph $D$ and a set of requests $\{(s_1, t_1), \ldots, (s_k, t_k)\}$, and the task is to find a collection of pairwise vertex-disjoint paths $\{P_1, \ldots, P_k\}$ such that each $P_i$ is a path from $s_i$ to $t_i$ in $D$. This problem is NP-complete for fixed $k=2$ and W[1]-hard with parameter $k$ in DAGs. A few positive results are known under restrictions on the input digraph, such as being planar or having bounded directed tree-width, or under relaxations of the problem, such as allowing for vertex congestion. Positive results are scarce, however, for general digraphs. In this article we propose a novel global congestion metric for the problem: we only require the paths to be "disjoint enough", in the sense that they must behave properly not in the whole graph, but in an unspecified part of size prescribed by a parameter. Namely, in the Disjoint Enough Directed Paths problem, given an $n$-vertex digraph $D$, a set of $k$ requests, and non-negative integers $d$ and $s$, the task is to find a collection of paths connecting the requests such that at least $d$ vertices of $D$ occur in at most $s$ paths of the collection. We study the parameterized complexity of this problem for a number of choices of the parameter, including the directed tree-width of $D$. Among other results, we show that the problem is W[1]-hard in DAGs with parameter $d$ and, on the positive side, we give an algorithm in time $\mathcal{O}(n^{d+2} \cdot k^{d\cdot s})$ and a kernel of size $d \cdot 2^{k-s}\cdot \binom{k}{s} + 2k$ in general digraphs. This latter result has consequences for the Steiner Network problem: we show that it is FPT parameterized by the number $k$ of terminals and $p$, where $p = n - q$ and $q$ is the size of the solution.
Shellings and sheddings induced by collapses
Published
• View Publication
• BIB
We say that a pure simplicial complex ${\mathbf K}$ of dimension $d$ satisfies the removal-collapsibility condition if ${\mathbf K}$ is either empty or ${\mathbf K}$ becomes collapsible after removing $\tilde β_d ({\mathbf K}; {\mathbb Z}_2)$ facets, where $\tilde β_d ({\mathbf K}; {\mathbb Z}_2)$ denotes the $d$th reduced Betti number.
In this paper, we show that if the link of each face of a pure simplicial complex ${\mathbf K}$ (including the link of the empty face which is the whole ${\mathbf K}$) satisfy the removal-collapsibility condition, then the second barycentric subdivision of ${\mathbf K}$ is vertex decomposable and in particular shellable. This is a higher dimensional generalization of a result of Hachimori, who proved that that if the link of each vertex of a pure 2-dimensional simplicial complex ${\mathbf K}$ is connected, and ${\mathbf K}$ becomes simplicially collapsible after removing $\tildeχ({\mathbf K})$ facets, where $\tilde χ({\mathbf K})$ denotes the reduced Euler characteristic, then the second barycentric subdivision of ${\mathbf K}$ is shellable.
For the proof, we introduce a new variant of decomposability of a simplicial complex, stronger than vertex decomposability, which we call star decomposability. This notion may be of independent interest.
Making $K_{r+1}$-Free Graphs $r$-partite
Published
• View Publication
• BIB
The Erdős-Simonovits stability theorem states that for all ε>0 there exists α>0 such that if G is a K_{r+1}-free graph on n vertices with e(G) > ex(n,K_{r+1}) - αn^2, then one can remove εn^2 edges from G to obtain an r-partite graph. Füredi gave a short proof that one can choose α=ε. We give a bound for the relationship of αand \varepsilon which is asymptotically sharp as ε\to 0.
Constructing Semi-Directed Level-1 Phylogenetic Networks from Quarnets
Semi-directed networks provide a graphical structure for describing the evolutionary history of organisms in the presence of hybridization. We introduce two algorithms for reconstructing semi-directed level-1 phylogenetic networks from their complete set of 4-leaf subnetworks, known as quarnets. The sequential algorithm begins with a single quarnet and adds one leaf at a time until the entire network has been reconstructed. The cherry-blob algorithm is a novel approach inspired by cherry-picking techniques on trees
Vertex Ramsey properties of randomly perturbed graphs
Published
• View Publication
• BIB
Given graphs $F,H$ and $G$, we say that $G$ is $(F,H)_v$-Ramsey if every red/blue vertex colouring of $G$ contains a red copy of $F$ or a blue copy of $H$. Results of Łuczak, Ruciński and Voigt and, subsequently, Kreuter determine the threshold for the property that the random graph $G(n,p)$ is $(F,H)_v$-Ramsey. In this paper we consider the sister problem in the setting of randomly perturbed graphs. In particular, we determine how many random edges one needs to add to a dense graph to ensure that with high probability the resulting graph is $(F,H)_v$-Ramsey for all pairs $(F,H)$ that involve at least one clique.
Proof of some supercongruences via the Wilf-Zeilberger method
Published in Journal of Difference Equations and Applications(2020)
• View Publication
• BIB
In this paper, we prove some supercongruences via the Wilf-Zeilberger method. For instance, for any odd prime $p$ and positive integer $r$ and $δ\in\{1,2\}$, we have \begin{align*} \sum_{n=0}^{(p^r-1)/δ} \frac{\left(\frac12\right)^5_n}{n!^5}(10n^2+6n+1)(-4)^n &\equiv\begin{cases}p^{2r}\ \pmod{p^{r+4}} &\tt{if}\ r\leq4, \\0\ \pmod{p^{r+4}} &\tt{if}\ r \geq5. \end{cases} \end{align*}
A $6$-chromatic two-distance graph in the plane
We prove that if one colors each point of the Euclidean plane with one of five colors, then there exist two points of the same color that are either distance $1$ or distance $2$ apart.
Infinite-step stationarity of rotor walk and the wired spanning forest
Published in Proc. Amer. Math. Soc. 149 (2021), 2415-2428
• View Publication
• BIB
We study rotor walk, a deterministic counterpart of the simple random walk, on infinite transient graphs. We show that the final rotor configuration of the rotor walk follows the law of the wired uniform spanning forest oriented toward infinity (OWUSF) measure when the initial rotor configuration is sampled from OWUSF. This result holds for all graphs for which each tree in the wired spanning forest has one single end almost surely. This answers a question posed in a previous work of the author (Chan 2018).
Morphic words, Beatty sequences and integer images of the Fibonacci language
Published
• View Publication
• BIB
Morphic words are letter-to-letter images of fixed points $x$ of morphisms on finite alphabets. There are situations where these letter-to-letter maps do not occur naturally, but have to be replaced by a morphism. We call this a decoration of $x$. Theoretically, decorations of morphic words are again morphic words, but in several problems the idea of decorating the fixed point of a morphism is useful. We present two of such problems. The first considers the so called $AA$ sequences, where $α$ is a quadratic irrational, $A$ is the Beatty sequence defined by $A(n)=\lfloor αn\rfloor$, and $AA$ is the sequence $(A(A(n)))$. The second example considers homomorphic embeddings of the Fibonacci language into the integers, which turns out to lead to generalized Beatty sequences with terms of the form $V(n)=p\lfloor αn\rfloor+qn+r$, where $p,q$ and $r$ are integers.
$r$-wise fractional $L$-intersecting family
Published
• View Publication
• BIB
Let $L = \{\frac{a_1}{b_1}, \ldots , \frac{a_s}{b_s}\}$, where for every $i \in [s]$, $\frac{a_i}{b_i} \in [0,1)$ is an irreducible fraction. Let $\mathcal{F} = \{A_1, \ldots , A_m\}$ be a family of subsets of $[n]$. We say $\mathcal{F}$ is a \emph{r-wise fractional $L$-intersecting family} if for every distinct $i_1,i_2, \ldots,i_r \in [m]$, there exists an $\frac{a}{b} \in L$ such that $|A_{i_1} \cap A_{i_2} \cap \ldots \cap A_{i_r}| \in \{ \frac{a}{b}|A_{i_1}|, \frac{a}{b} |A_{i_2}|,\ldots, \frac{a}{b} |A_{i_r}| \}$. In this paper, we introduce and study the notion of r-wise fractional $L$-intersecting families. This is a generalization of notion of fractional $L$-intersecting families studied in [Niranjan et.al, Fractional $L$-intersecting families, The Electronic Journal of Combinatorics, 2019].
Determining monotonic step-equal sequences of any limited length in the Collatz problem
This paper proposes a formula expression for the well-known Collatz conjecture (or 3x+1 problem), which can pinpoint all the growth points in the orbits of the Collatz map for any natural numbers. The Collatz map $Col: \mathcal{N}+1 \rightarrow \mathcal{N}+1$ on the positive integers is defined as $x_{n+1}=Col(x_n)=(3 x_n +1)/2^{m_n}$ where $x_{n+1}$ is always odd and $m_n$ is the step size required to eliminate any possible even values. The Collatz orbit for any positive integer, $x_1$, is expressed by a sequence, $<x_1$; $x_2\doteq Col(x_1)$; $\cdots$ $x_{n+1}\doteq Col(x_n)$; $\cdots>$ and $x_n$ is defined as a growth point if $Col(x_n)>x_n$ holds, and we show that every growth point is in a format of ``$4y+3$'' where $y$ is any natural number. Moreover, we derive that, for any given positive integer $n$, there always exists a natural number, $x_1$, that starts a monotonic increasing or decreasing Collatz sequence of length $n$ with the same step size. For any given positive integer $n$, a class of orbits that share the same orbit rhythm of length $n$ can also be determined.
A Note on a Nearly Uniform Partition into Common Independent Sets of Two Matroids
Published
• View Publication
• BIB
The present note is a strengthening of a recent paper by K. Takazawa and Y. Yokoi (A generalized-polymatroid approach to disjoint common independent sets in two matroids, Discrete Mathematics (2019)). For given two matroids on $E$, under the same assumption in their paper to guarantee the existence of a partition of $E$ into $k$ common independent sets of the two matroids, we show that there exists a nearly uniform partition $\mathcal{P}$ of $E$ into $k$ common independent sets, where the difference of the cardinalities of any two sets in $\mathcal{P}$ is at most one.
Unmixed and Cohen--Macaulay weighted oriented König graphs
Published
• View Publication
• BIB
Let $D$ be a weighted oriented graph, whose underlying graph is $G$, and let $I(D)$ be its edge ideal. If $G$ has no $3$-, $5$-, or $7$-cycles, or $G$ is König, we characterize when $I(D)$ is unmixed. If $G$ has no $3$- or $5$-cycles, or $G$ is König, we characterize when $I(D)$ is Cohen--Macaulay. We prove that $I(D)$ is unmixed if and only if $I(D)$ is Cohen--Macaulay when $G$ has girth greater than $7$ or $G$ is König and has no $4$-cycles.
Quasi-Regular Sequences
Let $Σ$ be a countable alphabet. For $r\geq 1$, an infinite sequence $s$ with characters from $Σ$ is called $r$-quasi-regular, if for each $σ\inΣ$ the ratio of the longest to shortest interval between consecutive occurrences of $σ$ in $s$ is bounded by $r$. In this paper, we answer a question asked by Kempe, Schulman, and Tamuz, and prove that for any probability distribution $\mathbf{p}$ on a finite alphabet $Σ$, there exists a $2$-quasi-regular infinite sequence with characters from $Σ$ and density of characters equal to $\mathbf{p}$. We also prove that as $\left\lVert\mathbf{p}\right\rVert_\infty$ tends to zero, the infimum of $r$ for which $r$-quasi-regular sequences with density $\mathbf{p}$ exist, tends to one. This result has a corollary in the Pinwheel Problem: as the smallest integer in the vector tends to infinity, the density threshold for Pinwheel schedulability tends to one.
Angles of Random Simplices and Face Numbers of Random Polytopes
Published
• View Publication
• BIB
Pick $d+1$ points uniformly at random on the unit sphere in $\mathbb R^d$. What is the expected value of the angle sum of the simplex spanned by these points? Choose $n$ points uniformly at random in the $d$-dimensional ball. What is the expected number of faces of their convex hull? We answer these and some related questions of stochastic geometry. To this end, we compute expected internal angles of random simplices whose vertices are independent random points sampled from one of the following $d$-dimensional distributions: (i) the beta distribution with the density proportional to $(1-\|x\|^2)^β$, where $x$ is belongs to the unit ball in $\mathbb R^d$; (ii) the beta' distribution with the density proportional to $(1+\|x\|^2)^{-β}$, where $x\in\mathbb{R}^{d}$. These results imply explicit formulae for the expected face numbers of the following random polytopes: (a) the typical Poisson-Voronoi cell; (b) the zero cell of the Poisson hyperplane tessellation; (c) beta and beta' polytopes defined as convex hulls of i.i.d. samples from the corresponding distributions.
Wilf collapse in permutation classes
For a hereditary permutation class $\mathcal{C}$, we say that two permutations $π$ and $σ$ of $\mathcal{C}$ are Wilf-equivalent in $\mathcal{C}$, if $\mathcal{C}$ has the same number of permutations avoiding $π$ as those avoiding $σ$. We say that a permutation class $\mathcal{C}$ exhibits a Wilf collapse if the number of permutations of size $n$ in $\mathcal{C}$ is asymptotically larger than the number of Wilf-equivalence classes formed by these permutations. In this paper, we show that Wilf collapse is a surprisingly common phenomenon. Among other results, we show that Wilf collapse occurs in any permutation class with unbounded growth and finitely many sum-indecomposable permutations. Our proofs are based on encoding the elements of a permutation class $\mathcal{C}$ as words, and analyzing the structure of a random permutation in $\mathcal{C}$ using this representation.
Separation probabilities and analogues of a Zagier-Stanley formula
In this paper, we first obtain some analogues of a formula of Zagier (1995) and Stanley (2011). For instance, we prove that the number of pairs of $n$-cycles whose product has $k$ cycles and has $m$ given elements contained in distinct cycles (or separated) is given by $$ \frac{2 (n-1)! C_m(n+1,k)}{(n+m)(n+1-m)} $$ when $n-k$ is even, where $C_m(n,k)$ is the number of permutations of $n$ elements having $k$ cycles and separating $m$ given elements. As consequences, we obtain the formulas for certain separation probabilities due to Du and Stanley, answering a call of Stanley for simple combinatorial proofs. Furthermore, we obtain the expectation and variance of the number of fixed points in the product of two random $n$-cycles.
On supersaturation and stability for generalized Turán problems
Published
• View Publication
• BIB
Fix graphs $F$ and $H$. Let $\mathrm{ex}(n,H,F)$ denote the maximum number of copies of a graph $H$ in an $n$-vertex $F$-free graph. In this note we will give a new general supersaturation result for $\mathrm{ex}(n,H,F)$ in the case when $χ(H) < χ(F)$ as well as a new proof of a stability theorem for $\mathrm{ex}(n,K_r,F)$.
Embedding spanning subgraphs in uniformly dense and inseparable graphs
Published
• View Publication
• BIB
We consider sufficient conditions for the existence of $k$-th powers of Hamiltonian cycles in $n$-vertex graphs $G$ with minimum degree $μn$ for arbitrarily small $μ>0$. About 20 years ago Komlós, Sarközy, and Szemerédi resolved the conjectures of Pósa and Seymour and obtained optimal minimum degree conditions for this problem by showing that $μ=\frac{k}{k+1}$ suffices for large $n$. For smaller values of $μ$ the given graph $G$ must satisfy additional assumptions. We show that inducing subgraphs of density $d>0$ on linear subsets of vertices and being inseparable, in the sense that every cut has density at least $μ>0$, are sufficient assumptions for this problem and, in fact, for a variant of the bandwidth theorem. This generalises recent results of Staden and Treglown.