Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Maximum cuts in edge-colored graphs
Published
• View Publication
• BIB
The input of the Maximum Colored Cut problem consists of a graph $G=(V,E)$ with an edge-coloring $c:E\to \{1,2,3,\ldots , p\}$ and a positive integer $k$, and the question is whether $G$ has a nontrivial edge cut using at least $k$ colors. The Colorful Cut problem has the same input but asks for a nontrivial edge cut using all $p$ colors. Unlike what happens for the classical Maximum Cut problem, we prove that both problems are NP-complete even on complete, planar, or bounded treewidth graphs. Furthermore, we prove that Colorful Cut is NP-complete even when each color class induces a clique of size at most 3, but is trivially solvable when each color induces a $K_2$. On the positive side, we prove that Maximum Colored Cut is fixed-parameter tractable when parameterized by either $k$ or $p$, by constructing a cubic kernel in both cases.
On the geography of line arrangements
This is a short note on various results about the combinatorial properties of line arrangements in terms of the Chern numbers of the corresponding log surfaces. This resembles the study of the geography of surfaces of general type. We prove some new results about the distribution of Chern slopes, we prove a connection between their accumulation points and the accumulation points of linear $H$-constants on the plane, and we present two open problems in relation to geography over $\mathbb Q$ and over $\mathbb C$.
Asymptotics for the number of standard tableaux of skew shape and for weighted lozenge tilings
Published
• View Publication
• BIB
We prove and generalize a conjecture in arXiv:1610.0474(4) about the asymptotics of $\frac{1}{\sqrt{n!}} f^{λ/μ}$, where $f^{λ/μ}$ is the number of standard Young tableaux of skew shape $λ/μ$ which have stable limit shape under the $1/\sqrt{n}$ scaling. The proof is based on the variational principle on the partition function of certain weighted lozenge tilings.
An Updated Experimental Evaluation of Graph Bipartization Methods
Published
• View Publication
• BIB
We experimentally evaluate the practical state-of-the-art in graph bipartization (Odd Cycle Transversal), motivated by recent advances in near-term quantum computing hardware and the related embedding problems. We assemble a preprocessing suite of fast input reduction routines from the Odd Cycle Transversal (OCT) and Vertex Cover (VC) literature, and compare algorithm implementations using Quadratic Unconstrained Binary Optimization problems from the quantum literature. We also generate a corpus of frustrated cluster loop graphs, which have previously been used to benchmark quantum annealing hardware. The diversity of these graphs leads to harder OCT instances than in existing benchmarks.
In addition to combinatorial branching algorithms for solving OCT directly, we study various reformulations into other NP-hard problems such as VC and Integer Linear Programming (ILP), enabling the use of solvers such as CPLEX. We find that for heuristic solutions with time constraints under a second, iterative compression routines jump-started with a heuristic solution perform best, after which point using a highly tuned solver like CPLEX is worthwhile. Results on exact solvers are split between using ILP formulations on CPLEX and solving VC formulations with a branch-and-reduce solver. We extend our results with a large corpus of synthetic graphs, establishing robustness and potential to generalize to other domain data. In total, over 8000 graph instances are evaluated, compared to the previous canonical corpus of 100 graphs.
Finally, we provide all code and data in an open source suite, including a Python API for accessing reduction routines and branching algorithms, along with scripts for fully replicating our results.
A spectral version of the Moore problem for bipartite regular graphs
Let $b(k,θ)$ be the maximum order of a connected bipartite $k$-regular graph whose second largest eigenvalue is at most $θ$. In this paper, we obtain a general upper bound for $b(k,θ)$ for any $0\leq θ< 2\sqrt{k-1}$. Our bound gives the exact value of $b(k,θ)$ whenever there exists a bipartite distance-regular graph of degree $k$, second largest eigenvalue $θ$, diameter $d$ and girth $g$ such that $g\geq 2d-2$. For certain values of $d$, there are infinitely many such graphs of various valencies $k$. However, for $d=11$ or $d\geq 15$, we prove that there are no bipartite distance-regular graphs with $g\geq 2d-2$.
State Diagrams of a Class of Singular LFSR and Their Applications to the Construction of de Bruijn Cycles
The state diagrams of a class of singular linear feedback shift registers (LFSR) are discussed. It is shown that the state diagrams of the given LFSR have special structures. An algorithm is presented to construct a new class of de Bruijn cycles from the state diagrams of these singular LFSR.
Cayley graphs of order kp are hamiltonian for k < 48
Published in Art Discrete Appl. Math. 3 (2020), no. 2, Paper No. 2.02, 17 pp
• View Publication
• BIB
We provide a computer-assisted proof that if G is any finite group of order kp, where k < 48 and p is prime, then every connected Cayley graph on G is hamiltonian (unless kp = 2). As part of the proof, it is verified that every connected Cayley graph of order less than 48 is either hamiltonian connected or hamiltonian laceable (or has valence less than three).
The chromatic number of the plane is at least 5 - a new proof
Published
• View Publication
• BIB
We present an alternate proof of the fact that given any 4-coloring of the plane there exist two points unit distance apart which are identically colored.
Characteristic quasi-polynomials of ideals and signed graphs of classical root systems
Published in European Journal of Combinatorics, 79 (2019), 179-192
• View Publication
• BIB
With a main tool is signed graphs, we give a full description of the characteristic quasi-polynomials of ideals of classical root systems ($ABCD$) with respect to the integer and root lattices. As a result, we obtain a full description of the characteristic polynomials of the toric arrangements defined by these ideals. As an application, we provide a combinatorial verification to the fact that the characteristic polynomial of every ideal subarrangement factors over the dual partition of the ideal in the classical cases.
Matching on a line
Matching is a method of the design of experiments. If we had an even number of patients and wanted to form pairs of patients such that their ages, for example, in each pair be as close as possible, we would use nonbipartite matching. Not only do we present a fast method to do this, we also extend our approach to triples, quadruples, etc.
In part 1 a matching algorithm uses kn points on a line as vertices, pairs of vertices as edges, and either absolute values of differences or the squares of differences as weights or distances. It forms n of k-tuples with the minimal sum of distances within each k-tuple in O(n log n) time.
In part 2 we present a trivial algorithm for bipartite matching with absolute values or squares of differences as weights and a generalisation to tripartite matching on tripartite graphs.
The complement of a subspace in a classical polar space
Published
• View Publication
• BIB
In a polar space, embeddable into a projective space, we fix a subspace, that is contained in some hyperplane. The complement of that subspace resembles a slit space or a semiaffine space. We prove that under some assumptions the ambient polar space can be recovered in this complement.
A proof of the Murnaghan--Nakayama rule using Specht modules and tableau combinatorics
Published
• View Publication
• BIB
The Murnaghan--Nakayama rule is a combinatorial rule for the character values of symmetric groups. We give a new combinatorial proof by explicitly finding the trace of the representing matrices in the standard basis of Specht modules. This gives an essentially bijective proof of the rule. A key lemma is an extension of a straightening result proved by the second author to skew-tableaux. Our module theoretic methods also give short proofs of Pieri's rule and Young's rule.
Some results on the palette index of graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (May 11, 2019) dmtcs:4509
• View Publication
• BIB
Given a proper edge coloring $\varphi$ of a graph $G$, we define the palette $S_{G}(v,\varphi)$ of a vertex $v \in V(G)$ as the set of all colors appearing on edges incident with $v$. The palette index $\check s(G)$ of $G$ is the minimum number of distinct palettes occurring in a proper edge coloring of $G$. In this paper we give various upper and lower bounds on the palette index of $G$ in terms of the vertex degrees of $G$, particularly for the case when $G$ is a bipartite graph with small vertex degrees. Some of our results concern $(a,b)$-biregular graphs; that is, bipartite graphs where all vertices in one part have degree $a$ and all vertices in the other part have degree $b$. We conjecture that if $G$ is $(a,b)$-biregular, then $\check{s}(G)\leq 1+\max\{a,b\}$, and we prove that this conjecture holds for several families of $(a,b)$-biregular graphs. Additionally, we characterize the graphs whose palette index equals the number of vertices.
Kruskal-Katona type Problem
The Kruskal Katona theorem was proved in the 1960s. In the theorem, we are given an integer $r$ and families of sets $\mathcal{A}\subset \mathbb{N}^{(r)}$ and $\mathcal{B}\subset\mathbb{N}^{(r-1)}$ such that for every $A\in\mathcal{A}$, every subset of $A$ of size $r-1$ is in $\mathcal{B}$. We are interested in finding the mimimum size of $b=|\mathcal{B}|$ given fixed values of $r$ and $a=|\mathcal{A}|$. The Kruskal Katona theorem states that this mimimum occurs when both $\mathcal{A}$ and $\mathcal{B}$ are initial segments of the colexicographic ordering. The Kruskal Katona theorem is very useful and has had many applications and generalisations.
In this paper, we are interested in one particular generalisation, where instead of every subset of $A$ of size $r-1$ being in $\mathcal{B}$, we will instead ask that only $k$ of them are, where $k$ is some integer smaller than $r$. Note that setting $k=r$ is exactly the Kruskal Katona theorem. We will first find exact results for the cases where $0\leq k \leq 3$. For $k\geq 4$ we will not solve the question completely, however, we will find the exact result for infinitely many $a$. We will also provide a formula that is within some additive constant of the correct result for all $a$.
Decomposition of tensor products of Demazure crystals
Published
• View Publication
• BIB
A Demazure crystal is the basis at $q=0$ of a Demazure module. Demazure crystals play an important role in Schubert calculus because the character of a Demazure crystal in type A is identical to a key polynomial, which is closely related to Schubert polynomials. In this paper, we study tensor products of Demazure crystals. Each connected component of a tensor product of Demazure crystals need not be isomorphic to some Demazure crystal. We provide a necessary and sufficient condition for every connected component of a tensor product to be isomorphic to some Demazure crystal. Also, we obtain the explicit formula for connected components. As applications, we study the positivity for structure constants of products of key polynomials, and we obtain an equation of crystals, which is an analog of the Leibniz rule for Demazure operators.
Erdős-Pósa property for labelled minors: 2-connected minors
Published
• View Publication
• BIB
In the 1960s, Erdős and Pósa proved that there is a packing-covering duality for cycles in graphs. As part of the graph minor project, Robertson and Seymour greatly extended this: there is such a duality for $H$-expansions in graphs if and only if $H$ is a planar graph (this includes the previous result for $H=K_3$). We consider vertex labelled graphs and minors and provide such a characterisation for $2$-connected labelled graphs $H$.
On the Schur expansion of Jack polynomials
Published in Séminaire Lotharingien de Combinatoire, 80B, No. 90, (2018)
• Search Publication
We present positivity conjectures for the Schur expansion of Jack symmetric functions in two bases given by binomial coefficients. Partial results suggest that there are rich combinatorics to be found in these bases, including Eulerian numbers, Stirling numbers, quasi-Yamanouchi tableaux, and rook boards. These results also lead to further conjectures about the fundamental quasisymmetric expansions of these bases, which we prove for special cases.
${\rm{TS}}(v,λ)$ with cyclic 2-intersecting Gray codes: $v\equiv 0$ or $4\pmod{12}$
Published
• View Publication
• BIB
A ${\rm{TS}}(v,λ)$ is a pair $(V,\mathcal{B})$ where $V$ contains $v$ points and $\mathcal{B}$ contains $3$-element subsets of $V$ so that each pair in $V$ appears in exactly $λ$ blocks. A $2$-block intersection graph ($2$-BIG) of a ${\rm{TS}}(v,λ)$ is a graph where each vertex is represented by a block from the ${\rm{TS}}(v,λ)$ and each pair of blocks $B_i,B_j\in \mathcal{B}$ are joined by an edge if $|B_i\cap B_j|=2$. Using constructions for ${\rm{TS}}(v,λ)$ given by Schreiber, we show that there exists a ${\rm{TS}}(v,λ)$ for $v\equiv 0$ or $4\pmod{12}$ whose $2$-BIG is Hamiltonian.
Planar diagrams for local invariants of graphs in surfaces
Published in Journal of Knot Theory and Its Ramifications, Vol. 29, No. 01, 1950093 (2020)
• View Publication
• BIB
In order to apply quantum topology methods to nonplanar graphs, we define a planar diagram category that describes the local topology of embeddings of graphs into surfaces. These \emph{virtual graphs} are a categorical interpretation of ribbon graphs. We describe an extension of the flow polynomial to virtual graphs, the $S$-polynomial, and formulate the $\mathfrak{sl}(N)$ Penrose polynomial for non-cubic graphs, giving contraction-deletion relations. The $S$-polynomial is used to define an extension of the Yamada polynomial to virtual spatial graphs, and with it we obtain a sufficient condition for non-classicality of virtual spatial graphs. We conjecture the existence of local relations for the $S$-polynomial at squares of integers.
Vertex-minors and the Erdős-Hajnal conjecture
Published in Discrete Math, 341 (2018), 3498-3499
• View Publication
• BIB
We prove that for every graph $H$, there exists $\varepsilon>0$ such that every $n$-vertex graph with no vertex-minors isomorphic to $H$ has a pair of disjoint sets $A$, $B$ of vertices such that $|A|, |B|\ge \varepsilon n$ and $A$ is complete or anticomplete to $B$. We deduce this from recent work of Chudnovsky, Scott, Seymour, and Spirkl (2018). This proves the analog of the Erdős-Hajnal conjecture for vertex-minors.