Showing 20 papers (Total: 83076 papers, 47999 authors in database)
A bilinear Bogolyubov theorem
Published
• View Publication
• BIB
The purpose of this note is to prove the existence of a remarkable structure in an iterated sumset derived from a set $P$ in a Cartesian square $\mathbb{F}_p^n\times\mathbb{F}_p^n$. More precisely, we perform horizontal and vertical sums and differences on $P$, that is, operations on the second coordinate when the first one is fixed, or vice versa. The structure we find is the zero set of a family of bilinear forms on a Cartesian product of vector subspaces. The codimensions of the subspaces and the number of bilinear forms involved are bounded by a function $c(δ)$ of the density $δ=\lvert P\rvert/p^{2n}$ only. The proof uses various tools of additive combinatorics, such as the (linear) Bogolyubov theorem, the density increment method, as well as the Balog-Szemerédi-Gowers and Freiman-Ruzsa theorems.
Quotientopes
Published in Bull. Lond. Math. Soc., 51(3):406-420, 2019
• View Publication
• BIB
For any lattice congruence of the weak order on $\mathfrak{S}_n$, N. Reading proved that glueing together the cones of the braid fan that belong to the same congruence class defines a complete fan. We prove that this fan is the normal fan of a polytope.
Linear and quadratic uniformity of the Möbius function over $\mathbb{F}_q[t]$
Published
• View Publication
• BIB
We examine correlations of the Möbius function over $\mathbb{F}_q[t]$ with linear or quadratic phases, that is, averages of the form \begin{equation} \label{eq:average} \frac{1}{q^n}\sum_{\text{deg }f<n} μ(f)χ(Q(f)) \end{equation} for an additive character $χ$ over $\mathbb{F}_q$ and a polynomial $Q\in\mathbb{F}_q[x_0,\ldots,x_{n-1}]$ of degree at most 2 in the coefficients $x_0,\ldots, x_{n-1}$ of $f=\sum_{i< n}x_i t^i$. Like in the integers, it is reasonable to expect that, due to the random-like behaviour of $μ$, such sums should exhibit considerable cancellation. In this paper we show that the above correlation is bounded by $O_ε\left( q^{(-\frac{1}{4}+ε)n} \right)$ for any $ε>0$ if $Q$ is linear and $O \left( q^{-n^c} \right)$ for some absolute constant $c>0$ if $Q$ is quadratic. The latter bound may be reduced to $O(q^{-c'n}$) for some $c'>0$ when $Q(f)$ is a linear form in the coefficients of $f^2$, that is, a Hankel quadratic form, whereas for general quadratic forms, it relies on a bilinear version of the additive-combinatorial Bogolyubov theorem.
Tilings with noncongruent triangles
Published
• View Publication
• BIB
We solve a problem of R. Nandakumar by proving that there is no tiling of the plane with pairwise noncongruent triangles of equal area and equal perimeter. We also show that no convex polygon with more than three sides can be tiled with finitely many triangles such that no pair of them share a full side.
A Short Combinatorial Proof of Derangement Identity
Published
• View Publication
• BIB
The $n$-th rencontres number with the parameter $r$ is the number of permutations having exactly $r$ fixed points. In particular, a derangement is a permutation without any fixed point. We presents a short combinatorial proof for a weighted sum derangement identities.
Lah numbers and Lindström's lemma
Published
• View Publication
• BIB
We provide a combinatorial interpretation of Lah numbers by means of planar networks. Henceforth, as a conesquence of Lindström's lemma, we conclude that the related Lah matrix possesses a remarkable property of total non-negativity.
Folding Phenomenon of Major-balance Identities on Restricted Involutions
Published
• View Publication
• BIB
In this paper we prove a refined major-balance identity on the $321$-avoiding involutions of length $n$, respecting the leading element of permutations. The proof is based on a sign-reversing involution on the lattice paths within a $\lfloor\frac{n}{2}\rfloor\times\lceil\frac{n}{2}\rceil$ rectangle. Moreover, we prove affirmatively a question about refined major-balance identity on the $123$-avoiding involutions, respecting the number of descents.
Configuration Graph Cohomology
We investigate an algebraic problem related to the determination of the fundamental group of a class of spaces of configurations on surfaces. The configuration spaces are spaces of points grouped into colors. Whether two points are allowed to collide is determined by a graph, whose vertices are the colors. In an earlier paper, the fundamental group of such graphs was described as solutions to linear Diophantine equations.
In this paper, the problem of describing the set of solution is reformulated using a new type of cohomology groups of graphs. The dependence of the solution on the number of points of each color is studied. The answer is formulated in terms of graph theoretical properties.
Randomized Near Neighbor Graphs, Giant Components, and Applications in Data Science
Published
• View Publication
• BIB
If we pick $n$ random points uniformly in $[0,1]^d$ and connect each point to its $k-$nearest neighbors, then it is well known that there exists a giant connected component with high probability. We prove that in $[0,1]^d$ it suffices to connect every point to $ c_{d,1} \log{\log{n}}$ points chosen randomly among its $ c_{d,2} \log{n}-$nearest neighbors to ensure a giant component of size $n - o(n)$ with high probability. This construction yields a much sparser random graph with $\sim n \log\log{n}$ instead of $\sim n \log{n}$ edges that has comparable connectivity properties. This result has nontrivial implications for problems in data science where an affinity matrix is constructed: instead of picking the $k-$nearest neighbors, one can often pick $k' \ll k$ random points out of the $k-$nearest neighbors without sacrificing efficiency. This can massively simplify and accelerate computation, we illustrate this with several numerical examples.
Checkerboard style Schur multiple zeta values and odd single zeta values
Published
• View Publication
• BIB
We give explicit formulas for the recently introduced Schur multiple zeta values, which generalize multiple zeta(-star) values and which assign to a Young tableaux a real number. In this note we consider Young tableaux of various shapes, filled with alternating entries like a Checkerboard. In particular we obtain new sum representation for odd single zeta values in terms of these Schur multiple zeta values. As a special case we show that some Schur multiple zeta values of Checkerboard style, filled with 1 and 3, are given by determinants of matrices with odd single zeta values as entries.
An insertion algorithm over staircase tableaux compatible with the ASEP's matrix ansatz
Based on the matrix ansatz of Derrida, Evans, Hakim and Pasquier, we prensent a new way of computing the stationary probability of a state of the asym- metric simple exclusion process (ASEP). Through an insertion algorithm over staircase tableaux, we give a combinatorial proof to the current interpretation of the ASEP by these tableaux of Corteel and Williams. The insertion algorithm induces a recursive structure which implies nice factorised formulas for the generating polynomials of staircase tableaux, as well as a bijection with some coloured inversion tables. In addi- tion, we adapt the insertion algorithm to the case of type B symmetric tableaux and we define a new matrix ansatz compatible with it.
Partitioning $2$-coloured complete $k$-uniform hypergraphs into monochromatic $\ell$-cycles
Published
• View Publication
• BIB
We show that for all $\ell, k, n$ with $\ell \leq k/2$ and $(k-\ell)$ dividing $n$ the following hypergraph-variant of Lehel's conjecture is true. Every $2$-edge-colouring of the $k$-uniform complete hypergraph $\mathcal{K}_n^{(k)}$ on $n$ vertices has at most two disjoint monochromatic $\ell$-cycles in different colours that together cover all but at most $4(k-\ell)$ vertices. If $\ell \leq k/3$, then at most two $\ell$-cycles cover all but at most $2(k-\ell)$ vertices. Furthermore, we can cover all vertices with at most $4$ ($3$ if $\ell\leq k/3$) disjoint monochromatic $\ell$-cycles.
Quasirandomness in hypergraphs
Published in Electron. J. Combin. 25 (2018), no. 3, Paper 3.34
• View Publication
• BIB
An $n$-vertex graph $G$ of edge density $p$ is considered to be quasirandom if it shares several important properties with the random graph $G(n,p)$. A well-known theorem of Chung, Graham and Wilson states that many such `typical' properties are asymptotically equivalent and, thus, a graph $G$ possessing one such property automatically satisfies the others.
In recent years, work in this area has focused on uncovering more quasirandom graph properties and on extending the known results to other discrete structures. In the context of hypergraphs, however, one may consider several different notions of quasirandomness. A complete description of these notions has been provided recently by Towsner, who proved several central equivalences using an analytic framework. We give short and purely combinatorial proofs of the main equivalences in Towsner's result.
Forcing quasirandomness with triangles
Published in Forum of Mathematics, Sigma 7 (2019) e9
• View Publication
• BIB
We study forcing pairs for quasirandom graphs. Chung, Graham, and Wilson initiated the study of families $\\mathcal F$ of graphs with the property that if a large graph $G$ has approximately homomorphism density $p^{e(F)}$ for some fixed $p\in(0,1]$ for every $F\in \mathcal F$, then $G$ is quasirandom with density $p$. Such families $\mathcal F$ are said to be forcing. Several forcing families were found over the last three decades and characterising all bipartite graphs $F$ such that $(K_2,F)$ is a forcing pair is a well-known open problem in the area of quasirandom graphs, which is closely related to Sidorenko's conjecture. In fact, most of the known forcing families involve bipartite graphs only.
We consider forcing pairs containing the triangle $K_3$. In particular, we show that if $(K_2,F)$ is a forcing pair, then so is $(K_3,F')$, where $F'$ is obtained from $F$ by replacing every edge of $F$ by a triangle (each of which introduces a new vertex). For the proof we first show that $(K_3,C'_4)$ is a forcing pair, which strengthens related results of Simonovits and Sós and of Conlon et al.
Random Coxeter Groups
Published
• View Publication
• BIB
Much is known about random right-angled Coxeter groups (i.e., right-angled Coxeter groups whose defining graphs are random graphs under the Erdös-Rényi model). In this paper, we extend this model to study random general Coxeter groups and give some results about random Coxeter groups, including some information about the homology of the nerve of a random Coxeter group and results about when random Coxeter groups are $δ$-hyperbolic and when they have the FC-type property.
Packing degenerate graphs
Published in Advances in Mathematics, Volume 354 (2019), 106739, 58 pages
• View Publication
• BIB
Given $D$ and $γ>0$, whenever $c>0$ is sufficiently small and $n$ sufficiently large, if $\mathcal{G}$ is a family of $D$-degenerate graphs of individual orders at most $n$, maximum degrees at most $\tfrac{cn}{\log n}$, and total number of edges at most $(1-γ)\binom{n}{2}$, then $\mathcal{G}$ packs into the complete graph $K_{n}$. Our proof proceeds by analysing a natural random greedy packing algorithm.
This version of the manuscript corrects a small error that appeared in the published version [Adv Math, 354 (2019), 106739].
On $2$-cycles of graphs
Let $G=(V,E)$ be a finite undirected graph. Orient the edges of $G$ in an arbitrary way. A $2$-cycle on $G$ is a function $d : E^2\to \mathbb{Z}$ such for each edge $e$, $d(e, \cdot)$ and $d(\cdot, e)$ are circulations on $G$, and $d(e, f) = 0$ whenever $e$ and $f$ have a common vertex. We show that each $2$-cycle is a sum of three special types of $2$-cycles: cycle-pair $2$-cycles, Kuratowski $2$-cycles, and quad $2$-cycles. In case that the graph is Kuratowski connected, we show that each $2$-cycle is a sum of cycle-pair $2$-cycles and at most one Kuratowski $2$-cycle. Furthermore, if $G$ is Kuratowski connected, we characterize when every Kuratowski $2$-cycle is a sum of cycle-pair $2$-cycles. A $2$-cycles $d$ on $G$ is skew-symmetric if $d(e,f) = -d(f,e)$ for all edges $e,f\in E$. We show that each $2$-cycle is a sum of two special types of skew-symmetric $2$-cycles: skew-symmetric cycle-pair $2$-cycles and skew-symmetric quad $2$-cycles. In case that the graph is Kuratowski connected, we show that each skew-symmetric $2$-cycle is a sum of skew-symmetric cycle-pair $2$-cycles. Similar results like this had previously been obtained by one of the authors for symmetric $2$-cycles. Symmetric $2$-cycles are $2$-cycles $d$ such that $d(e,f)=d(f,e)$ for all edges $e,f\in E$.
Higher dimensional electrical circuits and the matroid dual of a nonplanar graph
In this paper we describe a physical problem, based on electromagnetic fields, whose topological constraints are higher dimensional versions of Kirchhoff's laws, involving $2-$ simplicial complexes embedded in $\mathbb{R} ^3$ rather than graphs. However, we show that, for the skeleton of this complex, involving only triangles and edges, we can build a matroid dual which is a graph. On this graph we build an `ordinary' electrical circuit, solving which we obtain the solution to our original problem. Construction of this graph is through a `sliding' algorithm which simulates sliding on the surfaces of the triangles, moving from one triangle to another which shares an edge with it but which also is adjacent with respect to the embedding of the complex in $\mathbb{R} ^3.$ For this purpose, the only information needed is the order in which we encounter the triangles incident at an edge, when we rotate say clockwise with respect to the orientation of the edge. The dual graph construction is linear time on the size of the $2-$ complex.
Two Stronger Versions of the Union-closed Sets Conjecture
The union-closed sets conjecture (Frankl's conjecture) says that for any finite union-closed family of finite sets, other than the family consisting only of the empty set, there exists an element that belongs to at least half of the sets in the family. In this paper, we introduce two stronger versions of Frankl's
conjecture and give a partial proof. Three related questions are introduced.
Sandpile solitons via smoothing of superharmonic functions
Published in Communications in Mathematical Physics, 378(3) (2020), 1649--1675
• View Publication
• BIB
Let $F:\mathbb Z^2\to \mathbb Z$ be the pointwise minimum of several linear functions. The theory of smoothing of integer-valued superharmonic function allows us to prove that under certain conditions there exists the pointwise minimal superharmonic function which coincides with $F$ "at infinity".
We develop such a theory to prove the existence of so-called solitons (or strings) in a certain sandpile model, studied by S. Caracciolo, G. Paoletti, and A. Sportiello. Thus we made a step towards understanding the phenomena of the identity in the sandpile group for a square where solitons appear according to experiments. We prove that sandpile states, defined using our smoothing procedure, move changeless when we send waves (that is why we call them solitons), and can interact, forming triads and nodes.