Showing 20 papers (Total: 83190 papers, 48060 authors in database)
A Variant $β$-Wythoff Nim on Beatty's Theorem
We give short rules for two-pile take-away games satisfying that a pair of complementary homogeneous Beatty sequences together with $(0,0)$ constitute a complete set of $P$-positions.
Characterization of n-Vertex Graphs with Metric Dimension n-3
Published
• View Publication
• BIB
For an ordered set $W=\{w_1,w_2,...,w_k\}$ of vertices and a vertex $v$ in a connected graph $G$, the ordered $k$-vector $r(v|W):=(d(v,w_1),d(v,w_2),...,d(v,w_k))$ is called the (metric) representation of $v$ with respect to $W$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The set $W$ is called a resolving set for $G$ if distinct vertices of $G$ have distinct representations with respect to $W$. The minimum cardinality of a resolving set for $G$ is its metric dimension. In this paper, we characterize all graphs of order $n$ with metric dimension $n-3$.
New results on D-optimal Matrices
Published in J. Combin. Designs 20: 278--289, 2012
• View Publication
• BIB
We construct a number of new (v;r,s;lambda) supplementary difference sets (SDS) with v odd and lambda = (r+s)-(v-1)/2. In particular, these give rise to D-optimal matrices of the four new orders 206, 242, 262, 482 constructed here for the first time.
On a conjecture of polynomials with prescribed range
We show that, for any integer $\ell$ with $q-\sqrt{p} -1 \leq \ell < q-3$ where $q=p^n$ and $p>9$, there exists a multiset $M$ satisfying that $0\in M$ has the highest multiplicity $\ell$ and $\sum_{b\in M} b =0$ such that every polynomial over finite fields $\fq$ with the prescribed range $M$ has degree greater than $\ell$. This implies that Conjecture 5.1. in \cite{gac} is false over finite field $\fq$ for $p > 9$ and $k:=q-\ell -1 \geq 3$.
On symmetric quadrangulations and triangulations
Published
• View Publication
• BIB
This article presents new enumerative results related to symmetric planar maps. In the first part a new way of enumerating rooted simple quadrangulations and rooted simple triangulations is presented, based on the description of two different quotient operations on symmetric simple quadrangulations and triangulations. In the second part, based on results of Bouttier, Di Francesco and Guitter and on quotient and substitution operations, the series of three families of symmetric quadrangular and triangular dissections of polygons are computed, with control on the distance from the central vertex to the outer boundary.
Constraint satisfaction problems in clausal form
Published in Fundamenta Informaticae, 2011, 109(1): pages 27-81, 83-119
• View Publication
• BIB
This is the report-version of a mini-series of two articles on the foundations of satisfiability of conjunctive normal forms with non-boolean variables, to appear in Fundamenta Informaticae, 2011. These two parts are here bundled in one report, each part yielding a chapter.
Generalised conjunctive normal forms are considered, allowing literals of the form "variable not-equal value". The first part sets the foundations for the theory of autarkies, with emphasise on matching autarkies. Main results concern various polynomial time results in dependency on the deficiency. The second part considers translations to boolean clause-sets and irredundancy as well as minimal unsatisfiability. Main results concern classification of minimally unsatisfiable clause-sets and the relations to the hermitian rank of graphs. Both parts contain also discussions of many open problems.
The Metric Dimension of Lexicographic Product of Graphs
Published
• View Publication
• BIB
For an ordered set $W=\{w_1,w_2,...,w_k\}$ of vertices and a vertex $v$ in a connected graph $G$, the ordered $k$-vector $r(v|W):=(d(v,w_1),d(v,w_2),...,d(v,w_k))$ is called the (metric) representation of $v$ with respect to $W$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The set $W$ is called a resolving set for $G$ if distinct vertices of $G$ have distinct representations with respect to $W$. The minimum cardinality of a resolving set for $G$ is its metric dimension. In this paper, we study the metric dimension of the lexicographic product of graphs $G$ and $H$, $G[H]$. First, we introduce a new parameter which is called adjacency metric dimension of a graph. Then, we obtain the metric dimension of $G[H]$ in terms of the order of $G$ and the adjacency metric dimension of $H$.
Polyhedral graph abstractions and an approach to the Linear Hirsch Conjecture
Published
• View Publication
• BIB
We introduce a new combinatorial abstraction for the graphs of polyhedra. The new abstraction is a flexible framework defined by combinatorial properties, with each collection of properties taken providing a variant for studying the diameters of polyhedral graphs. One particular variant has a diameter which satisfies the best known upper bound on the diameters of polyhedra. Another variant has superlinear asymptotic diameter, and together with some combinatorial operations, gives a concrete approach for disproving the Linear Hirsch Conjecture.
Nordhaus-Gaddum-type theorem for the rainbow vertex-connection number of a graph
A vertex-colored graph $G$ is rainbow vertex-connected if any pair of distinct vertices are connected by a path whose internal vertices have distinct colors. The rainbow vertex-connection number of $G$, denoted by $rvc(G)$, is the minimum number of colors that are needed to make $G$ rainbow vertex-connected. In this paper we give a Nordhaus-Gaddum-type result of the rainbow vertex-connection number. We prove that when $G$ and $\bar{G}$ are both connected, then $2\leq rvc(G)+rvc(\bar{G})\leq n-1$. Examples are given to show that both the upper bound and the lower bound are best possible for all $n\geq 5$.
Electrical networks and Lie theory
Published in Algebra Number Theory 9 (2015) 1401-1418
• View Publication
• BIB
We introduce a new class of "electrical" Lie groups. These Lie groups, or more precisely their nonnegative parts, act on the space of planar electrical networks via combinatorial operations previously studied by Curtis-Ingerman-Morrow. The corresponding electrical Lie algebras are obtained by deforming the Serre relations of a semisimple Lie algebra in a way suggested by the star-triangle transformation of electrical networks. Rather surprisingly, we show that the type A electrical Lie group is isomorphic to the symplectic group. The nonnegative part (EL_{2n})_{\geq 0} of the electrical Lie group is a rather precise analogue of the totally nonnegative subsemigroup (U_{n})_{\geq 0} of the unipotent subgroup of SL_{n}. We establish decomposition and parametrization results for (EL_{2n})_{\geq 0}, paralleling Lusztig's work in total nonnegativity, and work of Curtis-Ingerman-Morrow and de Verdière-Gitler-Vertigan for networks. Finally, we suggest a generalization of electrical Lie algebras to all Dynkin types.
Sublattices of associahedra and permutohedra
Published
• View Publication
• BIB
Grätzer asked in 1971 for a characterization of sublattices of Tamari lattices (associahedra). A natural candidate was coined by McKenzie in 1972 with the notion of a bounded homomorphic image of a free lattice---in short, bounded lattice. Urquhart proved in 1978 that every associahedron is bounded (thus so are its sublattices). Geyer conjectured in 1994 that every finite bounded lattice embeds into some associahedron. We disprove Geyer's conjecture, by introducing an infinite collection of lattice-theoretical identities that hold in every associahedron, but not in every finite bounded lattice. Among those finite counterexamples, there are the permutohedron on four letters P(4), and in fact two of its subdirectly irreducible retracts, which are Cambrian lattices of type A. For natural numbers m and n, we denote by B(m,n) the (bounded) lattice obtained by doubling a join of m atoms in an (m+n)-atom Boolean lattice. We prove that B(m,n) embeds into an associahedron iff min(m,n) is less than or equal to 1, and that B(m,n) embeds into a permutohedron iff min(m,n) is less than or equal to 2. In particular, B(3,3) cannot be embedded into any permutohedron. Nevertheless we prove that B(3,3) is a homomorphic image of a sublattice of the permutohedron on 12 letters.
A Fractional Analogue of Brooks' Theorem
Published
• View Publication
• BIB
Let $Δ(G)$ be the maximum degree of a graph $G$. Brooks' theorem states that the only connected graphs with chromatic number $χ(G)=Δ(G)+1$ are complete graphs and odd cycles. We prove a fractional analogue of Brooks' theorem in this paper. Namely, we classify all connected graphs $G$ such that the fractional chromatic number $χ_f(G)$ is at least $Δ(G)$. These graphs are complete graphs, odd cycles, $C^2_8$, $C_5\boxtimes K_2$, and graphs whose clique number $ω(G)$ equals the maximum degree $Δ(G)$. Among the two sporadic graphs, the graph $C^2_8$ is the square graph of cycle $C_8$ while the other graph $C_5\boxtimes K_2$ is the strong product of $C_5$ and $K_2$. In fact, we prove a stronger result; if a connected graph $G$ with $Δ(G)\geq 4$ is not one of the graphs listed above, then we have $χ_f(G)\leq Δ(G)- 2/67$.
On double Hurwitz numbers with completed cycles
Published in J. Lond. Math. Soc. (2) 86 (2012), no. 2, 407--432
• View Publication
• BIB
In this paper, we collect a number of facts about double Hurwitz numbers, where the simple branch points are replaced by their more general analogues --- completed (r+1)-cycles. In particular, we give a geometric interpretation of these generalised Hurwitz numbers and derive a cut-and-join operator for completed (r+1)-cycles. We also prove a strong piecewise polynomiality property in the sense of Goulden-Jackson-Vakil. In addition, we propose a conjectural ELSV/GJV-type formula, that is, an expression in terms of some intrinsic combinatorial constants that might be related to the intersection theory of some analogues of the moduli space of curves. The structure of these conjectural "intersection numbers" is discussed in detail.
Diameters of random circulant graphs
Published
• View Publication
• BIB
The diameter of a graph measures the maximal distance between any pair of vertices. The diameters of many small-world networks, as well as a variety of other random graph models, grow logarithmically in the number of nodes. In contrast, the worst connected networks are cycles whose diameters increase linearly in the number of nodes. In the present study we consider an intermediate class of examples: Cayley graphs of cyclic groups, also known as circulant graphs or multi-loop networks. We show that the diameter of a random circulant 2k-regular graph with n vertices scales as n^{1/k}, and establish a limit theorem for the distribution of their diameters. We obtain analogous results for the distribution of the average distance and higher moments.
Translational tilings by a polytope, with multiplicity
Published
• View Publication
• BIB
We study the problem of covering R^d by overlapping translates of a convex body P, such that almost every point of R^d is covered exactly k times. Such a covering of Euclidean space by translations is called a k-tiling. The investigation of tilings (i.e. 1-tilings in this context) by translations began with the work of Fedorov and Minkowski. Here we extend the investigations of Minkowski to k-tilings by proving that if a convex body k-tiles R^d by translations, then it is centrally symmetric, and its facets are also centrally symmetric. These are the analogues of Minkowski's conditions for 1-tiling polytopes. Conversely, in the case that P is a rational polytope, we also prove that if P is centrally symmetric and has centrally symmetric facets, then P must k-tile R^d for some positive integer k.
On Randomly k-Dimensional Graphs
Published
• View Publication
• BIB
For an ordered set $W=\{w_1,w_2,...,w_k\}$ of vertices and a vertex $v$ in a connected graph $G$, the ordered $k$-vector $r(v|W):=(d(v,w_1),d(v,w_2),...,d(v,w_k))$ is called the (metric) representation of $v$ with respect to $W$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The set $W$ is called a resolving set for $G$ if distinct vertices of $G$ have distinct representations with respect to $W$. A resolving set for $G$ with minimum cardinality is called a basis of $G$ and its cardinality is the metric dimension of $G$.
A connected graph $G$ is called randomly $k$-dimensional graph if each $k$-set of vertices of $G$ is a basis of $G$. In this paper, we study randomly $k$-dimensional graphs and provide some properties of these graphs.
The Shi arrangements and the Bernoulli polynomials
Published in Bulletin of London Mathematics Society, 44 (2012), 563-570
• View Publication
• BIB
The braid arrangement is the Coxeter arrangement of the type $A_\ell$. The Shi arrangement is an affine arrangement of hyperplanes consisting of the hyperplanes of the braid arrangement and their parallel translations. In this paper, we give an explicit basis construction for the derivation module of the cone over the Shi arrangement. The essential ingredient of our recipe is the Bernoulli polynomials.
A q-analog of Ljunggren's binomial congruence
Published
• View Publication
• BIB
We prove a $q$-analog of a classical binomial congruence due to Ljunggren which states that \[ \binom{a p}{b p} \equiv \binom{a}{b} \] modulo $p^3$ for primes $p\ge5$. This congruence subsumes and builds on earlier congruences by Babbage, Wolstenholme and Glaisher for which we recall existing $q$-analogs. Our congruence generalizes an earlier result of Clark.
The cavity method for counting spanning subgraphs subject to local constraints
Using the theory of negative association for measures and the notion of random weak limits of sparse graphs, we establish the validity of the cavity method for counting spanning subgraphs subject to local constraints in asymptotically tree-like graphs. Specifically, the corresponding free entropy density is shown to converge along any sequence of graphs whose random weak limit is a tree, and the limit is directly expressed in terms of the unique solution to a limiting cavity equation. On a Galton-Watson tree, the latter simplifies into a recursive distributional equation which can be solved explicitely. As an illustration, we provide an explicit-limit formula for the $b-$matching number of an Erdős-Rényi random graph with fixed average degree and diverging size, for any $b\in\mathbb N$.
Auspicious tatami mat arrangements
Published
• View Publication
• BIB
An \emph{auspicious tatami mat arrangement} is a tiling of a rectilinear region with two types of tiles, $1 \times 2$ tiles (dimers) and $1 \times 1$ tiles (monomers). The tiles must cover the region and satisfy the constraint that no four corners of the tiles meet; such tilings are called \emph{tatami tilings}. The main focus of this paper is when the rectilinear region is a rectangle. We provide a structural characterization of rectangular tatami tilings and use it to prove that the tiling is completely determined by the tiles that are on its border. We prove that the number of tatami tilings of an $n \times n$ square with $n$ monomers is $n2^{n-1}$. We also show that, for fixed-height, the generating function for the number of tatami tilings of a rectangle is a rational function, and outline an algorithm that produces the generating function.