Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Partitioning a graph into a cycle and a sparse graph
Published
• View Publication
• BIB
In this paper we investigate results of the form "every graph $G$ has a cycle $C$ such that the induced subgraph of $G$ on $V(G)\setminus V(C)$ has small maximum degree." Such results haven't been studied before, but are motivated by the Bessy and Thomassé Theorem which states that the vertices of any graph $G$ can be covered by a cycle $C_1$ in $G$ and disjoint cycle $C_2$ in the complement of $G$.
There are two main theorems in this paper. The first is that every graph has a cycle with $Δ(G[V(G)\setminus V(C)])\leq \frac12(|V(G)\setminus V(C)|-1)$. The bound on the maximum degree $Δ(G[V(G)\setminus V(C)])$ is best possible. The second theorem is that every $k$-connected graph $G$ has a cycle with $Δ(G[V(G)\setminus V(C)])\leq \frac1{k+1}|V(G)\setminus V(C)|+3$. We also give an application of this second theorem to a conjecture about partitioning edge-coloured complete graphs into monochromatic cycles.
There is No McLaughlin Geometry
We determine that there is no partial geometry ${\cal G}$ with parameters $(s,t,α)=(4,27,2)$. The existence of such a geometry has been a challenging open problem of interest to researchers for almost 40 years. The particular interest in ${\cal G}$ is due to the fact that it would have the exceptional McLaughlin graph as its point graph. Our proof makes extensive use of symmetry and high-performance distributed computing, and details of our techniques and checks are provided. One outcome of our work is to show that a pseudogeometric strongly regular graph achieving equality in the Krein bound need not be the point graph of any partial geometry.
Toric manifolds over 3-polytopes
Published in Chapter in Toric Topology and Polyhedral Products. Fields Institute Communications, vol 89, 2024, pp. 13-25
• View Publication
• BIB
In this note we gather and review some facts about existence of toric spaces over 3-dimensional simple polytopes. First, over every combinatorial 3-polytope there exists a quasitoric manifold. Second, there exist combinatorial 3-polytopes, that do not correspond to any smooth projective toric variety. We restate the proof of the second claim which does not refer to complicated algebro-geometrical technique. If follows from these results that any fullerene supports quasitoric manifolds but does not support smooth projective toric varieties.
The Additive Structure of Cartesian Products Spanning Few Distinct Distances
Published
• View Publication
• BIB
Guth and Katz proved that any point set $\mathcal P$ in the plane determines $Ω(|\mathcal P|/\log|\mathcal P|)$ distinct distances. We show that when near to this lower bound, a point set $\mathcal P$ of the form $A\times A$ must satisfy $|A-A|\ll |A|^{2-1/8}$.
Cop-Win Graphs: Optimal Strategies and Corner Rank
We investigate the game of cops and robber, played on a finite graph, between one cop and one robber. If the cop can force a win on a graph, the graph is called cop-win. We describe a procedure we call corner ranking, performed on a graph, which assigns a positive integer or $\infty$ to each vertex. We give a characterization of cop-win in terms of corner rank and also show that the well-known characterization of cop-win via dismantling orderings follows from our work. From the corner rank we can determine the capture time of a graph, i.e. the number of turns the cop needs to win. We describe a class of optimal cop strategies we call Lower Way strategies, and a class of optimal robber strategies we call Higher Way strategies. Roughly speaking, in a Lower Way strategy, the cop pushes the robber down to lower ranked vertices, while in a Higher Way strategy, the robber moves to a highest rank vertex that is "safe." While interesting in their own right, the strategies are themselves tools in our proofs. We investigate various properties of the Lower Way strategies.
Characterization and recognition of proper tagged probe interval graphs
Published
• View Publication
• BIB
Interval graphs were used in the study of genomics by the famous molecular biologist Benzer. Later on probe interval graphs were introduced by Zhang as a generalization of interval graphs for the study of cosmid contig mapping of DNA.
A tagged probe interval graph (briefly, TPIG) is motivated by similar applications to genomics, where the set of vertices is partitioned into two sets, namely, probes and nonprobes and there is an interval on the real line corresponding to each vertex. The graph has an edge between two probe vertices if their corresponding intervals intersect, has an edge between a probe vertex and a nonprobe vertex if the interval corresponding to a nonprobe vertex contains at least one end point of the interval corresponding to a probe vertex and the set of non-probe vertices is an independent set. This class of graphs have been defined nearly two decades ago, but till today there is no known recognition algorithm for it.
In this paper, we consider a natural subclass of TPIG, namely, the class of proper tagged probe interval graphs (in short PTPIG). We present characterization and a linear time recognition algorithm for PTPIG. To obtain this characterization theorem we introduce a new concept called canonical sequence for proper interval graphs, which, we belief, has an independent interest in the study of proper interval graphs. Also to obtain the recognition algorithm for PTPIG, we introduce and solve a variation of consecutive $1$'s problem, namely, oriented consecutive $1$'s problem and some variations of PQ-tree algorithm. We also discuss the interrelations between the classes of PTPIG and TPIG with probe interval graphs and probe proper interval graphs.
Transitive Avoidance Games
Published
• View Publication
• BIB
Positional games are a well-studied class of combinatorial game. In their usual form, two players take turns to play moves in a set (`the board'), and certain subsets are designated as `winning': the first person to occupy such a set wins the game. For these games, it is well known that (with correct play) the game cannot be a second-player win.
In the avoidance (or misère) form, the first person to occupy such a set \emph{loses} the game. Here it would be natural to expect that the game cannot be a first-player win, at least if the game is transitive, meaning that all points of the board look the same. Our main result is that, contrary to this expectation, there are transitive games that are first-player wins, for all board sizes which are not prime or a power of 2.
Further, we show that such games can have additional properties such as stronger transitivity conditions, fast winning times, and `small' winning sets.
Merging the A- and Q-spectral theories
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A\left( G\right) $, and let $D\left( G\right) $ be the diagonal matrix of the degrees of $G.$ The signless Laplacian $Q\left( G\right) $ of $G$ is defined as $Q\left( G\right) :=A\left( G\right) +D\left( G\right) $.
Cvetković called the study of the adjacency matrix the $A$% \textit{-spectral theory}, and the study of the signless Laplacian--the $Q$\textit{-spectral theory}. During the years many similarities and differences between these two theories have been established. To track the gradual change of $A\left( G\right) $ into $Q\left( G\right) $ in this paper it is suggested to study the convex linear combinations $A_{α}\left( G\right) $ of $A\left( G\right) $ and $D\left( G\right) $ defined by \[ A_α\left( G\right) :=αD\left( G\right) +\left( 1-α\right) A\left( G\right) \text{, \ \ }0\leqα\leq1. \] This study sheds new light on $A\left( G\right) $ and $Q\left( G\right) $, and yields some surprises, in particular, a novel spectral Turán theorem. A number of challenging open problems are discussed.
Occurrence graphs of patterns in permutations
Published in Involve 12 (2019) 901-918
• View Publication
• BIB
We define the \emph{occurrence graph} $G_p(π$) of a pattern $p$ in a permutation $π$ as the graph with the occurrences of $p$ in $π$ as vertices and edges between the vertices if the occurrences differ by exactly one element. We then study properties of these graphs. The main theorem in this paper is that every \emph{hereditary property} of graphs gives rise to a \emph{permutation class}.
Rooted forests that avoid sets of permutations
Published
• View Publication
• BIB
We say that an unordered rooted labeled forest avoids the pattern $π\in\mathcal{S}_n$ if the sequence obtained from the labels along the path from the root to any vertex does not contain a subsequence that is in the same relative order as $π$. We enumerate several classes of forests that avoid certain sets of permutations, including the set of unimodal forests, via bijections with set partitions with certain properties. We also define and investigate an analog of Wilf-equivalence for forests.
Energy-dependent correlations in the $S$-matrix of chaotic systems
Published in Journal of Mathematical Physics 57, 122105 (2016)
• View Publication
• BIB
The $M$-dimensional unitary matrix $S(E)$, which describes scattering of waves, is a strongly fluctuating function of the energy for complex systems such as ballistic cavities, whose geometry induces chaotic ray dynamics. Its statistical behaviour can be expressed by means of correlation functions of the kind $\left \langle S_{ij}(E+ε)S^†_{pq}(E-ε)\right\rangle$, which have been much studied within the random matrix approach. In this work, we consider correlations involving an arbitrary number of matrix elements and express them as infinite series in $1/M$, whose coefficients are rational functions of $ε$. From a mathematical point of view, this may be seen as a generalization of the Weingarten functions of circular ensembles.
Asymptotic Lyapunov exponents for large random matrices
Published
• View Publication
• BIB
Suppose that A_1,\dots, A_N are independent random matrices whose atoms are iid copies of a random variable ξof mean zero and variance one. It is known from the works of Newman et. al. in the late 80s that when ξis gaussian then N^{-1} \log ||A_N \dots A_1|| converges to a non-random limit. We extend this result to more general matrices with explicit rate of convergence. Our method relies on a simple connection between structures and dynamics.
Violator spaces vs closure spaces
Published
• View Publication
• BIB
Violator Spaces were introduced by J. Matousek et al. in 2008 as generalization of Linear Programming problems. Convex geometries were invented by Edelman and Jamison in 1985 as proper combinatorial abstractions of convexity. Convex geometries are defined by anti-exchange closure operators. We investigate an interrelations between violator spaces and closure spaces and show that violator mapping may be defined by a week version of closure operators. Moreover, we prove that violator spaces with an unique basis satisfies the anti-exchange and the Krein-Milman properties.
A Ramsey Class for Steiner Systems
Published in Journal of Combinatorial Theory, Series A 154 (2018), 323-349
• View Publication
• BIB
We construct a Ramsey class whose objects are Steiner systems. In contrast to the situation with general $r$-uniform hypergraphs, it turns out that simply putting linear orders on their sets of vertices is not enough for this purpose: one also has to strengthen the notion of subobjects used from "induced subsystems" to something we call "strongly induced subsystems".
Moreover we study the Ramsey properties of other classes of Steiner systems obtained from this class by either forgetting the order or by working with the usual notion of subsystems. This leads to a perhaps surprising induced Ramsey theorem in which designs get coloured.
Base-$b$ analogues of classic combinatorial objects
We study the properties of the base-$b$ binomial coefficient defined by Jiu and the second author, introduced in the context of a digital binomial theorem. After introducing a general summation formula, we derive base-$b$ analogues of the Stirling numbers of the second kind, the Fibonacci numbers and the classical exponential function.
On cubic symmetric non-Cayley graphs with solvable automorphism groups
Published
• View Publication
• BIB
It was proved in [Y.-Q. Feng, C. H. Li and J.-X. Zhou, Symmetric cubic graphs with solvable automorphism groups, {\em European J. Combin.} {\bf 45} (2015), 1-11] that a cubic symmetric graph with a solvable automorphism group is either a Cayley graph or a $2$-regular graph of type $2^2$, that is, a graph with no automorphism of order $2$ interchanging two adjacent vertices. In this paper an infinite family of non-Cayley cubic $2$-regular graphs of type $2^2$ with a solvable automorphism group is constructed. The smallest graph in this family has order 6174.
A polynomial time algorithm to compute quantum invariants of 3-manifolds with bounded first Betti number
Published in Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA 2017), Society for Industrial and Applied Mathematics, 2721-2732, 2017, and Foundations of Computational Mathematics, 2019
• View Publication
• BIB
In this article, we introduce a fixed parameter tractable algorithm for computing the Turaev-Viro invariants TV(4,q), using the dimension of the first homology group of the manifold as parameter.
This is, to our knowledge, the first parameterised algorithm in computational 3-manifold topology using a topological parameter. The computation of TV(4,q) is known to be #P-hard in general; using a topological parameter provides an algorithm polynomial in the size of the input triangulation for the extremely large family of 3-manifolds with first homology group of bounded rank.
Our algorithm is easy to implement and running times are comparable with running times to compute integral homology groups for standard libraries of triangulated 3-manifolds. The invariants we can compute this way are powerful: in combination with integral homology and using standard data sets we are able to roughly double the pairs of 3-manifolds we can distinguish.
We hope this qualifies TV(4,q) to be added to the short list of standard properties (such as orientability, connectedness, Betti numbers, etc.) that can be computed ad-hoc when first investigating an unknown triangulation.
Waiter-Client and Client-Waiter colourability games on a $k$-uniform hypergraph and the $k$-SAT game
Published
• View Publication
• BIB
Waiter-Client and Client-Waiter games are two-player, perfect information games, with no chance moves, played on a finite set (board) with special subsets known as the winning sets. Each round of the biased $(1:q)$ game begins with Waiter offering $q+1$ previously unclaimed elements of the board to Client, who claims one. The $q$ elements remaining are then claimed by Waiter. If Client fully claims a winning set by the time all board elements have been offered, he wins in the Client-Waiter game and loses in the Waiter-Client game. We give an estimate for the threshold bias of the $(1:q)$ Waiter-Client and Client-Waiter versions of two different games: the non-2-colourability game, played on the complete $k$-uniform hypergraph, and the $k$-SAT game. In particular, we show that the unique value of $q$ at which the winner of the Client-Waiter version of the non-2-colourability game changes is $\frac{1}{n}\binom{n}{k}2^{-k(1+o_k(1))}$ and, for the Waiter-Client version, the corresponding value of $q$ is $\frac{1}{n}\binom{n}{k}2^{Θ_k(k)}$. Additionally, we show that the threshold bias for the Waiter-Client and Client-Waiter versions of the $k$-SAT game is $\frac{1}{n}\binom{n}{k}$ up to a factor that is exponential and polynomial in $k$ respectively. This shows that these games exhibit the "probabilistic intuition".
Rates of DNA Sequence Profiles for Practical Values of Read Lengths
Published
• View Publication
• BIB
A recent study by one of the authors has demonstrated the importance of profile vectors in DNA-based data storage. We provide exact values and lower bounds on the number of profile vectors for finite values of alphabet size $q$, read length $\ell$, and word length $n$.Consequently, we demonstrate that for $q\ge 2$ and $n\le q^{\ell/2-1}$, the number of profile vectors is at least $q^{κn}$ with $κ$ very close to one.In addition to enumeration results, we provide a set of efficient encoding and decoding algorithms for each of two particular families of profile vectors.
Strengthening Hardness Results to 3-Connected Planar Graphs
In this paper we extend some classical NP-hardness results from the class of 2-connected planar graphs to subclasses of 3-connected planar graphs. The reduction are partly based on a new graph augmentation, which may be of independent interest.