Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Edge Elimination in TSP Instances
Published
• View Publication
• BIB
The Traveling Salesman Problem is one of the best studied NP-hard problems in combinatorial optimization. Powerful methods have been developed over the last 60 years to find optimum solutions to large TSP instances. The largest TSP instance so far that has been solved optimally has 85,900 vertices. Its solution required more than 136 years of total CPU time using the branch-and-cut based Concorde TSP code [1]. In this paper we present graph theoretic results that allow to prove that some edges of a TSP instance cannot occur in any optimum TSP tour. Based on these results we propose a combinatorial algorithm to identify such edges. The runtime of the main part of our algorithm is $O(n^2 \log n)$ for an n-vertex TSP instance. By combining our approach with the Concorde TSP solver we are able to solve a large TSPLIB instance more than 11 times faster than Concorde alone.
Picker-Chooser fixed graph games
Published
• View Publication
• BIB
Given a fixed graph $H$ and a positive integer $n$, a Picker-Chooser $H$-game is a biased game played on the edge set of $K_n$ in which Picker is trying to force many copies of $H$ and Chooser is trying to prevent him from doing so. In this paper we conjecture that the value of the game is roughly the same as the expected number of copies of $H$ in the random graph $G(n,p)$ and prove our conjecture for special cases of $H$ such as complete graphs and trees.
Analysis of the parallel peeling algorithm: a short proof
A recent paper by Jiang, Mitzenmacher and Thaler upper bounded the number of rounds needed in a parallel peeling algorithm applied to a random hypergraph whose edge density is below the k-core emergence threshold. I gave a very short proof of their result in this note.
Some non-standard ways to generate SIC-POVMs in dimensions 2 and 3
The notion of Symmetric Informationally Complete Positive Operator-Valued Measures (SIC-POVMs) arose in physics as a kind of optimal measurement basis for quantum systems. However the question of their existence is equivalent to that of the existence of a maximal set of \emph{complex equiangular lines}. That is to say, given a complex Hilbert space of dimension $d$, what is the maximal number of (complex) lines one can find which all make a common (real) angle with one another, in the sense that the inner products between unit vectors spanning those lines all have a common absolute value? A maximal set would consist of $d^2$ lines all with a common angle of $\arccos{\frac{1}{\sqrt{d+1}}}$. The same question has been posed in the real case and some partial answers are known. But at the time of writing no unifying theoretical result has been found in the real or the complex case: some sporadic low-dimensional numerical constructions have been converted into algebraic solutions but beyond this very little is known. It is conjectured that such structures always arise as orbits of certain fiducial vectors under the action of the Weyl (or generalised Pauli) group. In this paper we point out some new construction methods in the lowest dimensions ($d=2$ and $d=3$). We should mention that the SIC-POVMs so constructed are all unitarily equivalent to previously known SIC-POVMs.
Enumerations of (K_4-e)-designs with small orders
Published in Quaderni di Matematica, 28(2013), 237-256
• Search Publication
It is established that up to isomorphism,there are only one (K_4-e)-design of order 6, three (K_4-e)-designs of order 10 and two (K_4-e)-designs of order 11. As an application of our enumerative results, we discuss the fine triangle intersection problem for (K_4-e)-designs of orders v=6,10,11.
Uniqueness of Butson Hadamard matrices of small degrees
Published
• View Publication
• BIB
For positive integers $m$ and $n$, we denote by $\mathrm{BH}(m,n)$ the set of all $H\in M_{n\times n}(\mathbb{C})$ such that $HH^\ast=nI_n$ and each entry of $H$ is an $m$-th root of unity where $H^\ast$ is the adjoint matrix of $H$ and $I_n$ is the identity matrix.
For $H_1,H_2\in \mathrm{BH}(m,n)$ we say that $H_1$ is \textit{equivalent} to $H_2$ if $H_1=PH_2 Q$ for some monomial matrices $P, Q$ whose nonzero entries are $m$-th roots of unity.
In this paper we classify $\mathrm{BH}(17,17)$ up to equivalence by computer search.
Analyzing Cascading Failures in Smart Grids under Random and Targeted Attacks
Published
• View Publication
• BIB
We model smart grids as complex interdependent networks, and study targeted attacks on smart grids for the first time. A smart grid consists of two networks: the power network and the communication network, interconnected by edges. Occurrence of failures (attacks) in one network triggers failures in the other network, and propagates in cascades across the networks. Such cascading failures can result in disintegration of either (or both) of the networks. Earlier works considered only random failures. In practical situations, an attacker is more likely to compromise nodes selectively.
We study cascading failures in smart grids, where an attacker selectively compromises the nodes with probabilities proportional to their degrees; high degree nodes are compromised with higher probability. We mathematically analyze the sizes of the giant components of the networks under targeted attacks, and compare the results with the corresponding sizes under random attacks. We show that networks disintegrate faster for targeted attacks compared to random attacks. A targeted attack on a small fraction of high degree nodes disintegrates one or both of the networks, whereas both the networks contain giant components for random attack on the same fraction of nodes.
Lower bounds on maximal determinants of binary matrices via the probabilistic method
Let $D(n)$ be the maximal determinant for $n \times n$ $\{\pm 1\}$-matrices, and ${\mathcal R}(n) = D(n)/n^{n/2}$ be the ratio of $D(n)$ to the Hadamard upper bound. We give several new lower bounds on ${\mathcal R}(n)$ in terms of $d$, where $n = h+d$, $h$ is the order of a Hadamard matrix, and $h$ is maximal subject to $h \le n$. A relatively simple bound is \[{\mathcal R}(n) \ge \left(\frac{2}{πe}\right)^{d/2}
\left(1 - d^2\left(\fracπ{2h}\right)^{1/2}\right)
\;\text{ for all }\; n \ge 1.\] An asymptotically sharper bound is \[{\mathcal R}(n) \ge \left(\frac{2}{πe}\right)^{d/2}
\exp\left(d\left(\fracπ{2h}\right)^{1/2} +
\; O\left(\frac{d^{5/3}}{h^{2/3}}\right)\right).\] We also show that \[{\mathcal R}(n) \ge \left(\frac{2}{πe}\right)^{d/2}\] if $n \ge n_0$ and $n_0$ is sufficiently large, the threshold $n_0$ being independent of $d$, or for all $n\ge 1$ if $0 \le d \le 3$ (which would follow from the Hadamard conjecture). The proofs depend on the probabilistic method, and generalise previous results that were restricted to the cases $d=0$ and $d=1$.
Computational Aspects of the Combinatorial Nullstellensatz Method
We discuss here some computational aspects of the Combinatorial Nullstellensatz argument. Our main result shows that the order of magnitude of the symmetry group associated with permutations of the variables in algebraic constraints, determines the performance of algorithms naturally deduced from Alon's Combinatorial Nullstellensatz arguments. Finally we present a primal-dual polynomial constructions for certifying the existence or the non-existence of solutions to combinatorial problems.
A Tiling Proof of Binomial Identities related to the Lucas cube
Published
• View Publication
• BIB
Using a cube tiling of $\mathbb{R}^n$ constructed by Lagarias and Shor a tiling proof of three well-known binomial identities related to the Lucas cube is given.
On Weak Integer Additive Set-Indexers of Certain Graph Classes
Published in Journal of Discrete Mathematical Sciences and Cryptography, Vol. 18, No.1-2, 2015, pp.117-128
• View Publication
• BIB
An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $g_f (uv) = f(u)+ f(v)$ is also injective. An integer additive set-indexer is said to be $k$-uniform if $|g_f(uv)|=k$ for all $u,v\in V(G)$. An integer additive set-indexer $f$ is said to be a weak IASI if $|g_f(uv)|=max(|f(u)|,|f(v)|)$ for all $u,v\in V(G)$. The sparing number of a graph $G$ is the minimum number of edges in $G$ with singleton set-labels, so that $G$ admits a weak integer additive set-indexer. In this paper, we study the admissibility of weak integer additive set-indexers by certain graph classes and certain associated graphs of given graphs.
Classifying the Clique-Width of $H$-Free Bipartite Graphs
Published
• View Publication
• BIB
Let $G$ be a bipartite graph, and let $H$ be a bipartite graph with a fixed bipartition $(B_H,W_H)$. We consider three different, natural ways of forbidding $H$ as an induced subgraph in $G$. First, $G$ is $H$-free if it does not contain $H$ as an induced subgraph. Second, $G$ is strongly $H$-free if $G$ is $H$-free or else has no bipartition $(B_G,W_G)$ with $B_H\subseteq B_G$ and $W_H\subseteq W_G$. Third, $G$ is weakly $H$-free if $G$ is $H$-free or else has at least one bipartition $(B_G,W_G)$ with $B_H\not\subseteq B_G$ or $W_H\not\subseteq W_G$. Lozin and Volz characterized all bipartite graphs $H$ for which the class of strongly $H$-free bipartite graphs has bounded clique-width. We extend their result by giving complete classifications for the other two variants of $H$-freeness.
Fool's Solitaire on Joins and Cartesian Products of Graphs
Published
• View Publication
• BIB
Peg solitaire is a game generalized to connected graphs by Beeler and Hoilman. In the game pegs are placed on all but one vertex. If $xyz$ form a 3-vertex path and $x$ and $y$ each have a peg but $z$ does not, then we can remove the pegs at $x$ and $y$ and place a peg at $z$. By analogy with the moves in the original game, this is called a jump. The goal of the peg solitaire game on graphs is to find jumps that reduce the number of pegs on the graph to 1.
Beeler and Rodriguez proposed a variant where we instead want to maximize the number of pegs remaining when no more jumps can be made. Maximizing over all initial locations of a single hole, the maximum number of pegs left on a graph $G$ when no jumps remain is the fool's solitaire number $F(G)$. We determine the fool's solitaire number for the join of any graphs $G$ and $H$. For the cartesian product, we determine $F(G \Box K_k)$ when $k \ge 3$ and $G$ is connected and show why our argument fails when $k=2$. Finally, we give conditions on graphs $G$ and $H$ that imply $F(G \Box H) \ge F(G) F(H)$.
Formally self-dual linear binary codes from circulant graphs
In 2002, Tonchev first constructed some linear binary codes defined by the adjacency matrices of undirected graphs. So, graph is an important tool for searching optimum codes. In this paper, we introduce a new method of searching (proposed) optimum formally self-dual linear binary codes from circulant graphs.
Bipartite decomposition of random graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$, let $τ(G)$ denote the minimum number of pairwise edge disjoint complete bipartite subgraphs of $G$ so that each edge of $G$ belongs to exactly one of them. It is easy to see that for every graph $G$, $τ(G) \leq n -α(G)$, where $α(G)$ is the maximum size of an independent set of $G$. Erdős conjectured in the 80s that for almost every graph $G$ equality holds, i.e., that for the random graph $G(n,0.5)$, $τ(G)=n-α(G)$ with high probability, that is, with probability that tends to $1$ as $n$ tends to infinity. Here we show that this conjecture is (slightly) false, proving that for most values of $n$ tending to infinity and for $G=G(n,0.5)$, $τ(G) \leq n-α(G)-1$ with high probability, and that for some sequences of values of $n$ tending to infinity $τ(G) \leq n-α(G)-2$ with probability bounded away from $0$. We also study the typical value of $τ(G)$ for random graphs $G=G(n,p)$ with $p < 0.5$ and show that there is an absolute positive constant $c$ so that for all $p \leq c$ and for $G=G(n,p)$, $τ(G)=n-Θ(α(G))$ with high probability.
Maximum volume polytopes inscribed in the unit sphere
In this paper we investigate the problem of finding the maximum volume polytopes, inscribed in the unit sphere of the $d$-dimensional Euclidean space, with a given number of vertices. We solve this problem for polytopes with $d+2$ vertices in every dimension, and for polytopes with $d+3$ vertices in odd dimensions. For polytopes with $d+3$ vertices in even dimensions we give a partial solution.
Half-turn symmetric alternating sign matrices and Tokuyama type factorisation for orthogonal group characters
Published
• View Publication
• BIB
Half turn symmetric alternating sign matrices (HTSASMs) are special variations of the well-known alternating sign matrices which have a long and fascinating history. HTSASMs are interesting combinatorial objects in their own right and have been the focus of recent study. Here we explore counting weighted HTSASMs with respect to a number of statistics to derive an orthogonal group version of Tokuyama's factorisation formula, which involves a deformation and expansion of Weyl's denominator formula multiplied by a general linear group character. Deformations of Weyl's original denominator formula to other root systems have been discovered by Okada and Simpson, and it is thus natural to ask for versions of Tokuyama's factorisation formula involving other root systems. Here we obtain such a formula involving a deformation of Weyl's denominator formula for the orthogonal group multiplied by a deformation of an orthogonal group character.
Building matrices with prescribed size and number of invertible submatrices
Published in European Journal of Combinatorics 83 (2020), Article 103016
• View Publication
• BIB
Given an ordered triple of positive integers $(n,r,b)$, where $1\leq b\leq\binom{n}{r}$, does there exist a matrix of size $r\times n$ with exactly $b$ invertible submatrices of size $r\times r$? Such a matrix is called an $(n,r,b)$-matrix. This question is a stronger version of an open problem in matroid theory raised by Dominic Welsh. In this paper, we prove that an $(n,r,b)$-matrix exists when the corank satisfies $n-r\leq3$, unless $(n,r,b)=(6,3,11)$. Furthermore, we show that an $(n,r,b)$-matrix exists when the rank $r$ is large relative to the corank $n-r$.
Du-Hwang Characteristic Area: Catch-22
The paper is devoted to description of two interconnected mistakes generated by the gap in the Du and Hwang approach to Gilbert-Pollack Steiner ratio conjecture.
Equality of Distance Packing Numbers
Published
• View Publication
• BIB
We characterize the graphs for which the independence number equals the packing number. As a consequence we obtain simple structural descriptions of the graphs for which (i) the distance-$k$-packing number equals the distance-$2k$-packing number, and (ii) the distance-$k$-matching number equals the distance-$2k$-matching number. This last result considerably simplifies and extends previous results of Cameron and Walker (The graphs with maximum induced matching and maximum matching the same size, Discrete Math. 299 (2005) 49-55). For positive integers $k_1$ and $k_2$ with $k_1<k_2$ and $\lceil(3k_2+1)/2\rceil\leq 2k_1+1$, we prove that it is NP-hard to determine for a given graph whether its distance-$k_1$-packing number equals its distance-$k_2$-packing number.