Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Packing dimers on $(2p + 1) \times (2q + 1) $ lattices
Published in Physical Review E, 73, 016106 (2006)
• View Publication
• BIB
We use computational method to investigate the number of ways to pack dimers on \emph{odd-by-odd} lattices. In this case, there is always a single vacancy in the lattices. We show that the dimer configuration numbers on $(2k+1) \times (2k+1)$ \emph{odd} square lattices have some remarkable number-theoretical properties in parallel to those of close-packed dimers on $2k \times 2k$ \emph{even} square lattices, for which exact solution exists. Furthermore, we demonstrate that there is an unambiguous logarithm term in the finite size correction of free energy of odd-by-odd lattice strips with any width $n \ge 1$. This logarithm term determines the distinct behavior of the free energy of odd square lattices. These findings reveal a deep and previously unexplored connection between statistical physics models and number theory, and indicate the possibility that the monomer-dimer problem might be solvable.
Deformed Cohomology of Flag Varieties
Published in Mathematical Research Letters 25(2), 2018, 649-657
• View Publication
• BIB
This paper introduces a two-parameter deformation of the cohomology of generalized flag varieties. One special case is the Belkale-Kumar deformation (used to study eigencones of Lie groups). Another picks out intersections of Schubert varieties that behave nicely under projections. Our construction yields a new proof that the Belkale-Kumar product is well-defined. This proof is shorter and more elementary than earlier proofs.
A note on a 2-enumeration of antisymmetric monotone triangles
Published
• View Publication
• BIB
In their unpublished work, Jockusch and Propp showed that a 2-enumeration of antisymmetric monotone triangles is given by a simple product formula. On the other hand, the author proved that the same formula counts the domino tilings of the quartered Aztec rectangle. In this paper, we explain this phenomenon directly by building a correspondence between the antisymmetric monotone triangles and domino tilings of the quartered Aztec rectangle.
A new proof for the number of lozenge tilings of quartered hexagons
Published
• View Publication
• BIB
It has been proven that the lozenge tilings of a quartered hexagon on the triangular lattice are enumerated by a simple product formula. In this paper we give a new proof for the tiling formula by using Kuo's graphical condensation. Our result generalizes a Proctor's theorem on enumeration of plane partitions contained in a "maximal staircase".
Uniform regular weighted graphs with large degree: Wigner's law, asymptotic freeness and graphons limit
For each $N\geq 1$, let $G_N$ be a simple random graph on the set of vertices $[N]=\{1,2, ..., N\}$, which is invariant by relabeling of the vertices. The asymptotic behavior as $N$ goes to infinity of correlation functions:
$$ \mathfrak C_N(T)= \mathbb E\bigg[ \prod_{(i,j) \in T} \Big(\mathbf 1_{\big(\{i,j\} \in G_N \big)} - \mathbb P(\{i,j\} \in G_N) \Big)\bigg], \ T \subset [N]^2 \textrm{finite}$$ furnishes informations on the asymptotic spectral properties of the adjacency matrix $A_N$ of $G_N$. Denote by $d_N = N\times \mathbb P(\{i,j\} \in G_N) $ and assume $d_N, N-d_N\underset{N \rightarrow \infty}{\longrightarrow} \infty$. If $\mathfrak C_N(T) =\big(\frac{d_N}N\big)^{|T|} \times O\big(d_N^{-\frac {|T|}2}\big)$ for any $T$, the standardized empirical eigenvalue distribution of $A_N$ converges in expectation to the semicircular law and the matrix satisfies asymptotic freeness properties in the sense of free probability theory. We provide such estimates for uniform $d_N$-regular graphs $G_{N,d_N}$, under the additional assumption that $|\frac N 2 - d_N- η\sqrt{d_N}| \underset{N \rightarrow \infty}{\longrightarrow} \infty$ for some $η>0$. Our method applies also for simple graphs whose edges are labelled by i.i.d. random variables.
A note on algebraic rank, matroids, and metrized complexes
Published in Mathematical Research Letters 24(3) (2014)
• View Publication
• BIB
We show that the algebraic rank of divisors on certain graphs is related to the realizability problem of matroids. As a consequence, we produce a series of examples in which the algebraic rank depends on the ground field. We use the theory of metrized complexes to show that equality between the algebraic and combinatorial rank is not a sufficient condition for smoothability of divisors, thus giving a negative answer to a question posed by Caporaso, Melo, and the author.
Cayley graph on symmetric groups with generating block transposition sets
This paper deals with the Cayley graph $\Cay,$ where the generating set consists of all block transpositions. A motivation for the study of these particular Cayley graphs comes from current research in Bioinformatics. We prove that ${\rm{Aut}}(\Cay)$ is the product of the right translation group by $\textsf{N}\rtimes \textsf{D}_{n+1},$ where $\textsf{N}$ is the subgroup fixing $S_n$ element-wise and $\textsf{D}_{n+1}$ is a dihedral group of order $2(n+1)$. We conjecture that $\textsf{N}$ is trivial. We also prove that the subgraph $Γ$ with vertex-set $S_n$ is a $2(n-2)$-regular graph whose automorphism group is $\textsf{D}_{n+1}$. Furthermore, $Γ$ has as many as $n+1$ maximum cliques of size $2.$ Also, its subgraph $Γ(V)$ whose vertices are those in these cliques is a $3$-regular, Hamiltonian, and vertex-transitive graph.
Randomized Rumor Spreading in Poorly Connected Small-World Networks
Published
• View Publication
• BIB
Push-Pull is a well-studied round-robin rumor spreading protocol defined as follows: initially a node knows a rumor and wants to spread it to all nodes in a network quickly. In each round, every informed node sends the rumor to a random neighbor, and every uninformed node contacts a random neighbor and gets the rumor from her if she knows it. We analyze this protocol on random $k$-trees, a class of power law graphs, which are small-world and have large clustering coefficients, built as follows: initially we have a $k$-clique. In every step a new node is born, a random $k$-clique of the current graph is chosen, and the new node is joined to all nodes of the $k$-clique. When $k>1$ is fixed, we show that if initially a random node is aware of the rumor, then with probability $1-o(1)$ after $O\left((\log n)^{1+2/k}\cdot\log\log n\cdot f(n)\right)$ rounds the rumor propagates to $n-o(n)$ nodes, where $n$ is the number of nodes and $f(n)$ is any slowly growing function. Since these graphs have polynomially small conductance, vertex expansion $O(1/n)$ and constant treewidth, these results demonstrate that Push-Pull can be efficient even on poorly connected networks. On the negative side, we prove that with probability $1-o(1)$ the protocol needs at least $Ω\left(n^{(k-1)/(k^2+k-1)}/f^2(n)\right)$ rounds to inform all nodes. This exponential dichotomy between time required for informing almost all and all nodes is striking. Our main contribution is to present, for the first time, a natural class of random graphs in which such a phenomenon can be observed. Our technique for proving the upper bound carries over to a closely related class of graphs, random $k$-Apollonian networks, for which we prove an upper bound of $O\left((\log n)^{c_k}\cdot\log\log n\cdot f(n)\right)$ rounds for informing $n-o(n)$ nodes with probability $1-o(1)$ when $k>2$ is fixed. Here, $c_k=(k^2-3)/(k-1)^2<1 + 2/k$.
Best possible densities of Dickson m-tuples, as a consequence of Zhang-Maynard-Tao
Published
• View Publication
• BIB
We determine for what proportion of integers $h$ one now knows that there are infinitely many prime pairs $p,\ p+h$ as a consequence of the Zhang-Maynard-Tao theorem. We consider the natural generalization of this to $k$-tuples of integers, and we determine the limit of what can be deduced assuming only the Zhang-Maynard-Tao theorem.
Ramsey numbers for trees II
Published in Czechoslovak Mathematical Journal 71(2021), no.146, 351-372
• View Publication
• BIB
Let $r(G_1, G_2)$ be the Ramsey number of the two graphs $G_1$ and $G_2$. For $n_1\ge n_2\ge 1$ let $S(n_1,n_2)$ be the double star given by $V(S(n_1,n_2))=\{v_0,v_1,\ldots,v_{n_1},w_0,w_1,\ldots,w_{n_2}\}$ and $E(S(n_1,n_2))=\{v_0v_1,\ldots,v_0v_{n_1},v_0w_0,w_0w_1,\ldots,w_0w_{n_2}\}$. In this paper we determine $r(K_{1,m-1},$ $S(n_1,n_2))$ under certain conditions. For $n\ge 6$ let $T_n^3=S(n-5,3)$, $T_n^{''}=(V,E_2)$ and $T_n^{'''} =(V,E_3)$, where $V=\{v_0,v_1,\ldots,v_{n-1}\}$, $E_2=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_1v_{n-2},$ $v_2v_{n-1}\}$ and $E_3=\{v_0v_1,\ldots,v_0v_{n-4},v_1v_{n-3},v_2v_{n-2},v_3v_{n-1}\}$. We also obtain explicit formulas for $r$ $(K_{1,m-1},T_n)$, $r(T_m',T_n)$ $(n\ge m+3)$, $r(T_n,T_n)$, $r(T_n',T_n)$ and $r(P_n,T_n)$, where $T_n\in\{T_n'',T_n''',T_n^3\}$, $P_n$ is the path on $n$ vertices and $T_n'$ is the unique tree with $n$ vertices and maximal degree $n-2$.
The densest matroids in minor-closed classes with exponential growth rate
Published
• View Publication
• BIB
The $\mathit{growth\ rate\ function}$ for a nonempty minor-closed class of matroids $\mathcal{M}$ is the function $h_{\mathcal{M}}(n)$ whose value at an integer $n \ge 0$ is defined to be the maximum number of elements in a simple matroid in $\mathcal{M}$ of rank at most $n$. Geelen, Kabell, Kung and Whittle showed that, whenever $h_{\mathcal{M}}(2)$ is finite, the function $h_{\mathcal{M}}$ grows linearly, quadratically or exponentially in $n$ (with base equal to a prime power $q$), up to a constant factor.
We prove that in the exponential case, there are nonnegative integers $k$ and $d \le \tfrac{q^{2k}-1}{q-1}$ such that $h_{\mathcal{M}}(n) = \frac{q^{n+k}-1}{q-1} - qd$ for all sufficiently large $n$, and we characterise which matroids attain the growth rate function for large $n$. We also show that if $\mathcal{M}$ is specified in a certain `natural' way (by intersections of classes of matroids representable over different finite fields and/or by excluding a finite set of minors), then the constants $k$ and $d$, as well as the point that `sufficiently large' begins to apply to $n$, can be determined by a finite computation.
Dual Filtered Graphs
Published
• View Publication
• BIB
We define a K-theoretic analogue of Fomin's dual graded graphs, which we call dual filtered graphs. The key formula in the definition is DU-UD= D + I. Our major examples are K-theoretic analogues of Young's lattice, of shifted Young's lattice, and of the Young-Fibonacci lattice. We suggest notions of tableaux, insertion algorithms, and growth rules whenever such objects are not already present in the literature. We also provide a large number of other examples. Most of our examples arise via two constructions, which we call the Pieri construction and the Mobius construction. The Pieri construction is closely related to the construction of dual graded graphs from a graded Hopf algebra, as described by Bergeron-Lam-Li, Nzeutchap, and Lam-Shimizono. The Mobius construction is more mysterious but also potentially more important, as it corresponds to natural insertion algorithms.
Domino tilings of three-dimensional regions: flips, trits and twists
In this paper, we consider domino tilings of regions of the form $\mathcal{D} \times [0,n]$, where $\mathcal{D}$ is a simply connected planar region and $n \in \mathbb{N}$. It turns out that, in nontrivial examples, the set of such tilings is not connected by flips, i.e., the local move performed by removing two adjacent dominoes and placing them back in another position. We define an algebraic invariant, the twist, which partially characterizes the connected components by flips of the space of tilings of such a region. Another local move, the trit, consists of removing three adjacent dominoes, no two of them parallel, and placing them back in the only other possible position: performing a trit alters the twist by $\pm 1$. We give a simple combinatorial formula for the twist, as well as an interpretation via knot theory. We prove several results about the twist, such as the fact that it is an integer and that it has additive properties for suitable decompositions of a region.
Valence independent formula for the equilibrium measure
We derive a new formula for the equilibrium measure for eigenvalues of random matrices sampled from polynomial perturbations of the GUE, valid in the one-cut case. The virtue of our formula is that it depends on the potential only implicitly through the endpoints of support of the equilibrium measure. Our motivation is the problem of computing explicit formulas for generating functions which enumerate graphs embedded in a Riemann surface. To demonstrate the utility of our formula for the equilibrium measure, we derive a formula for the generating function $e_1$ enumerating maps on the torus. This formula is "valence independent" in the sense that it holds regardless of what numbers of edges are allowed to meet at vertices; furthermore it subsumes formulas for $e_1$ given by other authors as special cases.
A note on the values of independence polynomials at $-1$
Published
• View Publication
• BIB
The independence polynomial $I(G;x)$ of a graph $G$ is $I(G;x)=\sum_{k=1}^{α(G)} s_k x^k$, where $s_k$ is the number of independent sets in $G$ of size $k$. The decycling number of a graph $G$, denoted $φ(G)$, is the minimum size of a set $S\subseteq V(G)$ such that $G-S$ is acyclic. Engström proved that the independence polynomial satisfies $|I(G;-1)| \leq 2^{φ(G)}$ for any graph $G$, and this bound is best possible. Levit and Mandrescu provided an elementary proof of the bound, and in addition conjectured that for every positive integer $k$ and integer $q$ with $|q|\leq 2^k$, there is a connected graph $G$ with $φ(G)=k$ and $I(G;-1)=q$. In this note, we prove this conjecture.
An algorithm that constructs irreducible triangulations of once-punctured surfaces
A triangulation of a surface is irreducible if there is no edge whose contraction produces another triangulation of the surface. In this work we propose an algorithm that constructs the set of irreducible triangulations of any surface with precisely one boundary component. By implementing the algorithm on computer, we have found a list of 297 nonisomorphic combinatorial types of irreducible triangulations on the once-punctured torus.
Locally Convex Words and Permutations
Published
• View Publication
• BIB
We introduce some new classes of words and permutations characterized by the second difference condition $π(i-1) + π(i+1) - 2π(i) \leq k$, which we call the $k$-convexity condition. We demonstrate that for any sized alphabet and convexity parameter $k$, we may find a generating function which counts $k$-convex words of length $n$. We also determine a formula for the number of 0-convex words on any fixed-size alphabet for sufficiently large $n$ by exhibiting a connection to integer partitions. For permutations, we give an explicit solution in the case $k = 0$ and show that the number of 1-convex and 2-convex permutations of length $n$ are $Θ(C_1^n)$ and $Θ(C_2^n)$, respectively, and use the transfer matrix method to give tight bounds on the constants $C_1$ and $C_2$. We also providing generating functions similar to the the continued fraction generating functions studied by Odlyzko and Wilf in the "coins in a fountain" problem.
Friedgut--Kalai--Naor theorem for slices of the Boolean cube
The Friedgut--Kalai--Naor theorem states that if a Boolean function $f\colon \{0,1\}^n \to \{0,1\}$ is close (in $L^2$-distance) to an affine function $\ell(x_1,...,x_n) = c_0 + \sum_i c_i x_i$, then $f$ is close to a Boolean affine function (which necessarily depends on at most one coordinate). We prove a similar theorem for functions defined over $\binom{[n]}{k} = \{(x_1,...,x_n) \in \{0,1\}^n : \sum_i x_i = k \}$.
Counting numerical semigroups
We are interested in formulas for the number of elements in certain classes of numerical semigroups
Symmetric bilinear forms over finite fields with applications to coding theory
Published
• View Publication
• BIB
Let $q$ be an odd prime power and let $X(m,q)$ be the set of symmetric bilinear forms on an $m$-dimensional vector space over $\mathbb{F}_q$. The partition of $X(m,q)$ induced by the action of the general linear group gives rise to a commutative translation association scheme. We give explicit expressions for the eigenvalues of this scheme in terms of linear combinations of generalised Krawtchouk polynomials. We then study $d$-codes in this scheme, namely subsets $Y$ of $X(m,q)$ with the property that, for all distinct $A,B\in Y$, the rank of $A-B$ is at least $d$. We prove bounds on the size of a $d$-code and show that, under certain conditions, the inner distribution of a $d$-code is determined by its parameters. Constructions of $d$-codes are given, which are optimal among the $d$-codes that are subgroups of $X(m,q)$. Finally, with every subset $Y$ of $X(m,q)$, we associate two classical codes over $\mathbb{F}_q$ and show that their Hamming distance enumerators can be expressed in terms of the inner distribution of $Y$. As an example, we obtain the distance enumerators of certain cyclic codes, for which many special cases have been previously obtained using long ad hoc calculations.