natural ↗ reference
4894 papers tagged with this keyword
Graphs with large generalized (edge-)connectivity
Published
• View Publication
• BIB
The generalized $k$-connectivity $κ_k(G)$ of a graph $G$, introduced by Hager in 1985, is a nice generalization of the classical connectivity. Recently, as a natural counterpart, we proposed the concept of generalized $k$-edge-connectivity $λ_k(G)$. In this paper, graphs of order $n$ such that $κ_k(G)=n-\frac{k}{2}-1$ and $λ_k(G)=n-\frac{k}{2}-1$ for even $k$ are characterized.
Canonical Forms and Automorphisms in the Projective Space
Let $\C$ be a sequence of multisets of subspaces of a vector space $\F_q^k$. We describe a practical algorithm which computes a canonical form and the stabilizer of $\C$ under the group action of the general semilinear group. It allows us to solve canonical form problems in coding theory, i.e. we are able to compute canonical forms of linear codes, $\F_{q}$-linear block codes over the alphabet $\F_{q^s}$ and random network codes under their natural notion of equivalence. The algorithm that we are going to develop is based on the partition refinement method and generalizes a previous work by the author on the computation of canonical forms of linear codes.
Associative and commutative tree representations for Boolean functions
Published
• View Publication
• BIB
Since the 90's, several authors have studied a probability distribution on the set of Boolean functions on $n$ variables induced by some probability distributions on formulas built upon the connectors $And$ and $Or$ and the literals $\{x_{1}, \bar{x}_{1}, \dots, x_{n}, \bar{x}_{n}\}$. These formulas rely on plane binary labelled trees, known as Catalan trees. We extend all the results, in particular the relation between the probability and the complexity of a Boolean function, to other models of formulas: non-binary or non-plane labelled trees (i.e. Polya trees). This includes the natural tree class where associativity and commutativity of the connectors $And$ and $Or$ are realised.
Interval exchanges, admissibility and branching Rauzy induction
Published
• View Publication
• BIB
We introduce a definition of admissibility for subintervals in interval exchange transformations. Using this notion, we prove a property of the natural codings of interval exchange transformations, namely that any derived set of a regular interval exchange set is a regular interval exchange set with the same number of intervals. Derivation is taken here with respect to return words. We characterize the admissible intervals using a branching version of the Rauzy induction. We also study the case of regular interval exchange transformations defined over a quadratic field and show that the set of factors of such a transformation is primitive morphic. The proof uses an extension of a result of Boshernitzan and Carroll.
An equivariant discrete model for complexified arrangement complements
Published
• View Publication
• BIB
We define a partial ordering on the set Q = Q(M) of pairs of topes of an oriented matroid M, and show the geometric realization |Q| of the order complex of Q has the same homotopy type as the Salvetti complex of M. For any element e of the ground set, the complex |Qe| associated to the rank-one oriented matroid on {e} has the homotopy type of the circle. There is a natural free simplicial action of Z4 on |Q|, with orbit space isomorphic to the order complex of the poset Q(M,e) associated to the pointed (or affine) oriented matroid (M,e). If M is the oriented matroid of an arrangement A of linear hyperplanes in real space, the Z_4 action corresponds to the diagonal action of C* on the complement M of the complexification of A: |Q| is equivariantly homotopy-equivalent to M under the identification of Z_4 with {+1, i, -1, -i}, and |Q(M, e)| is homotopy-equivalent to the complement of the decone of A relative to the hyperplane corresponding to e. All constructions and arguments are carried out at the level of the underlying posets. If a group G acts on the set of topes of M preserving adjacency, then G acts simplicially on |Q|. We also show that the class of fundamental groups of such complexes is strictly larger than the class of fundamental groups of complements of complex hyperplane arrangements. Specifically, the group of the non-Pappus arrange- ment is not isomorphic to any realizable arrangement group.
Tropical Convexity and Canonical Projections
Using a potential theory on metric graphs "Gamma", we introduce the notion of tropical convexity to the space "RDiv^d(Gamma)" of effective R-divisors of degree d on "Gamma" and show that a natural metric can be defined on "RDiv^d(Gamma)". In addition, we extend the notion of reduced divisors which is conventionally defined in a complete linear system |D| with respect to a single point in "Gamma". In our general setting, a reduced divisor is defined uniquely as an R-divisor in a compact tropical convex subset "T" of "RDiv^d(Gamma)" with respect to a certain R-divisor "E" of the same degree d. In this sense, we consider reduced divisors as canonical projections onto "T". We also investigate some basic properties of tropical convex sets using techniques developed from general reduced divisors.
On Balanced Coloring Games in Random Graphs
Published
• View Publication
• BIB
Consider the balanced Ramsey game, in which a player has r colors and where in each step r random edges of an initially empty graph on n vertices are presented. The player has to immediately assign a different color to each edge and her goal is to avoid creating a monochromatic copy of some fixed graph F for as long as possible. The Achlioptas game is similar, but the player only loses when she creates a copy of F in one distinguished color. We show that there is an infinite family of non-forests F for which the balanced Ramsey game has a different threshold than the Achlioptas game, settling an open question by Krivelevich et al. We also consider the natural vertex analogues of both games and show that their thresholds coincide for all graphs F, in contrast to our results for the edge case.
Further hardness results on the generalized connectivity of graphs
The generalized $k$-connectivity $κ_k(G)$ of a graph $G$ was introduced by Chartrand et al. in 1984, which is a nice generalization of the classical connectivity. Recently, as a natural counterpart, Li et al. proposed the concept of generalized edge-connectivity for a graph. In this paper, we determine the computational complexity of the generalized connectivity and generalized edge-connectivity of a graph. Two conjectures are also proved to be true.
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.
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 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.
Partition regularity with congruence conditions
Published in J. Comb. 4 (2013), no. 3, 293-297
• View Publication
• BIB
An infinite integer matrix A is called image partition regular if, whenever the natural numbers are finitely coloured, there is an integer vector x such that Ax is monochromatic. Given an image partition regular matrix A, can we also insist that each variable x_i is a multiple of some given d_i? This is a question of Hindman, Leader and Strauss.
Our aim in this short note is to show that the answer is negative. As an application, we disprove a conjectured equivalence between the two main forms of partition regularity, namely image partition regularity and kernel partition regularity.
Contributions to the theory of de Bruijn cycles
A de Bruijn cycle is a cyclic listing of length A, of a collection of A combinatorial objects, so that each object appears exactly once as a set of consecutive elements in the cycle. In this paper, we show the power of de Bruijn's original theorem, namely that the cycles bearing his name exist for n-letter words on a k-letter alphabet for all values of k,n, to prove that we can create de Bruijn cycles for the assignment of elements of [n]={1,2,....,n} to the sets in any labeled subposet of the Boolean lattice; de Bruijn's theorem corresponds to the case when the subposet in question consists of a single ground element. The landmark work of Chung, Diaconis, and Graham extended the agenda of finding de Bruijn cycles to possibly the next most natural set of combinatorial objects, namely k-subsets of [n]. In this area, important contributions have been those of Hurlbert and Rudoy. Here we follow the direction of Blanca and Godbole, who proved that, in a suitable encoding, de Bruijn cycles can be created for the subsets of [n$ of size in the interval [s,t]; 0<=s<t<=n$. In this paper we generalize this result to exhibit existence of de Bruijn cycles for words with weight between s and t, where these parameters are suitably restricted.
Bootstrap percolation on Galton-Watson trees
Bootstrap percolation is a type of cellular automaton which has been used to model various physical phenomena, such as ferromagnetism. For each natural number $r$, the $r$-neighbour bootstrap process is an update rule for vertices of a graph in one of two states: `infected' or `healthy'. In consecutive rounds, each healthy vertex with at least $r$ infected neighbours becomes itself infected. Percolation is said to occur if every vertex is eventually infected.
Usually, the starting set of infected vertices is chosen at random, with all vertices initially infected independently with probability $p$. In that case, given a graph $G$ and infection threshold $r$, a quantity of interest is the critical probability, $p_c(G,r)$, at which percolation becomes likely to occur. In this paper, we look at infinite trees and, answering a problem posed by Balogh, Peres and Pete, we show that for any $b \geq r$ and for any $ε> 0$ there exists a tree $T$ with branching number $\br(T) = b$ and critical probability $p_c(T,r) < ε$. However, this is false if we limit ourselves to the well-studied family of Galton--Watson trees. We show that for every $r \geq 2$ there exists a constant $c_r>0$ such that if $T$ is a Galton--Watson tree with branching number $\br(T) = b \geq r$ then p_c(T,r) > \frac{c_r}{b} e^{-\frac{b}{r-1}}.
We also show that this bound is sharp up to a factor of $O(b)$ by giving an explicit family of Galton--Watson trees with critical probability bounded from above by $C_r e^{-\frac{b}{r-1}}$ for some constant $C_r>0$.
Regular graphs and the spectra of two-variable logic with counting
The {\em spectrum} of a first-order logic sentence is the set of natural numbers that are cardinalities of its finite models. In this paper we show that when restricted to using only two variables, but allowing counting quantifiers, the spectra of first-order logic sentences are semilinear and hence, closed under complement. At the heart of our proof are semilinear characterisations for the existence of regular and biregular graphs, the class of graphs in which there are a priori bounds on the degrees of the vertices.
Our proof also provides a simple characterisation of models of two-variable logic with counting -- that is, up to renaming and extending the relation names, they are simply a collection of regular and biregular graphs.
Robust Toric Ideals
Published
• View Publication
• BIB
We call an ideal in a polynomial ring robust if it can be minimally generated by a universal Gröbner basis. In this paper we show that robust toric ideals generated by quadrics are essentially determinantal. We then discuss two possible generalizations to higher degree, providing a tight classification for determinantal ideals, and a counterexample to a natural extension for Lawrence ideals. We close with a discussion of robustness of higher Betti numbers.
Counting The Generator Matrices of $\mathbb{Z}_{2}\mathbb{Z}_{8}$-Codes
In this paper, we count the number of matrices whose rows generate different $\mathbb{Z}_2\mathbb{Z}_8$ additive codes. This is a natural generalization of the well known Gaussian numbers that count the number of matrices whose rows generate vector spaces with particular dimension over finite fields. Due to this similarity we name this numbers as Mixed Generalized Gaussian Numbers (MGN). The MGN formula by specialization leads to the well known formula for the number of binary codes and the number of codes over $\mathbb{Z}_8,$ and for additive $\mathbb{Z}_2\mathbb{Z}_4$ codes. Also, we conclude by some properties and examples of the MGN numbers that provide a good source for new number sequences that are not listed in The On-Line Encyclopedia of Integer Sequences.
The smallest nonevasive graph property
Published
• View Publication
• BIB
A property of n-vertex graphs is called evasive if every algorithm testing this property by asking questions of the form "is there an edge between vertices u and v" requires, in the worst case, to ask about all pairs of vertices. Most "natural" graph properties are either evasive or conjectured to be such, and of the few examples of nontrivial nonevasive properties scattered in the literature the smallest one has n=6. We exhibit a nontrivial, nonevasive property of 5-vertex graphs and show that it is essentially the unique such with n at most 5.
Non-uniqueness phase of Bernoulli percolation on reflection groups for some polyhedra in H^3
Published
• View Publication
• BIB
In the present paper I consider Cayley graphs of reflection groups of finite-sided Coxeter polyhedra in 3-dimensional hyperbolic space H^3, with standard sets of generators. As the main result, I prove the existence of non-trivial non-uniqueness phase of bond and site Bernoulli percolation on such graphs, i.e. that p_c < p_u, for two classes of such polyhedra:
* for any k-hedra as above with k at least 13;
* for any compact right-angled polyhedra as above.
I also establish a natural lower bound for the growth rate of such Cayley graphs (when the number of faces of the polyhedron is at least 6; see thm. 5.2) and an upper bound for the growth rate of the sequence (#{simple cycles of length n through o})_n for a regular graph of degree at least 2 with a distinguished vertex o, depending on its spectral radius (see thm. 5.1 and rem. 2.3), both used to prove the main result.
The generalized 3-connectivity of random graphs
The generalized connectivity of a graph $G$ was introduced by Chartrand et al. Let $S$ be a nonempty set of vertices of $G$, and $κ(S)$ be defined as the largest number of internally disjoint trees $T_1, T_2, \cdots, T_k$ connecting $S$ in $G$. Then for an integer $r$ with $2 \leq r \leq n$, the {\it generalized $r$-connectivity} $κ_r(G)$ of $G$ is the minimum $κ(S)$ where $S$ runs over all the $r$-subsets of the vertex set of $G$. Obviously, $κ_2(G)=κ(G)$, is the vertex connectivity of $G$, and hence the generalized connectivity is a natural generalization of the vertex connectivity. Similarly, let $λ(S)$ denote the largest number $k$ of pairwise edge-disjoint trees $T_1, T_2, \ldots, T_k$ connecting $S$ in $G$. Then the {\it generalized $r$-edge-connectivity} $λ_r(G)$ of $G$ is defined as the minimum $λ(S)$ where $S$ runs over all the $r$-subsets of the vertex set of $G$. Obviously, $λ_2(G) = λ(G)$.
In this paper, we study the generalized 3-connectivity of random graphs and prove that for every fixed integer $k\geq 1$, $$p=\frac{\log n+(k+1)\log \log n -\log \log \log n}{n}$$ is a sharp threshold function for the property $κ_3(G(n, p)) \geq k$, which could be seen as a counterpart of Bollobás and Thomason's result for vertex connectivity. Moreover, we obtain that $δ(G(n,p)) - 1 = λ(G(n,p)) - 1 = κ(G(n,p)) - 1 \le {κ_3}(G(n,p)) \le {λ_3}(G(n,p)) \le κ(G(n,p)) = λ(G(n,p)) = δ(G(n,p))$ almost surely holds, which could be seen as a counterpart of Ivchenko's result.