Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Turán number of disjoint triangles in 4-partite graphs
Published
• View Publication
• BIB
Let $k\ge 2$ and $n_1\ge n_2\ge n_3\ge n_4$ be integers such that $n_4$ is sufficiently larger than $k$. We determine the maximum number of edges of a 4-partite graph with parts of sizes $n_1,\dots, n_4$ that does not contain $k$ vertex-disjoint triangles. For any $r> t\ge 3$, we give a conjecture on the maximum number of edges of an $r$-partite graph that does not contain $k$ vertex-disjoint cliques $K_t$.
Proper disconnection of graphs
Published
• View Publication
• BIB
For an edge-colored graph $G$, a set $F$ of edges of $G$ is called a \emph{proper cut} if $F$ is an edge-cut of $G$ and any pair of adjacent edges in $F$ are assigned by different colors. An edge-colored graph is \emph{proper disconnected} if for each pair of distinct vertices of $G$ there exists a proper edge-cut separating them. For a connected graph $G$, the \emph{proper disconnection number} of $G$, denoted by $pd(G)$, is the minimum number of colors that are needed in order to make $G$ proper disconnected. In this paper, we first give the exact values of the proper disconnection numbers for some special families of graphs. Next, we obtain a sharp upper bound of $pd(G)$ for a connected graph $G$ of order $n$, i.e, $pd(G)\leq \min\{ χ'(G)-1, \left \lceil \frac{n}{2} \right \rceil\}$. Finally, we show that for given integers $k$ and $n$, the minimum size of a connected graph $G$ of order $n$ with $pd(G)=k$ is $n-1$ for $k=1$ and $n+2k-4$ for $2\leq k\leq \lceil\frac{n}{2}\rceil$.
On Colourability of Polygon Visibility Graphs
We study the problem of colouring visibility graphs of polygons. In particular, for visibility graphs of simple polygons, we provide a polynomial algorithm for 4-colouring, and prove that the 5-colourability question is already NP-complete for them. For visibility graphs of polygons with holes, we prove that the 4-colourability question is NP-complete.
Locally Heavy Hyperplanes in Multiarrangements
Published in Journal of Pure and Applied Algebra Volume 226, Issue 1, January 2022
• View Publication
• BIB
Hyperplane Arrangements of rank $3$ admitting an unbalanced Ziegler restriction are known to fulfill Terao's conjecture. This long-standing conjecture asks whether the freeness of an arrangement is determined by its combinatorics. In this note, we prove that arrangements that admit a locally heavy flag satisfy Terao's conjecture which is a generalization of the statement above to arbitrary dimension. To this end, we extend results characterizing the freeness of multiarrangements with a heavy hyperplane to those satisfying the weaker notion of a locally heavy hyperplane. As a corollary, we give a new proof that irreducible arrangements with a generic hyperplane are totally non-free. In another application, we show that an irreducible multiarrangement of rank $3$ with at least two locally heavy hyperplanes is not free.
Correlation of a macroscopic dent in a wedge with mixed boundary conditions
Published
• View Publication
• BIB
As part of our ongoing work on the enumeration of symmetry classes of lozenge tilings of hexagons with certain four-lobed structures removed from their center, we consider the case of the tilings which are both vertically and horizontally symmetric. In order to handle this, we need an extension of Kuo's graphical condensation method, which works in the presence of free boundary. Our results allow us to compute exactly the correlation in a sea of dimers of a macroscopic dent in a 90 degree wedge with mixed boundary conditions. We use previous results to compute the correlation of the corresponding symmetrized system with no boundary, and show that its fourth root has the same log-asymptotics as the correlation of the dent in the 90 degree wedge. This is the first result of this kind involving a macroscopic defect. It suggests that the connections between dimer systems with gaps and 2D electrostatics may be deeper that previously thought.
Symmetries of shamrocks IV: The self-complementary case
Published
• View Publication
• BIB
In this paper we enumerate the centrally symmetric lozenge tilings of a hexagon with a shamrock removed from its center. Our proof is based on a variant of Kuo's graphical condensation method in which only three of the four involved vertices are on the same face. As a special case, we obtain a new proof of the enumeration of the self-complementary plane partitions.
Resonance graphs of catacondensed even ring systems
Published in Appl. Math. Comput. 374 (2020) 125064
• View Publication
• BIB
A catacondensed even ring system (shortly CERS) is a simple bipartite 2-connected outerplanar graph with all vertices of degree 2 or 3. In this paper, we investigate the resonance graphs (also called $Z$-transformation graphs) of CERS and firstly show that two even ring chains are resonantly equivalent iff their resonance graphs are isomorphic. As the main result, we characterize CERS whose resonance graphs are daisy cubes. In this way, we greatly generalize the result known for kinky benzenoid graphs. Finally, some open problems are also presented.
Triangles in $K_s$-saturated graphs with minimum degree $t$
Published
• View Publication
• BIB
For $n \geq 15$, we prove that the minimum number of triangles in an $n$-vertex $K_4$-saturated graph with minimum degree 4 is exactly $2n-4$, and that there is a unique extremal graph. This is a triangle version of a result of Alon, Erdős, Holzman, and Krivelevich from 1996. Additionally, we show that for any $s > r \geq 3$ and $t \geq 2 (s-2)+1$, there is a $K_s$-saturated $n$-vertex graph with minimum degree $t$ that has $\binom{ s-2}{r-1}2^{r-1} n + c_{s,r,t}$ copies of $K_r$. This shows that unlike the number of edges, the number of $K_r$'s ($r >2$) in a $K_s$-saturated graph is not forced to grow with the minimum degree, except for possibly in lower order terms.
Kirkman Systems that Attain the Upper Bound on the Minimum Block Sum, for Access Balancing in Distributed Storage
We study a class of combinatorial designs called Kirkman systems, and we show that infinitely many Kirkman systems are well-distributed in a precise sense. Steiner triple systems of order $n$ can achieve a minimum block sum of $n$. Kirkman triple systems form parallel classes from the blocks of Steiner triple systems. We prove that there are an infinite number of Kirkman triple systems that have a minimum block sum of $n$. We expand this to quadruple systems. These concepts can then be applied to distributed storage to spread data across the servers, and servers across locations, using Kirkman triple systems, while having data well distributed by popularity, measured by the minimum block sum.
Group divisible designs with block size four and type $g^u b^1 (gu/2)^1$
Published
• View Publication
• BIB
We discuss group divisible designs with block size four and type $g^u b^1 (gu/2)^1$, where $u = 5$, 6 and 7. For integers $a$ and $b$, we prove the following. (i) A 4-GDD of type $(4a)^5 b^1 (10a)^1$ exists if and only if $a \ge 1$, $b \equiv a$ (mod 3) and $4a \le b \le 10a$. (ii) A 4-GDD of type $(6a+3)^6 b^1 (18a+9)^1$ exists if and only if $a \ge 0$, $b \equiv 3$ (mod 6) and $6a+3 \le b \le 18a + 9$. (iii) A 4-GDD of type $(6a)^6 b^1 (18a)^1$ exists if and only if $a \ge 1$, $b \equiv 0$ (mod 3) and $6a \le b \le 18a$. (iv) A 4-GDD of type $(12a)^7 b^1 (42a)^1$ exists if and only if $a \ge 1$, $b \equiv 0$ (mod 3) and $12a \le b \le 42a$, except possibly for $12a \in \{120, 180, 240, 360, 420, 720, 840\}$, $24a < b < 42a$, for $12a \in \{144, 1008\}$, $30a < b < 42a$, and for $12a \in \{168, 252, 336, 504, 1512\}$, $36a < b < 42a$.
Signaletic operads
We introduce $k$-signaletic operads and their Koszul duals, generalizing the dendriform, diassociative and duplicial operads (which correspond to the $k=1$ case). We show that the Koszul duals of the $k$-signaletic operads act on multipermutations and that the resulting algebras are free, thus providing combinatorial models for these operads. Finally, motivated by these actions on multipermutations, we introduce similar operations on multiposets which yield yet another relevant operad obtained as Manin powers of the $L$-operad.
ECH capacities, Ehrhart theory, and toric varieties
Published in Journal of Symplectic Geometry, 19(2), 475-506. (2021)
• View Publication
• BIB
ECH capacities were developed by Hutchings to study embedding problems for symplectic $4$-manifolds with boundary. They have found especial success in the case of certain toric symplectic manifolds where many of the computations resemble calculations found in cohomology of $\mathbb{Q}$-line bundles on toric varieties, or in lattice point counts for rational polytopes. We formalise this observation in the case of convex toric lattice domains $X_Ω$ by constructing a natural polarised toric variety $(Y_{Σ(Ω)},D_Ω)$ containing the all the information of the ECH capacities of $X_Ω$ in purely algebro-geometric terms. Applying the Ehrhart theory of the polytopes involved in this construction gives some new results in the combinatorialisation and asymptotics of ECH capacities for convex toric domains.
All Terminal Reliability Roots of Smallest Modulus
Given a connected graph $G$ whose vertices are perfectly reliable and whose edges each fail independently with probability $q\in[0,1],$ the \textit{(all-terminal) reliability} of $G$ is the probability that the resulting subgraph of operational edges contains a spanning tree (this probability is always a polynomial in $q$). The location of the roots of reliability polynomials has been well studied, with particular interest in finding those with the largest moduli. In this paper, we will discuss a related problem -- among all reliability polynomials of graphs on $n$ vertices, which has a root of smallest modulus? We prove that, provided $n \geq 3$, the roots of smallest moduli occur precisely for the cycle graph $C_n$, and the root is unique.
Specialness and the Bose representation
This article looks at subconics of order $q$ of $PG(2,q^2)$ and characterizes them in the Bruck-Bose representation in $PG(4,q)$. In common with other objects in the Bruck-Bose representation, the characterisation uses the transversals of the regular line spread $S$ associated with the Bruck-Bose representation.By working in the Bose representation of $PG(2,q^2)$ in $PG(5,q)$, we give a geometric explanation as to why the transversals of the regular spread $S$ are intrinsic to the characterisation of varieties of $PG(2,q^2)$.
Conics in Baer subplanes
Published
• View Publication
• BIB
This article studies conics and subconics of $PG(2,q^2)$ and their representation in the André/Bruck-Bose setting in $PG(4,q)$. In particular, we investigate their relationship with the transversal lines of the regular spread. The main result is to show that a conic in a tangent Baer subplane of $PG(2,q^2)$ corresponds in $PG(4,q)$ to a normal rational curve that meets the transversal lines of the regular spread. Conversely, every 3 and 4-dimensional normal rational curve in $PG(4,q)$ that meets the transversal lines of the regular spread corresponds to a conic in a tangent Baer subplane of $PG(2,q^2)$.
A characterisation of Baer subplanes
Published
• View Publication
• BIB
Let $K$ be a set of $q^2+2q+1$ points in $PG(4,q)$. We show that if every 3-space meets $K$ in either one, two or three lines, a line and a non-degenerate conic, or a twisted cubic, then $K$ is a ruled cubic surface. Moreover, $K$ corresponds via the Bruck-Bose representation to a tangent Baer subplane of $PG(2,q^2)$. We use this to prove a characterisation in $PG(2,q^2)$ of a set of points $B$ as a tangent Baer subplane by looking at the intersections of $B$ with Baer-pencils.
A ruled quintic surface in $PG(6,q)$
Published
• View Publication
• BIB
In this article we look at a scroll of $PG(6,q)$ that uses a projectivity to rule a conic and a twisted cubic. We show this scroll is a ruled quintic surface $\mathcal V^5_2$, and study its geometric properties. The motivation in studying this scroll lies in its relationship with an $\mathbb F_q$-subplane of $PG(2,q^3)$ via the Bruck-Bose representation.
Characterising elliptic solids of $Q(4,q)$, $q$ even
Published
• View Publication
• BIB
Let $E$ be a set of solids (hyperplanes) in $PG(4,q)$, $q$ even, $q>2$, such that every point of $PG(4,q)$ lies in either $0$, $\frac12q^3$ or $\frac12(q^3-q^2)$ solids of $E$, and every plane of $PG(4,q)$ lies in either $0$, $\frac12q$ or $q$ solids of $E$. This article shows that $E$ is either the set of solids that are disjoint from a hyperoval, or the set of solids that meet a non-singular quadric $Q(4,q)$ in an elliptic quadric.
Characterising hyperbolic hyperplanes of a non-singular quadric in $PG(4,q)$
Published
• View Publication
• BIB
Let $H$ be a non-empty set of hyperplanes in $PG(4,q)$, $q$ even, such that every point of $PG(4,q)$ lies in either $0$, $\frac12q^3$ or $\frac12(q^3+q^2)$ hyperplanes of $ H$, and every plane of $PG(4,q)$ lies in $0$ or at least $\frac12q$ hyperplanes of $H$. Then $H$ is the set of all hyperplanes which meet a given non-singular quadric $Q(4,q)$ in a hyperbolic quadric.
Correlation decay and partition function zeros: Algorithms and phase transitions
Published
• View Publication
• BIB
We explore connections between the phenomenon of correlation decay and the location of Lee-Yang and Fisher zeros for various spin systems. In particular we show that, in many instances, proofs showing that weak spatial mixing on the Bethe lattice (infinite $Δ$-regular tree) implies strong spatial mixing on all graphs of maximum degree $Δ$ can be lifted to the complex plane, establishing the absence of zeros of the associated partition function in a complex neighborhood of the region in parameter space corresponding to strong spatial mixing. This allows us to give unified proofs of several recent results of this kind, including the resolution by Peters and Regts of the Sokal conjecture for the partition function of the hard core lattice gas. It also allows us to prove new results on the location of Lee-Yang zeros of the anti-ferromagnetic Ising model.
We show further that our methods extend to the case when weak spatial mixing on the Bethe lattice is not known to be equivalent to strong spatial mixing on all graphs. In particular, we show that results on strong spatial mixing in the anti-ferromagnetic Potts model can be lifted to the complex plane to give new zero-freeness results for the associated partition function. This extension allows us to give the first deterministic FPTAS for counting the number of $q$-colorings of a graph of maximum degree $Δ$ provided only that $q\ge 2Δ$. This matches the natural bound for randomized algorithms obtained by a straightforward application of Markov chain Monte Carlo. We also give an improved version of this result for triangle-free graphs.