Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A model-theoretic note on the Freiman-Ruzsa theorem
Published
• View Publication
• BIB
A non-quantitative version of the Freiman-Ruzsa theorem is obtained for finite stable sets with small tripling in arbitrary groups, as well as for (finite) weakly normal subsets in abelian groups.
Erdos-Littlewood-Offord problem with arbitrary probabilities
Published
• View Publication
• BIB
The classical Erdős-Littlewood-Offord problem concerns the random variable $X = a_1 ξ_1 + \dots + a_n ξ_n$, where $a_i \in \mathbb{R} \setminus \{0\}$ are fixed and $ξ_i \sim \text{Ber}(1/2)$ are independent. The Erdős-Littlewood-Offord theorem states that the maximum possible concentration probability $\max_{x \in \mathbb{R}} \Pr(X = x)$ is $\binom{n}{\lfloor n/2\rfloor} / 2^n$, achieved when the $a_i$ are all $1$. As proposed by Fox, Kwan, and Sauermann, we investigate the general case where $ξ_i \sim \text{Ber}(p)$ instead. Using purely combinatorial techniques, we show that the exact maximum concentration probability is achieved when $a_i \in \{-1, 1\}$ for each $i$. Then, using Fourier-analytic techniques, we investigate the optimal ratio of $1$s to $-1$s. Surprisingly, we find that in some cases, the numbers of $1$s and $-1$s can be far from equal.
Percolation of three fluids on a honeycomb lattice
Published in Monatsh Math 199, 611-626 (2022)
• View Publication
• BIB
In this paper, we consider a generalization of percolation: percolation of three related fluids on a honeycomb lattice. K. Izyurov and A. Magazinov proved that percolations of distinct fluids between opposite sides on a fixed hexagon become mutually independent as the lattice step tends to 0. This paper exposes this proof in details (with minor simplifications) for nonspecialists. In addition, we state a few related conjectures based on numerical experiments.
On Parity Unimodality of $q$-Catalan Polynomials
Published
• View Publication
• BIB
A polynomial $A(q)=\sum_{i=0}^n a_iq^i$ is said to be unimodal if $a_0\le a_1\le \cdots \le a_k\ge a_{k+1} \ge \cdots \ge a_n$. We investigate the unimodality of rational $q$-Catalan polynomials, which is defined to be $C_{m,n}(q)= \frac{1}{[n+m]} \left[ m+n \atop n\right]$ for a coprime pair of positive integers $(m,n)$. We conjecture that they are unimodal with respect to parity, or equivalently, $(1+q)C_{m+n}(q)$ is unimodal. By using generating functions and the constant term method, we verify our conjecture for $m\le 5$ in a straightforward way.
On Bipartite Distinct Distances in the Plane
Published
• View Publication
• BIB
Given sets $\mathcal{P}, \mathcal{Q} \subseteq \mathbb{R}^2$ of sizes $m$ and $n$ respectively, we are interested in the number of distinct distances spanned by $\mathcal{P} \times \mathcal{Q}$. Let $D(m, n)$ denote the minimum number of distances determined by sets in $\mathbb{R}^2$ of sizes $m$ and $n$ respectively, where $m \leq n$. Elekes \cite{CircleGrids} showed that $D(m, n) = O(\sqrt{mn})$ when $m \leq n^{1/3}$. For $m \geq n^{1/3}$, we have the upper bound $D(m, n) = O(n/\sqrt{\log n})$ as in the classical distinct distances problem.
In this work, we show that Elekes' construction is tight by deriving the lower bound of $D(m, n) = Ω(\sqrt{mn})$ when $m \leq n^{1/3}$. This is done by adapting Székely's crossing number argument. We also extend the Guth and Katz analysis for the classical distinct distances problem to show a lower bound of $D(m, n) = Ω(\sqrt{mn}/\log n)$ when $m \geq n^{1/3}$.
Deciding multiple tiling by polygons in polynomial time
Published
• View Publication
• BIB
Suppose $P$ is a symmetric convex polygon in the plane. We give a polynomial time algorithm that decides if $P$ can tile the plane by transations at some level (not necessarily at level one; this is multiple tiling). The main technical contribution is a polynomial time algorithm that selects, if this is possible, for each $j=1,2,\ldots,n$ one of two given vectors $e_j$ or $τ_j$ so that the selection spans a discrete additive subgroup.
Multi-color forcing in graphs
Published
• View Publication
• BIB
Let $G=(V,E)$ be a finite connected graph along with a coloring of the vertices of $G$ using the colors in a given set $X$. In this paper, we introduce multi-color forcing, a generalization of zero-forcing on graphs, and give conditions in which the multi-color forcing process terminates regardless of the number of colors used. We give an upper bound on the number of steps required to terminate a forcing procedure in terms of the number of vertices in the graph on which the procedure is being applied. We then focus on multi-color forcing with three colors and analyze the end states of certain families of graphs, including complete graphs, complete bipartite graphs, and paths, based on various initial colorings. We end with a few directions for future research.
On Even Rainbow or Nontriangular Directed Cycles
Published
• View Publication
• BIB
Let $G = (V, E)$ be an $n$-vertex edge-colored graph. In 2013, H. Li proved that if every vertex $v \in V$ is incident to at least $(n+1)/2$ distinctly colored edges, then $G$ admits a rainbow triangle. We establish a corresponding result for fixed even rainbow $\ell$-cycles $C_{\ell}$: if every vertex $v \in V$ is incident to at least $(n+5)/3$ distinctly colored edges, where $n \geq n_0(\ell)$ is sufficiently large, then $G$ admits an even rainbow $\ell$-cycle $C_{\ell}$. This result is best possible whenever $\ell \not\equiv 0$ (mod 3). Correspondingly, we also show that for a fixed (even or odd) integer $\ell \geq 4$, every large $n$-vertex oriented graph $\vec{G} = (V, \vec{E})$ with minimum outdegree at least $(n+1)/3$ admits a (consistently) directed $\ell$-cycle $\vec{C}_{\ell}$. Our latter result relates to one of Kelly, Kühn, and Osthus, who proved a similar statement for oriented graphs with large semi-degree. Our proofs are based on the stability method.
Embedding graphs into larger graphs: results, methods, and problems
Published
• View Publication
• BIB
Extremal Graph Theory is a very deep and wide area of modern combinatorics. It is very fast developing, and in this long but relatively short survey we select some of those results which either we feel very important in this field or which are new breakthrough results, or which --- for some other reasons --- are very close to us. Some results discussed here got stronger emphasis, since they are connected to Lovász (and sometimes to us).
Enumerating the class of minimally path connected simplicial complexes
In 1983 Kalai proved an incredible generalisation of Cayley's formula for the number of trees on a labelled vertex set to a formula for a class of $r$-dimensional simplicial complexes. These simplicial complexes generalise trees by means of being homologically $\Bbb Q$-acyclic. In this text we consider a different generalisation of trees to the class of pure dimensional simplicial complexes that \textit{minimally connect a vertex set} (in the sense that the removal of any top dimensional face disconnects the complex). Our main result provides an upper and lower bound for the number of these minimally connected complexes on a labelled vertex set. We also prove that they are potentially vastly more topologically complex than the generalisation of Kalai. As an application of our bounds we compute the threshold probability for the connectivity of a random simplicial complex.
Distance to the stochastic part of phylogenetic varieties
Published
• View Publication
• BIB
Modelling the substitution of nucleotides along a phylogenetic tree is usually done by a hidden Markov process. This allows to define a distribution of characters at the leaves of the trees and one might be able to obtain polynomial relationships among the probabilities of different characters. The study of these polynomials and the geometry of the algebraic varieties defined by them can be used to reconstruct phylogenetic trees. However, not all points in these algebraic varieties have biological sense. In this paper, we explore the extent to which adding semi-algebraic conditions arising from the restriction to parameters with statistical meaning can improve existing methods of phylogenetic reconstruction. To this end, our aim is to compute the distance of data points to algebraic varieties and to the stochastic part of these varieties. Computing these distances involves optimization by nonlinear programming algorithms. We use analytical methods to find some of these distances for quartet trees evolving under the Kimura 3-parameter or the Jukes-Cantor models. Numerical algebraic geometry and computational algebra play also a fundamental role in this paper.
Ubiquity and the Farey graph
Published
• View Publication
• BIB
We construct a countable planar graph which, for any two vertices $u,v$ and any integer $k\ge 1$, contains $k$ edge-disjoint order-compatible $u$--$v$ paths but not infinitely many. This graph has applications in Ramsey theory, in the study of connectivity and in the characterisation of the Farey graph.
Radon numbers grow linearly
Define the $k$-th Radon number $r_k$ of a convexity space as the smallest number (if it exists) for which any set of $r_k$ points can be partitioned into $k$ parts whose convex hulls intersect. Combining the recent abstract fractional Helly theorem of Holmsen and Lee with earlier methods of Bukh, we prove that $r_k$ grows linearly, i.e., $r_k\le c(r_2)\cdot k$.
Correspondent Banking Networks: Theory and Experiment
We employ the mathematical programming approach in conjunction with the graph theory to study the structure of correspondent banking networks. Optimizing the network requires decisions to be made to onboard, terminate or restrict the bank relationships to optimize the size and overall risk of the network. This study provides theoretical foundation to detect the components, the removal of which does not affect some key properties of the network such as connectivity and diameter. We find that the correspondent banking networks have a feature we call k-accessibility, which helps to drastically reduce the computational burden required for finding the above mentioned components. We prove a number of fundamental theorems related to k-accessible directed graphs, which should be also applicable beyond the particular problem of financial networks. The theoretical findings are verified through the data from a large international bank.
Gaussian graphical models with toric vanishing ideals
Published
• View Publication
• BIB
Gaussian graphical models are semi-algebraic subsets of the cone of positive definite covariance matrices. They are widely used throughout natural sciences, computational biology and many other fields. Computing the vanishing ideal of the model gives us an implicit description of the model.
In this paper, we resolve two conjectures of Sturmfels and Uhler from \cite{BS n CU}. In particular, we characterize those graphs for which the vanishing ideal of the Gaussian graphical model is generated in degree $1$ and $2$. These turn out to be the Gaussian graphical models whose ideals are toric ideals, and the resulting graphs are the $1$-clique sums of complete graphs.
On the asymptotic behavior of the $q$-analog of Kostant's partition function
Published
• View Publication
• BIB
Kostant's partition function counts the number of distinct ways to express a weight of a classical Lie algebra $\mathfrak{g}$ as a sum of positive roots of $\mathfrak{g}$. We refer to each of these expressions as decompositions of a weight. Our main result considers an infinite family of weights, irrespective of Lie type, for which we establish a closed formula for the $q$-analog of Kostant's partition function and then prove that the (normalized) distribution of the number of positive roots in the decomposition of any of these weights converges to a Gaussian distribution as the rank of the Lie algebra goes to infinity. We also extend these results to the highest root of the classical Lie algebras and we end our analysis with some directions for future research.
A new algorithm to classify chiral polytopes with a given automorphism group
Published
• View Publication
• BIB
We present a new algorithm to compute all the chiral polytopes that have a given group $G$ as full automorphism group. This algorithm uses a new set of generators that characterize the group, all of them except one being involutions. It permits to compute all chiral polytopes of groups that were previously unreachable by other known algorithms.
Some further results in Ramsey graph construction
Published in Australasian J. Combin. 78(1) (2020), 1-10
• Search Publication
A construction described by the current author (2017) uses two linear prototypes to build a compound graph with Ramsey properties inherited from the prototype graphs. The resulting graph is linear; and cyclic if both prototypes are cyclic. However, it will not generate a cyclic graph from a general linear prototype. Building on the properties of that construction, this paper proves that a general linear prototype graph of order m can be extended using a single new colour to produce a new cyclic graph of order $3m - 1$ which is triangle-free in the new colour, and has the same clique-number as the prototype in every other colour. The paper then describes a cyclic Ramsey $(3;3;4;4; 173)$-graph derived by constrained tree search, thus proving that $R(3;3;4;4) \ge 174$. Using a quadrupling construction to produce a further cyclic graph, it is shown that $R(3;4;5;5) \ge 693$. A compound cyclic Ramsey $(3;7;7; 622)$-graph derived by a limited manual search is then described. Further construction steps produce a $(8;8;8; 6131)$-graph, showing that $R_3(8) \ge 6132$. The paper concludes by showing that $R_4(7) \ge 81206$ and $R_4(9) \ge 630566$, implying corresponding improvements in the lower bounds for $R_5(7)$ and $R_5(9)$ and beyond. These results follow from the existence of cyclic prototype graphs derived by Mathon-Shearer 'doubling'.
On Induced Subgraphs of the Hamming Graph
Published
• View Publication
• BIB
In connection with his solution of the Sensitivity Conjecture, Hao Huang (arXiv: 1907.00847, 2019) asked the following question: Given a graph $G$ with high symmetry, what can we say about the smallest maximum degree of induced subgraphs of $G$ with $α(G)+1$ vertices, where $α(G)$ denotes the size of the largest independent set in $G$? We study this question for $H(n,k)$, the $n$-dimensional Hamming graph over an alphabet of size $k$. Generalizing a construction by Chung et al. (JCT-A, 1988), we prove that $H(n,k)$ has an induced subgraph with more than $α(H(n,k))$ vertices and maximum degree at most $\lceil\sqrt{n}\rceil$. Chung et al. proved this statement for $k=2$ (the $n$-dimensional cube).
A generalised linear Ramsey graph construction
Published in Australas.J.Combin. 81(2) 2020, 245-256
• Search Publication
A construction described by the current author in 2017 uses two linear `prototype' graphs to build a compound graph with Ramsey properties inherited from the prototypes.
This paper describes a generalisation of that construction which has produced improved lower bounds in many cases for multicolour Ramsey numbers. The resulting graphs are linear, as before, and under certain specific conditions set out here, they can be cyclic.
The mechanism of the new construction requires that the first prototype contains a triangle-free `template' in one colour, with defined properties. This paper shows that in the compound graph, clique numbers in the colours of the first prototype may exceed those of the prototype. However, it proves necessary only to test for a limited subset of the possible cliques using these colours, in order to evaluate the relevant clique numbers for the entire graph. Clique numbers in the colours of the second prototype are equal to those of that prototype. These attributes enable the efficient searching of a new family of graphs based on the `template' approach.
It has also been found that there are a number of useful cases in which the clique numbers of the first prototype are not increased by the compounding process.
As a result of this construction many lower bounds can be improved. The improvements include $R_4(5) \ge 4073$, $R_5(5) \ge 38914$, $R_3(6) \ge 1106$, $R_4(6) \ge 21302$, $R_4(7) \ge 84623$ and $R_3(9) \ge 14034$.
It is also shown that $R_3(9) \ge 14081$ using a non-linear construction.