Showing 20 papers (Total: 82311 papers, 47607 authors in database)
On the chromatic number of 2-dimensional spheres
Published
• View Publication
• BIB
In 1976 Simmons conjectured that every coloring of a 2-dimensional sphere of radius strictly greater than $1/2$ in three colors has a couple of monochromatic points at the distance 1 apart. We prove this conjecture.
Procesi's Conjecture on the Formanek-Weingarten Function is False
Published in C. R. Math. Acad. Sci. Paris, 360, 1169-1172, 2022
• View Publication
• BIB
In this paper, we disprove a recent monotonicity conjecture of C. Procesi on the generating function for monotone walks on the symmetric group, an object which is equivalent to the Weingarten function of the unitary group.
Tangles and Hierarchical Clustering
Published
• View Publication
• BIB
We establish a connection between tangles, a concept from structural graph theory that plays a central role in Robertson and Seymour's graph minor project, and hierarchical clustering. Tangles cannot only be defined for graphs, but in fact for arbitrary connectivity functions, which are functions defined on the subsets of some finite universe. In typical clustering applications these universes consist of points in some metric space. Connectivity functions are usually required to be submodular. It is our first contribution to show that the central duality theorem connecting tangles with hierarchical decompositions (so-called branch decompositions) also holds if submodularity is replaced by a different property that we call maximum-submodular. We then define a connectivity function on finite data sets in an arbitrary metric space and prove that its tangles are in one-to-one correspondence with the clusters obtained by applying the well-known single linkage clustering algorithms to the same data set. Lastly we generalize this correspondence for any hierarchical clustering. We show that the data structure that represents hierarchical clustering results, called dendograms, are equivalent to maximum-submodular connectivity functions and their tangles. The idea of viewing tangles as clusters has first been proposed by Diestel and Whittle in 2016 as an approach to image segmentation. To the best of our knowledge, our result is the first that establishes a precise technical connection between tangles and clusters.
Analysis of a Gray-Box Operator for Vertex Cover
Published
• View Publication
• BIB
Combinatorial optimization problems are a prominent application area of evolutionary algorithms, where the (1+1) EA is one of the most investigated. We extend this algorithm by introducing some problem knowledge with a specialized mutation operator which works under the assumption that the number of 1s of a solution is critical, as frequently happens in combinatorial optimization. This slight modification increases the chance to correct wrongly placed bits while preserving the simplicity and problem independence of the (1+1) EA. As an application of our algorithm we examine the vertex cover problem on certain instances, where we show that it leads to asymptotically better runtimes and even finds with higher probability optimal solutions in comparison with the usual (1+1) EA. Precisely, we compare the performance of both algorithms on paths and on complete bipartite graphs of size $n$. Regarding the path we prove that, for a particular initial configuration, the \alg1+1 takes in expectation $Θ(n^4)$ iterations while the modification reduces this to $Θ(n^3)$, and present experimental evidence that such a configuration is reached. Concerning the complete bipartite graph our modification finds the optimum in polynomial time with probability $1-1/2^{Ω(n^ξ)}$ for every positive constant $ξ< 1$, which improves the known probability of $1-1/\text{poly}(n)$ for the (1+1) EA..
Pontryagin algebras and the LS-category of moment-angle complexes in the flag case
Published in Proc. Steklov Inst. Math. 317, 55-77(2022)
• View Publication
• BIB
For any flag simplicial complex $K$, we describe the multigraded Poincare series, the minimal number of relations and the degrees of these relations in the Pontryagin algebra of the corresponding moment-angle complex $Z_K$. We compute the LS-category of $Z_K$ for flag complexes and give a lower bound in the general case. The key observation is that the Milnor-Moore spectral sequence collapses at the second sheet for flag $K$. We also show that the results of Panov and Ray about the Pontryagin algebras of Davis-Januszkiewicz spaces are valid for arbitrary coefficient rings, and introduce the $(\mathbb{Z}\times\mathbb{Z}^m)$-grading on the Pontryagin algebras which is similar to the multigrading on the cohomology of $Z_K$.
On integral mixed Cayley graphs over non-abelian finite groups admitting an abelian subgroup of index 2
Published
• View Publication
• BIB
Recently, several works by a number of authors have provided characterizations of integral undirected Cayley graphs over generalized dihedral groups and generalized dicyclic groups. We generalize and unify these results in two different ways. Firstly, we work over arbitrary non-abelian finite groups admitting an abelian subgroup of index 2. Secondly, our main result actually characterizes integral mixed Cayley graphs over such finite groups, in the spirit of a very recent result of Kadyan--Bhattarcharjya in the abelian case.
Planar Rosa : a family of quasiperiodic substitution discrete plane tilings with $2n$-fold rotational symmetry
Published
• View Publication
• BIB
We present Planar Rosa, a family of rhombus tilings with a $2n$-fold rotational symmetry that are generated by a primitive substitution and that are also discrete plane tilings, meaning that they are obtained as a projection of a higher dimensional discrete plane. The discrete plane condition is a relaxed version of the cut-and-project condition. We also prove that the Sub Rosa substitution tilings with $2n$-fold rotational symmetry defined by Kari and Rissanen do not satisfy even the weaker discrete plane condition. We prove these results for all even $n\geq 4$. This completes our previously published results for odd values of $n$.
Short and local transformations between ($Δ+1$)-colorings
Recoloring a graph is about finding a sequence of proper colorings of this graph from an initial coloring $σ$ to a target coloring $η$. Adding the constraint that each pair of consecutive colorings must differ on exactly one vertex, one asks: Is there a sequence of colorings from $σ$ to $η$? If yes, how short can it be?
In this paper, we focus on $(Δ+1)$-colorings of graphs of maximum degree $Δ$. Feghali, Johnson and Paulusma proved that, if both colorings are non-frozen (i.e. we can change the color of a least one vertex), then a quadratic recoloring sequence always exists. We improve their result by proving that there actually exists a linear transformation (assuming that $Δ$ is a constant).
In addition, we prove that the core of our algorithm can be performed locally. Informally, this means that after some preprocessing, the color changes that a given node has to perform only depend on the colors of the vertices in a constant size neighborhood. We make this precise by designing of an efficient recoloring algorithm in the LOCAL model of distributed computing.
The equivalence of two inequalities for quasisymmetric designs
Published
• View Publication
• BIB
It has been an open problem whether Hobart's inequality on the parameters of a quasisymmetric 2-design is independent of earlier known restrictions. In this note we show that it is equivalent to inequalities found by Neumaier and Calderbank. We also give some more parameter sets ruled out by the Blokhuis-Calderbank inequality.
On $\mathbb{F}_2^ω$-affine-exchangeable probability measures
Published
• View Publication
• BIB
For any standard Borel space $B$, let $\mathcal{P}(B)$ denote the space of Borel probability measures on $B$. In relation to a difficult problem of Aldous in exchangeability theory, and in connection with arithmetic combinatorics, Austin raised the question of describing the structure of affine-exchangeable probability measures on product spaces indexed by the vector space $\mathbb{F}_2^ω$, i.e., the measures in $\mathcal{P}(B^{\mathbb{F}_2^ω})$ that are invariant under the coordinate permutations on $B^{\mathbb{F}_2^ω}$ induced by all affine automorphisms of $\mathbb{F}_2^ω$. We answer this question by describing the extreme points of the space of such affine-exchangeable measures. We prove that there is a single structure underlying every such measure, namely, a random infinite-dimensional cube (sampled using Haar measure adapted to a specific filtration) on a group that is a countable power of the 2-adic integers. Indeed, every extreme affine-exchangeable measure in $\mathcal{P}(B^{\mathbb{F}_2^ω})$ is obtained from a $\mathcal{P}(B)$-valued function on this group, by a vertex-wise composition with this random cube. The consequences of this result include a description of the convex set of affine-exchangeable measures in $\mathcal{P}(B^{\mathbb{F}_2^ω})$ equipped with the vague topology (when $B$ is a compact metric space), showing that this convex set is a Bauer simplex. We also obtain a correspondence between affine-exchangeability and limits of convergent sequences of (compact-metric-space valued) functions on vector spaces $\mathbb{F}_2^n$ as $n\to\infty$. Via this correspondence, we establish the above-mentioned group as a general limit domain valid for any such sequence.
Integer partitions with large Dyson rank
The Dyson rank of an integer partition is the difference between its largest part and the number of parts it contains. Using Fine-Dyson symmetry, we give formulas for the number of partitions of n with rank larger than n/2, and we prove identities for counts of partitions with large rank in fixed residue classes.
The cut norm and Sampling Lemmas for unbounded kernels
Published
• View Publication
• BIB
Generalizing the bounded kernel results of Borgs, Chayes, Lovász, Sós and Vesztergombi (2008), we prove two Sampling Lemmas for unbounded kernels with respect to the cut norm. On the one hand, we show that given a (symmetric) kernel $U\in L^p([0,1]^2)$ for some $3<p<\infty$, the cut norm of a random $k$-sample of $U$ is with high probability within $O(k^{-\frac14+\frac{1}{4p}})$ of the cut norm of $U$. The cut norm of the sample has a strong bias to being larger than the original, allowing us to actually obtain a stronger high probability bound of order $O(k^{-\frac 12+\frac1p+\varepsilon})$ for how much smaller it can be (for any $p>2$ here). These results are then partially extended to the case of vector valued kernels. On the other hand, we show that with high probability, the $k$-samples are also close to $U$ in the cut metric, albeit with a weaker bound of order $O((\ln k)^{-\frac12+\frac1{2p}})$ (for any appropriate $p>2$). As a corollary, we obtain that whenever $U\in L^p$ with $p>4$, the $k$-samples converge almost surely to $U$ in the cut metric as $k\to\infty$.
Enumeration of $d$-combining Tree-Child Networks
Published
• View Publication
• BIB
Tree-child networks are one of the most prominent network classes for modeling evolutionary processes which contain reticulation events. Several recent studies have addressed counting questions for {\it bicombining tree-child networks} which are tree-child networks with every reticulation node having exactly two parents. In this paper, we extend these studies to {\it $d$-combining tree-child networks} where every reticulation node has now $d\geq 2$ parents. Moreover, we also give results and conjectures on the distributional behavior of the number of reticulation nodes of a network which is drawn uniformly at random from the set of all tree-child networks with the same number of leaves.
On Comparable Box Dimension
Two boxes in $\mathbb{R}^d$ are comparable if one of them is a subset of a translation of the other one. The comparable box dimension of a graph $G$ is the minimum integer $d$ such that $G$ can be represented as a touching graph of comparable axis-aligned boxes in $\mathbb{R}^d$. We show that proper minor-closed classes have bounded comparable box dimensions and explore further properties of this notion.
DP color functions versus chromatic polynomials (II)
Published
• View Publication
• BIB
For any connected graph $G$, let $P(G,m)$ and $P_{DP}(G,m)$ denote the chromatic polynomial and DP color function of $G$, respectively. It is known that $P_{DP}(G,m)\le P(G,m)$ holds for every positive integer $m$. Let $DP_\approx$ (resp. $DP_<$) be the set of graphs $G$ for which there exists an integer $M$ such that $P_{DP}(G,m)=P(G,m)$ (resp. $P_{DP}(G,m)<P(G,m)$) holds for all integers $m \ge M$. Determining the sets $DP_\approx$ and $DP_<$ is a key problem on the study of the DP color function. For any edge set $E_0$ of $G$, let $\ell_G(E_0)$ be the length of a shortest cycle $C$ in $G$ such that $|E(C)\cap E_0|$ is odd whenever such a cycle exists, and $\ell_G(E_0)=\infty$ otherwise. Write $\ell_G(E_0)$ as $\ell_G(e)$ if $E_0=\{e\}$.
In this paper, we prove that if $G$ has a spanning tree $T$ such that $\ell_G(e)$ is odd for each $e\in E(G)\setminus E(T)$, the edges in $E(G)\setminus E(T)$ can be labeled as $e_1,e_2,\cdots, e_q$ with $\ell_G(e_i)\le \ell_G(e_{i+1})$ for all $1\le i\le q-1$ and each edge $e_i$ is contained in a cycle $C_i$ of length $\ell_G(e_i)$ with $E(C_i)\subseteq E(T)\cup \{e_j: 1\le j\le i\}$, then $G$ is a graph in $DP_{\approx}$. As a direct application of this conclusion, all plane near-triangulations and complete multipartite graphs with at least three partite sets belong to $DP_{\approx}$. We also show that if $E^*$ is an edge set of $G$ such that $\ell_{G}(E^*)$ is even and $E^*$ satisfies certain conditions, then $G$ belongs to $DP_<$. In particular, if $\ell_G(E^*)=4$, where $E^*$ is a set of edges between two disjoint vertex subsets of $G$, then $G$ belongs to $DP_<$. Both results extend known ones in [DP color functions versus chromatic polynomials, $Advances\ in\ Applied\ Mathematics$ 134 (2022), article 102301].
Graphs without rainbow triangles
Let F,G,H be three graphs on the same n vertices. We consider the maximum of the sum and product of the number of their edges subject to the condition in the title.
On Delannoy paths without peaks and valleys
Published
• View Publication
• BIB
A lattice path is called \emph{Delannoy} if its every step belongs to $\left\{N, E, D\right\}$, where $N=(0,1)$, $E=(1,0)$, and $D=(1,1)$ steps. \emph{Peak}, \emph{valley}, and \emph{deep valley} mean $NE$, $EN$, and $EENN$ on the lattice path, respectively.
In this paper, we find a bijection between $\mathcal{P}_{n,m}(NE, EN)$ and a specific subset of ${\mathcal{P}_{n,m}}(D, EENN)$, where $\mathcal{P}_{n,m}(NE, EN)$ is the set of Delannoy paths from the origin to the points $(n,m)$ without peaks and valleys and ${\mathcal{P}_{n,m}}(D, EENN)$ is the set of Delannoy lattice paths from the origin to the points $(n,m)$ without diagonal steps and deep valleys. We also enumerate the number of Delannoy paths without peaks and valleys on the restricted region $\left\{ (x,y) \in \mathbb{Z}^2 : y \ge k x \right\}$ for a positive integer $k$.
The generalized X-join of Cayley graphs
As a main result of this paper we give conditions under which the generalized $X$-join of Cayley graphs is a Cayley graph. In particular, we show that $X$-join of isomorphic Cayley graphs is a Cayley grpah. To do this, new properties for a generalized wreath product of permutation groups are given in the case where the base group acts regularly. These are used to give conditions for the generalized wreath product to contain a regular subgroup, which are then applied to generalized $X$-joins of Cayley graphs. Along the way, it is shown that the generalized $X$-join of isomorphic Cayley graphs will always be a vertex transitive graph.
On exchange matrices from string diagrams
Inspired by Fock-Goncharov's amalgamation procedure \cite{Fock-Goncharov-2006}, Shen-Weng introduced string diagrams in \cite{Shen-Weng-2021}, which are very useful to describe many interesting skew-symmetrizable matrices closely related with Lie theory. In this paper, we prove that the skew-symmetrizable matrices from string diagrams are in the smallest class $\mathcal P^\prime$ of skew-symmetrizable matrices containing the $1\times 1$ zero matrix and closed under mutations and source-sink extensions. This result applies to the exchange matrices of cluster algebras from double Bruhat cells, unipotent cells, double Bott-Samelson cells and so on.
Our main result can be used to explain why many skew-symmetrizable matrices from Lie theory have reddening sequences. It can be also used to prove some interesting results regarding non-degenerate potentials on many quivers from Lie theory.
The 2-colouring problem for $(m,n)$-mixed graphs with switching is polynomial
Published in Discrete Mathematics & Theoretical Computer Science, vol. 24, no 2, Graph Theory (November 3, 2022) dmtcs:9242
• View Publication
• BIB
A mixed graph is a set of vertices together with an edge set and an arc set. An $(m,n)$-mixed graph $G$ is a mixed graph whose edges are each assigned one of $m$ colours, and whose arcs are each assigned one of $n$ colours. A \emph{switch} at a vertex $v$ of $G$ permutes the edge colours, the arc colours, and the arc directions of edges and arcs incident with $v$. The group of all allowed switches is $Γ$.
Let $k \geq 1$ be a fixed integer and $Γ$ a fixed permutation group. We consider the problem that takes as input an $(m,n)$-mixed graph $G$ and asks if there a sequence of switches at vertices of $G$ with respect to $Γ$ so that the resulting $(m,n)$-mixed graph admits a homomorphism to an $(m,n)$-mixed graph on $k$ vertices. Our main result establishes this problem can be solved in polynomial time for $k \leq 2$, and is NP-hard for $k \geq 3$. This provides a step towards a general dichotomy theorem for the $Γ$-switchable homomorphism decision problem.