Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Matching measure, Benjamini-Schramm convergence and the monomer-dimer free energy
Published
• View Publication
• BIB
We define the matching measure of a lattice L as the spectral measure of the tree of self-avoiding walks in L. We connect this invariant to the monomer-dimer partition function of a sequence of finite graphs converging to L.
This allows us to express the monomer-dimer free energy of L in terms of the measure. Exploiting an analytic advantage of the matching measure over the Mayer series then leads to new, rigorous bounds on the monomer-dimer free energies of various Euclidean lattices. While our estimates use only the computational data given in previous papers, they improve the known bounds significantly.
T-systems and the pentagram map
Published
• View Publication
• BIB
These notes summarize two different connections between two discrete integrable systems, the $A_d$ $T$-system and its infinite-rank analog, the octahedron relation, and the pentagram map and its various generalizations.
Infinite log-concavity for polynomial Pólya frequency sequences
Published
• View Publication
• BIB
McNamara and Sagan conjectured that if $a_0,a_1, a_2, \ldots$ is a Pólya frequency (PF) sequence, then so is $a_0^2, a_1^2 -a_0a_2, a_2^2-a_1a_3, \ldots$. We prove this conjecture for a natural class of PF-sequences which are interpolated by polynomials. In particular, this proves that the columns of Pascal's triangle are infinitely log-concave, as conjectured by McNamara and Sagan. We also give counterexamples to the first mentioned conjecture.
Our methods provide families of nonlinear operators that preserve the property of having only real and non-positive zeros.
Free filtrations of affine Weyl arrangements and the ideal-Shi arrangements
Published in J. Algebraic Combin. 43 (2016), 33-44
• View Publication
• BIB
In this article we prove that the ideal-Shi arrangements are free central arrangements of hyperplanes satisfying the dual-partition formula. Then it immediately follows that there exists a saturated free filtration of the cone of any affine Weyl arrangement such that each filter is a free subarrangement satisfying the dual-partition formula. This generalizes the main result in \cite{ABCHT} which affirmatively settled a conjecture by Sommers and Tymoczko \cite{SomTym}.
Exact values for the Grundy number of some graphs
The Grundy number of a graph G is the maximum number k of colors used to color the vertices of G such that the coloring is proper and every vertex x colored with color i, is adjacent to (i - 1) vertices colored with each color j, In this paper we give bounds for the Grundy number of some graphs and Cartesian products of graphs. In particular, we determine an exact value of this parameter for n-dimensional meshes and some n-dimensional toroidal meshes. Finally, we present an algorithm to generate all graphs for a given Grundy number
On the Number of cycles in a Graph
Published
• View Publication
• BIB
In this paper, we obtain explicit formulae for the number of 7-cycles and the total number of paths of lengths 6 and 7 those contain a specific vertex $v_{i}$ in a simple graph G, in terms of the adjacency matrix and with the help of combinatorics.
Structure of the largest idempotent-product free sequences in semigroups
Published
• View Publication
• BIB
Let $\mathcal{S}$ be a finite semigroup, and let $E(\mathcal{S})$ be the set of all idempotents of $\mathcal{S}$. Gillam, Hall and Williams proved in 1972 that every $\mathcal{S}$-valued sequence $T$ of length at least $|\mathcal{S}|-|E(\mathcal{S})|+1$ is not (strongly) idempotent-product free, in the sense that it contains a nonempty subsequence the product of whose terms, in their natural order in $T$, is an idempotent, which affirmed a question of Erdős. They also showed that the value $|\mathcal{S}|-|E(\mathcal{S})|+1$ is best possible.
Here, motivated by Gillam, Hall and Williams' work, we determine the structure of the idempotent-product free sequences of length $|\mathcal{S}\setminus E(\mathcal{S})|$ when the semigroup $\mathcal{S}$ (not necessarily finite) satisfies $|\mathcal{S}\setminus E(\mathcal{S})|$ is finite, and we introduce a couple of structural constants for semigroups that reduce to the classical Davenport constant in the case of finite abelian groups.
2D Toda τ-functions as combinatorial generating functions
Published in Lett. Math. Phys. 105, 827-852 (2015)
• View Publication
• BIB
Two methods of constructing 2D Toda $τ$-functions that are generating functions for certain geometrical invariants of a combinatorial nature are related. The first involves generation of paths in the Cayley graph of the symmetric group $S_n$ by multiplication of the conjugacy class sums $C_λ\in C[S_n]$ in the group algebra by elements of an abelian group of central elements. Extending the characteristic map to the tensor product $C[S_n]\otimes C[S_n]$ leads to double expansions in terms of power sum symmetric functions, in which the coefficients count the number of such paths. Applying the same map to sums over the orthogonal idempotents leads to diagonal double Schur function expansions that are identified as $τ$-functions of hypergeometric type. The second method is the standard construction of $τ$-functions as vacuum state matrix elements of products of vertex operators in a fermionic Fock space with elements of the abelian group of convolution symmetries. A homomorphism between these two group actions is derived and shown to be intertwined by the characteristic map composed with fermionization. Applications include Okounkov's generating function for double Hurwitz numbers, which count branched coverings of the Riemann sphere with nonminimal branching at two points, and various analogous combinatorial counting functions.
The Reciprocal Pascal Matrix
The reciprocal Pascal matrix is the Hadamard inverse of the symmetric Pascal matrix. We show that the ordinary matrix inverse of the reciprocal Pascal matrix has integer elements. The proof uses two factorizations of the matrix of super Catalan numbers.
Universal and Overlap Cycles for Posets, Words, and Juggling Patterns
Published
• View Publication
• BIB
We discuss results dealing with universal cycles (u-cycles) and $s$-overlap cycles, and contribute to the body of those results by proving existence of universal cycles of naturally labeled posets (NL posets), $s$-overlap cycles of words of weight $k$, and juggling patterns. The result on posets is, to the best of our knowledge, the first demonstration of the existence of a u-cycle whose length is unknown.
Nim Fractals
We enumerate P-positions in the game of Nim in two different ways. In one series of sequences we enumerate them by the maximum number of counters in a pile. In another series of sequences we enumerate them by the total number of counters.
We show that the game of Nim can be viewed as a cellular automaton, where the total number of counters divided by 2 can be considered as a generation in which P-positions are born. We prove that the three-pile Nim sequence enumerated by the total number of counters is a famous toothpick sequence based on the Ulam-Warburton cellular automaton. We introduce 10 new sequences.
A Generalization of the Methods of Brass, Harboth, and Nieborg
In 1995, Brass, Harborth and Nienborg disproved a conjecture of Erdős when they showed that a $C_4$-free subgraph of the hypercube, $Q_n$, can have at least $(\frac 12 +ω(1))e(Q_n)$ edges. In this paper, we generalize the idea of Brass, Harborth and Nienborg to provide good constructions of $Q_3$-free subgraphs of $Q_n$ for some small values of $n$.
A necessary condition for the tightness of odd-dimensional combinatorial manifolds
Published in European J. Combin., 51:475-491, 2016
• View Publication
• BIB
We present a necessary condition for $(\ell-1)$-connected combinatorial $(2\ell +1)$-manifolds to be tight. As a corollary, we show that there is no tight combinatorial three-manifold with Betti number at most two other than the boundary of the four-simplex and the nine-vertex triangulation of the three-dimensional Klein bottle.
Lossy gossip and composition of metrics
Published in Discrete Comput. Geom. 53(4), 890-913 (2015)
• View Publication
• BIB
We study the monoid generated by n-by-n distance matrices under tropical (or min-plus) multiplication. Using the tropical geometry of the orthogonal group, we prove that this monoid is a finite polyhedral fan of dimension n(n-1)/2, and we compute the structure of this fan for n up to 5. The monoid captures gossip among n gossipers over lossy phone lines, and contains the gossip monoid over ordinary phone lines as a submonoid. We prove several new results about this submonoid, as well. In particular, we establish a sharp bound on chains of calls in each of which someone learns something new.
Minimal proper non-IRUP instances of the one-dimensional Cutting Stock Problem
Published
• View Publication
• BIB
We consider the well-known one dimensional cutting stock problem (1CSP). Based on the pattern structure of the classical ILP formulation of Gilmore and Gomory, we can decompose the infinite set of 1CSP instances, with a fixed demand n, into a finite number of equivalence classes. We show up a strong relation to weighted simple games. Studying the integer round-up property we computationally show that all 1CSP instances with $n\le 9$ are proper IRUP, while we give examples of a proper non-IRUP instances with $n=10$. A gap larger than 1 occurs for $n=11$. The worst known gap is raised from 1.003 to 1.0625. The used algorithmic approaches are based on exhaustive enumeration and integer linear programming. Additionally we give some theoretical bounds showing that all 1CSP instances with some specific parameters have the proper IRUP.
On a Problem of Harary and Schwenk on Graphs with Distinct Eigenvalues
Harary and Schwenk posed the problem forty years ago: Which graphs have distinct adjacency eigenvalues? In this paper, we obtain a necessary and sufficient condition for an Hermitian matrix with simple spectral radius and distinct eigenvalues. As its application, we give an algebraic characterization to the Harary-Schwenk's problem. As an extension of their problem, we also obtain a necessary and sufficient condition for a positive semidefinite matrix with simple least eigenvalue and distinct eigenvalues, which can provide an algebraic characterization to their problem with respect to the (normalized) Laplacian matrix.
An Integer Programming Formulation of the Minimum Common String Partition problem
Published
• View Publication
• BIB
We consider the problem of finding a minimum common partition of two strings (MCSP). The problem has its application in genome comparison. MCSP problem is proved to be NP-hard. In this paper, we develop an Integer Programming (IP) formulation for the problem and implement it. The experimental results are compared with the previous state-of-the-art algorithms and are found to be promising.
Intersection numbers for subspace designs
Published in Journal of Combinatorial Designs 23 (2015), 463-480
• View Publication
• BIB
Intersection numbers for subspace designs are introduced and $q$-analogs of the Mendelsohn and Köhler equations are given. As an application, we are able to determine the intersection structure of a putative $q$-analog of the Fano plane for any prime power $q$. It is shown that its existence implies the existence of a $2$-$(7,3,q^4)_q$ subspace design. Furthermore, several simplified or alternative proofs concerning intersection numbers of ordinary block designs are discussed.
On the largest dynamic monopolies of graphs with a given average threshold
Published
• View Publication
• BIB
Let $G$ be a graph and $τ$ be an assignment of nonnegative integer thresholds to the vertices of $G$. A subset of vertices $D$ is said to be a $τ$-dynamic monopoly, if $V(G)$ can be partitioned into subsets $D_0, D_1, \ldots, D_k$ such that $D_0=D$ and for any $i\in \{0, \ldots, k-1\}$, each vertex $v$ in $D_{i+1}$ has at least $τ(v)$ neighbors in $D_0\cup \ldots \cup D_i$. Denote the size of smallest $τ$-dynamic monopoly by $dyn_τ(G)$ and the average of thresholds in $τ$ by $\overlineτ$. We show that the values of $dyn_τ(G)$ over all assignments $τ$ with the same average threshold is a continuous set of integers. For any positive number $t$, denote the maximum $dyn_τ(G)$ taken over all threshold assignments $τ$ with $\overlineτ\leq t$, by $Ldyn_t(G)$. In fact, $Ldyn_t(G)$ shows the worst-case value of a dynamic monopoly when the average threshold is a given number $t$. We investigate under what conditions on $t$, there exists an upper bound for $Ldyn_{t}(G)$ of the form $c|G|$, where $c<1$. Next, we show that $Ldyn_t(G)$ is coNP-hard for planar graphs but has polynomial-time solution for forests.
Decay of Correlations for the Hardcore Model on the $d$-regular Random Graph
Published
• View Publication
• BIB
A key insight from statistical physics about spin systems on random graphs is the central role played by Gibbs measures on trees. We determine the local weak limit of the hardcore model on random regular graphs asymptotically until just below its condensation threshold, showing that it converges in probability locally in a strong sense to the free boundary condition Gibbs measure on the tree. As a consequence we show that the reconstruction threshold on the random graph, indicative of the onset of point to set spatial correlations, is equal to the reconstruction threshold on the $d$-regular tree for which we determine precise asymptotics. We expect that our methods will generalize to a wide range of spin systems for which the second moment method holds.