Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Cubic planar bipartite graphs are dispersable
A graph is called dispersable if it has a book embedding in which each page has maximum degree 1 and the number of pages is the maximum degree. Bernhart and Kainen conjectured every k-regular bipartite graph is dispersable. Forty years later, Alam, Bekos, Gronemann, Kaufmann, and Pupyrev have disproved this conjecture, identifying nonplanar 3- and 4-regular bipartite graphs that are not dispersable. They also proved all cubic planar bipartite 3-connected graphs are dispersable and conjectured that the connectivity condition could be relaxed. We prove that every cubic planar bipartite multigraph is dispersable. A postscript is added which includes new references.
On balanced $(Z_{4u}\times Z_{8v},\{4,5\},1)$ difference packings
Let $K$ be a set of positive integers and let $G$ be an additive group. A $(G, K, 1)$ difference packing is a set of subsets of $G$ with sizes from $K$ whose list of differences covers every element of $G$ at most once. It is balanced if the number of blocks of size $k\in K$ does not depend on $k$. In this paper, we determine a balanced $(Z_{4u}\times Z_{8v},{4,5},1)$ difference packing of the largest possible size whenever $uv$ is odd. The corresponding optimal balanced $(4u, 8v,\{4,5\},1)$ optical orthogonal signature pattern codes are also obtained.
Hamiltonicity: Variants and Generalization in $P_5$-free Chordal Bipartite graphs
A bipartite graph is chordal bipartite if every cycle of length at least six has a chord in it. M$\ddot{\rm u}$ller \cite {muller1996Hamiltonian} has shown that the Hamiltonian cycle problem is NP-complete on chordal bipartite graphs by presenting a polynomial-time reduction from the satisfiability problem. The microscopic view of the reduction instances reveals that the instances are $P_9$-free chordal bipartite graphs, and hence the status of Hamiltonicity in $P_8$-free chordal bipartite graphs is open. In this paper, we identify the first non-trivial subclass of $P_8$-free chordal bipartite graphs which is $P_5$-free chordal bipartite graphs, and present structural and algorithmic results on $P_5$-free chordal bipartite graphs. We investigate the structure of $P_5$-free chordal bipartite graphs and show that these graphs have a {\em Nested Neighborhood Ordering (NNO)}, a special ordering among its vertices. Further, using this ordering, we present polynomial-time algorithms for classical problems such as the Hamiltonian cycle (path), also the variants and generalizations of the Hamiltonian cycle (path) problem. We also obtain polynomial-time algorithms for treewidth (pathwidth), and minimum fill-in in $P_5$-free chordal bipartite graph. We also present some results on complement graphs of $P_5$-free chordal bipartite graphs.
Connected $k$-partition of $k$-connected graphs and $c$-claw-free graphs
A connected partition is a partition of the vertices of a graph into sets that induce connected subgraphs. Such partitions naturally occur in many application areas such as road networks, and image processing. We consider Balanced Connected Partitions (BCP), where the two classical objectives for BCP are to maximize the weight of the smallest, or minimize the weight of the largest component. We study BCP on c-claw-free graphs, the class of graphs that do not have $K_{1,c}$ as an induced subgraph, and present efficient (c-1)-approximation algorithms for both objectives. In particular, due to the (3-)claw-freeness of line graphs, this also implies a 2-approximations for the edge-partition version of BCP in general graphs.
In the 1970s Győri and Lovász showed for natural numbers $w_1,\dots,w_k$ where $\sum_i w_i$ is the vertex size, that if $G$ is k-connected, then there exist a connected k-partition with part sizes $w_1,\dots,w_k$. However, to this day no polynomial algorithm to compute such partitions exists for k>4. Towards finding such a partition $T_1,\dots, T_k$, we show how to efficiently compute connected partitions that at least approximately meet the target weights, subject to the mild assumption that each $w_i$ is greater than the weight of the heaviest vertex. In particular, we give a 3-approximation for both the lower and the upper bounded version i.e. we guarantee that each $T_i$ has weight at least $\frac{w_i}{3}$ or that each $T_i$ has weight most $3w_i$, respectively. Also, we present a both-side bounded version that produces a connected partition where each $T_i$ has size at least $\frac{w_i}{3}$ and at most $\max(\{r,3\}) w_i$, where $r \geq 1$ is the ratio between the largest and smallest value in $w_1, \dots, w_k$. In particular for the balanced version, i.e.~$w_1=w_2=, \dots,=w_k$, this gives a partition with $\frac{1}{3}w_i \leq w(T_i) \leq 3w_i$.
Strategy-indifferent games of best choice
Published
• View Publication
• BIB
The game of best choice (or "secretary problem") is a model for making an irrevocable decision among a fixed number of candidate choices that are presented sequentially in random order, one at a time. Because the classically optimal solution is known to reject an initial sequence of candidates, a paradox emerges from the fact that candidates have an incentive to position themselves immediately after this cutoff which challenges the assumption that candidates arrive in uniformly random order.
One way to resolve this is to consider games for which every (reasonable) strategy results in the same probability of success. In this work, we classify these "strategy-indifferent" games of best choice. It turns out that the probability of winning such a game is essentially the reciprocal of the expected number of left-to-right maxima in the full collection of candidate rank orderings. We present some examples of these games based on avoiding permutation patterns of size 3, which involves computing the distribution of left-to-right maxima in each of these pattern classes.
Metric dimension related parameters in graphs: A survey on combinatorial, computational and applied results
Topics concerning metric dimension related invariants in graphs are nowadays intensively studied. This compendium of combinatorial and computational results on this topic is an attempt of surveying those contributions that are of the highest interest for the research community dealing with several variants of metric dimension in graphs.
Extremal graphs without exponentially-small bicliques
Published
• View Publication
• BIB
The Turán problem asks for the largest number of edges in an $n$-vertex graph not containing a fixed forbidden subgraph $F$. We construct a new family of graphs not containing $K_{s,t}$, for $t= C^s$, with $Ω(n^{2-1/s})$ edges matching the upper bound of Kövári, Sós and Turán.
Blow-up algebras of secant varieties of rational normal scrolls
Published
• View Publication
• BIB
In this paper, we are mainly concerned with the blow-up algebras of the secant varieties of balanced rational normal scrolls. In the first part, we give implicit defining equations of their associated Rees algebras and fiber cones. Consequently, we can tell that the fiber cones are Cohen--Macaulay normal domains. Meanwhile, these fiber cones have rational singularities in characteristic zero, and are $F$-rational in positive characteristic. The Gorensteinness of the fiber cones can also be characterized. In the second part, we compute the Castelnuovo--Mumford regularities and $\mathbf{a}$-invariants of the fiber cones. We also present the reduction numbers of the ideals defined by the secant varieties.
Brauer and Jones tied monoids
Published
• View Publication
• BIB
We introduce a ramified monoid, attached to each Brauer--type monoid, that is, to the symmetric group, to the Jones and Brauer monoids among others. Ramified monoids correspond to a class of tied monoids which arise from knot theory and are interesting in itself. The ramified monoid attached to the symmetric group is the Coxeter-like version of the so--called tied braid monoid. We give a presentation of the ramified monoid attached to the Brauer monoid. Also, we introduce and studied two tied-like monoids that cannot be described as ramified monoids. However, these monoids can also be regarded as tied versions of the Jones and Brauer monoids.
Borel chain conditions of Borel posets
Published
• View Publication
• BIB
We study the coarse classification of partial orderings using chain conditions in the context of descriptive combinatorics. We show that (unlike the Borel counterpart of many other combinatorics), we have a distinct hierarchy of different chain conditions, similar to the classical case.
Adaptable and conflict colouring multigraphs with no cycles of length three or four
Published
• View Publication
• BIB
The adaptable choosability of a multigraph $G$, denoted $\mathrm{ch}_a(G)$, is the smallest integer $k$ such that any edge labelling, $τ$, of $G$ and any assignment of lists of size $k$ to the vertices of $G$ permits a list colouring, $σ$, of $G$ such that there is no edge $e = uv$ where $τ(e) = σ(u) = σ(v)$. Here we show that for a multigraph $G$ with maximum degree $Δ$ and no cycles of length 3 or 4, $\mathrm{ch}_a(G) \leq (2\sqrt{2}+o(1))\sqrt{Δ/\lnΔ}$. Under natural restrictions we can show that the same bound holds for the conflict choosability of $G$, which is a closely related parameter defined by Dvořák, Esperet, Kang and Ozeki [arXiv:1803.10962].
Combinatorial mutations of Newton-Okounkov polytopes arising from plabic graphs
Published
• View Publication
• BIB
It is known that the homogeneous coordinate ring of a Grassmannian has a cluster structure, which is induced from the combinatorial structure of a plabic graph. A plabic graph is a certain bipartite graph described on the disk, and there is a family of plabic graphs giving a cluster structure of the same Grassmannian. Such plabic graphs are related by the operation called square move which can be considered as the mutation in cluster theory. By using a plabic graph, we also obtain the Newton--Okounkov polytope which gives a toric degeneration of the Grassmannian. The purposes of this article is to survey these phenomena and observe the behavior of Newton--Okounkov polytopes under the operation called the combinatorial mutation of polytopes. In particular, we reinterpret some operations defined for Newton--Okounkov polytopes using the combinatorial mutation.
Nordhaus-Guddum type results for the Steiner Gutman index of graphs
Published
• View Publication
• BIB
Building upon the notion of Gutman index $\operatorname{SGut}(G)$, Mao and Das recently introduced the Steiner Gutman index by incorporating Steiner distance for a connected graph $G$. The \emph{Steiner Gutman $k$-index} $\operatorname{SGut}_k(G)$ of $G$ is defined by $\operatorname{SGut}_k(G)$ $=\sum_{S\subseteq V(G), \ |S|=k}\left(\prod_{v\in S}deg_G(v)\right) d_G(S)$, in which $d_G(S)$ is the Steiner distance of $S$ and $deg_G(v)$ is the degree of $v$ in $G$. In this paper, we derive new sharp upper and lower bounds on $\operatorname{SGut}_k$, and then investigate the Nordhaus-Gaddum-type results for the parameter $\operatorname{SGut}_k$. We obtain sharp upper and lower bounds of $\operatorname{SGut}_k(G)+\operatorname{SGut}_k(\overline{G})$ and $\operatorname{SGut}_k(G)\cdot \operatorname{SGut}_k(\overline{G})$ for a connected graph $G$ of order $n$, $m$ edges and maximum degree $Δ$, minimum degree $δ$.
Lagrangian fillings for Legendrian links of affine type
We prove that there are at least as many exact embedded Lagrangian fillings as seeds for Legendrian links of affine type $\tilde{\mathsf{D}} \tilde{\mathsf{E}}$. We also provide as many Lagrangian fillings with certain symmetries as seeds of type $\tilde{\mathsf{B}}_n$, $\tilde{\mathsf{F}}_4$, $\tilde{\mathsf{G}}_2$, and $\mathsf{E}_6^{(2)}$. These families are the first known Legendrian links with infinitely many fillings that exhaust all seeds in the corresponding cluster structures. Furthermore, we show that Legendrian realization of Coxeter mutation of type $\tilde{\mathsf{D}}$ corresponds to the Legendrian loop considered by Casals and Ng.
A mathematical model of network elastoplasticity
Published in Proc. R. Soc. A 478 (2022), 20210828
• View Publication
• BIB
We introduce a mathematical model, based on networks, for the elasticity and plasticity of materials. We define the tension tensor for a periodic graph in a Euclidean space, and we show that the tension tensor expresses elasticity under deformation. Plasticity is induced by local moves on a graph. The graph is described in terms of the weights of edges, and we discuss how these weights affect the plasticity.
On the Number of $k-$Matchings in Graphs
Published
• View Publication
• BIB
Suppose $G$ is a undirected simple graph. A $k-$subset of edges in $G$ without common vertices is called a $k-$matching and the number of such subsets is denoted by $p(G,k)$. The aim of this paper is to present exact formulas for $p(G,3)$, $p(G,4)$ and $P(G,5)$ in terms of some degree-based invariants.
A further generalisation of bar-core partitions
Published
• View Publication
• BIB
When $p$ and $q$ are coprime odd integers no less than 3, Olsson proved that the $q$-bar-core of a $p$-bar-core is again a $p$-bar-core. We establish a generalisation of this theorem: that the $p$-bar-weight of the $q$-bar-core of a bar partition $λ$ is at most the $p$-bar-weight of $λ$. We go on to study the set of bar partitions for which equality holds and show that it is a union of orbits for an action of a Coxeter group of type $\tilde C_{\tfrac{(p-1)}{2}}\times\tilde C_{\tfrac{(q-1)}{2}}$. We also provide an algorithm for constucting a bar partition in this set with a given $p$-bar-core and $q$-bar-core.
New bounds for Ramsey numbers $R(K_k-e,K_l-e)$
Let $R(H_1,H_2)$ denote the Ramsey number for the graphs $H_1, H_2$, and let $J_k$ be $K_k{-}e$. We present algorithms which enumerate all circulant and block-circulant Ramsey graphs for different types of graphs, thereby obtaining several new lower bounds on Ramsey numbers including: $49 \leq R(K_3,J_{12})$, $36 \leq R(J_4,K_8)$, $43 \leq R(J_4,J_{10})$, $52 \leq R(K_4,J_8)$, $37 \leq R(J_5,J_6)$, $43 \leq R(J_5,K_6)$, $65\leq R(J_5,J_7)$. We also use a gluing strategy to derive a new upper bound on $R(J_5,J_6)$. With both strategies combined, we prove the value of two Ramsey numbers: $R(J_5,J_6)=37$ and $R(J_5,J_7)=65$. We also show that the 64-vertex extremal Ramsey graph for $R(J_5,J_7)$ is unique. Furthermore, our algorithms also allow to establish new lower bounds and exact values on Ramsey numbers involving wheel graphs and complete bipartite graphs, including: $R(W_7,W_4) = 21$, $R(W_7,W_7) = 19$, $R(K_{3,4},K_{3,4}) = 25$, and $R(K_{3,5}, K_{3,5})=33$.
Integrability of orthogonal projections, and applications to Furstenberg sets
Let $\mathcal{G}(d,n)$ be the Grassmannian manifold of $n$-dimensional subspaces of $\mathbb{R}^{d}$, and let $π_{V} \colon \mathbb{R}^{d} \to V$ be the orthogonal projection. We prove that if $μ$ is a compactly supported Radon measure on $\mathbb{R}^{d}$ satisfying the $s$-dimensional Frostman condition $μ(B(x,r)) \leq Cr^{s}$ for all $x \in \mathbb{R}^{d}$ and $r > 0$, then $$\int_{\mathcal{G}(d,n)} \|π_{V}μ\|_{L^{p}(V)}^{p} \, dγ_{d,n}(V) < \infty, \qquad 1 \leq p < \frac{2d - n - s}{d - s}.$$ The upper bound for $p$ is sharp, at least, for $d - 1 \leq s \leq d$, and every $0 < n < d$.
Our motivation for this question comes from finding improved lower bounds on the Hausdorff dimension of $(s,t)$-Furstenberg sets. For $0 \leq s \leq 1$ and $0 \leq t \leq 2$, a set $K \subset \mathbb{R}^{2}$ is called an $(s,t)$-Furstenberg set if there exists a $t$-dimensional family $\mathcal{L}$ of affine lines in $\mathbb{R}^{2}$ such that $\dim_{\mathrm{H}} (K \cap \ell) \geq s$ for all $\ell \in \mathcal{L}$. As a consequence of our projection theorem in $\mathbb{R}^{2}$, we show that every $(s,t)$-Furstenberg set $K \subset \mathbb{R}^{2}$ with $1 < t \leq 2$ satisfies $$\dim_{\mathrm{H}} K \geq 2s + (1 - s)(t - 1).$$ This improves on previous bounds for pairs $(s,t)$ with $s > \tfrac{1}{2}$ and $t \geq 1 + ε$ for a small absolute constant $ε> 0$. We also prove a higher dimensional analogue of this estimate for codimension-1 Furstenberg sets in $\mathbb{R}^{d}$. As another corollary of our method, we obtain a $δ$-discretised sum-product estimate for $(δ,s)$-sets. Our bound improves on a previous estimate of Chen for every $\tfrac{1}{2} < s < 1$, and also of Guth-Katz-Zahl for $s \geq 0.5151$.
Representations and identities of plactic-like monoids
Published
• View Publication
• BIB
We exhibit faithful representations of the hypoplactic, stalactic, taiga, sylvester, Baxter and right patience sorting monoids of each finite rank as monoids of upper triangular matrices over any semiring from a large class including the tropical semiring and fields of characteristic $0$. By analysing the image of these representations, we show that the variety generated by a single hypoplactic (respectively, stalactic or taiga) monoid of rank at least $2$ coincides with the variety generated by the natural numbers together with a fixed finite monoid $\mathcal{H}$ (respectively, $\mathcal{F}$) forming a proper subvariety of the variety generated by the plactic monoid of rank $2$.