Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A spectral gap precludes low-dimensional embeddings
We prove that there is a universal constant $C>0$ with the following property. Suppose that $n\in \mathbb{N}$ and that $\mathsf{A}=(a_{ij})\in M_n(\mathbb{R})$ is a symmetric stochastic matrix. Denote the second-largest eigenvalue of $\mathsf{A}$ by $λ_2(\mathsf{A})$. Then for $\mathrm{\it any}$ finite-dimensional normed space $(X,\|\cdot\|)$ we have $$ \forall\, x_1,\ldots,x_n\in X,\qquad \mathrm{dim}(X)\ge \frac12 \exp\left(C\frac{1-λ_2(\mathsf{A})}{\sqrt{n}}\bigg(\frac{\sum_{i=1}^n\sum_{j=1}^n\|x_i-x_j\|^2}{\sum_{i=1}^n\sum_{j=1}^na_{ij}\|x_i-x_j\|^2}\bigg)^{\frac12}\right). $$ This implies that if an $n$-vertex $O(1)$-expander embeds with average distortion $D\ge 1$ into $X$, then necessarily $\mathrm{dim}(X)\gtrsim n^{c/D}$ for some universal constant $c>0$, thus improving over the previously best-known estimate $\mathrm{dim}(X)\gtrsim (\log n)^2/D^2$ of Linial, London and Rabinovich, strengthening a theorem of Matoušek, and answering a question of Andoni, Nikolov, Razenshteyn and Waingarten.
Generating series formulas for the structure constants of Solomon's descent algebra
Introduced by Solomon in his 1976 paper, the descent algebra of a finite Coxeter group received significant attention over the past decades. As proved by Gessel, in the case of the symmetric group its structure constants give the comultiplication table for the fundamental basis of quasisymmetric functions. We show that this property actually implies several well known relations linked to the Robinson-Schensted-Knuth correspondence and some of its generalisations. We further use the theory of type B quasisymmetric functions introduced by Chow to provide analogue results when the Coxeter group is the hyperoctahedral group.
Extremal Restraints for Graph Colourings
Published in J. Combin. Math. Combin. Comput. 93 (2015), pp. 297-304
• Search Publication
A {\em restraint} on a (finite undirected) graph $G = (V,E)$ is a function $r$ on $V$ such that $r(v)$ is a finite subset of ${\mathbb N}$; a proper vertex colouring $c$ of $G$ is {\em permitted} by $r$ if $c(v) \not\in r(v)$ for all vertices $v$ of $G$ (we think of $r(v)$ as the set of colours {\em forbidden} at $v$). Given a large number of colors, for restraints $r$ with exactly one colour forbidden at each vertex the smallest number of colorings is permitted when $r$ is a constant function, but the problem of what restraints permit the largest number of colourings is more difficult. We determine such extremal restraints for complete graphs and trees.
Whom to befriend to influence people
Published
• View Publication
• BIB
Alice wants to join a new social network, and influence its members to adopt a new product or idea. Each person $v$ in the network has a certain threshold $t(v)$ for {\em activation}, i.e adoption of the product or idea. If $v$ has at least $t(v)$ activated neighbors, then $v$ will also become activated. If Alice wants to activate the entire social network, whom should she befriend? More generally, we study the problem of finding the minimum number of links that a set of external influencers should form to people in the network, in order to activate the entire social network. This {\em Minimum Links} Problem has applications in viral marketing and the study of epidemics. Its solution can be quite different from the related and widely studied Target Set Selection problem. We prove that the Minimum Links problem cannot be approximated to within a ratio of $O(2^{\log^{1-ε} n})$, for any fixed $ε>0$, unless $NP\subseteq DTIME(n^{polylog(n)})$, where $n$ is the number of nodes in the network. On the positive side, we give linear time algorithms to solve the problem for trees, cycles, and cliques, for any given set of external influencers, and give precise bounds on the number of links needed. For general graphs, we design a polynomial time algorithm to compute size-efficient link sets that can activate the entire graph.
On the number of ordinary lines determined by sets in complex space
Published in Discrete Comput Geom 61, 778-808 (2019)
• View Publication
• BIB
Kelly's theorem states that a set of $n$ points affinely spanning $\mathbb{C}^3$ must determine at least one ordinary complex line (a line passing through exactly two of the points). Our main theorem shows that such sets determine at least $3n/2$ ordinary lines, unless the configuration has $n-1$ points in a plane and one point outside the plane (in which case there are at least $n-1$ ordinary lines). In addition, when at most $2n/3$ points are contained in any plane, we prove a theorem giving stronger bounds that take advantage of the existence of lines with 4 and more points (in the spirit of Melchior's and Hirzebruch's inequalities). Furthermore, when the points span 4 or more dimensions, with at most $2n/3$ points contained in any three dimensional affine subspace, we show that there must be a quadratic number of ordinary lines.
Deterministic Discrepancy Minimization via the Multiplicative Weight Update Method
Published
• View Publication
• BIB
A well-known theorem of Spencer shows that any set system with $n$ sets over $n$ elements admits a coloring of discrepancy $O(\sqrt{n})$. While the original proof was non-constructive, recent progress brought polynomial time algorithms by Bansal, Lovett and Meka, and Rothvoss. All those algorithms are randomized, even though Bansal's algorithm admitted a complicated derandomization.
We propose an elegant deterministic polynomial time algorithm that is inspired by Lovett-Meka as well as the Multiplicative Weight Update method. The algorithm iteratively updates a fractional coloring while controlling the exponential weights that are assigned to the set constraints.
A conjecture by Meka suggests that Spencer's bound can be generalized to symmetric matrices. We prove that $n \times n$ matrices that are block diagonal with block size $q$ admit a coloring of discrepancy $O(\sqrt{n} \cdot \sqrt{\log(q)})$.
Bansal, Dadush and Garg recently gave a randomized algorithm to find a vector $x$ with entries in $\lbrace{-1,1\rbrace}$ with $\|Ax\|_{\infty} \leq O(\sqrt{\log n})$ in polynomial time, where $A$ is any matrix whose columns have length at most 1. We show that our method can be used to deterministically obtain such a vector.
Sperner's colorings and optimal partitioning of the simplex
Published
• View Publication
• BIB
We discuss coloring and partitioning questions related to Sperner's Lemma, originally motivated by an application in hardness of approximation. Informally, we call a partitioning of the $(k-1)$-dimensional simplex into $k$ parts, or a labeling of a lattice inside the simplex by $k$ colors, "Sperner-admissible" if color $i$ avoids the face opposite to vertex $i$. The questions we study are of the following flavor: What is the Sperner-admissible labeling/partitioning that makes the total area of the boundary between different colors/parts as small as possible?
First, for a natural arrangement of "cells" in the simplex, we prove an optimal lower bound on the number of cells that must be non-monochromatic in any Sperner-admissible labeling. This lower bound is matched by a simple labeling where each vertex receives the minimum admissible color.
Second, we show for this arrangement that in contrast to Sperner's Lemma, there is a Sperner-admissible labeling such that every cell contains at most $4$ colors.
Finally, we prove a geometric variant of the first result: For any Sperner-admissible partition of the regular simplex, the total surface area of the boundary shared by at least two different parts is minimized by the Voronoi partition $(A^*_1,\ldots,A^*_k)$ where $A^*_i$ contains all the points whose closest vertex is $i$. We also discuss possible extensions of this result to general polytopes and some open questions.
The Graph of the Pedigree Polytope is Asymptotically Almost Complete (Extended Abstract)
Published
• View Publication
• BIB
Graphs (1-skeletons) of Traveling-Salesman-related polytopes have attracted a lot of attention. Pedigree polytopes are extensions of the classical Symmetric Traveling Salesman Problem polytopes (Arthanari 2000) whose graphs contain the TSP polytope graphs as spanning subgraphs (Arthanari 2013). Unlike TSP polytopes, Pedigree polytopes are not "symmetric", e.g., their graphs are not vertex transitive, not even regular. We show that in the graph of the pedigree polytope, the quotient minimum degree over number of vertices tends to 1 as the number of cities tends to infinity.
On the Graph of the Pedigree Polytope
Pedigree polytopes are extensions of the classical Symmetric Traveling Salesman Problem polytopes whose graphs (1-skeletons) contain the TSP polytope graphs as spanning subgraphs. While deciding adjacency of vertices in TSP polytopes is coNP-complete, Arthanari has given a combinatorial (polynomially decidable) characterization of adjacency in Pedigree polytopes. Based on this characterization, we study the graphs of Pedigree polytopes asymptotically, for large numbers of cities. Unlike TSP polytope graphs, which are vertex transitive, Pedigree graphs are not even regular. Using an "adjacency game" to handle Arthanari's intricate inductive characterization of adjacency, we prove that the minimum degree is asymptotically equal to the number of vertices, i.e., the graph is "asymptotically almost complete".
Percolation on random graphs with a fixed degree sequence
Published
• View Publication
• BIB
We consider bond percolation on random graphs with given degrees and bounded average degree. In particular, we consider the order of the largest component after the random deletion of the edges of such a random graph. We give a rough characterisation of those degree distributions for which bond percolation with high probability leaves a component of linear order, known usually as a giant component. We show that essentially the critical condition has to do with the tail of the degree distribution. Our proof makes use of recent technique introduced by Joos et al. [FOCS 2016, pp. 695--703], which is based on the switching method and avoids the use of the classic configuration model as well as the hypothesis of having a limiting object. Thus our results hold for sparse degree sequences without the usual restrictions that accompany the configuration model.
On solution-free sets of integers II
Published
• View Publication
• BIB
Given a linear equation $\mathcal{L}$, a set $A \subseteq [n]$ is $\mathcal{L}$-free if $A$ does not contain any `non-trivial' solutions to $\mathcal{L}$. We determine the precise size of the largest $\mathcal{L}$-free subset of $[n]$ for several general classes of linear equations $\mathcal{L}$ of the form $px+qy=rz$ for fixed $p,q,r \in \mathbb N$ where $p \geq q \geq r$. Further, for all such linear equations $\mathcal{L}$, we give an upper bound on the number of maximal $\mathcal{L}$-free subsets of $[n]$. In the case when $p=q\geq 2$ and $r=1$ this bound is exact up to an error term in the exponent.
We make use of container and removal lemmas of Green to prove this result. Our results also extend to various linear equations with more than three variables.
On the critical probability in percolation
Published in Electronic Journal of Probability 23 (2018), Paper 1, 25pp
• View Publication
• BIB
For percolation on finite transitive graphs, Nachmias and Peres suggested a characterization of the critical probability based on the logarithmic derivative of the susceptibility. As a first test-case, we study their suggestion for the Erdős-Rényi random graph G_{n,p}, and confirm that the logarithmic derivative has the desired properties: (i) its maximizer lies inside the critical window p=1/n+Θ(n^{-4/3}), and (ii) the inverse of its maximum value coincides with the Θ(n^{-4/3})-width of the critical window. We also prove that the maximizer is not located at p=1/n or p=1/(n-1), refuting a speculation of Peres.
On the Circuit Diameter Conjecture
Published
• View Publication
• BIB
From the point of view of optimization, a critical issue is relating the combinatorial diameter of a polyhedron to its number of facets $f$ and dimension $d$. In the seminal paper of Klee and Walkup [KW67], the Hirsch conjecture of an upper bound of $f-d$ was shown to be equivalent to several seemingly simpler statements, and was disproved for unbounded polyhedra through the construction of a particular 4-dimensional polyhedron $U_4$ with 8 facets. The Hirsch bound for bounded polyhedra was only recently disproved by Santos.
We consider analogous properties for a variant of the combinatorial diameter called the circuit diameter. In this variant, the walks are built from the circuit directions of the polyhedron, which are the minimal non-trivial solutions to the system defining the polyhedron.
We are able to prove that circuit variants of the so-called non-revisiting conjecture and $d$-step conjecture both imply the circuit analogue of the Hirsch conjecture. For the equivalences in [KW67], the wedge construction was a fundamental proof technique. We exhibit why it is not available in the circuit setting, and what are the implications of losing it as a tool.
Further, we show the circuit analogue of the non-revisiting conjecture implies a linear bound on the circuit diameter of all unbounded polyhedra - in contrast to what is known for the combinatorial diameter. Finally, we give two proofs of a circuit version of the $4$-step conjecture. These results offer some hope that the circuit version of the Hirsch conjecture may hold in general.
A challenge in the circuit setting is that different realizations of polyhedra of the same combinatorial structure may have different diameters. We adapt the notion of simplicity to work with circuits in the form of C-simple and wedge-simple polyhedra. We show that it suffices to consider such polyhedra.
Solutions for two conjectures on kaleidoscopic edge-colorings
For an $r$-regular graph $G$, we define an edge-coloring $c$ with colors from $\{1,2,\cdots,$ $k\}$, in such a way that any vertex of $G$ is incident to at least one edge of each color. The multiset-color $c_m(v)$ of a vertex $v$ is defined as the ordered tuple $(a_1,a_2,\cdots ,a_k)$, where $a_i \ (1\leq i\leq k)$ denotes the number of edges with color $i$ which are incident with $v$ in $G$. Then this edge-coloring $c$ is called a {\it $k$-kaleidoscopic coloring} of $G$ if every two distinct vertices in $G$ have different multiset-colors and in this way the graph $G$ is defined as a {\it $k$-kaleidoscope}. In this paper, we determine the integer $k$ for a complete graph $K_n$ to be a $k$-kaleidoscope, and hence solve a conjecture in [P. Zhang, A Kaleidoscopic View of Graph Colorings, Springer, New York, 2016] that for any integers $n$ and $k$ with $n\geq k+3 \geq 6$, the complete graph $K_n$ is a $k$-kaleidoscope. Then, we construct an $r$-regular $3$-kaleidoscope of order $\binom{r-1}{2}-1$ for each integer $r\geq 7$, where $r\equiv 3\ (\text{mod}\ 4)$, which solves another conjecture in the same book on the maximum order for $r$-regular $3$-kaleidoscopes.
Refined Inertia of Matrix Patterns
Published
• View Publication
• BIB
We explore how the combinatorial arrangement of prescribed zeros in a matrix affects the possible eigenvalues that the matrix can obtain. We demonstrate that there are inertially arbitrary patterns having a digraph with no 2-cycle, unlike what happens for nonzero patterns. We develop a class of patterns that are refined inertially arbitrary but not spectrally arbitrary, making use of the property of a properly signed nest. We include a characterization of the inertially arbitrary and refined inertially arbitrary patterns of order three, as well as the patterns of order four with the least number of nonzero entries.
On some combinatorial formulae coming from Hessian Topology
Published
• View Publication
• BIB
The interaction between combinatorics and algebraic and differential geometry is very strong. While researching a problem of Hessian topology, we came across a series of identities of binomial coefficients, which are useful for proving a topological property of certain spaces whose elements are graphs of a class of hyperbolic polynomials. These identities are proven by different methods in combinatorics.
A Slow Relative of Hofstadter's Q-Sequence
Hofstadter's Q-sequence remains an enigma fifty years after its introduction. Initially, the terms of the sequence increase monotonically by 0 or 1 at a time. But, Q(12)=8 while Q(11)=6, and monotonicity fails shortly thereafter. In this paper, we add a third term to Hofstadter's recurrence, giving the recurrence B(n)=B(n-B(n-1))+B(n-B(n-2))+B(n-B(n-3)). We show that this recurrence, along with a suitable initial condition that naturally generalizes Hofstadter's initial condition, generates a sequence whose terms all increase monotonically by 0 or 1 at a time. Furthermore, we give a complete description of the resulting frequency sequence, which allows the nth term of our sequence to be efficiently computed. We conclude by showing that our sequence cannot be easily generalized.
On multicolor Ramsey number for 3-paths of length three
We show that if we color the hyperedges of the complete $3$-uniform complete graph on $2n+\sqrt{18n+1}+2$ vertices with $n$ colors, then one of the color classes contains a loose path of length three.
Status connectivity indices and co-indices of graphs and its computation to intersection graph, hypercube, Kneser graph and achiral polyhex nanotorus
Published
• View Publication
• BIB
The status of a vertex $u$ in a connected graph $G$, denoted by $σ_G(u)$, is defined as the sum of the distances between $u$ and all other vertices of a graph $G$. The first and second status connectivity indices of a graph $G$ are defined as $S_{1}(G) = \sum_{uv \in E(G)}[σ_G(u)+ σ_G(v)]$ and $S_{2}(G) = \sum_{uv \in E(G)}σ_G(u)σ_G(v)$ respectively, where $E(G)$ denotes the edge set of $G$. In this paper we have defined the first and second status co-indices of a graph $G$ as $\overline{S_{1}}(G) = \sum_{uv \notin E(G)}[σ_G(u)+ σ_G(v)]$ and $\overline{S_{2}}(G) = \sum_{uv \notin E(G)}σ_G(u)σ_G(v)$ respectively. Relations between status connectivity indices and status coindices are established. Also these indices are computed for intersection graph, hypercube, Kneser graph and achiral polyhex nanotorus.
Laplacian integrality in P4-sparse and P4-extendible graphs
Published
• View Publication
• BIB
Let G be a simple graph and L = L(G) the Laplacian matrix of G. G is called L-integral if all its Laplacian eigenvalues are integer numbers. It is known that every cograph, a graph free of P4, is L-integral. The class of P4-sparse graphs and the class of P4-extendible graphs contain the cographs. It seems natural to investigate if the graphs in these classes are still L-integral. In this paper we characterized the L-integral graphs for both cases, P4-sparse graphs and P4-extendible graphs.