Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Formation of Robust Multi-Agent Networks Through Self-Organizing Random Regular Graphs
Published
• View Publication
• BIB
Multi-agent networks are often modeled as interaction graphs, where the nodes represent the agents and the edges denote some direct interactions. The robustness of a multi-agent network to perturbations such as failures, noise, or malicious attacks largely depends on the corresponding graph. In many applications, networks are desired to have well-connected interaction graphs with relatively small number of links. One family of such graphs is the random regular graphs. In this paper, we present a decentralized scheme for transforming any connected interaction graph with a possibly non-integer average degree of k into a connected random m-regular graph for some m in [k, k + 2]. Accordingly, the agents improve the robustness of the network with a minimal change in the overall sparsity by optimizing the graph connectivity through the proposed local operations.
A probabilistic approach to block sizes in random maps
Published
• View Publication
• BIB
We present a probabilistic approach to the core-size in random maps, which yields straightforward and singularity analysis-free proofs of some results of Banderier, Flajolet, Schaeffer and Soria. The proof also yields convergence in distribution of the rescaled size of the k'th largest 2-connected block in a large random map, for any fixed k > 1, to a Fréchet-type extreme order statistic. This seems to be a new result even when k=2.
Fractional triangle decompositions in graphs with large minimum degree
Published
• View Publication
• BIB
A triangle decomposition of a graph is a partition of its edges into triangles. A fractional triangle decomposition of a graph is an assignment of a non-negative weight to each of its triangles such that the sum of the weights of the triangles containing any given edge is one. We prove that for all $ε> 0$, every large enough graph graph on $n$ vertices with minimum degree at least $(0.9 + ε)n$ has a fractional triangle decomposition. This improves a result of Garaschuk that the same result holds for graphs with minimum degree at least $0.956n$. Together with a recent result of Barber, Kühn, Lo and Osthus, this implies that for all $ε> 0$, every large enough triangle divisible graph on $n$ vertices with minimum degree at least $(0.9 + ε)n$ admits a triangle decomposition.
First-order limits, an analytical perspective
Published in European Journal of Combinatorics, Volume 52, Part B, 2016, Pages 368-388
• View Publication
• BIB
In this paper we present a novel approach to graph (and structural) limits based on model theory and analysis. The role of Stone and Gelfand dualities is displayed prominently and leads to a general theory, which we believe is naturally emerging. This approach covers all the particular examples of structural convergence and it put the whole in new context. As an application, it leads to new intermediate examples of structural convergence and to a "grand conjecture" dealing with sparse graphs. We survey the recent developments.
Sign rank versus VC dimension
Published
• View Publication
• BIB
This work studies the maximum possible sign rank of $N \times N$ sign matrices with a given VC dimension $d$. For $d=1$, this maximum is {three}. For $d=2$, this maximum is $\tildeΘ(N^{1/2})$. For $d >2$, similar but slightly less accurate statements hold. {The lower bounds improve over previous ones by Ben-David et al., and the upper bounds are novel.}
The lower bounds are obtained by probabilistic constructions, using a theorem of Warren in real algebraic topology. The upper bounds are obtained using a result of Welzl about spanning trees with low stabbing number, and using the moment curve.
The upper bound technique is also used to: (i) provide estimates on the number of classes of a given VC dimension, and the number of maximum classes of a given VC dimension -- answering a question of Frankl from '89, and (ii) design an efficient algorithm that provides an $O(N/\log(N))$ multiplicative approximation for the sign rank.
We also observe a general connection between sign rank and spectral gaps which is based on Forster's argument. Consider the $N \times N$ adjacency matrix of a $Δ$ regular graph with a second eigenvalue of absolute value $λ$ and $Δ\leq N/2$. We show that the sign rank of the signed version of this matrix is at least $Δ/λ$. We use this connection to prove the existence of a maximum class $C\subseteq\{\pm 1\}^N$ with VC dimension $2$ and sign rank $\tildeΘ(N^{1/2})$. This answers a question of Ben-David et al.~regarding the sign rank of large VC classes. We also describe limitations of this approach, in the spirit of the Alon-Boppana theorem.
We further describe connections to communication complexity, geometry, learning theory, and combinatorics.
Ramsey numbers for degree monotone paths
Published
• View Publication
• BIB
A path $v_1,v_2,\ldots,v_m$ in a graph $G$ is $degree$-$monotone$ if $deg(v_1) \leq deg(v_2) \leq \cdots \leq deg(v_m)$ where $deg(v_i)$ is the degree of $v_i$ in $G$. Longest degree-monotone paths have been studied in several recent papers. Here we consider the Ramsey type problem for degree monotone paths. Denote by $M_k(m)$ the minimum number $M$ such that for all $n \geq M$, in any $k$-edge coloring of $K_n$ there is some $1\leq j \leq k$ such that the graph formed by the edges colored $j$ has a degree-monotone path of order $m$. We prove several nontrivial upper and lower bounds for $M_k(m)$.
Four factorization formulas for plane partitions
Published
• View Publication
• BIB
All ten symmetry classes of plane partitions that fit in a given box are known to be enumerated by simple product formulas, but there is still no unified proof for all of them. Progress towards this goal can be made by establishing identities connecting the various symmetry classes. We present in this paper four such identities, involving all ten symmetry classes. We discuss their proofs and generalizations. The main result of this paper is to give a generalization of one of them, in the style of the identity presented in "A factorization theorem for rhombus tilings," M. Ciucu and C. Krattenthaler, arXiv:1403.3323.
Searching for Large Circulant Graphs
We address the problem of constructing large undirected circulant networks with given degree and diameter. First we discuss the theoretical upper bounds and their asymptotics, and then we describe and implement a computer-based method to find large circulant graphs with given parameters. For several combinations of degree and diameter, our algorithm produces the largest known circulant graphs. We summarize our findings in a table, up to degree 15 and diameter 10, and we perform a statistical analysis of this table, which can be useful for evaluating the performance of our methods, as well as other constructions in the future.
Original graphs of link graphs
Let $\ell \geqslant 0$ be an integer, and $G$ be a graph without loops. An $\ell$-link of $G$ is a walk of length $\ell$ in which consecutive edges are different. We identify an $\ell$-link with its reverse sequence. The $\ell$-link graph $\mathbb{L}_\ell(G)$ of $G$ is defined to have vertices the $\ell$-links of $G$, such that two vertices of $\mathbb{L}_\ell(G)$ are adjacent if their corresponding $\ell$-links are the initial and final subsequences of an $(\ell + 1)$-link of $G$. A graph $G$ is called an $\ell$-root of a graph $H$ if $\mathbb{L}_\ell(G) \cong H$. For example, $\mathbb{L}_0(G) \cong G$. And the $1$-link graph of a simple graph is the line graph of that graph. Moreover, let $H$ be a finite connected simple graph. Whitney's isomorphism theorem (1932) states if $H$ has two connected nonnull simple $1$-roots, then $H \cong K_3$, and the two $1$-roots are isomorphic to $K_3$ and $K_{1, 3}$ respectively.
This paper investigates the $\ell$-roots of finite graphs. We show that every $\ell$-root is a certain combination of a finite minimal $\ell$-root and trees of bounded diameter. This transfers the study of $\ell$-roots into that of finite minimal $\ell$-roots. As a qualitative generalisation of Whitney's isomorphism theorem, we bound from above the number, size, order and maximum degree of minimal $\ell$-roots of a finite graph. This work forms the basis for solving the recognition and determination problems for $\ell$-link graphs in our future papers. As a byproduct, we characterise the $\ell$-roots of some special graphs including cycles.
Similar results are obtained for path graphs introduced by Broersma and Hoede (1989). $G$ is an $\ell$-path root of a graph $H$ if $H$ is isomorphic to the $\ell$-path graph of $G$. We bound from above the number, size and order of minimal $\ell$-path roots of a finite graph.
Computing the partition function of a polynomial on the Boolean cube
Published
• View Publication
• BIB
For a polynomial f: {-1, 1}^n --> C, we define the partition function as the average of e^{lambda f(x)} over all points x in {-1, 1}^n, where lambda in C is a parameter. We present a quasi-polynomial algorithm, which, given such f, lambda and epsilon >0 approximates the partition function within a relative error of epsilon in N^{O(ln n -ln epsilon)} time provided |lambda| < 1/(2 L sqrt{deg f}), where L=L(f) is a parameter bounding the Lipschitz constant of f from above and N is the number of monomials in f. As a corollary, we obtain a quasi-polynomial algorithm, which, given such an f with coefficients +1 and -1 and such that every variable enters not more than 4 monomials, approximates the maximum of f on {-1, 1}^n within a factor of O(sqrt{deg f}/delta), provided the maximum is N delta for some 0< delta <1. If every variable enters not more than k monomials for some fixed k > 4, we are able to establish a similar result when delta > (k-1)/k.
Hankel Weighing Matrices
We prove a classification theorem for Hankel weighing matrices.
Kakeya-Type Sets in Local Fields with Finite Residue Field
Published in Mathematika 62 (2016) 614-629
• View Publication
• BIB
We present a construction of a measure-zero Kakeya-type set in a finite-dimensional space $K^d$ over a local field with finite residue field. The construction is an adaptation of the ideas appearing in [12] and [13]. The existence of measure-zero Kakeya-type sets over discrete valuation rings is also discussed, giving an alternative construction to the one presented in [4] over $\mathbb{F}_q[[t]]$.
Detecting Fourier subspaces
Published
• View Publication
• BIB
Let G be a finite abelian group. We examine the discrepancy between subspaces of l^2(G) which are diagonalized in the standard basis and subspaces which are diagonalized in the dual Fourier basis. The general principle is that a Fourier subspace whose dimension is small compared to |G| = dim(l^2(G)) tends to be far away from standard subspaces. In particular, the recent positive solution of the Kadison-Singer problem shows that from within any Fourier subspace whose dimension is small compared to |G| there is standard subspace which is essentially indistinguishable from its orthogonal complement.
Zero-sum Subsequences of Length kq over Finite Abelian p-Groups
Published in Discrete Mathematics 339 (2016): 399-407
• View Publication
• BIB
For a finite abelian group $G$ and a positive integer $k$, let $s_{k}(G)$ denote the smallest integer $\ell\in\mathbb{N}$ such that any sequence $S$ of elements of $G$ of length $|S|\geq\ell$ has a zero-sum subsequence with length $k$. The celebrated Erdős-Ginzburg-Ziv theorem determines $s_{n}(C_{n})=2n-1$ for cyclic groups $C_{n}$, while Reiher showed in 2007 that $s_{n}(C_{n}^{2})=4n-3$. In this paper we prove for a $p$-group $G$ with exponent $\exp(G)=q$ the upper bound $s_{kq}(G)\le(k+2d-2)q+3D(G)-3$ whenever $k\geq d$, where $d=\Big\lceil\frac{D(G)}{q}\Big\rceil$ and $p$ is a prime satisfying $p\ge2d+3\Big\lceil\frac{D(G)}{2q}\Big\rceil-3$, where $D(G)$ is the Davenport constant of the finite abelian group $G$. This is the correct order of growth in both $k$ and $d$. As a corollary, we show $s_{kq}(C_{q}^{d})=(k+d)q-d$ whenever $k\geq p+d$ and $2p\geq7d-3$, resolving a case of the conjecture of Gao, Han, Peng, and Sun that $s_{k\exp(G)}(G)=k\exp(G)+D(G)-1$ whenever $k\exp(G)\geq D(G)$. We also obtain a general bound $s_{kn}(C_{n}^{d})\leq9kn$ for $n$ with large prime factors and $k$ sufficiently large. Our methods are inspired by the algebraic method of Kubertin, who proved that $s_{kq}(C_{q}^{d})\leq(k+Cd^{2})q-d$ whenever $k\geq d$ and $q$ is a prime power.
Geometric Progression-Free Sequences with Small Gaps II
When $k$ is a constant at least $3$, a sequence $S$ of positive integers is called $k$-GP-free if it contains no nontrivial $k$-term geometric progressions. Beiglbök, Bergelson, Hindman and Strauss first studied the existence of a $ $$k$-GP-free sequence with bounded gaps. In a previous paper the author gave a partial answer to this question by constructing a $6$-GP-free sequence $S$ with gaps of size $O(\exp(6\log n/\log\log n))$. We generalize this problem to allow the gap function $k$ to grow to infinity, and ask: for which pairs of functions $(h,k)$ do there exist $k$-GP-free sequences with gaps of size $O(h)$? We show that whenever $(k(n)-3)\log h(n)\log\log h(n)\ge4\log2\cdot\log n$ and $h,k$ satisfy mild growth conditions, such a sequence exists.
Hadwiger's conjecture for the complements of Kneser graphs
Published
• View Publication
• BIB
Hadwiger's conjecture asserts that every graph with chromatic number $t$ contains a complete minor of order $t$. Given integers $n \ge 2k+1 \ge 5$, the Kneser graph $K(n, k)$ is the graph with vertices the $k$-subsets of an $n$-set such that two vertices are adjacent if and only if the corresponding $k$-subsets are disjoint. We prove that Hadwiger's conjecture is true for the complements of Kneser graphs.
A Survey on Approximation Mechanism Design without Money for Facility Games
Published in Advances in Global Optimization, Springer Proceedings in Mathematics & Statistics Volume 95, 2015, pp 117-128
• View Publication
• BIB
In a facility game one or more facilities are placed in a metric space to serve a set of selfish agents whose addresses are their private information. In a classical facility game, each agent wants to be as close to a facility as possible, and the cost of an agent can be defined as the distance between her location and the closest facility. In an obnoxious facility game, each agent wants to be far away from all facilities, and her utility is the distance from her location to the facility set. The objective of each agent is to minimize her cost or maximize her utility. An agent may lie if, by doing so, more benefit can be obtained. We are interested in social choice mechanisms that do not utilize payments. The game designer aims at a mechanism that is strategy-proof, in the sense that any agent cannot benefit by misreporting her address, or, even better, group strategy-proof, in the sense that any coalition of agents cannot all benefit by lying. Meanwhile, it is desirable to have the mechanism to be approximately optimal with respect to a chosen objective function. Several models for such approximation mechanism design without money for facility games have been proposed. In this paper we briefly review these models and related results for both deterministic and randomized mechanisms, and meanwhile we present a general framework for approximation mechanism design without money for facility games.
Unitary graphs
Published in J. Graph Theory 75 (2014), 37-47
• View Publication
• BIB
Unitary graphs are arc-transitive graphs with vertices the flags of Hermitian unitals and edges defined by certain elements of the underlying finite fields. They played a significant role in a recent classification of a class of arc-transitive graphs that admit an automorphism group acting imprimitively on the vertices. In this paper we prove that all unitary graphs are connected of diameter two and girth three. Based on this we obtain, for any prime power $q > 2$, a lower bound of order $O(Δ^{5/3})$ on the maximum number of vertices in an arc-transitive graph of degree $Δ= q(q^2-1)$ and diameter two.
Unitary graphs and classification of a family of symmetric graphs with complete quotients
Published in J. Algebraic Combinatorics 38 (2013), 745-765
• View Publication
• BIB
A finite graph $Γ$ is called $G$-symmetric if $G$ is a group of automorphisms of $Γ$ which is transitive on the set of ordered pairs of adjacent vertices of $Γ$. We study a family of symmetric graphs, called the unitary graphs, whose vertices are flags of the Hermitian unital and whose adjacency relations are determined by certain elements of the underlying finite fields. Such graphs admit the unitary groups as groups of automorphisms, and they play a significant role in the classification of a family of symmetric graphs with complete quotients such that an associated incidence structure is a doubly point-transitive linear space. We give this classification in the paper and also investigate combinatorial properties of the unitary graphs.
Labeling outerplanar graphs with maximum degree three
Published in Discrete Applied Math. 161 (1-2) (2013), 200-211
• View Publication
• BIB
An $L(2, 1)$-labeling of a graph $G$ is an assignment of a nonnegative integer to each vertex of $G$ such that adjacent vertices receive integers that differ by at least two and vertices at distance two receive distinct integers. The span of such a labeling is the difference between the largest and smallest integers used. The $λ$-number of $G$, denoted by $λ(G)$, is the minimum span over all $L(2, 1)$-labelings of $G$. Bodlaender {\it et al.} conjectured that if $G$ is an outerplanar graph of maximum degree $Δ$, then $λ(G)\leq Δ+2$. Calamoneri and Petreschi proved that this conjecture is true when $Δ\geq 8$ but false when $Δ=3$. Meanwhile, they proved that $λ(G)\leq Δ+5$ for any outerplanar graph $G$ with $Δ=3$ and asked whether or not this bound is sharp. In this paper we answer this question by proving that $λ(G)\leq Δ+ 3$ for every outerplanar graph with maximum degree $Δ=3$. We also show that this bound $Δ+ 3$ can be achieved by infinitely many outerplanar graphs with $Δ=3$.