Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Well-distributed great circles on S^2
Published
• View Publication
• BIB
Let $C_1, \dots, C_n$ denote the $1/n-$neighborhood of $n$ great circles on $\mathbb{S}^2$. We are interested in how much these areas have to overlap and prove the sharp bounds $$ \sum_{i, j = 1 \atop i \neq j}^{n}{|C_i \cap C_j|^s} \gtrsim_s \begin{cases} n^{2 - 2s} \qquad &\mbox{if}~0 \leq s < 2 \\ n^{-2} \log{n} \qquad &\mbox{if}~s = 2\\ n^{1- 3s/2} \qquad &\mbox{if}~s > 2. \end{cases} .$$ For $s=1$ there are arrangements for which the sum of mutual overlap is uniformly bounded (for the analogous problem in $\mathbb{R}^2$ the lower bound is $\gtrsim \log{n}$) and there are strong connections to minimal energy configurations of $n$ charged electrons on $\mathbb{S}^2$ (the J. J. Thomson problem).
A Sufficient Condition for Graphic Sequences with Given Largest and Smallest Entries, Length, and Sum
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (June 25, 2018) dmtcs:2175
• View Publication
• BIB
We give a sufficient condition for a degree sequence to be graphic based on its largest and smallest elements, length, and sum. This bound generalizes a result of Zverovich and Zverovich.
Graph Isomorphism Restricted by Lists
The complexity of graph isomorphism (GraphIso) is a famous unresolved problem in theoretical computer science. For graphs $G$ and $H$, it asks whether they are the same up to a relabeling of vertices. In 1981, Lubiw proved that list restricted graph isomorphism (ListIso) is NP-complete: for each $u \in V(G)$, we are given a list ${\mathfrak L}(u) \subseteq V(H)$ of possible images of $u$. After 35 years, we revive the study of this problem and consider which results for GraphIso translate to ListIso.
We prove the following: 1) When GraphIso is GI-complete for a class of graphs, it translates into NP-completeness of ListIso. 2) Combinatorial algorithms for GraphIso translate into algorithms for ListIso: for trees, planar graphs, interval graphs, circle graphs, permutation graphs, bounded genus graphs, and bounded treewidth graphs. 3) Algorithms based on group theory do not translate: ListIso remains NP-complete for cubic colored graphs with sizes of color classes bounded by 8.
Also, ListIso allows to classify results for the graph isomorphism problem. Some algorithms are robust and translate to ListIso. A fundamental problem is to construct a combinatorial polynomial-time algorithm for cubic graph isomorphism, avoiding group theory. By the 3rd result, ListIso is NP-hard for them, so no robust algorithm for cubic graph isomorphism exists, unless P = NP.
Grünbaum coloring and its generalization to arbitrary dimension
Published in Australasian Journal of Combinatorics. 2017. Volume 67(2). Pages 119-130
• Search Publication
This paper is a collection of thoughts and observations, being partly a review and partly a report of current research, on recent work in various aspects of Grünbaum colorings, their existence and usage. In particular, one of the most striking significances of Grünbaum's Conjecture in the 2-dimensional case is its equivalence to the 4-Color Theorem. The notion of Grünbaum coloring is extended from the 2-dimensional case to the case of arbitrary finite hyper-dimensions.
Rigged configurations as tropicalizations of loop Schur functions
Published in J. Integrable Syst., 2(1) (2017)
• View Publication
• BIB
We conjecture an explicit formula for the image of a tensor product of Kirillov-Reshetikhin crystals $\bigotimes_{i=1}^m B^{1, s_i}$ under the Kirillov-Schilling-Shimozono bijection. Our conjectured formula is piecewise-linear, where the shapes are given by the tropicalization of cylindric loop Schur functions and the riggings are given by the tropicalization of loop Schur functions. We prove that our formula changes the riggings by the correct amount based upon the time evolution of the corresponding box-ball system. We show that our formula is correct under the column splitting portion of the Kirillov-Schilling-Shimozono bijection and for $B^{1, s}$.
Optimal induced universal graphs for bounded-degree graphs
Published in Math. Proc. Camb. Phil. Soc. 166 (2019) 61-74
• View Publication
• BIB
We show that for any constant $Δ\ge 2$, there exists a graph $G$ with $O(n^{Δ/ 2})$ vertices which contains every $n$-vertex graph with maximum degree $Δ$ as an induced subgraph. For odd $Δ$ this significantly improves the best-known earlier bound of Esperet et al. and is optimal up to a constant factor, as it is known that any such graph must have at least $Ω(n^{Δ/2})$ vertices.
Our proof builds on the approach of Alon and Capalbo (SODA 2008) together with several additional ingredients. The construction of $G$ is explicit and is based on an appropriately defined composition of high-girth expander graphs. The proof also provides an efficient deterministic procedure for finding, for any given input graph $H$ on $n$ vertices with maximum degree at most $Δ$, an induced subgraph of $G$ isomorphic to $H$.
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.