Showing 20 papers (Total: 83076 papers, 47999 authors in database)
Edge-outer graph embedding and the complexity of the DNA reporter strand problem
Published
• View Publication
• BIB
In 2009, Jonoska, Seeman and Wu showed that every graph admits a route for a DNA reporter strand, that is, a closed walk covering every edge either once or twice, in opposite directions if twice, and passing through each vertex in a particular way. This corresponds to showing that every graph has an \emph{edge-outer embedding}, that is, an orientable embedding with some face that is incident with every edge. In the motivating application, the objective is such a closed walk of minimum length. Here we give a short algorithmic proof of the original existence result, and also prove that finding a shortest length solution is NP-hard, even for $3$-connected cubic ($3$-regular) planar graphs. Independent of the motivating application, this problem opens a new direction in the study of graph embeddings, and we suggest new problems emerging from it.
Forbidding rank-preserving copies of a poset
Published
• View Publication
• BIB
The maximum size, $La(n,P)$, of a family of subsets of $[n]=\{1,2,...,n\}$ without containing a copy of $P$ as a subposet, has been intensively studied.
Let $P$ be a graded poset. We say that a family $\mathcal{F}$ of subsets of $[n]=\{1,2,...,n\}$ contains a \emph{rank-preserving} copy of $P$ if it contains a copy of $P$ such that elements of $P$ having the same rank are mapped to sets of same size in $\mathcal{F}$. The largest size of a family of subsets of $[n]=\{1,2,...,n\}$ without containing a rank-preserving copy of $P$ as a subposet is denoted by $La_{rp}(n,P)$. Clearly, $La(n,P) \le La_{rp}(n,P)$ holds.
In this paper we prove asymptotically optimal upper bounds on $La_{rp}(n,P)$ for tree posets of height $2$ and monotone tree posets of height $3$, strengthening a result of Bukh in these cases. We also obtain the exact value of $La_{rp}(n,\{Y_{h,s},Y_{h,s}'\})$ and $La(n,\{Y_{h,s},Y_{h,s}'\})$, where $Y_{h,s}$ denotes the poset on $h+s$ elements $x_1,\dots,x_h,y_1,\dots,y_s$ with $x_1<\dots<x_h<y_1,\dots,y_s$ and $Y'_{h,s}$ denotes the dual poset of $Y_{h,s}$.
Perfect quantum state transfer on the Johnson scheme
Published
• View Publication
• BIB
For any graph $X$ with the adjacency matrix $A$, the transition matrix of the continuous-time quantum walk at time $t$ is given by the matrix-valued function $\mathcal{H}_X(t)=\mathrm{e}^{itA}$. We say that there is perfect state transfer in $X$ from the vertex $u$ to the vertex $v$ at time $τ$ if $|\mathcal{H}_X(τ)_{u,v}| = 1$. It is an important problem to determine whether perfect state transfers can happen on a given family of graphs. In this paper we characterize all the graphs in the Johnson scheme which have this property. Indeed, we show that the Kneser graph $K(2k,k)$ is the only class in the scheme which admits perfect state transfers. We also show that, under some conditions, some of the unions of the graphs in the Johnson scheme admit perfect state transfer.
Triangle-free induced subgraphs of the unitary polarity graph
Published
• View Publication
• BIB
Let $\perp$ be a unitary polarity of a finite projective plane $π$ of order $q^2$. The unitary polarity graph is the graph with vertex set the points of $π$ where two vertices $x$ and $y$ are adjacent if $x \in y^\perp$. We show that a triangle-free induced subgraph of the unitary polarity graph of an arbitrary projective plane has at most $(q^4+q)/2$ vertices. When $π$ is the Desarguesian projective plane $\mathrm{PG}(2,q^2)$ and $q$ is even, we show that the upper bound is asymptotically sharp, by providing an example on $q^4/2$ vertices. Finally, the case when $π$ is the Figueroa plane is discussed.
Wilf's conjecture for numerical semigroups with large second generator
Published
• View Publication
• BIB
We study Wilf's conjecture for numerical semigroups $S$ such that the second least generator $a_2$ of $S$ satisfies $a_2>\frac{c(S)+μ(S)}{3}$, where $c(S)$ is the conductor and $μ(S)$ the multiplicity of $S$. In particular, we show that for these semigroups Wilf's conjecture holds when the multiplicity is bounded by a quadratic function of the embedding dimension.
Properly ergodic structures
We consider ergodic $\mathrm{Sym}(\mathbb{N})$-invariant probability measures on the space of $L$-structures with domain $\mathbb{N}$ (for $L$ a countable relational language), and call such a measure a properly ergodic structure when no isomorphism class of structures is assigned measure $1$. We characterize those theories in countable fragments of $\mathcal{L}_{ω_1, ω}$ for which there is a properly ergodic structure concentrated on the models of the theory. We show that for a countable fragment $F$ of $\mathcal{L}_{ω_1, ω}$ the almost-sure $F$-theory of a properly ergodic structure has continuum-many models (an analogue of Vaught's Conjecture in this context), but its full almost-sure $\mathcal{L}_{ω_1, ω}$-theory has no models. We also show that, for an $F$-theory $T$, if there is some properly ergodic structure that concentrates on the class of models of $T$, then there are continuum-many such properly ergodic structures.
Exceptional Lattice Green's Functions
The three exceptional lattices, $E_6$, $E_7$, and $E_8$, have attracted much attention due to their anomalously dense and symmetric structures which are of critical importance in modern theoretical physics. Here, we study the electronic band structure of a single spinless quantum particle hopping between their nearest-neighbor lattice points in the tight-binding limit. Using Markov chain Monte Carlo methods, we numerically sample their lattice Green's functions, densities of states, and random walk return probabilities. We find and tabulate a plethora of Van Hove singularities in the densities of states, including degenerate ones in $E_6$ and $E_7$. Finally, we use brute force enumeration to count the number of distinct closed walks of length up to eight, which gives the first eight moments of the densities of states.
Chromatic numbers of stable Kneser hypergraphs via topological Tverberg-type theorems
Published
• View Publication
• BIB
Kneser's 1955 conjecture -- proven by Lovász in 1978 -- asserts that in any partition of the $k$-subsets of $\{1, 2, \dots, n\}$ into $n-2k-3$ parts, one part contains two disjoint sets. Schrijver showed that one can restrict to significantly fewer $k$-sets and still observe the same intersection pattern. Alon, Frankl, and Lovász proved a different generalization of Kneser's conjecture for $r$ pairwise disjoint sets. Dolnikov generalized Lovász' result to arbitrary set systems, while Kříž did the same for the $r$-fold extension of Kneser's conjecture. Here we prove a common generalization of all of these results. Moreover, we prove additional strengthenings by determining the chromatic number of certain sparse stable Kneser hypergraphs, and further develop a general approach to establishing lower bounds for chromatic numbers of hypergraphs using a combination of methods from equivariant topology and intersection results for convex hulls of points in Euclidean space.
Comparing Dushnik-Miller Dimension, Boolean Dimension and Local Dimension
Published
• View Publication
• BIB
The original notion of dimension for posets is due to Dushnik and Miller and has been studied extensively in the literature. Quite recently, there has been considerable interest in two variations of dimension known as Boolean dimension and local dimension. For a poset $P$, the Boolean dimension of $P$ and the local dimension of $P$ are both bounded from above by the dimension of $P$ and can be considerably less. Our primary goal will be to study analogies and contrasts among these three parameters. As one example, it is known that the dimension of a poset is bounded as a function of its height and the tree-width of its cover graph. The Boolean dimension of a poset is bounded in terms of the tree-width of its cover graph, independent of its height. We show that the local dimension of a poset cannot be bounded in terms of the tree-width of its cover graph, independent of height. We also prove that the local dimension of a poset is bounded in terms of the path-width of its cover graph. In several of our results, Ramsey theoretic methods will be applied.
Triangular fractal approximating graphs and their covering paths and cycles
We observe two kinds of fractal approximating graphs, the background structures of the generalized Sierpinski Arrowhead Curve independently of the recursive curves. Both graphs related to the generalized Sierpinski Gasket and based on a checked triangular generator pattern. In the Overall Graph we connect the corners of the up facing neighbouring dark tiles. In the Inscribed Graph we connect their centroids. We describe their cardinalities in general case with recursive and explicit formulas, the numbers of their vertices and edges, their edge covering Hamiltonian-paths and -cycles, and their tiling-paths and -cycles which cover all of their dark tiles. Some of these formations are unambiguously transformable into each other and these bijective pairs keep their basic properties after the transformation. Some of their cardinalities form new integer sequences.
Fair division with multiple pieces
Published
• View Publication
• BIB
Given a set of $p$ players we consider problems concerning envy-free allocation of collections of $k$ pieces from a given set of goods or chores. We show that if $p\le n$ and each player can choose $k$ pieces out of $n$ pieces of a cake, then there exist a division of the cake and an allocation of the pieces where at least $\frac{p}{2(k^2-k+1)}$ players get their desired $k$ pieces each. We further show that if $p\le k(n-1)+1$ and each player can choose $k$ pieces, one from each of $k$ cakes that are divided into $n$ pieces each, then there exist a division of the cakes and allocation of the pieces where at least $\frac{p}{2k(k-1)}$ players get their desired $k$ pieces. Finally we prove that if $p\ge k(n-1)+1$ and each player can choose one shift in each of $k$ days that are partitioned into $n$ shifts each, then, given that the salaries of the players are fixed, there exist $n(1+\ln k)$ players covering all the shifts, and moreover, if $k=2$ then $n$ players suffice. Our proofs combine topological methods and theorems of Füredi, Lovász and Gallai from hypergraph theory.
Piercing Numbers in Approval Voting
Published
• View Publication
• BIB
We survey a host of results from discrete geometry that have bearing on the analysis of geometric models of approval voting. Such models view the political spectrum as a geometric space, with geometric constraints on voter preferences. Results on piercing numbers then have a natural interpretation in voting theory, and we survey their implications for various classes of geometric constraints on voter approval sets.
On exceptional compact homogeneous geometries of type C3
Published
• View Publication
• BIB
We provide a uniform framework to study the exceptional homogeneous compact geometries of type C3. This framework is then used to show that these are simply connected, answering a question by Kramer and Lytchak, and to calculate the full automorphism groups.
Signless Laplacian spectral radius and Hamiltonicity of graphs with large minimum degree
Published in Linear and Multilinear Algebra, 2017
• View Publication
• BIB
In this paper, we establish a tight sufficient condition for the Hamiltonicity of graphs with large minimum degree in terms of the signless Laplacian spectral radius and characterize all extremal graphs. Moreover, we prove a similar result for balanced bipartite graphs. Additionally, we construct infinitely many graphs to show that results proved in this paper give new strength for one to determine the Hamiltonicity of graphs.
Lattice simplices with a fixed positive number of interior lattice points: A nearly optimal volume bound
Published
• View Publication
• BIB
We give an explicit upper bound on the volume of lattice simplices with fixed positive number of interior lattice points. The bound differs from the conjectural sharp upper bound only by a linear factor in the dimension. This improves significantly upon the previously best results by Pikhurko from 2001.
Partition C*-algebras II - Links to Compact Matrix Quantum Groups
In a recent article, we gave a definition of partition C*-algebras. These are universal C*-algebras based on algebraic relations which are induced from partitions of sets. In this follow up article, we show that often we can associate a Hopf algebra structure to partition C*-algebras, and also a compact matrix quantum group structure. This follows the lines of Banica and Speicher's approach to quantum groups; however, we access them in a more algebraic way circumventing Tannaka-Krein duality. We give criteria when these quantum groups are quantum subgroups of Wang's free orthogonal quantum group. As a consequence, we see that even if we start with (generalized) categories of partitions which do not contain the pair partitions, in many cases we do not go beyond the class of Banica-Speicher quantum groups (aka easy quantum groups). However, we also discuss possible non-unitary Banica-Speicher quantum groups.
The Erdős-Hajnal conjecture for caterpillars and their complements
The celebrated Erdős-Hajnal conjecture states that for every proper hereditary graph class $\mathcal{G}$ there exists a constant $\varepsilon = \varepsilon(\mathcal{G}) > 0$ such that every graph $G \in \mathcal{G}$ contains a clique or an independent set of size $|V(G)|^\varepsilon$. Recently, there has been a growing interest in the symmetrized variant of this conjecture, where one additionally requires $\mathcal{G}$ to be closed under complementation.
We show that any hereditary graph class that is closed under complementation and excludes a fixed caterpillar as an induced subgraph satisfies the Erdős-Hajnal conjecture. Here, a caterpillar is a tree whose vertices of degree at least three lie on a single path (i.e., our caterpillars may have arbitrarily long legs). In fact, we prove a stronger property of such graph classes, called in the literature the strong Erdős-Hajnal property: for every such graph class $\mathcal{G}$, there exists a constant $δ= δ(\mathcal{G}) > 0$ such that every graph $G \in \mathcal{G}$ contains two disjoint sets $A,B \subseteq V(G)$ of size at least $δ|V(G)|$ each so that either all edges between $A$ and $B$ are present in $G$, or none of them. This result significantly extends the family of graph classes for which we know that the strong Erdős-Hajnal property holds; for graph classes excluding a graph $H$ and its complement it was previously known only for paths [Bousquet, Lagoutte, Thomassé, JCTB 2015] and hooks (i.e., paths with an additional pendant vertex at third vertex of the path) [Choromanski, Falik, Liebenau, Patel, Pilipczuk, arXiv:1508.00634].
A partisan districting protocol with provably nonpartisan outcomes
We design and analyze a protocol for dividing a state into districts, where parties take turns proposing a division, and freezing a district from the other party's proposed division. We show that our protocol has predictable and provable guarantees for both the number of districts in which each party has a majority of supporters, and the extent to which either party has the power to pack a specific population into a single district.
Permutation complexity of images of Sturmian words by marked morphisms
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Combinatorics (June 4, 2018) dmtcs:4042
• View Publication
• BIB
We show that the permutation complexity of the image of a Sturmian word by a binary marked morphism is $n+k$ for some constant $k$ and all lengths $n$ sufficiently large.
Complexity of locally-injective homomorphisms to tournaments
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Graph Theory (November 30, 2018) dmtcs:4021
• View Publication
• BIB
For oriented graphs $G$ and $H$, a homomorphism $f: G \rightarrow H$ is locally-injective if, for every $v \in V(G)$, it is injective when restricted to some combination of the in-neighbourhood and out-neighbourhood of $v$. Two of the possible definitions of local-injectivity are examined. In each case it is shown that the associated homomorphism problem is NP-complete when $H$ is a reflexive tournament on three or more vertices with a loop at every vertex, and solvable in polynomial time when $H$ is a reflexive tournament on two or fewer vertices.