Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Smooth heaps and a dual view of self-adjusting data structures
Published
• View Publication
• BIB
We present a new connection between self-adjusting binary search trees (BSTs) and heaps, two fundamental, extensively studied, and practically relevant families of data structures. Roughly speaking, we map an arbitrary heap algorithm within a natural model, to a corresponding BST algorithm with the same cost on a dual sequence of operations (i.e. the same sequence with the roles of time and key-space switched). This is the first general transformation between the two families of data structures.
There is a rich theory of dynamic optimality for BSTs (i.e. the theory of competitiveness between BST algorithms). The lack of an analogous theory for heaps has been noted in the literature. Through our connection, we transfer all instance-specific lower bounds known for BSTs to a general model of heaps, initiating a theory of dynamic optimality for heaps.
On the algorithmic side, we obtain a new, simple and efficient heap algorithm, which we call the smooth heap. We show the smooth heap to be the heap-counterpart of Greedy, the BST algorithm with the strongest proven and conjectured properties from the literature, widely believed to be instance-optimal. Assuming the optimality of Greedy, the smooth heap is also optimal within our model of heap algorithms. As corollaries of results known for Greedy, we obtain instance-specific upper bounds for the smooth heap, with applications in adaptive sorting.
Intriguingly, the smooth heap, although derived from a non-practical BST algorithm, is simple and easy to implement (e.g. it stores no auxiliary data besides the keys and tree pointers). It can be seen as a variation on the popular pairing heap data structure, extending it with a "power-of-two-choices" type of heuristic.
Extreme points of Gram spectrahedra of binary forms
Published
• View Publication
• BIB
The Gram spectrahedron $\text{Gram}(f)$ of a form $f$ with real coefficients parametrizes the sum of squares decompositions of $f$, modulo orthogonal equivalence. For $f$ a sufficiently general positive binary form of arbitrary degree, we show that $\text{Gram}(f)$ has extreme points of all ranks in the Pataki range. This is the first example of a family of spectrahedra of arbitrarily large dimensions with this property. We also calculate the dimension of the set of rank $r$ extreme points, for any $r$. Moreover, we determine the pairs of rank two extreme points for which the connecting line segment is an edge of $\text{Gram}(f)$.
Distributed coloring in sparse graphs with fewer colors
Published in Electronic Journal of Combinatorics 26(4) (2019), P4.20
• View Publication
• BIB
This paper is concerned with efficiently coloring sparse graphs in the distributed setting with as few colors as possible. According to the celebrated Four Color Theorem, planar graphs can be colored with at most 4 colors, and the proof gives a (sequential) quadratic algorithm finding such a coloring. A natural problem is to improve this complexity in the distributed setting. Using the fact that planar graphs contain linearly many vertices of degree at most 6, Goldberg, Plotkin, and Shannon obtained a deterministic distributed algorithm coloring $n$-vertex planar graphs with 7 colors in $O(\log n)$ rounds. Here, we show how to color planar graphs with 6 colors in $\mbox{polylog}(n)$ rounds. Our algorithm indeed works more generally in the list-coloring setting and for sparse graphs (for such graphs we improve by at least one the number of colors resulting from an efficient algorithm of Barenboim and Elkin, at the expense of a slightly worst complexity). Our bounds on the number of colors turn out to be quite sharp in general. Among other results, we show that no distributed algorithm can color every $n$-vertex planar graph with 4 colors in $o(n)$ rounds.
Tilings and matroids on regular subdivisions of a triangle
In this paper we investigate a family of matroids introduced by Ardila and Billey to study one-dimensional intersections of complete flag arrangements of $\mathbb{C}^n$. The set of lattice points $P_n$ inside the equilateral triangle $S_n$ obtained by intersecting the nonnegative cone of $\mathbb{R}^3$ with the affine hyperplane $x_1 + x_2 + x_3 = n-1$ is the ground set of a matroid $\mathcal{T}_n$ whose independent sets are the subsets $S$ of $P_n$ satisfying that $|S \cap P| \le k$ for each translation $P$ of the set $P_k$. Here we study the structure of the matroids $\mathcal{T}_n$ in connection with tilings of $S_n$ into unit triangles, rhombi, and trapezoids. First, we characterize the independent sets of $\mathcal{T}_n$, extending a characterization of the bases of $\mathcal{T}_n$ already given by Ardila and Billey. Then we explore the connection between the rank function of $\mathcal{T}_n$ and the tilings of $S_n$ into unit triangles and rhombi. Then we provide a tiling characterization of the circuits of $\mathcal{T}_n$. We conclude with a geometric characterization of the flats of $\mathcal{T}_n$.
Schur Ring over Group $\Z_{2}^{n}$, Circulant $S-$Sets Invariant by Decimation and Hadamard Matrices
In this paper a variety of issues are discussed, Schur ring, $S$-sets, circulant orbits, decimation operator and Hadamard matrices and their relation between them is shown. Firstly we define the complete $S$-sets. Next, we study the structure of Schur ring with circulant basic sets over $\Z_{2}^{n}$ and we define the free and non-free circulant $S$-sets, the symmetric, non-symmetric and antisymmetric circulant $S$-sets. We prove that all this $S$-sets are invariants under decimation. Finally, we prove that if a Hadamard matrix exist then this is contained in a complete $S$-set. Also, we prove that can't exist circulant and with one core Hadamard matrices with some particular structure. These theorems include a result known on symmetric circulant Hadamard matrices of order $4n$ only when $n$ is an odd number.
Stability of circulant graphs
Published
• View Publication
• BIB
The canonical double cover $\mathrm{D}(Γ)$ of a graph $Γ$ is the direct product of $Γ$ and $K_2$. If $\mathrm{Aut}(\mathrm{D}(Γ))=\mathrm{Aut}(Γ)\times\mathbb{Z}_2$ then $Γ$ is called stable; otherwise $Γ$ is called unstable. An unstable graph is nontrivially unstable if it is connected, non-bipartite and distinct vertices have different neighborhoods. In this paper we prove that every circulant graph of odd prime order is stable and there is no arc-transitive nontrivially unstable circulant graph. The latter answers a question of Wilson in 2008. We also give infinitely many counterexamples to a conjecture of Marušič, Scapellato and Zagaglia Salvi in 1989 by constructing a family of stable circulant graphs with compatible adjacency matrices.
Gallai-Ramsey numbers for books
Published
• View Publication
• BIB
Given a graph $G$ and a positive integer $k$, the \emph{Gallai-Ramsey number} is defined to be the minimum number of vertices $n$ such that any $k$-edge coloring of $K_n$ contains either a rainbow (all different colored) triangle or a monochromatic copy of $G$. In this paper, we obtain general upper and lower bounds on the Gallai-Ramsey numbers for books $B_{m} = K_{2} + \overline{K_{m}}$ and prove sharp results for $m \leq 5$.
On ranks of polynomials
Published
• View Publication
• BIB
Let $V$ be a vector space over a field $k, P:V\to k, d\geq 3$. We show the existence of a function $C(r,d)$ such that $rank (P)\leq C(r,d)$ for any field $k,char (k)>d$, a finite-dimensional $k$-vector space $V$ and a polynomial $P:V\to k$ of degree $d$ such that $rank(\partial P/\partial t)\leq r$ for all $t\in V-0$. Our proof of this theorem is based on the application of results on Gowers norms for finite fields $k$. We don't know a direct proof in the case when $k=\mathbb C$.
The step Sidorenko property and non-norming edge-transitive graphs
Sidorenko's Conjecture asserts that every bipartite graph H has the Sidorenko property, i.e., a quasirandom graph minimizes the density of H among all graphs with the same edge density. We study a stronger property, which requires that a quasirandom multipartite graph minimizes the density of H among all graphs with the same edge densities between its parts; this property is called the step Sidorenko property. We show that many bipartite graphs fail to have the step Sidorenko property and use our results to show the existence of a bipartite edge-transitive graph that is not weakly norming; this answers a question of Hatami [Israel J. Math. 175 (2010), 125-150].
Directed cycles have the edge-Erd\H os-Pósa property
In this short note we prove that for every $k\in \mathbb{N}$ there is a $t_k\in\mathbb{N}$ such that for every digraph $G$ there are either $k$ edge-disjoint directed cycles in $G$ or a set $X$ of at most $t_k$ edges such that $G-X$ contains no directed cycle.
A note on packing of uniform hypergraphs
Published
• View Publication
• BIB
A packing of two $k$-uniform hypergraphs $H_1$ and $H_2$ is a set $\{H_1', H_2'\}$ of edge-disjoint sub-hypergraphs of the complete $k$-uniform hypergraph $K_n^{(k)}$ such that $H_1'\cong H_1$ and $H_2'\cong H_2$. Whilst the problem of packing of graphs (i.e. 2-uniform hypergraphs) has been studied extensively since seventies with many sharp results, much less is known about packing of general hypergraphs. In this paper we attempt to find the minimum possible sum of sizes $m(n,k)$ of two $k$-uniform, $n$-vertex hypergaphs which do not pack. We also prove a sufficient condition on the product of maximum degrees, which guarantees the packing.
Algebraically grid-like graphs have large tree-width
By the Grid Minor Theorem of Robertson and Seymour, every graph of sufficiently large tree-width contains a large grid as a minor. Tree-width may therefore be regarded as a measure of 'grid-likeness' of a graph.
The grid contains a long cycle on the perimeter, which is the $\mathbb{F}_2$-sum of the rectangles inside. Moreover, the grid distorts the metric of the cycle only by a factor of two. We prove that every graph that resembles the grid in this algebraic sense has large tree-width:
Let $k, p$ be integers, $γ$ a real number and $G$ a graph. Suppose that $G$ contains a cycle of length at least $2 γp k$ which is the $\mathbb{F}_2$-sum of cycles of length at most $p$ and whose metric is distorted by a factor of at most $γ$. Then $G$ has tree-width at least $k$.
Perfect shuffling by lazy swaps
Published
• View Publication
• BIB
We characterize the minimum-length sequences of independent lazy simple transpositions whose composition is a uniformly random permutation. For every reduced word of the reverse permutation there is exactly one valid way to assign probabilities to the transpositions. It is an open problem to determine the minimum length of such a sequence when the simplicity condition is dropped.
Counting subgraphs in fftp graphs with symmetry
Published in Math. Proc. Camb. Phil. Soc. 170 (2021) 327-353
• View Publication
• BIB
Following ideas that go back to Cannon, we show the rationality of various generating functions of growth sequences counting embeddings of convex subgraphs in locally-finite, vertex-transitive graphs with the (relative) falsification by fellow traveler property (fftp). In particular, we recover results of Cannon, of Epstein, Iano-Fletcher and Zwick, and of Calegari and Fujiwara. One of our applications concerns Schreier coset graphs of hyperbolic groups relative to quasi-convex subgroups, we show that these graphs have rational growth, the falsification by fellow traveler property, and the existence of a lower bound for the growth rate independent of the finite generating set and the infinite index quasi-convex subgroup.
Permutation polynomials over $\mathbb{F}_{q^2}$ from rational functions
Let $μ_{q+1}$ denote the set of $(q+1)$-th roots of unity in $\mathbb{F}_{q^2 }$. We construct permutation polynomials over $\mathbb{F}_{q^2}$ by using rational functions of any degree that induce bijections either on $μ_{q+1}$ or between $μ_{q+1}$ and $\mathbb{F}_q \cup \{\infty\}$. In particular, we generalize results from Zieve.
Graphs with at most two trees in a forest building process
Published
• View Publication
• BIB
Given a graph, we can form a spanning forest by first sorting the edges in some order, and then only keep edges incident to a vertex which is not incident to any previous edge. The resulting forest is dependent on the ordering of the edges, and so we can ask, for example, how likely is it for the process to produce a graph with $k$ trees.
We look at all graphs which can produce at most two trees in this process and determine the probabilities of having either one or two trees. From this we construct infinite families of graphs which are non-isomorphic but produce the same probabilities.
Resolution of Conjectures Related to Lights Out! and Cartesian Products
Published
• View Publication
• BIB
Lights Out! is a game played on a $5 \times 5$ grid of lights, or more generally on a graph. Pressing lights on the grid allows the player to turn off neighboring lights. The goal of the game is to start with a given initial configuration of lit lights and reach a state where all lights are out. Two conjectures posed in a recently published paper about Lights Out! on Cartesian products of graphs are resolved.
Vertex connectivity of Deza graphs with parameters of complements to Seidel graphs
Published
• View Publication
• BIB
In this paper we find the vertex connectivity of Deza graphs with parameters of the complements to Seidel graphs. In particular, we present an infinite family of strictly Deza graphs whose vertex connectivity is equal to $k-1$, where $k$ is the valency.
Solved and unsolved problems about abelian squares
We present and discuss a number of known results and open problems abelian squares in words on small alphabets.
Homotopy type of the neighborhood complexes of graphs of maximal degree at most $3$ and $4$-regular circulant graphs
Published in The Electronic Journal of Combinatorics, 26, no. 2 (2019): P2.4
• View Publication
• BIB
To estimate the lower bound for the chromatic number of a graph $G$, Lovász associated a simplicial complex $\mathcal{N}(G)$ called the neighborhood complex and relates the topological connectivity of $\mathcal{N}(G)$ to the chromatic number of $G$. More generally he proved that the chromatic number of $G$ is bounded below by the topological connectivity of $\mathcal{N}(G)$ plus $3$.
In this article, we consider the graphs of maximal degree at most $3$ and $4$-regular circulant graphs. We show that each connected component of the neighborhood complexes of these graphs is homotopy equivalent either to a point, to a wedge sum of circles, to a wedge sum of $2$-spheres $S^2$, to $S^3$, to a garland of $2$-spheres $S^2$ or to a connected sum of tori.