Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A note on the tolerated Tverberg theorem
In this paper we give an asymptotically tight bound for the tolerated Tverberg Theorem when the dimension and the size of the partition are fixed. To achieve this we study certain partitions of order-type homogeneous sets and use a generalization of the Erdős-Szekeres theorem.
The average number of spanning trees in sparse graphs with given degrees
Published
• View Publication
• BIB
We give an asymptotic expression for the expected number of spanning trees in a random graph with a given degree sequence $\boldsymbol{d}=(d_1,\ldots, d_n)$, provided that the number of edges is at least $n + \textstyle{\frac{1}{2}} d_{\max}^4$, where $d_{\max}$ is the maximum degree. A key part of our argument involves establishing a concentration result for a certain family of functions over random trees with given degrees, using Prüfer codes.
Allowed patterns of symmetric tent maps via commuter functions
Published
• View Publication
• BIB
We introduce a new technique to study pattern avoidance in dynamical systems, namely the use of a commuter function between non-conjugate dynamical systems. We investigate the properties of such a commuter function, specifically $h : [0,1] \to [0,1]$ satisfying $T_1 \circ h = h \circ T_μ$, where $T_μ$ denotes a symmetric tent map of height $μ$. We make use of this commuter function to prove strict inclusion of the set of allowed patterns of $T_μ$ in the set of allowed patterns of $T_1$.
Improved approximative multicoloring of hexagonal graphs
In 1999, McDiarmid and Reed conjectued that the approximation ratio $9/8$ of multichromatic number to weighted clique number asymptotically is the best possible for general weighted hexagonal graphs. We prove that there is a proper multicoloring of $G$ that uses at most $15 \lfloor\frac{ω(G)}{12}\rfloor+ 18 $ colors improving the best previously known asimptotic ratio from 4/3 to 5/4.
Universal Sets and Cover-Free Families
We propose a polynomial time construction of an $(n,d)$-universal set over alphabet $Σ=\{0,1\}$, of size $d\cdot 2^{d+o(d)}\cdot\log n$. This is an improvement over the size, $d^{5}2^{2.66d}\log n$, of an $(n,d)$-universal set constructed by Bshouty, \cite{BshoutyTesters}, over alphabet $Σ=\{0,1\}$.
Bounds for approximating lower envelopes with polynomials of degree at most $d$
Given a lower envelope in the form of an arbitrary sequence $u$, let $LSP(u, d)$ denote the maximum length of any subsequence of $u$ that can be realized as the lower envelope of a set of polynomials of degree at most $d$. Let $sp(m, d)$ denote the minimum value of $LSP(u, d)$ over all sequences $u$ of length $m$. We derive bounds on $sp(m, d)$ using another extremal function for sequences.
A sequence $u$ is called $v$-free if no subsequence of $u$ is isomorphic to $v$. Given sequences $u$ and v, let $LSS(u, v)$ denote the maximum length of a $v$-free subsequence of $u$. Let $ss(m, v)$ denote the minimum of $LSS(u, v)$ over all sequences $u$ of length $m$. By bounding $ss(m, v)$ for alternating sequences $v$, we prove quasilinear bounds in $m^{1/2}$ on $sp(m,d)$ for all $d > 0$.
Shuffling large decks of cards and the Bernoulli-Laplace urn model
Published
• View Publication
• BIB
In card games, in casino games with multiple decks of cards and in cryptography, one is sometimes faced with the following problem: how can a human (as opposed to a computer) shuffle a large deck of cards? The procedure we study is to break the deck into several reasonably sized piles, shuffle each thoroughly, recombine the piles, do some simple deterministic operation, for instance a cut, and repeat. This process can also be seen as a generalised Bernoulli-Laplace urn model. We use coupling arguments and spherical function theory to derive upper and bounds on the mixing times of these Markov chains.
Quadrangular embeddings of complete graphs and the Even Map Color Theorem (with details)
Published in J. Combin. Theory Ser. B 139 (2019) 1-26
• View Publication
• BIB
Hartsfield and Ringel constructed orientable quadrangular embeddings of the complete graph $K_n$ for $n\equiv 5 \pmod 8$, and nonorientable ones for $n \ge 9$ and $n\equiv 1 \pmod 4$. These provide minimal quadrangulations of their underlying surfaces. We extend these results to determine, for every complete graph $K_n$, $n \ge 4$, the minimum genus, both orientable and nonorientable, for the surface in which $K_n$ has an embedding with all faces of degree at least $4$, and also for the surface in which $K_n$ has an embedding with all faces of even degree. These last embeddings provide sharpness examples for a result of Hutchinson bounding the chromatic number of graphs embedded with all faces of even degree, completing the proof of the Even Map Color Theorem. We also show that if a connected simple graph $G$ has a perfect matching and a cycle then the lexicographic product $G[K_4]$ has orientable and nonorientable quadrangular embeddings; this provides new examples of minimal quadrangulations.
On sets defining few ordinary planes
Published
• View Publication
• BIB
Let $S$ be a set of $n$ points in real three-dimensional space, no three collinear and not all co-planar. We prove that if the number of planes incident with exactly three points of $S$ is less than $Kn^2$ for some $K=o(n^{\frac{1}{7}})$ then, for $n$ sufficiently large, all but at most $O(K)$ points of $S$ are contained in the intersection of two quadrics. Furthermore, we prove that there is a constant $c$ such that if the number of planes incident with exactly three points of $S$ is less than $\frac{1}{2}n^2-cn$ then, for $n$ sufficiently large, $S$ is either a prism, an anti-prism, a prism with a point removed or an anti-prism with a point removed. As a corollary to the main result, we deduce the following theorem. Let $S$ be a set of $n$ points in the real plane. If the number of circles incident with exactly three points of $S$ is less than $Kn^2$ for some $K=o(n^{\frac{1}{7}})$ then, for $n$ sufficiently large, all but at most $O(K)$ points of $S$ are contained in a curve of degree at most four.
NP-completeness in the gossip monoid
Published
• View Publication
• BIB
Gossip monoids form an algebraic model of networks with exclusive, transient connections in which nodes, when they form a connection, exchange all known information. They also arise naturally in pure mathematics, as the monoids generated by the set of all equivalence relations on a given finite set under relational composition. We prove that a number of important decision problems for these monoids (including the membership problem, and hence the problem of deciding whether a given state of knowledge can arise in a network of the kind under consideration) are NP-complete. As well as being of interest in their own right, these results shed light on the apparent difficulty of establishing the cardinalities of the gossip monoids: a problem which has attracted some attention in the last few years.
On the average size of independent sets in triangle-free graphs
Published
• View Publication
• BIB
We prove an asymptotically tight lower bound on the average size of independent sets in a triangle-free graph on $n$ vertices with maximum degree $d$, showing that an independent set drawn uniformly at random from such a graph has expected size at least $(1+o_d(1)) \frac{\log d}{d}n$. This gives an alternative proof of Shearer's upper bound on the Ramsey number $R(3,k)$. We then prove that the total number of independent sets in a triangle-free graph with maximum degree $d$ is at least $\exp \left[\left(\frac{1}{2}+o_d(1) \right) \frac{\log^2 d}{d}n \right]$. The constant $1/2$ in the exponent is best possible. In both cases, tightness is exhibited by a random $d$-regular graph.
Both results come from considering the hard-core model from statistical physics: a random independent set $I$ drawn from a graph with probability proportional to $λ^{|I|}$, for a fugacity parameter $λ>0$. We prove a general lower bound on the occupancy fraction (normalized expected size of the random independent set) of the hard-core model on triangle-free graphs of maximum degree $d$. The bound is asymptotically tight in $d$ for all $λ=O_d(1)$.
We conclude by stating several conjectures on the relationship between the average and maximum size of an independent set in a triangle-free graph and give some consequences of these conjectures in Ramsey theory.
Generalized Ramsey numbers through adiabatic quantum optimization
Published in Quantum Inf. Process. 15, 3519 (2016)
• View Publication
• BIB
Ramsey theory is an active research area in combinatorics whose central theme is the emergence of order in large disordered structures, with Ramsey numbers marking the threshold at which this order first appears. For generalized Ramsey numbers $r(G,H)$, the emergent order is characterized by graphs $G$ and $H$. In this paper we: (i) present a quantum algorithm for computing generalized Ramsey numbers by reformulating the computation as a combinatorial optimization problem which is solved using adiabatic quantum optimization; and (ii) determine the Ramsey numbers $r(\mathcal{T}_{m},\mathcal{T}_{n})$ for trees of order $m,n = 6,7,8$, most of which were previously unknown.
Highlights from "The Ramanujan Property for Simplicial Complexes" [arXiv:1605.02664]
This paper brings the main definitions and results from "The Ramanujan Property for Simplicial Complexes" [arXiv:1605.02664]. No proofs are given.
Given a simplicial complex $\mathcal{X}$ and a group $G$ acting on $\mathcal{X}$, we define Ramanujan quotients of $\mathcal{X}$. For $G$ and $\mathcal{X}$ suitably chosen this recovers Ramanujan $k$-regular graphs and Ramanujan complexes in the sense of Lubotzky, Samuels and Vishne. Deep results in automorphic representations are used to give new examples of Ramanujan quotients when $\mathcal{X}$ is the affine building of an inner form of $\mathbf{GL}_n$ over a local field of positive characteristic.
Packing Coloring of Undirected and Oriented Generalized Theta Graphs
The packing chromatic number $χ$ $ρ$ (G) of an undirected (resp. oriented) graph G is the smallest integer k such that its set of vertices V (G) can be partitioned into k disjoint subsets V 1,..., V k, in such a way that every two distinct vertices in V i are at distance (resp. directed distance) greater than i in G for every i, 1 $\le$ i $\le$ k. The generalized theta graph $Θ$ {\ell} 1,...,{\ell}p consists in two end-vertices joined by p $\ge$ 2 internally vertex-disjoint paths with respective lengths 1 $\le$ {\ell} 1 $\le$ . . . $\le$ {\ell} p. We prove that the packing chromatic number of any undirected generalized theta graph lies between 3 and max{5, n 3 + 2}, where n 3 = |{i / 1 $\le$ i $\le$ p, {\ell} i = 3}|, and that both these bounds are tight. We then characterize undirected generalized theta graphs with packing chromatic number k for every k $\ge$ 3. We also prove that the packing chromatic number of any oriented generalized theta graph lies between 2 and 5 and that both these bounds are tight.
Regularity inheritance in pseudorandom graphs
Published
• View Publication
• BIB
Advancing the sparse regularity method, we prove one-sided and two-sided regularity inheritance lemmas for subgraphs of bijumbled graphs, improving on results of Conlon, Fox and Zhao [Adv. Math. 256 (2014), 206--290]. These inheritance lemmas also imply improved $H$-counting lemmas for subgraphs of bijumbled graphs, for some $H$.
On Chari-Loktev bases for local Weyl modules in type $A$
Published
• View Publication
• BIB
This paper is a study of the bases introduced by Chari-Loktev for local Weyl modules of the current algebra associated to a special linear Lie algebra. Partition overlaid patterns, POPs for short---whose introduction is one of the aims of this paper---form convenient parametrizing sets of these bases. They play a role analogous to that played by (Gelfand-Tsetlin) patterns in the representation theory of the special linear Lie algebra.
The notion of a POP leads naturally to the notion of area of a pattern. We observe that there is a unique pattern of maximal area among all those with a given bounding sequence and given weight. We give a combinatorial proof of this and discuss its representation theoretic relevance.
We then state a conjecture about the "stability", i.e., compatibility in the long range, of Chari-Loktev bases with respect to inclusions of local Weyl modules. In order to state the conjecture, we establish a certain bijection between colored partitions and POPs, which may be of interest in itself.
Matching and Independence Complexes Related to Small Grids
Published
• View Publication
• BIB
The topology of the matching complex for the $2\times n$ grid graph is mysterious. We describe a discrete Morse matching for a family of independence complexes $\mathrm{Ind}(Δ_n^m)$ that include these matching complexes. Using this matching, we determine the dimensions of the chain spaces for the resulting Morse complexes and derive bounds on the location of non-trivial homology groups for certain $\mathrm{Ind}(Δ_n^m)$. Further, we determine the Euler characteristic of $\mathrm{Ind}(Δ_n^m)$ and prove that several homology groups of $\mathrm{Ind}(Δ_n^m)$ are non-zero.
Discrete solitons in infinite reduced words
Published
• View Publication
• BIB
We consider a discrete dynamical system where the roles of the states and the carrier are played by translations in an affine Weyl group of type $A$. The Coxeter generators are enriched by parameters, and the interactions with the carrier are realized using Lusztig's braid move $(a,b,c) \mapsto (bc/(a+c), a+c, ab/(a+c))$. We use wiring diagrams on a cylinder to interpret chamber variables as $τ$-functions. This allows us to realize our systems as reductions of the Hirota bilinear difference equation and thus obtain $N$-soliton solutions.
A tight bound for Green's arithmetic triangle removal lemma in vector spaces
Published
• View Publication
• BIB
Let $p$ be a fixed prime. A triangle in $\mathbb{F}_p^n$ is an ordered triple $(x,y,z)$ of points satisfying $x+y+z=0$. Let $N=p^n=|\mathbb{F}_p^n|$. Green proved an arithmetic triangle removal lemma which says that for every $ε>0$ and prime $p$, there is a $δ>0$ such that if $X,Y,Z \subset \mathbb{F}_p^n$ and the number of triangles in $X \times Y \times Z$ is at most $δN^2$, then we can delete $εN$ elements from $X$, $Y$, and $Z$ and remove all triangles. Green posed the problem of improving the quantitative bounds on the arithmetic triangle removal lemma, and, in particular, asked whether a polynomial bound holds. Despite considerable attention, prior to this paper, the best known bound, due to the first author, showed that $1/δ$ can be taken to be an exponential tower of twos of height logarithmic in $1/ε$.
We solve Green's problem, proving an essentially tight bound for Green's arithmetic triangle removal lemma in $\mathbb{F}_p^n$. We show that a polynomial bound holds, and further determine the best possible exponent. Namely, there is a computable number $C_p$ such that we may take $δ= (ε/3)^{C_p}$, and we must have $δ\leq ε^{C_p-o(1)}$. In particular, $C_2=1+1/(5/3 - \log_2 3) \approx 13.239$, and $C_3=1+1/c_3$ with $c_3=1-\frac{\log b}{\log 3}$, $b=a^{-2/3}+a^{1/3}+a^{4/3}$, and $a=\frac{\sqrt{33}-1}{8}$, which gives $C_3 \approx 13.901$. The proof uses Kleinberg, Sawin, and Speyer's essentially sharp bound on multicolored sum-free sets, which builds on the recent breakthrough on the cap set problem by Croot-Lev-Pach, and the subsequent work by Ellenberg-Gijswijt, Blasiak-Church-Cohn-Grochow-Naslund-Sawin-Umans, and Alon.
Bicyclic graphs with extremal degree resistance distance
Let $r(u,v)$ be the resistance distance between two vertices $u, v$ of a simple graph $G$, which is the effective resistance between the vertices in the corresponding electrical network constructed from $G$ by replacing each edge of $G$ with a unit resistor. The degree resistance distance of a simple graph $G$ is defined as ${D_R}(G) = \sum\limits_{\{u,v\} \subseteq V(G)} {[d(u) + d(v)]r(u,v)},$ where $d(u)$ is the degree of the vertex $u$. In this paper, the bicyclic graphs with extremal degree resistance distance are strong-minded. We first determine the $n$-vertex bicyclic graphs having precisely two cycles with minimum and maximum degree resistance distance. We then completely characterize the bicyclic graphs with extremal degree resistance distance.