graph
35150 papers tagged with this keyword
On the number of Latin squares
Published in B. D. McKay and I. M. Wanless, On the number of Latin squares, Ann. Combin. 9 (2005) 335-344
• View Publication
• BIB
We (1) determine the number of Latin rectangles with 11 columns and each possible number of rows, including the Latin squares of order~11, (2) answer some questions of Alter by showing that the number of reduced Latin squares of order $n$ is divisible by $f!$ where $f$ is a particular integer close to $\frac12n$, (3) provide a formula for the number of Latin squares in terms of permanents of $(+1,-1)$-matrices, (4) find the extremal values for the number of 1-factorisations of $k$-regular bipartite graphs on $2n$ vertices whenever $1\leq k\leq n\leq11$, (5) show that the proportion of Latin squares with a non-trivial symmetry group tends quickly to zero as the order increases.
Buchsbaum* complexes
Published
• View Publication
• BIB
A class of simplicial complexes, which we call Buchsbaum* over a field, is introduced. Buchsbaum* complexes generalize triangulations of orientable homology manifolds as well as doubly Cohen-Macaulay complexes. By definition, the Buchsbaum* property depends only on the geometric realization and the field. Characterizations in terms of simplicial and local cohomology are given. It is proved that Buchsbaum* complexes are doubly Buchsbaum. Enumerative and graph theoretic properties of Buchsbaum* complexes are investigated. It is shown that various constructions, among them one which generalizes convex ear decompositions, yield Buchsbaum* simplicial complexes.
Technical details regarding infinite families of crossing-critical graphs with prescribed average degree and crossing number
Siran constructed infinite families of k-crossing-critical graphs for every k > 2 and Kochol constructed such families of simple graphs for every k > 1. Richter and Thomassen argued that, for any given k > 0 and r > 5, there are only finitely many simple k-crossing-critical graphs with minimum degree r. Salazar observed that the same argument implies such a conclusion for simple k-crossing-critical graphs of prescribed average degree r > 6. He established the existence of infinite families of simple k-crossing-critical graphs with any prescribed rational average degree r in [4, 6) for infinitely many k and asked about their existence for r in (3, 4). The question was partially settled by Pinontoan and Richter, who answered it positively for r in (3.5, 4).
The present contribution uses two new constructions of crossing critical simple graphs along with the one developed by Pinontoan and Richter to unify these results and to answer Salazar's question by the following statement: there exist infinite families of simple k-crossing-critical graphs with any prescribed average degree r in (3, 6), for any k greater than some lower bound N(r). Moreover, a universal lower bound N(I) on k applies for rational numbers in any closed interval I contained in (3, 6).
This Mathematica notebook is presented as a supplement of the paper with the aforementioned results. It contains technical details omitted in the paper and can be used as a hint of how to rigorously verify the constraints that are imposed on the parameters in the main construction of the paper. The reader may either use Mathematica or some other software to verify the listed claims, or may derive them in a more clear, oldfashioned way. As the notebook is not self-contained, it is advisable to read the paper before.
On Minimum Saturated Matrices
Published
• View Publication
• BIB
Motivated by the work of Anstee, Griggs, and Sali on forbidden submatrices and the extremal sat-function for graphs, we introduce sat-type problems for matrices. Let F be a family of k-row matrices. A matrix M is called F-admissible if M contains no submatrix G\in F (as a row and column permutation of G). A matrix M without repeated columns is F-saturated if M is F-admissible but the addition of any column not present in M violates this property. In this paper we consider the function sat(n,F) which is the minimum number of columns of an F-saturated matrix with n rows. We establish the estimate sat(n,F)=O(n^{k-1}) for any family F of k-row matrices and also compute the sat-function for a few small forbidden matrices.
Higher order matching polynomials and d-orthogonality
Published in Advances in Applied Mathematics, vol 46, no 1-4, January 2011, pp 226-246
• View Publication
• BIB
We show combinatorially that the higher-order matching polynomials of several families of graphs are d-orthogonal polynomials. The matching polynomial of a graph is a generating function for coverings of a graph by disjoint edges; the higher-order matching polynomial corresponds to coverings by paths. Several families of classical orthogonal polynomials -- the Chebyshev, Hermite, and Laguerre polynomials -- can be interpreted as matching polynomials of paths, cycles, complete graphs, and complete bipartite graphs. The notion of d-orthogonality is a generalization of the usual idea of orthogonality for polynomials and we use sign-reversing involutions to show that the higher-order Chebyshev (first and second kinds), Hermite, and Laguerre polynomials are d-orthogonal. We also investigate the moments and find generating functions of those polynomials.
Novel scaling limits for critical inhomogeneous random graphs
Published in Annals of Probability 2012, Vol. 40, No. 6, 2299-2361
• View Publication
• BIB
We find scaling limits for the sizes of the largest components at criticality for rank-1 inhomogeneous random graphs with power-law degrees with power-law exponent τ. We investigate the case where $τ\in(3,4)$, so that the degrees have finite variance but infinite third moment. The sizes of the largest clusters, rescaled by $n^{-(τ-2)/(τ-1)}$, converge to hitting times of a "thinned" Lévy process, a special case of the general multiplicative coalescents studied by Aldous [Ann. Probab. 25 (1997) 812-854] and Aldous and Limic [Electron. J. Probab. 3 (1998) 1-59]. Our results should be contrasted to the case τ>4, so that the third moment is finite. There, instead, the sizes of the components rescaled by $n^{-2/3}$ converge to the excursion lengths of an inhomogeneous Brownian motion, as proved in Aldous [Ann. Probab. 25 (1997) 812-854] for the Erdős-Rényi random graph and extended to the present setting in Bhamidi, van der Hofstad and van Leeuwaarden [Electron. J. Probab. 15 (2010) 1682-1703] and Turova [(2009) Preprint].
More on the phi = beta Conjecture and Eigenvalues of Random Graph Lifts
Let $G$ be a connected graph, and let $λ_1$ and $ρ$ denote the spectral radius of $G$ and the universal cover of $G$, respectively. In \cite{Fri03}, Friedman has shown that almost every $n$-lift of $G$ has all of its new eigenvalues bounded by $O(λ_1^{1/2}ρ^{1/2})$. In \cite{LP10}, Linial and Puder have improved this bound to $O(λ_1^{1/3}ρ^{2/3})$. Friedman had conjectured that this bound can actually be improved to $ρ+ o_n(1)$ (e.g., see \cite{Fri03,HLW06}).
In \cite{LP10}, Linial and Puder have formulated two new categorizations of formal words, namely $φ$ and $β$, which assign a non-negative integer or infinity to each word. They have shown that for every word $w$, $φ(w) = 0$ iff $β(w) = 0$, and $φ(w) = 1$ iff $β(w) = 1$. They have conjectured that $φ(w) = β(w)$ for every word $w$, and have run extensive numerical simulations that strongly suggest that this conjecture is true. This conjecture, if proven true, gives us a very promising approach to proving a slightly weaker version of Friedman's conjecture, namely the bound $O(ρ)$ on the new eigenvalues (see \cite{LP10}).
In this paper, we make further progress towards proving this important conjecture by showing that $φ(w) = 2$ iff $β(w) = 2$ for every word $w$.
Relative Tutte Polynomials for Colored Graphs and Virtual Knot Theory
Published
• View Publication
• BIB
We introduce the concept of a relative Tutte polynomial of colored graphs. We show that this relative Tutte polynomial can be computed in a way similar to the classical spanning tree expansion used by Tutte in his original paper on this subject. We then apply the relative Tutte polynomial to virtual knot theory. More specifically, we show that the Kauffman bracket polynomial (hence the Jones polynomial) of a virtual knot can be computed from the relative Tutte polynomial of its face (Tait) graph with some suitable variable substitutions. Our method offers an alternative to the ribbon graph approach, using the face graph obtained from the virtual link diagram directly.
Tensor 2-sums and entanglement
To define a minimal mathematical framework for isolating some of the characteristic properties of quantum entanglement, we introduce a generalization of the tensor product of graphs. Inspired by the notion of a density matrix, the generalization is a simple one: every graph can be obtained by addition modulo two, possibly with many summands, of tensor products of adjacency matrices. In this picture, we are still able to prove a combinatorial analogue of the Peres-Horodecki criterion for testing separability.
A link surgery spectral sequence in monopole Floer homology
Published
• View Publication
• BIB
To a link L in the 3-sphere, we associate a spectral sequence whose E^2 page is the reduced Khovanov homology of L and which converges to a version of the monopole Floer homology of the branched double cover. The pages E^k for k > 1 depend only on the mutation equivalence class of L. We define a mod 2 grading on the spectral sequence which interpolates between the delta-grading on Khovanov homology and the mod 2 grading on Floer homology. We also derive a new formula for link signature that is well-adapted to Khovanov homology.
More generally, we construct new bigraded invariants of a framed link in a 3-manifold as the pages of a spectral sequence modeled on the surgery exact triangle. The differentials count monopoles over families of metrics parameterized by permutohedra. We utilize a connection between the topology of link surgeries and the combinatorics of graph associahedra. This also yields simple realizations of permutohedra and associahedra, as refinements of hypercubes.
Quantum field theory over F_q
Published in Electron. J. Comb.18N1:P102,2011
• View Publication
• BIB
We consider the number \bar N(q) of points in the projective complement of graph hypersurfaces over \F_q and show that the smallest graphs with non-polynomial \bar N(q) have 14 edges. We give six examples which fall into two classes. One class has an exceptional prime 2 whereas in the other class \bar N(q) depends on the number of cube roots of unity in \F_q. At graphs with 16 edges we find examples where \bar N(q) is given by a polynomial in q plus q^2 times the number of points in the projective complement of a singular K3 in ¶^3. In the second part of the paper we show that applying momentum space Feynman-rules over \F_q lets the perturbation series terminate for renormalizable and non-renormalizable bosonic quantum field theories.
Free Minor Closed Classes and the Kuratowski theorem
Free-minor closed classes [2] and free-planar graphs [3] are considered. Versions of Kuratowski-like theorem for free-planar graphs and Kuratowski theorem for planar graphs are considered.
Towards The Albertson Conjecture
Albertson conjectured that if a graph $G$ has chromatic number $r$ then its crossing number is at least as much as the crossing number of $K_r$. Albertson, Cranston, and Fox verified the conjecture for $r\le 12$. We prove the statement for $r\le 16$.
Algebraic statistics for a directed random graph model with reciprocation
The p_1 model is a directed random graph model used to describe dyadic interactions in a social network in terms of effects due to differential attraction (popularity) and expansiveness, as well as an additional effect due to reciprocation. In this article we carry out an algebraic statistics analysis of this model. We show that the p_1 model is a toric model specified by a multi-homogeneous ideal. We conduct an extensive study of the Markov bases for p_1 models that incorporate explicitly the constraint arising from multi-homogeneity. Our results are directly relevant to the estimation and conditional goodness-of-fit testing problems in p_1 models.
Graphs as rotations
Using a notation of corner between edges when graph has a fixed rotation, i.e. cyclical order of edges around vertices, we define combinatorial objects - combinatorial maps as pairs of permutations, one for vertices and one for faces. Further, we define multiplication of these objects, that coincides with the multiplication of permutations. We consider closed under multiplication classes of combinatorial maps that consist of closed classes of combinatorial maps with fixed edges where each such class is defined by a knot. One class among them is special, containing selfconjugate maps.
Isospectral Graph Reductions
Let G be an arbitrary finite weighted digraph with weights in the set of complex rational functions. A general procedure is proposed which allows for the reduction of G to a smaller graph with a less complicated structure having the same spectrum as of G (up to some set known in advance). The proposed procedure has a lot of flexibility and could be used e.g. for design of networks with prescribed spectral and dynamical properties.
Edge-disjoint Hamilton cycles in graphs
Published
• View Publication
• BIB
In this paper we give an approximate answer to a question of Nash-Williams from 1970: we show that for every α> 0, every sufficiently large graph on n vertices with minimum degree at least (1/2 + α)n contains at least n/8 edge-disjoint Hamilton cycles. More generally, we give an asymptotically best possible answer for the number of edge-disjoint Hamilton cycles that a graph G with minimum degree δmust have. We also prove an approximate version of another long-standing conjecture of Nash-Williams: we show that for every α> 0, every (almost) regular and sufficiently large graph on n vertices with minimum degree at least $(1/2 + α)n$ can be almost decomposed into edge-disjoint Hamilton cycles.
Graphs and CCR algebras
Published
• View Publication
• BIB
I introduce yet another way to associate a C*-algebra to a graph and construct a simple nuclear C*-algebra that has irreducible representations both on a separable and a nonseparable Hilbert space.
The lattice of integer flows of a regular matroid
Published
• View Publication
• BIB
For a finite multigraph G, let Λ(G) denote the lattice of integer flows of G -- this is a finitely generated free abelian group with an integer-valued positive definite bilinear form. Bacher, de la Harpe, and Nagnibeda show that if G and H are 2-isomorphic graphs then Λ(G) and Λ(H) are isometric, and remark that they were unable to find a pair of nonisomorphic 3-connected graphs for which the corresponding lattices are isometric. We explain this by examining the lattice Λ(M) of integer flows of any regular matroid M. Let M_\bullet be the minor of M obtained by contracting all co-loops. We show that Λ(M) and Λ(N) are isometric if and only if M_\bullet and N_\bullet are isomorphic.
A characterization of Q-polynomial distance-regular graphs
We obtain the following characterization of $Q$-polynomial distance-regular graphs. Let $\G$ denote a distance-regular graph with diameter $d\ge 3$. Let $E$ denote a minimal idempotent of $\G$ which is not the trivial idempotent $E_0$. Let $\{θ_i^*\}_{i=0}^d$ denote the dual eigenvalue sequence for $E$. We show that $E$ is $Q$-polynomial if and only if (i) the entry-wise product $E \circ E$ is a linear combination of $E_0$, $E$, and at most one other minimal idempotent of $\G$; (ii) there exists a complex scalar $β$ such that $θ^*_{i-1}-βθ^*_i + θ^*_{i+1}$ is independent of $i$ for $1 \le i \le d-1$; (iii) $θ^*_i \ne θ^*_0$ for $1 \le i \le d$.