Showing 20 papers (Total: 83190 papers, 48060 authors in database)
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.
A bijection between ternary trees and a subclass of Motzkin paths
A bijection between ternary trees with $n$ nodes and a subclass of Motzkin paths of length $3n$ is given. This bijection can then be generalized to $t$-ary trees.
Idempotent Analysis, Tropical Convexity and Reduced Divisors
We investigate a canonical extension of a conventional combinatorial notion of reduced divisors to a notion of tropical projections, which can be defined as the unique minimizers of the so-called $B$-pseudonorms with respect to compact tropical convex sets. In this paper, we build the foundation of a theory of idempotent analysis using tropical projections and obtain a series of subsequent results, e.g. tropical retracts, construction of compact tropical convex sets and a set-theoretical characterization of tropical weak independence. In particular, we prove a tropical version of Mazur's Theorem on closed tropical convex hulls and discover a fixed point theorem for tropical projections. As the main application of our machinery of tropical convexity analysis, we investigate the divisor theory on metric graphs based on tropical projections. We extend the notion of linear systems and redefine the notion of reduced divisors to all linear systems instead of only to complete linear systems. Moreover, we explore the correspondence between reduced divisor maps to dominant tropical trees and harmonic morphisms to metric trees. Furthermore, we propose a notion called the geometric rank for linear systems on metric graphs which resolves the discrepancy between the interpretations of gonality of metric graphs using the conventional Baker-Norine rank function and using harmonic morphisms to metric trees.
Cores of Cubelike Graphs
A graph is $\textit{cubelike}$ if it is a Cayley graph for some elementary abelian $2$-group $\mathbb{Z}_2^n$. The core of a graph is its smallest subgraph to which it admits a homomorphism. More than ten years ago, Nešetřil and Šámal (On tension-continuous mappings. $\textit{European J. Combin.,}$ 29(4):1025--1054, 2008) asked whether the core of a cubelike graph is cubelike, but since then very little progress has been made towards resolving the question. Here we investigate the structure of the core of a cubelike graph, deducing a variety of structural, spectral and group-theoretical properties that the core "inherits" from the host cubelike graph. These properties constrain the structure of the core quite severely --- even if the core of a cubelike graph is not actually cubelike, it must bear a very close resemblance to a cubelike graph. Moreover we prove the much stronger result that not only are these properties inherited by the core of a cubelike graph, but also by the orbital graphs of the core. Even though the core and its orbital graphs look very much like cubelike graphs, we are unable to show that this is sufficient to characterise cubelike graphs. However, our results are strong enough to eliminate all non-cubelike vertex-transitive graphs on up to $32$ vertices as potential cores of cubelike graphs (of any size). Thus, if one exists at all, a cubelike graph with a non-cubelike core has at least $128$ vertices and its core has at least $64$ vertices.