Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Lattice paths inside a table, I
A lattice path in $\mathbb{Z}^d$ is a sequence $ν_1,ν_2,\ldots,ν_k\in\mathbb{Z}^d$ such that the steps $ν_i-ν_{i-1}$ lie in a subset $\mathbf{S}$ of $\mathbb{Z}^d$ for all $i=2,\ldots,k$. Let $T_{m,n}$ be the $m\times n$ table in the first area of the $xy$-axis and put $\mathbf{S}=\{(1,1),(1,0),(1,-1)\}$. Accordingly, let $\mathcal{I}_m(n)$ denote the number of lattice paths starting from the first column and ending at the last column of $T$. We will study the numbers $\mathcal{I}_m(n)$ and give explicit formulas for special values of $m$ and $n$. As a result, we prove a conjecture of \textit{Alexander R. Povolotsky} involving $\mathcal{I}_n(n)$. Finally, we present some relationships between the number of lattice paths and Fibonacci and Pell-Lucas numbers, and pose an open problem.
List coloring with requests
Let G be a graph with a list assignment L. Suppose a preferred color is given for some of the vertices; how many of these preferences can be respected when L-coloring G? We explore several natural questions arising in this context, and propose directions for further research.
Upper triangular matrix walk: Cutoff for finitely many columns
Published
• View Publication
• BIB
We consider random walk on the group of uni-upper triangular matrices with entries in $\mathbb{F}_2$ which forms an important example of a nilpotent group. Peres and Sly (2013) proved tight bounds on the mixing time of this walk up to constants. It is well known that the single column projection of this chain is the one dimensional East process. In this article, we complement the Peres-Sly result by proving a cutoff result for the mixing of finitely many columns in the upper triangular matrix walk at the same location as the East process of the same dimension. Moreover, we also show that the spectral gaps of the matrix walk and the East process are equal. The proof of the cutoff result is based on a recursive argument which uses a local version of a dual process appearing in Peres and Sly (2013), various combinatorial consequences of mixing and concentration results for the movement of the front in the one dimensional East process.
Heisenberg algebra, wedges and crystals
Published
• View Publication
• BIB
We explain how the action of the Heisenberg algebra on the space of q-deformed wedges yields the Heisenberg crystal structure on charged multipartitions, by using the boson-fermion correspondence and looking at the action of the Schur functions at q = 0. In addition, we give the explicit formula for computing this crystal in full generality.
On-diagonal lower estimate of heat kernel on graphs
Published
• View Publication
• BIB
The purpose of this paper is to establish a new continuous-time on-diagonal lower estimate of heat kernel for large time on graphs. To achieve the goal, we first give an upper bound of heat kernel in natural graph metric, and then use this bound and the volume growth condition to show the validity of the on-diagonal lower bound.
Track number of line graphs
Published
• View Publication
• BIB
The track number $τ(G)$ of a graph $G$ is the minimum number of interval graphs whose union is $G$. We show that the track number of the line graph $L(G)$ of a triangle-free graph $G$ is at least $\lg \lg χ(G) + 1$, where $χ(G)$ is the chromatic number of $G$. Using this lower bound and two classical Ramsey-theoretic results from literature, we answer two questions posed by Milans, Stolee, and West [J. Combinatorics, 2015] (MSW15). First we show that the track number $τ(L(K_n))$ of the line graph of the complete graphs $K_n$ is at least $\lg\lg n - o(1)$. This is asymptotically tight and it improves the bound of $Ω(\lg\lg n/ \lg\lg\lg n)$ in MSW15. Next we show that for a family of graphs $\mathcal{G}$, $\{τ(L(G)):G \in \mathcal{G}\}$ is bounded if and only if $\{χ(G):G \in \mathcal{G}\}$ is bounded. This affirms a conjecture in MSW15. All our lower bounds apply even if one enlarges the covering family from the family of interval graphs to the family of chordal graphs.
Square-tiled surfaces of fixed combinatorial type: equidistribution, counting, volumes of the ambient strata
We prove that square-tiled surfaces having fixed combinatorics of horizontal cylinder decomposition and tiled with smaller and smaller squares become asymptotically equidistributed in any ambient linear $GL(\mathbb R)$-invariant suborbifold defined over $\mathbb Q$ in the moduli space of Abelian differentials. Moreover, we prove that the combinatorics of the horizontal and of the vertical decompositions are asymptotically uncorrelated. As a consequence, we prove the existence of an asymptotic distribution for the combinatorics of a "random" interval exchange transformation with integer lengths.
We compute explicitly the absolute contribution of square-tiled surfaces having a single horizontal cylinder to the Masur-Veech volume of any ambient stratum of Abelian differentials. The resulting count is particularly simple and efficient in the large genus asymptotics. We conjecture that the corresponding relative contribution is asymptotically of the order $1/d$, where $d$ is the dimension of the stratum, and prove that this conjecture is equivalent to the long-standing conjecture on the large genus asymptotics of the Masur-Veech volumes. We prove, in particular, that the recent results of Chen, Möller and Zagier imply that the conjecture holds for the principal stratum of Abelian differentials as the genus tends to infinity.
Our result on random interval exchanges with integer lengths allows to make empirical computation of the probability to get a $1$-cylinder pillowcase cover taking a "random" one in a given stratum. We use this technique to derive the approximate values of the Masur-Veech volumes of strata of quadratic differentials of all small dimensions.
New Existence and Nonexistence Results for Strong External Difference Families
Published
• View Publication
• BIB
In this paper, we use character-theoretic techniques to give new nonexistence results for $(n,m,k,λ)$-strong external difference families (SEDFs). We also use cyclotomic classes to give two new classes of SEDFs with $m=2$.
Projective Space: Harmonicity and Projectivity
For an axiomatization of three-dimensional projective space based on points and planes, we discuss appropriate versions of the harmonicity axiom and the projectivity axiom, showing that each axiom is equivalent to its spatial dual.
Discrete Morse theory and classifying spaces
Published
• View Publication
• BIB
The aim of this paper is to develop a refinement of Forman's discrete Morse theory. To an acyclic partial matching $μ$ on a finite regular CW complex $X$, Forman introduced a discrete analogue of gradient flows. Although Forman's gradient flow has been proved to be useful in practical computations of homology groups, it is not sufficient to recover the homotopy type of $X$. Forman also proved the existence of a CW complex which is homotopy equivalent to $X$ and whose cells are in one-to-one correspondence with the critical cells of $μ$, but the construction is ad hoc and does not have a combinatorial description. By relaxing the definition of Forman's gradient flows, we introduce the notion of flow paths, which contains enough information to reconstruct the homotopy type of $X$, while retaining a combinatorial description. The critical difference from Forman's gradient flows is the existence of a partial order on the set of flow paths, from which a $2$-category $C(μ)$ is constructed. It is shown that the classifying space of $C(μ)$ is homotopy equivalent to $X$ by using homotopy theory of $2$-categories. This result can be also regarded as a discrete analogue of the unpublished work of Cohen, Jones, and Segal on Morse theory in early 90's.
On Fredholm determinants in topology
Given an abstract simplicial complex G, the connection graph G' of G has as vertex set the faces of the complex and connects two if they intersect. If A is the adjacency matrix of that connection graph, we prove that the Fredholm characteristic det(1+A) takes values in {-1,1} and is equal to the Fermi characteristic, which is the product of the w(x), where w(x)=(-1)^dim(x). The Fredholm characteristic is a special value of the Bowen-Lanford zeta function and has various combinatorial interpretations. The unimodularity theorem proven here shows that it is a cousin of the Euler characteristic as the later is the sum of the w(x). Unimodularity implies that the matrix 1+A has an inverse which takes integer values. Experiments suggest the conjecture that the range of the Green function values, the union of the entries of the inverse of 1+A form a combinatorial invariant of the simplicial complex and do not change under Barycentric or edge refinements.
Maximum subsets of $\mathbb{F}^n_q$ containing no right angles
Published
• View Publication
• BIB
Recently, Croot, Lev, and Pach (Ann. of Math., 185:331--337, 2017.) and Ellenberg and Gijswijt (Ann. of Math., 185:339--443, 2017.) developed a new polynomial method and used it to prove upper bounds for three-term arithmetic progression free sets in $\mathbb{Z}_4^n$ and $\mathbb{F}_3^n$, respectively.
Their approach was later summarized by Tao and is now known as the slice rank method.
In this paper, we apply this method to obtain a new upper bound on the cardinality of subsets of $\mathbb{F}^n_q$ which contain no right angles.
More precisely, let $q$ be a fixed odd prime power and $x\cdot y$ be the standard inner product of two vectors $x,y\in\mathbb{F}_q^n$, we prove that the maximum cardinality of a subset $A\subseteq\mathbb{F}_q^n$ without three distinct elements $x,y,z\in A$ satisfying $(z-x)\cdot (y-x)=0$ is at most $\binom{n+q}{q-1}+3$.
For sufficiently large $n$, our result significantly improves the previous upper bound of Bennett (European J.
Combin., 70:155--163, 2018.), who showed that $|A|=\mathcal{O}(q^{\frac{n+2}{3}})$.
Edge-isoperimetric inequalities for the symmetric product of graphs
The $k$-th symmetric product of a graph $G$ with vertex set $V$ with edge set $E$ is a graph with vertices as $k$-sets of $V$, where two $k$-sets are connected by an edge if and only if their symmetric difference is an edge in $E$. Using the isoperimetric properties of the vertex-induced subgraphs of $G$ and Sobolev inequalities on graphs, we obtain various edge-isoperimetric inequalities pertaining to the symmetric product of certain families of finite and infinite graphs.
Bounds on the 2-domination number
In a graph $G$, a set $D\subseteq V(G)$ is called 2-dominating set if each vertex not in $D$ has at least two neighbors in $D$. The 2-domination number $γ_2(G)$ is the minimum cardinality of such a set $D$. We give a method for the construction of 2-dominating sets, which also yields upper bounds on the 2-domination number in terms of the number of vertices, if the minimum degree $δ(G)$ is fixed. These improve the best earlier bounds for any $6 \le δ(G) \le 21$. In particular, we prove that $γ_2(G)$ is strictly smaller than $n/2$, if $δ(G) \ge 6$. Our proof technique uses a weight-assignment to the vertices where the weights are changed during the procedure.
On degree-colorings of multigraphs
A notion of degree-coloring is introduced; it captures some, but not all properties of standard edge-coloring. We conjecture that the smallest number of colors needed for degree-coloring of a multigraph $G$ [the degree-coloring index $τ(G)$] equals $\max\{Δ, ω\}$, where $Δ$ and $ω$ are the maximum vertex degree in $G$ and the multigraph density, respectively. We prove that the conjecture holds iff $τ(G)$ is a monotone function on the set of multigraphs.
Resilience of ranks of higher inclusion matrices
Published
• View Publication
• BIB
Let $n \geq r \geq s \geq 0$ be integers and $\mathcal{F}$ a family of $r$-subsets of $[n]$. Let $W_{r,s}^{\mathcal{F}}$ be the higher inclusion matrix of the subsets in ${\mathcal F}$ vs. the $s$-subsets of $[n]$. When $\mathcal{F}$ consists of all $r$-subsets of $[n]$, we shall simply write $W_{r,s}$ in place of $W_{r,s}^{\mathcal{F}}$. In this paper we prove that the rank of the higher inclusion matrix $W_{r,s}$ over an arbitrary field $K$ is resilient. That is, if the size of $\mathcal{F}$ is "close" to ${n \choose r}$ then $\mbox{rank}_{K}(W_{r,s}^{\mathcal{F}}) = \mbox{rank}_{K}(W_{r,s})$, where $K$ is an arbitrary field. Furthermore, we prove that the rank (over a field $K$) of the higher inclusion matrix of $r$-subspaces vs. $s$-subspaces of an $n$-dimensional vector space over $\mathbb{F}_q$ is also resilient if ${\rm char}(K)$ is coprime to $q$.
Chromatic Vertex Folkman Numbers
Published
• View Publication
• BIB
For graph $G$ and integers $a_1 \ge \cdots \ge a_r \ge 2$, we write $G \rightarrow (a_1 ,\cdots ,a_r)^v$ if and only if for every $r$-coloring of the vertex set $V(G)$ there exists a monochromatic $K_{a_i}$ in $G$ for some color $i \in \{1, \cdots, r\}$. The vertex Folkman number $F_v(a_1 ,\cdots ,a_r; s)$ is defined as the smallest integer $n$ for which there exists a $K_s$-free graph $G$ of order $n$ such that $G \rightarrow (a_1 ,\cdots ,a_r)^v$. It is well known that if $G \rightarrow (a_1 ,\cdots ,a_r)^v$ then $χ(G) \geq m$, where $m = 1+ \sum_{i=1}^r (a_i - 1)$. In this paper we study such Folkman graphs $G$ with chromatic number $χ(G)=m$, which leads to a new concept of chromatic Folkman numbers. We prove constructively some existential results, among others that for all $r,s \ge 2$ there exist $K_{s+1}$-free graphs $G$ such that $G \rightarrow (s,\cdots_r,s)^v$ and $G$ has the smallest possible chromatic number $r(s-1)+1$ for this $r$-color arrowing to hold. We also conjecture that, in some cases, our construction is the best possible, in particular that for every $s \ge 2$ there exists a $K_{s+1}$-free graph $G$ on $F_v(s,s; s+1)$ vertices with $χ(G)=2s-1$ such that $G \rightarrow (s,s)^v$.
On the Number of Conjugate Classes of Derangements
Published in Journal of Mathematics, Volume 2021, Article ID 6023081, 20 pages
• View Publication
• BIB
The number of conjugate classes of derangements of order $n$ is the same as the number $h(n)$ of the restricted partitions with every portion greater than $1$. It is also equal to the number of isotopy classes of $2\times n$ Latin rectangles. Sometimes the exact value is necessary, while sometimes we need the approximation value. In this paper, a recursion formula of $h(n)$ will be obtained, also will some elementary approximation formulae with high accuracy for $h(n)$ be presented. Although we may obtain the value of $h(n)$ in some computer algebra system, it is still meaningful to find an efficient way to calculate the approximate value, especially in engineering, since most people are familiar with neither programming nor CAS software. This paper is mainly for the readers who need a simple and practical formula to obtain the approximate value (without writing a program) with more accuracy, such as to compute the value in an pocket science calculator without programming function. Some methods used here can also be applied to find the fitting functions for some types of data obtained in experiments.
Neighborhood complexity and kernelization for nowhere dense classes of graphs
We prove that whenever $G$ is a graph from a nowhere dense graph class $\mathcal{C}$, and $A$ is a subset of vertices of $G$, then the number of subsets of $A$ that are realized as intersections of $A$ with $r$-neighborhoods of vertices of $G$ is at most $f(r,ε)\cdot |A|^{1+ε}$, where $r$ is any positive integer, $ε$ is any positive real, and $f$ is a function that depends only on the class $\mathcal{C}$. This yields a characterization of nowhere dense classes of graphs in terms of neighborhood complexity, which answers a question posed by Reidl et al. As an algorithmic application of the above result, we show that for every fixed $r$, the parameterized Distance-$r$ Dominating Set problem admits an almost linear kernel on any nowhere dense graph class. This proves a conjecture posed by Drange et al., and shows that the limit of parameterized tractability of Distance-$r$ Dominating Set on subgraph-closed graph classes lies exactly on the boundary between nowhere denseness and somewhere denseness.
On the genus of the complete tripartite graph $K_{n,n,1}$
Published in Discrete Math, 340 (2017), 508-515
• View Publication
• BIB
For even $n$ we prove that the genus of the complete tripartite graph $K_{n,n,1}$ is $\lceil (n-1) (n-2)/4 \rceil$.
This is the least number of bridges needed to build a complete $n$-way road interchange where changing lanes is not allowed.
Both the theoretical result, and the surprising link to modelling road intersections are new.