Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Arrangements Of Minors In The Positive Grassmannian And a Triangulation of The Hypersimplex
Published
• View Publication
• BIB
The structure of zero and nonzero minors in the Grassmannian leads to rich combinatorics of matroids. In this paper, we investigate an even richer structure of possible equalities and inequalities between the minors in the positive Grassmannian. It was previously shown that arrangements of equal minors of largest value are in bijection with the simplices in a certain triangulation of the hypersimplex that was studied by Stanley, Sturmfels, Lam and Postnikov. Here we investigate the entire set of arrangements and its relations with this triangulation. First, we show that second largest minors correspond to the facets of the simplices. We then introduce the notion of cubical distance on the dual graph of the triangulation, and study its relations with the arrangement of t-th largest minors. Finally, we show that arrangements of largest minors induce a structure of partially ordered sets on the entire collection of minors. We use the Lam and Postnikov circuit triangulation of the hypersimplex to describe a 2-dimensional grid structure of this poset.
Nested Recurrence Relations With Conolly-Like Solutions
Published in SIAM J. Discrete Mathematics, 26 2012, pp. 206-238 (33 pages)
• View Publication
• BIB
A nondecreasing sequence of positive integers is $(α,β)$-Conolly, or Conolly-like for short, if for every positive integer $m$ the number of times that $m$ occurs in the sequence is $α+ βr_m$, where $r_m$ is $1$ plus the 2-adic valuation of $m$. A recurrence relation is $(α, β)$-Conolly if it has an $(α, β)$-Conolly solution sequence. We discover that Conolly-like sequences often appear as solutions to nested (or meta-Fibonacci) recurrence relations of the form $A(n) = \sum_{i=1}^k A(n-s_i-\sum_{j=1}^{p_i} A(n-a_{ij}))$ with appropriate initial conditions. For any fixed integers $k$ and $p_1,p_2,\ldots, p_k$ we prove that there are only finitely many pairs $(α, β)$ for which $A(n)$ can be $(α, β)$-Conolly. For the case where $α=0$ and $β=1$, we provide a bijective proof using labelled infinite trees to show that, in addition to the original Conolly recurrence, the recurrence $H(n)=H(n-H(n-2)) + H(n-3-H(n-5))$ also has the Conolly sequence as a solution. When $k=2$ and $p_1=p_2$, we construct an example of an $(α,β)$-Conolly recursion for every possible ($α,β)$ pair, thereby providing the first examples of nested recursions with $p_i>1$ whose solutions are completely understood. Finally, in the case where $k=2$ and $p_1=p_2$, we provide an if and only if condition for a given nested recurrence $A(n)$ to be $(α,0)$-Conolly by proving a very general ceiling function identity.
Containment Problems for Projections of Polyhedra and Spectrahedra
Spectrahedra are affine sections of the cone of positive semidefinite matrices which form a rich class of convex bodies that properly contains that of polyhedra. While the class of polyhedra is closed under linear projections, the class of spectrahedra is not. In this paper we investigate the problem of deciding containment of projections of polyhedra and spectrahedra based on previous works on containment of spectrahedra. The main concern is to study these containment problems by formulating them as polynomial nonnegativity problems. This allows to state hierarchies of (sufficient) semidefinite conditions by applying (and proving) sophisticated Positivstellensätze. We also extend results on a solitary sufficient condition for containment of spectrahedra coming from the polyhedral situation as well as connections to the theory of (completely) positive linear maps.
The Steiner diameter of a graph
The Steiner distance of a graph, introduced by Chartrand, Oellermann, Tian and Zou in 1989, is a natural generalization of the concept of classical graph distance. For a connected graph $G$ of order at least $2$ and $S\subseteq V(G)$, the \emph{Steiner distance} $d(S)$ among the vertices of $S$ is the minimum size among all connected subgraphs whose vertex sets contain $S$. Let $n,k$ be two integers with $2\leq k\leq n$. Then the \emph{Steiner $k$-eccentricity $e_k(v)$} of a vertex $v$ of $G$ is defined by $e_k(v)=\max \{d(S)\,|\,S\subseteq V(G), \ |S|=k, \ and \ v\in S \}$. Furthermore, the \emph{Steiner $k$-diameter} of $G$ is $sdiam_k(G)=\max \{e_k(v)\,|\, v\in V(G)\}$. In 2011, Chartrand, Okamoto and Zhang showed that $k-1\leq sdiam_k(G)\leq n-1$. In this paper, graphs with $sdiam_3(G)=2,3,n-1$ are characterized, respectively. We also consider the Nordhaus-Gaddum-type results for the parameter $sdiam_k(G)$. We determine sharp upper and lower bounds of $sdiam_k(G)+sdiam_k(\overline{G})$ and $sdiam_k(G)\cdot sdiam_k(\overline{G})$ for a graph $G$ of order $n$. Some graph classes attaining these bounds are also given.
Dimensionally Exponential Lower Bounds on the $L^p$ Norms of the Spherical Maximal Operator for Cartesian Powers of Finite Trees and Related Graphs
Let $T$ be a finite tree graph, $T^N$ be the Cartesian power graph of $T$, and $d^N$ be the graph distance metric on $T^N$. Also let \[ \mathbb S_r^N(x) := \{v \in T^N: d^N(x,v) = r\} \] be the sphere of radius $r$ centered at $x$ and $M$ be the spherical maximal averaging operator on $T^N$ given by \[ Mf(x) := \sup_{\substack{r \geq 0 \\ \mathbb S_r^N(x) \neq \emptyset}} \frac{1}{|\mathbb S_r^N(x)|} |\sum_{\mathbb S_r^N(x)} f(y)|. \] We will show that for any fixed $1 \leq p \leq \infty$, the $L^p$ operator norm of $M$, i.e. \[ \|M\|_p := \sup_{\|f\|_p = 1} \|Mf\|_p, \] grows exponentially in the dimension $N$. In particular, if $r$ is the probability that a random vertex of $T$ is a leaf, then $\|M\|_p \geq r^{-N/p}$, although this is not a sharp bound.
This exponential growth phenomenon extends to a class of graphs strictly larger than trees, which we will call \emph{global antipode graphs}. This growth result stands in contrast to the work of Greenblatt, Harrow, Kolla, Krause, and Schulman that proved that the spherical maximal $L^p$ bounds (for $p > 1$) are dimension-independent for finite cliques.
Fractional Zero Forcing via Three-color Forcing Games
Published
• View Publication
• BIB
An $r$-fold analogue of the positive semidefinite zero forcing process that is carried out on the $r$-blowup of a graph is introduced and used to define the fractional positive semidefinite forcing number. Properties of the graph blowup when colored with a fractional positive semidefinite forcing set are examined and used to define a three-color forcing game that directly computes the fractional positive semidefinite forcing number of a graph. We develop a fractional parameter based on the standard zero forcing process and it is shown that this parameter is exactly the skew zero forcing number with a three-color approach. This approach and an algorithm are used to characterize graphs whose skew zero forcing number equals zero.
Hyperplane mass partitions via relative equivariant obstruction theory
Published in Documenta Mathematica 21 (2016), 735-771
• Search Publication
The Grünbaum-Hadwiger-Ramos hyperplane mass partition problem was introduced by Grünbaum (1960) in a special case and in general form by Ramos (1996). It asks for the "admissible" triples $(d,j,k)$ such that for any $j$ masses in $\mathbb{R}^d$ there are $k$ hyperplanes that cut each of the masses into $2^k$ equal parts. Ramos' conjecture is that the Avis-Ramos necessary lower bound condition $dk\ge j(2^k-1)$ is also sufficient.
We develop a "join scheme" for this problem, such that non-existence of an $G_k$-equivariant map between spheres $(S^d)^{*k} \rightarrow S(W_k\oplus U_k^{\oplus j})$ that extends a test map on the subspace of $(S^d)^{*k}$ where the hyperoctahedral group $G_k$ acts non-freely, implies that $(d,j,k)$ is admissible.
For the sphere $(S^d)^{*k}$ we obtain a very efficient regular cell decomposition, whose cells get a combinatorial interpretation with respect to measures on a modified moment curve. This allows us to apply relative equivariant obstruction theory successfully, even in the case when the difference of dimensions of the spheres $(S^d)^{*k}$ and $S(W_k\oplus U_k^{\oplus j})$ is greater than one. The evaluation of obstruction classes leads to counting problems for concatenated Gray codes.
Thus we give a rigorous, unified treatment of the previously announced cases of the Grünbaum-Hadwiger-Ramos problem, as well as a number of new cases for Ramos' conjecture.
Geometric Bijections Between Spanning Trees and Break Divisors
Published
• View Publication
• BIB
The Jacobian group ${\rm Jac}(G)$ of a finite graph $G$ is a group whose cardinality is the number of spanning trees of $G$. $G$ also has a tropical Jacobian which has the structure of a real torus; using the notion of break divisors, An et al. obtained a polyhedral decomposition of the tropical Jacobian where vertices and cells correspond to elements of ${\rm Jac}(G)$ and spanning trees of $G$, respectively. We give a combinatorial description of bijections coming from this geometric setting. This provides a new geometric method for constructing bijections in combinatorics. We introduce a special class of geometric bijections that we call edge ordering maps, which have good algorithmic properties. Finally, we study the connection between our geometric bijections and the class of bijections introduced by Bernardi; in particular we prove a conjecture of Baker that planar Bernardi bijections are "geometric". We also give sharpened versions of results by Baker and Wang on Bernardi torsors.
De Bruijn entropy and string similarity
We introduce the notion of de Bruijn entropy of an Eulerian quiver and show how the corresponding relative entropy can be applied to practical string similarity problems. This approach explicitly links the combinatorial and information-theoretical properties of words and its performance is superior to edit distances in many respects and competitive in most others. The computational complexity of our current implementation is parametrically tunable between linear and cubic, and we outline how an optimized linear algebra subroutine can reduce the cubic complexity to approximately linear. Numerous examples are provided, including a realistic application to molecular phylogenetics.
Towards extending the Ahlswede-Khachatrian theorem to cross t-intersecting families
Published
• View Publication
• BIB
Ahlswede and Khachatrian's diametric theorem is a weighted version of their complete intersection theorem, itself an extension of the $t$-intersecting Erdős-Ko-Rado theorem. Their intersection theorem says that the maximum size of a family of subsets of $[n] = \{1, \dots, n\}$, every pair of which intersects in at least $t$ elements, is the size of certain trivially intersecting families proposed by Frankl. We address a cross intersecting version of their diametric theorem.
Two families $\mathcal{A}$ and $\mathcal{B}$ of subsets of $[n]$ are {\em cross $t$-intersecting} if for every $A \in \mathcal{A}$ and $B \in \mathcal{B}$, $A$ and $B$ intersect in at least $t$ elements. The $p$-weight of a $k$ element subset $A$ of $[n]$ is $p^{k}(1-p)^{n-k}$, and the weight of a family $\mathcal{A}$ is the sum of the weights of its sets. The weight of a pair of families is the product of the weights of the families.
The maximum $p$-weight of a $t$-intersecting family depends on the value of $p$. Ahlswede and Khachatrian showed that for $p$ in the range $[\frac{r}{t + 2r - 1}, \frac{r+1}{t + 2r + 1}]$, the maximum $p$-weight of a $t$-intersecting family is that of the family $\mathcal{F}^t_r$ consisting of all subsets of $[n]$ containing at least $t+r$ elements of the set $[t+2r]$.
In a previous paper we showed a cross $t$-intersecting version of this for large $t$ in the case that $r = 0$. In this paper, we do the same in the case that $r = 1$. We show that for $p$ in the range $[\frac{1}{t + 1}, \frac{2}{t + 3}]$ the maximum $p$-weight of a cross $t$-intersecting pair of families, for $t \geq 200$, is achieved when both families are $\mathcal{F}^t_1$. Further, we show that except at the endpoints of this range, this is, up to isomorphism, the only pair of $t$-intersecting families achieving this weight.
Mixed Ehrhart polynomials
Published
• View Publication
• BIB
For lattice polytopes $P_1,\ldots, P_k \subseteq \mathbb{R}^d$, Bihan (2014) introduced the discrete mixed volume $\mathrm{DMV}(P_1,\dots,P_k)$ in analogy to the classical mixed volume. In this note we initiate the study of the associated mixed Ehrhart polynomial $\mathrm{ME}_{P_1,\dots,P_k}(n) = \mathrm{DMV}(nP_1,\dots,nP_k)$. We study properties of this polynomial and we give interpretations for some of its coefficients in terms of (discrete) mixed volumes. Bihan (2014) showed that the discrete mixed volume is always non-negative. Our investigations yield simpler proofs for certain special cases. We also introduce and study the associated mixed $h^*$-vector. We show that for large enough dilates $r P_1, \ldots, rP_k$ the corresponding mixed $h^*$-polynomial has only real roots and as a consequence the mixed $h^*$-vector becomes non-negative.
Tropical curves in sandpiles
Published in Comptes Rendus Mathematique, Volume 354, Issue 2, 1 February 2016, Pages 125-130
• View Publication
• BIB
We study a sandpile model on the set of the lattice points in a large lattice polygon. A small perturbation $ψ$ of the maximal stable state $μ\equiv 3$ is obtained by adding extra grains at several points. It appears, that the result $ψ^\circ$ of the relaxation of $ψ$ coincides with $μ$ almost everywhere; the set where $ψ^\circ\ne μ$ is called the deviation locus. The scaling limit of the deviation locus turns out to be a distinguished tropical curve passing through the perturbation points.
Nous considérons le modèle du tas de sable sur l'ensemble des points entiers d'un polygone entier. En ajoutant des grains de sable en certains points, on obtient une perturbation mineure de la configuration stable maximale $μ\equiv 3$. Le résultat $ψ^\circ$ de la relaxation est presque partout égal à $μ$. On appelle lieu de déviation l'ensemble des points où $ψ^\circ\ne μ$. La limite au sens de la distance de Hausdorff du lieu de déviation est une courbe tropicale spéciale, qui passe par les points de perturbation.
When the sieve works II
For a set of primes $\mathcal{P}$, let $Ψ(x, \mathcal{P})$ be the number of positive integers $n \leq x$ all of whose prime factors lie in $\mathcal{P}$. In this paper we classify the sets of primes $\mathcal{P}$ such that $Ψ(x, \mathcal{P})$ is within a constant factor of its expected value. This task was recently initiated by Granville, Koukoulopoulos and Matomäki and their main conjecture is proved in this paper. In particular our main theorem implies that, if not too many large primes are sieved out in the sense that \[ \sum_{\substack{p \in \mathcal{P} \\ x^{1/v} < p \leq x^{1/u}}} \frac{1}{p} \geq \frac{1 + \varepsilon}{u}, \] for some $\varepsilon > 0$ and $v \geq u \geq 1$, then \[ Ψ(x, \mathcal{P}) \gg_{\varepsilon, v} x \prod_{\substack{p \leq x\\ p \notin\mathcal{P}}} \left(1 - \frac{1}{p}\right). \]
On the size of planarly connected crossing graphs
Published
• View Publication
• BIB
We prove that if an $n$-vertex graph $G$ can be drawn in the plane such that each pair of crossing edges is independent and there is a crossing-free edge that connects their endpoints, then $G$ has $O(n)$ edges. Graphs that admit such drawings are related to quasi-planar graphs and to maximal $1$-planar and fan-planar graphs.
Zero-divisor graphs of lower dismantlable lattices-I
Published
• View Publication
• BIB
In this paper, we study the zero-divisor graphs of a subclass of dismantlable lattices. These graphs are characterized in terms of the non-ancestor graphs of rooted trees.
Edge-enhancing Filters with Negative Weights
Published in 2015 IEEE Global Conference on Signal and Information Processing (GlobalSIP), Orlando, FL, 14-16 Dec.2015, pp. 260 - 264
• View Publication
• BIB
In [DOI:10.1109/ICMEW.2014.6890711], a graph-based denoising is performed by projecting the noisy image to a lower dimensional Krylov subspace of the graph Laplacian, constructed using nonnegative weights determined by distances between image data corresponding to image pixels. We~extend the construction of the graph Laplacian to the case, where some graph weights can be negative. Removing the positivity constraint provides a more accurate inference of a graph model behind the data, and thus can improve quality of filters for graph-based signal processing, e.g., denoising, compared to the standard construction, without affecting the costs.
Filtrations on Springer fiber cohomology and Kostka polynomials
Published
• View Publication
• BIB
We prove a conjecture which expresses the bigraded Poisson-de Rham homology of the nilpotent cone of a semisimple Lie algebra in terms of the generalized (one-variable) Kostka polynomials, via a formula suggested by Lusztig. This allows us to construct a canonical family of filtrations on the flag variety cohomology, and hence on irreducible representations of the Weyl group, whose Hilbert series are given by the generalized Kostka polynomials. We deduce consequences for the cohomology of all Springer fibers. In particular, this computes the grading on the zeroth Poisson homology of all classical finite W-algebras, as well as the filtration on the zeroth Hochschild homology of all quantum finite W-algebras, and we generalize to all homology degrees. As a consequence, we deduce a conjecture of Proudfoot on symplectic duality, relating in type A the Poisson homology of Slodowy slices to the intersection cohomology of nilpotent orbit closures. In the last section, we give an analogue of our main theorem in the setting of mirabolic D-modules.
The Prism tableau model for Schubert polynomials
Published in J. Combin. Theory Ser. A 154 (2018), 551-582
• View Publication
• BIB
The Schubert polynomials lift the Schur basis of symmetric polynomials into a basis for Z[x1,x2,...]. We suggest the "prism tableau model" for these polynomials. A novel aspect of this alternative to earlier results is that it directly invokes semistandard tableaux; it does so as part of a colored tableau amalgam. In the Grassmannian case, a prism tableau with colors ignored is a semistandard Young tableau. Our arguments are developed from the Groebner geometry of matrix Schubert varieties.
Exact minimum codegree threshold for $K^- _4$-factors
Published
• View Publication
• BIB
Given hypergraphs $F$ and $H$, an $F$-factor in $H$ is a set of vertex-disjoint copies of $F$ which cover all the vertices in $H$. Let $K^- _4$ denote the $3$-uniform hypergraph with $4$ vertices and $3$ edges. We show that for sufficiently large $n\in 4 \mathbb N$, every $3$-uniform hypergraph $H$ on $n$ vertices with minimum codegree at least $n/2-1$ contains a $K^- _4$-factor. Our bound on the minimum codegree here is best-possible. It resolves a conjecture of Lo and Markström for large hypergraphs, who earlier proved an asymptotically exact version of this result. Our proof makes use of the absorbing method as well as a result of Keevash and Mycroft concerning almost perfect matchings in hypergraphs.
New examples of period collapse
"Period collapse" refers to any situation where the period of the Ehrhart function of a polytope is less than the denominator of that polytope. We study several interesting situations where this occurs, primarily involving triangles. For example: 1) we determine exactly when the Ehrhart function of a right triangle with legs on the axes and slant edge with irrational slope is a polynomial; 2) we find triangles with periods given by any even-index k-Fibonacci number, and larger denominators; 3) we construct several higher dimensional examples. Several related issues are also discussed, including connections with symplectic geometry.