Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Existence of ground state solutions to some Nonlinear Schrödinger equations on lattice graphs
Published
• View Publication
• BIB
In this paper, we study the nonlinear Schrödinger equation $ -Δu+V(x)u=f(x,u) $on the lattice graph $ \mathbb{Z}^{N}$. Using the Nehari method, we prove that when $f$ satisfies some growth conditions and the potential function $V$ is periodic or bounded, the above equation admits a ground state solution. Moreover, we extend our results from $\mathbb{Z}^{N}$ to quasi-transitive graphs.
Intersection numbers on tropical Hassett spaces
Published in Combinatorial Theory 2(3), 2022
• View Publication
• BIB
We study the intersection of tropical psi-classes on tropical heavy/light Hassett spaces, generalising a result of Kerber--Markwig for tropical moduli spaces of rational stable curves with distinct marked points. Our computation reveals that the weight of a maximal cone in an intersection has a combinatorial intepretation in terms of the underlying tropical curve and it is always nonnegative. In particular, our result specialises to that, in top dimension, the tropical intersection product coincides with its classical counterpart.
Derivatives and Integrals of Polynomials Associated with Integer Partitions
Published in Journal of Integer Sequences, Vol. 25 (2022), Article 22.5.1
• Search Publication
Integer partitions express the different ways that a positive integer may be written as a sum of positive integers. Here we explore the analytic properties of a new polynomial $f_λ(x)$ that we call the partition polynomial for the partition $λ$, with the aim to learn new properties of partitions. We prove a recursive formula for the derivatives of $f_λ(x)$ involving Stirling numbers of the second kind, show that the set of integrals from 0 to 1 of a normalized version of $f_λ(x)$ is dense in $[0,1/2]$, pose a few open questions, and formulate a conjecture relating the integral to the length of the partition. We also provide specific examples throughout to support our speculation that an in-depth analysis of partition polynomials could further strengthen our understanding of partitions.
Mixing colourings in $2K_2$-free graphs
Published
• View Publication
• BIB
The reconfiguration graph for the $k$-colourings of a graph $G$, denoted $R_{k}(G)$, is the graph whose vertices are the $k$-colourings of $G$ and two colourings are joined by an edge if they differ in colour on exactly one vertex. For any $k$-colourable $P_4$-free graph $G$, Bonamy and Bousquet proved that $R_{k+1}(G)$ is connected. In this short note, we complete the classification of the connectedness of $R_{k+1}(G)$ for a $k$-colourable graph $G$ excluding a fixed path, by constructing a $7$-chromatic $2K_2$-free (and hence $P_5$-free) graph admitting a frozen $8$-colouring. This settles a question of the second author.
Threshold Ramsey multiplicity for odd cycles
Published
• View Publication
• BIB
The Ramsey number $r(H)$ of a graph $H$ is the minimum $n$ such that any two-coloring of the edges of the complete graph $K_n$ contains a monochromatic copy of $H$. The threshold Ramsey multiplicity $m(H)$ is then the minimum number of monochromatic copies of $H$ taken over all two-edge-colorings of $K_{r(H)}$. The study of this concept was first proposed by Harary and Prins almost fifty years ago. In a companion paper, the authors have shown that there is a positive constant $c$ such that the threshold Ramsey multiplicity for a path or even cycle with $k$ vertices is at least $(ck)^k$, which is tight up to the value of $c$. Here, using different methods, we show that the same result also holds for odd cycles with $k$ vertices.
Threshold Ramsey multiplicity for paths and even cycles
Published
• View Publication
• BIB
The Ramsey number $r(H)$ of a graph $H$ is the minimum integer $n$ such that any two-coloring of the edges of the complete graph $K_n$ contains a monochromatic copy of $H$. While this definition only asks for a single monochromatic copy of $H$, it is often the case that every two-edge-coloring of the complete graph on $r(H)$ vertices contains many monochromatic copies of $H$. The minimum number of such copies over all two-colorings of $K_{r(H)}$ will be referred to as the threshold Ramsey multiplicity of $H$. Addressing a problem of Harary and Prins, who were the first to systematically study this quantity, we show that there is a positive constant $c$ such that the threshold Ramsey multiplicity of a path or an even cycle on $k$ vertices is at least $(ck)^k$. This bound is tight up to the constant $c$. We prove a similar result for odd cycles in a companion paper.
The Increasing Families of Sets Generated by Self-dual Clutters
Using the KKS inequalities, we establish bounds on the numbers of $k$-sets in the increasing families generated by self-dual clutters (i.e., clutters $\mathcal{A}$ that coincide with the blockers $\mathfrak{B}(\mathcal{A})$) on their ground set of even cardinality.
An algorithm for counting arcs in higher-dimensional projective space
Published
• View Publication
• BIB
An $n$ arc in $(k-1)$-dimensional projective space is a set of $n$ points so that no $k$ lie on a hyperplane. In 1988, Glynn gave a formula to count $n$-arcs in the projective plane in terms of simpler combinatorial objects called superfigurations. Several authors have used this formula to count $n$-arcs in the projective plane for $n \le 10$. In this paper, we determine a formula to count $n$-arcs in projective 3-space. We then use this formula to give exact expressions for the number of $n$-arcs in $\mathbb{P}^3(\mathbb{F}_q)$ for $n \le 7$, which are polynomial in $q$ for $n \le 6$ and quasipolynomial in $q$ for $n=7$. Lastly, we generalize to higher-dimensional projective space.
The tripartite-circle crossing number of graphs with two small partition classes
Published in Computing in Geometry and Topology, Vol. 3 No. 1 (2024), 9:1-9:21
• View Publication
• BIB
A tripartite-circle drawing of a tripartite graph is a drawing in the plane, where each part of a vertex partition is placed on one of three disjoint circles, and the edges do not cross the circles. The tripartite-circle crossing number of a tripartite graph is the minimum number of edge crossings among all its tripartite-circle drawings. We determine the exact value of the tripartite-circle crossing number of $K_{a,b,n}$, where $a,b\leq 2$.
The SDP value of random 2CSPs
We consider a very wide class of models for sparse random Boolean 2CSPs; equivalently, degree-2 optimization problems over~$\{\pm 1\}^n$. For each model $\mathcal{M}$, we identify the "high-probability value"~$s^*_{\mathcal{M}}$ of the natural SDP relaxation (equivalently, the quantum value). That is, for all $\varepsilon > 0$ we show that the SDP optimum of a random $n$-variable instance is (when normalized by~$n$) in the range $(s^*_{\mathcal{M}}-\varepsilon, s^*_{\mathcal{M}}+\varepsilon)$ with high probability. Our class of models includes non-regular CSPs, and ones where the SDP relaxation value is strictly smaller than the spectral relaxation value.
Self-dual polyhedra of given degree sequence
Published
• View Publication
• BIB
Given vertex valencies admissible for a self-dual polyhedral graph, we describe an algorithm to explicitly construct such a polyhedron. Inputting in the algorithm permutations of the degree sequence can give rise to non-isomorphic graphs.
As an application, we find as a function of $n\geq 3$ the minimal number of vertices for a self-dual polyhedron with at least one vertex of degree $i$ for each $3\leq i\leq n$, and construct such polyhedra. Moreover, we find a construction for non-self-dual polyhedral graphs of minimal order with at least one vertex of degree $i$ and at least one $i$-gonal face for each $3\leq i\leq n$.
A 1-Separation Formula for the Graph Kemeny Constant and Braess Edges
Published
• View Publication
• BIB
Kemeny's constant of a simple connected graph $G$ is the expected length of a random walk from $i$ to any given vertex $j \neq i$. We provide a simple method for computing Kemeny's constant for 1-separable via effective resistance methods from electrical network theory. Using this formula, we furnish a simple proof that the path graph on $n$ vertices maximizes Kemeny's constant for the class of undirected trees on $n$ vertices. Applying this method again, we simplify existing expressions for the Kemeny's constant of barbell graphs and demonstrate which barbell maximizes Kemeny's constant. This 1-separation identity further allows us to create sufficient conditions for the existence of Braess edges in 1-separable graphs. We generalize the notion of the Braess edge to Braess sets, collections of non-edges in a graph such that their addition to the base graph increases the Kemeny constant. We characterize Braess sets in graphs with any number of twin pendant vertices, generalizing work of Kirkland et.~al.~\cite{kirkland2016kemeny} and Ciardo \cite{ciardo2020braess}.
KK-like relations of $α^{\prime}$ corrections to disk amplitudes
Published in JHEP 03 (2022) 012
• View Publication
• BIB
Inspired by the definition of color-dressed amplitudes in string theory, we define analogous {\it color-dressed permutations} replacing the color-ordered string amplitudes by their corresponding permutations. Decomposing the color traces into symmetrized traces and structure constants, the color-dressed permutations define {\it BRST-invariant permutations}, which we show are elements of the inverse Solomon descent algebra and we find a closed formula for them. We then present evidence that these permutations encode KK-like relations among the different $α'$ corrections to disk amplitudes refined by their motivic MZV content. In particular, the number of linearly independent amplitudes at a given ${α^{\prime}}$ order and motivic MZV content is given by (sums of) Stirling cycle numbers. In addition, we show how the superfield expansion of BRST invariants of the pure spinor formalism corresponding to ${α^{\prime}}^2 f_2$ corrections is encoded in the descent algebra.
A note on extremal intersecting linear Ryser systems
A famous conjecture of Ryser states that any $r$-partite set system has transversal number at most $r-1$ times their matching number. This conjecture is only known to be true for $r\leq3$ in general, for $r\leq5$ if the set system is intersecting, and for $r\leq9$ if the intersecting set system is linear. In this note, we deal with Ryser's Conjecture for intersecting $r$-partite linear systems; that is, if $τ$ is the transversal number for an intersecting $r$-partite linear system, then Ryser's Conjecture states that $τ\leq r-1$. If this conjecture is true, this is known to be sharp for $r$ for which there exists a projective plane of order $r-1$. There has also been considerable effort to find intersecting $r$-partite set systems whose transversal number is $r-1$.
In this note, the following is proved: if $r\geq4$ is an even integer, then $f_l(r)\geq3(r-2)+1$, where $f_l(r)$ is the minimum number of lines of an intersecting $r$-partite linear system whose transversal number is $r-1$. This lower bound gives an exact value for $f_l(r)$, for some small values of $r$. Also, we prove that any $r$-partite linear system satisfies $τ\leq r-1$ if $ν_2\leq r$ for all $r\geq3$ odd integer and $ν_2\leq r-1$ for all $r\geq4$ even integer, where $ν_2$ is the maximum cardinality of a subset of lines $R\subseteq\mathcal{L}$ such that every triplet of different elements of $R$ does not have a common point.
Hamiltonicity of the Complete Double Vertex Graph of some Join Graphs
Published
• View Publication
• BIB
The complete double vertex graph $M_2(G)$ of $G$ is defined as the graph whose vertices are the $2$-multisubsets of $V(G)$, and two of such vertices are adjacent in $M_2(G)$ if their symmetric difference (as multisets) is a pair of adjacent vertices in $G$. In this paper we exhibit an infinite family of graphs $G$ (containing Hamiltonian and non-Hamiltonian graphs) for which $M_2(G)$ are Hamiltonian.
Approximate counting and sampling via local central limit theorems
Published
• View Publication
• BIB
We give an FPTAS for computing the number of matchings of size $k$ in a graph $G$ of maximum degree $Δ$ on $n$ vertices, for all $k \le (1-δ)m^*(G)$, where $δ>0$ is fixed and $m^*(G)$ is the matching number of $G$, and an FPTAS for the number of independent sets of size $k \le (1-δ) α_c(Δ) n$, where $α_c(Δ)$ is the NP-hardness threshold for this problem. We also provide quasi-linear time randomized algorithms to approximately sample from the uniform distribution on matchings of size $k \leq (1-δ)m^*(G)$ and independent sets of size $k \leq (1-δ)α_c(Δ)n$.
Our results are based on a new framework for exploiting local central limit theorems as an algorithmic tool. We use a combination of Fourier inversion, probabilistic estimates, and the deterministic approximation of partition functions at complex activities to extract approximations of the coefficients of the partition function. For our results for independent sets, we prove a new local central limit theorem for the hard-core model that applies to all fugacities below $λ_c(Δ)$, the uniqueness threshold on the infinite $Δ$-regular tree.
Induced subgraphs and tree decompositions II. Toward walls and their line graphs in graphs of bounded degree
Published in Journal of Combinatorial Theory, Series B, Volume 164, January 2024, Pages 371-403
• View Publication
• BIB
This paper is motivated by the following question: what are the unavoidable induced subgraphs of graphs with large treewidth? Aboulker et al. made a conjecture which answers this question in graphs of bounded maximum degree, asserting that for all $k$ and $Δ$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a subdivision of the $(k\times k)$-wall or the line graph of a subdivision of the $(k\times k)$-wall as an induced subgraph. We prove two theorems supporting this conjecture, as follows.
1. For $t\geq 2$, a $t$-theta is a graph consisting of two nonadjacent vertices and three internally disjoint paths between them, each of length at least $t$. A $t$-pyramid is a graph consisting of a vertex $v$, a triangle $B$ disjoint from $v$ and three paths starting at $v$ and disjoint otherwise, each joining $v$ to a vertex of $B$, and each of length at least $t$. We prove that for all $k,t$ and $Δ$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a $t$-theta, or a $t$-pyramid, or the line graph of a subdivision of the $(k\times k)$-wall as an induced subgraph. This affirmatively answers a question of Pilipczuk et al. asking whether every graph of bounded maximum degree and sufficiently large treewidth contains either a theta or a triangle as an induced subgraph (where a theta means a $t$-theta for some $t\geq 2$).
2. A subcubic subdivided caterpillar is a tree of maximum degree at most three whose all vertices of degree three lie on a path. We prove that for every $Δ$ and subcubic subdivided caterpillar $T$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a subdivision of $T$ or the line graph of a subdivision of $T$ as an induced subgraph.
$(k,H)$-kernels in nearly tournaments
Published
• View Publication
• BIB
Let $H$ be a digraph possibly with loops, $D$ a digraph without loops, and $ρ: A(D) \rightarrow V(H)$ a coloring of $A(D)$ ($D$ is said to be an $H$-colored digraph). If $W=(x_{0}, \ldots , x_{n})$ is a walk in $D$, and $i \in \{ 0, \ldots , n-1 \}$, we say that there is an obstruction on $x_{i}$ whenever $(ρ(x_{i-1}, x_{i}), ρ(x_{i}, x_{i+1})) \notin A(H)$ (when $x_{0} = x_{n}$ the indices are taken modulo $n$).
We denote by $O_{H}(W)$ the set $\{ i \in \{0, \ldots , n-1 \} :$ there is an obstruction on $x_{i} \}$. The $H$-length of $W$, denoted by $l_{H}(W)$, is defined by $|O_{H}(W)|+1$ whenever $x_{0} \neq x_{n}$, or $|O_{H}(W)|$ in other case.
A $(k, H)$-kernel of an $H$-colored digraph $D$ ($k \geq 2$) is a subset of vertices of $D$, say $S$, such that, for every pair of different vertices in $S$, every path between them has $H$-length at least $k$, and for every vertex $x \in V(D) \setminus S$ there exists an $xS$-path with $H$-length at most $k-1$. This concept widely generalize previous nice concepts as kernel, $k$-kernel, kernel by monochromatic paths, kernel by properly colored paths, and $H$-kernel.
In this paper, we will study the existence of $(k,H)$-kernels in interesting classes of digraphs, called nearly tournaments, which have been large and widely studied due its applications and theoretical results. We will show several conditions that guarantee the existence of $(k,H)$-kernel in tournaments, $r$-transitive digraphs, $r$-quasi-transitive digraphs, multipartite tournaments, and local tournaments.
On ($1,C_4$) one-factorization and two orthogonal ($2,C_4$) one-factorization of complete graphs
An one-factorization $\mathcal{F}$ of the complete graph $K_n$ is ($l,C_k$), where $l\geq0$ and $k\geq4$ are integers, if the union $F\cup G$, for any $F,G\in\mathcal{F}$, includes exactly $l$ (edge-disjoint) cycles of length $k$ ($lk\leq n$). Moreover, a pair of orthogonal one-factorizations $\mathcal{F}$ and $\mathcal{G}$ of the complete graph $K_n$ is ($l,C_k$) if the union $F\cup G$, for any $F\in\mathcal{F}$ and $G\in\mathcal{G}$, includes exactly $l$ cycles of length $k$. In this paper, we prove the following: if $q\equiv11$ (mod 24) is an odd prime power, then there is a ($1,C_4$) one-factorization of $K_{q+1}$. Also, there is a pair of orthogonal ($2,C_4$) one-factorization of $K_{q+1}$.
Inertia indices of a complex unit gain graph in terms of matching number
Published
• View Publication
• BIB
A complex unit gain graph is a triple $\varphi=(G, \mathbb{T}, \varphi)$ (or $G^{\varphi}$ for short) consisting of a simple graph $G$, as the underlying graph of $G^{\varphi}$, the set of unit complex numbers $\mathbb{T}={z\in \mathbb{C}: |z| = 1}$ and a gain function $\varphi: \overrightarrow{E}\rightarrow \mathbb{T}$ such that $\varphi(e_{i,j})=\varphi(e_{j,i}) ^{-1}$. Let $A(G^{\varphi})$ be adjacency matrix of $G^{\varphi}$. In this paper, we prove that $$m(G)-c(G)\leq p(G^{\varphi})\leq m(G)+c(G),$$ $$m(G)-c(G)\leq n(G^{\varphi})\leq m(G)+c(G),$$ where $p(G^{\varphi})$, $n(G^{\varphi})$, $m(G)$ and $c(G)$ are the number of positive eigenvalues of $A(G^{\varphi})$, the number of negative eigenvalues of $A(G^{\varphi})$, the matching number and the cyclomatic number of $G$, respectively. Furthermore, we characterize the graphs which attain the upper bounds and the lower bounds, respectively.