graph
34516 papers tagged with this keyword
Regular trees in random regular graphs
We investigate the size of the embedded regular tree rooted at a vertex in a $d$ regular random graph. We show that almost always, the radius of this tree will be ${1/2}\log n$, where $n$ is the number of vertices in the graph. And we give an asymptotic estimate for Gauss' Hypergeometric Function.
An effective algorithm for the enumeration of edge colorings and Hamiltonian cycles in cubic graphs
We propose an effective algorithm that enumerates (and actually finds) all 3-edge colorings and Hamiltonian cycles in a cubic graph. The idea is to make a preliminary run that separates the vertices into two types: ``rigid'' (such that the edges incident to them admit a unique coloring) and ``soft'' ones (such that the edges incident to them admit two distinct colorings), and then to perform the coloring. The computational complexity of this algorithm is on a par with (or even below) the fastest known algorithms that find a single 3-edge coloring or a Hamiltonian cycle for a cubic graph.
Shifted set families, degree sequences, and plethysm
Published
• View Publication
• BIB
We study, in three parts, degree sequences of k-families (or k-uniform hypergraphs) and shifted k-families. The first part collects for the first time in one place, various implications such as: Threshold implies Uniquely Realizable implies Degree-Maximal implies Shifted, which are equivalent concepts for 2-families (=simple graphs), but strict implications for k-families with k > 2. The implication that uniquely realizable implies degree-maximal seems to be new. The second part recalls Merris and Roby's reformulation of the characterization due to Ruch and Gutman for graphical degree sequences and shifted 2-families. It then introduces two generalizations which are characterizations of shifted k-families. The third part recalls the connection between degree sequences of k-families of size m and the plethysm of elementary symmetric functions e_m[e_k]. It then uses highest weight theory to explain how shifted k-families provide the ``top part'' of these plethysm expansions, along with offering a conjecture about a further relation.
Clustering of spectra and fractals of regular graphs
Published in J. Math. Anal. Appl. 333 (2007) 236-246
• View Publication
• BIB
We exhibit a characteristic structure of the class of all regular graphs of degree d that stems from the spectra of their adjacency matrices. The structure has a fractal threadlike appearance. Points with coordinates given by the mean and variance of the exponentials of graph eigenvalues cluster around a line segment that we call a filar. Zooming-in reveals that this cluster splits into smaller segments (filars) labeled by the number of triangles in graphs. Further zooming-in shows that the smaller filars split into subfilars labelled by the number of quadrangles in graphs, etc. We call this fractal structure, discovered in a numerical experiment, a multifilar structure. We also provide a mathematical explanation of this phenomenon based on the Ihara-Selberg trace formula, and compute the coordinates and slopes of all filars in terms of Bessel functions of the first kind.
Cordial Deficiency
We introduce two new measures of the noncordiality of a graph. We then calculate the values of these measures for various families of noncordial graphs. We also determine exactly which of the Möbius ladders are cordial.
On Derived Equivalences of Categories of Sheaves Over Finite Posets
Published in Journal of Pure and Applied Algebra 212 (2008), 435-451.
• View Publication
• BIB
A finite poset X carries a natural structure of a topological space. Fix a field k, and denote by D(X) the bounded derived category of sheaves of finite dimensional k-vector spaces over X. Two posets X and Y are said to be derived equivalent if D(X) and D(Y) are equivalent as triangulated categories.
We give explicit combinatorial properties of a poset which are invariant under derived equivalence, among them are the number of points, the Z-congruency class of the incidence matrix, and the Betti numbers.
Then we construct, for any closed subset Y of X, a strongly exceptional collection in D(X) and use it to show an equivalence between D(X) and the bounded derived category of a finite dimensional algebra A (depending on Y). We give conditions on X and Y under which A becomes an incidence algebra of a poset.
We deduce that a lexicographic sum of a collection of posets along a bipartite graph is derived equivalent to the lexicographic sum of the same collection along the opposite graph. This construction produces many new derived equivalences of posets and generalizes other well known ones.
As a corollary we show that the derived equivalence class of an ordinal sum of two posets does not depend on the order of summands. We give an example that this is not true for three summands.
The numbers game, geometric representations of Coxeter groups, and Dynkin diagram classification results
The numbers game is a one-player game played on a finite simple graph with certain ``amplitudes'' assigned to its edges and with an initial assignment of real numbers to its nodes. The moves of the game successively transform the numbers at the nodes using the amplitudes in a certain way. This game has been studied previously by Proctor, Mozes, Bjorner, Eriksson, and Wildberger. We show that those connected such graphs for which the numbers game meets a certain finiteness requirement are precisely the Dynkin diagrams associated with the finite-dimensional complex simple Lie algebras. As a consequence of our proof we obtain the classifications of the finite-dimensional Kac-Moody algebras and of the finite Weyl groups. We use Coxeter group theory to establish a more general result that applies to Eriksson's E-games: an E-game meets the finiteness requirement if and only if a naturally associated Coxeter group is finite. To prove this and some other finiteness results we further develop Eriksson's theory of a geometric representation of Coxeter groups and observe some curious differences of this representation from the standard geometric representation.
An algorithm for map enumeration
Bauer and Itzykson showed that associated to each labeled map embedded on an oriented Riemann surface there was a group generated by a pair of permutations.
From this result an algorithm may be constructed for enumerating labeled maps, and this construction is easily augmented to bin the numbers by the genus of the surface the map is embedded in. The results agree with the calculations of Harer and Zagier of 1-vertex maps; with those of Bessis, Itzykson, and Zuber of 4-valent maps; and with those of Ercolani, McLaughlin, and Pierce for $2ν$-valent maps. We then modify this algorithm to one which counts unoriented maps or Mobius graphs. The results in this case agree with the calculation of Goulden and Jackson on 1-vertex unoriented maps.
Combinatorial Classes, Hyperelliptic Loci, and Hodge Integrals
A closed formula is obtained for the integral $\int_{\mathcal{\bar{H}}_g^1}κ_{1}ψ^{2g-2}$ of tautological classes over the locus of hyperelliptic Weierstraß points in the moduli space of curves. As a corollary, a relation between Hodge integrals is obtained.
The calculation utilizes the homeomorphism between the moduli space of curves $\mathcal{M}_{g,1}$ and the combinatorial moduli space $\mathcal{M}^{comb}_{g,1}$, a PL-orbifold whose cells are enumerated by fatgraphs. This cell decomposition can be used to naturally construct combinatorial PL-cycles $W_a\subset\mathcal{M}^{comb}_{g,1}$ whose homology classes are essentially the Poincaré duals of the Mumford-Morita-Miller classes $κ_a$. In this paper we construct another PL-cycle $\mathcal{H}^{comb}_g \subset \mathcal{M}^{comb}_{g,1}$ representing the locus of hyperelliptic Weierstraß points and explicitly describe the chain level intersection of this cycle with $W_1$. Using this description of $\mathcal{H}^{comb}_g\cap W_1$, the duality between Witten cycles $W_a$ and the $κ_a$ classes, and Kontsevich's scheme of integrating $ψ$ classes, the integral $\int_{\mathcal{\bar{H}}_g^1}κ_{1}ψ^{2g-2}$ is reduced to a weighted sum over graphs and is evaluated by the enumeration of trees.
Non-backtracking random walks mix faster
Published in Commun. Contemp. Math. 9 (2007), no. 4, 585-603
• View Publication
• BIB
We compute the mixing rate of a non-backtracking random walk on a regular expander. Using some properties of Chebyshev polynomials of the second kind, we show that this rate may be up to twice as fast as the mixing rate of the simple random walk. The closer the expander is to a Ramanujan graph, the higher the ratio between the above two mixing rates is.
As an application, we show that if $G$ is a high-girth regular expander on $n$ vertices, then a typical non-backtracking random walk of length $n$ on $G$ does not visit a vertex more than $(1+o(1))\frac{\log n}{\log\log n}$ times, and this result is tight. In this sense, the multi-set of visited vertices is analogous to the result of throwing $n$ balls to $n$ bins uniformly, in contrast to the simple random walk on $G$, which almost surely visits some vertex $Ω(\log n)$ times.
Component sizes of the random graph outside the scaling window
We provide simple proofs describing the behavior of the largest component of the Erdos-Renyi random graph G(n,p) outside of the scaling window, p={1+\eps(n) \over n} where \eps(n) tends to 0, but \eps(n)n^{1/3} tends to \infty.
Intrinsic linking and knotting are arbitrarily complex
Published in Fund. Math., vol. 201, no. 2, 2008, pp. 131-148
• View Publication
• BIB
We show that, given any $n$ and $α$, every embedding of any sufficiently large complete graph in $\mathbb{R}^3$ contains an oriented link with components $Q_1$, ..., $Q_n$ such that for every $i\not =j$, $|\lk(Q_i,Q_j)|\geqα$ and $|a_2(Q_i)|\geqα$, where $a_{2}(Q_i)$ denotes the second coefficient of the Conway polynomial of $Q_i$.
Happy endings for flip graphs
Published in Journal of Computational Geometry 1(1):3-28, 2010
• View Publication
• BIB
We show that the triangulations of a finite point set form a flip graph that can be embedded isometrically into a hypercube, if and only if the point set has no empty convex pentagon. Point sets of this type include convex subsets of lattices, points on two lines, and several other infinite families. As a consequence, flip distance in such point sets can be computed efficiently.
Chain Graphs have Unbounded Readability
A triangle-free graph $G$ is called read-$k$ when there exists a monotone Boolean formula $φ$ whose variables are the vertices of $G$ and whose minterms are precisely the edges of $G$, such that no variable occurs more than $k$ times in $φ$. The smallest such $k$ is called the readability of $G$. We exhibit a very simple class of bipartite chain graphs on $2n$ vertices with readability $Ω(\sqrt{\frac{\log n}{\log \log n}})$.
The mixing time of the giant component of a random graph
Published in Random Structures Algorithms 45:3 (2014), 383-407
• View Publication
• BIB
We show that the total variation mixing time of the simple random walk on the giant component of supercritical Erdos-Renyi graphs is log^2 n. This statement was only recently proved, independently, by Fountoulakis and Reed. Our proof follows from a structure result for these graphs which is interesting in its own right. We show that these graphs are "decorated expanders" - an expander glued to graphs whose size has constant expectation and exponential tail, and such that each vertex in the expander is glued to no more than a constant number of decorations.
Packing k-edge Trees in Graphs of Restricted Vertex Degrees
Published
• View Publication
• BIB
Let v(G) be the number of vertices and t(G,k) the maximum number of disjoint k-edge trees in G. In this paper we show that (a1) if G is a graph with every vertex of degree at least two and at most s, where s > 3, then t(G,2) is at least v(G)/(s+1), (a2) if G is a graph with every vertex of degree at least two and at most 3 and G has no 5-vertex components, then t(G,2) is at least v(G)/4, (a3) if G is a graph with every vertex of degree at least one and at most s and G has no k--vertex component, where k >1 and s > 2, then t(G,k) is at least (v(G) - k)/(sk - k +1), and (a4) the above bounds are attained for infinitely many connected graphs. Our proofs provide polynomial time algorithms for finding the corresponding packings in a graph.
Keywords: subgraph packing, 2-edge and k-edge paths, k-edge trees, polynomial time approximation algorithms.
MV3: A new word based stream cipher using rapid mixing and revolving buffers
Published
• View Publication
• BIB
MV3 is a new word based stream cipher for encrypting long streams of data. A direct adaptation of a byte based cipher such as RC4 into a 32- or 64-bit word version will obviously need vast amounts of memory. This scaling issue necessitates a look for new components and principles, as well as mathematical analysis to justify their use. Our approach, like RC4's, is based on rapidly mixing random walks on directed graphs (that is, walks which reach a random state quickly, from any starting point). We begin with some well understood walks, and then introduce nonlinearity in their steps in order to improve security and show long term statistical correlations are negligible. To minimize the short term correlations, as well as to deter attacks using equations involving successive outputs, we provide a method for sequencing the outputs derived from the walk using three revolving buffers. The cipher is fast -- it runs at a speed of less than 5 cycles per byte on a Pentium IV processor. A word based cipher needs to output more bits per step, which exposes more correlations for attacks. Moreover we seek simplicity of construction and transparent analysis. To meet these requirements, we use a larger state and claim security corresponding to only a fraction of it. Our design is for an adequately secure word-based cipher; our very preliminary estimate puts the security close to exhaustive search for keys of size < 256 bits.
On uniquely k-determined permutations
There are several approaches to study occurrences of consecutive patterns in permutations such as the inclusion-exclusion method, the tree representations of permutations, the spectral approach and others. We propose yet another approach to study occurrences of consecutive patterns in permutations. The approach is based on considering the graph of patterns overlaps, which is a certain subgraph of the de Bruijn graph.
While applying our approach, the notion of a uniquely $k$-determined permutation appears. We give two criteria for a permutation to be uniquely $k$-determined: one in terms of the distance between two consecutive elements in a permutation, and the other one in terms of directed hamiltonian paths in the certain graphs called path-schemes. Moreover, we describe a finite set of prohibitions that gives the set of uniquely $k$-determined permutations. Those prohibitions make applying the transfer matrix method possible for determining the number of uniquely $k$-determined permutations.
A Tight Bound for the Lamplighter Problem
We settle an open problem, raised by Y. Peres and D. Revelle, concerning the $L^2$ mixing time of the random walk on the lamplighter graph. We also provide general bounds relating the entropy decay of a Markov chain to the separation distance of the chain, and show that the lamplighter graphs once again provide examples of tightness of our results.
Boxicity and Maximum degree
Published
• View Publication
• BIB
An axis-parallel $d$--dimensional box is a Cartesian product $R_1 \times R_2 \times ... \times R_d$ where $R_i$ (for $1 \le i \le d$) is a closed interval of the form $[a_i, b_i]$ on the real line. For a graph $G$, its \emph{boxicity} $\boxi(G)$ is the minimum dimension $d$, such that $G$ is representable as the intersection graph of (axis--parallel) boxes in $d$--dimensional space. The concept of boxicity finds applications in various areas such as ecology, operation research etc. We show that for any graph $G$ with maximum degree $Δ$, $\boxi(G) \le 2 Δ^2 + 2$. That the bound does not depend on the number of vertices is a bit surprising considering the fact that there are highly connected bounded degree graphs such as expander graphs. Our proof is very short and constructive. We conjecture that $\boxi(G)$ is $O(Δ)$.