Search

In this paper, we present a new version of the second author's factorization theorem for perfect matchings of symmetric graphs. We then use our result to solve four open problems of Propp on the enumeration of trimer tilings on the hexagonal lattice. As another application, we obtain a semi-factorization result for the number of lozenge tilings of a large class of hexagonal regions with holes (obtained by starting with an arbitrary symmetric hexagon with holes, and translating all the holes one unit lattice segment in the same direction). This in turn leads to the solution of two open problems posed by Lai, to an extension of a result due to Fulmek and Krattenthaler, and to exact enumeration formulas for some new families of hexagonal regions with holes. Our result also allows us to find new, simpler proofs (and in one case, a new, simpler form) of some formulas due to Krattenthaler for the number of perfect matchings of Aztec rectangles with unit holes along a lattice diagonal., Comment: 46 pages, 38 figures. The main changes compared to version 1 are: (a) we added Theorem 4.5, and (b) we rewrote Section 5 and made it explicit. We also corrected several minor typos

A number which is either the square of an integer or two times the square of an integer is called squarish. There are two main results in the literature on graphs whose number of perfect matchings is squarish: one due to Jockusch (for planar graphs invariant under rotation by 90 degrees) and the other due to the second author (concerning planar graphs with two perpendicular symmetry axes). We present in this paper a new such class, consisting of certain planar graphs that are only required to have one symmetry axis. Our proof relies on a natural bijection between the set of perfect matchings of two closely related (but not isomorphic!) families of graphs, which is interesting in its own right. The rephrasing of this bijection in terms of spanning trees turns out to be the most natural way to present this result. The basic move in the construction of the above bijection (which we call gliding) can also be used to extend Temperley's classical bijection between spanning trees of a planar graph and perfect matchings of a closely related graph. We present this, and as an application we answer an open question posed by Corteel, Huang and Krattenthaler. We also discuss another dimer bijection (used in the proof of the second author's result mentioned above), and deduce from a refinement of it new results for spanning trees. These include a finitary version of an independence result for the uniform spanning tree on $\Z^2$ due to Johansson, a counterpart of it, and a bijective proof of an independence result on edge inclusions in the uniform spanning tree on $\Z^2$ due to Lyons., Comment: 28 pages

The original motivation for this paper goes back to the mid-1990's, when James Propp was interested in natural situations when the number of domino tilings of a region increases if some of its unit squares are deleted. Guided in part by the intuition one gets from earlier work on parallels between the number of tilings of a region with holes and the 2D Coulomb energy of the corresponding system of electric charges, we consider Aztec diamond regions with unit square defects along two adjacent sides. We show that for large regions, if these defects are at fixed distances from a corner, the ratio between the number of domino tilings of the Aztec diamond with defects and the number of tilings of the entire Aztec diamond approaches a Delannoy number. When the locations of the defects are not fixed but instead approach given points on the boundary of the scaling limit $S$ (a square) of the Aztec diamonds, we prove that, provided the line segment connecting these points is outside the circle inscribed in $S$, this ratio has the same asymptotics as the Delannoy number corresponding to the locations of the defects; if the segment crosses the circle, the asymptotics is radically different. We use this to deduce (under the assumption that an arctic curve exists) that the arctic curve for domino tilings of Aztec diamonds is the circle inscribed in $S$. We also discuss counterparts of this phenomenon for lozenge tilings of hexagons., Comment: 38 pages

When the arrival processes are Poisson, queueing networks are well-understood in terms of the product-form structure of the number of jobs $N_i$ at the individual queues; much less is known about the waiting time $W$ across the whole network. In turn, for non-Poisson arrivals, little is known about either $N_i$'s or $W$. This paper considers a tandem network $$GI/G/1\rightarrow \cdot/G/1\rightarrow\dots\rightarrow\cdot/G/1$$ with general arrivals and light-tailed service times. The main result is that the tail $\P(W>x)$ has a polynomial-exponential (Poly-Exp) structure by constructing upper bounds of the form $$(a_{I}x^{I}+\dots+a_1x+a_0)e^{-\theta x}~.$$ The degree $I$ of the polynomial depends on the number of bottleneck queues, their positions in the tandem, and also on the `light-tailedness' of the service times. The bounds hold in non-asymptotic regimes (i.e., for \textit{finite} $x$), are shown to be sharp, and improve upon alternative results based on large deviations by (many) orders of magnitude. The overall technique is also particularly robust as it immediately extends, for instance, to non-renewal arrivals.

A recent conjecture of Di Francesco states that the number of domino tilings of a certain family of regions on the square lattice is given by a product formula reminiscent of the one giving the number of alternating sign matrices. These regions, denoted ${\mathcal T}_n$, are obtained by starting with a square of side-length $2n$, cutting it in two along a diagonal by a zigzag path with step length two, and gluing to one of the resulting regions half of an Aztec diamond of order $n-1$. Inspired by the regions ${\mathcal T}_n$, we construct a family $C_{m,n}^{a,b,c,d}$ of cruciform regions generalizing the Aztec diamonds and we prove that their number of domino tilings is given by a simple product formula. Since (as it follows from our results) the number of domino tilings of ${\mathcal T}_n$ is a divisor of the number of tilings of the cruciform region $C_{2n-1,2n-1}^{n-1,n,n,n-2}$, the special case of our formula corresponding to the latter can be viewed as partial progress towards proving Di Francesco's conjecture., Comment: 14 pages

The classical 1961 solution to the problem of determining the number of perfect matchings (or dimer coverings) of a rectangular grid graph -- due independently to Kasteleyn and to Temperley and Fisher -- consists of changing the sign of some of the entries in the adjacency matrix so that the Pfaffian of the new matrix gives the number of perfect matchings, and then evaluating this Pfaffian. Another classical method is to use the Lindstr\"om-Gessel-Viennot theorem on non-intersecting lattice paths to express the number of perfect matchings as a determinant, and then evaluate this determinant. In this paper we present a new method for solving the two dimensional dimer problem, which relies on the Cauchy-Binet theorem. It only involves facts that were known in the mid 1930's when the dimer problem was phrased, so it could have been discovered while the dimer problem was still open. We provide explicit product formulas for both the square and the hexagonal lattice. One advantage of our formula for the square lattice compared to the original formula of Kasteleyn, Temperley and Fisher is that ours has a linear number of factors, while the number of factors in the former is quadratic. Our result for the hexagonal lattice yields a formula for the number of periodic stepped surfaces that fit in an infinite tube of given cross-section, which can be regarded as a counterpart of MacMahon's boxed plane partition theorem., Comment: 26 pages, 10 figures

In earlier work we showed that in the bulk, the correlation of gaps in dimer systems on the hexagonal lattice is governed, in the fine mesh limit, by Coulomb's law for 2D electrostatics. We also proved that the scaling limit of the discrete field ${\bold F}$ of average tile orientations is, up to a multiplicative constant, the electric field produced by a 2D system of charges corresponding to the gaps. In this paper we show that in the bulk, the relative change $T_{\al,\be}$ in correlation caused by displacing a hole by a fixed vector $(\al,\be)$ is, in the fine mesh limit, the projection on $(\al,\be)$ of a new field ${\bold T}$, which is also equal up to a multiplicative constant to the electric field of the corresponding system of charges. We also discuss the differences between the fields ${\bold T}$ and ${\bold F}$ and present conjectures for their fine mesh limits in the more general case of a dimer system with boundary. The new field ${\bold T}$ can be viewed as capturing the instantaneous pull on each gap in the surrounding fluctuating sea of dimers. From the point of view of the parallel to physics, the electrostatic force emerges then as an entropic force., Comment: 29 pages

We analyze a data-processing system with $n$ clients producing jobs which are processed in \textit{batches} by $m$ parallel servers; the system throughput critically depends on the batch size and a corresponding sub-additive speedup function. In practice, throughput optimization relies on numerical searches for the optimal batch size, a process that can take up to multiple days in existing commercial systems. In this paper, we model the system in terms of a closed queueing network; a standard Markovian analysis yields the optimal throughput in $\omega\left(n^4\right)$ time. Our main contribution is a mean-field model of the system for the regime where the system size is large. We show that the mean-field model has a unique, globally attractive stationary point which can be found in closed form and which characterizes the asymptotic throughput of the system as a function of the batch size. Using this expression we find the \textit{asymptotically} optimal throughput in $O(1)$ time. Numerical settings from a large commercial system reveal that this asymptotic optimum is accurate in practical finite regimes., Comment: 15 pages

To meet the timing resolution requirement of up-coming High Luminosity LHC (HL-LHC), a new detector based on the Low-Gain Avalanche Detector(LGAD), High-Granularity Timing Detector (HGTD), is under intensive research in ATLAS. Two types of IHEP-NDL LGADs(BV60 and BV170) for this update is being developed by Institute of High Energy Physics (IHEP) of Chinese Academic of Sciences (CAS) cooperated with Novel Device Laboratory (NDL) of Beijing Normal University and they are now under detailed study. These detectors are tested with $5GeV$ electron beam at DESY. A SiPM detector is chosen as a reference detector to get the timing resolution of LGADs. The fluctuation of time difference between LGAD and SiPM is extracted by fitting with a Gaussian function. Constant fraction discriminator (CFD) method is used to mitigate the effect of time walk. The timing resolution of $41 \pm 1 ps$ and $63 \pm 1 ps$ are obtained for BV60 and BV170 respectively.

We consider regions obtained from 120 degree rotationally invariant hexagons by removing a core and three equal satellites (all equilateral triangles) so that the resulting region is both vertically symmetric and 120 degree rotationally invariant, and give simple product formulas for the number of their lozenge tilings. We describe a new method of approach for proving these formulas, and give the full details for an illustrative special case. As a byproduct, we are also able to generalize this special case in a different direction, by finding a natural counterpart of a twenty year old formula due to Ciucu, Eisenk\"olbl, Krattenthaler and Zare, which went unnoticed until now. The general case of the original problem will be treated in a subsequent paper. We then work out consequences for the correlation of holes, which were the original motivation for this study., Comment: Added Theorem 3

In this paper we consider arbitrary hexagons on the triangular lattice with three arbitrary bowtie-shaped holes, whose centers form an equilateral triangle. The number of lozenge tilings of such general regions is not expected --- and indeed is not --- given by a simple product formula. However, when considering a certain natural normalized counterpart of any such region, we prove that the ratio between the number of tilings of the original and the number of tilings of the normalized region is given by a simple, conceptual product formula. Several seemingly unrelated previous results from the literature --- including Lai's formula for hexagons with three dents and Ciucu and Krattenthaler's formula for hexagons with a removed shamrock --- follow as immediate consequences of our result., Comment: In this new version we provide details of the proof which were overlooked in the first version. These are important because at the induction step of our proof one needs to ascertain that the second factor on the left hand side of equation (8.4) is not equal to zero

In this paper we enumerate the centrally symmetric lozenge tilings of a hexagon with a fern removed from its center. The proof is based on a variant of Kuo's graphical condensation method. An unexpected connection with the total number of tilings is established~---~when suitably normalized, the number of centrally symmetric tilings is equal to the square root of the total number of tilings. The results we present can be regarded as a new extension of the enumeration of self-complementary plane partitions that fit in a box., Comment: 14 pages

As part of our ongoing work on the enumeration of symmetry classes of lozenge tilings of hexagons with certain four-lobed structures removed from their center, we consider the case of the tilings which are both vertically and horizontally symmetric. In order to handle this, we need an extension of Kuo's graphical condensation method, which works in the presence of free boundary. Our results allow us to compute exactly the correlation in a sea of dimers of a macroscopic dent in a 90 degree wedge with mixed boundary conditions. We use previous results to compute the correlation of the corresponding symmetrized system with no boundary, and show that its fourth root has the same log-asymptotics as the correlation of the dent in the 90 degree wedge. This is the first result of this kind involving a macroscopic defect. It suggests that the connections between dimer systems with gaps and 2D electrostatics may be deeper that previously thought., Comment: 17 pages

In this paper we enumerate the centrally symmetric lozenge tilings of a hexagon with a shamrock removed from its center. Our proof is based on a variant of Kuo's graphical condensation method in which only three of the four involved vertices are on the same face. As a special case, we obtain a new proof of the enumeration of the self-complementary plane partitions., Comment: 15 pages

Motivated in part by Propp's intruded Aztec diamond regions, we consider hexagonal regions out of which two horizontal chains of triangular holes (called ferns) are removed, so that the chains are at the same height, and are attached to the boundary. By contrast with the intruded Aztec diamonds (whose number of domino tilings contain some large prime factors in their factorization), the number of lozenge tilings of our doubly-intruded hexagons turns out to be given by simple product formulas in which all factors are linear in the parameters. We present in fact $q$-versions of these formulas, which enumerate the corresponding plane-partitions-like structures by their volume. We also pose some natural statistical mechanics questions suggested by our set-up, which should be possible to tackle using our formulas., Comment: Version 2: 37 pages and many figures. Accepted for publication in Journal of Combinatorial Theory, Series A

Task replication has recently been advocated as a practical solution to reduce latencies in parallel systems. In addition to several convincing empirical studies, some others provide analytical results, yet under some strong assumptions such as Poisson arrivals, exponential service times, or independent service times of the replicas themselves, which may lend themselves to some contrasting and perhaps contriving behavior. For instance, under the second assumption, an overloaded system can be stabilized by a replication factor, but can be sent back in overload through further replication. In turn, under the third assumption, strictly larger stability regions of replication systems do not necessarily imply smaller delays. Motivated by the need to dispense with such common and restricting assumptions, which may additionally cause unexpected behavior, we develop a unified and general theoretical framework to compute tight bounds on the distribution of response times in general replication systems. These results immediately lend themselves to the optimal number of replicas minimizing response time quantiles, depending on the parameters of the system (e.g., the degree of correlation amongst replicas). As a concrete application of our framework, we design a novel replication policy which can improve the stability region of classical fork-join queueing systems by $\mathcal{O}(\ln K)$, in the number of servers $K$.

We deduce Narayana's formula for the number of lattice paths that fit in a Young diagram as a direct consequence of the Gessel-Viennot theorem on non-intersecting lattice paths.

In this paper we introduce a counterpart structure to the shamrocks studied in the paper "A dual of Macmahon's theorem on plane partitions" by M. Ciucu and C. Krattenthaler (Proc. Natl. Acad. Sci. USA, vol. 110 (2013), 4518-4523), which, just like the latter, can be included at the center of a lattice hexagon on the triangular lattice so that the region obtained from the hexagon by removing it has its number of lozenge tilings given by a simple product formula. The new structure, called a fern, consists of an arbitrary number of equilateral triangles of alternating orientations lined up along a lattice line. The shamrock and the fern seem to be the only structures with this property. It would be interesting to understand why these are the only two such structures., Comment: 24 pages

All ten symmetry classes of plane partitions that fit in a given box are known to be enumerated by simple product formulas, but there is still no unified proof for all of them. Progress towards this goal can be made by establishing identities connecting the various symmetry classes. We present in this paper four such identities, involving all ten symmetry classes. We discuss their proofs and generalizations. The main result of this paper is to give a generalization of one of them, in the style of the identity presented in "A factorization theorem for rhombus tilings," M. Ciucu and C. Krattenthaler, arXiv:1403.3323., Comment: 14 pages