Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Extremal Khovanov homology and the girth of a knot
We utilize relations between Khovanov and chromatic graph homology to determine extreme Khovanov groups and corresponding coefficients of the Jones polynomial. The extent to which chromatic homology and chromatic polynomial can be used to compute integral Khovanov homology of a link depends on the maximal girth of its all-positive graphs. In this paper we also define the girth of a link, discuss relations to other knot invariants, and the possible values for girth. Analyzing girth leads to a description of possible all-A state graphs of any given link; e.g., if a link has a diagram such that the girth of the corresponding all-A graph is equal to $\ell>2$, than the girth of the link is equal to $\ell.$
On Degree Sequence Optimization
Published in Operations Research Letters, 48:840--843, 2020
• View Publication
• BIB
We consider the problem of finding a subgraph of a given graph which maximizes a given function evaluated at its degree sequence. While the problem is intractable already for convex functions, we show that it can be solved in polynomial time for convex multi-criteria objectives. We next consider the problem with separable objectives, which is NP-hard already when all vertex functions are the square. We consider a colored extension of the separable problem, which includes the notorious exact matching problem as a special case, and show that it can be solved in polynomial time on graphs of bounded tree-depth for any vertex functions. We mention some of the many remaining open problems.
A Künneth Formula of Hypergraphs
Published
• View Publication
• BIB
In this paper, based on the embedded homology groups of hypergraphs defined in \cite{h1}, we define the product of hypergraphs and prove the corresponding Künneth formula of hypergraphs which can be generalized to the Künneth formula for the embedded homology of graded subsets of chain complexes with coefficients in a principal ideal domain.
Finite cubic graphs admitting an cyclic group of automorphisms with at most three orbits on vertices
The theory of voltage graphs has become a standard tool in the study graphs admitting a semiregular group of automorphisms. We introduce the notion of a cyclic generalised voltage graph to extend the scope of this theory to graphs admitting a cyclic group of automorphism that may not be semiregular. We use this new tool to classify all cubic graphs admitting a cyclic group of automorphisms with at most three vertex-orbits and we characterise vertextransitivity for each of these classes. In particular, we show that a cubic vertex-transitive graph admitting a cyclic group of automorphisms with at most three orbits on vertices either belongs to one of 5 infinite families or is isomorphic to the well-know Tutte-Coxeter graph.
Colourings, transversals and local sparsity
Published
• View Publication
• BIB
Motivated both by recently introduced forms of list colouring and by earlier work on independent transversals subject to a local sparsity condition, we use the semi-random method to prove the following result.
For any function $μ$ satisfying $μ(d)=o(d)$ as $d\to\infty$, there is a function $λ$ satisfying $λ(d)=d+o(d)$ as $d\to\infty$ such that the following holds. For any graph $H$ and any partition of its vertices into parts of size at least $λ$ such that (a) for each part the average over its vertices of degree to other parts is at most $d$, and (b) the maximum degree from a vertex to some other part is at most $μ$, there is guaranteed to be a transversal of the parts that forms an independent set of $H$.
This is a common strengthening of two results of Loh and Sudakov (2007) and Molloy and Thron (2012), each of which in turn implies an earlier result of Reed and Sudakov (2002).
A counterexample to the Bollobás-Riordan conjectures on sparse graph limits
Published in Combinatorics, Probability and Computing 30 (5), 2021, 796-799
• View Publication
• BIB
Bollobás and Riordan, in their paper "Metrics for sparse graphs," proposed a number of provocative conjectures extending central results of quasirandom graphs and graph limits to sparse graphs. We refute these conjectures by exhibiting a sequence of graphs with convergent normalized subgraph densities (and pseudorandom $C_4$-counts), but with no limit expressible as a kernel.
Restricted Color $n$-color Compositions
Published in J. Combin. 12(2) (2021) 355-377
• View Publication
• BIB
Agarwal introduced $n$-color compositions in 2000 and most subsequent research has focused on restricting which parts are allowed. Here we focus instead on restricting allowed colors. After three general results, giving recurrence formulas for the cases of given allowed colors, given prohibited colors, and colors satisfying modular conditions, we consider several more specific conditions, establishing direct formulas and connections to other combinatorial objects. Proofs are combinatorial, mostly using the notion of spotted tilings introduced by the first named author in 2012.
Relation between regularity of powers of edge ideals and (im, reg)-invariant extension
In this paper, we define (im, reg)-invariant extension of graphs and propose a new approach for Nevo and Peeva's conjecture which said that for any gap-free graph $G$ with $reg(I(G)) = 3$ and for any $k \geq 2$, $I(G)^k$ has a linear resolution.
Moreover, we consider new conjectures related to the regularity of powers of edge ideals of gap-free graphs.
Hecke-type series involving infinite products
Published
• View Publication
• BIB
Since the study by Jacobi and Hecke, Hecke-type series have received extensive attention. Especially, Hecke-type series involving infinite products have attracted broad interest among many mathematicians including Kac, Peterson, Andrews, Bressoud and Liu. Motivated by the works of these people, we study Hecke-type series involving infinite products. In particular, we establish some Hecke-type series involving infinite products and then obtain the truncated versions of these series as well as some other known series of the same type. As consequences, three families of inequalities for certain partition functions are also presented. Our proofs heavily rely on a formula from the work of Zhi-Guo Liu.
Periodic tillings of the plane by squares
The paper provides an elementary proof of Kenyon's necessary condition for the existence of a periodic tiling of the plane by squares with given periods. A similar new result on covering both sides of a rectangle by nonoverlaping squares is proved.
Projective plane graphs and 3-rigidity
It is shown that a simple graph which is embeddable in the real projective plane is minimally 3-rigid if and only if it is (3,6)-tight. Moreover the topologically uncontractible embedded graphs of this type are constructible from one of 8 embedded graphs by a sequence of vertex splitting moves. In particular the characterisation of minimal 3-rigidity holds for a triangulated Mobius strip.
Clustering in a hyperbolic model of complex networks
Published
• View Publication
• BIB
In this paper we consider the clustering coefficient and clustering function in a random graph model proposed by Krioukov et al.~in 2010. In this model, nodes are chosen randomly inside a disk in the hyperbolic plane and two nodes are connected if they are at most a certain hyperbolic distance from each other. It has been shown that this model has various properties associated with complex networks, e.g. power-law degree distribution, short distances and non-vanishing clustering coefficient. Here we show that the clustering coefficient tends in probability to a constant $γ$ that we give explicitly as a closed form expression in terms of $α, ν$ and certain special functions. This improves earlier work by Gugelmann et al., who proved that the clustering coefficient remains bounded away from zero with high probability, but left open the issue of convergence to a limiting constant. Similarly, we are able to show that $c(k)$, the average clustering coefficient over all vertices of degree exactly $k$, tends in probability to a limit $γ(k)$ which we give explicitly as a closed form expression in terms of $α, ν$ and certain special functions. We are able to extend this last result also to sequences $(k_n)_n$ where $k_n$ grows as a function of $n$. Our results show that $γ(k)$ scales differently, as $k$ grows, for different ranges of $α$. More precisely, there exists constants $c_{α,ν}$ depending on $α$ and $ν$, such that as $k \to \infty$, $γ(k) \sim c_{α,ν} \cdot k^{2 - 4α}$ if $\frac{1}{2} < α< \frac{3}{4}$, $γ(k) \sim c_{α,ν} \cdot \log(k) \cdot k^{-1} $ if $α=\frac{3}{4}$ and $γ(k) \sim c_{α,ν} \cdot k^{-1}$ when $α> \frac{3}{4}$. These results contradict a claim of Krioukov et al., which stated that the limiting values $γ(k)$ should always scale with $k^{-1}$ as we let $k$ grow.
Kissing number in non-Euclidean spaces of constant sectional curvature
Published in Math. Comp. (2021)
• View Publication
• BIB
This paper provides upper and lower bounds on the kissing number of congruent radius $r > 0$ spheres in hyperbolic $\mathbb{H}^n$ and spherical $\mathbb{S}^n$ spaces, for $n\geq 2$. For that purpose, the kissing number is replaced by the kissing function $κ_H(n, r)$, resp. $κ_S(n, r)$, which depends on the dimension $n$ and the radius $r$. After we obtain some theoretical upper and lower bounds for $κ_H(n, r)$, we study their asymptotic behaviour and show, in particular, that $κ_H(n,r) \sim (n-1) \cdot d_{n-1} \cdot B(\frac{n-1}{2}, \frac{1}{2}) \cdot e^{(n-1) r}$, where $d_n$ is the sphere packing density in $\mathbb{R}^n$, and $B$ is the beta-function. Then we produce numeric upper bounds by solving a suitable semidefinite program, as well as lower bounds coming from concrete spherical codes. A similar approach allows us to locate the values of $κ_S(n, r)$, for $n= 3,\, 4$, over subintervals in $[0, π]$ with relatively high accuracy.
Quasi-symmetric designs on 56 points
Published in Advances in Mathematics of Communications 15 (2021), Issue 4, 633-646
• View Publication
• BIB
Computational techniques for the construction of quasi-symmetric block designs are explored and applied to the case with $56$ points. One new $(56,16,18)$ and many new $(56,16,6)$ designs are discovered, and non-existence of $(56,12,9)$ and $(56,20,19)$ designs with certain automorphism groups is proved. The number of known symmetric $(78,22,6)$ designs is also significantly increased.
The number of spanning clusters of the uniform spanning tree in three dimensions
Published
• View Publication
• BIB
Let ${\mathcal U}_δ$ be the uniform spanning tree on $δ\mathbb{Z}^{3}$. A spanning cluster of ${\mathcal U}_δ$ is a connected component of the restriction of ${\mathcal U}_δ$ to the unit cube $[0,1]^{3}$ that connects the left face $\{ 0 \} \times [0,1]^{2}$ to the right face $\{ 1 \} \times [0,1]^{2}$. In this note, we will prove that the number of the spanning clusters is tight as $δ\to 0$, which resolves an open question raised by Benjamini (1999).
New Extremal Binary Self-Dual Codes from Block Circulant Matrices and Block Quadratic Residue Circulant Matrices
Published
• View Publication
• BIB
In this paper, we construct self-dual codes from a construction that involves both block circulant matrices and block quadratic residue circulant matrices. We provide conditions when this construction can yield self-dual codes. We construct self-dual codes of various lengths over F2 and F2 + uF2. Using extensions, neighbours and sequences of neighbours, we construct many new self-dual codes. In particular, we construct one new self-dual code of length 66 and 51 new self-dual codes of length 68.
Largest set of unitals in projective planes of order 16
In this article we present the largest set of unitals (totally 553) in projective planes of order 16. An open question is what is the number of the known unitals that are non-isomorphic to the reported ones. The results are obtained with a program that implements author's algorithm.
Scattered Factor-Universality of Words
Published
• View Publication
• BIB
A word $u=u_1\dots u_n$ is a scattered factor of a word $w$ if $u$ can be obtained from $w$ by deleting some of its letters: there exist the (potentially empty) words $v_0,v_1,..,v_n$ such that $w = v_0u_1v_1...u_nv_n$. The set of all scattered factors up to length $k$ of a word is called its full $k$-spectrum. Firstly, we show an algorithm deciding whether the $k$-spectra for given $k$ of two words are equal or not, running in optimal time. Secondly, we consider a notion of scattered-factors universality: the word $w$, with $\letters(w)=Σ$, is called $k$-universal if its $k$-spectrum includes all words of length $k$ over the alphabet $Σ$; we extend this notion to $k$-circular universality. After a series of preliminary combinatorial results, we present an algorithm computing, for a given $k'$-universal word $w$ the minimal $i$ such that $w^i$ is $k$-universal for some $k>k'$. Several other connected problems~are~also~considered.
Point partition numbers: perfect graphs
Published
• View Publication
• BIB
Graphs considered in this paper are finite, undirected and without loops, but with multiple edges. For an integer $t\geq 1$, denote by $\mathcal{MG}_t$ the class of graphs whose maximum multiplicity is at most $t$. A graph $G$ is called strictly $t$-degenerate if every non-empty subgraph $H$ of $G$ contains a vertex $v$ whose degree in $H$ is at most $t-1$. The point partition number $χ_t(G)$ of $G$ is smallest number of colors needed to color the vertices of $G$ so that each vertex receives a color and vertices with the same color induce a strictly $t$-degenerate subgraph of $G$. So $χ_1$ is the chromatic number, and $χ_2$ is known as the point aboricity. The point partition number $χ_t$ with $t\geq 1$ was introduced by Lick and White. If $H$ is a simple graph, then $tH$ denotes the graph obtained from $H$ by replacing each edge of $H$ by $t$ parallel edges. Then $ω_t(G)$ is the largest integer $n$ such that $G$ contains a $tK_n$ as a subgraph. Let $G$ be a graph belonging to $\mathcal{MG}_t$. Then $ω_t(G)\leq χ_t(G)$ and we say that $G$ is $χ_t$-perfect if every induced subgraph $H$ of $G$ satisfies $ω_t(H)=χ_t(H)$. Based on the Strong Perfect Graph Theorem due to Chudnowsky, Robertson, Seymour and Thomas, we give a characterization of $χ_t$-perfect graphs of $\mathcal{MG}_t$ by a set of forbidden induced subgraphs. We also discuss some complexity problems for the class of $χ_t$-critical graphs.
Concrete polytopes may not tile the space
Published in Mathematika, 66:4 (2020), 920-926
• View Publication
• BIB
Brandolini et al. conjectured that all concrete lattice polytopes can multitile the space. We disprove this conjecture in a strong form, by constructing an infinite family of counterexamples in $\mathbb{R}^3$.