Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Thickness and Outerthickness for Embedded Graphs
Published
• View Publication
• BIB
We consider the thickness $θ(G))$ and outerthickness $θ_o(G)$ of a graph G in terms of its orientable and nonorientable genus. Dean and Hutchinson provided upper bounds for thickness of graphs in terms of their orientable genus. More recently, Concalves proved that the outerthickness of any planar graph is at most 2. In this paper, we apply the method of deleting spanning disks of embeddings to approximate the thickness and outerthickness of graphs. We first obtain better upper bounds for thickness. We then use a similar approach to provide upper bounds for outerthickness of graphs in terms of their orientable and nonorientable genera. Finally we show that the outerthickness of the torus (the maximum outerthickness of all toroidal graphs) is 3. We also show that all graphs embeddable in the double torus have thickness at most 3 and outerthickness at most 5.
Exposition of Elekes Szabo paper
We explain the Elekes Szabo paper in more details and improve the constant in one dimensional case in \mathbb{R} and \mathbb{C}.
Hypercubes are determined by their distance spectra
Published
• View Publication
• BIB
We show that the d-cube is determined by the spectrum of its distance matrix.
Polynomiality of shifted Plancherel averages and content evaluations
Published in Annales Mathématiques Blaise Pascal 24, no. 1 (2017), 55-82
• View Publication
• BIB
The shifted Plancherel measure is a natural probability measure on strict partitions. We prove a polynomiality property for the averages of the shifted Plancherel measure. As an application, we give alternative proofs of some content evaluation formulas, obtained by Han and Xiong very recently. Our main tool is factorial Schur $Q$-functions.
Crossings states and sets of states in Pólya random walks
Published in Methodolody and Computing in Applied Probability, 25 (2023), Issue 1, Article No. 28, 34 pp
• View Publication
• BIB
We consider the Pólya random walk in $\mathbb{Z}^2$. The paper establishes a number of results for the distributions and expectations of the number of usual (undirected) and specifically defined in the paper up- and down-directed state-crossings and different sets of states crossings. One of the most important results of this paper is that the expected number of undirected state-crossings $\mathbf{n}$ is equal to 1 for any state $\mathbf{n}\in\mathbb{Z}^2\setminus\{\mathbf{0}\}$. As well, the results of the paper are extended to $d$-dimensional random walks, $d\geq2$, in bounded areas.
Improved upper bounds for partial spreads
Published
• View Publication
• BIB
A partial $(k-1)$-spread in $\operatorname{PG}(n-1,q)$ is a collection of $(k-1)$-dimensional subspaces with trivial intersection, i.e., each point is covered at most once. So far the maximum size of a partial $(k-1)$-spread in $\operatorname{PG}(n-1,q)$ was known for the cases $n\equiv 0\pmod k$, $n\equiv 1\pmod k$ and $n\equiv 2\pmod k$ with the additional requirements $q=2$ and $k=3$. We completely resolve the case $n\equiv 2\pmod k$ for the binary case $q=2$.
Rational Shi tableaux and the skew length statistic
Published
• View Publication
• BIB
We define two refinements of the skew length statistic on simultaneous core partitions. The first one relies on hook lengths and is used to prove a refined version of the theorem stating that the skew length is invariant under conjugation of the core. The second one is equivalent to a generalisation of Shi tableaux to the rational level of Catalan combinatorics. These rational Shi tableaux encode dominant $p$-stable elements in the affine symmetric group. We prove that the rational Shi tableau is injective, that is, each dominant $p$-stable affine permutation is determined uniquely by its Shi tableau. Moreover, we provide a uniform generalisation of rational Shi tableaux to Weyl groups, and conjecture injectivity in the general case.
Simplicial moves on balanced complexes
Published
• View Publication
• BIB
We introduce a notion of cross-flips: local moves that transform a balanced (i.e., properly $(d+1)$-colored) triangulation of a combinatorial $d$-manifold into another balanced triangulation. These moves form a natural analog of bistellar flips (also known as Pachner moves). Specifically, we establish the following theorem: any two balanced triangulations of a closed combinatorial $d$-manifold can be connected by a sequence of cross-flips. Along the way we prove that for every $m \geq d+2$ and any closed combinatorial $d$-manifold $M$, two $m$-colored triangulations of $M$ can be connected by a sequence of bistellar flips that preserve the vertex colorings.
Extremal C4-free/C5-free planar graphs
Published
• View Publication
• BIB
We study the topic of "extremal" planar graphs, defining $\mathrm{ex_{_{\mathcal{P}}}}(n,H)$ to be the maximum number of edges possible in a planar graph on $n$ vertices that does not contain a given graph $H$ as a subgraph. In particular,we examine the case when $H$ is a small cycle,obtaining $\mathrm{ex_{_{\mathcal{P}}}}(n,C_{4}) \leq \frac{15}{7}(n-2)$ for all $n \geq 4$ and $\mathrm{ex_{_{\mathcal{P}}}}(n,C_{5}) \leq \frac{12n-33}{5}$ for all $n \geq 11$, and showing that both of these bounds are tight.
On the replica symmetry phase of the independent set problem
The independent set problem, ISP for short, asks for the maximal number of vertices in a (large) graph which can be occupied such that none of them are neighbors. We address the question from a statistical mechanics perspective, in the case of Erdoes-Renyi random graphs. We thereby introduce a Hamiltonian penalizing configurations which do not satisfy the non-neighboring constraint: the ground state of the ensuing disordered system corresponds to the solution of the ISP. Identifying the ground state amounts, in turns, to control the phase where replica symmetry is broken, which is way beyond our current understanding. By means of Talagrand's cavity method, we rigorously establish the existence of a replica symmetry phase, computing, in particular, the free energy in the limit of large graphs. A conjectural formula for the ground state, hence for the solution of the ISP, is also derived. Being based on the Parisi theory, the emerging picture is that of a staggering complexity.
Patterns of Negative Shifts and Beta-Shifts
The $β$-shift is the transformation from the unit interval to itself that maps $x$ to the fractional part of $βx$. Permutations realized by the relative order of the elements in the orbits of these maps have been studied for positive integer values of $β$ and for real values $β>1$. In both cases, a combinatorial description of the smallest positive value of $β$ needed to realize a permutation is provided. In this paper we extend these results to the case of negative $β$, both in the integer and in the real case. Negative $β$-shifts are related to digital expansions with negative real bases, studied by Ito and Sadahiro, and Liao and Steiner.
The Dehn-Sommerville Relations and the Catalan Matroid
Published
• View Publication
• BIB
The $f$-vector of a $d$-dimensional polytope $P$ stores the number of faces of each dimension. When $P$ is simplicial the Dehn--Sommerville relations condense the $f$-vector into the $g$-vector, which has length $\lceil{\frac{d+1}{2}}\rceil$. Thus, to determine the $f$-vector of $P$, we only need to know approximately half of its entries. This raises the question: Which $(\lceil{\frac{d+1}{2}}\rceil)$-subsets of the $f$-vector of a general simplicial polytope are sufficient to determine the whole $f$-vector? We prove that the answer is given by the bases of the Catalan matroid.
Improved bounds on the Hadwiger-Debrunner numbers
Published
• View Publication
• BIB
Let $HD_d(p,q)$ denote the minimal size of a transversal that can always be guaranteed for a family of compact convex sets in $\mathbb{R}^d$ which satisfy the $(p,q)$-property ($p \geq q \geq d+1$). In a celebrated proof of the Hadwiger-Debrunner conjecture, Alon and Kleitman proved that $HD_d(p,q)$ exists for all $p \geq q \geq d+1$. Specifically, they prove that $HD_d(p,d+1)$ is $\tilde{O}(p^{d^2+d})$.
We present several improved bounds:
(i) For any $q \geq d+1$, $HD_d(p,q) = \tilde{O}(p^{d \left(\frac{q-1}{q-d}\right)})$.
(ii) For $q \geq \log p$, $HD_d(p,q) = \tilde{O}(p+(p/q)^d)$.
(iii) For every $ε> 0$ there exists a $p_0 = p_0(ε)$ such that for every $p \geq p_0$ and for every $q \geq p^{\frac{d-1}{d}+ε}$ we have: $p-q+1 \leq HD_d(p,q) \leq p-q+2$.
The latter is the first near tight estimate of $HD_d(p,q)$ for an extended range of values of $(p,q)$ since the 1957 Hadwiger-Debrunner theorem.
We also prove a $(p,2)$-theorem for families in $\mathbb{R}^2$ with union complexity below a specific quadratic bound. Based on this, we introduce a polynomial time constant factor approximation algorithm for MAX-CLIQUE of intersection graphs of convex sets satisfying this property.
A Probabilistic Characterization of the Dominance Order on Partitions
Published
• View Publication
• BIB
A probabilistic characterization of the dominance partial order on the set of partitions is presented. This extends work in "Symmetric polynomials and symmetric mean inequalities". Electron. J. Combin., 20(3): Paper 34, 2013.
Let $n$ be a positive integer and let $ν$ be a partition of $n$. Let $F$ be the Ferrers diagram of $ν$. Let $m$ be a positive integer and let $p \in (0,1)$. Fill each cell of $F$ with balls, the number of which is independently drawn from the random variable $X = Bin(m,p)$. Given non-negative integers $j$ and $t$, let $P(ν,j,t)$ be the probability that the total number of balls in $F$ is $j$ and that no row of $F$ contains more that $t$ balls. We show that if $ν$ and $μ$ are partitions of $n$, then $ν$ dominates $μ$, i.e. $\sum_{i=1}^k ν(i) \geq \sum_{i=1}^k μ(i)$ for all positive integers $k$, if and only if $P(ν,j,t) \leq P(μ,j,t)$ for all non-negative integers $j$ and $t$. It is also shown that this same result holds when $X$ is replaced by any one member of a large class of random variables.
Let $p = \{p_n\}_{n=0}^\infty$ be a sequence of real numbers. Let ${\cal T}_p$ be the $\mathbb{N}$ by $\mathbb{N}$ matrix with $({\cal T}_p)_{i,j} = p_{j-i}$ for all $i, j \in \mathbb{N}$ where we take $p_n = 0$ for $n < 0$. Let $(p^i)_j$ be the coefficient of $x^j$ in $(p(x))^i$ where $p(x) = \sum_{n=0}^\infty p_n x^n$ and $p^0(x) =1$. Let ${\cal S}_p$ be the $\mathbb{N}$ by $\mathbb{N}$ matrix with $({\cal S}_p)_{i,j} = (p^i)_j$ for all $i, j \in \mathbb{N}$. We show that if ${\cal T}_p$ is totally non-negative of order $k$ then so is ${\cal S}_p$. The case $k=2$ of this result is a key step in the proof of the result on domination. We also show that the case $k=2$ would follow from a combinatorial conjecture that might be of independent interest.
Discrepancy of High-Dimensional Permutations
Published
• View Publication
• BIB
Let $L$ be an order-$n$ Latin square. For $X, Y, Z \subseteq \{1, ... ,n\}$, let $L(X, Y. Z)$ be the number of triples $i\in X, j\in Y, k\in Z$ such that $L(i,j) = k$. We conjecture that asymptotically almost every Latin square satisfies $|L(X, Y, Z) - \frac 1n |X||Y||Z||\le O(\sqrt{|X||Y||Z|})$ for every $X, Y$ and $Z$. Let $\varepsilon(L):= \max |X||Y||Z|$ when $L(X, Y, Z)=0$. The above conjecture implies that $\varepsilon(L) \le O(n^2)$ holds asymptotically almost surely (this bound is obviously tight). We show that there exist Latin squares with $\varepsilon(L) \le O(n^2)$, and that $\varepsilon(L) \le O(n^2 \log^2 n)$ for almost every order-$n$ Latin square. On the other hand, we recall that $\varepsilon(L)\geq Ω(n^{33/14})$ if $L$ is the multiplication table of an order-$n$ group. Some of these results extend to higher dimensions. Many open problems remain.
Product mixing in the alternating group
Published
• View Publication
• BIB
We prove the following one-sided product-mixing theorem for the alternating group: Given subsets $X,Y,Z \subset A_n$ of densities $α,β,γ$ satisfying $\min(αβ,αγ,βγ)\gg n^{-1}(\log n)^7$, there are at least $ (1+o(1))αβγ|A_n|^2$ solutions to $xy=z$ with $x\in X, y\in Y, z\in Z$. One consequence is that the largest product-free subset of $A_n$ has density at most $n^{-1/2}(\log n)^{7/2}$, which is best possible up to logarithms and improves the best previous bound of $n^{-1/3}$ due to Gowers. The main tools are a Fourier-analytic reduction noted by Ellis and Green to a problem just about the standard representation, a Brascamp--Lieb-type inequality for the symmetric group due to Carlen, Lieb, and Loss, and a concentration of measure result for rearrangements of inner products.
Graph Isomorphism in Quasipolynomial Time
Published
• View Publication
• BIB
We show that the Graph Isomorphism (GI) problem and the related problems of String Isomorphism (under group action) (SI) and Coset Intersection (CI) can be solved in quasipolynomial ($\exp((\log n)^{O(1)})$) time. The best previous bound for GI was $\exp(O(\sqrt{n\log n}))$, where $n$ is the number of vertices (Luks, 1983); for the other two problems, the bound was similar, $\exp(\tilde{O}(\sqrt{n}))$, where $n$ is the size of the permutation domain (Babai, 1983).
The algorithm builds on Luks's SI framework and attacks the barrier configurations for Luks's algorithm by group theoretic "local certificates" and combinatorial canonical partitioning techniques. We show that in a well-defined sense, Johnson graphs are the only obstructions to effective canonical partitioning.
Luks's barrier situation is characterized by a homomorphism φ that maps a given permutation group $G$ onto $S_k$ or $A_k$, the symmetric or alternating group of degree $k$, where $k$ is not too small. We say that an element $x$ in the permutation domain on which $G$ acts is affected by φ if the φ-image of the stabilizer of $x$ does not contain $A_k$. The affected/unaffected dichotomy underlies the core "local certificates" routine and is the central divide-and-conquer tool of the algorithm.
Limits of subcritical random graphs and random graphs with excluded minors
We prove local convergence results for the uniformly random, labelled or unlabelled, graphs from subcritical families. As an example special case, we prove Benjamini-Schramm convergence for the uniform random unlabelled tree. We introduce a compactification of the space of countable (connected) rooted graphs, and use it to generalise the notion of Benjamini-Schramm convergence in order to allow for vertices of infinite degree in the limit object.
Tree sets
Published
• View Publication
• BIB
We study an abstract notion of tree structure which lies at the common core of various tree-like discrete structures commonly used in combinatorics: trees in graphs, order trees, nested subsets of a set, tree-decompositions of graphs and matroids etc.
Unlike graph-theoretical or order trees, these _tree sets_ can provide a suitable formalization of tree structure also for infinite graphs, matroids, and set partitions. Order trees reappear as oriented tree sets.
We show how each of the above structures defines a tree set, and which additional information, if any, is needed to reconstruct it from this tree set.
(4,2)-choosability of planar graphs with forbidden structures
Published in Graphs and Combinatorics 33 (2017) 751-787
• View Publication
• BIB
All planar graphs are 4-colorable and 5-choosable, while some planar graphs are not 4-choosable. Determining which properties guarantee that a planar graph can be colored using lists of size four has received significant attention. In terms of constraining the structure of the graph, for any $\ell \in \{3,4,5,6,7\}$, a planar graph is 4-choosable if it is $\ell$-cycle-free. In terms of constraining the list assignment, one refinement of $k$-choosability is choosability with separation. A graph is $(k,s)$-choosable if the graph is colorable from lists of size $k$ where adjacent vertices have at most $s$ common colors in their lists. Every planar graph is $(4,1)$-choosable, but there exist planar graphs that are not $(4,3)$-choosable. It is an open question whether planar graphs are always $(4,2)$-choosable. A chorded $\ell$-cycle is an $\ell$-cycle with one additional edge. We demonstrate for each $\ell \in \{5,6,7\}$ that a planar graph is $(4,2)$-choosable if it does not contain chorded $\ell$-cycles.