Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On xD-Generalizations of Stirling Numbers and Lah Numbers via Graphs and Rooks
Published
• View Publication
• BIB
This paper studies the generalizations of the Stirling numbers of both kinds and the Lah numbers in association with the normal order problem in the Weyl algebra $W=\langle x,D|Dx-xD=1\rangle$. Any word $ω\in W$ with $m$ $x$'s and $n$ $D$'s can be expressed in the normally ordered form $ω=x^{m-n}\sum_{k\ge 0} {ω\brace {k}} x^{k}D^{k}$, where ${ω\brace {k}}$ is known as the Stirling number of the second kind for the word $ω$. This study considers the expansions of restricted words $ω$ in $W$ over the sequences $\{(xD)^{k}\}_{k\ge 0}$ and $\{xD^{k}x^{k-1}\}_{k\ge 0}$. Interestingly, the coefficients in individual expansions turn out to be generalizations of the Stirling numbers of the first kind and the Lah numbers. The coefficients will be determined through enumerations of some combinatorial structures linked to the words $ω$, involving decreasing forest decompositions of quasi-threshold graphs and non-attacking rook placements on Ferrers boards. Extended to $q$-analogues, weighted refinements of the combinatorial interpretations are also investigated for words in the $q$-deformed Weyl algebra.
Coloring graphs of various maximum degree from random lists
Published
• View Publication
• BIB
Let $G=G(n)$ be a graph on $n$ vertices with maximum degree $Δ=Δ(n)$. Assign to each vertex $v$ of $G$ a list $L(v)$ of colors by choosing each list independently and uniformly at random from all $k$-subsets of a color set $\mathcal{C}$ of size $σ= σ(n)$. Such a list assignment is called a \emph{random $(k,\mathcal{C})$-list assignment}. In this paper, we are interested in determining the asymptotic probability (as $n \to \infty$) of the existence of a proper coloring $\varphi$ of $G$, such that $\varphi(v) \in L(v)$ for every vertex $v$ of $G$, a so-called $L$-coloring. We give various lower bounds on $σ$, in terms of $n$, $k$ and $Δ$, which ensures that with probability tending to 1 as $n \to \infty$ there is an $L$-coloring of $G$. In particular, we show, for all fixed $k$ and growing $n$, that if $σ(n) = ω(n^{1/k^2} Δ^{1/k})$ and $Δ=O\left(n^{\frac{k-1}{k(k^3+ 2k^2 - k +1)}}\right)$, then the probability that $G$ has an $L$-coloring tends to 1 as $n \rightarrow \infty$. If $k\geq 2$ and $Δ= Ω(n^{1/2})$, then the same conclusion holds provided that $σ=ω(Δ)$. We also give related results for other bounds on $Δ$, when $k$ is constant or a strictly increasing function of $n$.
Vertical perimeter versus horizontal perimeter
Published
• View Publication
• BIB
The discrete Heisenberg group $\mathbb{H}_{\mathbb{Z}}^{2k+1}$ is the group generated by $a_1,b_1,\ldots,a_k,b_k,c$, subject to the relations $[a_1,b_1]=\ldots=[a_k,b_k]=c$ and $[a_i,a_j]=[b_i,b_j]=[a_i,b_j]=[a_i,c]=[b_i,c]=1$ for every distinct $i,j\in \{1,\ldots,k\}$. Denote $S=\{a_1^{\pm 1},b_1^{\pm 1},\ldots,a_k^{\pm 1},b_k^{\pm 1}\}$. The horizontal boundary of $Ω\subset \mathbb{H}_{\mathbb{Z}}^{2k+1}$, denoted $\partial_{h}Ω$, is the set of all $(x,y)\in Ω\times (\mathbb{H}_{\mathbb{Z}}^{2k+1}\setminus Ω)$ such that $x^{-1}y\in S$. The horizontal perimeter of $Ω$ is $|\partial_{h}Ω|$. For $t\in \mathbb{N}$, define $\partial^t_{v} Ω$ to be the set of all $(x,y)\in Ω\times (\mathbb{H}_{\mathsf{Z}}^{2k+1}\setminus Ω)$ such that $x^{-1}y\in \{c^t,c^{-t}\}$. The vertical perimeter of $Ω$ is defined by $|\partial_{v}Ω|= \sqrt{\sum_{t=1}^\infty |\partial^t_{v}Ω|^2/t^2}$. It is shown here that if $k\ge 2$, then $|\partial_{v}Ω|\lesssim \frac{1}{k} |\partial_{h}Ω|$. The proof of this "vertical versus horizontal isoperimetric inequality" uses a new structural result that decomposes sets of finite perimeter in the Heisenberg group into pieces that admit an "intrinsic corona decomposition." This allows one to deduce an endpoint $W^{1,1}\to L_2(L_1)$ boundedness of a certain singular integral operator from a corresponding lower-dimensional $W^{1,2}\to L_2(L_2)$ boundedness. The above inequality has several applications, including that any embedding into $L_1$ of a ball of radius $n$ in the word metric on $\mathbb{H}_{\mathbb{Z}}^{5}$ incurs bi-Lipschitz distortion that is at least a constant multiple of $\sqrt{\log n}$. It follows that the integrality gap of the Goemans--Linial semidefinite program for the Sparsest Cut Problem on inputs of size $n$ is at least a constant multiple of $\sqrt{\log n}$.
Rational Polygons: Odd Compression Ratio and Odd Plane Coverings
Published
• View Publication
• BIB
Let P be a polygon with rational vertices in the plane. We show that for any finite odd-sized collection of translates of P, the area of the set of points lying in an odd number of these translates is bounded away from 0 by a constant depending on P alone. The key ingredient of the proof is a construction of an odd cover of the plane by translates of P. That is, we establish a family F of translates of P covering (almost) every point in the plane a uniformly bounded odd number of times.
A Structural Characterization for Certifying Robinsonian Matrices
Published
• View Publication
• BIB
A symmetric matrix is Robinsonian if its rows and columns can be simultaneously reordered in such a way that entries are monotone nondecreasing in rows and columns when moving toward the diagonal. The adjacency matrix of a graph is Robinsonian precisely when the graph is a unit interval graph, so that Robinsonian matrices form a matrix analogue of the class of unit interval graphs. Here we provide a structural characterization for Robinsonian matrices in terms of forbidden substructures, extending the notion of asteroidal triples to weighted graphs. This implies the known characterization of unit interval graphs and leads to an efficient algorithm for certifying that a matrix is not Robinsonian.
Weierstrass Sigma Function Coefficients Divisibility Hypothesis
We consider the coefficients in the series expansion at zero of the Weierstrass sigma function \[ σ(z) = z \sum_{i, j \geqslant 0} {a_{i,j} \over (4 i + 6 j + 1)!} \left({g_2 z^4 \over 2}\right)^i \left(2 g_3 z^6\right)^j. \] We have $a_{i,j} \in \mathbb{Z}$. We present the divisibility Hypothesis for the integers $a_{i,j}$ \begin{align*} ν_2(a_{i,j}) &= ν_2((4i + 6j + 1)!) - ν_2(i!) - ν_2(j!) - 3 i - 4 j, & ν_3(a_{i,j}) &= ν_3((4i + 6j + 1)!) - ν_3(i!) - ν_3(j!) - i - j. \end{align*} If this conjecture holds, then $σ(z)$ is a Hurwitz series over the ring $\mathbb{Z}[{g_2 \over 2}, 6 g_3]$.
Linear Hypergraph List Edge Coloring - Generalizations of the EFL Conjecture to List Coloring
Published
• View Publication
• BIB
Motivated by the Erdős-Faber-Lovász (EFL) conjecture for hypergraphs, we consider the list edge coloring of linear hypergraphs. We discuss several conjectures for list edge coloring linear hypergraphs that generalize both EFL and Vizing's theorem for graphs. For example, we conjecture that in a linear hypergraph of rank 3, the list edge chromatic number is at most 2 times the maximum degree plus 1. We show that for sufficiently large fixed rank and sufficiently large degree, the conjectures are true.
On Seymour's Second Neighborhood Conjecture of m-free Digraphs
Published
• View Publication
• BIB
This paper gives an approximate result related to Seymour's Second Neighborhood conjecture, that is, for any $m$-free digraph $G$, there exists a vertex $v\in V(G)$ and a real number $λ_m$ such that $d^{++}(v)\geq λ_m d^+(v)$, and $λ_m \rightarrow 1$ while $m \rightarrow +\infty$. This result generalizes and improves some known results in a sense.
A general law of large permanent
Published
• View Publication
• BIB
We show that permanents of doubly stochastic matrices with balanced entries are not far away from the minimum $n!/n^n$. As an application, we give a general law of large permanent, answering a question by Bochi, Iommi and Ponce
Facial structures of lattice path matroid polytopes
A lattice path matroid is a transversal matroid corresponding to a pair of lattice paths on the plane. A matroid base polytope is the polytope whose vertices are the incidence vectors of the bases of the given matroid. In this paper, we study facial structures of matroid base polytopes corresponding to lattice path matroids.
Enumeration of Fuss-Schröder paths
In this paper we enumerate the number of $(k, r)$-Fuss-Schröder paths of type $λ$. Y. Park and S. Kim studied small Schröder paths with type $λ$. Generalizing the results to small $(k, r)$-Fuss-Schröder paths with type $λ$, we give a combinatorial interpretation for the number of small $(k, r)$-Fuss-Schröder paths of type $λ$ by using Chung-Feller style. We also give two sets of sparse noncrossing partitions of $[2(k + 1)n + 1]$ and $[2(k + 1)n + 2]$ which are in bijection with the set of all small and large, respectively, $(k, r)$-Fuss-Schröder paths of type $λ$.
The tilings of deficient squares by ribbon L-tetrominoes are diagonally cracked
Published
• View Publication
• BIB
We consider tilings of deficient rectangles by the set $\mathcal{T}_4$ of ribbon $L$-tetrominoes. A tiling exists iff the rectangle is a square of odd side. The missing cell is on the main NW--SE diagonal, in an odd position if the square is $(4m+1)\times (4m+1)$ and in an even position for $(4m+3)\times (4m+3)$. The majority of the tiles in a tiling are paired and each pair tiles a $2\times 4$ rectangle. The tiles in an irregular position and the missing cell form a NW--SE diagonal crack, located in a thin region symmetric about the diagonal, made out of $3\times 3$ squares that overlap over one of the corner cells. The crack divides the square in two equal area parts. The number of tilings of a $(4m+1)\times (4m+1)$ deficient square is equal to the number of tilings by dominoes of a $2m\times 2m$ square. The number of tilings of a $(4m+3)\times (4m+3)$ deficient square is twice the number of tilings by dominoes of a $(2m+1)\times (2m+1)$ deficient square, with missing cell placed on the main diagonal. If an extra $2\times 2$ tile is added to $\mathcal{T}_4$, we call the new tile set $\mathcal{T}_4^+$. A tiling of a deficient rectangle by $\mathcal{T}_4^+$ exists iff the rectangle is a square of odd side. The missing cell is on the main NW--SE diagonal, in an odd position if the square is $(4m+1)\times (4m+1)$ and in an even position for $(4m+3)\times (4m+3)$. The majority of the tiles in a tiling are either paired tetrominoes and each pair tiles a $2\times 4$ rectangle, or are $2\times 2$ squares. The tiles in an irregular position and the missing cell form a NW--SE diagonal crack, located in a thin region symmetric about the diagonal, made out of $3\times 3$ squares that overlap over one of the corner cells.
Partition functions and a generalized coloring-flow duality for embedded graphs
Published in Journal of Graph Theory, 88(2) (2018), 271-283
• View Publication
• BIB
Let $G$ be a finite group and $χ: G \rightarrow \mathbb{C}$ a class function. Let $H = (V,E)$ be a directed graph with for each vertex a cyclic order of the edges incident to it. The cyclic orders give a collection $F$ of faces of $H$. Define the partition function $P_χ(H) := \sum_{κ: E \rightarrow G}\prod_{v \in V}χ(κ(δ(v)))$, where $κ(δ(v))$ denotes the product of the $κ$-values of the edges incident with $v$ (in order), where the inverse is taken for any edge leaving $v$. Write $χ= \sum_λm_λχ_λ$, where the sum runs over irreducible representations $λ$ of $G$ with character $χ_λ$ and with $m_λ \in \mathbb{C}$ for every $λ$. If $H$ is connected, it is proved that $P_χ(H) = |G|^{|E|}\sum_λχ_λ(1)^{|F|-|E|}m_λ^{|V|}$, where $1$ is the identity element of $G$. Among the corollaries, a formula for the number of nowhere-identity $G$-flows on $H$ is derived, generalizing a result of Tutte. We show that these flows correspond bijectively to certain proper $G$-colorings of a covering graph of the dual graph of $H$. This correspondence generalizes coloring-flow duality for planar graphs.
$\text{VC}_{\ell}$-dimension and the jump to the fastest speed of a hereditary $\mathcal{L}$-property
Published
• View Publication
• BIB
In this paper we investigate a connection between the growth rates of certain classes of finite structures and a generalization of $\text{VC}$-dimension called $\text{VC}_{\ell}$-dimension. Let $\mathcal{L}$ be a finite relational language with maximum arity $r$. A hereditary $\mathcal{L}$-property is a class of finite $\mathcal{L}$-structures closed under isomorphism and substructures. The \emph{speed} of a hereditary $\mathcal{L}$-property $\mathcal{H}$ is the function which sends $n$ to $|\mathcal{H}_n|$, where $\mathcal{H}_n$ is the set of elements of $\mathcal{H}$ with universe $\{1,\ldots, n\}$. It was previously known there exists a gap between the fastest possible speed of a hereditary $\mathcal{L}$-property and all lower speeds, namely between the speeds $2^{Θ(n^r)}$ and $2^{o(n^r)}$. We strengthen this gap by showing that for any hereditary $\mathcal{L}$-property $\mathcal{H}$, either $|\mathcal{H}_n|=2^{Θ(n^r)}$ or there is $ε>0$ such that for all large enough $n$, $|\mathcal{H}_n|\leq 2^{n^{r-ε}}$. This improves what was previously known about this gap when $r\geq 3$. Further, we show this gap can be characterized in terms of $\text{VC}_{\ell}$-dimension, therefore drawing a connection between this finite counting problem and the model theoretic dividing line known as $\ell$-dependence.
The formula of Melzak for arbitrary polynomials
Published in Utilitas Mathematica, 99 (2016), 397-401
• Search Publication
We extend the well-known Melzak binomial transform formula to polynomials of any degree and show some applications.
Computing optimal strategy for cop in the game of Cop v.s. Gambler
We present two efficient algorithms that compute the optimal strategy for cop in the game of Cop v.s. Gambler where the gambler's strategy is not optimal but known to the cop. The first algorithm is analogous to Bellman-Ford algorithm for single source shortest path problem and runs in $O(|V(G)||E(G)|)$ time. The second is analogous to Dijkstra's algorithm and runs in $O(|E(G)|+|V(G)|\log |V(G)|)$ time. Compared with each other, they are more suitable for sparse and dense graphs, respectively.
BPS/CFT Correspondence III: Gauge Origami partition function and qq-characters
Published
• View Publication
• BIB
We study generalized gauge theories engineered by taking the low energy limit of the $Dp$ branes wrapping $X \times T^{p-3}$, with $X$ a possibly singular surface in a Calabi-Yau fourfold $Z$. For toric $Z$ and $X$ the partition function can be computed by localization, making it a statistical mechanical model, called the gauge origami. The random variables are the ensembles of Young diagrams. The building block of the gauge origami is associated with a tetrahedron, whose edges are colored by vector spaces. We show the properly normalized partition function is an entire function of the Coulomb moduli, for generic values of the $Ω$-background parameters. The orbifold version of the theory defines the $qq$-character operators, with and without the surface defects. The analytic properties are the consequence of a relative compactness of the moduli spaces $M({\vec n}, k)$ of crossed and spiked instantons, demonstrated in arXiv:1608.07272.
Vexillary degeneracy loci classes in K-theory and algebraic cobordism
Published
• View Publication
• BIB
In this paper, we prove determinant formulas for the $K$-theory classes of the structure sheaves of degeneracy loci classes associated to vexillary permutations in type $A$. As a consequence we obtain determinant formulas for Lascoux-Schützenberger's double Grothendieck polynomials associated to vexillary permutations. Furthermore, we generalize the determinant formula to algebraic cobordism.
Gibbs Measures with memory of length 2 on an arbitrary order Cayley tree
Published in International Journal of Modern Physics CVol. 29, No. 02, 1850016 (2018)
• View Publication
• BIB
In this paper, we consider the Ising-Vanniminus model on an arbitrary order Cayley tree. We generalize the results conjectured in [Chinese Journal of Physics, 54 (4), 635-649 (2016)] and [International Journal of Modern Physics, arXiv:1608.06178] for an arbitrary order Cayley tree. We establish existence and a full classification of translation invariant Gibbs measures with memory of length 2 associated with the model on arbitrary order Cayley tree. We construct the recurrence equations corresponding generalized ANNNI model. We satisfy the Kolmogorov \emph{consistency} condition. We propose a rigorous measure-theoretical approach to investigate the Gibbs measures with memory of length 2 for the model. We explain whether the number of branches of tree does not change the number of Gibbs measures. Also we take up with trying to determine when phase transition does occur.
Loop conditions
We discuss such Maltsev conditions that consist of just one linear equation, we call them loop conditions. To every such condition can be assigned a graph. We provide a classification of conditions with undirected graphs. It follows that the Siggers term is the weakest non-trivial loop condition.