Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Bigrassmannian permutations and Verma modules
Published in Selecta Mathematica volume 27:55 (2021)
• View Publication
• BIB
We show that bigrassmannian permutations determine the socle of the cokernel of an inclusion of Verma modules in type $A$. All such socular constituents turn out to be indexed by Weyl group elements from the penultimate two-sided cell. Combinatorially, the socular constituents in the cokernel of the inclusion of a Verma module indexed by $w\in S_n$ into the dominant Verma module are shown to be determined by the essential set of $w$ and their degrees in the graded picture are shown to be computable in terms of the associated rank function. As an application, we compute the first extension from a simple module to a Verma module.
Drawing Tree-Based Phylogenetic Networks with Minimum Number of Crossings
Published
• View Publication
• BIB
In phylogenetics, tree-based networks are used to model and visualize the evolutionary history of species where reticulate events such as horizontal gene transfer have occurred. Formally, a tree-based network $N$ consists of a phylogenetic tree $T$ (a rooted, binary, leaf-labeled tree) and so-called reticulation edges that span between edges of $T$. The network $N$ is typically visualized by drawing $T$ downward and planar and reticulation edges with one of several different styles. One aesthetic criteria is to minimize the number of crossings between tree edges and reticulation edges. This optimization problem has not yet been researched. We show that, if reticulation edges are drawn x-monotone, the problem is NP-complete, but fixed-parameter tractable in the number of reticulation edges. If, on the other hand, reticulation edges are drawn like "ears", the crossing minimization problem can be solved in quadratic time.
Optimal Approximations Made Easy
Published in Published in Information Processing Letters, Volume 176, June 2022, 106250
• Search Publication
The fundamental result of Li, Long, and Srinivasan on approximations of set systems has become a key tool across several communities such as learning theory, algorithms, computational geometry, combinatorics and data analysis.
The goal of this paper is to give a modular, self-contained, intuitive proof of this result for finite set systems. The only ingredient we assume is the standard Chernoff's concentration bound. This makes the proof accessible to a wider audience, readers not familiar with techniques from statistical learning theory, and makes it possible to be covered in a single self-contained lecture in a geometry, algorithms or combinatorics course.
A New Combinatorial Property of Geometric Unique Sink Orientations
A unique sink orientation (USO) is an orientation of the hypercube graph with the property that every face has a unique sink. A number of well-studied problems reduce in strongly polynomial time to finding the global sink of a USO; most notably, linear programming (LP) and the P-matrix linear complementarity problem (P-LCP). The former is not known to have a strongly polynomial-time algorithm, while the latter is not known to even have a polynomial-time algorithm, motivating the problem to find the global sink of a USO. Although, every known class of geometric USOs, arising from a concrete problem such as LP, is exponentially small, relative to the class of all USOs. Accordingly, geometric USOs exhibit additional properties that set them apart from general USOs, and it may be advantageous, if not necessary, to leverage these properties to find the global sink of a USO faster. Only a few such properties are known. In this paper, we establish a new combinatorial property of the USOs that arise from symmetric P-LCP, which includes the USOs that arise from linear and simple convex quadratic programming.
Compression with wildcards: All exact, or all minimal hitting sets
Published
• View Publication
• BIB
Our main objective is the COMPRESSED enumeration (based on wildcards) of all minimal hitting sets of general hypergraphs. To the author's best knowledge the only previous attempt towards compression, due to Toda, is based on BDD's and much different from our techniques. Numerical experiments show that traditional one-by-one enumeration schemes cannot compete against compressed enumeration when the degree of compression is high. Our method works particularly well in these two cases: Either compressing all e x a c t hitting sets, or all m i n i m u m - cardinality hitting sets. In many aspects this version is better structured than its predecessor, and also contains some new material (such as an application of Rado's Theorem).
A Ramsey Type problem for highly connected subgraphs
Bollobás and Gyárfás conjectured that for any $k, n \in \mathbb{Z}^+$ with $n > 4(k-1)$, every 2-edge-coloring of the complete graph on $n$ vertices leads to a $k$-connected monochromatic subgraph with at least $n-2k+2$ vertices. We find a counterexample with $n = \lfloor 5k-2.5-\sqrt{8k-\frac{31}{4}} \rfloor$, thus disproving the conjecture, and we show the conclusion holds for $n > 5k-2.5-\sqrt{8k-\frac{31}{4}}$ when $k \ge 16$.
Solving Problems on Generalized Convex Graphs via Mim-Width
Published in Journal of Computer and System Sciences, 140:103493, 2024
• View Publication
• BIB
A bipartite graph $G=(A,B,E)$ is ${\cal H}$-convex, for some family of graphs ${\cal H}$, if there exists a graph $H\in {\cal H}$ with $V(H)=A$ such that the set of neighbours in $A$ of each $b\in B$ induces a connected subgraph of $H$. Many $\mathsf{NP}$-complete problems, including problems such as Dominating Set, Feedback Vertex Set, Induced Matching and List $k$-Colouring, become polynomial-time solvable for ${\mathcal H}$-convex graphs when ${\mathcal H}$ is the set of paths. In this case, the class of ${\mathcal H}$-convex graphs is known as the class of convex graphs. The underlying reason is that the class of convex graphs has bounded mim-width. We extend the latter result to families of ${\mathcal H}$-convex graphs where (i) ${\mathcal H}$ is the set of cycles, or (ii) ${\mathcal H}$ is the set of trees with bounded maximum degree and a bounded number of vertices of degree at least $3$. As a consequence, we can re-prove and strengthen a large number of results on generalized convex graphs known in the literature. To complement result (ii), we show that the mim-width of ${\mathcal H}$-convex graphs is unbounded if ${\mathcal H}$ is the set of trees with arbitrarily large maximum degree or an arbitrarily large number of vertices of degree at least $3$. In this way we are able to determine complexity dichotomies for the aforementioned graph problems. Afterwards we perform a more refined width-parameter analysis, which shows even more clearly which width parameters are bounded for classes of ${\cal H}$-convex graphs.
Graphs whose Kronecker covers are bipartite Kneser graphs
Published
• View Publication
• BIB
We show that there are $k$ simple graphs whose Kronecker covers are isomorphic to the bipartite Kneser graph $H(n,k)$, and that their chromatic numbers coincide with $χ(K(n,k)) = n - 2k + 2$. We also determine the automorphism groups of these graphs.
On transversality of bent hyperplane arrangements and the topological expressiveness of ReLU neural networks
Published
• View Publication
• BIB
Let F:R^n -> R be a feedforward ReLU neural network. It is well-known that for any choice of parameters, F is continuous and piecewise (affine) linear. We lay some foundations for a systematic investigation of how the architecture of F impacts the geometry and topology of its possible decision regions for binary classification tasks. Following the classical progression for smooth functions in differential topology, we first define the notion of a generic, transversal ReLU neural network and show that almost all ReLU networks are generic and transversal. We then define a partially-oriented linear 1-complex in the domain of F and identify properties of this complex that yield an obstruction to the existence of bounded connected components of a decision region. We use this obstruction to prove that a decision region of a generic, transversal ReLU network F: R^n -> R with a single hidden layer of dimension (n + 1) can have no more than one bounded connected component.
Topological Indices Over Nonzero Component Graph of a Finite Dimensional Vector Space
The study of graphs associated with of various algebraic structures is an emerging topic in algebraic graph theory. Recently, the concept of nonzero component graph of a finite dimensional vector space $Γ(\mathbb{V})$ was put forward by Das \cite{5}. In this paper, we study some degree based topological indices over $Γ(\mathbb{V})$ the derived graphs of $Γ(\mathbb{V})$.
Conway and aperiodic tilings
Published
• View Publication
• BIB
This is a brief introduction to the geometric aspects of aperiodic tiling and the collaboration of John Conway and the author in the decade 1990-2000.
Scaling and local limits of Baxter permutations and bipolar orientations through coalescent-walk processes
Published in Ann. Probab. 50(4): 1359-1417 (July 2022)
• View Publication
• BIB
Baxter permutations, plane bipolar orientations, and a specific family of walks in the non-negative quadrant, called tandem walks, are well-known to be related to each other through several bijections. We introduce a further new family of discrete objects, called coalescent-walk processes and we relate it to the three families mentioned above.
We prove joint Benjamini--Schramm convergence (both in the annealed and quenched sense) for uniform objects in the four families. Furthermore, we explicitly construct a new random measure on the unit square, called the Baxter permuton and we show that it is the scaling limit (in the permuton sense) of uniform Baxter permutations. In addition, we relate the limiting objects of the four families to each other, both in the local and scaling limit case.
The scaling limit result is based on the convergence of the trajectories of the coalescent-walk process to the coalescing flow -- in the terminology of Le Jan and Raimond (2004) -- of a perturbed version of the Tanaka stochastic differential equation. Our scaling result entails joint convergence of the tandem walks of a plane bipolar orientation and its dual, extending the main result of Gwynne, Holden, Sun (2016), and giving an alternative answer to Conjecture 4.4 of Kenyon, Miller, Sheffield, Wilson (2019) compared to the one of Gwynne, Holden, Sun (2016).
Greedoids from flames
A digraph $ D $ with $ r\in V(D) $ is an $ r $-flame if for every $ {v\in V(D)-r} $, the in-degree of $ v $ is equal to the local edge-connectivity $ λ_D(r,v) $. We show that for every digraph $ D $ and $ r\in V(D) $, the edge sets of the $ r $-flame subgraphs of $ D $ form a greedoid. Our method yields a new proof of Lovász' theorem stating: for every digraph $ D $ and $ r\in V(D) $, there is an $ r $-flame subdigraph $ F $ of $ D $ such that $ λ_F(r,v) =λ_D(r,v) $ for $ v\in V(D)-r $. We also give a strongly polynomial algorithm to find such an $ F $ working with a fractional generalization of Lovász' theorem.
Limiting probabilities of first order properties of random sparse graphs and hypergraphs
Published
• View Publication
• BIB
Let $G_n$ be the binomial random graph $G(n,p=c/n)$ in the sparse regime, which as is well-known undergoes a phase transition at $c=1$.
Lynch (Random Structures Algorithms, 1992) showed that for every first order sentence $φ$, the limiting probability that $G_n$ satisfies $φ$ as $n\to\infty$ exists, and moreover it is an analytic function of $c$. In this paper we consider the closure $\overline{L_c}$ in $[0,1]$ of the set $L_c$ of all limiting probabilities of first order sentences in $G_n$. We show that there exists a critical value $c_0 \approx0.93$ such that $\overline{L_c}= [0,1]$ when $c \ge c_0$, whereas $\overline{L_c}$ misses at least one subinterval when $c<c_0$. We extend these results to random $d$-uniform sparse hypergraphs, where the probability of a hyperedge is given by $p=c/n^{d-1}$.
Outdegree conditions forcing short cycles in digraphs
Given a positive integer $m\ge 3$, let $ch(m)$ be the smallest positive constant with the following property:
\emph{ Every simple directed graph on $n\ge 3$ vertices all whose outdegrees are at least $ch(m)\cdot n$ contains a directed cycle of length at most $m$.}
Caccetta and Häggkvist conjectured that $ch(m)=1/m$, which if true, would be the best possible. In this paper, we prove the following result:
\emph{ For every integer $m\ge 3$, let $α(m)$ be the unique real root in $(0,1)$ of the equation} \begin{equation*} (1-x)^{m-2}=\frac{3x}{2-x}. \end{equation*} Then $ch(m)\le α(m)$.
This generalizes results of Shen who proved that $ch(3)\le 3-\sqrt{7}<0.35425$, and Liang and Xu who showed that $ch(4)< 0.28866$ and $ch(5)<0.24817$.
We then slightly improve the above inequality by using the minimum feedback arc set approach initiated by Chudnovsky, Seymour, and Sullivan. This results in extensions of the findings of Hamburger, Haxell and Kostochka (in the case $m=3$), and Liang and Xu (in the case $m=4$).
An improved upper bound for the size of the sphere of influence graph
Let $V$ be a set of $n$ points in the plane. For each $x\in V$, let $B_x$ be the closed circular disk centered at $x$ with radius equal to the distance from $x$ to its closest neighbor. The {\it closed sphere of influence graph} on $V$ is defined as the undirected graph where $x$ and $y$ are adjacent if and only if the $B_x$ and $B_y$ have nonempty intersection.
It is known that every $n$-vertex closed sphere of influence graph has at most $cn$ edges, for some absolute positive constant $c$. The first result was obtained in 1985 by Avis and Horton who provided the value $c=29$. Their result was successively improved by several authors: Bateman and Erdős (c=18), Michael and Quint (c=17.5), and Soss (c=15).
In this paper we prove that one can take $c=14.5$.
Introduction to Cluster Algebras. Chapter 6
This is a preliminary draft of Chapter 6 of our forthcoming textbook "Introduction to Cluster Algebras." Chapters 1-3 have been posted as arXiv:1608.05735. Chapters 4-5 have been posted as arXiv:1707.07190.
This installment contains:
Chapter 6. Cluster structures in commutative rings
Unimodality of a refinement of Lassalle's sequence
Published
• View Publication
• BIB
Defant, Engen, and Miller defined a refinement of Lassalle's sequence $A_{k+1}$ by considering uniquely sorted permutations of length $2k+1$ whose first element is $\ell$. They showed that each such sequence is symmetric in $\ell$ and conjectured that these sequences are unimodal. We prove that the sequences are unimodal.
Counting embeddings of rooted trees into families of rooted trees
Published
• View Publication
• BIB
The number of embeddings of a partially ordered set $S$ in a partially ordered set $T$ is the number of subposets of $T$ isomorphic to $S$. If both, $S$ and $T$, have only one unique maximal element, we define good embeddings as those in which the maximal elements of $S$ and $T$ overlap. We investigate the number of good and all embeddings of a rooted poset $S$ in the family of all binary trees on $n$ elements considering two cases: plane (when the order of descendants matters) and non-plane. Furthermore, we study the number of embeddings of a rooted poset $S$ in the family of all planted plane trees of size $n$. We derive the asymptotic behaviour of good and all embeddings in all cases and we prove that the ratio of good embeddings to all is of the order $Θ(1/\sqrt{n})$ in all cases, where we provide the exact constants. Furthermore, we show that this ratio is non-decreasing with $S$ in the plane binary case and asymptotically non-decreasing with $S$ in the non-plane binary case and in the planted plane case. Finally, we comment on the case when $S$ is disconnected.
The Neighborhood Polynomial of Chordal Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (May 6, 2022) dmtcs:8388
• View Publication
• BIB
We study the neighborhood polynomial and the complexity of its computation for chordal graphs. The neighborhood polynomial of a graph is the generating function of subsets of its vertices that have a common neighbor. We introduce a parameter for chordal graphs called anchor width and an algorithm to compute the neighborhood polynomial which runs in polynomial time if the anchor width is polynomially bounded. The anchor width is the maximal number of different sub-cliques of a clique which appear as a common neighborhood. Furthermore we study the anchor width for chordal graphs and some subclasses such as chordal comparability graphs and chordal graphs with bounded leafage. the leafage of a chordal graphs is the minimum number of leaves in the host tree of a subtree representation. We show that the anchor width of a chordal graph is at most $n^{\ell}$ where $\ell$ denotes the leafage. This shows that for some subclasses computing the neighborhood polynomial is possible in polynomial time while it is NP-hard for general chordal graphs.