Showing 20 papers (Total: 82661 papers, 47773 authors in database)
Categorifying the magnitude of a graph
Published in Homology, Homotopy and Applications, vol. 19(2), 2017, pp.31-60
• View Publication
• BIB
The magnitude of a graph can be thought of as an integer power series associated to a graph; Leinster introduced it using his idea of magnitude of a metric space. Here we introduce a bigraded homology theory for graphs which has the magnitude as its graded Euler characteristic. This is a categorification of the magnitude in the same spirit as Khovanov homology is a categorification of the Jones polynomial. We show how properties of magnitude proved by Leinster categorify to properties such as a Kunneth Theorem and a Mayer-Vietoris Theorem. We prove that joins of graphs have their homology supported on the diagonal. Finally, we give various computer calculated examples.
Representation stability for cohomology of configuration spaces in $\mathbf{R}^d$
Published
• View Publication
• BIB
This paper studies representation stability in the sense of Church and Farb for representations of the symmetric group $S_n$ on the cohomology of the configuration space of $n$ ordered points in $\mathbf{R}^d$. This cohomology is known to vanish outside of dimensions divisible by $d-1$; it is shown here that the $S_n$-representation on the $i(d-1)^{st}$ cohomology stabilizes sharply at $n=3i$ (resp. $n=3i+1$) when $d$ is odd (resp. even).
The result comes from analyzing $S_n$-representations known to control the cohomology: the Whitney homology of set partition lattices for $d$ even, and the higher Lie representations for $d$ odd. A similar analysis shows that the homology of any rank-selected subposet in the partition lattice stabilizes by $n\geq 4i$, where $i$ is the maximum rank selected.
Further properties of the Whitney homology and more refined stability statements for $S_n$-isotypic components are also proven, including conjectures of J. Wiltshire-Gordon.
The Genus Distribution of Doubly Hexagonal Chains
By using the Transfer Matrix Method, explicit formulas for the embedding distribution of doubly hexagonal chain graphs are computed.
On the existence of flat orthogonal matrices
Published
• View Publication
• BIB
In this note we investigate the existence of flat orthogonal matrices, i.e. real orthogonal matrices with all entries having absolute value close to $\frac{1}{\sqrt{n}}$. Entries of $\pm \frac{1}{\sqrt{n}}$ correspond to Hadamard matrices, so the question of existence of flat orthogonal matrices can be viewed as a relaxation of the Hadamard problem.
Tiling with arbitrary tiles
Published
• View Publication
• BIB
Let $T$ be a tile in $\mathbb{Z}^n$, meaning a finite subset of $\mathbb{Z}^n$. It may or may not tile $\mathbb{Z}^n$, in the sense of $\mathbb{Z}^n$ having a partition into copies of $T$. However, we prove that $T$ does tile $\mathbb{Z}^d$ for some $d$. This resolves a conjecture of Chalcraft.
A note on $\mathtt{V}$-free $2$-matchings
Motivated by a conjecture of Liang [Y.-C. Liang. {\em Anti-magic labeling of graphs}. PhD thesis, National Sun Yat-sen University, 2013.], we introduce a restricted path packing problem in bipartite graphs that we call a $\mathtt{V}$-free $2$-matching. We verify the conjecture through a weakening of the hypergraph matching problem. We close the paper by showing that it is NP-complete to decide whether one of the color classes of a bipartite graph can be covered by a $\mathtt{V}$-free $2$-matching.
Isomorphism Testing for Graphs of Bounded Rank Width
Published
• View Publication
• BIB
We give an algorithm that, for every fixed k, decides isomorphism of graphs of rank width at most k in polynomial time. As the clique width of a graph is bounded in terms of its rank width, we also obtain a polynomial time isomorphism test for graph classes of bounded clique width.
Stability Properties Of The Plethysm: A Combinatorial Approach
Published
• View Publication
• BIB
An important family of structural constants in the theory of symmetric functions and in the representation theory of symmetric groups and general linear groups are the plethysm coefficients. In 1950, Foulkes observed that they have some stability properties: certain sequences of plethysm coefficients are eventually constant. Such stability properties were proven by Brion with geometric techniques, and by Thibon and Carré by means of vertex operators. In this paper we present a new approach to prove such stability properties.Our proofs are purely combinatorial and follow the same scheme. We decompose plethysm coefficients in terms of other plethysm coefficients related to the complete homogeneous basis of symmetric functions. We show that these other plethysm coefficients count integer points in polytopes and we prove stability for them by exhibiting bijections between the corresponding sets of integer points of each polytope.
On a group theoretic generalization of the Morse-Hedlund theorem
Published
• View Publication
• BIB
In their 1938 seminal paper on symbolic dynamics, Morse and Hedlund proved that every aperiodic infinite word $x\in A^N,$ over a non empty finite alphabet $A,$ contains at least $n+1$ distinct factors of each length $n.$ They further showed that an infinite word $x$ has exactly $n+1$ distinct factors of each length $n$ if and only if $x$ is binary, aperiodic and balanced, i.e., $x$ is a Sturmian word. In this paper we obtain a broad generalization of the Morse-Hedlund theorem via group actions. Given a subgroup $G$ of the symmetric group $S_n, $ let $1\leq ε(G)\leq n$ denote the number of distinct $G$-orbits of $\{1,2,\ldots ,n\}.$ Since $G$ is a subgroup of $S_n,$ it acts on $A^n=\{a_1a_2\cdots a_n\,|\,a_i\in A\}$ by permutation. Thus, given an infinite word $x\in A^N$ and an infinite sequence $ω=(G_n)_{n\geq 1}$ of subgroups $G_n \subseteq S_n,$ we consider the complexity function $p_{ω,x}:N \rightarrow N$ which counts for each length $n$ the number of equivalence classes of factors of $x$ of length $n$ under the action of $G_n.$ We show that if $x$ is aperiodic, then $p_{ω, x}(n)\geqε(G_n)+1$ for each $n\geq 1,$ and moreover, if equality holds for each $n,$ then $x$ is Sturmian. Conversely, let $x$ be a Sturmian word. Then for every infinite sequence $ω=(G_n)_{n\geq 1}$ of Abelian subgroups $G_n \subseteq S_n,$ there exists $ω'=(G_n')_{n\geq 1}$ such that for each $n\geq 1:$ $G_n'\subseteq S_n$ is isomorphic to $G_n$ and $p_{ω',x}(n)=ε(G'_n)+1.$ Applying the above results to the sequence $(Id_n)_{n\geq 1},$ where $Id_n$ is the trivial subgroup of $S_n$ consisting only of the identity, we recover both directions of the Morse-Hedland theorem.
List-coloring the Squares of Planar Graphs without 4-Cycles and 5-Cycles
Published in Journal of Graph Theory. Vol. 85(4), August 2017, pp. 721-737
• View Publication
• BIB
Let $G$ be a planar graph without 4-cycles and 5-cycles and with maximum degree $Δ\ge 32$. We prove that $χ_{\ell}(G^2)\le Δ+3$. For arbitrarily large maximum degree $Δ$, there exist planar graphs $G_Δ$ of girth 6 with $χ(G_Δ^2)=Δ+2$. Thus, our bound is within 1 of being optimal. Further, our bound comes from coloring greedily in a good order, so the bound immediately extends to online list-coloring. In addition, we prove bounds for $L(p,q)$-labeling. Specifically, $λ_{2,1}(G)\le Δ+8$ and, more generally, $λ_{p,q}(G)\le (2q-1)Δ+6p-2q-2$, for positive integers $p$ and $q$ with $p\ge q$. Again, these bounds come from a greedy coloring, so they immediately extend to the list-coloring and online list-coloring variants of this problem.
Turán numbers of hypergraph trees
An $r$-graph is an $r$-uniform hypergraph tree (or $r$-tree) if its edges can be ordered as $E_1,\ldots, E_m$ such that $\forall i>1 \, \exists α(i)<i$ such that $E_i\cap (\bigcup_{j=1}^{i-1} E_j)\subseteq E_{α(i)}$. The Turán number $ex(n,{\cal H})$ of an $r$-graph ${\cal H}$ is the largest size of an $n$-vertex $r$-graph that does not contain ${\cal H}$. A cross-cut of ${\cal H}$ is a set of vertices in ${\cal H}$ that contains exactly one vertex of each edge of ${\cal H}$. The cross-cut number $σ({\cal H})$ of ${\cal H}$ is the minimum size of a cross-cut of ${\cal H}$. We show that for a large family of $r$-graphs (largest within a certain scope) that are embeddable in $r$-trees, $ex(n,{\cal H})=(σ-1)\binom{n}{r-1}+o(n^{r-1})$ holds, and we establish structural stability of near extremal graphs. From stability, we establish exact results for some subfamilies.
Notes on use of generalized entropies in counting
Published in Graphs Combin., Vol. 32, 2625-2641 (2016)
• View Publication
• BIB
We address an idea of applying generalized entropies in counting problems. First, we consider some entropic properties that are essential for such purposes. Using the $α$-entropies of Tsallis-Havrda-Charvát type, we derive several results connected with Shearer's lemma. In particular, we derive upper bounds on the maximum possible cardinality of a family of $k$-subsets, when no pairwise intersections of these subsets may coincide. Further, we revisit the Minc conjecture. Our approach leads to a family of one-parameter extensions of Brégman's theorem. A utility of the obtained bounds is explicitly exemplified.
A multiplicative analogue of Schnirelmann's theorem
Published in Bull. London Math. Soc., 48 (2016), 1018-1028
• View Publication
• BIB
The classical theorem of Schnirelmann states that the primes are an additive basis for the integers. In this paper we consider the analogous multiplicative setting of the cyclic group $\left(\mathbb{Z}/ q\mathbb{Z}\right)^{\times}$, and prove a similar result. For all suitably large primes $q$ we define $P_η$ to be the set of primes less than $ηq$, viewed naturally as a subset of $\left(\mathbb{Z}/ q\mathbb{Z}\right)^{\times}$. Considering the $k$-fold product set $P_η^{(k)}=\{p_1p_2\cdots p_k:p_i\in P_η\}$, we show that for $η\gg q^{-\frac{1}{4}+ε}$ there exists a constant $k$ depending only on $ε$ such that $P_η^{(k)}=\left(\mathbb{Z}/ q\mathbb{Z}\right)^{\times}$. Erdős conjectured that for $η= 1$ the value $k=2$ should suffice: although we have not been able to prove this conjecture, we do establish that $P_1 ^{(2)}$ has density at least $\frac{1}{64}(1+o(1))$. We also formulate a similar theorem in almost-primes, improving on existing results.
Hermitian adjacency spectrum and switching equivalence of mixed graphs
Published
• View Publication
• BIB
It is shown that an undirected graph $G$ is cospectral with the Hermitian adjacency matrix of a mixed graph $D$ obtained from a subgraph $H$ of $G$ by orienting some of its edges if and only if $H=G$ and $D$ is obtained from $G$ by a four-way switching operation; if $G$ is connected, this happens if and only if $λ_1(G)=λ_1(D)$. All mixed graphs of rank 2 are determined and this is used to classify which mixed graphs of rank 2 are cospectral with respect to their Hermitian adjacency matrix. Several families of mixed graphs are found that are determined by their Hermitian spectrum in the sense that they are cospectral precisely to those mixed graphs that are switching equivalent to them.
$χ_D(G)$, $|Aut(G)|$, and a variant of the Motion Lemma
Published
• View Publication
• BIB
The \textit{Distinguishing Chromatic Number} of a graph $G$, denoted $χ_D(G)$, was first defined in \cite{collins} as the minimum number of colors needed to properly color $G$ such that no non-trivial automorphism $φ$ of the graph $G$ fixes each color class of $G$. In this paper, 1. We prove a lemma that may be considered a variant of the Motion lemma of \cite{RS} and use this to give examples of several families of graphs which satisfy $χ_D(G)=χ(G)+1$. 2.We give an example of families of graphs that admit large automorphism groups in which every proper coloring is distinguishing. We also describe families of graphs with (relatively) very small automorphism groups which satisfy $χ_D(G)=χ(G)+1$, for arbitrarily large values of $χ(G)$. 3. We describe non-trivial families of bipartite graphs that satisfy $χ_D(G)>r$ for any positive integer $r$.
On edge disjoint spanning trees in a randomly weighted complete graph
Published
• View Publication
• BIB
Assume that the edges of the complete graph $K_n$ are given independent uniform $[0,1]$ edges weights. We consider the expected minimum total weight $μ_k$ of $k\geq 2$ edge disjoint spanning trees. When $k$ is large we show that $μ_k\approx k^2$. Most of the paper is concerned with the case $k=2$. We show that $\m_2$ tends to an explicitly defined constant and that $μ_2\approx 4.1704288\ldots$.
Schreier graphs: transitivity and coverings
Published in International Journal of Algebra and Computation 2016 26:01, 69-93
• View Publication
• BIB
We give a characterization of isomorphisms between Schreier graphs in terms of the groups, subgroups and generating systems. This characterization may be thought as a graph analog of Mostow's rigidity theorem for hyperbolic manifolds. This allows us to give a transitivity criterion for Schreier graphs. Finally, we show that Tarski monsters satisfy a strong simplicity criterion.
On powers of interval graphs and their orders
It was proved by Raychaudhuri in 1987 that if a graph power $G^{k-1}$ is an interval graph, then so is the next power $G^k$. This result was extended to $m$-trapezoid graphs by Flotow in 1995. We extend the statement for interval graphs by showing that any interval representation of $G^{k-1}$ can be extended to an interval representation of $G^k$ that induces the same left endpoint and right endpoint orders. The same holds for unit interval graphs. We also show that a similar fact does not hold for trapezoid graphs.
Classification of finite groups with toroidal or projective-planar permutability graphs
Published in Communications in Algebra 44 (2016), no. 9, pp. 3705-3726
• View Publication
• BIB
Let $G$ be a group. The permutability graph of subgroups of $G$, denoted by $Γ(G)$, is a graph having all the proper subgroups of $G$ as its vertices, and two subgroups are adjacent in $Γ(G)$ if and only if they permute. In this paper, we classify the finite groups whose permutability graphs are toroidal or projective-planar. In addition, we classify the finite groups whose permutability graph does not contain one of $K_{3,3}$, $K_{1,5}$, $C_6$, $P_5$, or $P_6$ as a subgraph.
State complexity of catenation combined with a boolean operation: a unified approach
Published
• View Publication
• BIB
In this paper we study the state complexity of catenation combined with symmetric difference. First, an upper bound is computed using some combinatoric tools. Then, this bound is shown to be tight by giving a witness for it. Moreover, we relate this work with the study of state complexity for two other combinations: catenation with union and catenation with intersection. And we extract a unified approach which allows to obtain the state complexity of any combination involving catenation and a binary boolean operation.