Showing 20 papers (Total: 82432 papers, 47671 authors in database)
New modular symmetric function and its applications: Modular $s$-Stirling numbers
Published
• View Publication
• BIB
In this paper, we consider a generalization of the Stirling number sequence of both kinds by using a specialization of a new family of symmetric functions. We give combinatorial interpretations for this symmetric functions by means of weighted lattice path and tilings. We also present some new convolutions involving the complete and elementary symmetric functions. Additionally, we introduce different families of set partitions to give combinatorial interpretations for the modular $s$-Stirling numbers.
A spectral condition for the existence of cycles with consecutive odd lengths in non-bipartite graphs
Published
• View Publication
• BIB
A graph $G$ is called $H$-free, if it does not contain $H$ as a subgraph. In 2010, Nikiforov proposed a Brualdi-Solheid-Turán type problem: what is the maximum spectral radius of an $H$-free graph of order $n$? In this paper, we consider the Brualdi-Solheid-Turán type problem for non-bipartite graphs. Let $K_{a, b}\bullet K_3$ denote the graph obtained by identifying a vertex of $K_{a,b}$ in the part of size $b$ and a vertex of $K_3$. We prove that if $G$ is a non-bipartite graph of order $n$ satisfying $ρ(G)\geq ρ(K_{\lceil\frac{n-2}{2}\rceil, \lfloor\frac{n-2}{2}\rfloor}\bullet K_3)$, then $G$ contains all odd cycles $C_{2l+1}$ for each integer $l\in[2,k]$ unless $G\cong K_{\lceil\frac{n-2}{2}\rceil, \lfloor\frac{n-2}{2}\rfloor}\bullet K_3$, provided that $n$ is sufficiently large with respect to $k$. This resolves the problem posed by Guo, Lin and Zhao (2021).
Theorems of Carathéodory, Minkowski-Weyl, and Gordan up to symmetry
Published in SIAM J. Appl. Algebra Geom. 7 (2023), no. 1, 291-310
• View Publication
• BIB
In this paper we extend three classical and fundamental results in polyhedral geometry, namely, Carathéodory's theorem, the Minkowski-Weyl theorem, and Gordan's lemma to infinite dimensional spaces, in which considered cones and monoids are invariant under actions of symmetric groups.
Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functions
Published
• View Publication
• BIB
Hailperin (1965) introduced a linear programming formulation to a difficult family of problems, originally proposed by Boole (1854,1868). Hailperin's model is computationally still difficult and involves an exponential number of variables (in terms of a typical input size for Boole's problem). Numerous papers provided efficiently computable bounds for the minimum and maximum values of Hailperin's model by using aggregation that is a monotone linear mapping to a lower dimensional space. In many cases the image of the positive orthant is a subcone of the positive orthant in the lower dimensional space, and thus including some of the defining inequalities of this subcone can tighten up such an aggregation model, and lead to better bounds. Improving on some recent results, we propose a hierarchy of aggregations for Hailperin's model and a generic approach for the analysis of these aggregations. We obtain complete polyhedral descriptions of the above mentioned subcones and obtain significant improvements in the quality of the bounds.
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.
Log-concave poset inequalities
Published in Journal of Association for Mathematical Research, vol. 2, issue 1 (2024), 53--153
• View Publication
• BIB
We study combinatorial inequalities for various classes of set systems: matroids, polymatroids, poset antimatroids, and interval greedoids. We prove log-concavity inequalities for counting certain weighted feasible words, which generalize and extend several previous results establishing Mason conjectures for the numbers of independent sets of matroids. Notably, we prove matching equality conditions for both earlier inequalities and our extensions.
In contrast with much of the previous work, our proofs are combinatorial and employ nothing but linear algebra. We use the language formulation of greedoids which allows a linear algebraic setup, which in turn can be analyzed recursively. The underlying non-commutative nature of matrices associated with greedoids allows us to proceed beyond polymatroids and prove the equality conditions. As further application of our tools, we rederive both Stanley's inequality on the number of certain linear extensions, and its equality conditions, which we then also extend to the weighted case.
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.
New Bounds on Diffsequences
Published
• View Publication
• BIB
For a set of positive integers $D$, a $k$-term $D$-diffsequence is a sequence of positive integers $a_1<a_2<\cdots<a_k$ such that $a_i-a_{i-1}\in D$ for $i=2,3,\cdots,k$. For $k\in\mathbb{Z}^+$ and $D\subset \mathbb{Z}^+$, we define $Δ(D,k)$, if it exists, to be the smallest integer $n$ such that every $2$-coloring of $\{1,2,\cdots,n\}$ contains a monochromatic $D$-diffsequence of length $k$. We improve the lower bound on $Δ(D,k)$ where $D=\{2^i\mid i\in\mathbb{Z}_{\geq{0}}\}$, proving a conjecture of Chokshi, Clifton, Landman, and Sawin. We also determine all sets of the form $D=\{d_1,d_2,\dots\}$ with $d_i\mid d_{i+1}$ for which $Δ(D,k)$ exists.
Random geometric graphs and the spherical Wishart matrix
We consider the random geometric graph on $n$ vertices drawn uniformly from a $d$--dimensional sphere. We focus on the sparse regime, when the expected degree is constant independent of $d$ and $n$. We show that, when $d$ is larger than $n$ by logarithmic factors, this graph is comparable to the Erdős--Rényi random graph of the same edge density in the \emph{inclusion divergence} between the graph laws. This divergence functions in certain ways like a relaxation of the total variation distance, but is strong enough to distinguish Erdős--Rényi graphs of different densities with a higher resolution than the total variation distance. To do the analysis, we derive some exact statistics of the \emph{spherical Wishart matrix}, the Gram matrix of $n$ independent uniformly random $d$--dimensional spherical vectors. In particular we give expressions for the characteristic function of the spherical Wishart matrix which are well--approximated using steepest descent.
Great-circle Tree Thrackles
Published
• View Publication
• BIB
A thrackle is a graph drawing in which every pair of edges meets exactly once. The Thrackle Conjecture (established by John Conway) states that the number of edges of a thrackle cannot exceed the number of its vertices. Cairns, Koussas, and Nikolayevsky (2015) prove that the Thrackle Conjecture holds for great-circle thrackles drawn on the sphere. They also posit that the Thrackle Conjecture can be restated to say that a graph can be drawn as a thrackle drawing in the plane if and only if it admits a great-circle thrackle drawing. We demonstrate that the class of great-circle thrackleable graphs excludes some trees. Thus the informal conjecture from Cairns, Koussas, and Nikolayevsky (2015) is not equivalent to the Thrackle Conjecture.
Counting Baxter Matrices
Published in Electronic Journal of Combinatorics Volume 30 Issue 1 (2023) P1.2
• View Publication
• BIB
Donald Knuth recently introduced the notion of a Baxter matrix, generalizing Baxter permutations. We show that for fixed number of rows, $r$, the number of Baxter matrices with $r$ rows and $k$ columns eventually satisfies a polynomial in $k$ of degree $2r-2$. We also give a proof of Knuth's conjecture that the number of 1's in a $r \times k$ Baxter matrix is less than $r+k$.
A structural Szemerédi-Trotter Theorem for Cartesian Products
Published
• View Publication
• BIB
We study configurations of $n$ points and $n$ lines that form $Θ(n^{4/3})$ incidences, when the point set is a Cartesian product. We prove structural properties of such configurations, such that there exist many families of parallel lines or many families of concurrent lines. We show that the line slopes have multiplicative structure or that many sets of $y$-intercepts have additive structure. We introduce the first infinite family of configurations with $Θ(n^{4/3})$ incidences. We also derive a new variant of a different structural point-line result of Elekes.
Our techniques are based on the concept of line energy. Recently, Rudnev and Shkredov introduced this energy and showed how it is connected to point-line incidences. We also prove that their bound is tight up to sub-polynomial factors.
Robust-and-Cheap Framework for Network Resilience: A Novel Mixed-Integer Formulation and Solution Method
Resilience and robustness are important properties in the reliability and attack-tolerance analysis of networks. In recent decades, various qualitative and heuristic-based quantitative approaches have made significant contributions in addressing network resilience and robustness. However, the lack of exact methods such as mixed-integer programming (MIP) models is sensible in the literature. In this paper, we contribute to the literature on the network resilience and robustness for targeted and random attacks and propose a MIP model considering graph-theoretical aspects of networks. The proposed MIP model consists of two stages where in the first stage the worst-case attack is identified. Then, the second-stage problem maximizes the network resilience under the worst-case attack by adding links considering a link addition financial budget. In addition, we propose a solution method that (i) provides a tight relaxation for the MIP formulation by relaxing some of the integrality restrictions, (ii) exploits the structure of the problem and reduces the second-stage problem to a less complex but equivalent problem, and (iii) identifies underlying knapsack constraints and generates lifted cover inequalities (LCI) for such constraints. We conclude numerical experiments for randomly-generated networks and then extend our results to power system networks. Numerical experiments demonstrate the applicability and computational efficiency of the proposed robust-and-cheap framework for network resilience.
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.
Incidence estimates for $α$-dimensional tubes and $β$-dimensional balls in $\mathbb{R}^2$
Published
• View Publication
• BIB
We prove essentially sharp incidence estimates for a collection of $δ$-tubes and $δ$-balls in the plane, where the $δ$-tubes satisfy an $α$-dimensional spacing condition and the $δ$-balls satisfy a $β$-dimensional spacing condition. Our approach combines a combinatorial argument for small $α, β$ and a Fourier analytic argument for large $α, β$. As an application, we prove a new lower bound for the size of a $(u,v)$-Furstenberg set when $v \ge 1, u + \frac{v}{2} \ge 1$, which is sharp when $u + v \ge 2$. We also show a new lower bound for the discretized sum-product problem.
Eternal Domination and Clique Covering
Published
• View Publication
• BIB
We study the relationship between the eternal domination number of a graph and its clique covering number using both large-scale computation and analytic methods. In doing so, we answer two open questions of Klostermeyer and Mynhardt. We show that the smallest graph having its eternal domination number less than its clique covering number has $10$ vertices. We determine the complete set of $10$-vertex and $11$-vertex graphs having eternal domination numbers less than their clique covering numbers. We show that the smallest triangle-free graph with this property has order $13$, as does the smallest circulant graph. We describe a method to generate an infinite family of triangle-free graphs and an infinite family of circulant graphs with eternal domination numbers less than their clique covering numbers. We also consider planar graphs and cubic graphs. Finally, we show that for any integer $k \geq 2$ there exist infinitely many graphs having domination number and eternal domination number equal to $k$ containing dominating sets which are not eternal dominating sets.
A note on multicolor Ramsey number of small odd cycles versus a large clique
Published
• View Publication
• BIB
Let $R_k(H;K_m)$ be the smallest number $N$ such that every coloring of the edges of $K_{N}$ with $k+1$ colors has either a monochromatic $H$ in color $i$ for some $1\leqslant i\leqslant k$, or a monochromatic $K_{m}$ in color $k+1$. In this short note, we study the lower bound for $R_k(H;K_m)$ when $H$ is $C_5$ or $C_7$, respectively. We show that
\begin{equation*}
R_{k}(C_5;K_m)=Ω(m^{\frac{3k}{8}+1}/(\log{m})^{\frac{3k}{8}+1}),
\end{equation*} and
\begin{equation*}
R_{k}(C_7;K_m)=Ω(m^{\frac{2k}{9}+1}/(\log{m})^{\frac{2k}{9}+1}),
\end{equation*}
for fixed positive integer $k$ and $m\rightarrow\infty$. These slightly improve the previously known lower bound $R_{k}(C_{2\ell+1};K_m)=Ω(m^{\frac{k}{2\ell-1}+1}/(\log m)^{k+\frac{2k}{2\ell-1}})$ obtained by Alon and Rödl. The proof is based on random block constructions and random blowups argument.
On the divisibility of sums of even powers of $q$-binomial coefficients
Published
• View Publication
• BIB
We prove the divisibility conjecture on sums of even powers of $q$-binomial coefficients, which was recently proposed by Guo, Schlosser and Zudilin. Our proof relies on two $q$-harmonic series congruences due to Shi and Pan.
Paths With Three Blocks In Digraphs
A path with three blocks $P(k,l,r)$ is an oriented path formed by $k$-forward arcs followed by $l$-backward arcs then $r$-forward arcs. We prove that any $(2k+1)$-chromatic digraph contains a path $P(1,k,1)$. However the existence of $P(1,l,1)$ with $l \geq k$ is established in any $(k+4)$-chromatic digraph. In general, we establish a quadratic bound for paths with three blocks.
On improving a Schur-type theorem in shifted primes
Published
• View Publication
• BIB
We show that if $N \geq \exp(\exp(\exp (k^{O(1)})))$, then any $k$-colouring of the primes that are less than $N$ contains a monochromatic solution to $p_1 - p_2 = p_3 -1$.