Showing 20 papers (Total: 82736 papers, 47815 authors in database)
A Combinatorial Interpretation of the LDU Decomposition of Totally Positive Matrices
We study the combinatorial description of the LDU decomposition of totally positive matrices. We give a description of the lower triangular L, the diagonal D, and the upper triangular U matrices of the LDU decomposition of totally positive matrices in terms of the combinatorial structure of essential planar networks described by Zelvinsky and Fomin. Similarly, we find a combinatorial description of the inverses of these matrices. In addition, we provide recursive formulae for computing the L, D, and U matrices of a totally positive matrix.
Hirsch polytopes with exponentially long combinatorial segments
Published in Mathematical Programming, Volume 165, Issue 2 (2017), pp 663-688
• View Publication
• BIB
In their paper proving the Hirsch bound for flag normal simplicial complexes (Math. Oper.~Res.~2014) Adiprasito and Benedetti define the notion of~\emph{combinatorial segment}. The study of the maximal length of these objects provides the upper bound~$O(n2^d)$ for the diameter of any normal pure simplicial complex of dimension~$d$ with~$n$ vertices, and the Hirsch bound $n-d$ if the complexes are, moreover, flag. In the present article, we propose a formulation of combinatorial segments which is equivalent but more local, by introducing the notions of monotonicity and conservativeness of dual paths in pure simplicial complexes. We use this definition to investigate further properties of combinatorial segments. Besides recovering the two stated bounds, we show a refined bound for banner complexes, and study the behavior of the maximal length of combinatorial segments with respect to two usual operations, namely join and one-point suspension. Finally, we show the limitations of combinatorial segments by constructing pure normal simplicial complexes in which all combinatorial segments between two particular facets achieve the length $Ω(n2^{d})$. This includes vertex-decomposable---therefore Hirsch---polytopes.
Simplicial embeddings between multicurve graphs
Published
• View Publication
• BIB
We study some graphs associated to a surface, called k-multicurve graphs, which interpolate between the curve complex and the pants graph. Our main result is that, under certain conditions, simplicial embeddings between multicurve graphs are induced by $π_1$-injective embeddings of the corresponding surfaces. We also prove the rigidity of the multicurve graphs.
Upper bounds for the dimension of tori acting on GKM manifolds
Published in Journal of the Mathematical Society of Japan Vol.71, No.2 (2019), 483--513
• View Publication
• BIB
The aim of this paper is to give an upper bound for the dimension of a torus $T$ which acts on a GKM manifold $M$ effectively. In order to do that, we introduce a free abelian group of finite rank, denoted by $\mathcal{A}(Γ,α,\nabla)$, from an (abstract) $(m,n)$-type GKM graph $(Γ,α,\nabla)$. Here, an $(m,n)$-type GKM graph is the GKM graph induced from a $2m$-dimensional GKM manifold $M^{2m}$ with an effective $n$-dimensional torus $T^{n}$-action, say $(M^{2m},T^{n})$. Then it is shown that $\mathcal{A}(Γ,α,\nabla)$ has rank $\ell(> n)$ if and only if there exists an $(m,\ell)$-type GKM graph $(Γ,\widetildeα,\nabla)$ which is an extension of $(Γ,α,\nabla)$. Using this necessarily and sufficient condition, we prove that the rank of $\mathcal{A}(Γ,α,\nabla)$ for the GKM graph of $(M^{2m},T^{n})$ gives an upper bound for the dimension of a torus which can act on $M^{2m}$ effectively. As an application, we compute the rank of $\mathcal{A}(Γ,α,\nabla)$ of the complex Grassmannian of $2$-planes $G_{2}(\mathbb{C}^{n+2})$ with some effective $T^{n+1}$-action, and prove that the $T^{n+1}$-action on $G_{2}(\mathbb{C}^{n+2})$ is the maximal effective torus action.
Some combinatorial number theory problems over finite valuation rings
Published
• View Publication
• BIB
Let $\mathcal{R}$ be a finite valuation ring of order $q^r$. In this paper we generalize and improve several well-known results, which were studied over finite fields $\mathbb{F}_q$ and finite cyclic rings $\mathbb{Z}/p^r\mathbb{Z}$, in the setting of finite valuation rings.
Handle slides for delta-matroids
Published in European Journal of Combinatorics, 59 (2017) 23-33
• View Publication
• BIB
A classic exercise in the topology of surfaces is to show that, using handle slides, every disc-band surface, or 1-vertex ribbon graph, can be put in a canonical form consisting of the connected sum of orientable loops, and either non-orientable loops or pairs of interlaced orientable loops. Motivated by the principle that ribbon graph theory informs delta-matroid theory, we find the delta-matroid analogue of this surface classification. We show that, using a delta-matroid analogue of handle-slides, every binary delta-matroid in which the empty set is feasible can be written in a canonical form consisting of the direct sum of the delta-matroids of orientable loops, and either non-orientable loops or pairs of interlaced orientable loops. Our delta-matroid results are compatible with the surface results in the sense that they are their ribbon graphic delta-matroidal analogues.
Formulas for Partition $k$-Tuples with $t$-Cores
Published in J. Math. Anal. Appl. 437 (2016), no. 2, 841--852
• View Publication
• BIB
Let $A_{t,k}(n)$ denote the number of partition $k$-tuples of $n$ where each partition is $t$-core. In this paper, we establish formulas of $A_{t,k}(n)$ for some values of $t$ and $k$ by employing the method of modular forms, which extends Wang's result for $t=3$ and $k=2,3$.
On partitions with fixed number of even-indexed and odd-indexed odd parts
Published
• View Publication
• BIB
This article is an extensive study of partitions with fixed number of odd and even-indexed odd parts. We use these partitions to generalize recent results of C. Savage and A. Sills. Moreover, we derive explicit formulas for generating functions for partitions with bounds on the largest part, the number of parts and with a fixed value of BG-rank or with a fixed value of alternating sum of parts. We extend the work of C. Boulet, and as a result, obtain a four-variable generalization of Gaussian binomial coefficients. In addition we provide combinatorial interpretation of the Berkovich-Warnaar identity for Rogers-Szego polynomials.
Packing densities of layered permutations and the minimum number of monotone sequences in layered permutations
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (June 23, 2016) dmtcs:1313
• View Publication
• BIB
In this paper, we present two new results of layered permutation densities. The first one generalizes theorems from Hästö (2003) and Warren (2004) to compute the permutation packing of permutations whose layer sequence is~$(1^a,\ell_1,\ell_2,\ldots,\ell_k)$ with~$2^a-a-1\geq k$ (and similar permutations). As a second result, we prove that the minimum density of monotone sequences of length~$k+1$ in an arbitrarily large layered permutation is asymptotically~$1/k^k$. This value is compatible with a conjecture from Myers (2003) for the problem without the layered restriction (the same problem where the monotone sequences have different lengths is also studied).
On the maximum running time in graph bootstrap percolation
Published in Electronic Journal of Combinatorics 24 (2017), #P2.16 (electronic, 20 pp.)
• Search Publication
Graph bootstrap percolation is a simple cellular automaton introduced by Bollobás in 1968. Given a graph $H$ and a set $G \subseteq E(K_n)$ we initially "infect" all edges in $G$ and then, in consecutive steps, we infect every $e \in K_n$ that completes a new infected copy of $H$ in $K_n$. We say that $G$ percolates if eventually every edge in $K_n$ is infected. The extremal question about the size of the smallest percolating sets when $H = K_r$ was answered independently by Alon, Kalai and Frankl. Here we consider a different question raised more recently by Bollobás: what is the maximum time the process can run before it stabilizes? It is an easy observation that for $r=3$ this maximum is $\lceil \log_2 (n-1) \rceil $. However, a new phenomenon occurs for $r=4$ when, as we show, the maximum time of the process is $n-3$. For $r \geq 5$ the behaviour of the dynamics is even more complex, which we demonstrate by showing that the $K_r$-bootstrap process can run for at least $n^{2-\varepsilon_r}$ time steps for some $\varepsilon_r$ that tends to $0$ as $r \to \infty$.
Induced minors and well-quasi-ordering
A graph $H$ is an induced minor of a graph $G$ if it can be obtained from an induced subgraph of $G$ by contracting edges. Otherwise, $G$ is said to be $H$-induced minor-free. Robin Thomas showed that $K_4$-induced minor-free graphs are well-quasi-ordered by induced minors [Graphs without $K_4$ and well-quasi-ordering, Journal of Combinatorial Theory, Series B, 38(3):240 -- 247, 1985].
We provide a dichotomy theorem for $H$-induced minor-free graphs and show that the class of $H$-induced minor-free graphs is well-quasi-ordered by the induced minor relation if and only if $H$ is an induced minor of the gem (the path on 4 vertices plus a dominating vertex) or of the graph obtained by adding a vertex of degree 2 to the complete graph on 4 vertices. To this end we proved two decomposition theorems which are of independent interest.
Similar dichotomy results were previously given for subgraphs by Guoli Ding in [Subgraphs and well-quasi-ordering, Journal of Graph Theory, 16(5):489--502, 1992] and for induced subgraphs by Peter Damaschke in [Induced subgraphs and well-quasi-ordering, Journal of Graph Theory, 14(4):427--435, 1990].
$L_p$ regular sparse hypergraphs
Published in Fundamenta Mathematicae 240 (2018), 265-299
• View Publication
• BIB
We study sparse hypergraphs which satisfy a mild pseudorandomness condition known as $L_p$ regularity. We prove appropriate regularity and counting lemmas, and we extend the relative removal lemma of Tao in this setting. This answers a question of Borgs, Chayes, Cohn and Zhao.
$L_p$ regular sparse hypergraphs: box norms
Published in Fundamenta Mathematicae 248 (2020), 49-77
• View Publication
• BIB
We consider some variants of the Gowers box norms, introduced by Hatami, and show their relevance in the context of sparse hypergraphs. Our main results are the following. Firstly, we prove a generalized von Neumann theorem for $L_p$ graphons. Secondly, we give natural examples of pseudorandom families, that is, sparse weighted uniform hypergraphs which satisfy relative versions of the counting and removal lemmas.
Finding Golden Nuggets by Reduction
We introduce a class of normal play partizan games, called Complementary Subtraction. Let $A$ denote your favorite set of positive integers. This is Left's subtraction set, whereas Right subtracts numbers not in $A$. The Golden Nugget Subtraction Game has the $A$ and $B$ sequences, from Wythoff's game, as the two complementary subtraction sets. As a function of the heap size, the maximum size of the canonical forms grows quickly. However, the value of the heap is either a number or, in reduced canonical form, a switch. We find the switches by using properties of the Fibonacci word and standard Fibonacci representations of integers. Moreover, these switches are invariant under shifts by certain Fibonacci numbers. The values that are numbers, however, are distinct, and we find a polynomial time bit characterization for them, via the ternary Fibonacci representation.
On problems of Danzer and Gowers and dynamics on the space of closed subsets of $\mathbb{R}^d$
Published
• View Publication
• BIB
Considering the space of closed subsets of $\mathbb{R}^d$, endowed with the Chabauty-Fell topology, and the affine action of $SL_d(\mathbb{R})\ltimes\mathbb{R}^d$, we prove that the only minimal subsystems are the fixed points $\{\varnothing\}$ and $\{\mathbb{R}^d\}$. As a consequence we resolve a question of Gowers concerning the existence of certain Danzer sets: there is no set $Y \subset \mathbb{R}^d$ such that for every convex set $\mathcal{C} \subset \mathbb{R}^d$ of volume one, the cardinality of $\mathcal{C} \cap Y$ is bounded above and below by nonzero contants independent of $\mathcal{C}$. We also provide a short independent proof of this fact and deduce a quantitative consequence: for every $\varepsilon$-net $N$ for convex sets in $[0,1]^d$ there is a convex set of volume $\varepsilon$ containing at least $Ω(\log\log(1/\varepsilon))$ points of $N$.
Spectral bounds for the $k$-independence number of a graph
Published
• View Publication
• BIB
In this paper, we obtain two spectral upper bounds for the $k$-independence number of a graph which is is the maximum size of a set of vertices at pairwise distance greater than $k$. We construct graphs that attain equality for our first bound and show that our second bound compares favorably to previous bounds on the $k$-independence number.
Descent c-Wilf Equivalence
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (March 2, 2017) dmtcs:1312
• View Publication
• BIB
Let $S_n$ denote the symmetric group. For any $σ\in S_n$, we let $\mathrm{des}(σ)$ denote the number of descents of $σ$, $\mathrm{inv}(σ)$ denote the number of inversions of $σ$, and $\mathrm{LRmin}(σ)$ denote the number of left-to-right minima of $σ$. For any sequence of statistics $\mathrm{stat}_1, \ldots \mathrm{stat}_k$ on permutations, we say two permutations $α$ and $β$ in $S_j$ are $(\mathrm{stat}_1, \ldots \mathrm{stat}_k)$-c-Wilf equivalent if the generating function of $\prod_{i=1}^k x_i^{\mathrm{stat}_i}$ over all permutations which have no consecutive occurrences of $α$ equals the generating function of $\prod_{i=1}^k x_i^{\mathrm{stat}_i}$ over all permutations which have no consecutive occurrences of $β$. We give many examples of pairs of permutations $α$ and $β$ in $S_j$ which are $\mathrm{des}$-c-Wilf equivalent, $(\mathrm{des},\mathrm{inv})$-c-Wilf equivalent, and $(\mathrm{des},\mathrm{inv},\mathrm{LRmin})$-c-Wilf equivalent. For example, we will show that if $α$ and $β$ are minimally overlapping permutations in $S_j$ which start with 1 and end with the same element and $\mathrm{des}(α) = \mathrm{des}(β)$ and $\mathrm{inv}(α) = \mathrm{inv}(β)$, then $α$ and $β$ are $(\mathrm{des},\mathrm{inv})$-c-Wilf equivalent.
On Generalized Hadamard Matrices and Difference Matrices: $Z_6$
We give some very interesting matrices which are orthogonal over groups and, as far as we know, referenced, but in fact undocumented. This note is not intended to be published but available for archival reasons.
Forbidden Subgraph Characterization of Quasi-line Graphs
Here in particular, we give a characterization of Quasi-line Graphs in terms of forbidden induced subgraphs. In general, we prove a necessary and sufficient condition for a graph to be a union of two cliques.
On Computing the Galois Lattice of Bipartite Distance Hereditary Graphs
Published
• View Publication
• BIB
The class of Bipartite Distance Hereditary (BDH) graphs is the intersection between bipartite domino-free and chordal bipartite graphs.\ Graphs in both the latter classes have linearly many maximal bicliques, implying the existence of polynomial-time algorithms for computing the associated Galois lattice.\ Such a lattice can indeed be built in $O(m\times n)$ worst case-time for a domino-free graph with $m$ edges and $n$ vertices.\ In this paper we give a sharp estimate on the number of the maximal bicliques of BDH graphs and exploit such result to give an $O(m)$ worst case time algorithm for computing the Galois lattice of BDH graphs. By relying on the fact that neighborhoods of vertices of BDH graphs can be realized as directed paths in a arborescence, we give an $O(n)$ worst-case space and time encoding of both the input graph and its Galois lattice, provided that the reverse of a Bandelt and Mulder building sequence is given.