Showing 20 papers (Total: 83190 papers, 48060 authors in database)
The limit as p -> infinity of the Hilbert-Kunz multiplicity of sum(x_i^(d_i))
Let p be a prime. The Hilbert-Kunz multiplicity, mu, of the element sum(x_i^(d_i)) of (Z/p)[x_1,..., x_s] depends on p in a complicated way. We calculate the limit of mu as p -> infinity. In particular when each d_i is 2 we show that the limit is 1 + the coefficient of z^(s-1) in the power series expansion of sec z + tan z.
Double-dimer pairings and skew Young diagrams
Published in Electronic Journal of Combinatorics 18(1) #P130, 2011
• View Publication
• BIB
We study the number of tilings of skew Young diagrams by ribbon tiles shaped like Dyck paths, in which the tiles are "vertically decreasing". We use these quantities to compute pairing probabilities in the double-dimer model: Given a planar bipartite graph $G$ with special vertices, called nodes, on the outer face, the double-dimer model is formed by the superposition of a uniformly random dimer configuration (perfect matching) of $G$ together with a random dimer configuration of the graph formed from $G$ by deleting the nodes. The double-dimer configuration consists of loops, doubled edges, and chains that start and end at the boundary nodes. We are interested in how the chains connect the nodes. An interesting special case is when the graph is $ε(\Z\times\N)$ and the nodes are at evenly spaced locations on the boundary $\R$ as the grid spacing $ε\to 0$.
Factorization of banded permutations
Published
• View Publication
• BIB
We consider the factorization of permutations into bandwidth 1 permutations, which are products of mutually nonadjacent simple transpositions. We exhibit an upper bound on the minimal number of such factors and thus prove a conjecture of Gilbert Strang: a banded permutation of bandwidth $w$ can be represented as the product of at most $2w-1$ permutations of bandwidth 1. An analogous result holds also for infinite and cyclically banded permutations.
Digraphs from Endomorphisms of Finite Cyclic Groups
We associate each endomorphism of a finite cyclic group with a digraph and study many properties of this digraph, including its adjacent matrix and automorphism group.
Vsep-New Heuristic and Exact Algorithms for Graph Automorphism Group Computation
Published
• View Publication
• BIB
One exact and two heuristic algorithms for determining the generators, orbits and order of the graph automorphism group are presented. A basic tool of these algorithms is the well-known individualization and refinement procedure. A search tree is used in the algorithms - each node of the tree is a partition. All nonequivalent discreet partitions derivative of the selected vertices are stored in a coded form. A new strategy is used in the exact algorithm: if during its execution some of the searched or intermediate variables obtain a wrong value then the algorithm continues from a new start point losing some of the results determined so far. The algorithms has been tested on one of the known benchmark graphs and shows lower running times for some graph families. The heuristic versions of the algorithms are based on determining some number of discreet partitions derivative of each vertex in the selected cell of the initial partition and comparing them for an automorphism - their search trees are reduced. The heuristic algorithms are almost exact and are many times faster than the exact one. The experimental tests exhibit that the worst-cases running time of the exact algorithm is exponential but it is polynomial for the heuristic algorithms. Several cell selectors are used. Some of them are new. We also use a chooser of cell selector for choosing the optimal cell selector for the manipulated graph. The proposed heuristic algorithms use two main heuristic procedures that generate two different forests of search trees.
Lower Bounds for the Cop Number When the Robber is Fast
Published in Combinatorics, Probability and Computing (2011) 20, 617-621
• View Publication
• BIB
We consider a variant of the Cops and Robbers game where the robber can move t edges at a time, and show that in this variant, the cop number of a d-regular graph with girth larger than 2t+2 is Omega(d^t). By the known upper bounds on the order of cages, this implies that the cop number of a connected n-vertex graph can be as large as Omega(n^{2/3}) if t>1, and Omega(n^{4/5}) if t>3. This improves the Omega(n^{(t-3)/(t-2)}) lower bound of Frieze, Krivelevich, and Loh (Variations on Cops and Robbers, J. Graph Theory, 2011) when 1<t<7. We also conjecture a general upper bound O(n^{t/t+1}) for the cop number in this variant, generalizing Meyniel's conjecture.
Vertex-Coloring 2-Edge-Weighting of Graphs
Published
• View Publication
• BIB
A $k$-{\it edge-weighting} $w$ of a graph $G$ is an assignment of an integer weight, $w(e)\in \{1,\dots, k\}$, to each edge $e$. An edge weighting naturally induces a vertex coloring $c$ by defining $c(u)=\sum_{u\sim e} w(e)$ for every $u \in V(G)$. A $k$-edge-weighting of a graph $G$ is \emph{vertex-coloring} if the induced coloring $c$ is proper, i.e., $c(u) \neq c(v)$ for any edge $uv \in E(G)$.
Given a graph $G$ and a vertex coloring $c_0$, does there exist an edge-weighting such that the induced vertex coloring is $c_0$? We investigate this problem by considering edge-weightings defined on an abelian group.
It was proved that every 3-colorable graph admits a vertex-coloring $3$-edge-weighting \cite{KLT}. Does every 2-colorable graph (i.e., bipartite graphs) admit a vertex-coloring 2-edge-weighting? We obtain several simple sufficient conditions for graphs to be vertex-coloring 2-edge-weighting. In particular, we show that 3-connected bipartite graphs admit vertex-coloring 2-edge-weighting.
A Counting Proof of the Graham Pollak Theorem
Published
• View Publication
• BIB
We give a counting based proof of the Graham Pollak Theorem
Linear Choosability of Sparse Graphs
Published in Discrete Math. Vol. 311, no. 17, 2011, pp. 1910-1917
• View Publication
• BIB
We study the linear list chromatic number, denoted $\lcl(G)$, of sparse graphs. The maximum average degree of a graph $G$, denoted $\mad(G)$, is the maximum of the average degrees of all subgraphs of $G$. It is clear that any graph $G$ with maximum degree $Δ(G)$ satisfies $\lcl(G)\ge \ceil{Δ(G)/2}+1$. In this paper, we prove the following results: (1) if $\mad(G)<12/5$ and $Δ(G)\ge 3$, then $\lcl(G)=\ceil{Δ(G)/2}+1$, and we give an infinite family of examples to show that this result is best possible; (2) if $\mad(G)<3$ and $Δ(G)\ge 9$, then $\lcl(G)\le\ceil{Δ(G)/2}+2$, and we give an infinite family of examples to show that the bound on $\mad(G)$ cannot be increased in general; (3) if $G$ is planar and has girth at least 5, then $\lcl(G)\le\ceil{Δ(G)/2}+4$.
Lattices freely generated by posets within a variety. Part II: Finitely generated varieties
This article is the second part of an essay dedicated to lattices freely generated by posets within a variety. The first part dealt with four easy varieties while this part is concerned with finitely generated varieties. Here we present a method of constructing a subdirect product L of a finite family F of finite lattices, exploiting a set of special elements of L deducted from F. This method is applied to free lattices generated by posets within finitely generated varieties, where in the case of the variety of modular lattices, we elaborate an efficient algorithm to compute the modular lattice M freely generated by a poset. For some posets of order six, the cardinality of M is listed.
Coloring dense graphs via VC-dimension
The Vapnik-Červonenkis dimension is a complexity measure of set-systems, or hypergraphs. Its application to graphs is usually done by considering the sets of neighborhoods of the vertices (cf. Alon et al. (2006) and Chepoi, Estellon, and Vaxes (2007)), hence providing a set-system. But the graph structure is lost in the process. The aim of this paper is to introduce the notion of paired VC-dimension, a generalization of VC-dimension to set-systems endowed with a graph structure, hence a collection of pairs of subsets.
The classical VC-theory is generally used in combinatorics to bound the transversality of a hypergraph in terms of its fractional transversality and its VC-dimension. Similarly, we bound the chromatic number in terms of fractional transversality and paired VC-dimension. This approach turns out to be very useful for a class of problems raised by Erdős and Simonovits (1973) asking for H-free graphs with minimum degree at least cn and arbitrarily high chromatic number, where H is a fixed graph and c a positive constant.
We show how the usual VC-dimension gives a short proof of the fact that triangle-free graphs with minimum degree at least n/3 have bounded chromatic number, where $n$ is the number of vertices. Using paired VC-dimension, we prove that if the chromatic number of $H$-free graphs with minimum degree at least cn is unbounded for some positive c, then it is unbounded for all c<1/3. In other words, one can find H-free graphs with unbounded chromatic number and minimum degree arbitrarily close to n/3. These H-free graphs are derived from a construction of Hajnal. The large chromatic number follows from the Borsuk-Ulam Theorem.
Functorial relationships between quantum cohomology of complete and partial flag varieties
Published
• View Publication
• BIB
We give a natural filtration F on quantum cohomology QH(G/B) of G/B, which respects the quantum product structure. Its associated graded algebra is isomorphic to the tensor product of QH(G/P) and a corresponding graded algebra of QH(P/B) after localization. When the quantum parameter goes to zero, this specializes to the filtration on the classical cohomology H(G/B) from the Leray spectral sequence associated to the fibration P/B --> G/B --> G/P.
A bijection for triangulations, quadrangulations, pentagulations, etc
Published in Journal of Combinatorial Theory, Series A 119, 1 (2012) 218-244
• View Publication
• BIB
A $d$-angulation is a planar map with faces of degree $d$. We present for each integer $d\geq 3$ a bijection between the class of $d$-angulations of girth $d$ (i.e., with no cycle of length less than $d$) and a class of decorated plane trees. Each of the bijections is obtained by specializing a "master bijection" which extends an earlier construction of the first author. Our construction unifies known bijections by Fusy, Poulalhon and Schaeffer for triangulations ($d=3$) and by Schaeffer for quadrangulations ($d=4$). For $d\geq 5$, both the bijections and the enumerative results are new. We also extend our bijections so as to enumerate \emph{$p$-gonal $d$-angulations} ($d$-angulations with a simple boundary of length $p$) of girth $d$. We thereby recover bijectively the results of Brown for simple $p$-gonal triangulations and simple $2p$-gonal quadrangulations and establish new results for $d\geq 5$. A key ingredient in our proofs is a class of orientations characterizing $d$-angulations of girth $d$. Earlier results by Schnyder and by De Fraysseix and Ossona de Mendez showed that simple triangulations and simple quadrangulations are characterized by the existence of orientations having respectively indegree 3 and 2 at each inner vertex. We extend this characterization by showing that a $d$-angulation has girth $d$ if and only if the graph obtained by duplicating each edge $d-2$ times admits an orientation having indegree $d$ at each inner vertex.
L-factors and adjacent vertex-distinguishing edge-weighting
An edge weighting problem of a graph G is an assignment of an integer weight to each edge e. Based on edge weighting problem, several types of vertex-coloring problems are put forward. A simple observation illuminates that edge weighting problem has a close relationship with special factors of graphs. In this paper, we obtain several results on the existence of factors with the pre-specified degrees, which generalizes earlier results in [2, 3]. Using these results, we investigate edge-weighting problem. In particular, we prove that every 4-colorable graph admits a vertex-coloring 4-edge-weighting.
On belief propagation guided decimation for random k-SAT
Published in Proc. 22nd SODA (2011) 957 - 966
• View Publication
• BIB
Let F be a uniformly distributed random k-SAT formula with n variables and m clauses. Non-constructive arguments show that F is satisfiable for clause/variable ratios m/n< r(k)~2^k ln 2 with high probability. Yet no efficient algorithm is know to find a satisfying assignment for densities as low as m/n r(k).ln(k)/k with a non-vanishing probability. In fact, the density m/n r(k).ln(k)/k seems to form a barrier for a broad class of local search algorithms. One of the very few algorithms that plausibly seemed capable of breaking this barrier is a message passing algorithm called Belief Propagation Guided Decimation. It was put forward on the basis of deep but non-rigorous statistical mechanics considerations. Experiments conducted for k=3,4,5 suggested that the algorithm might succeed for densities very close to r_k. Furnishing the first rigorous analysis of BP decimation, the present paper shows that the algorithm fails to find a satisfying assignment already for m/n>c.r(k)/k, for a constant c>0 (independent of k).
Approximation by the Dickman distribution and quasi-logarithmic combinatorial structures
Published
• View Publication
• BIB
Quasi-logarithmic combinatorial structures are a class of decomposable combinatorial structures which extend the logarithmic class considered by Arratia, Barbour and Tavaré (2003). In order to obtain asymptotic approximations to their component spectrum, it is necessary first to establish an approximation to the sum of an associated sequence of independent random variables in terms of the Dickman distribution. This in turn requires an argument that refines the Mineka coupling by incorporating a blocking construction, leading to exponentially sharper coupling rates for the sums in question. Applications include distributional limit theorems for the size of the largest component and for the vector of counts of the small components in a quasi-logarithmic combinatorial structure.
The largest singletons in weighted set partitions and its applications
Published
• View Publication
• BIB
Recently, Deutsch and Elizalde studied the largest and the smallest fixed points of permutations. Motivated by their work, we consider the analogous problems in weighted set partitions. Let $A_{n,k}(\mathbf{t})$ denote the total weight of partitions on $[n+1]$ with the largest singleton $\{k+1\}$. In this paper, explicit formulas for $A_{n,k}(\mathbf{t})$ and many combinatorial identities involving $A_{n,k}(\mathbf{t})$ are obtained by umbral operators and combinatorial methods. As applications, we investigate three special cases such as permutations, involutions and labeled forests. Particularly in the permutation case, we derive a surprising identity analogous to the Riordan identity related to tree enumerations, namely, \begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}D_{k+1}(n+1)^{n-k} &=& n^{n+1}, \end{eqnarray*} where $D_{k}$ is the $k$-th derangement number or the number of permutations of $\{1,2,\dots, k\}$ with no fixed points.
$λ$-factorials of $n$
Published
• View Publication
• BIB
Recently, by the Riordan's identity related to tree enumerations, \begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}(k+1)!(n+1)^{n-k} &=& (n+1)^{n+1}, \end{eqnarray*} Sun and Xu derived another analogous one, \begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}D_{k+1}(n+1)^{n-k} &=& n^{n+1}, \end{eqnarray*} where $D_{k}$ is the number of permutations with no fixed points on $\{1,2,\dots, k\}$. In the paper, we utilize the $λ$-factorials of $n$, defined by Eriksen, Freij and W$\ddot{a}$stlund, to give a unified generalization of these two identities. We provide for it a combinatorial proof by the functional digraph theory and another two algebraic proofs. Using the umbral representation of our generalized identity and the Abel's binomial formula, we deduce several properties for $λ$-factorials of $n$ and establish the curious relations between the generating functions of general and exponential types for any sequence of numbers or polynomials.
The largest singletons of set partitions
Published
• View Publication
• BIB
Recently, Deutsch and Elizalde studied the largest and the smallest fixed points of permutations. Motivated by their work, we consider the analogous problems in set partitions. Let $A_{n,k}$ denote the number of partitions of $\{1,2,\dots, n+1\}$ with the largest singleton $\{k+1\}$ for $0\leq k\leq n$. In this paper, several explicit formulas for $A_{n,k}$, involving a Dobinski-type analog, are obtained by algebraic and combinatorial methods, many combinatorial identities involving $A_{n,k}$ and Bell numbers are presented by operator methods, and congruence properties of $A_{n,k}$ are also investigated. It will been showed that the sequences $(A_{n+k,k})_{n\geq 0}$ and $(A_{n+k,k})_{k\geq 0}$ (mod $p$) are periodic for any prime $p$, and contain a string of $p-1$ consecutive zeroes. Moreover their minimum periods are conjectured to be $N_p=\frac{p^p-1}{p-1}$ for any prime $p$.
Finiteness in the Card Game of War
Published in American Math. Monthly, 119:4, pp/318-323, 2012
• View Publication
• BIB
The game of war is one of the most popular international children's card games. In the beginning of the game, the pack is split into two parts, then on each move the players reveal their top cards. The player having the highest card collects both and returns them to the bottom of his hand. The player left with no cards loses. Those who played this game in their childhood did not always have enough patience to wait until the end of the game. A player who has collected almost all the cards can lose all but a few cards in the next 3 minutes. That way the children essentially conduct mathematical experiments observing chaotic dynamics. However, it is not quite so, as the rules of the game do not prescribe the order in which the winning player will put his take to the bottom of his hand: own card, then rival's or vice versa: rival's card, then own. We provide an example of a cycling game with fixed rules. Assume now that each player can seldom but regularly change the returning order. We have managed to prove that in this case the mathematical expectation of the length of the game is finite. In principle it is equivalent to the graph of the game, which has got edges corresponding to all acceptable transitions, having got the following property: from each initial configuration there is at least one path to the end of the game.