Showing 20 papers (Total: 82505 papers, 47699 authors in database)
There is no circulant weighing matrix of order 60 and weight 36
With the help of a computer, we prove the assertion made in the title.
Composing short 3-compressing words on a 2 letter alphabet
Published
• View Publication
• BIB
A finite deterministic (semi)automaton $\mathcal{A} =(Q,Σ,δ)$ is $k$-compressible if there is some word $w\in Σ^+$ such that the image of its state set $Q$ under the natural action of $w$ is reduced by at least $k$ states. Such word, if it exists, is called a $k$-compressing word for $\mathcal{A}$. A word is $k$-collapsing if it is $k$-compressing for each $k$-compressible automaton. We compute a set $W$ of short words such that each $3$-compressible automata on a two letter alphabet is $3$-compressed at least by a word in $W$. Then we construct a shortest common superstring of the words in $W$ and, with a further refinement, we obtain a $3$-collapsing word of length $53$. Moreover, as previously announced, we show that the shortest $3$-synchronizing word is not $3$-collapsing, illustrating the new bounds $34\leq c(2,3)\leq 53$ for the length $c(2,3)$ of the shortest $3$-collapsing word on a two letter alphabet.
Reconfiguring Independent Sets in Cographs
Two independent sets of a graph are adjacent if they differ on exactly one vertex (i.e. we can transform one into the other by adding or deleting a vertex). Let $k$ be an integer. We consider the reconfiguration graph $TAR_k(G)$ on the set of independent sets of size at least $k$ in a graph $G$, with the above notion of adjacency. Here we provide a cubic-time algorithm to decide whether $TAR_k(G)$ is connected when $G$ is a cograph, thus solving an open question of~[Bonsma 2014]. As a by-product, we also describe a linear-time algorithm which decides whether two elements of $TAR_k(G)$ are in the same connected component.
F-Saturation Games
Published
• View Publication
• BIB
We study F-saturation games, first introduced by Füredi, Reimer and Seress in 1991, and named as such by West. The main question is to determine the length of the game whilst avoiding various classes of graph, playing on a large complete graph. We show lower bounds on the length of path-avoiding games, and more precise results for short paths. We show sharp results for the tree avoiding game and the star avoiding game.
A quantitative variant of the multi-colored Motzkin-Rabin theorem
Published
• View Publication
• BIB
We prove a quantitative version of the multi-colored Motzkin-Rabin theorem in the spirit of [BDWY12]: Let $V_1,\ldots,V_n \subset R^d$ be $n$ disjoint sets of points (of $n$ `colors'). Suppose that for every $V_i$ and every point $v \in V_i$ there are at least $δ|V_i|$ other points $u \in V_i$ so that the line connecting $v$ and $u$ contains a third point of another color. Then the union of the points in all $n$ sets is contained in a subspace of dimension bounded by a function of $n$ and $δ$ alone.
Developing a Mathematical Model for Bobbin Lace
Published in Journal of Mathematics and the Arts (2014) Vol.8, No.3-4, pp 95-110
• View Publication
• BIB
Bobbin lace is a fibre art form in which intricate and delicate patterns are created by braiding together many threads. An overview of how bobbin lace is made is presented and illustrated with a simple, traditional bookmark design. Research on the topology of textiles and braid theory form a base for the current work and is briefly summarized. We define a new mathematical model that supports the enumeration and generation of bobbin lace patterns using an intelligent combinatorial search. Results of this new approach are presented and, by comparison to existing bobbin lace patterns, it is demonstrated that this model reveals new patterns that have never been seen before. Finally, we apply our new patterns to an original bookmark design and propose future areas for exploration.
On the competition graphs of $d$-partial orders
In this paper, we study the competition graphs of $d$-partial orders and obtain their characterization which extends results given by Cho and Kim \cite{chokim} in 2005. We also show that any graph can be made into the competition graph of a $d$-partial order for some positive integer $d$ as long as adding isolated vertices is allowed. We then introduce the notion of the partial order competition dimension of a graph and study graphs whose partial order competition dimensions are at most three.
Zigzag Stacks and m-Regular Linear Stacks
Published
• View Publication
• BIB
The contact map of a protein fold is a graph that represents the patterns of contacts in the fold. It is known that the contact map can be decomposed into stacks and queues. RNA secondary structures are special stacks in which the degree of each vertex is at most one and each arc has length at least two. Waterman and Smith derived a formula for the number of RNA secondary structures of length $n$ with exactly $k$ arcs. Höner zu Siederdissen et al. developed a folding algorithm for extended RNA secondary structures in which each vertex has maximum degree two. An equation for the generating function of extended RNA secondary structures was obtained by Müller and Nebel by using a context-free grammar approach, which leads to an asymptotic formula. In this paper, we consider $m$-regular linear stacks, where each arc has length at least $m$ and the degree of each vertex is bounded by two. Extended RNA secondary structures are exactly $2$-regular linear stacks. For any $m\geq 2$, we obtain an equation for the generating function of the $m$-regular linear stacks. For given $m$, we can deduce a recurrence relation and an asymptotic formula for the number of $m$-regular linear stacks on $n$ vertices. To establish the equation, we use the reduction operation of Chen, Deng and Du to transform an $m$-regular linear stack to an $m$-reduced zigzag (or alternating) stack. Then we find an equation for $m$-reduced zigzag stacks leading to an equation for $m$-regular linear stacks.
Characterising the Performance of XOR Games and the Shannon Capacity of Graphs
Published in Phys. Rev. Lett. 113, 240401 (2014)
• View Publication
• BIB
In this paper we give a set of necessary and sufficient conditions such that quantum players of a two-party {\sc xor} game cannot perform any better than classical players. With any such game, we associate a graph and examine its zero-error communication capacity. This allows us to specify a broad new class of graphs for which the Shannon capacity can be calculated. The conditions also enable the parametrisation of new families of games which have no quantum advantage, for arbitrary input probability distributions up to certain symmetries. In the future, these might be used in information-theoretic studies on reproducing the set of quantum non-local correlations.
Maxwell-Laman counts for bar-joint frameworks in normed spaces
Published
• View Publication
• BIB
The rigidity matrix is a fundamental tool for studying the infinitesimal rigidity properties of Euclidean bar-joint frameworks. In this paper we generalize this tool and introduce a rigidity matrix for bar-joint frameworks in arbitrary finite dimensional real normed vector spaces. Using this new matrix, we derive necessary Maxwell-Laman-type counting conditions for a well-positioned bar-joint framework in a real normed vector space to be infinitesimally rigid. Moreover, we derive symmetry-extended counting conditions for a bar-joint framework with a non-trivial symmetry group to be isostatic (i.e., minimally infinitesimally rigid). These conditions imply very simply stated restrictions on the number of those structural components that are fixed by the various symmetry operations of the framework. Finally, we offer some observations and conjectures regarding combinatorial characterisations of 2-dimensional symmetric, isostatic bar-joint frameworks where the unit ball is a quadrilateral.
Even triangulations of n-dimensional pseudo-manifolds
Published in Algebr. Geom. Topol. 15 (2015) 2949-2984
• View Publication
• BIB
This paper introduces even triangulations of n-dimensional pseudo-manifolds and links their combinatorics to the topology of the pseudo-manifolds. This is done via normal hypersurface theory and the study of certain symmetric representation. In dimension 3, necessary and sufficient conditions for the existence of even triangulations having one or two vertices are given. For Haken n-manifolds, an interesting connection between very short hierarchies and even triangulations is observed.
Switchings of semifield multiplications
Published
• View Publication
• BIB
Let $B(X,Y)$ be a polynomial over $\mathbb{F}_{q^n}$ which defines an $\mathbb{F}_q$-bilinear form on the vector space $\mathbb{F}_{q^n}$, and let $ξ$ be a nonzero element in $\mathbb{F}_{q^n}$. In this paper, we consider for which $B(X,Y)$, the binary operation $xy+B(x,y)ξ$ defines a (pre)semifield multiplication on $\mathbb{F}_{q^n}$. We prove that this question is equivalent to finding $q$-linearized polynomials $L(X)\in\mathbb{F}_{q^n}[X]$ such that $Tr_{q^n/q}(L(x)/x)\neq 0$ for all $x\in\mathbb{F}_{q^n}^*$. For $n\le 4$, we present several families of $L(X)$ and we investigate the derived (pre)semifields. When $q$ equals a prime $p$, we show that if $n>\frac{1}{2}(p-1)(p^2-p+4)$, $L(X)$ must be $a_0 X$ for some $a_0\in\mathbb{F}_{p^n}$ satisfying $Tr_{q^n/q}(a_0)\neq 0$. Finally, we include a natural connection with certain cyclic codes over finite fields, and we apply the Hasse-Weil-Serre bound for algebraic curves to prove several necessary conditions for such kind of $L(X)$.
Maximal Green Sequences of Exceptional Finite Mutation Type Quivers
Published in SIGMA 10 (2014), 089, 5 pages
• View Publication
• BIB
Maximal green sequences are particular sequences of mutations of quivers which were introduced by Keller in the context of quantum dilogarithm identities and independently by Cecotti-Córdova-Vafa in the context of supersymmetric gauge theory. The existence of maximal green sequences for exceptional finite mutation type quivers has been shown by Alim-Cecotti-Córdova-Espahbodi-Rastogi-Vafa except for the quiver $X_7$. In this paper we show that the quiver $X_7$ does not have any maximal green sequences. We also generalize the idea of the proof to give sufficient conditions for the non-existence of maximal green sequences for an arbitrary quiver.
E-cospectral hypergraphs and some hypergraphs determined by their spectra
Published
• View Publication
• BIB
Two $k$-uniform hypergraphs are said to be cospectral (E-cospectral), if their adjacency tensors have the same characteristic polynomial (E-characteristic polynomial). A $k$-uniform hypergraph $H$ is said to be determined by its spectrum, if there is no other non-isomorphic $k$-uniform hypergraph cospectral with $H$. In this note, we give a method for constructing E-cospectral hypergraphs, which is similar with Godsil-McKay switching. Some hypergraphs are shown to be determined by their spectra.
Explorations of edge-weighted Cayley graphs and p-ary bent functions
Let f be a function mapping an n dimensional vector space over GF(p) to GF(p). When p is 2, Bernasconi et al. have shown that there is a correspondence between certain properties of f (e.g., if it is bent) and properties of its associated Cayley graph. Analogously, but much earlier, Dillon showed that f is bent if and only if the "level curves" of f had certain combinatorial properties (again, only when p is 2). The attempt is to investigate an analogous theory when p is greater than 2 using the (apparently new) combinatorial concept of a weighted partial difference set. More precisely, we try to investigate which properties of the Cayley graph of f can be characterized in terms of function-theoretic properties of f, and which function-theoretic properties of f correspond to combinatorial properties of the set of "level curves", i.e., the inverse map of f. While the natural generalizations of the Bernasconi correspondence and Dillon correspondence are not true in general, using extensive computations, we are able to determine a classification in some small cases. Our main conjecture is Conjecture 67.
Bessenrodt-Stanley polynomials and the octahedron recurrence
Published
• View Publication
• BIB
We show that a family of multivariate polynomials recently introduced by Bessenrodt and Stanley can be expressed as solution of the octahedron recurrence with suitable initial data. This leads to generalizations and explicit expressions as path or dimer partition functions.
Cover time of a random graph with a degree sequence II: Allowing vertices of degree two
Published
• View Publication
• BIB
We study the cover time of a random graph chosen uniformly at random from the set of graphs with vertex set $[n]$ and degree sequence $\mathbf{d}=(d_i)_{i=1}^n$. In a previous work, the asymptotic cover time was obtained under a number of assumptions on $\mathbf{d}$, the most significant being that $d_i\geq 3$ for all $i$. Here we replace this assumption by $d_i\geq 2$. As a corollary, we establish the asymptotic cover time for the 2-core of the emerging giant component of $\mathcal{G}(n,p)$.
Sweep maps: A continuous family of sorting algorithms
Published
• View Publication
• BIB
We define a family of maps on lattice paths, called sweep maps, that assign levels to each step in the path and sort steps according to their level. Surprisingly, although sweep maps act by sorting, they appear to be bijective in general. The sweep maps give concise combinatorial formulas for the q,t-Catalan numbers, the higher q,t-Catalan numbers, the q,t-square numbers, and many more general polynomials connected to the nabla operator and rational Catalan combinatorics. We prove that many algorithms that have appeared in the literature (including maps studied by Andrews, Egge, Gorsky, Haglund, Hanusa, Jones, Killpatrick, Krattenthaler, Kremer, Orsina, Mazin, Papi, Vaille, and the present authors) are all special cases of the sweep maps or their inverses. The sweep maps provide a very simple unifying framework for understanding all of these algorithms. We explain how inversion of the sweep map (which is an open problem in general) can be solved in known special cases by finding a "bounce path" for the lattice paths under consideration. We also define a generalized sweep map acting on words over arbitrary alphabets with arbitrary weights, which is also conjectured to be bijective.
Induced Cycles in Graphs
Published
• View Publication
• BIB
The maximum cardinality of an induced $2$-regular subgraph of a graph $G$ is denoted by $c_{\rm ind}(G)$. We prove that if $G$ is an $r$-regular graph of order $n$, then $c_{\rm ind}(G) \geq \frac{n}{2(r-1)} + \frac{1}{(r-1)(r-2)}$ and we prove that if $G$ is a cubic claw-free graph on order $n$, then $c_{\rm ind}(G) > 13n/20$ and this bound is asymptotically best possible.
A probabilistic construction of small complete caps in projective spaces
Published
• View Publication
• BIB
In this work complete caps in $PG(N,q)$ of size $O(q^{\frac{N-1}{2}}\log^{300} q)$ are obtained by probabilistic methods. This gives an upper bound asymptotically very close to the trivial lower bound $\sqrt{2}q^{\frac{N-1}{2}}$ and it improves the best known bound in the literature for small complete caps in projective spaces of any dimension. The result obtained in the paper also gives a new upper bound for $l(m,2,q)_4$, that is the minimal length $n$ for which there exists an $[n,n-m, 4]_q2$ covering code with given $m$ and $q$.