Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Matching trees for simplicial complexes and homotopy type of devoid complexes of graphs
Published
• View Publication
• BIB
We generalize some homotopy calculation techniques such as splittings and matching trees that are introduced for the computations in the case of the independence complexes of graphs to arbitrary simplicial complexes, and exemplify their efficiency on some simplicial complexes, the devoid complexes of graphs, which are simplicial complexes parametrized by graphs. Additionally, we compute the homotopy type of dominance complexes of chordal graphs.
Maximum Common Subelement Metrics and its Applications to Graphs
In this paper we characterize a mathematical model called Maximum Common Subelement (MCS) Model and prove the existence of four different metrics on such model. We generalize metrics on graphs previously proposed in the literature and identify new ones by showing three different examples of MCS Models on graphs based on (1) subgraphs, (2) induced subgraphs and (3) an extended notion of subgraphs. This latter example can be used to model graphs with complex labels (e.g., graphs whose labels are other graphs), and hence to derive metrics on them. Furthermore, we also use (3) to show that graph edit distance, when a metric, is related to a maximum common subelement in a corresponding MCS Model.
On the (n,k)-th Catalan numbers
Published in Commun. Korean Math. Soc. 23(3) (2008) 349-356
• Search Publication
In this paper, we generalize the Catalan number to the $(n,k)$-th Catalan numbers and find a combinatorial description that the $(n,k)$-th Catalan numbers is equal to the number of partitions of $n(k-1)+2$ polygon by $(k+1)$-gon where all vertices of all $(k+1)$-gons lie on the vertices of $n(k-1)+2$ polygon.
Categories generated by a trivalent vertex
Published
• View Publication
• BIB
This is the first paper in a general program to automate skein theoretic arguments. In this paper, we study skein theoretic invariants of planar trivalent graphs. Equivalently, we classify trivalent categories, which are nondegenerate pivotal tensor categories over $\mathbb C$ generated by a symmetric self-dual simple object $X$ and a rotationally invariant morphism $1 \rightarrow X \otimes X \otimes X$. Our main result is that the only trivalent categories with $\dim \operatorname{Hom}(1, X^{\otimes n})$ bounded by $1,0,1,1,4,11,40$ for $0 \leq n \leq 6$ are quantum $SO(3)$, quantum $G_2$, a one-parameter family of free products of certain Temperley-Lieb categories (which we call ABA categories), and the $H3$ Haagerup fusion category. We also prove similar results where the map $1 \rightarrow X^{\otimes 3}$ is not rotationally invariant, and we give a complete classification of nondegenerate braided trivalent categories with dimensions of invariant spaces bounded by $1,0,1,1,4$. Our main techniques are a new approach to finding skein relations which can be easily automated using Gröbner bases, and evaluation algorithms which use the discharging method developed in the proof of the $4$-color theorem.
On Partial Sums in Cyclic Groups
We are interested in ordering the elements of a subset A of the non-zero integers modulo n in such a way that all the partial sums are distinct. We conjecture that this can always be done and we prove various partial results about this problem.
Graphs with $2^n+6$ vertices and cyclic automorphism group of order $2^n$
The problem of finding upper bounds for minimal vertex number of graphs with a given automorphism group is addressed in this article for the case of cyclic $2$-groups. We show that for any natural $n\ge 2$ there is an undirected graph having $2^n+6$ vertices and automorphism group cyclic of order $2^n$. This confirms an upper bound claimed by other authors for minimal number of vertices of undirected graphs having automorphism group $\mathbb{Z}/2^n\mathbb{Z}$.
A bijection for rooted maps on general surfaces
Published in Journal of Combinatorial Theory, Series A, 145, 252-301, 2017
• View Publication
• BIB
We extend the Marcus-Schaeffer bijection between orientable rooted bipartite quadrangulations (equivalently: rooted maps) and orientable labeled one-face maps to the case of all surfaces, that is orientable and non-orientable as well. This general construction requires new ideas and is more delicate than the special orientable case, but it carries the same information. In particular, it leads to a uniform combinatorial interpretation of the counting exponent $\frac{5(h-1)}{2}$ for both orientable and non-orientable rooted connected maps of Euler characteristic $2-2h$, and of the algebraicity of their generating functions, similar to the one previously obtained in the orientable case via the Marcus-Schaeffer bijection. It also shows that the renormalization factor $n^{1/4}$ for distances between vertices is universal for maps on all surfaces: the renormalized profile and radius in a uniform random pointed bipartite quadrangulation on any fixed surface converge in distribution when the size $n$ tends to infinity. Finally, we extend the Miermont and Ambjørn-Budd bijections to the general setting of all surfaces. Our construction opens the way to the study of Brownian surfaces for any compact 2-dimensional manifold.
Probabilistic lower bounds on maximal determinants of binary matrices
Published in Australasian Journal of Combinatorics 66 (2016), 350-364
• Search Publication
Let ${\mathcal D}(n)$ be the maximal determinant for $n \times n$ $\{\pm 1\}$-matrices, and $\mathcal R(n) = {\mathcal D}(n)/n^{n/2}$ be the ratio of ${\mathcal D}(n)$ to the Hadamard upper bound. Using the probabilistic method, we prove new lower bounds on ${\mathcal D}(n)$ and $\mathcal R(n)$ in terms of $d = n-h$, where $h$ is the order of a Hadamard matrix and $h$ is maximal subject to $h \le n$. For example, $\mathcal R(n) > (πe/2)^{-d/2}$ if $1 \le d \le 3$, and $\mathcal R(n) > (πe/2)^{-d/2}(1 - d^2(π/(2h))^{1/2})$ if $d > 3$. By a recent result of Livinskyi, $d^2/h^{1/2} \to 0$ as $n \to \infty$, so the second bound is close to $(πe/2)^{-d/2}$ for large $n$. Previous lower bounds tended to zero as $n \to \infty$ with $d$ fixed, except in the cases $d \in \{0,1\}$. For $d \ge 2$, our bounds are better for all sufficiently large $n$. If the Hadamard conjecture is true, then $d \le 3$, so the first bound above shows that $\mathcal R(n)$ is bounded below by a positive constant $(πe/2)^{-3/2} > 0.1133$.
Local convergence of random graph colorings
Published
• View Publication
• BIB
Let $G=G(n,m)$ be a random graph whose average degree $d=2m/n$ is below the $k$-colorability threshold. If we sample a $k$-coloring $σ$ of $G$ uniformly at random, what can we say about the correlations between the colors assigned to vertices that are far apart? According to a prediction from statistical physics, for average degrees below the so-called {\em condensation threshold} $d_c(k)$, the colors assigned to far away vertices are asymptotically independent [Krzakala et al.: Proc. National Academy of Sciences 2007]. We prove this conjecture for $k$ exceeding a certain constant $k_0$. More generally, we investigate the joint distribution of the $k$-colorings that $σ$ induces locally on the bounded-depth neighborhoods of any fixed number of vertices. In addition, we point out an implication on the reconstruction problem.
Inductive and Recursive Freeness of Localizations of Multiarrangements
Published
• View Publication
• BIB
The class of free multiarrangements is known to be closed under taking localizations. We extend this result to the stronger notions of inductive and recursive freeness.
As an application, we prove that recursively free multiarrangements are compatible with the product construction for multiarrangements. In addition, we show how our results can be used to derive that some canonical classes of free multiarrangements are not inductively free.
On circular-arc graphs with association schemes
In this paper, we give a characterization of the class of all circular-arc graphs whose schemes are association. Moreover, all association schemes which are the scheme of a circular-arc graph are characterized, specially it is proved that they are Schurian.
Conditions on Ramsey non-equivalence
Published
• View Publication
• BIB
Given a graph H, a graph G is called a Ramsey graph of H if there is a monochromatic copy of H in every coloring of the edges of G with two colors. Two graphs G, H are called Ramsey equivalent if they have the same set of Ramsey graphs. Fox et al. [J. Combin. Theory Ser. B 109 (2014), 120--133] asked whether there are two non-isomorphic connected graphs that are Ramsey equivalent. They proved that a clique is not Ramsey equivalent to any other connected graph. Results of Nesetril et al. showed that any two graphs with different clique number [Combinatorica 1(2) (1981), 199--202] or different odd girth [Comment. Math. Univ. Carolin. 20(3) (1979), 565--582] are not Ramsey equivalent. These are the only structural graph parameters we know that "distinguish" two graphs in the above sense. This paper provides further supportive evidence for a negative answer to the question of Fox et al. by claiming that for wide classes of graphs, chromatic number is a distinguishing parameter. In addition, it is shown here that all stars and paths and all connected graphs on at most 5 vertices are not Ramsey equivalent to any other connected graph. Moreover two connected graphs are not Ramsey equivalent if they belong to a special class of trees or to classes of graphs with clique-reduction properties.
Solitaire Chess is NP-complete
"Solitaire Chess" is a logic puzzle published by Thinkfun, that can be seen as a single person version of traditional chess. Given a chess board with some chess pieces of the same color placed on it, the task is to capture all pieces but one using only moves that are allowed in chess. Moreover, in each move one piece has to be captured. We prove that deciding if a given instance of Solitaire Chess is solvable is NP-complete.
Unit Interval Orders of Open and Closed Intervals
Published
• View Publication
• BIB
A poset $P = (X,\prec)$ is a unit OC interval order if there exists a representation that assigns an open or closed real interval $I(x)$ of unit length to each $x \in P$ so that $x \prec y$ in $P$ precisely when each point of $I(x)$ is less than each point in $I(y)$. In this paper we give a forbidden poset characterization of the class of unit OC interval orders and an efficient algorithm for recognizing the class. The algorithm takes a poset $P $ as input and either produces a representation or returns a forbidden poset induced in $P$.
First order convergence of matroids
The model theory based notion of the first order convergence unifies the notions of the left-convergence for dense structures and the Benjamini-Schramm convergence for sparse structures. It is known that every first order convergent sequence of graphs with bounded tree-depth can be represented by an analytic limit object called a limit modeling. We establish the matroid counterpart of this result: every first order convergent sequence of matroids with bounded branch-depth representable over a fixed finite field has a limit modeling, i.e., there exists an infinite matroid with the elements forming a probability space that has asymptotically the same first order properties. We show that neither of the bounded branch-depth assumption nor the representability assumption can be removed.
A generalization of sumsets modulo a prime
Published
• View Publication
• BIB
Let $A$ be a set in an abelian group $G$. For integers $h,r \geq 1$ the generalized $h$-fold sumset, denoted by $h^{(r)}A$, is the set of sums of $h$ elements of $A$, where each element appears in the sum at most $r$ times. If $G=\mathbb{Z}$ lower bounds for $|h^{(r)}A|$ are known, as well as the structure of the sets of integers for which $|h^{(r)}A|$ is minimal. In this paper we generalize this result by giving a lower bound for $|h^{(r)}A|$ when $G=\mathbb{Z}/p\mathbb{Z}$ for a prime $p$, and show new proofs for the direct and inverse problems in $\mathbb{Z}$.
Construction of Quasi-Cyclic Product Codes
Linear quasi-cyclic product codes over finite fields are investigated. Given the generating set in the form of a reduced Gr{ö}bner basis of a quasi-cyclic component code and the generator polynomial of a second cyclic component code, an explicit expression of the basis of the generating set of the quasi-cyclic product code is given. Furthermore, the reduced Gr{ö}bner basis of a one-level quasi-cyclic product code is derived.
On the odd girth and the circular chromatic number of generalized Petersen graphs
Published
• View Publication
• BIB
A class of simple graphs such as ${\cal G}$ is said to be {\it odd-girth-closed} if for any positive integer $g$ there exists a graph $G \in {\cal G}$ such that the odd-girth of $G$ is greater than or equal to $g$. An odd-girth-closed class of graphs ${\cal G}$ is said to be {\it odd-pentagonal} if there exists a positive integer $g^*$ depending on ${\cal G}$ such that any graph $G \in {\cal G}$ whose odd-girth is greater than $g^*$ admits a homomorphism to the five cycle (i.e. is $C_{_{5}}$-colorable).
In this article, we show that finding the odd girth of generalized Petersen graphs can be transformed to an integer programming problem, and using this we explicitly compute the odd girth of such graphs, showing that the class is odd-girth-closed. Also, motivated by showing that the class of generalized Petersen graphs is odd-pentagonal, we study the circular chromatic number of such graphs.
Sawtooth models and asymptotic independence in large compositions
Published
• View Publication
• BIB
In this paper we improve the probabilistic approach to compositions of Ehrenborg, Levin and Readdy by introducing a simpler but more general probabilistic model. As consequence we get some new estimates on the behavior of a uniform random permutation $σ$ having a fixed descent set. In particular we show that independently of the shape of the descent set, $σ(i)$ and $σ(j)$ become independent when $i-j$ tends to $+\infty$.
Third case of the Cyclic Coloring Conjecture
Published
• View Publication
• BIB
The Cyclic Coloring Conjecture asserts that the vertices of every plane graph with maximum face size D can be colored using at most 3D/2 colors in such a way that no face is incident with two vertices of the same color. The Cyclic Coloring Conjecture has been proven only for two values of D: the case D=3 is equivalent to the Four Color Theorem and the case D=4 is equivalent to Borodin's Six Color Theorem, which says that every graph that can be drawn in the plane with each edge crossed by at most one other edge is 6-colorable. We prove the case D=6 of the conjecture.