Showing 20 papers (Total: 84253 papers, 48533 authors in database)
A counterexample to the periodic tiling conjecture
Published
• View Publication
• BIB
The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z}^d$ which tiles that lattice by translations, in fact tiles periodically. In this work we disprove this conjecture for sufficiently large $d$, which also implies a disproof of the corresponding conjecture for Euclidean spaces $\mathbb{R}^d$. In fact, we also obtain a counterexample in a group of the form $\mathbb{Z}^2 \times G_0$ for some finite abelian $2$-group $G_0$. Our methods rely on encoding a "Sudoku puzzle" whose rows and other non-horizontal lines are constrained to lie in a certain class of "$2$-adically structured functions," in terms of certain functional equations that can be encoded in turn as a single tiling equation, and then demonstrating that solutions to this Sudoku puzzle exist, but are all non-periodic.
Graceful Coloring of Ladder Graphs
A graceful k-coloring of a non-empty graph $G=(V,E)$ is a proper vertex coloring $f:V(G)\rightarrow\lbrace 1,2,...,k \rbrace$, $k\geq 2$, which induces a proper edge coloring $f^{*}:E(G)\rightarrow\lbrace 1, 2, . . . , k-1 \rbrace $ defined by $f^{*}(uv) = |f(u)-f(v)|$, where $u,v\in V(G)$. The minimum $k$ for which $G$ has a graceful $k$-coloring is called graceful chromatic number, $χ_{g}(G)$. The graceful chromatic number for a few variants of ladder graphs are investigated in this article.
On higher dimensional point sets in general position
Published in Combinator. Probab. Comp. 35 (2026) 134-148
• View Publication
• BIB
A finite point set in $\mathbb{R}^d$ is in general position if no $d + 1$ points lie on a common hyperplane. Let $α_d(N)$ be the largest integer such that any set of $N$ points in $\mathbb{R}^d$, with no $d + 2$ members on a common hyperplane, contains a subset of size $α_d(N)$ in general position. Using the method of hypergraph containers, Balogh and Solymosi showed that $α_2(N) < N^{5/6 + o(1)}$. In this paper, we also use the container method to obtain new upper bounds for $α_d(N)$ when $d \geq 3$. More precisely, we show that if $d$ is odd, then $α_d(N) < N^{\frac{1}{2} + \frac{1}{2d} + o(1)}$, and if $d$ is even, we have $α_d(N) < N^{\frac{1}{2} + \frac{1}{d-1} + o(1)}$. We also study the classical problem of determining $a(d,k,n)$, the maximum number of points selected from the grid $[n]^d$ such that no $k + 2$ members lie on a $k$-flat, and improve the previously best known bound for $a(d,k,n)$, due to Lefmann in 2008, by a polynomial factor when $k$ = 2 or 3 (mod 4).
Positivity properties for spherical functions of maximal Young subgroups
Published
• View Publication
• BIB
Let $S_k \times S_{n-k}$ be a maximal Young subgroup of the symmetric group $S_n$. We introduce a basis ${\mathcal B}_{n,k}$ for the coset space $S_n/S_k \times S_{n-k}$ that is naturally parametrized by the set of standard Young tableaux with $n$ boxes, at most two rows, and at most $k$ boxes in the second row. The basis ${\mathcal B}_{n,k}$ has positivity properties that resemble those of a root system, and there is a composition series of the coset space in which each term is spanned by the basis elements that it contains. We prove that the spherical functions of the associated Gelfand pair are nonnegative linear combinations of the ${\mathcal B}_{n,k}$.
Random walks with drift inside a pyramid: convergence rate for the survival probability
Published
• View Publication
• BIB
We consider multidimensional random walks in pyramids, which by definition are cones formed by finite intersections of half-spaces. The main object of interest is the survival probability $\mathbb{P}(τ>n)$, $τ$ denoting the first exit time from a fixed pyramid. When the drift belongs to the interior of the cone, the survival probability sequence converges to the non-exit probability $\mathbb{P}(τ=\infty)$, which is positive. In this note, we quantify the speed of convergence, and prove that the exponential rate of convergence may be computed by means of a certain min-max of the Laplace transform of the random walk increments. We illustrate our results with various examples.
Functions tiling simultaneously with two arithmetic progressions
Published in Proceedings of the London Mathematical Society 127 (2023), no. 6, 1775-1815
• View Publication
• BIB
We consider measurable functions $f$ on $\mathbb{R}$ that tile simultaneously by two arithmetic progressions $α\mathbb{Z}$ and $β\mathbb{Z}$ at respective tiling levels $p$ and $q$. We are interested in two main questions: what are the possible values of the tiling levels $p,q$, and what is the least possible measure of the support of $f$? We obtain sharp results which show that the answers depend on arithmetic properties of $α, β$ and $p,q$, and in particular, on whether the numbers $α, β$ are rationally independent or not.
Color-avoiding percolation on the Erdős-Rényi random graph
Published
• View Publication
• BIB
We consider a recently introduced model of color-avoiding percolation defined as follows. Every edge in a graph $G$ is colored in some of $k\ge 2$ colors. Two vertices $u$ and $v$ in $G$ are said to be CA-connected if $u$ and $v$ may be connected using any subset of $k-1$ colors. CA-connectivity defines an equivalence relation on the vertex set of $G$ whose classes are called CA-components.
We study the component structure of a randomly colored Erdős-Rényi random graph of constant average degree. We distinguish three regimes for the size of the largest component: a supercritical regime, a so-called intermediate regime, and a subcritical regime, in which the largest CA-component has respectively linear, logarithmic, and bounded size. Interestingly, in the subcritical regime, the bound is deterministic and given by the number of colors.
A shadow Markov equation
Published
• View Publication
• BIB
We introduce a superanalogue of the classical Markov equation. This equation characterizes the ``shadow Markov numbers'' recently considered by one of us. We show that this equation is characterized by invariance by cluster algebra mutations.
New upper bound for the connective constant for square-lattice self-avoiding walks
By modifying the automaton used by P{ö}nitz and Tittman [4], and considering loops of length up to 26, we obtain 2.662343 as an upper bound for the connective constant in the lattice Z 2 .
The probability that a random triple of dice is transitive
Published
• View Publication
• BIB
An $n$-sided die is an $n$-tuple of positive integers. We say that a die $(a_1,\dots,a_n)$ beats a die $(b_1,\dots,b_n)$ if the number of pairs $(i,j)$ such that $a_i>b_j$ is greater than the number of pairs $(i,j)$ such that $a_i<b_j$. We show that for a natural model of random $n$-sided dice, if $A, B$ and $C$ are three random dice then the probability that $A$ beats $C$ given that $A$ beats $B$ and $B$ beats $C$ is approximately 1/2. In other words, the information that $A$ beats $B$ and $B$ beats $C$ has almost no effect on the probability that $A$ beats $C$. This proves a statement that was conjectured by Conrey, Gabbard, Grant, Liu and Morrison for a different model.
Linear three-uniform hypergraphs with no Berge path of given length
Extensions of Erdős-Gallai Theorem for general hypergraphs are well studied. In this work, we prove the extension of Erdős-Gallai Theorem for linear hypergraphs. In particular, we show that the number of hyperedges in an $n$-vertex $3$-uniform linear hypergraph, without a Berge path of length $k$ as a subgraph is at most $\frac{(k-1)}{6}n$ for $k\geq 4$.
Spin correlation functions, Ramus-like identities, and enumeration of constrained lattice walks and plane partitions
Published in J.Phys.A: Math.Theor. 55 (2022) 225002 (37 pp) Journal of Physics A: Mathematical and Theoretical, Volume 55, Number 22 (2022) 225002
• View Publication
• BIB
Relations between the mean values of distributions of flipped spins on periodic Heisenberg XX chain and some aspects of enumerative combinatorics are discussed. The Bethe vectors, which are the state-vectors of the model, are considered both as on- and off-shell. It is this approach that makes it possible to represent and to study the correlation functions in the form of non-intersecting nests of lattice walks and related plane partitions. We distinguish between two types of walkers, namely lock step models and random turns. Of particular interest is the connection of random turns walks and a circulant matrix. The determinantal representation for the norm-trace generating function of plane partitions with fixed height of diagonal parts is obtained as the expectation of the generating exponential over off-shell N-particle Bethe states. The asymptotics of the dynamical mean value of the generating exponential is calculated in the double scaling limit provided that the evolution parameter is large. It is shown that the amplitudes of the leading asymptotics depend on the number of diagonally constrained plane partitions.
Central sets and infinite monochromatic exponential patterns
Published
• View Publication
• BIB
We use the combinatorial properties of central sets to prove a result about the existence of exponential monochromatic patterns, in the style of Hindman's Finite Sums Theorem. More precisely, we prove that for every finite coloring of the natural numbers there exists an infinite sequence such that all suitable exponential configurations originating from its distinct elements are monochromatic, including towers of exponentiations. (Some restrictions apply on the order in which elements are considered.)
A Reciprocity Formula on Multicurves
Given a specific collection of curves on an oriented surface with punctures, we associate a power series by counting its intersections with multicurves. This paper presents a reciprocity formula on the power series when multicurves with no component contractible to a puncture are concerned, as a generalization of the reciprocity presented in arXiv:1612.02518.
On the cardinality of minimal presentations of numerical semigroups
Published
• View Publication
• BIB
In this paper, we consider the following question: "given the multiplicity $m$ and embedding dimension $e$ of a numerical semigroup $S$, what can be said about the cardinality $η$ of a minimal presentation of $S$?" We approach this question from a combinatorial (poset-theoretic) perspective, utilizing the recently-introduced notion of a Kunz nilsemigroup. In addition to making significant headway on this question beyond what was previously known, in the form of both explicit constructions and general bounds, we provide a self-contained introduction to Kunz nilsemigroups that avoids the polyhedral geometry necessary for much of their source material.
Query complexity of Boolean functions on slices
Published
• View Publication
• BIB
We study the deterministic query complexity of Boolean functions on slices of the hypercube. The $k^{th}$ slice $\binom{[n]}{k}$ of the hypercube $\{0,1\}^n$ is the set of all $n$-bit strings with Hamming weight $k$. We show that there exists a function on the balanced slice $\binom{[n]}{n/2}$ requiring $n - O(\log \log n)$ queries. We give an explicit function on the balanced slice requiring $n - O(\log n)$ queries based on independent sets in Johnson graphs. On the weight-2 slice, we show that hard functions are closely related to Ramsey graphs. Further we describe a simple way of transforming functions on the hypercube to functions on the balanced slice while preserving several complexity measures.
A proof of the 3/4 conjecture for the total domination game
Published
• View Publication
• BIB
In this paper we describe a strategy for Dominator that finishes the total domination game in at most $3/4n$ moves for every graph $G$ on $n$ vertices without any isolated vertices or edges, confirming the 3/4-conjecture for the total domination game made by Henning, Klav{ž}ar, and Rall.
Average-case and smoothed analysis of graph isomorphism
Published
• View Publication
• BIB
We propose a simple and efficient local algorithm for graph isomorphism which succeeds for a large class of sparse graphs. This algorithm produces a low-depth canonical labeling, which is a labeling of the vertices of the graph that identifies its isomorphism class using vertices' local neighborhoods.
Prior work by Czajka and Pandurangan showed that the degree profile of a vertex (i.e., the sorted list of the degrees of its neighbors) gives a canonical labeling with high probability when $n p_n = ω( \log^{4}(n) / \log \log n )$ (and $p_{n} \leq 1/2$); subsequently, Mossel and Ross showed that the same holds when $n p_n = ω( \log^{2}(n) )$. We first show that their analysis essentially cannot be improved: we prove that when $n p_n = o( \log^{2}(n) / (\log \log n)^{3} )$, with high probability there exist distinct vertices with isomorphic $2$-neighborhoods. Our first main result is a positive counterpart to this, showing that $3$-neighborhoods give a canonical labeling when $n p_n \geq (1+δ) \log n$ (and $p_n \leq 1/2$); this improves a recent result of Ding, Ma, Wu, and Xu, completing the picture above the connectivity threshold.
Our second main result is a smoothed analysis of graph isomorphism, showing that for a large class of deterministic graphs, a small random perturbation ensures that $3$-neighborhoods give a canonical labeling with high probability. While the worst-case complexity of graph isomorphism is still unknown, this shows that graph isomorphism has polynomial smoothed complexity.
The Lasserre hierarchy for equiangular lines with a fixed angle
We compute the second and third levels of the Lasserre hierarchy for the spherical finite distance problem. A connection is used between invariants in representations of the orthogonal group and representations of the general linear group, which allows computations in high dimensions. We give new linear bounds on the maximum number of equiangular lines in dimension $n$ with common angle $\arccos α$. These are obtained through asymptotic analysis in $n$ of the semidefinite programming bound given by the second level.
Affine vector space partitions
Published
• View Publication
• BIB
An affine vector space partition of $\operatorname{AG}(n,q)$ is a set of proper affine subspaces that partitions the set of points. Here we determine minimum sizes and enumerate equivalence classes of affine vector space partitions for small parameters. We also give parametric constructions for arbitrary field sizes.