Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Euclidean distance matrices and separations in communication complexity theory
Published
• View Publication
• BIB
A Euclidean distance matrix $D(α)$ is defined by $D_{ij}=(α_i-α_j)^2$, where $α=(α_1,\ldots,α_n)$ is a real vector. We prove that $D(α)$ cannot be written as a sum of $\left[2\sqrt{n}-2\right]$ nonnegative rank-one matrices, provided that the coordinates of $α$ are algebraically independent. This result allows one to solve several open problems in computation theory. In particular, we provide an asymptotically optimal separation between the complexities of quantum and classical communication protocols computing a matrix in expectation.
A finite Hausdorff dimension for graphs
The classical Hausdorff dimension of finite or countable metric spaces is zero. Recently, we defined a variant, called \emph{finite Hausdorff dimension}, which is not necessarily trivial on finite metric spaces. In this paper we apply this to connected simple graphs, a class that provides many interesting examples of finite metric spaces. There are two very different cases: one in which the distance is coarse (and one is doing Graph Theory), and another case in which the distance is much finer (and one is somewhere between graphs and finite metric spaces).
Multicolour containers and the entropy of decorated graph limits
In recent breakthrough results, Saxton--Thomason and Balogh--Morris--Samotij have developed powerful theories of hypergraph containers. These theories have led to a large number of new results on transference, and on counting and characterising typical graphs in hereditary properties. In a different direction, Hatami--Janson--Szegedy proved results on the entropy of graph limits which count and characterise graphs in dense hereditary properties.
In this paper, we make a threefold contribution to this area of research:
1) We generalise results of Saxton--Thomason to obtain container theorems for general, dense hereditary properties of multicoloured graphs. Our main tool is the adoption of an entropy-based framework. As corollaries, we obtain general counting, characterization and transference results. We further extend our results to cover a variety of combinatorial structures: directed graphs, oriented graphs, tournaments, multipartite graphs, multi-graphs, hypercubes and hypergraphs.
2) We generalise the results of Hatami--Janson--Szegedy on the entropy of graph limits to the setting of decorated graph limits. In particular we define a cut norm for decorated graph limits and prove compactness of the space of decorated graph limits under that norm.
3) We explore a weak equivalence between the container and graph limit approaches to counting and characterising graphs in hereditary properties. In one direction, we show how our multicolour container results may be used to recover decorated versions of the results of Hatami--Janson--Szegedy. In the other direction, we show that our decorated extensions of Hatami--Janson--Szegedy's results on graph limits imply counting and characterization applications.
Similar container results were recently obtained independently by Terry.
Nearly neighbourly families of standard boxes
Published
• View Publication
• BIB
It is demonstrated that each nearly neighbourly family of standard boxes in $\mathbb{R}^3$ has at most 12 elements. A combinatorial classification of all such families that have exactly 12 elements is given. All families satisfying an extra property called incompressibility are described. Compressible families are discussed briefly.
A non-Levi branching rule in terms of Littelmann paths
Published
• View Publication
• BIB
We prove a conjecture of Naito-Sagaki about a branching rule for the restriction of irreducible representations of $\mathfrak{sl}(2n,\mathbb{C})$ to $\mathfrak{sp}(2n,\mathbb{C})$. The conjecture is in terms of certain Littelmann paths, with the embedding given by the folding of the type $A_{2n-1}$ Dynkin diagram.
Automatic complexity of shift register sequences
Published in Discrete Mathematics 341 (2018), no. 9, 2409--2417
• View Publication
• BIB
Let $x$ be an $m$-sequence, a maximal length sequence produced by a linear feedback shift register. We show that $x$ has maximal subword complexity function in the sense of Allouche and Shallit. We show that this implies that the nondeterministic automatic complexity $A_N(x)$ is close to maximal: $n/2-A_N(x)=O(\log^2n)$, where $n$ is the length of $x$. In contrast, Hyde has shown $A_N(y)\le n/2+1$ for all sequences $y$ of length $n$.
Nordhaus-Gaddum and other bounds for the sum of squares of the positive eigenvalues of a graph
Published
• View Publication
• BIB
Terpai [22] proved the Nordhaus-Gaddum bound that $μ(G) + μ(\overline{G}) \le 4n/3 - 1$, where $μ(G)$ is the spectral radius of a graph $G$ with $n$ vertices. Let $s^+$ denote the sum of the squares of the positive eigenvalues of $G$. We prove that $\sqrt{s^{+}(G)} + \sqrt{s^+(\overline{G})} < \sqrt{2}n$ and conjecture that $\sqrt{s^{+}(G)} + \sqrt{s^+(\overline{G})} \le 4n/3 - 1.$ We have used AutoGraphiX and Wolfram Mathematica to search for a counter-example. We also consider Nordhaus-Gaddum bounds for $s^+$ and bounds for the Randić index.
Minimum rank and zero forcing number for butterfly networks
Published in Journal of Combinatorial Optimization 37 (2019), 970-988
• View Publication
• BIB
The minimum rank of a simple graph $G$ is the smallest possible rank over all symmetric real matrices $A$ whose nonzero off-diagonal entries correspond to the edges of $G$. Using the zero forcing number, we prove that the minimum rank of the butterfly network is $\frac19\left[(3r+1)2^{r+1}-2(-1)^r\right]$ and that this is equal to the rank of its adjacency matrix.
Euler's partition theorem for all moduli and new companions to Rogers-Ramanujan-Andrews-Gordon identities
Published in Ramanujan. J 2019
• View Publication
• BIB
In this paper, we give a conjecture, which generalises Euler's partition theorem involving odd parts and different parts for all moduli. We prove this conjecture for two family partitions. We give $q$-difference equations for the related generating function if the moduli is three. We provide new companions to Rogers-Ramanujan-Andrews-Gordon identities under this conjecture.
Zero-One Law for random uniform hypergraphs
In this work limit probabilities of first-order properties of the random $s$-uniform hypergraph in the binomial model $G^{s}(n,p)$ are studied. We give a complete discription of all positive $α$ such that $G^{s}(n,n^{-α})$ obeys Zero-One Law. Moreover, for any rational $ρ\geq 1/(s-1)$ we prove the existence of a strictly balanced $s$-uniform hypergraph with the density $ρ$.
The solution of a generalized secretary problem via analytic expressions
Published
• View Publication
• BIB
Given integers $1\leq k<n$, the Gusein-Zade version of a generalized secretary problem is to choose one of the $k$ best of $n$ candidates for a secretary, which are interviewing in random order. The stopping rule in the selection is based only on the relative ranks of the successive arrivals. It is known that the best policy can be described by a non--decreasing sequence $(s_1, \ldots, s_k)$ of integers with $l\leq s_l<n$ for every $1\leq l\leq k$, and conversely, any such a sequence determines the general structure of the best policy. We found a finite analytic expression for the probability of success when using the optimal policy with a sequence $(s_1, \ldots, s_k)$. We also study the problem of the construction of the optimal sequence, i.e. a sequence which maximizes the corresponding probability of success. We discovered finite analytic expressions which enable to calculate the elements $s_l$ of an optimal sequence one by one, from $l=k$ to $l=1$. Until now, such expressions were derived separately, and only for the values $k\leq 3$.
A Selectable Sloppy Heap
Published
• View Publication
• BIB
We study the selection problem, namely that of computing the $i$th order statistic of $n$ given elements. Here we offer a data structure called \emph{selectable sloppy heap} handling a dynamic version in which upon request: (i)~a new element is inserted or (ii)~an element of a prescribed quantile group is deleted from the data structure. Each operation is executed in (ideal!) constant time---and is thus independent of $n$ (the number of elements stored in the data structure)---provided that the number of quantile groups is fixed. This is the first result of this kind accommodating both insertion and deletion in constant time. As such, our data structure outperforms the soft heap data structure of Chazelle (which only offers constant amortized complexity for a fixed error rate $0<\varepsilon \leq 1/2$) in applications such as dynamic percentile maintenance. The design demonstrates how slowing down a certain computation can speed up the data structure.
Definable regularity lemmas for NIP hypergraphs
Published
• View Publication
• BIB
We present a systematic study of the regularity phenomena for NIP hypergraphs and connections to the theory of (locally) generically stable measures, providing a model-theoretic hypergraph version of the results from [L. Lovász, B. Szegedy, "Regularity partitions and the topology of graphons", An irregular mind, Springer Berlin Heidelberg, 2010, 415-446]. Besides, we revise the two extremal cases of regularity for stable and distal hypergraphs, improving and generalizing the results from [A. Chernikov, S. Starchenko, "Regularity lemma for distal structures", J. Eur. Math. Soc. 20 (2018), 2437-2466] and [M. Malliaris, S. Shelah, "Regularity lemmas for stable graphs", Transactions of the American Mathematical Society, 366.3, 2014, 1551-1585]. Finally, we consider a related question of the existence of large (approximately) homogeneous definable subsets of NIP hypergraphs and provide some positive results and counterexamples.
Real line arrangements with Hirzebruch property
Published in Geom. Topol. 22 (2018) 2697-2711
• View Publication
• BIB
A line arrangement of $3n$ lines in $\mathbb CP^2$ satisfies Hirzebruch property if each line intersect others in $n+1$ points. Hirzebruch asked if all such arrangements are related to finite complex reflection groups. We give a positive answer to this question in the case when the line arrangement in $\mathbb CP^2$ is real, confirming that there exist exactly four such arrangements.
On groups and simplicial complexes
Published
• View Publication
• BIB
The theory of $k$-regular graphs is closely related to group theory. Every $k$-regular, bipartite graph is a Schreier graph with respect to some group $G$, a set of generators $S$ (depending only on $k$) and a subgroup $H$. The goal of this paper is to begin to develop such a framework for $k$-regular simplicial complexes of general dimension $d$. Our approach does not directly generalize the concept of a Schreier graph, but still presents an extensive family of $k$-regular simplicial complexes as quotients of one universal object: the $k$-regular $d$-dimensional arboreal complex, which is itself a simplicial complex originating in one specific group depending only on $d$ and $k$. Along the way we answer a question from [PR12] on the spectral gap of higher dimensional Laplacians and prove a high dimensional analogue of Leighton's graph covering theorem. This approach also suggests a random model for $k$-regular $d$-dimensional multicomplexes.
An extremal graph problem with a transcendental solution
Published in Combinator. Probab. Comp. 28 (2019) 303-324
• View Publication
• BIB
We prove that the number of multigraphs with vertex set $\{1, \ldots, n\}$ such that every four vertices span at most nine edges is $a^{n^2 + o(n^2)}$ where $a$ is transcendental (assuming Schanuel's conjecture from number theory). This is an easy consequence of the solution to a related problem about maximizing the product of the edge multiplicities in certain multigraphs, and appears to be the first explicit (somewhat natural) question in extremal graph theory whose solution is transcendental. These results may shed light on a question of Razborov who asked whether there are conjectures or theorems in extremal combinatorics which cannot be proved by a certain class of finite methods that include Cauchy-Schwarz arguments.
Our proof involves a novel application of Zykov symmetrization applied to multigraphs, a rather technical progressive induction, and a straightforward use of hypergraph containers.
Topological Crystals
Sunada's work on crystallography emphasizes the role of the "maximal abelian cover" of a graph $X$. This is a covering space of $X$ for which the group of deck transformations is the first homology group $H_1(X,\mathbb{Z})$. An embedding of the maximal abelian cover in a vector space can serve as the pattern for a crystal: atoms are located at the vertices, while bonds lie along the edges. We prove that for any connected graph $X$ without bridges, there is a canonical embedding of the maximal abelian cover of $X$ into the vector space $H_1(X,\mathbb{R})$, called a "topological crystal". Crystals of graphene and diamond are examples of this construction. We prove that any symmetry of a graph lifts to a symmetry of its topological crystal. We also compute the density of atoms in a topological crystal. The key technical tools are a way of decomposing the 1-chain coming from a path in $X$ into manageable pieces, and the work of Bacher, de la Harpe and Nagnibeda on integral cycles and integral cuts.
Triangle-tilings in graphs without large independent sets
Published
• View Publication
• BIB
We study the minimum degree necessary to guarantee the existence of perfect and almost-perfect triangle-tilings in an $n$-vertex graph $G$ with sublinear independence number. In this setting, we show that if $δ(G) \ge n/3 + o(n)$ then $G$ has a triangle-tiling covering all but at most four vertices. Also, for every $r \ge 5$, we asymptotically determine the minimum degree threshold for a perfect triangle-tiling under the additional assumptions that $G$ is $K_r$-free and $n$ is divisible by $3$.
Minkowski complexes and convex threshold dimension
Published in J. Combin. Theory, Ser. A 151, 202-206 (2017)
• View Publication
• BIB
For a collection of convex bodies $P_1,\dots,P_n \subset \mathbb{R}^d$ containing the origin, a Minkowski complex is given by those subsets whose Minkowski sum does not contain a fixed basepoint. Every simplicial complex can be realized as a Minkowski complex and for convex bodies on the real line, this recovers the class of threshold complexes. The purpose of this note is the study of the convex threshold dimension of a complex, that is, the smallest dimension in which it can be realized as a Minkowski complex. In particular, we show that the convex threshold dimension can be arbitrarily large. This is related to work of Chvátal and Hammer (1977) regarding forbidden subgraphs of threshold graphs. We also show that convexity is crucial this context.
$H$-supermagic labelings for firecrackers, banana trees and flowers
Published in Australasian Journal of Combinatorics, 69(3), 442-451, 2017
• Search Publication
A simple graph $G=(V,E)$ admits an $H$-covering if every edge in $E$ is contained in a subgraph $H'=(V',E')$ of $G$ which is isomorphic to $H$. In this case we say that $G$ is $H$-supermagic if there is a bijection $f:V\cup E\to\{1,\ldots\lvert V\rvert+\lvert E\rvert\}$ such that $f(V)=\{1,\ldots,\lvert V\rvert\}$ and $\sum_{v\in V(H')}f(v)+\sum_{e\in E(H')}f(e)$ is constant over all subgraphs $H'$ of $G$ which are isomorphic to $H$. In this paper, we show that for odd $n$ and arbitrary $k$, the firecracker $F_{k,n}$ is $F_{2,n}$-supermagic, the banana tree $B_{k,n}$ is $B_{1,n}$-supermagic and the flower $F_n$ is $C_3$-supermagic.