natural ↗ reference
4894 papers tagged with this keyword
Rainbow Combinatorial Lines in Hypercubes
This paper is about the rainbow dual of the Hales Jewett number, providing general bounds an anti-Hales Jewett Number for hypercubes of length k and dimension n denoted $ah(k, n).$ The best general bounds this paper provides are: $(k-1)^n < ah(k, n) \leq \frac{(k-1)^2-2}{k-1}\cdot k^{n-1}+\frac{k+1}{k-1}.$ This paper also includes proofs about the specific cases of $k = 2$ and $k = 3$, where we show that $ah(2, n) = 2$ and $2^n < ah(3, n) \leq 3^{n-1} - 2\cdot3^{n-4} + 2$ for all natural numbers n $>$ 4. For $n < 4$, we have found the exact values: $ah(3, 1) = 3$, $ah(3, 2) = 5$, and $ah(3, 3) = 11$. In the case $n = 4$, we have found that $23 < ah(3, 4) \leq 27$.
Bounds on the exceptional set in the $abc$ conjecture
We study solutions to the equation $a+b=c$, where $a,b,c$ form a triple of coprime natural numbers. The $abc$ conjecture asserts that, for any $ε>0$, such triples satisfy $\mathrm{rad}(abc) \ge c^{1-ε}$ with finitely many exceptions. In this article we obtain a power-saving bound on the exceptional set of triples. Specifically, we show that there are $O(X^{33/50})$ integer triples $(a,b,c)\in [1,X]^3$, which satisfy $\mathrm{rad}(abc) < c^{1-ε}$. The proof is based on a combination of bounds for the density of integer points on varieties, coming from the determinant method, Thue equations, geometry of numbers, and Fourier analysis.
The geometry of quasisymmetric coinvariants
We develop a quasisymmetric analogue of the theory of Schubert cycles, building off of our previous work on a quasisymmetric analogue of Schubert polynomials and divided differences. Our constructions result in a natural geometric interpretation for the ring of quasisymmetric coinvariants.
On Vu's theorem in Waring's problem for thinner sequences
Let $k\in \mathbb{N}$ and $s\geq k(\log k+3.20032)$. Let $\mathbb{N}_{0}^{k}$ be the set of $k$-th powers of nonnegative integers. Assume that $ψ$ is an increasing function tending to infinity with $ψ(x)=o(\log x)$ and satifying some regularity conditions. Then, there exists a subsequence $\mathfrak{X}_{k}=\mathfrak{X}_{k}(s)\subset\mathbb{N}_{0}^{k}$ for which the number of representations $R_{s}(n;\mathfrak{X}_{k})$ of each $n\in\mathbb{N}$ as $$n=x_{1}^{k}+\ldots+x_{s}^{k}\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ x_{i}^{k}\in\mathfrak{X}_{k}$$ satisfies the asymptotic formula $$ R_{s}(n;\mathfrak{X}_{k})\sim \mathfrak{S}(n)ψ(n)$$ for almost all natural numbers $n$, with $\mathfrak{S}(n)$ being the singular series associated to Waring's problem. If moreover $s\geq k(\log k+4.20032)$ the above conclusion holds for almost all $n\in [X,X+\log X]$ as $X\to\infty$.
Let $T(k)$ be the least natural number for which it is known that all large integers are the sum of $T(k)$ $k$-th powers of natural numbers. We also show for $k\geq 14$ and every $s\geq T(k)$ the existence of a sequence $\mathfrak{X}_{k}'\subset \mathbb{N}_{0}^{k}$ satisfying $$R_{s}(n;\mathfrak{X}_{k}')\asymp \log n$$ for every sufficiently large $n$. The latter conclusion sharpens a result of Wooley and addresses a question of Vu.
Noncommutative Polygonal Cluster Algebras
Published
• View Publication
• BIB
We define a new family of noncommutative generalizations of cluster algebras called polygonal cluster algebras. These algebras generalize the noncommutative surfaces of Berenstein-Retakh, and are inspired by the emerging theory of $Θ$-positivity for the groups $\mathrm{Spin}(p,q)$. They are generated by mutations of quivers which we call ST-compatible, and which encode the order of the products that appear in the exchange relations. We show that these ST-compatible quivers can be represented by tilings of surfaces by polygons, a generalization of the description of surface type cluster algebras. As examples, we construct tilings which produce ST-compatible versions of the Del Pezzo quivers and the quivers first described by Le for Fock-Goncharov coordinates for Lie groups of type $B$. We show that polygonal cluster algebras have natural evaluations in Clifford algebras, which we use to produce noncommutative generalizations of the Somos sequences and to parameterize the $Θ$-positive semigroup of $\mathrm{Spin}(2,n)$. We indicate how this will be done for the semigroup in $\mathrm{Spin}(p,q)$ and how one will give coordinates for general $Θ$-positive representations into $\mathrm{Spin}(p,q)$.
Geometric structure and transversal logic of quantum Reed-Muller codes
Published
• View Publication
• BIB
Designing efficient and noise-tolerant quantum computation protocols generally begins with an understanding of quantum error-correcting codes and their native logical operations. The simplest class of native operations are transversal gates, which are naturally fault-tolerant. In this paper, we aim to characterize the transversal gates of quantum Reed-Muller (RM) codes by exploiting the well-studied properties of their classical counterparts. We start our work by establishing a new geometric characterization of quantum RM codes via the Boolean hypercube and its associated subcube complex. More specifically, a set of stabilizer generators for a quantum RM code can be described via transversal $X$ and $Z$ operators acting on subcubes of particular dimensions. This characterization leads us to define subcube operators composed of single-qubit $π/2^k$ $Z$-rotations that act on subcubes of given dimensions. We first characterize the action of subcube operators on the code space: depending on the dimension of the subcube, these operators either (1) act as a logical identity on the code space, (2) implement non-trivial logic, or (3) rotate a state away from the code space. Second, and more remarkably, we uncover that the logic implemented by these operators corresponds to circuits of multi-controlled-$Z$ gates that have an explicit and simple combinatorial description. Overall, this suite of results yields a comprehensive understanding of a class of natural transversal operators for quantum RM codes.
Eigenvectors of the De Bruijn Graph Laplacian: A Natural Basis for the Cut and Cycle Space
We study the Laplacian of the undirected De Bruijn graph over an alphabet $A$ of order $k$. While the eigenvalues of this Laplacian were found in 1998 by Delorme and Tillich [1], an explicit description of its eigenvectors has remained elusive. In this work, we find these eigenvectors in closed form and show that they yield a natural and canonical basis for the cut- and cycle-spaces of De Bruijn graphs. Remarkably, we find that the cycle basis we construct is a basis for the cycle space of both the undirected and the directed De Bruijn graph. This is done by developing an analogue of the Fourier transform on the De Bruijn graph, which acts to diagonalize the Laplacian. Moreover, we show that the cycle-space of De Bruijn graphs, when considering all possible orders of $k$ simultaneously, contains a rich algebraic structure, that of a graded Hopf algebra.
Bipartite and Euclidean Gallai-Ramsey Theory
In this paper, we investigate the following Gallai-Ramsey question: how large must a complete bipartite graph $K_{n_1, n_2}$ be before any coloring of its edges with $r$ colors contains either a monochromatic copy of $G = K_{s,t}$ or a rainbow copy of $H = K_{s,t}$? We demonstrate that the answer is linear in $r$, and provide more precise bounds for the specific case $s = 2$. Furthermore, we also consider the following Euclidean Gallai-Ramsey question: given a configuration $H$ in Euclidean space, what is the smallest $n$ such that any $r$-coloring of $n$-dimensional Euclidean space contains a monochromatic or rainbow configuration congruent to $H$? Through a natural translation between edge colorings of the complete bipartite graph $K_{n_1,n_2}$ and colorings of a subset of $(n_1+n_2)$-dimensional Euclidean space, we prove new upper bounds on $n$ for some configurations which can be expressed as Cartesian products of simplices.
Factorial Fock free fermions
We use a double shifted power analog of free fermion fields to introduce current operators, Hamiltonians, and vertex operators which are deformed by two families of parameters and satisfy analogous formulas to the classical case. We show that the deformed half vertex operators correspond to the row transfer matrices of a solvable six vertex model recently given by Naprienko [arXiv:2301.12110], which under a specialization yields the factorial Schur functions (up to a reindexing of parameters). As a consequence, we show that under the boson-fermion correspondence using our deformed half vertex operators, the natural basis (under this specialization) maps to the double factorial Schur functions. Furthermore, the image of the natural basis vectors are tau function solutions to the 2D Toda lattice.
Gaussian to log-normal transition for independent sets in a percolated hypercube
Independent sets in graphs, i.e., subsets of vertices where no two are adjacent, have long been studied, for instance as a model of hard-core gas. The $d$-dimensional hypercube, $\{0,1\}^d$, with the nearest neighbor structure, has been a particularly appealing choice for the base graph, owing in part to its many symmetries. Results go back to the work of Korshunov and Sapozhenko who proved sharp results on the count of such sets as well as structure theorems for random samples drawn uniformly. Of much interest is the behavior of such Gibbs measures in the presence of disorder. In this direction, Kronenberg and Spinka [KS] initiated the study of independent sets in a random subgraph of the hypercube obtained by considering an instance of bond percolation with probability $p$. Relying on tools from statistical mechanics they obtained a detailed understanding of the moments of the partition function, say $\mathcal{Z}$, of the hard-core model on such random graphs and consequently deduced certain fluctuation information, as well as posed a series of interesting questions. In particular, they showed in the uniform case that there is a natural phase transition at $p=2/3$ where $\mathcal{Z}$ transitions from being concentrated for $p>2/3$ to not concentrated at $p=2/3$.
In this article, developing a probabilistic framework, as well as relying on certain cluster expansion inputs from [KS], we present a detailed picture of both the fluctuations of $\mathcal{Z}$ as well as the geometry of a randomly sampled independent set. In particular, we establish that $\mathcal{Z}$, properly centered and scaled, converges to a standard Gaussian for $p>2/3$, and to a sum of two i.i.d. log-normals at $p=2/3$. A particular step in the proof which could be of independent interest involves a non-uniform birthday problem for which collisions emerge at $p=2/3$.
Universality for roots of derivatives of entire functions via finite free probability
A universality conjecture of Farmer and Rhoades [Trans. Amer. Math. Soc., 357(9):3789--3811, 2005] and Farmer [Adv. Math., 411:Paper No. 108781, 14, 2022] asserts that, under some natural conditions, the roots of an entire function should become perfectly spaced in the limit of repeated differentiation. This conjecture is known as Cosine Universality. We establish this conjecture for a class of even entire functions with only real roots which are real on the real line. Along the way, we establish a number of additional universality results for Jensen polynomials of entire functions, including the Hermite Universality conjecture of Farmer [Adv. Math., 411:Paper No. 108781, 14, 2022]. Our proofs are based on finite free probability theory. We establish finite free probability analogs of the law of large numbers, central limit theorem, and Poisson limit theorem for sequences of deterministic polynomials under repeated differentiation, under optimal moment conditions, which are of independent interest.
On the $H$-space of a random graph
The edge space $\mathcal{E}(G)$ of a graph $G$ is the vector space $\mathbb{F}_2^{E(G)}$ with members naturally identified with subgraphs of $G$, and the $H$-space is the subspace $\mathcal{C}_H(G)$ of $ \mathcal{E}(G)$ spanned by copies of the graph $H$. We are interested in when the random graph $G = G_{n,p}$ is likely to satisfy \[\mathcal{C}_H(G) = \mathcal{W}_H(G),\] where $\mathcal{W}_H(G)$ takes one of four natural values, depending on the value of $\mathcal{C}_H(K_n)$. We show that for strictly $2$-balanced $H$, w.h.p. the above equality holds whenever every edge of $G$ is in a copy of $H$.
Log-Concave Sequences in Coding Theory
Published
• View Publication
• BIB
We introduce the notion of logarithmically concave (or log-concave) sequences in Coding Theory. A sequence $a_0, a_1, \dots, a_n$ of real numbers is called log-concave if $a_i^2 \ge a_{i-1}a_{i+1}$ for all $1 \le i \le n-1$. A natural sequence of positive numbers in coding theory is the weight distribution of a linear code consisting of the nonzero values among $A_i$'s where $A_i$ denotes the number of codewords of weight $i$. We call a linear code log-concave if its nonzero weight distribution is log-concave. Our main contribution is to show that all binary general Hamming codes of length $2^r -1$ ($r=3$ or $r \ge 5$), the binary extended Hamming codes of length $2^r ~(r \ge 3)$, and the second order Reed-Muller codes $R(2, m)~ (m \ge 2)$ are all log-concave while the homogeneous and projective second order Reed-Muller codes are either log-concave, or 1-gap log-concave. Furthermore, we show that any MDS $[n, k]$ code over $\mathbb F_q$ satisfying $3 \leqslant k \leqslant n/2 +3$ is log-concave if $q \geqslant q_0(n, k)$ which is the larger root of a quadratic polynomial. Hence, we expect that the concept of log-concavity in coding theory will stimulate many interesting problems.
Fault tolerance of metric basis can be expensive
Published
• View Publication
• BIB
A set of vertices S is a resolving set of a graph G; if for every pair of vertices x and y in G, there exists a vertex s in S such that x and y differ in distance to s. A smallest resolving set of G is called a metric basis. The metric dimension dim(G) is the cardinality of a metric basis of G. The notion of a metric basis is applied to the problem of placing sensors in a network, where the problem of sensor faults can arise. The fault-tolerant metric dimension ftdim(G) is the cardinality of a smallest resolving set S such that S\{s} remains a resolving set of G for every s in S. A natural question is how much more sensors need to be used to achieve a fault-tolerant metric basis. It is known in literature that there exists an upper bound on ftdim(G) which is exponential in terms of dim(G); i.e. ftdim(G) <= dim(G)(1+2^(5dim(G)-1)). In this paper, we construct graphs G with ftdim(G) = dim(G)+2^(dim(G)-1) for any value of dim(G), so the exponential upper bound is necessary. We also extend these results to the k-metric dimension which is a generalization of the fault-tolerant metric dimension. First, we establish a similar exponential upper bound on dim(k+1)(G) in terms of dim(k)(G); and then we show that there exists a graph for which dim(k+1)(G) is indeed exponential. For a possible further work, we leave the gap between the bounds to be reduced.
Chromatic number and regular subgraphs
Published
• View Publication
• BIB
In 1992, Erdős and Hajnal posed the following natural problem: Does there exist, for every $r\in \mathbb{N}$, an integer $F(r)$ such that every graph with chromatic number at least $F(r)$ contains $r$ edge-disjoint cycles on the same vertex set? We solve this problem in a strong form, by showing that there exist $n$-vertex graphs with fractional chromatic number $Ω\left(\frac{\log \log n}{\log \log \log n}\right)$ that do not even contain a $4$-regular subgraph. This implies that no such number $F(r)$ exists for $r\ge 2$. We show that assuming a conjecture of Harris, the bound on the fractional chromatic number in our result cannot be improved.
Conditional Non-Soficity of p-adic Deligne Extensions: on a Theorem of Gohla and Thom
A long standing problem asks whether every group is sofic, i.e., can be separated by almost-homomorphisms to the symmetric group $Sym(n)$. Similar problems have been asked with respect to almost-homomorphisms to the unitary group $U(n)$, equipped with various norms. One of these problems has been solved for the first time in [De Chiffre, Gelbsky, Lubotzky, Thom, 2020]: some central extensions $\widetildeΓ$ of arithmetic lattices $Γ$ of $Sp(2g,\mathbb{Q}_p)$ were shown to be non-Frobenius approximated by almost homomorphisms to $U(n)$. Right after, it was shown that similar results hold with respect to the $p$-Schatten norms in [Lubotzky, Oppenheim, 2020]. It is natural, and has already been suggested in [Chapman, Lubotzky, 2024] and [Gohla, Thom, 2024], to check whether the $\widetildeΓ$ are also non-sofic. In order to show that they are (also) non-sofic, it suffices:
(a) To prove that the permutation Cheeger constant of the simplicial complex underlying $Γ$ is positive, generalizing [Evra, Kaufman, 2016]. This would imply that $Γ$ is stable.
(b) To prove that the (flexible) stability of $Γ$ implies the non-soficity of $\widetildeΓ$.
Clause (b) was proved by Gohla and Thom. Here we offer a more algebraic/combinatorial treatment to their theorem.
The Closed Geodetic Game: algorithms and strategies
Published
• View Publication
• BIB
The geodetic closure of a set S of vertices of a graph is the set of all vertices in shortest paths between pairs of vertices of S. A set S of vertices in a graph is geodetic if its geodetic closure contains all the vertices of the graph. Buckley introduced in 1984 the idea of a game where two players construct together a geodetic set by alternately selecting vertices, the game ending when all vertices are in the geodetic closure. The Geodetic Game was then studied in 1985 by Buckley and Harary, and allowed players to select vertices already in the geodetic closure of the current set. We study the more natural variant, also introduced in 1985 by Buckley and Harary and called the Closed Geodetic Game, where the players alternate adding to a set S vertices that are not in the geodetic closure of S, until no move is available. This variant was only studied ever since for trees by Araujo et al. in 2024. We provide a full characterization of the Sprague-Grundy values of graph classes such as paths and cycles, of the outcomes of the Cartesian product of several graphs in function of their individual outcomes, and give polynomial-time algorithms to determine the Sprague-Grundy values of cactus and block graphs.
A Unified FPT Framework for Crossing Number Problems
The basic (and traditional) crossing number problem is to determine the minimum number of crossings in a topological drawing of an input graph in the plane. We develop a unified framework that smoothly captures many generalized crossing number problems, and that yields fixed-parameter tractable (FPT) algorithms for them not only in the plane but also on surfaces. Our framework takes the following form. We fix a surface S, an integer r, and a map \k{appa} from the set of topological drawings of graphs in S to Z+\cup{\infty}, satisfying some natural monotonicity conditions, but essentially describing the allowed drawings and how we want to count the crossings in them. Then deciding whether an input graph G has an allowed drawing D on S with \k{appa}(D)<=r can be done in time quadratic in the size of G (and exponential in other parameters). More generally, we may take as input an edge-colored graph, and distinguish crossings by the colors of the involved edges; and we may allow to perform a bounded number of edge removals and vertex splits to G before drawing it. The proof is a reduction to the embeddability of a graph on a two-dimensional simplicial complex. This framework implies, in a unified way, quadratic FPT algorithms for many topological crossing number variants established in the graph drawing community. Some of these variants already had previously published FPT algorithms, mostly relying on Courcelle's metatheorem, but for many of those, we obtain an algorithm with a better runtime. Moreover, our framework extends, at no cost, to these crossing number variants in any fixed surface.
Creating Subgraphs in Semi-Random Hypergraph Games
Published
• View Publication
• BIB
The semi-random hypergraph process is a natural generalisation of the semi-random graph process, which can be thought of as a one player game. For fixed $r < s$, starting with an empty hypergraph on $n$ vertices, in each round a set of $r$ vertices $U$ is presented to the player independently and uniformly at random. The player then selects a set of $s-r$ vertices $V$ and adds the hyperedge $U \cup V$ to the $s$-uniform hypergraph. For a fixed (monotone) increasing graph property, the player's objective is to force the graph to satisfy this property with high probability in as few rounds as possible.
We focus on the case where the player's objective is to construct a subgraph isomorphic to an arbitrary, fixed hypergraph $H$. In the case $r=1$ the threshold for the number of rounds required was already known in terms of the degeneracy of $H$. In the case $2 \le r < s$, we give upper and lower bounds on this threshold for general $H$, and find further improved upper bounds for cliques in particular. We identify cases where the upper and lower bounds match. We also demonstrate that the lower bounds are not always tight by finding exact thresholds for various paths and cycles.
On $r$-wise $t$-intersecting uniform families
Published
• View Publication
• BIB
We consider families, $\mathcal{F}$ of $k$-subsets of an $n$-set. For integers $r\geq 2$, $t\geq 1$, $\mathcal{F}$ is called $r$-wise $t$-intersecting if any $r$ of its members have at least $t$ elements in common. The most natural construction of such a family is the full $t$-star, consisting of all $k$-sets containing a fixed $t$-set. In the case $r=2$ the Exact Erdős-Ko-Rado Theorem shows that the full $t$-star is largest if $n\geq (t+1)(k-t+1)$. In the present paper, we prove that for $n\geq (2.5t)^{1/(r-1)}(k-t)+k$, the full $t$-star is largest in case of $r\geq 3$. Examples show that the exponent $\frac{1}{r-1}$ is best possible. This represents a considerable improvement on a recent result of Balogh and Linz.