Showing 20 papers (Total: 84460 papers, 48641 authors in database)
On lexicographic representatives in braid monoids
Published
• View Publication
• BIB
The language of maximal lexicographic representatives of elements in the positive braid monoid $A_n$ with $n$ generators is a regular language. We describe with great detail the smallest Finite State Automaton accepting such language, and study the proportion of elements of length $k$ whose maximal lexicographic representative finishes with the first generator. This proportion tends to some number $P_{n,1}$, as $k$ tends to infinity, and we show that $P_{n,1}\geq \frac{1}{8}$ for every $n\geq 1$. We also provide an explicit formula, based on the Fibonacci numbers, for the number of states of the automaton.
On the Number of Acyclic Orientations of Complete $k$-Partite Graphs
Building on previous work by Cameron et al. in [3], we give a recurrence for computing the number of acyclic orientations of complete $k$-partite graphs, which can be implemented to obtain a dynamic programming algorithm running in time $n^{O(k)}$, where $n$ is the number of vertices in the graph. We prove our result by using a relationship between the number of acyclic orientations and the number of Hamiltonian paths in complete $k$-partite graphs and providing a recurrence for the latter quantity. We give a simple extension of our algorithm to the situation when we are an edge removal away from having a complete $k$-partite graph.
Exotic matrix models: the Albert algebra and the spin factor
Published
• View Publication
• BIB
The matrix models attached to real symmetric matrices and the complex/quaternionic Hermitian matrices have been studied by many authors. These models correspond to three of the simple formally real Jordan algebras over R. Such algebras were classified by Jordan, von Neumann, and Wigner in the 30s, and apart from these three there are two others: (i) the spin factor L_{1,n}, an algebra built on R^{n+1}, and (ii) the Albert algebra A of 3 by 3 Hermitian matrices over the octonions. In this paper we investigate the matrix models attached to these remaining cases.
Hard to Solve Instances of the Euclidean Traveling Salesman Problem
Published
• View Publication
• BIB
The well known $4/3$ conjecture states that the integrality ratio of the subtour LP is at most $4/3$ for metric Traveling Salesman instances. We present a family of Euclidean Traveling Salesman instances for which we prove that the integrality ratio of the subtour LP converges to $4/3$. These instances (using the rounded Euclidean norm) turn out to be hard to solve exactly with Concorde, the fastest existing exact TSP solver. For a 200 vertex instance from our family of Euclidean Traveling Salesman instances Concorde needs several days of CPU time. This is more than 1,000,000 times the runtime for a TSPLIB instance of similar size. Thus our new family of Euclidean Traveling Salesman instances may serve as new benchmark instances for TSP algorithms.
Modularity of Erdős-Rényi random graphs
Published
• View Publication
• BIB
For a given graph $G$, each partition of the vertices has a modularity score, with higher values indicating that the partition better captures community structure in $G$. The modularity $q^*(G)$ of the graph $G$ is defined to be the maximum over all vertex partitions of the modularity score, and satisfies $0\leq q^*(G) < 1$. Modularity is at the heart of the most popular algorithms for community detection.
We investigate the behaviour of the modularity of the Erdős-Rényi random graph $G_{n,p}$ with $n$ vertices and edge-probability $p$. Two key findings are that the modularity is $1+o(1)$ with high probability (whp) for $np$ up to $1+o(1)$ and no further; and when $np \geq 1$ and $p$ is bounded below 1, it has order $(np)^{-1/2}$ whp, in accord with a conjecture by Reichardt and Bornholdt in 2006.
We also show that the modularity of a graph is robust to changes in a few edges, in contrast to the sensitivity of optimal vertex partitions.
Extending some results on the second neighborhood conjecture
Published
• View Publication
• BIB
A vertex in a directed graph is said to have a large second neighborhood if it has at least as many second out-neighbors as out-neighbors. The Second Neighborhood Conjecture, first stated by Seymour, asserts that there is a vertex having a large second neighborhood in every oriented graph (a directed graph without loops or digons). We prove that oriented graphs whose missing edges can be partitioned into a (possibly empty) matching and a (possibly empty) star satisfy this conjecture. This generalizes a result of Fidler and Yuster. An implication of our result is that every oriented graph without a sink and whose missing edges form a (possibly empty) matching has at least two vertices with large second neighborhoods. This is a strengthening of a theorem of Havet and Thomasse, who showed that the same holds for tournaments without a sink. Moreover, we also show that the conjecture is true for oriented graphs whose vertex set can be partitioned into an independent set and a 2-degenerate graph.
Automorphisms on the ring of symmetric functions and stable and dual stable Grothendieck polynomials
The dual stable Grothendieck polynomials $g_λ$ and their sums $\sum_{μ\subsetλ} g_μ$ (which represent $K$-homology classes of boundary ideal sheaves and structure sheaves of Schubert varieties in the Grassmannians) have the same product structure constants. In this paper we first explain that the ring automorphism $g_λ\mapsto\sum_{μ\subsetλ} g_μ$ on the ring of symmetric functions is described as the operator $F^\perp$, the adjoint of the multiplication $(F\cdot)$, by a "group-like" element $F=\sum_{i} h_i$ where $h_i$ is the complete symmetric function. Next we give a generalization: starting with another "group-like" elements $\sum_{i} t^i h_i$, we obtain a deformation with a parameter $t$ of the ring automorphism above, as well as identities involving stable and dual stable Grothendieck polynomials.
Codegree threshold for tiling $k$-graphs with two edges sharing exactly $\ell$ vertices
Published
• View Publication
• BIB
Given integer $k$ and a $k$-graph $F$, let $t_{k-1}(n,F)$ be the minimum integer $t$ such that every $k$-graph $H$ on $n$ vertices with codegree at least $t$ contains an $F$-factor. For integers $k\geq3$ and $0\leq\ell\leq k-1$, let $\mathcal{Y}_{k,\ell}$ be a $k$-graph with two edges that shares exactly $\ell$ vertices. Han and Zhao (JCTA, 2015) asked the following question: For all $k\ge 3$, $0\le \ell\le k-1$ and sufficiently large $n$ divisible by $2k-\ell$, determine the exact value of $t_{k-1}(n,\mathcal{Y}_{k,\ell})$. In this paper, we show that $t_{k-1}(n,\mathcal{Y}_{k,\ell})=\frac{n}{2k-\ell}$ for $k\geq3$ and $1\leq\ell\leq k-2$, combining with two previously known results of Rödl, Ruciński and Szemerédi {(JCTA, 2009)} and Gao, Han and Zhao (arXiv, 2016), the question of Han and Zhao is solved completely.
VC dimension and a union theorem for set systems
Published
• View Publication
• BIB
Fix positive integers $k$ and $d$. We show that, as $n\to\infty$, any set system $\mathcal{A} \subset 2^{[n]}$ for which the VC dimension of $\{ \triangle_{i=1}^k S_i \mid S_i \in \mathcal{A}\}$ is at most $d$ has size at most $(2^{d\bmod{k}}+o(1))\binom{n}{\lfloor d/k\rfloor}$. Here $\triangle$ denotes the symmetric difference operator. This is a $k$-fold generalisation of a result of Dvir and Moran, and it settles one of their questions. A key insight is that, by a compression method, the problem is equivalent to an extremal set theoretic problem on $k$-wise intersection or union that was originally due to Erdős and Frankl. We also give an example of a family $\mathcal{A} \subset 2^{[n]}$ such that the VC dimension of $\mathcal{A}\cap \mathcal{A}$ and of $\mathcal{A}\cup \mathcal{A}$ are both at most $d$, while $\lvert \mathcal{A} \rvert = Ω(n^d)$. This provides a negative answer to another question of Dvir and Moran.
Bipartite induced density in triangle-free graphs
Published
• View Publication
• BIB
We prove that any triangle-free graph on $n$ vertices with minimum degree at least $d$ contains a bipartite induced subgraph of minimum degree at least $d^2/(2n)$. This is sharp up to a logarithmic factor in $n$. Relatedly, we show that the fractional chromatic number of any such triangle-free graph is at most the minimum of $n/d$ and $(2+o(1))\sqrt{n/\log n}$ as $n\to\infty$. This is sharp up to constant factors. Similarly, we show that the list chromatic number of any such triangle-free graph is at most $O(\min\{\sqrt{n},(n\log n)/d\})$ as $n\to\infty$.
Relatedly, we also make two conjectures. First, any triangle-free graph on $n$ vertices has fractional chromatic number at most $(\sqrt{2}+o(1))\sqrt{n/\log n}$ as $n\to\infty$. Second, any triangle-free graph on $n$ vertices has list chromatic number at most $O(\sqrt{n/\log n})$ as $n\to\infty$.
Circular critical exponents for Thue-Morse factors
Published
• View Publication
• BIB
We prove various results about the largest exponent of a repetition in a factor of the Thue-Morse word, when that factor is considered as a circular word. Our results confirm and generalize previous results of Fitzpatrick and Aberkane & Currie.
Description of closure operators in convex geometries of segments on a line
Published
• View Publication
• BIB
Convex geometry is a closure space $(G,φ)$ with the anti-exchange property. A classical result of Edelman and Jamison (1985) claims that every finite convex geometry is a join of several linear sub-geometries, and the smallest number of such sub-geometries necessary for representation is called the convex dimension. In our work we find necessary and sufficient conditions on a closure operator $φ$ of convex geometry $(G,φ)$ so that its convex dimension equals 2, equivalently, they are represented by segments on a line. These conditions can be checked in polynomial time in two parameters: the size of the base set $|G|$ and the size of the implicational basis of $(G,φ)$.
Vertex-isoperimetric stability in the hypercube
Published
• View Publication
• BIB
Harper's Theorem states that, in a hypercube, among all sets of a given fixed size the Hamming balls have minimal closed neighbourhoods. In this paper we prove a stability-like result for Harper's Theorem: if the closed neighbourhood of a set is close to minimal in the hypercube, then the set must be very close to a Hamming ball around some vertex.
The commuting complex of the symmetric group with bounded number of $p$-cycles
For a fixed prime $p$, we consider a filtration of the commuting complex of elements of order $p$ in the symmetric group $\mathfrak{S}_n$. The filtration is obtained by imposing successively relaxed bounds on the number of disjoint $p$-cycles in the cycle decomposition of the elements. We show that each term in the filtration becomes highly acyclic as $n$ increases. We use $\mathbf{FI}$-modules in the proof.
A formula for the cohomology and $K$-class of a regular Hessenberg variety
Published in J. Pure Appl. Algebra 224 (2020) Article 106230
• View Publication
• BIB
Hessenberg varieties are subvarieties of the flag variety parametrized by a linear operator $X$ and a nondecreasing function $h$. The family of Hessenberg varieties for regular $X$ is particularly important: they are used in quantum cohomology, in combinatorial and geometric representation theory, in Schubert calculus and affine Schubert calculus. We show that the classes of a regular Hessenberg variety in the cohomology and $K$-theory of the flag variety are given by making certain substitutions in the Schubert polynomial (respectively Grothendieck polynomial) for a permutation that depends only on $h$. Our formula and our methods are different from a recent result of Abe, Fujita, and Zeng that gives the class of a regular Hessenberg variety with more restrictions on $h$ than here.
DP-Degree Colorable Hypergraphs
Published
• View Publication
• BIB
In order to solve a question on list coloring of planar graphs, Dvořák and Postle introduced the concept of so called DP-coloring, thereby extending the concept of list-coloring. DP-coloring was anaylized in detail by Bernshteyn, Kostochka, and Pron for graphs and multigraphs; they characterized DP-degree colorable multigraphs and deduced a Brooks' type result from this. The characterization of the corresponding 'bad' covers was later given by Kim and Ozeki. In this paper, the concept of DP-colorings is extended to hypergraphs having multiple (hyper-)edges. We characterize the DP-degree colorable hypergraphs and, furthermore, the corresponding 'bad' covers. This gives a Brooks' type result for the DP-chromatic number of a hypergraph. In the last part, we examine DP-critical graphs and establish some basic facts on their structure as well as a Gallai-type bound on the minimum number of edges.
The k-cube is k-representable
A graph is called $k$-representable if there exists a word $w$ over the nodes of the graph, each node occurring exactly $k$ times, such that there is an edge between two nodes $x,y$ if and only after removing all letters distinct from $x,y$, from $w$, a word remains in which $x,y$ alternate. We prove that if $G$ is $k$-representable for $k>1$, then the Cartesian product of $G$ and the complete graph on $n$ nodes is $(k+n-1)$-representable. As a direct consequence, the $k$-cube is $k$-representable for every $k \geq 1$.
Our main technique consists of exploring occurrence based functions that replace every $i$th occurrence of a symbol $x$ in a word $w$ by a string $h(x,i)$. The representing word we construct to achieve our main theorem is purely composed from concatenation and occurrence based functions.
Structure and substructure connectivity of balanced hypercubes
The connectivity of a network directly signifies its reliability and fault-tolerance. Structure and substructure connectivity are two novel generalizations of the connectivity. Let $H$ be a subgraph of a connected graph $G$. The structure connectivity (resp. substructure connectivity) of $G$, denoted by $κ(G;H)$ (resp. $κ^s(G;H)$), is defined to be the minimum cardinality of a set $F$ of connected subgraphs in $G$, if exists, whose removal disconnects $G$ and each element of $F$ is isomorphic to $H$ (resp. a subgraph of $H$). In this paper, we shall establish both $κ(BH_n;H)$ and $κ^s(BH_n;H)$ of the balanced hypercube $BH_n$ for $H\in\{K_1,K_{1,1},K_{1,2},K_{1,3},C_4\}$.
Efficient domination in regular graphs
In this paper, we study efficient domination in regular graphs.
Coloured stochastic vertex models and their spectral theory
Published
• View Publication
• BIB
This work is dedicated to $\mathfrak{sl}_{n+1}$-related integrable stochastic vertex models; we call such models coloured. We prove several results about these models, which include the following:
(1) We construct the basis of (rational) eigenfunctions of the coloured transfer-matrices as partition functions of our lattice models with certain boundary conditions. Similarly, we construct a dual basis and prove the corresponding orthogonality relations and Plancherel formulae; (2) We derive a variety of combinatorial properties of those eigenfunctions, such as branching rules, exchange relations under Hecke divided-difference operators, (skew) Cauchy identities of different types, and monomial expansions; (3) We show that our eigenfunctions are certain (non-obvious) reductions of the nested Bethe Ansatz eigenfunctions; (4) For models in a quadrant with domain-wall (or half-Bernoulli) boundary conditions, we prove a matching relation that identifies the distribution of the coloured height function at a point with the distribution of the height function along a line in an associated colour-blind ($\mathfrak{sl}_2$-related) stochastic vertex model. Thanks to a variety of known results about asymptotics of height functions of the colour-blind models, this implies a similar variety of limit theorems for the coloured height function of our models; (5) We demonstrate how the coloured-uncoloured match degenerates to the coloured (or multi-species) versions of the ASEP, $q$-PushTASEP, and the $q$-boson model; (6) We show how our eigenfunctions relate to non-symmetric Cherednik-Macdonald theory, and we make use of this connection to prove a probabilistic matching result by applying Cherednik-Dunkl operators to the corresponding non-symmetric Cauchy identity.