Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Necklaces and Slimes
Published
• View Publication
• BIB
We show there is a bijection between the binary necklaces with $n$ black beads and $k$ white beads and certain $(n,k)$-codes when $n$ is prime. The main idea is to come up with a new map on necklaces called slime migration.
Palindromic intervals in Bruhat order and hyperplane arrangements
An element $w$ of the Weyl group is called rationally smooth if the corresponding Schubert variety is rationally smooth. This happens exactly when the lower interval $[id,w]$ in the Bruhat order is palindromic. For each element $w$ of the Weyl group, we construct a certain hyperplane arrangement. After analyzing the palindromic intervals inside the maximal quotients, we use this result to show that the generating function for regions of the arrangement coincides with the Poincaré polynomial of the corresponding Schubert variety if and only if the Schubert variety is rationally smooth.
Semi-polytope decomposition of a Generalized permutohedron
In this short note we show explicitly how to decompose a generalized permutohedron into semi-polytopes.
Matrices in ${\cal A}(R,S)$ with minimum $t$-term ranks
Published
• View Publication
• BIB
Let $R$ and $S$ be two sequences of nonnegative integers in nonincreasing order and with the same sum, and let ${\cal A}(R,S)$ be the class of all $(0,1)$-matrices having row sum $R$ and column sum $S$. For a positive integer $t$, the $t$-term rank of a $(0,1)$-matrix $A$ is defined as the maximum number of $1$'s in $A$ with at most one $1$ in each column, and at most $t$ $1$'s in each row. In this paper, we address conditions for the existence of a matrix in a class ${\cal A}(R,S)$ that realizes all the minimum $t$-term ranks, for $t\geq 1$.
Richness of arithmetic progression in commutative semigroup
Furstenberg and Glasner proved that for an arbitrary k in N, any piecewise syndetic set contains k term arithmetic progressions and such collection is also piecewise syndetic in Z: They used algebraic structure of beta N. The above result was extended for arbitrary semigroups by Bergelson and Hindman, again using the structure of Stone-Cech compactification of general semigroup. Beiglboeck provided an elementary proof of the above result and asked whether the combinatorial argument in his proof can be enhanced in a way which makes it applicable to a more abstract setting. In a recent work the second author of this paper and S.Jana provided an affirmative answer to Beiglboeck's question for countable commutative semigroup. In this work we will extend the result of Beiglboeck in different type of settings.
Cops and robbers on oriented toroidal grids
Published
• View Publication
• BIB
The game of cops and robbers is a well-known game played on graphs. In this paper we consider the straight-ahead orientations of 4-regular quadrangulations of the torus and the Klein bottle and we prove that their cop number is bounded by a constant. We also show that the cop number of every k-regularly oriented toroidal grid is at most 13.
Universal Gröbner Bases of Toric Ideals of Combinatorial Neural Codes
Published in Involve 14 (2021) 723-742
• View Publication
• BIB
In the 1970s, O'Keefe and Dostrovsky discovered that certain neurons, called place cells, in an animal's brain are tied to its location within its arena. A combinatorial neural code is a collection of $0/1$-vectors which encode the patterns of co-firing activity among the place cells. Gross, Obatake, and Youngs have recently used techniques from toric algebra to study when a neural code is $0$- $1$-, or $2$-inductively pierced: a property that allows one to reconstruct a Venn diagram-like planar figure that acts as a geometric schematic for the neural co-firing patterns. This article examines their work closely by focusing on a variety of classes of combinatorial neural codes. In particular, we identify universal Gröbner bases of the toric ideal for these codes.
Toric Bruhat interval polytopes
Published in Journal of Combinatorial Theory, Series A Volume 179, April 2021, 105387
• View Publication
• BIB
For two elements $v$ and $w$ of the symmetric group $\mathfrak{S}_n$ with $v\leq w$ in Bruhat order, the Bruhat interval polytope $Q_{v,w}$ is the convex hull of the points $(z(1),\ldots,z(n))\in \mathbb{R}^n$ with $v\leq z\leq w$. It is known that the Bruhat interval polytope $Q_{v,w}$ is the moment map image of the Richardson variety $X^{v^{-1}}_{w^{-1}}$. We say that $Q_{v,w}$ is \emph{toric} if the corresponding Richardson variety $X_{w^{-1}}^{v^{-1}}$ is a toric variety. We show that when $Q_{v,w}$ is toric, its combinatorial type is determined by the poset structure of the Bruhat interval $[v,w]$ while this is not true unless $Q_{v,w}$ is toric. We are concerned with the problem of when $Q_{v,w}$ is (combinatorially equivalent to) a cube because $Q_{v,w}$ is a cube if and only if $X_{w^{-1}}^{v^{-1}}$ is a smooth toric variety. We show that a Bruhat interval polytope $Q_{v,w}$ is a cube if and only if $Q_{v,w}$ is toric and the Bruhat interval $[v,w]$ is a Boolean algebra. We also give several sufficient conditions on $v$ and $w$ for $Q_{v,w}$ to be a cube.
Construction Of A Rich Word Containing Given Two Factors
Published
• View Publication
• BIB
A finite word $w$ with $\vert w\vert=n$ contains at most $n+1$ distinct palindromic factors. If the bound $n+1$ is attained, the word $w$ is called \emph{rich}. Let $\Factor(w)$ be the set of factors of the word $w$. It is known that there are pairs of rich words that cannot be factors of a common rich word. However it is an open question how to decide for a given pair of rich words $u,v$ if there is a rich word $w$ such that $\{u,v\}\subseteq \Factor(w)$. We present a response to this open question:\\ If $w_1, w_2,w$ are rich words, $m=\max{\{\vert w_1\vert,\vert w_2\vert\}}$, and $\{w_1,w_2\}\subseteq \Factor(w)$ then there exists also a rich word $\bar w$ such that $\{w_1,w_2\}\subseteq \Factor(\bar w)$ and $\vert \bar w\vert\leq m2^{k(m)+2}$, where $k(m)=(q+1)m^2(4q^{10}m)^{\log_2{m}}$ and $q$ is the size of the alphabet. Hence it is enough to check all rich words of length equal or lower to $m2^{k(m)+2}$ in order to decide if there is a rich word containing factors $w_1,w_2$.
Weak generalized lifting property, Bruhat intervals and Coxeter matroids
Published
• View Publication
• BIB
We provide a weaker version of the generalized lifting property which holds in complete generality for all finite Coxeter groups, and we use it to show that every parabolic Bruhat interval of a finite Coxeter group is a Coxeter matroid. We also describe some combinatorial properties of the associated polytopes.
Graphs that are critical for the packing chromatic number
Given a graph $G$, a coloring $c:V(G)\longrightarrow \{1,\ldots,k\}$ such that $c(u)=c(v)=i$ implies that vertices $u$ and $v$ are at distance greater than $i$, is called a packing coloring of $G$. The minimum number of colors in a packing coloring of $G$ is called the packing chromatic number of $G$, and is denoted by $χ_ρ(G)$. In this paper, we propose the study of $χ_ρ$-critical graphs, which are the graphs $G$ such that for any proper subgraph $H$ of $G$, $χ_ρ(H)<χ_ρ(G)$. We characterize $χ_ρ$-critical graphs with diameter 2, and $χ_ρ$-critical block graphs with diameter 3. Furthermore, we characterize $χ_ρ$-critical graphs with small packing chromatic numbers, and we also consider $χ_ρ$-critical trees. In addition, we prove that for any graph $G$ with $e\in E(G)$, we have $(χ_ρ(G)+1)/2\le χ_ρ(G-e)\le χ_ρ(G)$, and provide a corresponding realization result, which shows that $χ_ρ(G-e)$ can achieve any of the integers between the bounds.
On the complexity of random polytopes
There are (at least) two reasons to study random polytopes. The first is to understand the combinatorics and geometry of random polytopes especially as compared to other classes of polytopes, and the second is to analyze average-case complexity for algorithms which take polytopal data as input. However, establishing results in either of these directions often requires quite technical methods. Here we seek to give an elementary introduction to random polytopes avoiding these technicalities. In particular we explore the general paradigm that polytopes obtained from the convex hull of random points on a sphere have low complexity.
Maximal independent sets and maximal matchings in series-parallel and related graph classes
Published
• View Publication
• BIB
The goal of this paper is to obtain quantitative results on the number and on the size of maximal independent sets and maximal matchings in several block-stable graph classes that satisfy a proper sub-criticality condition. In particular we cover trees, cacti graphs and series-parallel graphs. The proof methods are based on a generating function approach and a proper singularity analysis of solutions of implicit systems of functional equations in several variables. As a byproduct, this method extends previous results of Meir and Moon for trees [Meir, Moon: On maximal independent sets of nodes in trees, Journal of Graph Theory 1988].
Cohomology of moduli spaces of Del Pezzo surfaces
Published
• View Publication
• BIB
We compute the rational Betti cohomology groups of the coarse moduli spaces of geometrically marked Del Pezzo surfaces of degree three and four as representations of the Weyl groups of the corresponding root systems. The proof uses a blend of methods from point counting over finite fields and techniques from arrangement complements.
The birth of the contradictory component in random 2-SAT
We prove that, with high probability, the contradictory components of a random 2-SAT formula in the subcritical phase of the phase transition have only 3-regular kernels. This follows from the relation between these kernels and the complex component of a random graph in the subcritical phase. This partly settles the question about the structural similarity between the phase transitions in 2-SAT and random graphs. As a byproduct, we describe the technique that allows to obtain a full asymptotic expansion of the satisfiability in the subcritical phase. We also obtain the distribution of the number of contradictory variables and the structure of the spine in the subcritical phase.
Obtaining binary perfect codes out of tilings
Published
• View Publication
• BIB
A tiling of the $n$-dimensional Hamming cube gives rise to a perfect code (according to a given metric) if the basic tile is a metric ball. We are concerned with metrics on the $n$-dimensional Hamming cube which are determined by a weight which respects support of vectors (TS-metrics). We consider the known tilings of the Hamming cube and first determine which of them give rise to a perfect code. In the sequence, for those tilings that satisfy this condition, we determine all the TS-metrics that turns it into a perfect code. We also propose the construction of new perfect codes obtained by the concatenation of two smaller ones.
Extremal set theory for the binomial norm
Published
• View Publication
• BIB
Best possible bounds are established for families without s pairwise disjoint members and the more general problem for several families. The results are shown to apply several classical results.
Collapsibility of non-cover complexes of graphs
Published
• View Publication
• BIB
Given a graph $G$, the non-cover complex of $G$ is the combinatorial Alexander dual of the independence complex of $G$. Aharoni asked if the non-cover complex of a graph $G$ without isolated vertices is $(|V(G)|-i γ(G)-1)$-collapsible where $i γ(G)$ denotes the independent domination number of $G$. Extending a result by the second author, who verified Aharoni's question in the affirmative for chordal graphs, we prove that the answer to the question is yes for all graphs. Namely, we show that for a graph $G$, the non-cover complex of a graph $G$ is $(|V(G)|-i γ(G)-1)$-collapsible.
A brief introduction to approximate groups
Published in Eur. Math. Soc. Newsl. 115 (2020), 12-16
• View Publication
• BIB
We give a brief introduction to the notion of an 'approximate group' and some of its numerous applications.
On the counting problem in inverse Littlewood--Offord theory
Published
• View Publication
• BIB
Let $ε_1, \dotsc, ε_n$ be i.i.d. Rademacher random variables taking values $\pm 1$ with probability $1/2$ each. Given an integer vector $\boldsymbol{a} = (a_1, \dotsc, a_n)$, its concentration probability is the quantity $ρ(\boldsymbol{a}):=\sup_{x\in \mathbb{Z}}\Pr(ε_1 a_1+\dots+ε_n a_n = x)$. The Littlewood-Offord problem asks for bounds on $ρ(\boldsymbol{a})$ under various hypotheses on $\boldsymbol{a}$, whereas the inverse Littlewood-Offord problem, posed by Tao and Vu, asks for a characterization of all vectors $\boldsymbol{a}$ for which $ρ(\boldsymbol{a})$ is large. In this paper, we study the associated counting problem: How many integer vectors $\boldsymbol{a}$ belonging to a specified set have large $ρ(\boldsymbol{a})$? The motivation for our study is that in typical applications, the inverse Littlewood-Offord theorems are only used to obtain such counting estimates. Using a more direct approach, we obtain significantly better bounds for this problem than those obtained using the inverse Littlewood--Offord theorems of Tao and Vu and of Nguyen and Vu. Moreover, we develop a framework for deriving upper bounds on the probability of singularity of random discrete matrices that utilizes our counting result. To illustrate the methods, we present the first `exponential-type' (i.e., $\exp(-n^c)$ for some positive constant $c$) upper bounds on the singularity probability for the following two models: (i) adjacency matrices of dense signed random regular digraphs, for which the previous best known bound is $O(n^{-1/4})$ due to Cook; and (ii) dense row-regular $\{0,1\}$-matrices, for which the previous best known bound is $O_{C}(n^{-C})$ for any constant $C>0$ due to Nguyen.