Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The interaction of collinear gaps of arbitrary charge in a two dimensional dimer system
Published
• View Publication
• BIB
The correlation of gaps in dimer systems was introduced in 1963 by Fisher and Stephenson, who looked at the interaction of two monomers generated by the rigid exclusion of dimers on the closely packed square lattice. In previous work we considered the analogous problem on the hexagonal lattice, and we extended the set-up to include the correlation of any finite number of monomer clusters. For fairly general classes of monomer clusters we proved that the asymptotics of their correlation is given, for large separations between the clusters, by a multiplicative version of Coulomb's law for 2D electrostatics. However, our previous results required that the monomer clusters consist (with possibly one exception) of an even number of monomers. In this paper we determine the asymptotics of general defect clusters along a lattice diagonal in the square lattice (involving an arbitrary, even or odd number of monomers), and find that it is given by the same Coulomb law. We also obtain a conceptual interpretation for the multiplicative constant as the product of the correlations of the individual clusters.
A Helly-type theorem for semi-monotone sets and monotone maps
Published
• View Publication
• BIB
We consider sets and maps defined over an o-minimal structure over the reals, such as real semi-algebraic or subanalytic sets. A {\em monotone map} is a multi-dimensional generalization of a usual univariate monotone function, while the closure of the graph of a monotone map is a generalization of a compact convex set. In a particular case of an identically constant function, such a graph is called a {\em semi-monotone set}. Graphs of monotone maps are, generally, non-convex, and their intersections, unlike intersections of convex sets, can be topologically complicated. In particular, such an intersection is not necessarily the graph of a monotone map. Nevertheless, we prove a Helly-type theorem, which says that for a finite family of subsets of $\Real^n$, if all intersections of subfamilies, with cardinalities at most $n+1$, are non-empty and graphs of monotone maps, then the intersection of the whole family is non-empty and the graph of a monotone map.
A probabilistic interpretation of a sequence related to Narayana polynomials
Published
• View Publication
• BIB
A sequence of coefficients appearing in a recurrence for the Narayana polynomials is generalized. The coefficients are given a probabilistic interpretation in terms of beta distributed random variables. The recurrence established by M. Lasalle is then obtained from a classical convolution identity. Some arithmetical properties of the generalized coefficients are also established.
A combinatorial proof of the Alladi-Gordon key identity for Schur's partition theorem
Published
• View Publication
• BIB
The Alladi-Gordon identity plays an important role for the Alladi-Gordon generalization of Schur's partition theorem. By using Joichi-Stanton's insertion algorithm, we present an overpartition interpretation for the Alladi-Gordon key identity. Based on this interpretation, we further obtain a combinatorial proof of the Alladi-Gordon key identity by establishing an involution on the underlying set of overpartitions.
In Defense of Bureaucracy in the Metric Facility Location Problem
Our work is devoted to the metric facility location problem and addresses the selfish behavior of the players. It contributes to the line of work initiated by Procaccia and Tennenholtz [EC09] on approximate mechanism design without money. We explore and argue for an intuitive and simple rule of complexity O(nk),a so-called proportionality mechanism. The mechanism works in k consecutive rounds,each time choosing a random player at whose position to place the next facility; each time the probabilities of players to be picked are distributed proportionally to their distances to the current set of the facilities. Lu et al. [EC10] showed that the proportionality rule is incentive compatible for k=1,2, but fails to be so for k>2.
We tweak the model slightly such that for any k, the proportionality mechanism becomes incentive compatible. In the new model we allow the government to be bureaucratic, i.e., to have the power of to force each player to choose from only a specific set of available facilities. In the proportionality mechanism, we force every player that receives a facility at his reported location to connect to exactly that facility. We extend the proportionality mechanism to a more general setting with a private network of facilities already present in the metric space and show that it is truthful as well.
We further show that for any fixed k, the proportionality rule achieves in expectation a constant approximation guarantee to the optimal solution; namely at most a ratio of 4k. On the other hand, we show a lower bound of ln k(1+o(1)), and we suspect the truth to be closer to this lower bound. Thus, our work is the first among those on incentive compatible facility location that treats effectively (with a constant factor of approximation) the general case of an arbitrary number of facilities.
On the Construction of Even Order Magic Squares
The aim of this note is to introduce a fast new general method for the construction of double and single even order magic squares. The method for double even order magic squares is fairly straight-forward but some adjustment is necessary for single even order magic squares.
On the second largest eigenvalue of the signless Laplacian
Published in Linear Algebra and its applications, vol. 438, pp 1215 - 1222, 2013
• View Publication
• BIB
Let $G$ be a graph of order $n,$ and let $q_{1}(G) \geq ...\geq q_{n}(G) $ be the eigenvalues of the $Q$-matrix of $G$, also known as the signless Laplacian of $G.$ In this paper we give a necessary and sufficient condition for the equality $q_{k}(G) =n-2,$ where $1<k\leq n.$ In particular, this result solves an open problem raised by Wang, Belardo, Huang and Borovicanin.
We also show that [ q_{2}(G) \geqδ(G)] and determine that equality holds if and only if $G$ is one of the following graphs: a star, a complete regular multipartite graph, the graph $K_{1,3,3},$ or a complete multipartite graph of the type $K_{1,...,1,2,...,2}$.
Computational Results of Duadic Double Circulant Codes
Published
• View Publication
• BIB
Quadratic residue codes have been one of the most important classes of algebraic codes. They have been generalized into duadic codes and quadratic double circulant codes. In this paper we introduce a new subclass of double circulant codes, called {\em{duadic double circulant codes}}, which is a generalization of quadratic double circulant codes for prime lengths. This class generates optimal self-dual codes, optimal linear codes, and linear codes with the best known parameters in a systematic way. We describe a method to construct duadic double circulant codes using 4-cyclotomic cosets and give certain duadic double circulant codes over $\mathbb F_2, \mathbb F_3, \mathbb F_4, \mathbb F_5$, and $\mathbb F_7$. In particular, we find a new ternary self-dual $[76,38,18]$ code and easily rediscover optimal binary self-dual codes with parameters $[66,33,12]$, $[68,34,12]$, $[86,43,16]$, and $[88,44,16]$ as well as a formally self-dual binary $[82,41,14]$ code.
e-Valuate: A Two-player Game on Arithmetic Expressions -- An Update
e-Valuate is a game on arithmetic expressions. The players have contrasting roles of maximizing and minimizing the given expression. The maximizer proposes values and the minimizer substitutes them for variables of his choice. When the expression is fully instantiated, its value is compared with a certain minimax value that would result if the players played to their optimal strategies. The winner is declared based on this comparison.
We use a game tree to represent the state of the game and show how the minimax value can be computed efficiently using backward induction and alpha-beta pruning. The efficacy of alpha-beta pruning depends on the order in which the nodes are evaluated. Further improvements can be obtained by using transposition tables to prevent reevaluation of the same nodes. We propose a heuristic for node ordering. We show how the use of the heuristic and transposition tables lead to improved performance by comparing the number of nodes pruned by each method.
We describe some domain-specific variants of this game. The first is a graph theoretic formulation wherein two players share a set of elements of a graph by coloring a related set with each player looking to maximize his share. The set being shared could be either the set of vertices, edges or faces (for a planar graph). An application of this is the sharing of regions enclosed by a planar graph where each player's aim is to maximize the area of his share. Another variant is a tiling game where the players alternately place dominoes on a $8 \times 8$ checkerboard to construct a maximal partial tiling. We show that the size of the tiling $x$ satisfies $22 \le x \le 32$ by proving that any maximal partial tiling requires at least $22$ dominoes.
Warnaar's bijection and colored partition identities, II
Published in Ramanujan J. 33 (2014), no. 1, 83--120
• View Publication
• BIB
In our previous paper, we determined a unified combinatorial framework to look at a large number of colored partition identities, and studied the five identities corresponding to the exceptional modular equations of prime degree of the Schroeter, Russell and Ramanujan type. The goal of this paper is to use the master bijection of our previous work to show combinatorially several new and highly nontrivial colored partition identities. We conclude by listing a number of further interesting identities of the same type as conjectures.
Toroidal maps : Schnyder woods, orthogonal surfaces and straight-line representations
A Schnyder wood is an orientation and coloring of the edges of a planar map satisfying a simple local property. We propose a generalization of Schnyder woods to graphs embedded on the torus with application to graph drawing. We prove several properties on this new object. Among all we prove that a graph embedded on the torus admits such a Schnyder wood if and only if it is an essentially 3-connected toroidal map. We show that these Schnyder woods can be used to embed the universal cover of an essentially 3-connected toroidal map on an infinite and periodic orthogonal surface. Finally we use this embedding to obtain a straight-line flat torus representation of any toroidal map in a polynomial size grid.
Spectrum of Markov generators on sparse random graphs
Published in Communications on Pure and Applied Mathematics 67, 4 (2014) 621-669
• View Publication
• BIB
We investigate the spectrum of the infinitesimal generator of the continuous time random walk on a randomly weighted oriented graph. This is the non-Hermitian random nxn matrix L defined by L(j,k)=X(j,k) if k<>j and L(j,j)=-sum(L(j,k),k<>j), where X(j,k) are i.i.d. random weights. Under mild assumptions on the law of the weights, we establish convergence as n tends to infinity of the empirical spectral distribution of L after centering and rescaling. In particular, our assumptions include sparse random graphs such as the oriented Erdös-Rényi graph where each edge is present independently with probability p(n)->0 as long as np(n) >> (log(n))^6. The limiting distribution is characterized as an additive Gaussian deformation of the standard circular law. In free probability terms, this coincides with the Brown measure of the free sum of the circular element and a normal operator with Gaussian spectral measure. The density of the limiting distribution is analyzed using a subordination formula. Furthermore, we study the convergence of the invariant measure of L to the uniform distribution and establish estimates on the extremal eigenvalues of L.
Pascal triangle, Stirling numbers and the unique invariance of the Euler characteristic
We use some basic properties of binomial and Stirling numbers to prove that the Euler characteristic is, essentially, the unique numerical topological invariant for compact polyhedra which can be expressed as a linear combination of the numbers of faces of triangulations. We obtain this result converting it into an eigenvalue problem.
From heaps of matches to the limits of computability
Published
• View Publication
• BIB
We study so-called invariant games played with a fixed number $d$ of heaps of matches. A game is described by a finite list $\mathcal{M}$ of integer vectors of length $d$ specifying the legal moves. A move consists in changing the current game-state by adding one of the vectors in $\mathcal{M}$, provided all elements of the resulting vector are nonnegative. For instance, in a two-heap game, the vector $(1,-2)$ would mean adding one match to the first heap and removing two matches from the second heap. If $(1,-2) \in \mathcal{M}$, such a move would be permitted provided there are at least two matches in the second heap. Two players take turns, and a player unable to make a move loses. We show that these games embrace computational universality, and that therefore a number of basic questions about them are algorithmically undecidable. In particular, we prove that there is no algorithm that takes two games $\mathcal{M}$ and $\mathcal{M}'$ (with the same number of heaps) as input, and determines whether or not they are equivalent in the sense that every starting-position which is a first player win in one of the games is a first player win in the other.
Additive colorings of planar graphs
Published
• View Publication
• BIB
An \emph{additive coloring} of a graph $G$ is an assignment of positive integers $\{1,2,...,k\}$ to the vertices of $G$ such that for every two adjacent vertices the sums of numbers assigned to their neighbors are different. The minimum number $k$ for which there exists an additive coloring of $G$ is denoted by $η(G)$. We prove that $η(G)\leqslant 468$ for every planar graph $G$. This improves a previous bound $η(G)\leqslant 5544$ due to Norin. The proof uses Combinatorial Nullstellensatz and coloring number of planar hypergrahs. We also demonstrate that $η(G)\leqslant 36$ for 3-colorable planar graphs, and $η(G)\leqslant 4$ for every planar graph of girth at least 13. In a group theoretic version of the problem we show that for each $r\geqslant 2$ there is an $r$-chromatic graph $G_{r}$ with no additive coloring by elements of any Abelian group of order $r$.
Optimal lower bound for 2-identifying code in the hexagonal grid
Published
• View Publication
• BIB
An $r$-identifying code in a graph $G = (V,E)$ is a subset $C \subseteq V$ such that for each $u \in V$ the intersection of $C$ and the ball of radius $r$ centered at $u$ is non-empty and unique. Previously, $r$-identifying codes have been studied in various grids. In particular, it has been shown that there exists a 2-identifying code in the hexagonal grid with density 4/19 and that there are no 2-identifying codes with density smaller than 2/11. Recently, the lower bound has been improved to 1/5 by Martin and Stanton (2010). In this paper, we prove that the 2-identifying code with density 4/19 is optimal, i.e. that there does not exist a 2-identifying code in the hexagonal grid with smaller density.
New lower bound for 2-identifying code in the square grid
Published
• View Publication
• BIB
An $r$-identifying code in a graph $G = (V,E)$ is a subset $C \subseteq V$ such that for each $u \in V$ the intersection of $C$ and the ball of radius $r$ centered at $u$ is nonempty and unique. Previously, $r$-identifying codes have been studied in various grids. In particular, it has been shown that there exists a 2-identifying code in the square grid with density $5/29 \approx 0.172$ and that there are no 2-identifying codes with density smaller than $3/20 = 0.15$. Recently, the lower bound has been improved to $6/37 \approx 0.162$ by Martin and Stanton (2010). In this paper, we further improve the lower bound by showing that there are no 2-identifying codes in the square grid with density smaller than $6/35 \approx 0.171$.
On maximum matchings in almost regular graphs
Published
• View Publication
• BIB
In 2010, Mkrtchyan, Petrosyan and Vardanyan proved that every graph $G$ with $2\leq δ(G)\leq Δ(G)\leq 3$ contains a maximum matching whose unsaturated vertices do not have a common neighbor, where $Δ(G)$ and $δ(G)$ denote the maximum and minimum degrees of vertices in $G$, respectively. In the same paper they suggested the following conjecture: every graph $G$ with $Δ(G)-δ(G)\leq 1$ contains a maximum matching whose unsaturated vertices do not have a common neighbor. Recently, Picouleau disproved this conjecture by constructing a bipartite counterexample $G$ with $Δ(G)=5$ and $δ(G)=4$. In this note we show that the conjecture is false for graphs $G$ with $Δ(G)-δ(G)=1$ and $Δ(G)\geq 4$, and for $r$-regular graphs when $r\geq 7$.
Monomial Resolutions Supported By Simplicial Trees
Published
• View Publication
• BIB
We explore resolutions of monomial ideals supported by simplicial trees. We argue that since simplicial trees are acyclic, the criterion of Bayer, Peeva and Sturmfels for checking if a simplicial complex supports a free resolution of a monomial ideal reduces to checking that certain induced subcomplexes are connected. We then use results of Peeva and Velasco to show that every simplicial tree appears as the Scarf complex of a monomial ideal, and hence supports a minimal resolution. We also provide a way to construct smaller Scarf ideals than those constructed by Peeva and Velasco.
Bipartite graphs related to mutually disjoint S-permutation matrices
Published in ISRN Discrete Mathematics, Volume 2012, Article ID 384068
• View Publication
• BIB
Some numerical characteristics of bipartite graphs in relation to the problem of finding all disjoint pairs of S-permutation matrices in the general $n^2 \times n^2$ case are discussed in this paper. All bipartite graphs of the type $g=<R_g \cup C_g, E_g>$, where $|R_g |=|C_g |=2$ or $|R_g |=|C_g |=3$ are provided. The cardinality of the sets of mutually disjoint S-permutation matrices in both the $4 \times 4$ and $9 \times 9$ cases are calculated.