natural ↗ reference
4908 papers tagged with this keyword
Growth in Sumsets of Higher Convex Functions
Published
• View Publication
• BIB
The main results of this paper concern growth in sums of a $k$-convex function $f$. Firstly, we streamline the proof of a growth result for $f(A)$ where $A$ has small additive doubling, and improve the bound by removing logarithmic factors. The result yields an optimal bound for \[ |2^k f(A) - (2^k-1)f(A)|. \]
We also generalise a recent result of Hanson, Roche-Newton and Senger, by proving that for any finite $A\subset \mathbb{R}$
\[ | 2^k f(sA-sA) - (2^k-1) f(sA-sA)| \gg_s |A|^{2s} \] where $s = \frac{k+1}{2}$. This allows us to prove that, given any natural number $s \in \mathbb{N}$, there exists $m = m(s)$ such that if $A \subset \mathbb{R}$, then \begin{equation}\label{conj A-Aus} |(sA-sA)^{(m)}| \gg_s |A|^{s}. \end{equation}
This is progress towards a conjecture which states that the above inequality can be replaced with
\[|(A-A)^{(m)}| \gg_s |A|^{s}.\]
Developing methods of Solymosi, and Bloom and Jones, we present some new sum-product type results in the complex numbers $\mathbb{C}$ and in the function field $\mathbb{F}_q((t^{-1}))$.
On $k$-dprime Divisor Function Graph
Let $p$ and $q$ be distinct primes. The \textit{semiprime divisor function graph} denoted by $G_{D(pq)}$, is the graph with vertex set $V(G_{D(pq)})=\{1,p,q,pq\}$ and edge set $E(G_{D(pq)})=\{\{1,p\}, \{1,q\},\{1,pq\},\{p,pq\},\{q,pq\}\}$. The semiprime divisor function graph is a special type of divisor function graph $G_{D(n)}$ in which $n=pq$. Recently, the energy and some indices of semiprime divisor function graph have been determined. In this paper, we introduce a natural extension to the semiprime divisor function graph which we call the \textit{$k$-dprime divisor function graph}. Moreover, we present results on some distance-based and degree-based topological indices of $k$-dprime divisor function graph. We end the paper by giving some open problems.
Irregular triads in 3-uniform hypergraphs
Published
• View Publication
• BIB
Over the past several years, numerous authors have explored model theoretically motivated combinatorial conditions that ensure that a graph has an efficient regular decomposition in the sense of Szemerédi. In this paper we set out a research program that explores a corresponding set of questions for 3-uniform hypergraphs, a setting in which useful notions of regularity are significantly more intricate.
The main results in this paper concern certain combinatorial properties which arose as natural higher-order generalizations of the order property in parallel work of the authors in the arithmetic setting. Interpreted in the context of 3-uniform hypergraphs, these are tightly connected to the nature of irregular triads. Specifically, we show that a hereditary property of 3-uniform hypergraphs admits regular decompositions with so-called "linear error" if and only if it does not have the functional order property.
Along the way, we show that a hereditary property of 3-uniform hypergraphs is homogeneous (i.e. all regular triads have density near $0$ or near $1$) if and only it has bounded $\textrm{VC}_2$-dimension. This provides a quantitative version of a recent result of Chernikov and Towsner.
We also address several questions arising from prior work on tame regularity in hypergraphs. In particular, we characterize the hereditary properties of $3$-uniform hypergraphs admitting the type of regular partitions appearing in work of Fox et al. as those that have bounded slicewise $\textrm{VC}$-dimension. This is again analogous to a recent non-quantitative result of Chernikov and Towsner.
Higher-order generalizations of stability and arithmetic regularity
We define a natural notion of higher order stability and show that subsets of $\mathbb{F}_p^n$ that are tame in this sense can be approximately described by a union of low-complexity quadratic varieties, up to linear error. This generalizes the arithmetic regularity lemma for stable subsets of $\mathbb{F}_p^n$, proved in earlier work of the authors, to the realm of higher-order Fourier analysis.
This result is strictly stronger than the structure theorem for sets of bounded $\mathrm{VC}_2$-dimension, first proved by the authors in earlier versions of this paper and now available as a separate manuscript arXiv:2510.12867. Taken together, these results provide group theoretic analogues of results obtained for 3-uniform hypergraphs in arXiv:2111.01737.
Self-conjugate $t$-core partitions and applications
Published in Australas. J. Combin. 82(2) (2022), 212--227
• Search Publication
Partition theory abounds with bijections between different types of partitions. One of the most famous partition bijections maps each self-conjugate partition of a positive integer $n$ to a partition of $n$ into distinct odd parts, and vice versa. Here we prove new necessary and sufficient conditions for a self-conjugate partition to be $t$-core, in terms of only the parts of the corresponding partition into distinct odd parts, by proving a new hook length formula. Corollaries of these results include new applications of $t$-core self-conjugate partitions to subsets of the natural numbers, due to the recent investigation of a new partition statistic called the supernorm by the first author, Just, and Schneider, as well as many results on $t$-cores by Bringmann, Kane, Males, Ono, Raji, and others. We provide several examples of these applications, one of which gives a new formula for certain families of Hurwitz class numbers.
Polyhedral realizations for $B(\infty)$ and extended Young diagrams, Young walls of type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$, ${\rm D}^{(2)}_{n}$
Published
• View Publication
• BIB
The crystal bases are quite useful combinatorial tools to study the representations of quantized universal enveloping algebras $U_q(\mathfrak{g})$. The polyhedral realization for $B(\infty)$ is a combinatorial description of the crystal base, which is defined as an image of embedding $Ψ_ι:B(\infty)\hookrightarrow \mathbb{Z}^{\infty}_ι$, where $ι$ is an infinite sequence of indices and $\mathbb{Z}^{\infty}_ι$ is an infinite $\mathbb{Z}$-lattice with a crystal structure associated with $ι$. It is a natural problem to find an explicit form of the polyhedral realization ${\rm Im}(Ψ_ι)$. In this article, supposing that $\mathfrak{g}$ is of affine type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$ or ${\rm D}^{(2)}_{n}$ and $ι$ satisfies the condition of `adaptedness', we describe ${\rm Im}(Ψ_ι)$ by using several combinatorial objects such as extended Young diagrams and Young walls.
Almost periodic functions and an analytical method of solving the number partitioning problem
In the present paper, we study the limit sets of the almost periodic functions $f(x)$. It is interesting that the values $r=\inf|f(x)|$ and $R=\sup|f(x)|$ may be expressed in the exact form. We show that the ring $r\leq |z|\leq R$ is the limit set of the almost periodic function $f(x)$ (under some natural conditions on $f$). The exact expression for $r$ coincides with the well known partition problem formula and gives a new analytical method of solving the corresponding partition problem. Several interesting examples are considered. For instance, in the case of the five numbers, the well-known Karmarkar--Karp algorithm gives the value $m=2$ as the solution of the partition problem in our example, and our method gives the correct answer $m=0.$ The figures presented in Appendix illustrate our results.
On the Enumeration and Asymptotic Analysis of Fibonacci Compositions
We study Fibonacci compositions, which are compositions of natural numbers that only use Fibonacci numbers, in two different contexts. We first prove inequalities comparing the number of Fibonacci compositions to regular compositions where summands have a maximum possible value. Then, we consider asymptotic properties of Fibonacci compositions, comparing them to compositions whose terms come from positive linear recurrence sequences. Finally, we consider analogues of these results where we do not allow the use of a certain number of consecutive Fibonacci numbers starting from $F_2 = 1$.
Off-diagonal book Ramsey numbers
Published
• View Publication
• BIB
The book graph $B_n^{(k)}$ consists of $n$ copies of $K_{k+1}$ joined along a common $K_k$. In the prequel to this paper, we studied the diagonal Ramsey number $r(B_n^{(k)}, B_n^{(k)})$. Here we consider the natural off-diagonal variant $r(B_{cn}^{(k)}, B_n^{(k)})$ for fixed $c \in (0,1]$. In this more general setting, we show that an interesting dichotomy emerges: for very small $c$, a simple $k$-partite construction dictates the Ramsey function and all nearly-extremal colorings are close to being $k$-partite, while, for $c$ bounded away from $0$, random colorings of an appropriate density are asymptotically optimal and all nearly-extremal colorings are quasirandom. Our investigations also open up a range of questions about what happens for intermediate values of $c$.
On sufficient conditions for spanning structures in dense graphs
Published
• View Publication
• BIB
We study structural conditions in dense graphs that guarantee the existence of vertex-spanning substructures such as Hamilton cycles. It is easy to see that every Hamiltonian graph is connected, has a perfect fractional matching and, excluding the bipartite case, contains an odd cycle. A simple consequence of the Robust Expander Theorem of Kühn, Osthus and Treglown tells us that any large enough graph that robustly satisfies these properties must already be Hamiltonian. Our main result generalises this phenomenon to powers of cycles and graphs of sublinear bandwidth subject to natural generalisations of connectivity, matchings and odd cycles.
This answers a question of Ebsen, Maesaka, Reiher, Schacht and Schülke and solves the embedding problem that underlies multiple lines of research on sufficient conditions for spanning structures in dense graphs. As applications, we recover and establish Bandwidth Theorems in a variety of settings including Ore-type degree conditions, Pósa-type degree conditions, deficiency-type conditions, locally dense and inseparable graphs, multipartite graphs as well as robust expanders.
$k$-Factorizations of the full cycle and generalized Mahonian statistics on $k$-forests
Published
• View Publication
• BIB
We develop direct bijections between the set $F_n^k$ of minimal factorizations of the long cycle $(0\,1\,\cdots\, kn)$ into $(k+1)$-cycle factors and the set $R_n^k$ of rooted labelled forests on vertices $\{1,\ldots,n\}$ with edges coloured with $\{0,1,\ldots,k-1\}$ that map natural statistics on the former to generalized Mahonian statistics on the latter. In particular, we examine the generalized major index on forests $R_n^k$ and show that it has a simple and natural interpretation in the context of factorizations. Our results extend those by the present authors (2021), which treated the case $k=1$ through a different approach, and provide a bijective proof of the equidistribution observed by Yan (1997) between displacement of $k$-parking functions and generalized inversions of $k$-forests.
Cylindric plane partitions, Lambda determinants, Commutants in semicircular systems
This thesis is divided into three parts. The first part deals with cylindric plane partitions. The second with lambda-determinants and the third with commutators in semi-circular systems. For more detailed abstract please see inside.
Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. The first result of section one is a new bijective proof of Borodin's identity which makes use of Fomin's growth diagram framework for generalized RSK correspondences. The second result is a $(q,t)$-analog of Borodin's identity which extends previous work by Okada in the reverse plane partition case. The third result is an explicit combinatorial interpretation of the Macdonald weight occurring in the $(q,t)$-analog using the non-intersecting lattice path model for cylindric plane partitions.
Alternating sign matrices were discovered by Robbins and Rumsey whilst studying \emph{$λ$-determinants}. In the second part of this thesis we prove a multi-parameter generalization of the $λ$-determinant, generalizing a recent result by di Francesco. Like the original $λ$-determinant, our formula exhibits the \emph{Laurent phenomenon}.
Semicircular systems were first introduced by Voiculescu as a part of his study of von Neumann algebras. In the third part of this thesis we study certain commutator subalgebras of the semicircular system. We find a projection matrix with an interesting self-similar structure. Making use of our projection formula we given an alternative, elementary proof that the semicircular system is a factor.
Node-based Generalized Friendship Paradox fails
Published in Sci Rep 13, 2074 (2023)
• View Publication
• BIB
The Friendship Paradox--the principle that "your friends have more friends than you do"--is a combinatorial fact about degrees in a graph; but given that many web-based social activities are correlated with a user's degree, this fact has been taken more broadly to suggest the empirical principle that "your friends are also more active than you are." This Generalized Friendship Paradox, the notion that any attribute positively correlated with degree obeys the Friendship Paradox, has been established mathematically in a network-level version that essentially aggregates uniformly over all the edges of a network. Here we show, however, that the natural node-based version of the Generalized Friendship Paradox--which aggregates over nodes, not edges--may fail, even for degree-attribute correlations approaching 1. Whether this version holds depends not only on degree-attribute correlations, but also on the underlying network structure and thus can't be said to be a universal phenomenon. We establish both positive and negative results for this node-based version of the Generalized Friendship Paradox and consider its implications for social-network data.
New lower bounds for cardinalities of higher dimensional difference sets and sumsets
Published in Discrete Analysis 2022:15, 19 pp
• Search Publication
Let $d \geq 4$ be a natural number and let $A$ be a finite, non-empty subset of $\mathbb{R}^d$ such that $A$ is not contained in a translate of a hyperplane. In this setting, we show that \[ |A-A| \geq \bigg(2d - 2 + \frac{1}{d-1} \bigg) |A| - O_{d}(|A|^{1- δ}), \] for some absolute constant $δ>0$ that only depends on $d$. This provides a sharp main term, consequently answering questions of Ruzsa and Stanchescu up to an $O_{d}(|A|^{1- δ})$ error term. We also prove new lower bounds for restricted type difference sets and asymmetric sumsets in $\mathbb{R}^d$.
Turán numbers of sunflowers
A collection of distinct sets is called a sunflower if the intersection of any pair of sets equals the common intersection of all the sets. Sunflowers are fundamental objects in extremal set theory with relations and applications to many other areas of mathematics as well as theoretical computer science. A central problem in the area due to Erdős and Rado from 1960 asks for the minimum number of sets of size $r$ needed to guarantee the existence of a sunflower of a given size. Despite a lot of recent attention including a polymath project and some amazing breakthroughs, even the asymptotic answer remains unknown.
We study a related problem first posed by Duke and Erdős in 1977 which requires that in addition the intersection size of the desired sunflower be fixed. This question is perhaps even more natural from a graph theoretic perspective since it asks for the Turán number of a hypergraph made by the sunflower consisting of $k$ edges, each of size $r$ and with common intersection of size $t$. For a fixed size of the sunflower $k$, the order of magnitude of the answer has been determined by Frankl and Füredi. In the 1980's, with certain applications in mind, Chung, Erdős and Graham and Chung and Erdős considered what happens if one allows $k$, the size of the desired sunflower, to grow with the size of the ground set. In the three uniform case $r=3$ the correct dependence on the size of the sunflower has been determined by Duke and Erdős and independently by Frankl and in the four uniform case by Bucić, Draganić, Sudakov and Tran. We resolve this problem for any uniformity, by determining up to a constant factor the $n$-vertex Turán number of a sunflower of arbitrary uniformity $r$, common intersection size $t$ and with the size of the sunflower $k$ allowed to grow with $n$.
Degree of Satisfiability in Heyting Algebras
Published in J. symb. log. 90 (2025) 533-551
• View Publication
• BIB
Given a finite structure $M$ and property $p$, it is a natural to study the degree of satisfiability of $p$ in $M$; i.e. to ask: what is the probability that uniformly randomly chosen elements in $M$ satisfy $p$? In group theory, a well-known result of Gustafson states that the equation $xy=yx$ has a finite satisfiability gap: its degree of satisfiability is either $1$ (in Abelian groups) or no larger than $\frac{5}{8}$. Degree of satisfiability has proven useful in the study of (finite and infinite) group-like and ring-like algebraic structures, but finite satisfiability gap questions have not been considered in lattice-like, order-theoretic settings yet.
Here we investigate degree of satisfiability questions in the context of Heyting algebras and intuitionistic logic. We classify all equations in one free variable with respect to finite satisfiability gap, and determine which common principles of classical logic in multiple free variables have finite satisfiability gap. In particular we prove that, in a finite non-Boolean Heyting algebra, the probability that a randomly chosen element satisfies $x \vee \neg x = \top$ is no larger than $\frac{2}{3}$. Finally, we generalize our results to infinite Heyting algebras, and present their applications to point-set topology, black-box algebras, and the philosophy of logic.
Note on the Polyhedral Description of the Minkowski Sum of Two L-convex Sets
Published
• View Publication
• BIB
L-convex sets are one of the most fundamental concepts in discrete convex analysis. Furthermore, the Minkowski sum of two L-convex sets, called L2-convex sets, is an intriguing object that is closely related to polymatroid intersection. This paper reveals the polyhedral description of an L2-convex set, together with the observation that the convex hull of an L2-convex set is a box-TDI polyhedron. Two different proofs are given for the polyhedral description. The first is a structural short proof, relying on the conjugacy theorem in discrete convex analysis, and the second is a direct algebraic proof, based on Fourier-Motzkin elimination. The obtained results admit natural graph representations. Implications of the obtained results in discrete convex analysis are also discussed.
An Invariance Principle for the Multi-slice, with Applications
Published
• View Publication
• BIB
Given an alphabet size $m\in\mathbb{N}$ thought of as a constant, and $\vec{k} = (k_1,\ldots,k_m)$ whose entries sum of up $n$, the $\vec{k}$-multi-slice is the set of vectors $x\in [m]^n$ in which each symbol $i\in [m]$ appears precisely $k_i$ times. We show an invariance principle for low-degree functions over the multi-slice, to functions over the product space $([m]^n,μ^n)$ in which $μ(i) = k_i/n$. This answers a question raised by Filmus et al.
As applications of the invariance principle, we show:
1. An analogue of the "dictatorship test implies computational hardness" paradigm for problems with perfect completeness, for a certain class of dictatorship tests. Our computational hardness is proved assuming a recent strengthening of the Unique-Games Conjecture, called the Rich $2$-to-$1$ Games Conjecture. Using this analogue, we show that assuming the Rich $2$-to-$1$ Games Conjecture, (a) there is an $r$-ary CSP $\mathcal{P}_r$ for which it is NP-hard to distinguish satisfiable instances of the CSP and instances that are at most $\frac{2r+1}{2^r} + o(1)$ satisfiable, and (b) hardness of distinguishing $3$-colorable graphs, and graphs that do not contain an independent set of size $o(1)$.
2. A reduction of the problem of studying expectations of products of functions on the multi-slice to studying expectations of products of functions on correlated, product spaces. In particular, we are able to deduce analogues of the Gaussian bounds from \cite{MosselGaussian} for the multi-slice.
3. In a companion paper, we show further applications of our invariance principle in extremal combinatorics, and more specifically to proving removal lemmas of a wide family of hypergraphs $H$ called $ζ$-forests, which is a natural extension of the well-studied case of matchings.
Balanced Allocations: Caching and Packing, Twinning and Thinning
Published in Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Pages 1847 - 1874
• View Publication
• BIB
We consider the sequential allocation of $m$ balls (jobs) into $n$ bins (servers) by allowing each ball to choose from some bins sampled uniformly at random. The goal is to maintain a small gap between the maximum load and the average load. In this paper, we present a general framework that allows us to analyze various allocation processes that slightly prefer allocating into underloaded, as opposed to overloaded bins. Our analysis covers several natural instances of processes, including:
The Caching process (a.k.a. memory protocol) as studied by Mitzenmacher, Prabhakar and Shah (2002): At each round we only take one bin sample, but we also have access to a cache in which the most recently used bin is stored. We place the ball into the least loaded of the two.
The Packing process: At each round we only take one bin sample. If the load is below some threshold (e.g., the average load), then we place as many balls until the threshold is reached; otherwise, we place only one ball.
The Twinning process: At each round, we only take one bin sample. If the load is below some threshold, then we place two balls; otherwise, we place only one ball.
The Thinning process as recently studied by Feldheim and Gurel-Gurevich (2021): At each round, we first take one bin sample. If its load is below some threshold, we place one ball; otherwise, we place one ball into a $\textit{second}$ bin sample.
As we demonstrate, our general framework implies for all these processes a gap of $\mathcal{O}(\log n)$ between the maximum load and average load, even when an arbitrary number of balls $m \geq n$ are allocated (heavily loaded case). Our analysis is inspired by a previous work of Peres, Talwar and Wieder (2010) for the $(1+β)$-process, however here we rely on the interplay between different potential functions to prove stabilization.
Minimum degrees of finite rectangular bands, null semigroups, and variants of full transformation semigroups
Published
• View Publication
• BIB
For a positive integer $n$, the full transformation semigroup $T_n$ consists of all self maps of the set $\{1,\ldots,n\}$ under composition. Any finite semigroup $S$ embeds in some $T_n$, and the least such $n$ is called the (minimum transformation) degree of $S$ and denoted $μ(S)$. We find degrees for various classes of finite semigroups, including rectangular bands, rectangular groups and null semigroups. The formulae we give involve natural parameters associated to integer compositions. Our results on rectangular bands answer a question of Easdown from 1992, and our approach utilises some results of independent interest concerning partitions/colourings of hypergraphs.
As an application, we prove some results on the degree of a variant $T_n^a$. (The variant $S^a=(S,\star)$ of a semigroup $S$, with respect to a fixed element $a\in S$, has underlying set $S$ and operation $x\star y=xay$.) It has been previously shown that $n\leq μ(T_n^a)\leq 2n-r$ if the sandwich element $a$ has rank $r$, and the upper bound of $2n-r$ is known to be sharp if $r\geq n-1$. Here we show that $μ(T_n^a)=2n-r$ for $r\geq n-6$. In stark contrast to this, when $r=1$, and the above inequality says $n\leqμ(T_n^a)\leq 2n-1$, we show that $μ(T_n^a)/n\to1$ and $μ(T_n^a)-n\to\infty$ as $n\to\infty$.
Among other results, we also classify the $3$-nilpotent subsemigroups of $T_n$, and calculate the maximum size of such a subsemigroup.