Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Sorting networks, staircase Young tableaux and last passage percolation
Published in Séminaire Lotharingien de Combinatoire 84B - Proceedings of the 32nd International Conference on "Formal Power Series and Algebraic Combinatorics", 2020
• Search Publication
We present new combinatorial and probabilistic identities relating three random processes: the oriented swap process on $n$ particles, the corner growth process, and the last passage percolation model. We prove one of the probabilistic identities, relating a random vector of last passage percolation times to its dual, using the duality between the Robinson-Schensted-Knuth and Burge correspondences. A second probabilistic identity, relating those two vectors to a vector of "last swap times" in the oriented swap process, is conjectural. We give a computer-assisted proof of this identity for $n\le 6$ after first reformulating it as a purely combinatorial identity, and discuss its relation to the Edelman-Greene correspondence.
Matrix Invariants of Finite Metric Spaces
Finite metric spaces are characterized by a polyhedral cone defined in terms of the positivity of the distance functions and the triangle inequalities. Their classification is based on the decomposition of an associated polyhedral cone, called the "metric fan". The complete classification of $n$-point metric spaces is available only for $n\le 6$. As the number of classes increases rapidly with the number of elements, it is desirable to have coarser equivalence class decompositions based on certain invariants of finite metric spaces. If $(X,d)$ is a finite metric space with elements $P_i$ and with distance functions $d_{ij}$, the Gromov product at $P_i$ is defined as $Δ_{ijk}=1/2(d_{ij}+d_{ik}-d_{jk})$. Assuming that the set of Gromov product at $P_i$ has a unique smallest element $Δ_{ijk}$, the association of the edge $P_jP_k$ to $P_i$ defines the "Gromov product structure". The "pendant-free" reduction of the finite metric space is the graph obtained by removing the edges $P_jP_k$ corresponding to the minimal Gromov products $Δ_{ijk}$ at $P_i$. In the present work, we define a matrix representation for a Gromov product structure $S$ on an $n$-point metric space, by $n\times n$ matrix $G_S$. We prove that if two metric spaces have Gromov product structures that can be mapped to each other by a permutation of the indices, then their matrices are similar via the corresponding permutation matrix. Matrix invariants of $G_S$ are used to define subclasses of Gromov product structures and their application to $n=5$ and $n=6$-point spaces are given.
Spectral theory of products of digraphs
Published
• View Publication
• BIB
A unified approach to the determination of eigenvalues and eigenvectors of specific matrices associated with directed graphs is presented. Matrices studied include the distance matrix, distance Laplacian, and distance signless Laplacian, in addition to the adjacency matrix, Laplacian, and signless Laplacian. Various sums of Kronecker products of nonnegative matrices are introduced to model the Cartesian and lexicographic products of digraphs. The Jordan canonical form is applied extensively to the analysis of spectra and eigenvectors. The analysis shows that Cartesian products provide a method for building infinite families of transmission regular digraphs with few distinct distance eigenvalues.
Constraints on Brouwer's Laplacian Spectrum Conjecture
Published
• View Publication
• BIB
Brouwer's Conjecture states that, for any graph $G$, the sum of the $k$ largest (combinatorial) Laplacian eigenvalues of $G$ is at most $|E(G)| + \binom{k+1}{2}$, $1 \leq k \leq n$. We present several interrelated results establishing Brouwer's conjecture $\text{BC}_k(G)$ for a wide range of graphs $G$ and parameters $k$. In particular, we show that (1) $\text{BC}_k(G)$ is true for low-arboricity graphs, and in particular for planar $G$ when $k \geq 11$; (2) $\text{BC}_k(G)$ is true whenever the variance of the degree sequence is not very high, generalizing previous results for $G$ regular or random; (3) $\text{BC}_k(G)$ is true if $G$ belongs to a hereditarily spectrally-bounded class and $k$ is sufficiently large as a function of $k$, in particular $k \geq \sqrt{32n}$ for bipartite graphs; (4) $\text{BC}_k(G)$ holds unless $G$ has edge-edit distance $< k \sqrt{2n} = O(n^{3/2})$ from a split graph; (5) no $G$ violates the conjectured upper bound by more than $O(n^{5/4})$, and bipartite $G$ by no more than $O(n)$; and (6) $\text{BC}_k(G)$ holds for all $k$ outside an interval of length $O(n^{3/4})$. Furthermore, we present a surprising negative result: asymptotically almost surely, a uniform random signed complete graph violates the conjectured bound by $Ω(n)$.
Finding linearly generated subsequences
Published
• View Publication
• BIB
We develop a new algorithm to compute determinants of all possible Hankel matrices made up from a given finite length sequence over a finite field. Our algorithm fits within the dynamic programming paradigm by exploiting new recursive relations on the determinants of Hankel matrices together with new observations concerning the distribution of zero determinants among the possible matrix sizes allowed by the length of the original sequence. The algorithm can be used to isolate \emph{very} efficiently linear shift feedback registers hidden in strings with random prefix and random postfix for instance and, therefore, recovering the shortest generating vector. Our new mathematical identities can be used also in any other situations involving determinants of Hankel matrices. We also implement a parallel version of our algorithm. We compare our results empirically with the trivial algorithm which consists of computing determinants for each possible Hankel matrices made up from a given finite length sequence. Our new accelerated approach on a single processor is faster than the trivial algorithm on 160 processors for input sequences of length 16384 for instance.
Higher discrete homotopy groups of graphs
Published
• View Publication
• BIB
This paper studies a discrete homotopy theory for graphs introduced by Barcelo et al. We prove two main results. First we show that if $G$ is a graph containing no 3- or 4-cycles, then the $n$th discrete homotopy group $A_n(G)$ is trivial for all $n\geq 2$. Second we exhibit for each $n\geq 1$ a natural homomorphism $ψ:A_n(G)\to \mathcal{H}_n(G)$, where $\mathcal{H}_n(G)$ is the $n$th discrete cubical singular homology group, and an infinite family of graphs $G$ for which $\mathcal{H}_n(G)$ is nontrivial and $ψ$ is surjective. It follows that for each $n\geq 1$ there are graphs $G$ for which $A_n(G)$ is nontrivial.
Spectral Threshold for Extremal Cyclic Edge-Connectivity
Published
• View Publication
• BIB
The cyclic edge-connectivity of a graph $G$ is the least $k$ such that there exists a set of $k$ edges whose removal disconnects $G$ into components where every component contains a cycle. We show that for graphs of minimum degree at least 3 and girth $g$ at least 4, the cyclic edge-connectivity is bounded above by $(Δ-2)g$ where $Δ$ is the maximum degree. We then prove that if the second eigenvalue of the adjacency matrix of a $d$-regular graph of girth $g\geq4$ is sufficiently small, then the cyclic edge-connectivity is $(d-2)g$, providing a spectral condition for when this upper bound on cyclic edge-connectivity is tight.
Optimal matroid bases with intersection constraints: Valuated matroids, M-convex functions, and their applications
Published
• View Publication
• BIB
For two matroids $M_1$ and $M_2$ with the same ground set $V$ and two cost functions $w_1$ and $w_2$ on $2^V$, we consider the problem of finding bases $X_1$ of $M_1$ and $X_2$ of $M_2$ minimizing $w_1(X_1)+w_2(X_2)$ subject to a certain cardinality constraint on their intersection $X_1 \cap X_2$. For this problem, Lendl, Peis, and Timmermans (2019) discussed modular cost functions: they reduced the problem to weighted matroid intersection for the case where the cardinality constraint is $|X_1 \cap X_2|\le k$ or $|X_1 \cap X_2|\ge k$; and designed a new primal-dual algorithm for the case where the constraint is $|X_1 \cap X_2|=k$.
The aim of this paper is to generalize the problems to have nonlinear convex cost functions, and to comprehend them from the viewpoint of discrete convex analysis. We prove that each generalized problem can be solved via valuated independent assignment, valuated matroid intersection, or $\mathrm{M}$-convex submodular flow, to offer a comprehensive understanding of weighted matroid intersection with intersection constraints. We also show the NP-hardness of some variants of these problems, which clarifies the coverage of discrete convex analysis for those problems. Finally, we present applications of our generalized problems in the recoverable robust matroid basis problem, combinatorial optimization problems with interaction costs, and matroid congestion games.
Disconnected Character graphs and odd Dominating sets
Published
• View Publication
• BIB
Suppose $Γ$ is a finite simple graph. If $D$ is a dominating set of $Γ$ such that each $x\in D$ is contained in the set of vertices of an odd cycle of $Γ$, then we say that $D$ is an odd dominating set for $Γ$. For a finite group $G$, let $Δ(G)$ denote the character graph built on the set of degrees of the irreducible complex characters of $G$. In this paper, we show that the complement of $Δ(G)$ contains an odd dominating set, if and only if $Δ(G)$ is a disconnected graph with non-bipartite complement.
On zero-sum free sequences contained in random subsets of finite cyclic groups
Published in Discrete Appl. Math. 330 (2023), 118 - 127
• View Publication
• BIB
Let $C_n$ be a cyclic group of order $n$. A sequence $S$ of length $\ell$ over $C_n$ is a sequence $S = a_1\boldsymbol\cdot a_2\boldsymbol\cdot \ldots\boldsymbol\cdot a_{\ell}$ of $\ell$ elements in $C_n$, where a repetition of elements is allowed and their order is disregarded. We say that $S$ is a zero-sum sequence if $Σ_{i=1}^{\ell} a_i = 0$ and that $S$ is a zero-sum free sequence if $S$ contains no zero-sum subsequence.
Let $R$ be a random subset of $C_n$ obtained by choosing each element in $C_n$ independently with probability $p$. Let $N^R_{n-1-k}$ be the number of zero-sum free sequences of length $n-1-k$ in $R$. Also, let $N^R_{n-1-k,d}$ be the number of zero-sum free sequences of length $n-1-k$ having $d$ distinct elements in $R$. We obtain the expectation of $N^R_{n-1-k}$ and $N^R_{n-1-k,d}$ for $0\leq k\leq \big\lfloor \frac{n}{3} \big\rfloor$. We also show a concentration result on $N^R_{n-1-k}$ and $N^R_{n-1-k,d}$ when $k$ is fixed.
A tree-of-tangles theorem for infinite tangles
Published
• View Publication
• BIB
Carmesin has extended Robertson and Seymour's tree-of-tangles theorem to the infinite tangles of locally finite infinite graphs. We extend it further to the infinite tangles of all infinite graphs.
Our result has a number of applications for the topology of infinite graphs, such as their end spaces and their compactifications.
Sorting Cayley permutations with pattern-avoiding machines
Pattern avoiding machines were recently introduced by Claesson, Ferrari and the current author to gain a better understanding of the classical $2$-stacksort problem. In this paper we generalize these devices by allowing permutations with repeated elements, also known as Cayley permutations. The main result is a description of those patterns such that the corresponding set of sortable permutations is a class. We also show a new involution on the set of Cayley permutations, obtained by regarding a pattern-avoiding stack as an operator. Finally, we analyze two generalizations of pop-stack sorting on Cayley permutations. In both cases we describe sortable permutations in terms of pattern avoidance.
An improvement of the Boppana-Holzman bound for Rademacher random variables
Let $v_1,v_2,...,v_n$ be real numbers whose squares add up to $1$. Consider the $2^n$ signed sums of the form $S=\sum_{i=1}^n \pm v_i.$ Holzman and Kleitman (1992) proved that at least $\frac38=0.375$ of these sums satisfy $|S|\leq 1.$ By using bounds for appropriate moments of $S,$ Boppana and Holzman (2017) were able to improve the bound to $\frac{13}{32}=0.40625$ and even a bit better to $\frac{13}{32}+9\times10^{-6}.$ By following their approach, but using a key result of Bentkus and Dzindzalieta (2015), we will drastically improve (by more than 5\%) the latter barrier $\frac{13}{32}$ to $\frac{1}{2}-\frac{Φ(-2)}{4Φ(-\sqrt{2})}\approx 0.42768.$
Diminished Fermat-type arrangements and unexpected curves
Published
• View Publication
• BIB
The purpose of this note is to present and study a new series of the so-called unexpected curves. They enjoy a surprising property to the effect that their degree grows to infinity, whereas the multiplicity at a general fat point remains constant, equal $3$, which is the least possible number appearing as the multiplicity of an unexpected curve at its singular point. We show that additionally the BMSS dual curves inherits the same pattern of behaviour.
Moduli spaces of codimension-one subspaces in a linear variety and their tropicalization
Published in Electronic Journal of Combinatorics 29(2) P2.31 (2022), 33 pages
• View Publication
• BIB
We study the moduli space of $d$-dimensional linear subspaces contained in a fixed $(d+1)$-dimensional linear variety $X$, and its tropicalization. We prove that these moduli spaces are linear subspaces themselves, and thus their tropicalization is completely determined by their associated (valuated) matroids. We show that these matroids can be interpreted as the matroid of lines of the hyperplane arrangement corresponding to $X$, and generically are equal to a Dilworth truncation of the free matroid. In this way, we can describe combinatorially tropicalized Fano schemes and tropicalizations of moduli spaces of stable maps of degree $1$ to a plane.
On the Ehrhart Polynomial of Minimal Matroids
Published
• View Publication
• BIB
We provide a formula for the Ehrhart polynomial of the connected matroid of size $n$ and rank $k$ with the least number of bases, also known as a minimal matroid. We prove that their polytopes are Ehrhart positive and $h^*$-real-rooted (and hence unimodal). We prove that the operation of circuit-hyperplane relaxation relates minimal matroids and matroid polytopes subdivisions, and also preserves Ehrhart positivity. We state two conjectures: that indeed all matroids are $h^*$-real-rooted, and that the coefficients of the Ehrhart polynomial of a connected matroid of fixed rank and cardinality are bounded by those of the corresponding minimal matroid and the corresponding uniform matroid.
From Kruskal's theorem to Friedman's gap condition
Published
• View Publication
• BIB
Harvey Friedman's gap condition on embeddings of finite labelled trees plays an important role in combinatorics (proof of the graph minor theorem) and mathematical logic (strong independence results). In the present paper we show that the gap condition can be reconstructed from a small number of well-motivated building blocks: it arises via iterated applications of a uniform Kruskal theorem.
Combinatorial foundations for geometric realizations of subword complexes of Coxeter groups
Multitriangulations, and more generally subword complexes, yield a large family of simplicial complexes that are homeomorphic to spheres. Until now, all attempts to prove or disprove that they can be realized as convex polytopes faced major obstacles. In this article, we lay out the foundations of a framework -- built upon notions from algebraic combinatorics and discrete geometry -- that allows a deeper understanding of geometric realizations of subword complexes of Coxeter groups. Namely, we describe explicitly a family of chirotopes that encapsulate the necessary information to obtain geometric realizations of subword complexes. Further, we show that the space of geometric realizations of this family covers that of subword complexes, making this combinatorially defined family into a natural object to study.
The family of chirotopes is described through certain parameter matrices. That is, given a finite Coxeter group, we present matrices where certain minors have prescribed signs. Parameter matrices are universal: The existence of these matrices combined with conditions in terms of Schur functions is equivalent to the realizability of all subword complexes of this Coxeter group as chirotopes. Finally, parameter matrices provide extensions of combinatorial identities; for instance, the Vandermonde determinant and the dual Cauchy identity are recovered through suitable choices of parameters.
Generalizations of the Ruzsa-Szemerédi and rainbow Turán problems for cliques
Published in Comb. Probab. Comput. 30 (2021), 591-608
• View Publication
• BIB
Considering a natural generalization of the Ruzsa-Szemerédi problem, we prove that for any fixed positive integers $r,s$ with $r<s$, there are graphs on $n$ vertices containing $n^{r}e^{-O(\sqrt{\log{n}})}=n^{r-o(1)}$ copies of $K_s$ such that any $K_r$ is contained in at most one $K_s$. We also give bounds for the generalized rainbow Turán problem $\operatorname{ex}(n, H,$rainbow-$F)$ when $F$ is complete. In particular, we answer a question of Gerbner, Mészáros, Methuku and Palmer, showing that there are properly edge-coloured graphs on $n$ vertices with $n^{r-1-o(1)}$ copies of $K_r$ such that no $K_r$ is rainbow.
Majority choosability of countable graphs
Published
• View Publication
• BIB
In any vertex coloring of a graph some edges have differently colored ends (\emph{good} edges) and some are monochromatic (\emph{bad} edges). In a proper coloring all edges are good. In a \emph{majority coloring} it is enough that for every vertex $v$, the number of bad edges incident to $v$ does not exceed the number of good edges incident to $v$. A well known result of Lovász \cite{Lovasz} asserts that every finite graph has a majority $2$-coloring. A similar statement for countably infinite graphs is a challenging open problem, known as the \emph{Unfriendly Partition Conjecture}.
We consider a natural list variant of majority coloring. A graph is \emph{majority $k$-choosable} if it has a majority coloring from any lists of size $k$ assigned arbitrarily to the vertices. We prove that every countable graph is majority $4$-choosable. We also consider a natural analog of majority coloring for directed graphs. We prove that every countable digraph is also majority $4$-choosable. We pose list and directed analogs of the Unfriendly Partition Conjecture, stating that every countable graph is majority $2$-choosable and every countable digraph is majority $3$-choosable.