Showing 20 papers (Total: 82311 papers, 47607 authors in database)
Infinite Motion and 2-Distinguishability of Graphs and Groups
Published
• View Publication
• BIB
A group A acting faithfully on a set X is 2-distinguishable if there is a 2-coloring of X that is not preserved by any nonidentity element of A, equivalently, if there is a proper subset of X with trivial setwise stabilizer. The motion of an element a in A is the number of points of X that are moved by a, and the motion of the group A is the minimal motion of its nonidentity elements. For finite A, the Motion Lemma says that if the motion of A is large enough (specifically at least 2 log_2 |A|), then the action is 2-distinguishable. For many situations where X has a combinatorial or algebraic structure, the Motion Lemma implies the action of Aut(X) on X is 2-distinguishable in all but finitely many instances.
We prove an infinitary version of the Motion Lemma for countably infinite permutation groups, which states that infinite motion is large enough to guarantee 2-distinguishability. From this we deduce a number of results, including the fact that every locally finite, connected graph whose automorphism group is countably infinite is 2-distinguishable. One cannot extend the Motion Lemma to uncountable permutation groups, but nonetheless we prove that 2-distinguishable permutation groups with infinite motion are dense in the class of groups with infinite motion. We conjecture an extension of the Motion Lemma which we expect holds for a restricted class of uncountable permutation groups, and we conclude with a list of open questions. The consequences of our results are drawn for orbit equivalence of infinite permutation groups.
Skyscraper Numbers
Published in The Journal of Integer Sequences, v.13 (2010), Article 10.8.7
• Search Publication
We introduce numbers depending on three parameters which we call skyscraper numbers. We discuss properties of these numbers and their relationship with Stirling numbers of the first kind, and we also introduce a skyscraper sequence.
Contiguous relations and summation and transformation formulas for basic hypergeometric series
Published
• View Publication
• BIB
By using contiguous relations for basic hypergeometric series, we give simple proofs of Bailey's $_4φ_3$ summation, Carlitz's $_5φ_4$ summation, Sears' $_3φ_2$ to $_5φ_4$ transformation, Sears' ${}_4φ_3$ transformations, Chen's bibasic summation, Gasper's split poised $_{10}φ_9$ transformation, Chu's bibasic symmetric transformation. Along the same line, finite forms of Sylvester's identity, Jacobi's triple product identity, and Kang's identity are also obtained.
A polynomial representation and a unique code of a simple undirected graph
Published
• View Publication
• BIB
In this note we introduce a representation of simple undirected graphs in terms of polynomials and obtain a unique code for a simple undirected graph.
Phase Transition of Random Non-Uniform Hypergraphs
Published in Journal of Discrete Algorithms (2015), pp. 26-39
• View Publication
• BIB
Non-uniform hypergraphs appear in various domains of computer science as in the satisfiability problems and in data analysis. We analyse a general model where the probability for an edge of size $t$ to belong to the hypergraph depends of a parameter $ω_t$ of the model. It is a natural generalization of the models of graphs presented in "The first cycles in an evolving graph" [Flajolet, Knuth, Pittel, 1989] and in the "Birth of the giant component" [Janson, Knuth, Łuczak, Pittel, 1993]. The present paper follows the same general approach based on analytic combinatorics. We show that many analytic tools developed for the analysis of graphs can be extended surprisingly well to non-uniform hypergraphs. Specifically, we investigate random hypergraphs with a large number of vertices $n$ and a complexity, defined as the "excess", proportional to $n$. We analyze their typical structure before, near and after the birth of the "complex" components, that are the connected components with more than one cycle. Finally, we compute statistics of the model to link number of edges and excess.
The Regularity Lemma with bounded VC Dimension
We give a proof of Szemeredi's regularity lemma in the special case of a graph with bounded VC dimension and show that it is possible to obtain "merely" doubly exponential bounds on the size of the partition in this case.
Separating Hierarchical and General Hub Labelings
Published
• View Publication
• BIB
In the context of distance oracles, a labeling algorithm computes vertex labels during preprocessing. An $s,t$ query computes the corresponding distance from the labels of $s$ and $t$ only, without looking at the input graph. Hub labels is a class of labels that has been extensively studied. Performance of the hub label query depends on the label size. Hierarchical labels are a natural special kind of hub labels. These labels are related to other problems and can be computed more efficiently. This brings up a natural question of the quality of hierarchical labels. We show that there is a gap: optimal hierarchical labels can be polynomially bigger than the general hub labels. To prove this result, we give tight upper and lower bounds on the size of hierarchical and general labels for hypercubes.
The 6-strand braid group is CAT(0)
Published in Geom Dedicata (2016) 182: 263
• View Publication
• BIB
We show that braid groups with at most 6 strands are CAT(0) using the close connection between these groups, the associated non-crossing partition complexes and the embeddability of their diagonal links into spherical buildings of type A. Furthermore, we prove that the orthoscheme complex of any bounded graded modular complemented lattice is CAT(0), giving a partial answer to a conjecture of Brady and McCammond.
Multidimensional Catalan and related numbers as Hausdorff moments
Published in Probability and Mathematical Statistics, vol. 33, Fasc. 2 (2013), pp. 265-274, (10 pages)
• Search Publication
We study integral representation of so-called $d$-dimensional Catalan numbers $C_{d}(n)$, defined by $[\prod_{p=0}^{d-1} \frac{p!}{(n+p)!}] (d n)!$, $d = 2, 3, ...$, $n=0, 1, ...$. We prove that the $C_{d}(n)$'s are the $n$th Hausdorff power moments of positive functions $W_{d}(x)$ defined on $x\in[0, d^d]$. We construct exact and explicit forms of $W_{d}(x)$ and demonstrate that they can be expressed as combinations of $d-1$ hypergeometric functions of type $_{d-1}F_{d-2}$ of argument $x/d^d$. These solutions are unique. We analyse them analytically and graphically. A combinatorially relevant, specific extension of $C_{d}(n)$ for $d$ even in the form $D_{d}(n)=[\prod_{p = 0}^{d-1} \frac{p!}{(n+p)!}] [\prod_{q = 0}^{d/2 - 1} \frac{(2 n + 2 q)!}{(2 q)!}]$ is analyzed along the same lines.
Critical Groups of Graphs with Dihedral Actions
Published
• View Publication
• BIB
In this paper we consider the critical group of finite connected graphs which admit harmonic actions by the dihedral group $D_n$. In particular, we show that if the orbits of the $D_n$-action all have either $n$ or $2n$ points then the critical group of such a graph can be decomposed in terms of the critical groups of the quotients of the graph by certain subgroups of the automorphism group. This is analogous to a theorem of Kani and Rosen which decomposes the Jacobians of algebraic curves with a $D_n$-action.
Leading Coefficients of Kazhdan--Lusztig Polynomials in Type $D$
Kazhdan--Lusztig polynomials arise in the context of Hecke algebras associated to Coxeter groups. The computation of these polynomials is very difficult for examples of even moderate rank. In type $A$ it is known that the leading coefficient, $μ(x,w)$ of a Kazhdan--Lusztig polynomial $P_{x,w}$ is either 0 or 1 when $x$ is fully commutative and $w$ is arbitrary. In type $D$ Coxeter groups there are certain "bad" elements that make $μ$-value computation difficult.
The Robinson--Schensted correspondence between the symmetric group and pairs of standard Young tableaux gives rise to a way to compute cells of Coxeter groups of type $A$. A lesser known correspondence exists for signed permutations and pairs of so-called domino tableaux, which allows us to compute cells in Coxeter groups of types $B$ and $D$. I will use this correspondence in type $D$ to compute $μ$-values involving bad elements. I will conclude by showing that $μ(x,w)$ is 0 or 1 when $x$ is fully commutative in type $D$.
On $K_5$ and $K_{3,3}$-minors of graphs and regular matroids
In this paper we prove two main results about obstruction to graph planarity. One is that, if $G$ is a 3-connected graph with a $K_5$-minor and $T$ is a triangle of $G$, then $G$ has a $K_5$-minor $H$, such that $E(T)\cont E(H)$.
Other is that if $G$ is a 3-connected simple non-planar graph not isomorphic to $K_5$ and $e,f\in E(G)$, then $G$ has a minor $H$ such that $e,f\in E(H)$ and, up to isomorphisms, $H$ is one of the four non-isomorphic simple graphs obtained from $K_{3,3}$ by the addiction of \,0, 1 or 2 edges. We generalize this second result to the class of the regular matroids.
Clifford's Theorem for graphs
Published
• View Publication
• BIB
Let $Γ$ be a metric graph having a linear system $g^r_{2r}$ for some $2 \leq r \leq g-2$ then $Γ$ has a linear system $g^1_2$. This is similar to the well-known Clifford's Theorem from the theory of linear systems on smooth projective curves.
$k$-protected vertices in binary search trees
We show that for every $k$, the probability that a randomly selected vertex of a random binary search tree on $n$ nodes is at distance $k-1$ from the closest leaf converges to a rational constant $c_k$ as $n$ goes to infinity.
A survey on the skew energy of oriented graphs
Let $G$ be a simple undirected graph with adjacency matrix $A(G)$. The energy of $G$ is defined as the sum of absolute values of all eigenvalues of $A(G)$, which was introduced by Gutman in 1970s. Since graph energy has important chemical applications, it causes great concern and has many generalizations. The skew energy and skew energy-like are the generalizations in oriented graphs. Let $G^σ$ be an oriented graph of $G$ with skew adjacency matrix $S(G^σ)$. The skew energy of $G^σ$, denoted by $\mathcal{E}_S(G^σ)$, is defined as the sum of the norms of all eigenvalues of $S(G^σ)$, which was introduced by Adiga, Balakrishnan and So in 2010. In this paper, we summarize main results on the skew energy of oriented graphs. Some open problems are proposed for further study. Besides, results on the skew energy-like: the skew Laplacian energy and skew Randić energy are also surveyed at the end.
The distribution of second degrees in the Buckley-Osthus random graph model
Published
• View Publication
• BIB
In this paper we consider a well-known generalization of the Barabási and Albert preferential attachment model - the Buckley-Osthus model. Buckley and Osthus proved that in this model the degree sequence has a power law distribution. As a natural (and arguably more interesting) next step, we study the second degrees of vertices. Roughly speaking, the second degree of a vertex is the number of vertices at distance two from this vertex. The distribution of second degrees is of interest because it is a good approximation of PageRank, where the importance of a vertex is measured by taking into account the popularity of its neighbors.
We prove that the second degrees also obey a power law. More precisely, we estimate the expectation of the number of vertices with the second degree greater than or equal to k and prove the concentration of this random variable around its expectation using the now-famous Talagrand's concentration inequality over product spaces. As far as we know this is the only application of Talagrand's inequality to random web graphs, where the (preferential attachment) edges are not defined over a product distribution, making the application nontrivial, and requiring certain novelty.
On Sidon sets which are asymptotic bases of order 4
Published
• View Publication
• BIB
In this paper we prove the existence of Sidon sets which are asymptotic bases of order 4 by using probabilistic methods.
On the existence of tight relative 2-designs on binary Hamming association schemes
Published
• View Publication
• BIB
It is known that there is a close analogy between "Euclidean t-designs vs. spherical t-designs" and "Relative t-designs in binary Hamming association schemes vs. combinatorial t-designs". In this paper, we want to prove how much we can develop a similar theory in the latter situation, imitating the theory in the former one. We first prove that the weight function is constant on each shell for tight relative t-designs on p shells on a wide class of Q-polynomial association schemes, including Hamming association schemes. In the theory of Euclidean t-designs on 2 concentric spheres (shells), it is known that the structure of coherent configurations is naturally attached. However, it seems difficult to prove this claim in a general context. In the case of tight 2-designs in combinatorial 2-designs, there are great many tight 2-designs, i.e., symmetric 2-designs, while there are very few tight 2e-designs for e no less than 2. So, as a starting point, we concentrate our study to the existence problem of tight relative 2-designs, in particular on 2 shells, in binary Hamming association schemes H(n,2). We prove that every tight relative 2-designs on 2 shells in H(n,2) has the structure of coherent configuration. We determined all the possible parameters of coherent configurations attached to such tight relative 2-designs for n at most 30. Moreover for each of them we determined whether there exists such a tight relative 2-design or not, either by constructing them from symmetric 2-designs or Hadamard matrices, or theoretically showing the non-existence. In particular, we show that for n congruent to 6 (mod 8), there exist such tight relative 2-designs whose weight functions are not constant. These are the first examples of those with non-constant weight.
Graph isomorphism and adiabatic quantum computing
Published in Phys. Rev. A vol. 89, 022342 (2014)
• View Publication
• BIB
In the Graph Isomorphism problem two N-vertex graphs G and G' are given and the task is to determine whether there exists a permutation of the vertices of G that preserves adjacency and transforms G into G'. If yes, then G and G' are said to be isomorphic; otherwise they are non-isomorphic. The GI problem is an important problem in computer science and is thought to be of comparable difficulty to integer factorization. In this paper we present a quantum algorithm that solves arbitrary instances of GI and can also determine all automorphisms of a given graph. We show how the GI problem can be converted to a combinatorial optimization problem that can be solved using adiabatic quantum evolution. We numerically simulate the algorithm's quantum dynamics and show that it correctly: (i) distinguishes non-isomorphic graphs; (ii) recognizes isomorphic graphs; and (iii) finds all automorphisms of a given graph G. We then discuss the GI quantum algorithm's experimental implementation, and close by showing how it can be leveraged to give a quantum algorithm that solves arbitrary instances of the NP-Complete Sub-Graph Isomorphism problem.
On the probability of being synchronizable
Published
• View Publication
• BIB
We prove that a random automaton with $n$ states and any fixed non-singleton alphabet is synchronizing with high probability (modulo an unpublished result about unique highest trees of random graphs). Moreover, we also prove that the convergence rate is exactly $1-Θ(\frac{1}{n})$ as conjectured by [Cameron, 2011] for the most interesting binary alphabet case. Finally, we present a deterministic algorithm which decides whether a given random automaton is synchronizing in linear in $n$ expected time and prove that it is optimal.