Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Classification of families of pr- and epr-sequences
Published in Linear and Multilinear Algebra 65(8) (2017), 1581--1599
• View Publication
• BIB
This paper establishes new restrictions for attainable enhanced principal rank characteristic sequences (epr-sequences). These results are then used to classify two related families of sequences that are attainable by a real symmetric matrix: the family of principal rank characteristic sequences (pr-sequences) not containing three consecutive $1$s and the family of epr-sequences which contain an $\tt{N}$ in every subsequence of length $3$.
A crystal embedding into Lusztig data of type $A$
Published in Journal of Combinatorial Theory, Series A. 154 (2018), 422-443
• View Publication
• BIB
Let $i$ be a reduced expression of the longest element in the Weyl group of type $A$, which is adapted to a Dynkin quiver with a single sink. We present a simple description of the crystal embedding of Young tableaux of arbitrary shape into $i$-Lusztig data, which also gives an algorithm for the transition matrix between Lusztig data associated to reduced expressions adapted to quivers with a single sink.
On the number of cliques in graphs with a forbidden subdivision or immersion
Published
• View Publication
• BIB
How many cliques can a graph on $n$ vertices have with a forbidden substructure? Extremal problems of this sort have been studied for a long time. This paper studies the maximum possible number of cliques in a graph on $n$ vertices with a forbidden clique subdivision or immersion. We prove for $t$ sufficiently large that every graph on $n \geq t$ vertices with no $K_t$-immersion has at most $2^{t+\log^2 t}n$ cliques, which is sharp apart from the $2^{O(\log^2 t)}$ factor. We also prove that the maximum number of cliques in an $n$-vertex graph with no $K_t$-subdivision is at most $2^{1.817t}n$. This improves on the best known exponential constant by Lee and Oum. We conjecture that the optimal bound is $3^{2t/3 +o(t)}n$, as we proved for minors in place of subdivision in earlier work.
A New Twist on Wythoff's Game
Wythoff's Game is a game for two players playing alternately on two stacks of tiles. On her turn, a player can either remove a positive number of tiles from one stack, or remove an equal positive number of tiles from both stacks. The last player to move legally wins the game. We propose and study a new extension of this game to more than two stacks, which we call Twyst-off, inspired by the Reidemeister moves of knot theory. From an ordered sequence of stacks of tiles, a player may either remove a positive number of tiles from one of the two end stacks, or remove the same positive number of tiles from two consecutive stacks. Whenever an interior stack is reduced to 0, the two neighboring stacks are combined. In this paper, we prove several results about those Twyst-off positions that can be won by the second player (these are called P-positions). We prove an existence and uniqueness result that makes the visualization of data on three-stack P-positions possible. This shows that many such positions are symmetric, like the easy general examples (a,a,a) and (a,a+1,a). The main result establishes tight bounds on those three-stack P-positions that are not symmetric. We go on to prove one general structural result for positions with an arbitrary number of stacks. We also prove facts about the game when allowing stacks of infinite size, including classifying all positions with only infinite stacks in sequences of up to six stacks.
Note on Terminal-Pairability in Complete Grid Graphs
Published in Discrete Mathematics Volume 340, Issue 5, May 2017, Pages 988-990
• View Publication
• BIB
We affirmatively answer and generalize the question of Kubicka, Kubicki and Lehel concerning the path-pairability of high-dimensional complete grid graphs. As an intriguing by-product of our result we significantly improve the estimate of the necessary maximum degree in path-pairable graphs, a question originally raised and studied by Faudree, Gyárfás, and Lehel.
Semidefinite bounds for mixed binary/ternary codes
Published in Discrete Mathematics 341(6): 1740-1748, 2018
• View Publication
• BIB
For nonnegative integers $n_2, n_3$ and $d$, let $N(n_2,n_3,d)$ denote the maximum cardinality of a code of length $n_2+n_3$, with $n_2$ binary coordinates and $n_3$ ternary coordinates (in this order) and with minimum distance at least $d$. For a nonnegative integer $k$, let $\mathcal{C}_k$ denote the collection of codes of cardinality at most $k$. For $D \in \mathcal{C}_k$, define $S(D) := \{C \in \mathcal{C}_k \mid D \subseteq C, |D| +2|C\setminus D| \leq k\}$. Then $N(n_2,n_3,d)$ is upper bounded by the maximum value of $\sum_{v \in [2]^{n_2}[3]^{n_3}}x(\{v\})$, where $x$ is a function $\mathcal{C}_k \rightarrow \mathbb{R}$ such that $x(\emptyset) = 1$ and $x(C) = 0$ if $C$ has minimum distance less than $d$, and such that the $S(D)\times S(D)$ matrix $(x(C\cup C'))_{C,C' \in S(D)}$ is positive semidefinite for each $D \in \mathcal{C}_k$. By exploiting symmetry, the semidefinite programming problem for the case $k=3$ is reduced using representation theory. It yields $135$ new upper bounds that are provided in tables
On the abelian complexity of the Rudin-Shapiro sequence
Published
• View Publication
• BIB
In this paper, we study the abelian complexity of the Rudin-Shapiro sequence and a related sequence. We show that these two sequences share the same complexity function $ρ(n)$ which satisfies certain recurrence relations. As a consequence, the abelian complexity function is $2$-regular. Further, we prove that the box dimension of the graph of the asymptotic function $λ(x)$ is $3/2$ where $λ(x)=\lim_{k\to\infty}ρ(4^{k}x)/\sqrt{4^{k}x}$ and $ρ(x)=ρ(\lfloor x\rfloor)$ for any $x> 0$.
Quasisymmetric (k,l)-hook Schur functions
Published
• View Publication
• BIB
We introduce a quasisymmetric generalization of Berele and Regev's hook Schur functions and prove that these new quasisymmetric hook Schur functions decompose the hook Schur functions in a natural way. We examine the combinatorics of the quasisymmetric hook Schur functions, providing a relationship to Gessel's fundamental quasisymmetric functions and an analogue of the Robinson-Schensted-Knuth algorithm. We also prove that the multiplication of quasisymmetric hook Schur functions with hook Schur functions behaves the same as the multiplication of quasisymmetric Schur functions with Schur functions.
Statistics of topological RNA structures
Published
• View Publication
• BIB
In this paper we study properties of topological RNA structures, i.e.~RNA contact structures with cross-serial interactions that are filtered by their topological genus. RNA secondary structures within this framework are topological structures having genus zero. We derive a new bivariate generating function whose singular expansion allows us to analyze the distributions of arcs, stacks, hairpin- , interior- and multi-loops. We then extend this analysis to H-type pseudoknots, kissing hairpins as well as $3$-knots and compute their respective expectation values. Finally we discuss our results and put them into context with data obtained by uniform sampling structures of fixed genus.
Matching polytons
Published in Electronic Journal of Combinatorics, Volume 26, Issue 4 (2019), P4.38
• View Publication
• BIB
Hladky, Hu, and Piguet [Tilings in graphons, preprint] introduced the notions of matching and fractional vertex covers in graphons. These are counterparts to the corresponding notions in finite graphs.
Combinatorial optimization studies the structure of the matching polytope and the fractional vertex cover polytope of a graph. Here, in analogy, we initiate the study of the structure of the set of all matchings and of all fractional vertex covers in a graphon. We call these sets the matching polyton and the fractional vertex cover polyton.
We also study properties of matching polytons and fractional vertex cover polytons along convergent sequences of graphons.
As an auxiliary tool of independent interest, we prove that a graphon is $r$-partite if and only if it contains no graph of chromatic number $r+1$. This in turn gives a characterization of bipartite graphons as those having a symmetric spectrum.
Independence and matching numbers of some token graphs
Published in Australas J. Combin., 76(3), (2020), 387-403
• Search Publication
Let $G$ be a graph of order $n$ and let $k\in\{1,\ldots,n-1\}$. The $k$-token graph $F_k(G)$ of $G$, is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. We study the independence and matching numbers of $F_k(G)$. We present a tight lower bound for the matching number of $F_k(G)$ for the case in which $G$ has either a perfect matching or an almost perfect matching. Also, we estimate the independence number for bipartite $k$-token graphs, and determine the exact value for some graphs.
Online Stochastic Matching: New Algorithms and Bounds
Published
• View Publication
• BIB
Online matching has received significant attention over the last 15 years due to its close connection to Internet advertising. As the seminal work of Karp, Vazirani, and Vazirani has an optimal (1 - 1/e) competitive ratio in the standard adversarial online model, much effort has gone into developing useful online models that incorporate some stochasticity in the arrival process. One such popular model is the "known I.I.D. model" where different customer-types arrive online from a known distribution. We develop algorithms with improved competitive ratios for some basic variants of this model with integral arrival rates, including (a) the case of general weighted edges, where we improve the best-known ratio of 0.667 due to Haeupler, Mirrokni and Zadimoghaddam to 0.705; and (b) the vertex-weighted case, where we improve the 0.7250 ratio of Jaillet and Lu to 0.7299. We also consider an extension of stochastic rewards, a variant where each edge has an independent probability of being present. For the setting of stochastic rewards with non-integral arrival rates, we present a simple optimal non-adaptive algorithm with a ratio of 1 - 1/e. For the special case where each edge is unweighted and has a uniform constant probability of being present, we improve upon 1 - 1/e by proposing a strengthened LP benchmark.
Sparse graphs of high gonality
Published
• View Publication
• BIB
By considering graphs as discrete analogues of Riemann surfaces, Baker and Norine (Adv. Math. 2007) developed a concept of linear systems of divisors for graphs. Building on this idea, a concept of gonality for graphs has been defined and has generated much recent interest. We show that there are connected graphs of treewidth 2 of arbitrarily high gonality. We also show that there exist pairs of connected graphs $\{G,H\}$ such that $H\subseteq G$ and $H$ has strictly lower gonality than $G$. These results resolve three open problems posed in a recent survey by Norine (Surveys in Combinatorics 2015).
Two-stage algorithms for covering array construction
Published
• View Publication
• BIB
Modern software systems often consist of many different components, each with a number of options. Although unit tests may reveal faulty options for individual components, functionally correct components may interact in unforeseen ways to cause a fault. Covering arrays are used to test for interactions among components systematically. A two-stage framework, providing a number of concrete algorithms, is developed for the efficient construction of covering arrays. %Our framework divides the construction in two stages. In the first stage, a time and memory efficient randomized algorithm covers most of the interactions. In the second stage, a more sophisticated search covers the remainder in relatively few tests. In this way, the storage limitations of the sophisticated search algorithms are avoided; hence the range of the number of components for which the algorithm can be applied is extended, without increasing the number of tests. Many of the framework instantiations can be tuned to optimize a memory-quality trade-off, so that fewer tests can be achieved using more memory. The algorithms developed outperform the currently best known methods when the number of components ranges from 20 to 60, the number of options for each ranges from 3 to 6, and $t$-way interactions are covered for $t\in \{5,6\}$. In some cases a reduction in the number of tests by more than $50\%$ is achieved.
Eulerian triangulations: two-point function and hull perimeter statistics
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 6 (2019), no. 1, pp. 1-42
• View Publication
• BIB
We present a new derivation of the distance-dependent two-point function for planar Eulerian triangulations and give expressions for more refined generating functions where we also control hull perimeters. These results are obtained in the framework of a new recursion relation for slice generating functions and extend similar results obtained recently for triangulations and quadrangulations. A number of explicit formulas are given for the statistics of hull perimeters in infinitely large random planar Eulerian triangulations.
Distance proper connection of graphs
Let $G$ be an edge-colored connected graph. A path $P$ in $G$ is called a distance $\ell$-proper path if no two edges of the same color appear with fewer than $\ell$ edges in between on $P$. The graph $G$ is called $(k,\ell)$-proper connected if every pair of distinct vertices of $G$ are connected by $k$ pairwise internally vertex-disjoint distance $\ell$-proper paths in $G$. For a $k$-connected graph $G$, the minimum number of colors needed to make $G$ $(k,\ell)$-proper connected is called the $(k,\ell)$-proper connection number of $G$ and denoted by $pc_{k,\ell}(G)$. In this paper, we prove that $pc_{1,2}(G)\leq 5$ for any $2$-connected graph $G$. Considering graph operations, we find that $3$ is a sharp upper bound for the $(1,2)$-proper connection number of the join and the Cartesian product of almost all graphs. In addition, we find some basic properties of the $(k,\ell)$-proper connection number and determine the values of $pc_{1,\ell}(G)$ where $G$ is a traceable graph, a tree, a complete bipartite graph, a complete multipartite graph, a wheel, a cube or a permutation graph of a nontrivial traceable graph.
On the Davenport-Mahler bound
Published
• View Publication
• BIB
We prove that the Davenport-Mahler bound holds for arbitrary graphs with vertices on the set of roots of a given univariate polynomial with complex coefficients.
On almost hypohamiltonian graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 4, Graph Theory (July 30, 2019) dmtcs:5300
• View Publication
• BIB
A graph $G$ is almost hypohamiltonian (a.h.) if $G$ is non-hamiltonian, there exists a vertex $w$ in $G$ such that $G - w$ is non-hamiltonian, and $G - v$ is hamiltonian for every vertex $v \ne w$ in $G$. The second author asked in [J. Graph Theory 79 (2015) 63--81] for all orders for which a.h. graphs exist. Here we solve this problem. To this end, we present a specialised algorithm which generates complete sets of a.h. graphs for various orders. Furthermore, we show that the smallest cubic a.h. graphs have order 26. We provide a lower bound for the order of the smallest planar a.h. graph and improve the upper bound for the order of the smallest planar a.h. graph containing a cubic vertex. We also determine the smallest planar a.h. graphs of girth 5, both in the general and cubic case. Finally, we extend a result of Steffen on snarks and improve two bounds on longest paths and longest cycles in polyhedral graphs due to Jooyandeh, McKay, {Ö}stergård, Pettersson, and the second author.
Equiangular Lines and Spherical Codes in Euclidean Space
Published
• View Publication
• BIB
A family of lines through the origin in Euclidean space is called equiangular if any pair of lines defines the same angle. The problem of estimating the maximum cardinality of such a family in $\mathbb{R}^n$ was extensively studied for the last 70 years. Motivated by a question of Lemmens and Seidel from 1973, in this paper we prove that for every fixed angle $θ$ and sufficiently large $n$ there are at most $2n-2$ lines in $\mathbb{R}^n$ with common angle $θ$. Moreover, this is achievable only for $θ= \arccos(1/3)$. We also show that for any set of $k$ fixed angles, one can find at most $O(n^k)$ lines in $\mathbb{R}^n$ having these angles. This bound, conjectured by Bukh, substantially improves the estimate of Delsarte, Goethals and Seidel from 1975. Various extensions of these results to the more general setting of spherical codes will be discussed as well.
Schröder partitions, Schröder tableaux and weak poset patterns
Published
• View Publication
• BIB
We introduce the notions of Schröder shape and of Schröder tableau, which provide some kind of analogs of the classical notions of Young shape and Young tableau. We investigate some properties of the partial order given by containment of Schröder shapes. Then we propose an algorithm which is the natural analog of the well known RS correspondence for Young tableaux, and we characterize those permutations whose insertion tableaux have some special shapes. The last part of the article relates the notion of Schröder tableau with those of interval order and of weak containment (and strong avoidance) of posets. We end our paper with several suggestions for possible further work.