Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Differential Calculus on Graphon Space
Published in Journal of Combinatorial Theory, Series A 133 (2015), 183-227
• View Publication
• BIB
Recently, the theory of dense graph limits has received attention from multiple disciplines including graph theory, computer science, statistical physics, probability, statistics, and group theory. In this paper we initiate the study of the general structure of differentiable graphon parameters $F$. We derive consistency conditions among the higher Gâteaux derivatives of $F$ when restricted to the subspace of edge weighted graphs $\mathcal{W}_{\bf p}$. Surprisingly, these constraints are rigid enough to imply that the multilinear functionals $Λ: \mathcal{W}_{\bf p}^n \to \mathbb{R}$ satisfying the constraints are determined by a finite set of constants indexed by isomorphism classes of multigraphs with $n$ edges and no isolated vertices. Using this structure theory, we explain the central role that homomorphism densities play in the analysis of graphons, by way of a new combinatorial interpretation of their derivatives. In particular, homomorphism densities serve as the monomials in a polynomial algebra that can be used to approximate differential graphon parameters as Taylor polynomials. These ideas are summarized by our main theorem, which asserts that homomorphism densities $t(H,-)$ where $H$ has at most $N$ edges form a basis for the space of smooth graphon parameters whose $(N+1)$st derivatives vanish. As a consequence of this theory, we also extend and derive new proofs of linear independence of multigraph homomorphism densities, and characterize homomorphism densities. In addition, we develop a theory of series expansions, including Taylor's theorem for graph parameters and a uniqueness principle for series. We use this theory to analyze questions raised by Lovász, including studying infinite quantum algebras and the connection between right- and left-homomorphism densities.
Area minimizing polyhedral surfaces are saddle
Published in Amer. Math. Monthly 122 (2015), no. 3, 264--267
• View Publication
• BIB
We show that area minimizing polyhedral surfaces are saddle.
Sufficient Conditions for the Global Rigidity of Graphs
Published
• View Publication
• BIB
We investigate how to find generic and globally rigid realizations of graphs in $\mathbb{R}^d$ based on elementary geometric observations. Our arguments lead to new proofs of a combinatorial characterization of the global rigidity of graphs in $\mathbb{R}^2$ by Jackson and Jordán and that of body-bar graphs in $\mathbb{R}^d$ recently shown by Connelly, Jordán, and Whiteley. We also extend the 1-extension theorem and Connelly's composition theorem, which are main tools for generating globally rigid graphs in $\mathbb{R}^d$. In particular we show that any vertex-redundantly rigid graph in $\mathbb{R}^d$ is globally rigid in $\mathbb{R}^d$, where a graph $G=(V,E)$ is called vertex-redundantly rigid if $G-v$ is rigid for any $v\in V$.
Think Locally, Act Locally: The Detection of Small, Medium-Sized, and Large Communities in Large Networks
Published
• View Publication
• BIB
It is common in the study of networks to investigate meso-scale features to try to gain an understanding of network structure and function. For example, numerous algorithms have been developed to try to identify "communities," which are typically construed as sets of nodes with denser connections internally than with the remainder of a network. In this paper, we adopt a complementary perspective that "communities" are associated with bottlenecks of locally-biased dynamical processes that begin at seed sets of nodes, and we employ several different community-identification procedures (using diffusion-based and geodesic-based dynamics) to investigate community quality as a function of community size. Using several empirical and synthetic networks, we identify several distinct scenarios for ``size-resolved community structure'' that can arise in real (and realistic) networks. Depending on which scenario holds, one may or may not be able to successfully identify ``good'' communities in a given network, the manner in which different small communities fit together to form meso-scale network structures can be very different, and processes such as viral propagation and information diffusion can exhibit very different dynamics.In addition, our results suggest that, for many large realistic networks, the output of locally-biased methods that focus on communities that are centered around a given seed node might have better conceptual grounding and greater practical utility than the output of global community-detection methods. They also illustrate subtler structural properties that are important to consider in the development of better benchmark networks to test methods for community detection.
[Note: Because of space limitations in the arXiv's abstract field, this is an abridged version of the paper's abstract.]
An extension of Turán's Theorem, uniqueness and stability
Published in Electron. J. Combin. 21 (2014), no. 4, Paper 4.5, 11 pp
• View Publication
• BIB
We determine the maximum number of edges of an $n$-vertex graph $G$ with the property that none of its $r$-cliques intersects a fixed set $M\subset V(G)$. For $(r-1)|M|\ge n$, the $(r-1)$-partite Turan graph turns out to be the unique extremal graph. For $(r-1)|M|<n$, there is a whole family of extremal graphs, which we describe explicitly. In addition we provide corresponding stability results.
On small Mixed Pattern Ramsey numbers
We call the minimum order of any complete graph so that for any coloring of the edges by $k$ colors it is impossible to avoid a monochromatic or rainbow triangle, a Mixed Ramsey number. For any graph $H$ with edges colored from the above set of $k$ colors, if we consider the condition of excluding $H$ in the above definition, we produce a \emph{Mixed Pattern Ramsey number}, denoted $M_k(H)$. We determine this function in terms of $k$ for all colored $4$-cycles and all colored $4$-cliques. We also find bounds for $M_k(H)$ when $H$ is a monochromatic odd cycles, or a star for sufficiently large $k$. We state several open questions.
A proof that h_1, h_2 <= h_0 for any h-basis A_3
A_k = {1, a_2, ... a_k} is an h-basis for X if every positive integer not exceeding X can be expressed as the sum of no more than h values a_i; X(h) is called the h-range of the basis. h_0 is the smallest value of h for which X(h) is greater than or equal to a_k, and h_1 is the smallest value for which X(h+1) = X(h) + a_k for all h greater than or equal to h_1. h_2 identifies a further "stabilisation" in the h-range - a definition is included in the body of the paper. It is known that h_1 and h_2 do not exceed h_0 for h-bases A_3, but published proofs are complicated (see Ch. VIII of [4], where references [3] and [5] are given). This paper introduces the concept of a "stride generator" A = {1, a_2, a_3} which, while sharing some of the properties of a basis A_3, is simpler to treat mathematically. We establish a relationship between stride generators and h-bases, and show that the result follows immediately if the stride generator underlying a basis has a particular property - here called "canonicality". The proof is lengthy (with a number of special cases to consider), but the underlying principles remain simple.
Minimal Spanning Trees on Infinite Sets
Published
• View Publication
• BIB
Minimal spanning trees on infinite vertex sets are investigated. A criterion for minimality of a spanning tree having a finite length is obtained, which generalizes the corresponding classical result for finite sets. It is given an analytic description of the set of all infinite metric spaces which a minimal spanning tree exists for. A sufficient condition for a minimal spanning tree existence is obtained in terms of distances achievability between partitions elements of the metric space under consideration. Besides, a concept of locally minimal spanning tree is introduced, several properties of such trees are described, and relations of those trees with (globally) minimal spanning trees are investigated.
A density Corrádi-Hajnal Theorem
Published in Canad. J. Math. 67 (2015), no. 4, 721-758
• View Publication
• BIB
We find, for all sufficiently large $n$ and each $k$, the maximum number of edges in an $n$-vertex graph which does not contain $k+1$ vertex-disjoint triangles.
This extends a result of Moon [Canad. J. Math. 20 (1968), 96-102] which is in turn an extension of Mantel's Theorem. Our result can also be viewed as a density version of the Corradi-Hajnal Theorem.
A coding problem for pairs of subsets
Published in Geometry, Structure and Randomness in Combinatorics, 47--59. CRM Series, 18, 2015
• Search Publication
Let $X$ be an $n$--element finite set, $0<k\leq n/2$ an integer. Suppose that $\{A_1,A_2\} $ and $\{B_1,B_2\} $ are pairs of disjoint $k$-element subsets of $X$ (that is, $|A_1|=|A_2|=|B_1|=|B_2|=k$, $A_1\cap A_2=\emptyset$, $B_1\cap B_2=\emptyset$). Define the distance of these pairs by $d(\{A_1,A_2\} ,\{B_1,B_2\})=\min \{|A_1-B_1|+|A_2-B_2|, |A_1-B_2|+|A_2-B_1|\} $. This is the minimum number of elements of $A_1\cup A_2$ one has to move to obtain the other pair $\{B_1,B_2\}$. Let $C(n,k,d)$ be the maximum size of a family of pairs of disjoint subsets, such that the distance of any two pairs is at least $d$.
Here we establish a conjecture of Brightwell and Katona concerning an asymptotic formula for $C(n,k,d)$ for $k,d$ are fixed and $n\to \infty$. Also, we find the exact value of $C(n,k,d)$ in an infinite number of cases, by using special difference sets of integers. Finally, the questions discussed above are put into a more general context and a number of coding theory type problems are proposed.
A precise threshold for quasi-Ramsey numbers
Published in SIAM Journal on Discrete Mathematics 29(3): 1670-1682, 2015
• View Publication
• BIB
We consider a variation of Ramsey numbers introduced by Erdős and Pach (1983), where instead of seeking complete or independent sets we only seek a $t$-homogeneous set, a vertex subset that induces a subgraph of minimum degree at least $t$ or the complement of such a graph.
For any $ν> 0$ and positive integer $k$, we show that any graph $G$ or its complement contains as an induced subgraph some graph $H$ on $\ell \ge k$ vertices with minimum degree at least $\frac12(\ell-1) + ν$ provided that $G$ has at least $k^{Ω(ν^2)}$ vertices. We also show this to be best possible in a sense. This may be viewed as correction to a result claimed in Erdős and Pach (1983).
For the above result, we permit $H$ to have order at least $k$. In the harder problem where we insist that $H$ have exactly $k$ vertices, we do not obtain sharp results, although we show a way to translate results of one form of the problem to the other.
Lipschitz equivalence of self-similar sets and hyperbolic boundaries II
Published
• View Publication
• BIB
In \cite{LuLa13}, two of the authors initiated a study of Lipschitz equivalence of self-similar sets through the augmented trees, a class of hyperbolic graphs introduced by Kaimanovich \cite{Ka03} and developed by Lau and Wang \cite{LaWa09}. In this paper, we continue such investigation. We remove a major assumption in the main theorem in \cite{LuLa13} by using a new notion of quasi-rearrangeable matrix, and show that the hyperbolic boundary of any simple augmented tree is Lipschitz equivalent to a Cantor-type set. We then apply this result to consider the Lipschitz equivalence of certain totally disconnected self-similar sets as well as their unions.
The three-point function of general planar maps
Published in J. Stat. Mech. (2014) P09012
• View Publication
• BIB
We compute the distance-dependent three-point function of general planar maps and of bipartite planar maps, i.e., the generating function of these maps with three marked vertices at prescribed pairwise distances. Explicit expressions are given for maps counted by their number of edges only, or by both their numbers of edges and faces. A few limiting cases and applications are discussed.
A sharp threshold for collapse of the random triangular group
Published
• View Publication
• BIB
The random triangular group $Γ(n,p)$ is the group given by a random group presentation with $n$ generators in which every relator of length three is present independently with probability $p$. We show that in the evolution of $Γ(n,p)$ the property of collapsing to the trivial group admits a very sharp threshold.
Almost all friendly matrices have many obstructions
Published
• View Publication
• BIB
A symmetric $m\times m$ matrix $M$ with entries taken from $\{0,1,\ast\}$ gives rise to a graph partition problem, asking whether a graph can be partitioned into $m$ vertex sets matched to the rows (and corresponding columns) of $M$ such that, if $M_{ij}=1$, then any two vertices between the corresponding vertex sets are joined by an edge, and if $M_{ij}=0$ then any two vertices between the corresponding vertex sets are not joined by an edge. The entry $\ast$ places no restriction on the edges between the corresponding sets. This problem generalises graph colouring and graph homomorphism problems.
A graph with no $M$-partition but such that every proper subgraph does have an $M$-partition is called a minimal obstruction. Feder, Hell and Xie have defined friendly matrices and shown that non-friendly matrices have infinitely many minimal obstructions. They showed through examples that friendly matrices can have finitely or infinitely many minimal obstructions and gave an example of a friendly matrix with an NP-hard partition problem. Here we show that almost all friendly matrices have infinitely many minimal obstructions and an NP-hard partition problem.
The Minimum Perfect Matching in Pseudo-dimension $0<q<1$
Published
• View Publication
• BIB
It is known that for $K_{n,n}$ equipped with i.i.d. $exp(1)$ edge costs, the minimum total cost of a perfect matching converges to $π^2/6$ in probability. Similar convergence has been established for all edge cost distributions of pseudo-dimension $q \geq 1$, such as Wei(1,q) costs. In this paper we extend those results all $q>0$, confirming the Mézard-Parisi conjecture in the last remaining applicable case.
Faithful representations of Chevalley groups over quotient rings of non-Archimedean local fields
Published
• View Publication
• BIB
Let $F$ be a non-Archimedean local field with the ring of integers $\mathcal{O}$ and the prime ideal $\mathfrak{p}$ and let $G={\bf G}\left(\mathcal{O}/\mathfrak{p}^n\right)$ be the adjoint Chevalley group. Let $m_f(G)$ denote the smallest possible dimension of a faithful representation of $G$. Using the Stone-von Neumann theorem, we determine a lower bound for $m_f(G)$ which is asymptotically the same as the results of Landazuri, Seitz and Zalesskii for split Chevalley groups over $\mathbb{F}_q$. Our result yields a conceptual explanation of the exponents that appear in the aforementioned results
Averages of alpha-determinants over permutations
We show that certain weighted average of the alpha-determinant of a $kn$ by $kn$ matrix of the form $A\otimes1_{1,k}$, the Kronecker product of a $kn$ by $n$ matrix $A$ and $1$ by $k$ all one matrix $1_{1,k}$, over permutations of $kn$ letters is reduced to the $k$-wreath determinant of $A$ up to constant. The constant is exactly given by the modified content polynomial for the Young diagram $(k^n)$. As a corollary, we give a `determinantal' formula for certain functions on the symmetric groups which are invariant under the left and right translation by a Young subgroup, especially the values of the Kostka numbers for rectangular shapes with arbitrary weight. This corollary gives a generalization of the formula of irreducible characters of the symmetric group for rectangular shapes due to Stanley.
Hilbert functions of colored quotient rings and a generalization of the Clements-Lindström theorem
Published
• View Publication
• BIB
Given a polynomial ring $S = \Bbbk[x_1, \dots, x_n]$ over a field $\Bbbk$, and a monomial ideal $M$ of $S$, we say the quotient ring $R = S/M$ is Macaulay-Lex if for every graded ideal of $R$, there exists a lexicographic ideal of $R$ with the same Hilbert function. In this paper, we introduce a class of quotient rings with combinatorial significance, which we call colored quotient rings. This class of rings include Clements-Lindström rings and colored squarefree rings as special cases that are known to be Macaulay-Lex. We construct two new classes of Macaulay-Lex rings, characterize all colored quotient rings that are Macaulay-Lex, and give a simultaneous generalization of both the Clements-Lindström theorem and the Frankl-Füredi-Kalai theorem. We also show that the $f$-vectors of $(a_1, \dots, a_n)$-colored simplicial complexes or multicomplexes are never characterized by "reverse-lexicographic" complexes or multicomplexes when $n>1$ and $(a_1, \dots, a_n) \neq (1, \dots, 1)$.
On the dual graph of Cohen-Macaulay algebras
Published
• View Publication
• BIB
Given a projective algebraic set X, its dual graph G(X) is the graph whose vertices are the irreducible components of X and whose edges connect components that intersect in codimension one. Hartshorne's connectedness theorem says that if (the coordinate ring of) X is Cohen-Macaulay, then G(X) is connected. We present two quantitative variants of Hartshorne's result:
1) If X is a Gorenstein subspace arrangement, then G(X) is r-connected, where r is the Castelnuovo-Mumford regularity of X. (The bound is best possible; for coordinate arrangements, it yields an algebraic extension of Balinski's theorem for simplicial polytopes.)
2) If X is a canonically embedded arrangement of lines no three of which meet in the same point, then the diameter of the graph G(X) is not larger than the codimension of X. (The bound is sharp; for coordinate arrangements, it yields an algebraic expansion on the recent combinatorial result that the Hirsch conjecture holds for flag normal simplicial complexes.)