Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Stable gonality is computable
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 1, ICGT 2018 (June 13, 2019) dmtcs:4931
• View Publication
• BIB
Stable gonality is a multigraph parameter that measures the complexity of a graph. It is defined using maps to trees. Those maps, in some sense, divide the edges equally over the edges of the tree; stable gonality asks for the map with the minimum number of edges mapped to each edge of the tree. This parameter is related to treewidth, but unlike treewidth, it distinguishes multigraphs from their underlying simple graphs. Stable gonality is relevant for problems in number theory. In this paper, we show that deciding whether the stable gonality of a given graph is at most a given integer $k$ belongs to the class NP, and we give an algorithm that computes the stable gonality of a graph in $O((1.33n)^nm^m \text{poly}(n,m))$ time.
Algorithms for difference families in finite abelian groups
Published in Spec. Matrices 2019; 7: 127-141 (with a new title)
• Search Publication
Our main objective is to show that the computational methods that we previously developed to search for difference families in cyclic groups can be fully extended to the more general case of arbitrary finite abelian groups. In particular the power density PSD-test and the method of compression can be used to help the search.
On the Hamilton-Waterloo Problem with cycle lengths of distinct parities
Published
• View Publication
• BIB
Let $K_v^*$ denote the complete graph $K_v$ if $v$ is odd and $K_v-I$, the complete graph with the edges of a 1-factor removed, if $v$ is even. Given non-negative integers $v, M, N, α, β$, the Hamilton-Waterloo problem asks for a $2$-factorization of $K^*_v$ into $α$ $C_M$-factors and $β$ $C_N$-factors. Clearly, $M,N\geq 3$, $M\mid v$, $N\mid v$ and $α+β= \lfloor\frac{v-1}{2}\rfloor$ are necessary conditions.
Very little is known on the case where $M$ and $N$ have different parities. In this paper, we make some progress on this case by showing, among other things, that the above necessary conditions are sufficient whenever $M|N$, $v>6N>36M$, and $β\geq 3$.
Model theory and combinatorics of banned sequences
Published
• View Publication
• BIB
We set up a general context in which one can prove Sauer-Shelah type lemmas. We apply our general results to answer a question of Bhaskar and give a slight improvement to a result of Malliaris and Terry. We also prove a new Sauer-Shelah type lemma in the context of op-rank, a notion of Guingona and Hill.
Puzzles in $K$-homology of Grassmannians
Published in Pacific J. Math. 303 (2019) 703-727
• View Publication
• BIB
Knutson, Tao, and Woodward formulated a Littlewood-Richardson rule for the cohomology ring of Grassmannians in terms of puzzles. Vakil and Wheeler-Zinn-Justin have found additional triangular puzzle pieces that allow one to express structure constants for $K$-theory of Grassmannians. Here we introduce two other puzzle pieces of hexagonal shape, each of which gives a Littlewood-Richardson rule for $K$-homology of Grassmannians. We also explore the corresponding eight versions of $K$-theoretic Littlewood-Richardson tableaux.
Monomial ideals with tiny squares
Published
• View Publication
• BIB
Let $I \subset K[x,y]$ be a monomial ideal. How small can $μ(I^2)$ be in terms of $μ(I)$? It has been expected that the inequality $μ(I^2) > μ(I)$ should hold whenever $μ(I) \ge 2$. Here we disprove this expectation and provide a somewhat surprising answer to the above question.
A combinatorial model for computing volumes of flow polytopes
Published in Transactions of the American Mathematical Society 372 (2019), no. 5, 3369-3404
• View Publication
• BIB
We introduce new families of combinatorial objects whose enumeration computes volumes of flow polytopes. These objects provide an interpretation, based on parking functions, of Baldoni and Vergne's generalization of a volume formula originally due to Lidskii. We recover known flow polytope volume formulas and prove new volume formulas for flow polytopes that were seemingly unapproachable. A highlight of our model is an elegant formula for the flow polytope of a graph we call the caracol graph.
As by-products of our work, we uncover a new triangle of numbers that interpolates between Catalan numbers and the number of parking functions, we prove the log-concavity of rows of this triangle along with other sequences derived from volume computations, and we introduce a new Ehrhart-like polynomial for flow polytope volume and conjecture product formulas for the polytopes we consider.
A New Correlation Coefficient for Aggregating Non-strict and Incomplete Rankings
Published
• View Publication
• BIB
We introduce a correlation coefficient that is designed to deal with a variety of ranking formats including those containing non-strict (i.e., with-ties) and incomplete (i.e., unknown) preferences. The correlation coefficient is designed to enforce a neutral treatment of incompleteness whereby no assumptions are made about individual preferences involving unranked objects. The new measure, which can be regarded as a generalization of the seminal Kendall tau correlation coefficient, is proven to satisfy a set of metric-like axioms and to be equivalent to a recently developed ranking distance function associated with Kemeny aggregation. In an effort to further unify and enhance both robust ranking methodologies, this work proves the equivalence of an additional distance and correlation-coefficient pairing in the space of non-strict incomplete rankings. These connections induce new exact optimization methodologies: a specialized branch and bound algorithm and an exact integer programming formulation. Moreover, the bridging of these complementary theories reinforces the singular suitability of the featured correlation coefficient to solve the general consensus ranking problem. The latter premise is bolstered by an accompanying set of experiments on random instances, which are generated via a herein developed sampling technique connected with the classic Mallows distribution of ranking data. Associated experiments with the branch and bound algorithm demonstrate that, as data becomes noisier, the featured correlation coefficient yields relatively fewer alternative optimal solutions and that the aggregate rankings tend to be closer to an underlying ground truth shared by a majority.
Pebbling on Graph Products and other Binary Graph Constructions
Pebbling on graphs is a two-player game which involves repeatedly moving a pebble from one vertex to another by removing another pebble from the first vertex. The pebbling number $π(G)$ is the least number of pebbles required so that, regardless of the initial configuration of pebbles, a pebble can reach any vertex. Graham conjectured that the pebbling number for the cartesian product, $G \hspace{1mm}\square\hspace{1mm} H$, is bounded above by $π(G) π(H)$. We show that $π(G\hspace{1mm}\square\hspace{1mm} H) \le 2π(G) π(H)$ and, more sharply, that $π(G \hspace{1mm}\square\hspace{1mm} H) \le (π(G)+|G|) π(H)$. Furthermore, we provide similar results for other graph products and graph operations.
Generalized coinvariant algebras for $G(r,1,n)$ in the Stanley-Reisner setting
Published
• View Publication
• BIB
Let $r$ and $n$ be positive integers, let $G_n$ be the complex reflection group of $n \times n$ monomial matrices whose entries are $r^{\textrm{th}}$ roots of unity and let $0 \leq k \leq n$ be an integer. Recently, Haglund, Rhoades and Shimozono ($r=1$) and Chan and Rhoades ($r>1$) introduced quotients $R_{n,k}$ (for $r>1$) and $S_{n,k}$ (for $r \geq 1$) of the polynomial ring $\mathbb{C}[x_1,\ldots,x_n]$ in $n$ variables, which for $k=n$ reduce to the classical coinvariant algebra attached to $G_n$. When $n=k$ and $r=1$, Garsia and Stanton exhibited a quotient of $\mathbb{C}[\mathbf{y}_S]$ isomorphic to the coinvariant algebra, where $\mathbb{C}[\mathbf{y}_S]$ is the polynomial ring in $2^n-1$ variables whose variables are indexed by nonempty subsets $S \subseteq [n]$. In this paper, we will define analogous quotients that are isomorphic to $R_{n,k}$ and $S_{n,k}$.
New code upper bounds for the folded n-cube
Published
• View Publication
• BIB
Let $Γ$ denote a distance-regular graph. The maximum size of codewords with minimum distance at least $d$ is denoted by $A(Γ,d)$. Let $\square_n$ denote the folded $n$-cube $H(n,2)$. We give an upper bound on $A(\square_n,d)$ based on block-diagonalizing the Terwilliger algebra of $\square_n$ and on semidefinite programming.The technique of this paper is an extension of the approach taken by A. Schrijver \cite{s} on the study of $A(H(n,2),d)$.
Fractional Powers of the Generating Function for the Partition Function
Published
• View Publication
• BIB
Let $p_{k}(n)$ be the coefficient of $q^n$ in the series expansion of $(q;q)_{\infty}^{k}$. It is known that the partition function $p(n)$, which corresponds to the case when $k=-1$, satisfies congruences such as $p(5n+4)\equiv 0\pmod{5}$. In this article, we discuss congruences satisfied by $p_{k}(n)$ when $k$ is a rational number.
Riordan graphs II: Spectral properties
Published
• View Publication
• BIB
The authors of this paper have used the theory of Riordan matrices to introduce the notion of a Riordan graph in \cite{CJKM}. Riordan graphs are proved to have a number of interesting (fractal) properties, and they are a far-reaching generalization of the well known and well studied Pascal graphs and Toeplitz graphs, and also some other families of graphs. The main focus in \cite{CJKM} is the study of structural properties of families of Riordan graphs obtained from certain infinite Riordan graphs.
In this paper, we use a number of results in~\cite{CJKM} to study spectral properties of Riordan graphs. Our studies include, but are not limited to the spectral graph invariants for Riordan graphs such as the adjacency eigenvalues, (signless) Laplacian eigenvalues, nullity, positive and negative inertias, and rank. We also study determinants of Riordan graphs, in particular, giving results about determinants of Catalan graphs.
Spanning trees without adjacent vertices of degree 2
Published
• View Publication
• BIB
Albertson, Berman, Hutchinson, and Thomassen showed in 1990 that there exist highly connected graphs in which every spanning tree contains vertices of degree 2. Using a result of Alon and Wormald, we show that there exists a natural number $d$ such that every graph of minimum degree at least $d$ contains a spanning tree without adjacent vertices of degree 2. Moreover, we prove that every graph with minimum degree at least 3 has a spanning tree without three consecutive vertices of degree 2.
A coding theoretic approach to the uniqueness conjecture for projective planes of prime order
Published
• View Publication
• BIB
An outstanding folklore conjecture asserts that, for any prime $p$, up to isomorphism the projective plane $PG(2,\mathbb{F}_p)$ over the field $\mathbb{F}_p := \mathbb{Z}/p\mathbb{Z}$ is the unique projective plane of order $p$. Let $π$ be any projective plane of order $p$. For any partial linear space ${\cal X}$, define the inclusion number $i({\cal X},π)$ to be the number of isomorphic copies of ${\cal X}$ in $π$. In this paper we prove that if ${\cal X}$ has at most $\log_2 p$ lines, then $i({\cal X},π)$ can be written as an explicit rational linear combination (depending only on ${\cal X}$ and $p$) of the coefficients of the complete weight enumerator (c.w.e.) of the $p$-ary code of $π$. Thus, the c.w.e. of this code carries an enormous amount of structural information about $π$. In consequence, it is shown that if $p > 2^ 9=512$, and $π$ has the same c.w.e. as $PG(2,\mathbb{F}_p)$, then $π$ must be isomorphic to $PG(2,\mathbb{F}_p)$. Thus, the uniqueness conjecture can be approached via a thorough study of the possible c.w.e. of the codes of putative projective planes of prime order.
Embedding 5-planar graphs in three pages
Published
• View Publication
• BIB
A \emph{book-embedding} of a graph $G$ is an embedding of vertices of $G$ along the spine of a book, and edges of $G$ on the pages so that no two edges on the same page intersect. the minimum number of pages in which a graph can be embedded is called the \emph{page number}. The book-embedding of graphs may be important in several technical applications, e.g., sorting with parallel stacks, fault-tolerant processor arrays design, and layout problems with application to very large scale integration (VLSI). Bernhart and Kainen firstly considered the book-embedding of the planar graph and conjectured that its page number can be made arbitrarily large [JCT, 1979, 320-331]. Heath [FOCS84] found that planar graphs admit a seven-page book embedding. Later, Yannakakis proved that four pages are necessary and sufficient for planar graphs in [STOC86]. Recently, Bekos et al. [STACS14] described an $O(n^{2})$ time algorithm of two-page book embedding for 4-planar graphs. In this paper, we embed 5-planar graphs into a book of three pages by an $O(n^{2})$ time algorithm.
Majoration of the dimension of the space of concatenated solutions of a specific pantograph equation
Published
• View Publication
• BIB
For each $λ\in \mathbb N^*$, we consider the integral equation: \[ \int_{λy} ^{λx} f(t)\, d t = f(x) - f(y) \mbox{ for every $(x,y)\in {\mathbb R}_+^2$,} \] where $f$ is the concatenation of two continuous functions $f_a,f_b:[0,λ] \rightarrow {\mathbb R}$ along a word $u= u_0u_1\cdots\in\{a,b\}^{\mathbb N}$ such that $u=σ(u)$, where $σ$ is a $λ$-uniform substitution satisfying some combinatorial conditions.
There exists some non-trivial solutions. We show in this work that the dimension of the set of solutions is at most two.
Maximising the number of solutions to a linear equation in a set of integers
Published
• View Publication
• BIB
Given a linear equation of the form $a_1x_1 + a_2x_2 + a_3x_3 = 0$ with integer coefficients $a_i$, we are interested in maximising the number of solutions to this equation in a set $S \subseteq \mathbb{Z}$, for sets $S$ of a given size.
We prove that, for any choice of constants $a_1, a_2$ and $a_3$, the maximum number of solutions is at least $\left(\frac{1}{12} + o(1)\right)|S|^2$. Furthermore, we show that this is optimal, in the following sense. For any $\varepsilon > 0,$ there are choices of $a_1, a_2$ and $a_3,$ for which any large set $S$ of integers has at most $\left(\frac{1}{12} + \varepsilon\right)|S|^2$ solutions.
For equations in $k \geq 3$ variables, we also show an analogous result. Set $σ_k = \int_{-\infty}^{\infty} (\frac{\sin πx}{πx})^k dx.$ Then, for any choice of constants $a_1, \dots, a_k$, there are sets $S$ with at least $(\frac{σ_k}{k^{k-1}} + o(1))|S|^{k-1}$ solutions to $a_1x_1 + \dots + a_kx_k = 0$. Moreover, there are choices of coefficients $a_1, \dots, a_k$ for which any large set $S$ must have no more than $(\frac{σ_k}{k^{k-1}} + \varepsilon)|S|^{k-1}$ solutions, for any $\varepsilon > 0$.
Continued fractions and orderings on the Markov numbers
Published
• View Publication
• BIB
Markov numbers are integers that appear in the solution triples of the Diophantine equation, $x^2+y^2+z^2=3xyz$, called the Markov equation. A classical topic in number theory, these numbers are related to many areas of mathematics such as combinatorics, hyperbolic geometry, approximation theory and cluster algebras.
There is a natural map from the rational numbers between zero and one to the Markov numbers. In this paper, we prove two conjectures seen in Martin Aigner's book, Markov's theorem and 100 years of the uniqueness conjecture, that determine an ordering on subsets of the Markov numbers based on their corresponding rational.
The proof relies on a relationship between Markov numbers and continuant polynomials which originates in Frobenius' 1913 paper.
The topology of arrangements of ideal type
Published
• View Publication
• BIB
In 1962, Fadell and Neuwirth showed that the configuration space of the braid arrangement is aspherical. Having generalized this to many real reflection groups, Brieskorn conjectured this for all finite Coxeter groups. This in turn follows from Deligne's seminal work from 1972, where he showed that the complexification of every real simplicial arrangement is a $K(π,1)$-arrangement.
In this paper we study the $K(π,1)$-property for a certain class of subarrangements of Weyl arrangements, the so called arrangements of ideal type ${\mathscr A}_I$. These stem from ideals $I$ in the set of positive roots of a reduced root system. We show that the $K(π,1)$-property holds for all arrangements ${\mathscr A}_I$ if the underlying Weyl group is classical and that it extends to most of the ${\mathscr A}_I$ if the underlying Weyl group is of exceptional type. Conjecturally this holds for all ${\mathscr A}_I$. In general, the ${\mathscr A}_I$ are neither simplicial, nor is their complexification fiber type.