Showing 20 papers (Total: 82851 papers, 47869 authors in database)
An algebraic inverse theorem for the quadratic Littlewood-Offord problem, and an application to Ramsey graphs
Consider a quadratic polynomial $f\left(ξ_{1},\dots,ξ_{n}\right)$ of independent Bernoulli random variables. What can be said about the concentration of $f$ on any single value? This generalises the classical Littlewood--Offord problem, which asks the same question for linear polynomials. As in the linear case, it is known that the point probabilities of $f$ can be as large as about $1/\sqrt{n}$, but still poorly understood is the "inverse" question of characterising the algebraic and arithmetic features $f$ must have if it has point probabilities comparable to this bound. In this paper we prove some results of an algebraic flavour, showing that if $f$ has point probabilities much larger than $1/n$ then it must be close to a quadratic form with low rank. We also give an application to Ramsey graphs, asymptotically answering a question of Kwan, Sudakov and Tran.
Finding the dimension of a non-empty orthogonal array polytope
Published
• View Publication
• BIB
By using representation theory, we reduce the size of the set of possible values for the dimension of the convex hull of all feasible points polytope of an orthogonal array (OA) defining integer linear program (ILP). Our results address the conjecture that if this polytope is non-empty, then it is full dimensional within the affine space where all the feasible points of the ILP's linear programming (LP) relaxation lie, raised by Appa et al., [On multi-index assignment polytopes, Linear Algebra and its Applications 416 (2-3) (2006), 224--241]. In particular, our theoretical results provide a sufficient condition for this polytope to be full dimensional within the LP relaxation affine space when it is non-empty. This sufficient condition implies all the known non-trivial values of the dimension of the $(k,s)$ assignment polytope.
However, our results suggest that the conjecture mentioned above may not be true. More generally we provide previously unknown restrictions on the feasible values of the dimension of convex hull of all feasible points polytope of our OA defining ILP. We also determine all possible corresponding sets of equality constraints up to equivalence that can be implied by the integrality constraints of this ILP. Moreover, we find additional restrictions on the dimension of convex hull of feasible points and larger sets of corresponding equality constraints for the $n=2$ and even $s$ cases. These cases posses symmetries that do not necessarily exist in the $3\leq n$ or odd $s$ cases.
Negami's like splitting formula for the Jones polynomial
Negami's splitting formula cannot be directly applied to get a Jones polynomial splitting formula for the contraction of certain planar graphs in the decomposition become non planar. Therefore, we build a Negami's like splitting formula from the scratch. Now, the new splitting matrix doesn't have the form of a Lindström matrix and it would be interesting to have similar results for it.
Feasibility criteria for high-multiplicity partitioning problems
Published
• View Publication
• BIB
For fixed weights w_1,...,w_n, and for d>0, we let B denote a collection of d*n balls, with d balls of weight w_i for each i=1,...,n. We consider the problem of assigning the balls to n bins with capacities C_1,...,C_n, in such a way that each bin is assigned d balls, without exceeding its capacity. When d>>0, we give sufficient criteria for the feasibility of this problem, which coincide up to explicit constants with the natural set of necessary conditions. Furthermore, we show that our constants are optimal when the weights w_i are distinct. The feasibility criteria that we present here are used elsewhere (in commutative algebra) to study the asymptotic behavior of the Castelnuovo-Mumford regularity of symmetric monomial ideals.
On PM-mapping class monoids
In this paper, we introduce PM-mapping class monoids. Braid groups and mapping class groups have many features in common. Similarly to the notion of braid PM-monoid, PM-mapping class monoid is defined. This construction is an analogy of inverse mapping class monoid defined by R. Karoui and V. V. Vershinin. As the main result, we give the analog of the Dehn-Nilsen-Baer theorem.
The lemmas of Alexander and Sperner
Alexander's lemma is a version of Sperner's lemma published by Alexander two years earlier than Sperner's paper. The present paper is devoted to a modern but elementary exposition of lemmas of Alexander and Sperner and their main topological applications: Brouwer's theorems about the topological invariance of dimension and of domains (here we follow Lebesgue ideas in the form given to them by Sperner), Brouwer's fixed-point theorem, and Alexander's theorem about the topological invariance of homology groups. Along the way we relate the Knaster-Kuratowski-Mazurkiewich argument with the notion of simplicial approximations, provide a cohomological interpretation of Sperner's lemma and of its combinatorial proof, and explain how classical proofs of Sperner's and Alexander's lemma lead to path-following algorithms. The exposition does not assume any knowledge of algebraic topology.
Fractional Factors, Component Factors and Isolated Vertex Conditions in Graphs
Published
• View Publication
• BIB
For a graph $G = (V, E)$, a {\em fractional $[a, b]$-factor} is a real valued function $h:E(G)\to [0,1]$ that satisfies $a \le ~ \sum_{e\in E_G(v)} h(e) ~ \le b$ for all $ v\in V(G)$, where $a$ and $b$ are real numbers and $E_G(v)$ denotes the set of edges incident with $v$. In this paper, we prove that the condition $\mathit{iso}(G-S) \le (k+\frac{1}{2})|S|$ is equivalent to the existence of fractional $[1,k+ \frac{1}{2}]$-factors, where ${\mathit{iso}}(G-S)$ denotes the number of isolated vertices in $G-S$. Using fractional factors as a tool, we construct component factors under the given isolated conditions. Namely, (i) a graph $G$ has a $\{P_2,C_3,P_5, \mathcal{T}(3)\}$-factor if and only if $\mathit{iso}(G-S) \le \frac{3}{2}|S|$ for all $S\subset V(G)$; (ii) a graph $G$ has a $\{K_{1,1}, K_{1,2}, \ldots,$ $K_{1,k}, \mathcal{T}(2k+1)\}$-factor ($k\ge 2$) if and only if $\mathit{iso}(G-S) \le (k+\frac{1}{2})|S|$ for all $S\subset V(G)$, where $\mathcal{T}(3)$ and $\mathcal{T}(2k+1)$ are two special families of trees.
Independence number and connectivity for fractional (a,b,k)-critical covered graphs
Published
• View Publication
• BIB
A graph $G$ is a fractional $(a,b,k)$-critical covered graph if $G-U$ is a fractional $[a,b]$-covered graph for every $U\subseteq V(G)$ with $|U|=k$, which is first defined by Zhou, Xu and Sun (S. Zhou, Y. Xu, Z. Sun, Degree conditions for fractional $(a,b,k)$-critical covered graphs, Information Processing Letters, DOI: 10.1016/j.ipl.2019.105838). Furthermore, they derived a degree condition for a graph to be a fractional $(a,b,k)$-critical covered graph. In this paper, we gain an independence number and connectivity condition for a graph to be a fractional $(a,b,k)$-critical covered graph and verify that $G$ is a fractional $(a,b,k)$-critical covered graph if $$ κ(G)\geq\max\Big\{\frac{2b(a+1)(b+1)+4bk+5}{4b},\frac{(a+1)^{2}α(G)+4bk+5}{4b}\Big\}. $$
Many zeros of many characters of GL(n,q)
Published
• View Publication
• BIB
For $G={\rm GL}(n,q)$, the proportion $P_{n,q}$ of pairs $(χ,g)$ in ${\rm Irr}(G)\times G$ with $χ(g)\neq 0$ satisfies $P_{n,q}\to 0$ as $n\to\infty$.
A generalization of rotation of binary sequences and its applications to toggle dynamical systems
Published
• View Publication
• BIB
We study a simple generalization of the rotation (or circular shift) of the binary sequences. In particular, we show each orbit of this generalized rotation has a certain statistical symmetry. This generalized rotation naturally arises when we generalize the results of Joseph and Roby on a toggle dynamical system whose state space consists of independent sets on the path graphs.
On the inequalities in Hermite's theorem for a real polynomial to have real zeros
We prove expressions for the inequalities in Hermite's theorem which are conditions for a real polynomial to have real zeros. These expressions generalize the discriminant of a quadratic polynomial and the expression of J. Marík for a cubic polynomial. We show that the $(k+1)$-th minor of the Hermite matrix associated a polynomial $p(x)$ is equal to the $k$-th minor of another matrix we call $E(n)$ times $n^{k-1}$ and a simple integer. To prove this equivalence, we prove generalizations of the discriminant of a polynomial and analyze certain labeled directed graphs. To define this matrix $E(n)$ we define functions $M(m_2,m_1,n)$ which are positive if the zeros of $p(x)$ are positive.
The convex dimension of hypergraphs and the hypersimplicial Van Kampen-Flores Theorem
Published in Journal of Combinatorial Theory, Series B. Volume 149, 2021, pp. 23-51
• View Publication
• BIB
The convex dimension of a $k$-uniform hypergraph is the smallest dimension $d$ for which there is an injective mapping of its vertices into $\mathbb{R}^d$ such that the set of $k$-barycenters of all hyperedges is in convex position. We completely determine the convex dimension of complete $k$-uniform hypergraphs, which settles an open question by Halman, Onn and Rothblum, who solved the problem for complete graphs. We also provide lower and upper bounds for the extremal problem of estimating the maximal number of hyperedges of $k$-uniform hypergraphs on $n$ vertices with convex dimension $d$. To prove these results, we restate them in terms of affine projections that preserve the vertices of the hypersimplex. More generally, we provide a full characterization of the projections that preserve its $i$-dimensional skeleton. In particular, we obtain a hypersimplicial generalization of the linear van Kampen-Flores theorem: for each $n$, $k$ and $i$ we determine onto which dimensions can the $(n,k)$-hypersimplex be linearly projected while preserving its $i$-skeleton. Our results have direct interpretations in terms of $k$-sets and $(i,j)$-partitions, and are closely related to the problem of finding large convexly independent subsets in Minkowski sums of $k$ point sets.
A Note on the Probability of Rectangles for Correlated Binary Strings
Published
• View Publication
• BIB
Consider two sequences of $n$ independent and identically distributed fair coin tosses, $X=(X_1,\ldots,X_n)$ and $Y=(Y_1,\ldots,Y_n)$, which are $ρ$-correlated for each $j$, i.e. $\mathbb{P}[X_j=Y_j] = {1+ρ\over 2}$. We study the question of how large (small) the probability $\mathbb{P}[X \in A, Y\in B]$ can be among all sets $A,B\subset\{0,1\}^n$ of a given cardinality. For sets $|A|,|B| = Θ(2^n)$ it is well known that the largest (smallest) probability is approximately attained by concentric (anti-concentric) Hamming balls, and this can be proved via the hypercontractive inequality (reverse hypercontractivity). Here we consider the case of $|A|,|B| = 2^{Θ(n)}$. By applying a recent extension of the hypercontractive inequality of Polyanskiy-Samorodnitsky (J. Functional Analysis, 2019), we show that Hamming balls of the same size approximately maximize $\mathbb{P}[X \in A, Y\in B]$ in the regime of $ρ\to 1$. We also prove a similar tight lower bound, i.e. show that for $ρ\to 0$ the pair of opposite Hamming balls approximately minimizes the probability $\mathbb{P}[X \in A, Y\in B]$.
Loop Homology of Bi-secondary Structures II
Published
• View Publication
• BIB
In this paper we further describe the features of the topological space $K(R)$ obtained from the loop nerve of $R$, for $R=(S,T)$ a bi-secondary structure. We will first identify certain distinct combinatorial structures in the arc diagram of $R$ which we will call crossing components. The main theorem of this paper shows that the total number of these crossing components equals the rank of $H_2(R)$, the second homology group of the loop nerve.
Face posets of tropical polyhedra and monomial ideals
Published
• View Publication
• BIB
We exhibit several posets arising from commutative algebra, order theory, tropical convexity as potential face posets of tropical polyhedra, and we clarify their inclusion relations. We focus on monomial tropical polyhedra, and deduce how their geometry reflects properties of monomial ideals. Their vertex-facet lattice is homotopy equivalent to a sphere and encodes the Betti numbers of an associated monomial ideal.
A survey of the Shi arrangement
Published in In Recent trends in algebraic combinatorics, volume 16 of Assoc. Women Math. Ser., pages 75-113. Springer, Cham, 2019
• View Publication
• BIB
In 1983, Lusztig defined a map $σ$ from affine permutations of $n$ to partitions of $n$. He conjectured that for any partition $λ$ of $n$, $σ^{-1}(λ)$ is a two-sided cell. Shi, in 1986, proved part of this conjecture. As a byproduct, he introduced the Shi arrangement of hyperplanes and found a few of its remarkable properties. The Shi arrangement has since become a central object in algebraic combinatorics. This article is intended to be a fairly gentle introduction to the Shi arrangement, intended for readers with a modest background in combinatorics, algebra, and Euclidean geometry.
List-Edge-Coloring Triangulations with Maximum Degree at most 5
We prove that triangulations with maximum degree at most 5 satisfy the List-Edge-Coloring Conjecture.
Heronian friezes
Published
• View Publication
• BIB
Motivated by computational geometry of point configurations on the Euclidean plane, and by the theory of cluster algebras of type A, we introduce and study Heronian friezes, the Euclidean analogues of Coxeter's frieze patterns. We prove that a generic Heronian frieze possesses the glide symmetry (hence is periodic), and establish the appropriate version of the Laurent phenomenon.
For a closely related family of Cayley-Menger friezes, we identify an algebraic condition of coherence, which all friezes of geometric origin satisfy. This yields an unambiguous propagation rule for coherent Cayley-Menger friezes, as well as the corresponding periodicity results.
A categorification of the Malvenuto--Reutenauer algebra via a tower of groups
Published in Adv. Math. 383 (2021), 107675
• View Publication
• BIB
There is a long tradition of categorifying combinatorial Hopf algebras by the modules of a tower of algebras (or even better via the representation theory of a tower of groups). From the point of view of combinatorics, such a categorification supplies canonical bases, inner products, and a natural avenue to prove positivity results. Recent ideas in supercharacter theory have made fashioning the representation theory of a tower of groups into a Hopf structure more tractable. This paper applies such a program to the Malvenuto--Reutenauer Hopf algebra. In particular, we design functors on the representation theory of a tower of $p$-groups that realize the Hopf structure of the Malvenuto--Reutenauer algebra in such a way that its well-known fundamental basis corresponds to a supercharacter basis.
A note on pseudorandom Ramsey graphs
Published
• View Publication
• BIB
For fixed $s \ge 3$, we prove that if optimal $K_s$-free pseudorandom graphs exist, then the Ramsey number
$r(s,t) = t^{s-1+o(1)}$ as $t \rightarrow \infty$. Our method also improves the best lower bounds for $r(C_{\ell},t)$ obtained by Bohman and Keevash from the random $C_{\ell}$-free process by polylogarithmic factors for all odd $\ell \geq 5$ and $\ell \in \{6,10\}$. For $\ell = 4$ it matches their lower bound from the $C_4$-free process.
We also prove, via a different approach, that $r(C_5, t)> (1+o(1))t^{11/8}$ and $r(C_7, t)> (1+o(1))t^{11/9}$. These improve the exponent of $t$ in the previous best results and appear to be the first examples of graphs $F$ with cycles for which such an improvement of the exponent for $r(F, t)$ is shown over the bounds given by the random $F$-free process and random graphs.