Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Multiple coverings with closed polygons
A planar set $P$ is said to be cover-decomposable if there is a constant $k=k(P)$ such that every $k$-fold covering of the plane with translates of $P$ can be decomposed into two coverings. It is known that open convex polygons are cover-decomposable. Here we show that closed, centrally symmetric convex polygons are also cover-decomposable. We also show that an infinite-fold covering of the plane with translates of $P$ can be decomposed into two infinite-fold coverings. Both results hold for coverings of any subset of the plane.
The glow of Fourier matrices: universality and fluctuations
Published in Oper. Matrices 9 (2015), 457-474
• View Publication
• BIB
The glow of an Hadamard matrix $H\in M_N(\mathbb C)$ is the probability measure $μ\in\mathcal P(\mathbb C)$ describing the distribution of $\varphi(a,b)=<a,Hb>$, where $a,b\in\mathbb T^N$ are random. We prove that $\varphi/N$ becomes complex Gaussian with $N\to\infty$, and that the universality holds as well at order 2. In the case of a Fourier matrix, $F_G\in M_N(\mathbb C)$ with $|G|=N$, the universality holds up to order 4, and the fluctuations are encoded by certain subtle integrals, which appear in connection with several Hadamard-related questions. In the Walsh matrix case, $G=\mathbb Z_2^n$, we conjecture that the glow is polynomial in $N=2^n$.
Excluded minors in cubic graphs
Published
• View Publication
• BIB
Let G be a cubic graph, with girth at least five, such that for every partition X,Y of its vertex set with |X|,|Y|>6 there are at least six edges between X and Y. We prove that if there is no homeomorphic embedding of the Petersen graph in G, and G is not one particular 20-vertex graph, then either G\v is planar for some vertex v, or G can be drawn with crossings in the plane, but with only two crossings, both on the infinite region. We also prove several other theorems of the same kind.
On Zero-free Intervals of Flow Polynomials
Published
• View Publication
• BIB
This article studies real roots of the flow polynomial $F(G,λ)$ of a bridgeless graph $G$. For any integer $k\ge 0$, let $ξ_k$ be the supremum in $(1,2]$ such that $F(G,λ)$ has no real roots in $(1,ξ_k)$ for all graphs $G$ with $|W(G)|\le k$, where $W(G)$ is the set of vertices in $G$ of degrees larger than $3$. We prove that $ξ_k$ can be determined by considering a finite set of graphs and show that $ξ_k=2$ for $k\le 2$, $ξ_3=1.430\cdots$, $ξ_4=1.361\cdots$ and $ξ_5=1.317\cdots$. We also prove that for any bridgeless graph $G=(V,E)$, if all roots of $F(G,λ)$ are real but some of these roots are not in the set $\{1,2,3\}$, then $|E|\ge |V|+17$ and $F(G,λ)$ has at least 9 real roots in $(1,2)$.
Biased graphs with no two vertex-disjoint unbalanced cycles
Published
• View Publication
• BIB
Lovász has completely characterised the structure of graphs with no two vertex-disjoint cycles, while Slilaty has given a structural characterisation of graphs with no two vertex-disjoint odd cycles; his result is in fact more general, describing signed graphs with no two vertex-disjoint negative cycles. A biased graph is a graph with a distinguished set of cycles (called balanced) with the property that any theta subgraph does not contain exactly two balanced cycles. In this paper we characterise the structure of biased graphs with no two vertex-disjoint unbalanced cycles, answering a question by Zaslavsky and generalising the results of Lovász and Slilaty.
On First-Order Definable Colorings
We address the problem of characterizing $H$-coloring problems that are first-order definable on a fixed class of relational structures. In this context, we give several characterizations of a homomorphism dualities arising in a class of structure.
On the domination polynomials of cactus chains
Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G, x)=\sum_{i=γ(G)}^{n} d(G,i) x^{i}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$ and $γ(G)$ is the domination number of $G$. In this paper we consider cactus chains with triangular and square blocks and study their domination polynomials.
Chip-firing and energy minimization on M-matrices
We consider chip-firing dynamics defined by arbitrary M-matrices. M-matrices generalize graph Laplacians and were shown by Gabrielov to yield avalanche finite systems. Building on the work of Baker and Shokrieh, we extend the concept of energy minimizing chip configurations. Given an M-matrix, we show that there exists a unique energy minimizing configuration in each equivalence class defined by the matrix.
We define the class of $z$-superstable configurations which satisfy a strictly stronger stability requirement than superstable configurations (equivalently $G$-parking functions or reduced divisors). We prove that for any M-matrix, the $z$-superstable configurations coincide with the energy minimizing configurations. Moreover, we prove that the $z$-superstable configurations are in simple duality with critical configurations. Thus for all avalanche-finite systems (including all directed graphs with a global sink) there exist unique critical, energy minimizing and $z$-superstable configurations. The critical configurations are in simple duality with energy minimizers which coincide with $z$-superstable configurations.
On elliptic ovoids and their rosettes in a classical generalized quadrangle of even order
Published
• View Publication
• BIB
Let Q_0 be the classical generalized quadrangle of order q = 2n arising from a non-degenerate quadratic form in a 5-dimensional vector space defined over a finite field of order q. We consider the rank two geometry X having as points all the elliptic ovoids of Q_0 and as lines the maximal pencils of elliptic ovoids of Q_0 pairwise tangent at the same point. We first prove that X is isomorphic to a 2-fold quotient of the affine generalized quadrangle Q \setminus Q_0 where Q is the classical (q; q^2)-generalized quadrangle admitting Q_0 as a hyperplane. Then, we investigate the collinearity graph Γof X: In particular, we obtain a classification of the cliques of Γproving that they arise either from lines of Q or subgeometries of Q defined over F_2
Enumerating Permutations by their Run Structure
Published in Elect. J. Comb. 21(4) (2014), P4.18
• View Publication
• BIB
Motivated by a problem in quantum field theory, we study the up and down structure of circular and linear permutations. In particular, we count the length of the (alternating) runs of permutations by representing them as monomials and find that they can always be decomposed into so-called `atomic' permutations introduced in this work. This decomposition allows us to enumerate the (circular) permutations of a subset of the natural numbers by the length of their runs. Furthermore, we rederive, in an elementary way and using the methods developed here, a result due to Kitaev on the enumeration of valleys.
Framed $4$-valent Graph Minor Theory II: Special Minors and New Examples
Published
• View Publication
• BIB
In the present paper, we proceed the study of framed $4$-graph minor theory initiated in ``Framed $4$-valent Graph Minor Theory I. Intoduction. Planarity Criterion '' and justify the planarity theorem for arbitrary framed 4-graphs; besides, we prove analogous results for embeddability in the projective plane.
A tight lower bound for Szemerédi's regularity lemma
Published
• View Publication
• BIB
Addressing a question of Gowers, we determine the order of the tower height for the partition size in a version of Szemerédi's regularity lemma.
Gray Codes and Overlap Cycles for Restricted Weight Words
Published
• View Publication
• BIB
A Gray code is a listing structure for a set of combinatorial objects such that some consistent (usually minimal) change property is maintained throughout adjacent elements in the list. While Gray codes for m-ary strings have been considered in the past, we provide a new, simple Gray code for fixed-weight m-ary strings. In addition, we consider a relatively new type of Gray code known as overlap cycles and prove basic existence results concerning overlap cycles for fixed-weight and weight-range m-ary words.
A New Quadratic Bound for the Manickam-Miklós-Singhi Conjecture
More than twenty-five years ago, Manickam, Miklos, and Singhi conjectured that for positive integers $n,k$ with $n \geq 4k$, every set of $n$ real numbers with nonnegative sum has at least $\binom{n-1}{k-1}$ $k$-element subsets whose sum is also nonnegative. We verify this conjecture when $n \geq 8k^2$, which simultaneously improves and simplifies a bound of Alon, Huang, and Sudakov and also a bound of Pokrovskiy when $k < 10^{45}$.
Rational parking functions and Catalan numbers
Published
• View Publication
• BIB
The classical parking functions, counted by the Cayley number (n+1)^(n-1), carry a natural permutation representation of the symmetric group S_n in which the number of orbits is the n'th Catalan number. In this paper, we will generalize this setup to rational parking functions indexed by a pair (a,b) of coprime positive integers. We show that these parking functions, which are counted by b^(a-1), carry a permutation representation of S_a in which the number of orbits is a rational Catalan number. We compute the Frobenius characteristic of the S_a-module of (a,b)-parking functions. Next we propose a combinatorial formula for a q-analogue of the rational Catalan numbers and relate this formula to a new combinatorial model for q-binomial coefficients. Finally, we discuss q,t-analogues of rational Catalan numbers and parking functions (generalizing the shuffle conjecture for the classical case) and present several conjectures.
Resistance distance-based graph invariants of subdivisions and triangulations of graphs
Published
• View Publication
• BIB
We study three resistance distance-based graph invariants: the Kirchhoff index, and two modifications, namely, the multiplicative degree-Kirchhoff index and the additive degree-Kirchhoff index. In work in press, one of the present authors (2014) and Sun et al. (2014) independently obtained (different) formulas for the Kirchhoff index of subdivisions of graphs. Huang et al. (2014) obtained a formula for the Kirchhoff index of triangulations of graphs. In our paper, first we derive formulae for the additive degree-Kirchhoff index and the multiplicative degree-Kirchhoff index of subdivisions and triangulations, as well as a new formula for the Kirchhoff index of triangulations, in terms of invariants of $G$. Then comparisons are made between each of our Kirchhoffian graph invariants for subdivision and triangulation. Finally, formulae for these graph invariants of iterated subdivisions and triangulations of graphs are obtained.
Toroidal grid minors and stretch in embedded graphs
Published
• View Publication
• BIB
We investigate the toroidal expanse of an embedded graph G, that is, the size of the largest toroidal grid contained in G as a minor. In the course of this work we introduce a new embedding density parameter, the stretch of an embedded graph G, and use it to bound the toroidal expanse from above and from below within a constant factor depending only on the genus and the maximum degree. We also show that these parameters are tightly related to the planar crossing number of G. As a consequence of our bounds, we derive an efficient constant factor approximation algorithm for the toroidal expanse and for the crossing number of a surface-embedded graph with bounded maximum degree.
Polynomials with dense zero sets and discrete models of the Kakeya conjecture and the Furstenberg set problem
Published
• View Publication
• BIB
We prove the discrete analogue of Kakeya conjecture over $\mathbb{R}^n$. This result suggests that a (hypothetically) low dimensional Kakeya set cannot be constructed directly from discrete configurations. We also prove a generalization which completely solves the discrete analogue of the Furstenberg set problem in all dimensions. The difference between our theorems and the (true) problems is only the (still difficult) issue of continuity since no transversality-at-incidences assumptions are imposed. The main tool of the proof is a theorem of Wongkew \cite{wongkew2003volumes} which states that a low degree polynomial cannot have its zero set being too dense inside the unit cube, coupled with Dvir-type polynomial arguments \cite{dvir2009size}. From the viewpoint of the proofs, we also state a conjecture that is stronger than and almost equivalent to the (lower) Minkowski version of the Kakeya conjecture and prove some results towards it. We also present our own version of the proof of the theorem in \cite{wongkew2003volumes}. Our proof shows that this theorem follows from a combination of properties of zero sets of polynomials and a general proposition about hypersurfaces which might be of independent interest. Finally, we discuss how to generalize Bourgain's conjecture to high dimensions, which is closely related to the theme here.
Elegantly colored paths and cycles in edge colored random graphs
Published
• View Publication
• BIB
We first consider the following problem. We are given a fixed perfect matching $M$ of $[n]$ and we add random edges one at a time until there is a Hamilton cycle containing $M$. We show that w.h.p. the hitting time for this event is the same as that for the first time there are no isolated vertices in the graph induced by the random edges. We then use this result for the following problem. We generate random edges and randomly color them black or white. A path/cycle is said to \emph{zebraic} if the colors alternate along the path. We show that w.h.p. the hitting time for a zebraic Hamilton cycle coincides with every vertex meeting at least one edge of each color. We then consider some related problems and extend to multiple colors. We also briefly consider directed versions.
Optimal constructions for ID-based one-way-function key predistribution schemes realizing specified communication graphs
Published
• View Publication
• BIB
We study a method for key predistribution in a network of $n$ users where pairwise keys are computed by hashing users' IDs along with secret information that has been (pre)distributed to the network users by a trusted entity. A communication graph $G$ can be specified to indicate which pairs of users should be able to compute keys. We determine necessary and sufficient conditions for schemes of this type to be secure. We also consider the problem of minimizing the storage requirements of such a scheme; we are interested in the total storage as well as the maximum storage required by any user. Minimizing the total storage is NP-hard, whereas minimizing the maximum storage required by a user can be computed in polynomial time.