Showing 20 papers (Total: 81680 papers, 47334 authors in database)
The Algebra of Graph Invariants - Lower and Upper Bounds for Minimal Generators
In this paper we study the algebra of graph invariants, focusing mainly on the invariants of simple graphs.
All other invariants, such as sorted eigenvalues, degree sequences and canonical permutations, belong to this algebra. In fact, every graph invariant is a linear combination of the basic graph invariants which we study in this paper.
To prove that two graphs are isomorphic, a number of basic invariants are required, which are called separator invariants. The minimal set of separator invariants is also the minimal basic generator set for the algebra of graph invariants.
We find lower and upper bounds for the minimal number of generator/separator invariants needed for proving graph isomorphism.
Finally we find a sufficient condition for Ulam's conjecture to be true based on Redfield's enumeration formula.
The Non-Backtracking Spectrum of the Universal Cover of a Graph
Published
• View Publication
• BIB
A non-backtracking walk on a graph, $H$, is a directed path of directed edges of $H$ such that no edge is the inverse of its preceding edge. Non-backtracking walks of a given length can be counted using the non-backtracking adjacency matrix, $B$, indexed by $H$'s directed edges and related to Ihara's Zeta function. We show how to determine $B$'s spectrum in the case where $H$ is a tree covering a finite graph. We show that when $H$ is not regular, this spectrum can have positive measure in the complex plane, unlike the regular case. We show that outside of $B$'s spectrum, the corresponding Green function has ``periodic decay ratios.'' The existence of such a ``ratio system'' can be effectively checked, and is equivalent to being outside the spectrum. We also prove that the spectral radius of the non-backtracking walk operator on the tree covering a finite graph is exactly $\sqrt\gr$, where $\gr$ is the growth rate of the tree. This further motivates the definition of the graph theoretical Riemann hypothesis proposed by Stark and Terras \cite{ST}. Finally, we give experimental evidence that for a fixed, finite graph, $H$, a random lift of large degree has non-backtracking new spectrum near that of $H$'s universal cover. This suggests a new generalization of Alon's second eigenvalue conjecture.
Slider-pinning Rigidity: a Maxwell-Laman-type Theorem
Published
• View Publication
• BIB
We define and study slider-pinning rigidity, giving a complete combinatorial characterization. This is done via direction-slider networks, which are a generalization of Whiteley's direction networks.
Univoque numbers and an avatar of Thue-Morse
Published in Acta Arithmetica, 136 (2009) 319-329
• View Publication
• BIB
Univoque numbers are real numbers $λ> 1$ such that the number 1 admits a unique expansion in base $λ$, i.e., a unique expansion $1 = \sum_{j \geq 0} a_j λ^{-(j+1)}$, with $a_j \in \{0, 1, ..., \lceil λ\rceil -1\}$ for every $j \geq 0$. A variation of this definition was studied in 2002 by Komornik and Loreti, together with sequences called {\em admissible sequences}. We show how a 1983 study of the first author gives both a result of Komornik and Loreti on the smallest admissible sequence on the set $\{0, 1, >..., b\}$, and a result of de Vries and Komornik (2007) on the smallest univoque number belonging to the interval $(b, b+1)$, where $b$ is any positive integer. We also prove that this last number is transcendental. An avatar of the Thue-Morse sequence, namely the fixed point beginning in 3 of the morphism $3 \to 31$, $2 \to 30$, $1 \to 03$, $0 \to 02$, occurs in a "universal" manner.
Random sampling of plane partitions
Published
• View Publication
• BIB
This article presents uniform random generators of plane partitions according to the size (the number of cubes in the 3D interpretation). Combining a bijection of Pak with the method of Boltzmann sampling, we obtain random samplers that are slightly superlinear: the complexity is $O(n (\ln n)^3)$ in approximate-size sampling and $O(n^{4/3})$ in exact-size sampling
(under a real-arithmetic computation model). To our knowledge, these are the first polynomial-time samplers for plane partitions according to the size (there exist polynomial-time samplers of another type, which draw plane partitions that fit inside a fixed bounding box). The same principles yield efficient samplers for $(a\times b)$-boxed plane partitions (plane partitions with two dimensions bounded), and for skew plane partitions. The random samplers allow us to perform simulations and observe limit shapes and frozen boundaries, which have been analysed recently by Cerf and Kenyon for plane partitions, and by Okounkov and Reshetikhin for skew plane partitions.
Induced trees in triangle-free graphs
We prove that every connected triangle-free graph on $n$ vertices contains an induced tree on $\exp(c\sqrt{\log n})$ vertices, where $c$ is a positive constant. The best known upper bound is $(2+o(1))\sqrt n$. This partially answers questions of Erdos, Saks, and Sos and of Pultr.
On the Ramsey multiplicity of complete graphs
Published
• View Publication
• BIB
We show that, for $n$ large, there must exist at least \[\frac{n^t}{C^{(1+o(1))t^2}}\] monochromatic $K_t$s in any two-colouring of the edges of $K_n$, where $C \approx 2.18$ is an explicitly defined constant. The old lower bound, due to Erdős \cite{E62}, and based upon the standard bounds for Ramsey's theorem, is \[\frac{n^t}{4^{(1+o(1))t^2}}.\]
A note on lower bounds for hypergraph Ramsey numbers
We improve upon the lower bound for 3-colour hypergraph Ramsey numbers, showing, in the 3-uniform case, that \[r_3 (l,l,l) \geq 2^{l^{c \log \log l}}.\] The old bound, due to Erdős and Hajnal, was \[r_3 (l,l,l) \geq 2^{c l^2 \log^2 l}.\]
A linear equation for Minkowski sums of polytopes relatively in general position
Published
• View Publication
• BIB
The objective of this paper is to study a special family of Minkowski sums, that is of polytopes relatively in general position. We show that the maximum number of faces in the sum can be attained by this family. We present a new linear equation that is satisfied by f-vectors of the sum and the summands. We study some of the implications of this equation.
Automorphism groups of root systems matroids
Given a root system $\mathsf{R}$, the vector system $\tilde{\mathsf{R}}$ is obtained by taking a representative $v$ in each antipodal pair $\{v, -v\}$. The matroid $M(\mathsf{R})$ is formed by all independent subsets of $\tilde{\mathsf{R}}$. The automorphism group of a matroid is the group of permutations preserving its independent subsets. We prove that the automorphism groups of all irreducible root systems matroids $M(\mathsf{R})$ are uniquely determined by their independent sets of size 3. As a corollary, we compute these groups explicitly, and thus complete the classification of the automorphism groups of root systems matroids.
Close-packed dimers on the kagome lattice: Finite lattices and the Grassmannian approach
Published in Physica A 387, 4148 (2008); Physica A 387, 4157 (2008)
• View Publication
• BIB
In a recent paper [ F. Wang and F. Y. Wu, Phys. Rev. E 75 (2007) 040105(R) ] we reported exact results on the enumeration of close-packed dimers on an infinite kagome lattice. We computed the per-dimer free energy using both the Pfaffian approach and a vertex-model formulation, and found the result given by a simple expression. We also reported results on dimer-dimer correlations without giving details. In this paper we present details of the correlation function analysis. In addition, we extend the exact enumeration to finite lattices under two different boundary conditions and with asymmetric dimer weights. For symmetric dimer weights the finite-lattice results are again simple, and we show that they can be understood using a spin variable mapping. We also describe the formulation of a Grassmannian functional integral approach and apply it to the kagome lattice.
Divisorial Cohomology Vanishing on Toric Varieties
Published in Documenta Math. 16, 209-251, 2011
• View Publication
• BIB
This work discusses combinatorial and arithmetic aspects of cohomology vanishing for divisorial sheaves on toric varieties. We obtain a refined variant of the Kawamata-Viehweg theorem which is slightly stronger. Moreover, we prove a new vanishing theorem related to divisors whose inverse is nef and has small Kodaira dimension. Finally, we give a new criterion for divisorial sheaves for being maximal Cohen-Macaulay.
Sets, Lists and Noncrossing Partitions
Published in Journal of Integer Sequences, Vol. 11, 2008, Article 08.1.3
• Search Publication
Partitions of [n]={1,2,...,n} into sets of lists are counted by sequence number A000262 in the On-Line Encyclopedia of Integer Sequences. They are somewhat less numerous than partitions of [n] into lists of sets, A000670. Here we observe that the former are actually equinumerous with partitions of [n] into lists of *noncrossing* sets and give a bijective proof. We show that partitions of [n] into sets of noncrossing lists are counted by A088368 and generalize this result to introduce a transform on integer sequences that we dub the "noncrossing partition" transform. We also derive recurrence relations to count partitions of [n] into lists of noncrossing lists.
A note on a degree sum condition for long cycles in graphs
We conjecture that a 2-connected graph $G$ of order $n$, in which $d(x)+d(y)\geq n-k$ for every pair of non-adjacent vertices $x$ and $y$, contains a cycle of length $n-k$ ($k<n/2$), unless $G$ is bipartite and $n-k$ is odd. This generalizes to long cycles a well-known degree sum condition for hamiltonicity of Ore. The conjecture is shown to hold for $k=1$.
Mapping Incidences
Published
• View Publication
• BIB
We show that any finite set S in a characteristic zero integral domain can be mapped to the finite field of order p, for infinitely many primes p, preserving all algebraic incidences in S. This can be seen as a generalization of the well-known Freiman isomorphism lemma, and we give several combinatorial applications (such as sum-product estimates).
Stirling's formula derived simply
Stirling's formula, the asymptotic expansion of $n!$ for $n$ large, or of $Γ(z)$ for $z\to \infty$, is derived directly from the recursion equation $Γ(z+1) =z Γ(s)$ and the normalization condition $Γ({1/2}) =\sqrtπ$.
On the cycle structure of hamiltonian k-regular bipartite graphs of order 4k
It is shown that a hamiltonian $n/2$-regular bipartite graph $G$ of order $2n>8$ contains a cycle of length $2n-2$. Moreover, if such a cycle can be chosen to omit a pair of adjacent vertices, then $G$ is bipancyclic.
Szemeredi-Trotter type theorem and sum-product estimate in finite fields
Published
• View Publication
• BIB
We study a Szemerédi-Trotter type theorem in finite fields. We then use this theorem to obtain an improved sum-product estimate in finite fields.
Transitive projective planes and 2-rank
Suppose that a group $G$ acts transitively on the points of a non-Desarguesian plane, $\mathcal{P}$. We prove first that the Sylow 2-subgroups of $G$ are cyclic or generalized quaternion. We also prove that $\mathcal{P}$ must admit an odd order automorphism group which acts transitively on the set of points of $\mathcal{P}$.
Lattice points in Minkowski sums
Published in Electron J. Combin. 15(1) 2008, Note 11, 5 pp
• View Publication
• BIB
Fakhruddin has proved that for two lattice polygons P and Q any lattice point in their Minkowski sum can be written as a sum of a lattice point in P and one in Q, provided P is smooth and the normal fan of P is a subdivision of the normal fan of Q. We give a shorter combinatorial proof of this fact that does not need the smoothness assumption on P.