Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Density of $g$-vector cones from triangulated surfaces
Published in Int. Math. Res. Not. IMRN, Vol. 2020, 21 (2020) 8081--8119
• View Publication
• BIB
We study $g$-vector cones associated with clusters of cluster algebras defined from a marked surface $(S,M)$ of rank $n$. We determine the closure of the union of $g$-vector cones associated with all clusters. It is equal to $\mathbb{R}^n$ except for a closed surface with exactly one puncture, in which case it is equal to the half space of a certain explicit hyperplane in $\mathbb{R}^n$. Our main ingredients are laminations on $(S,M)$, their shear coordinates and their asymptotic behavior under Dehn twists. As an application, if $(S,M)$ is not a closed surface with exactly one puncture, the exchange graph of cluster tilting objects in the corresponding cluster category is connected. If $(S,M)$ is a closed surface with exactly one puncture, it has precisely two connected components.
Foldability of simplicial surfaces onto a triangle
We characterise which simplicial surfaces can be folded onto a triangle. We define a notion of folding that incorporates the non-intersection-properties of real materials. All of the surfaces foldable onto a triangle admit a vertex-3-colouring. Based on this colouring, we can describe the surface by three involutions that act on the faces of the surface. A simplicial surface is foldable onto a triangle if and only if there exists a cyclic permutation on all faces, whose products with the involutions have a specified number of cycles. In addition, we show that all simplicial surfaces that can be folded onto a triangle have to be orientable.
An Optimal Algorithm for Stopping on the Element Closest to the Center of an Interval
Published
• View Publication
• BIB
Real numbers from the interval [0, 1] are randomly selected with uniform distribution. There are $n$ of them and they are revealed one by one. However, we do not know their values but only their relative ranks. We want to stop on recently revealed number maximizing the probability that that number is closest to $\frac{1}{2}$. We design an optimal stopping algorithm achieving our goal and prove that its probability of success is asymptotically equivalent to $\frac{1}{\sqrt{n}}\sqrt{\frac{2}π}$.
Reconfiguring colorings of graphs with bounded maximum average degree
Published in Journal of Combinatorial Theory Series B 147 (2021) 133--138
• View Publication
• BIB
The reconfiguration graph $R_k(G)$ for the $k$-colorings of a graph $G$ has as vertex set the set of all possible $k$-colorings of $G$ and two colorings are adjacent if they differ in the color of exactly one vertex of $G$. Let $d, k \geq 1$ be integers such that $k \geq d+1$. We prove that for every $ε> 0$ and every graph $G$ with $n$ vertices and maximum average degree $d - ε$, $R_k(G)$ has diameter $O(n(\log n)^{d - 1})$. This significantly strengthens several existing results.
The graphs behind Reuleaux polyhedra
Published
• View Publication
• BIB
This work is about graphs arising from Reuleaux polyhedra. Such graphs must necessarily be planar, $3$-connected and strongly self-dual. We study the question of when these conditions are sufficient.
If $G$ is any such a graph with isomorphism $τ: G \to G^*$ (where $G^*$ is the unique dual graph), a metric mapping is a map $η: V(G) \to \mathbb R^3$ such that the diameter of $η(G)$ is $1$ and for every pair of vertices $(u,v)$ such that $u\in τ(v)$ we have dist$(η(u),η(v)) = 1$. If $η$ is injective, it is called a metric embedding. Note that a metric embedding gives rise to a Reuleaux Polyhedra.
Our contributions are twofold: Firstly, we prove that any planar, $3$-connected, strongly self-dual graph has a metric mapping by proving that the chromatic number of the diameter graph (whose vertices are $V(G)$ and whose edges are pairs $(u,v)$ such that $u\in τ(v)$) is at most $4$, which means there exists a metric mapping to the tetrahedron. Furthermore, we use the Lovász neighborhood-complex theorem in algebraic topology to prove that the chromatic number of the diameter graph is exactly $4$.
Secondly, we develop algorithms that allow us to obtain every such graph with up to $14$ vertices. Furthermore, we numerically construct metric embeddings for every such graph. From the theorem and this computational evidence we conjecture that every such graph is realizable as a Reuleaux polyhedron in $\mathbb R^3$.
In previous work the first and last authors described a method to construct a constant-width body from a Reuleaux polyhedron. So in essence, we also construct hundreds of new examples of constant-width bodies.
This is related to a problem of Vázsonyi, and also to a problem of Blaschke-Lebesgue.
$K_{r,s}$ graph bootstrap percolation
Published
• View Publication
• BIB
A graph $G$ percolates in the $K_{r,s}$-bootstrap process if we can add all missing edges of $G$ in some order such that each edge creates a new copy of $K_{r,s}$, where $K_{r,s}$ is the complete bipartite graph. We study $K_{r,s}$-bootstrap percolation on the Erdős-Rényi random graph, and determine the percolation threshold for balanced $K_{r,s}$ up to a logarithmic factor. This partially answers a question raised by Balogh, Bollobás, and Morris. We also establish a general lower bound of the percolation threshold for all $K_{r,s}$, with $r\geq s \geq 3$.
On varieties defined by large sets of quadrics and their application to error-correcting codes
Published
• View Publication
• BIB
Let $U$ be a $({ k-1 \choose 2}-1)$-dimensional subspace of quadratic forms defined on $\mathrm{PG}(k-1,{\mathbb F})$ with the property that $U$ does not contain any reducible quadratic form. Let $V(U)$ be the points of $\mathrm{PG}(k-1,{\mathbb F})$ which are zeros of all quadratic forms in $U$. We will prove that if there is a group $G$ which fixes $U$ and no line of $\mathrm{PG}(k-1,{\mathbb F})$ and $V(U)$ spans $\mathrm{PG}(k-1,{\mathbb F})$ then any hyperplane of $\mathrm{PG}(k-1,{\mathbb F})$ is incident with at most $k$ points of $V(U)$. If ${\mathbb F}$ is a finite field then the linear code generated by the matrix whose columns are the points of $V(U)$ is a $k$-dimensional linear code of length $|V(U)|$ and minimum distance at least $|V(U)|-k$. A linear code with these parameters is an MDS code or an almost MDS code. We will construct examples of such subspaces $U$ and groups $G$, which include the normal rational curve, the elliptic curve, Glynn's arc from \cite{Glynn1986} and other examples found by computer search. We conjecture that the projection of $V(U)$ from any $k-4$ points is contained in the intersection of two quadrics, the common zeros of two linearly independent quadratic forms. This would be a strengthening of a classical theorem of Fano, which itself is an extension of a theorem of Castelnuovo, for which we include a proof using only linear algebra.
Arcs and tensors
Published
• View Publication
• BIB
To an arc $\mathcal{A}$ of $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$ we associate a tensor in $\langle ν_{k,t}(\mathcal{A})\rangle^{\otimes k-1}$, where $ν_{k,t}$ denotes the Veronese map of degree $t$ defined on $\mathrm{PG}(k-1,q)$. As a corollary we prove that for each arc $\mathcal{A}$ in $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$, which is not contained in a hypersurface of degree $t$, there exists a polynomial $F(Y_1,\ldots,Y_{k-1})$ (in $k(k-1)$ variables) where $Y_j=(X_{j1},\ldots,X_{jk})$, which is homogeneous of degree $t$ in each of the $k$-tuples of variables $Y_j$, which upon evaluation at any $(k-2)$-subset $S$ of the arc $\mathcal{A}$ gives a form of degree $t$ on $\mathrm{PG}(k-1,q)$ whose zero locus is the tangent hypersurface of $\mathcal{A}$ at $S$, i.e. the union of the tangent hyperplanes of $\mathcal{A}$ at $S$. This generalises the equivalent result for planar arcs ($k=3$), proven in \cite{BaLa2018}, to arcs in projective spaces of arbitrary dimension. A slightly weaker result is obtained for arcs in $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$ which are contained in a hypersurface of degree $t$. We also include a new proof of the Segre-Blokhuis-Bruen-Thas hypersurface associated to an arc of hyperplanes in $\mathrm{PG}(k-1,q)$.
On almost k-covers of hypercubes
Published
• View Publication
• BIB
In this paper, we consider the following problem: what is the minimum number of affine hyperplanes in $\mathbb{R}^n$, such that all the vertices of $\{0, 1\}^n \setminus \{\vec{0}\}$ are covered at least $k$ times, and $\vec{0}$ is uncovered? The $k=1$ case is the well-known Alon-Füredi theorem which says a minimum of $n$ affine hyperplanes is required, proved by the Combinatorial Nullstellensatz.
We develop an analogue of the Lubell-Yamamoto-Meshalkin inequality for subset sums, and completely solve the fractional version of this problem, which also provides an asymptotic answer to the integral version for fixed $n$ and $k \rightarrow \infty$. We also use a Punctured Combinatorial Nullstellensatz developed by Ball and Serra, to show that a minimum of $n+3$ affine hyperplanes is needed for $k=3$, and pose a conjecture for arbitrary $k$ and large $n$.
Permutations from an arithmetic setting
Published
• View Publication
• BIB
Let $m, n$ be positive integers such that $m>1$ divides $n$. In this paper, we introduce a special class of piecewise-affine permutations of the finite set $[1, n]:=\{1, \ldots, n\}$ with the property that the reduction $\pmod m$ of $m$ consecutive elements in any of its cycles is, up to a cyclic shift, a fixed permutation of $[1, m]$. Our main result provides the cycle decomposition of such permutations. We further show that such permutations give rise to permutations of finite fields. In particular, we explicitly obtain classes of permutation polynomials of finite fields whose cycle decomposition and its inverse are explicitly given.
Strong minuscule elements in the finite Weyl groups
Published
• View Publication
• BIB
We introduce the notion of a strong minuscule element, and prove that the dominant integral weight associated to a strong minuscule element is the fundamental weight corresponding to a short simple root. In addition, we enumerate the strong minuscule elements explicitly, and then as an application of this enumeration, determine the dimension of certain Demazure modules in the finite-dimensional irreducible modules whose highest weights are minuscule weights.
On $q$-covering designs
Published
• View Publication
• BIB
A $q$-covering design $\mathbb{C}_q(n, k, r)$, $k \ge r$, is a collection $\mathcal X$ of $(k-1)$-spaces of $\mathrm{PG}(n-1, q)$ such that every $(r-1)$-space of $\mathrm{PG}(n-1, q)$ is contained in at least one element of $\mathcal X$ . Let $\mathcal{C}_q(n, k, r)$ denote the minimum number of $(k-1)$-spaces in a $q$-covering design $\mathbb{C}_q(n, k, r)$. In this paper improved upper bounds on $\mathcal{C}_q(2n, 3, 2)$, $n \ge 4$, $\mathcal{C}_q(3n + 8, 4, 2)$, $n \ge 0$, and $\mathcal{C}_q(2n,4,3)$, $n \ge 4$, are presented. The results are achieved by constructing the related $q$-covering designs.
Detecting a long odd hole
Published
• View Publication
• BIB
For each integer $t\ge 5$, we give a polynomial-time algorithm to test whether a graph contains an induced cycle with length at least $t$ and odd.
The multiplicity of the Laplacian eigenvalue $2$ in some bicyclic graphs
The Laplacian matrix of a graph $G$ is denoted by $L(G)=D(G)-A(G)$, where $D(G)=diag(d(v_{1}),\ldots , d(v_{n}))$ is a diagonal matrix and $A(G)$ is the adjacency matrix of $G$. Let $G_1$ and $G_2$ be two graphs. A one-edge connection of two graphs $G_1$ and $G_2$ is a graph $G=G_1\odot_{uv} G_2$ with $V(G)=V(G_1)\cup V(G_2)$ and $E(G)= E(G_1)\cup E(G_2)\cup \{e=uv\}$, where $u\in V(G_1)$ and $v\in V(G_2)$. We investigate the multiplicity of the Laplacian eigenvalue $2$ of $G_1\odot_{uv} G_2$, while the unicyclic graphs $G_1$ and $G_2$ have $2$ among their Laplacian eigenvalues, by using their Laplacian characteristic polynomials. Some structural conditions ensuring the presence of the existence $2$ in the $G=G_1\odot_{uv} G_2$ where both $G_1$ and $G_2$ have $2$ as Laplacian eigenvalue, have been investigated, while, here we study the existence Laplacian eigenvalue $2$ in $G=G_1\odot_{uv} G_2$ where at most one of $G_1$ or $G_2$ has $2$ as Laplacian eigenvalue.
Erratum to "On Operations and Linear Extensions of Well Partially Ordered Sets"
In this article, we give a counter-example to Lemma 12 of the article "On Operations and Linear Extensions of Well Partially Ordered Sets" by Maciej Malicki and Aleksander Rutkowski.
The annihilation number does not bound the 2-domination number from the above
Published
• View Publication
• BIB
The $2$-domination number $γ_2(G)$ of a graph $G$ is the minimum cardinality of a set $S\subseteq V(G)$ such that every vertex from $V(G)\setminus S$ is adjacent to at least two vertices in $S$. The annihilation number $a(G)$ is the largest integer $k$ such that the sum of the first $k$ terms of the non-decreasing degree sequence of $G$ is at most the number of its edges. It was conjectured that $γ_2(G) \leq a(G) +1$ holds for every connected graph $G$. The conjecture was earlier confirmed, in particular, for graphs of minimum degree $3$, for trees, and for block graphs. In this paper, we disprove the conjecture by proving that the $2$-domination number can be arbitrarily larger than the annihilation number. On the positive side we prove the conjectured bound for a large subclass of bipartite, connected cacti, thus generalizing a result of Jakovac from [Discrete Appl.\ Math.\ 260 (2019) 178--187].
Relation between the number of leaves of a tree and its diameter
Published
• View Publication
• BIB
Let $L(n,d)$ denote the minimum possible number of leaves in a tree of order $n$ and diameter $d.$ In 1975 Lesniak gave the lower bound
$B(n,d)=\lceil 2(n-1)/d\rceil$ for $L(n,d).$ When $d$ is even, $B(n,d)=L(n,d).$ But when $d$ is odd, $B(n,d)$ is smaller than $L(n,d)$ in general.
For example, $B(21,3)=14$ while $L(21,3)=19.$ We prove that for $d\ge 2,$
$ L(n,d)=\left\lceil \frac{2(n-1)}{d}\right\rceil$ if $d$ is even and $L(n,d)=\left\lceil \frac{2(n-2)}{d-1}\right\rceil$ if $d$ is odd.
The converse problem is also considered. Let $D(n,f)$ be the minimum possible diameter of a tree of order $n$ with exactly $f$ leaves.
We prove that $D(n,f)=2$ if $n=f+1,$ $D(n,f)=2k+1$ if $n=kf+2,$ and $D(n,f)=2k+2$ if $kf+3\le n\le (k+1)f+1.$
Random generation with cycle type restrictions
Published
• View Publication
• BIB
We study random generation in the symmetric group when cycle type restrictions are imposed. Given $π, π' \in S_n$, we prove that $π$ and a random conjugate of $π'$ are likely to generate at least $A_n$ provided only that $π$ and $π'$ have not too many fixed points and not too many $2$-cycles. As an application, we investigate the following question: For which positive integers $m$ should we expect two random elements of order $m$ to generate $A_n$? Among other things, we give a positive answer for any $m$ having any divisor $d$ in the range $3 \leq d \leq o(n^{1/2})$.
On the topology of bi-cyclopermutohedra
Published
• View Publication
• BIB
Motivated by the work of Panina and her coauthors on cyclopermutohedron we study a poset whose elements correspond to equivalence classes of partitions of the set $\{1,\cdots, n+1\}$ up to cyclic permutations and orientation reversion. This poset is the face poset of a regular CW complex which we call bi-cyclopermutohedron and denote it by $\mathrm{QP}_{n+1}$. The complex $\mathrm{QP}_{n+1}$ contains subcomplexes homeomorphic to moduli space of certain planar polygons with $n+1$ sides up to isometries. In this article we find an optimal discrete Morse function on $\mathrm{QP}_{n+1}$ and use it to compute its homology with $\mathbb{Z}$ as well as $\mathbb{Z}_2$ coefficients.
Combinatorics and structure of Hecke-Kiselman algebras
Published
• View Publication
• BIB
Hecke-Kiselman monoids $\textrm{HK}_Θ$ and their algebras $K[\textrm{HK}_Θ]$, over a field $K$, associated to finite oriented graphs $Θ$ are studied. In the case $Θ$ is a cycle of length $n\geqslant 3$, a hierarchy of certain unexpected structures of matrix type is discovered within the monoid $C_n=\textrm{HK}_Θ$ and it is used to describe the structure and the properties of the algebra $K[C_n]$. In particular, it is shown that $K[C_n]$ is a right and left Noetherian algebra, while it has been known that it is a PI-algebra of Gelfand-Kirillov dimension one. This is used to characterize all Noetherian algebras $K[\textrm{HK}_Θ]$ in terms of the graphs $Θ$. The strategy of our approach is based on the crucial role played by submonoids of the form $C_n$ in combinatorics and structure of arbitrary Hecke-Kiselman monoids $\textrm{HK}_Θ$.