Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Bounded-Excess Flows in Cubic Graphs
Published
• View Publication
• BIB
An (r,alpha)-bounded excess flow ((r,alpha)-flow) in an orientation of a graph G=(V,E) is an assignment of a real "flow value" between 1 and r-1 to every edge. Rather than 0 as in an actual flow, some flow excess, which does not exceed alpha may accumulate in any vertex. Bounded excess flows suggest a generalization of Circular nowhere zero flows, which can be regarded as (r,0)-flows. We define (r,alpha) as Stronger or equivalent to (s,beta) If the existence of an (r,alpha)-flow in a cubic graph always implies the existence of an (s,beta)-flow in the same graph. Then we study the structure of the two-dimensional flow strength poset. A major role is played by the "Trace" parameter: tr(r,alpha)=(r-2alpha) divided by (1-alpha). Among points with the same trace the stronger is the one with the larger r (an r-cnzf is of trace r). About one half of the article is devoted to proving the main result: Every cubic graph admits a (3.5,0.5)-flow. tr(3.5,0.5)=5 so it can be considered a step in the direction of the 5-flow Conjecture. Our result is best possible for all cubic graphs while the seemingly stronger 5-flow Conjecture only applies to bridgeless graphs. We strongly rely on the notion of "k-weak bisections", defined and studied in: L. Esperet, G. Mazzuoccolo and M. Tarsi "Flows and Bisections in Cubic Graphs" J. Graph Theory, 86(2) (2017), 149-158.
Cut-and-join equation for monotone Hurwitz numbers revisited
Published in J. Geom. Phys. 137 (2019), 1-6
• View Publication
• BIB
We give a new proof of the cut-and-join equation for the monotone Hurwitz numbers, derived first by Goulden, Guay-Paquet, and Novak. Our proof in particular uses a combinatorial technique developed by Han.
The main interest in this particular equation is its close relation to the quadratic loop equation in the theory of spectral curve topological recursion, and we recall this motivation giving a new proof of the topological recursion for monotone Hurwitz numbers, obtained first by Do, Dyer, and Mathews.
Rank of weighted digraphs with blocks
Let $G$ be a digraph and $r(G)$ be its rank. Many interesting results on the rank of an undirected graph appear in the literature, but not much information about the rank of a digraph is available. In this article, we study the rank of a digraph using the ranks of its blocks. In particular, we define classes of digraphs, namely $r_2$-digraph, and $r_0$-digraph, for which the rank can be exactly determined in terms of the ranks of subdigraphs of the blocks. Furthermore, the rank of directed trees, simple biblock graphs, and some simple block graphs are studied.
Geometric comparison of phylogenetic trees with different leaf sets
Published
• View Publication
• BIB
The metric space of phylogenetic trees defined by Billera, Holmes, and Vogtmann, which we refer to as BHV space, provides a natural geometric setting for describing collections of trees on the same set of taxa. However, it is sometimes necessary to analyze collections of trees on non-identical taxa sets (i.e., with different numbers of leaves), and in this context it is not evident how to apply BHV space. Davidson et al. recently approached this problem by describing a combinatorial algorithm extending tree topologies to regions in higher dimensional tree spaces, so that one can quickly compute which topologies contain a given tree as partial data. In this paper, we refine and adapt their algorithm to work for metric trees to give a full characterization of the subspace of extensions of a subtree. We describe how to apply our algorithm to define and search a space of possible supertrees and, for a collection of tree fragments with different leaf sets, to measure their compatibility.
Spectra of Hadamard matrices
A Butson Hadamard matrix $H$ has entries in the kth roots of unity, and satisfies the matrix equation $HH^{\ast} = nI_{n}$. We write $\mathrm{BH}(n, k)$ for the set of such matrices. A complete morphism of Butson matrices is a map $\mathrm{BH}(n, k) \rightarrow \mathrm{BH}(m, \ell)$. In this paper, we develop a technique for controlling the spectra of certain Hadamard matrices. For each integer $t$, we construct a real Hadamard matrix $H_{t}$ of order $n_{t} = 2^{2^{t-1}-1}$ such that the minimal polynomial of $\frac{1}{\sqrt{n_{t}}}H_{t}$ is the cyclotomic polynomial $Φ_{2^{t+1}}(x)$. Such matrices yield new examples of complete morphisms \[ \mathrm{BH}(n, 2^{t}) \rightarrow \mathrm{BH}(2^{2^{t-1}-1}n, 2)\,, \] for each $t \geq 2$, generalising a well-known result of Turyn.
On the Discrepancy of Random Matrices with Many Columns
Published
• View Publication
• BIB
Motivated by the Komlós conjecture in combinatorial discrepancy, we study the discrepancy of random matrices with $m$ rows and $n$ independent columns drawn from a bounded lattice random variable. It is known that for $n$ tending to infinity and $m$ fixed, with high probability the $\ell_\infty$-discrepancy is at most twice the $\ell_\infty$-covering radius of the integer span of the support of the random variable. However, the easy argument for the above fact gives no concrete bounds on the failure probability in terms of $n$. We prove that the failure probability is inverse polynomial in $m, n$ and some well-motivated parameters of the random variable. We also obtain the analogous bounds for the discrepancy in arbitrary norms.
We apply these results to two random models of interest. For random $t$-sparse matrices, i.e. uniformly random matrices with $t$ ones and $m-t$ zeroes in each column, we show that the $\ell_\infty$-discrepancy is at most $2$ with probability $1 - O(\sqrt{ \log n/n})$ for $n = Ω(m^3 \log^2 m)$. This improves on a bound proved by Ezra and Lovett (Ezra and Lovett, Approx+Random, 2016) showing that the same is true for $n$ at least $m^t$. For matrices with random unit vector columns, we show that the $\ell_\infty$-discrepancy is $O(\exp(\sqrt{ n/m^3}))$ with probability $1 - O(\sqrt{ \log n/n})$ for $n = Ω(m^3 \log^2 m).$ Our approach, in the spirit of Kuperberg, Lovett and Peled (G. Kuperberg, S. Lovett and R. Peled, STOC 2012), uses Fourier analysis to prove that for $m \times n$ matrices $M$ with i.i.d. columns, and $m$ sufficiently large, the distribution of $My$ for random $y \in \{-1,1\}^n$ obeys a local limit theorem.
Fixing Numbers of Graphs and Groups
Published in Electronic Journal of Combinatorics 16 (2009), no. 1 (electronic)
• View Publication
• BIB
The fixing number of a graph $G$ is the smallest cardinality of a set of vertices $S$ such that only the trivial automorphism of $G$ fixes every vertex in $S$. The fixing set of a group $Γ$ is the set of all fixing numbers of finite graphs with automorphism group $Γ$. Several authors have studied the distinguishing number of a graph, the smallest number of labels needed to label $G$ so that the automorphism group of the labeled graph is trivial. The fixing number can be thought of as a variation of the distinguishing number in which every label may be used only once, and not every vertex need be labeled. We characterize the fixing sets of finite abelian groups, and investigate the fixing sets of symmetric groups.
Using Block Designs in Crossing Number Bounds
Published
• View Publication
• BIB
The crossing number ${\mbox {cr}}(G)$ of a graph $G=(V,E)$ is the smallest number of edge crossings over all drawings of $G$ in the plane. For any $k\ge 1$, the $k$-planar crossing number of $G$, ${\mbox {cr}}_k(G)$, is defined as the minimum of ${\mbox {cr}}(G_1)+{\mbox {cr}}(G_2)+\ldots+{\mbox {cr}}(G_{k})$ over all graphs $G_1, G_2,\ldots, G_{k}$ with $\cup_{i=1}^{k}G_i=G$. Pach et al. [\emph{Computational Geometry: Theory and Applications} {\bf 68} 2--6, (2018)] showed that for every $k\ge 1$, we have ${\mbox {cr}}_k(G)\le \left(\frac{2}{k^2}-\frac1{k^3}\right){\mbox {cr}}(G)$ and that this bound does not remain true if we replace the constant $\frac{2}{k^2}-\frac1{k^3}$ by any number smaller than $\frac1{k^2}$. We improve the upper bound to $\frac{1}{k^2}(1+o(1))$ as $k\rightarrow \infty$. For the class of bipartite graphs, we show that the best constant is exactly $\frac{1}{k^2}$ for every $k$. The results extend to the rectilinear variant of the $k$-planar crossing number.
A $q$-Queens Problem. IV. Attacking Configurations and Their Denominators
Published in Discrete Math., 343(2) (2020), article 111649, 16 pp
• View Publication
• BIB
In Parts I-III we showed that the number of ways to place $q$ nonattacking queens or similar chess pieces on an $n\times n$ chessboard is a quasipolynomial function of $n$ whose coefficients are essentially polynomials in $q$.
In this part we focus on the periods of those quasipolynomials. We calculate denominators of vertices of the inside-out polytope, since the period is bounded by, and conjecturally equal to, their least common denominator. We find an exact formula for that denominator of every piece with one move and of two-move pieces having a horizontal move. For pieces with three or more moves, we produce geometrical constructions related to the Fibonacci numbers that show the denominator grows at least exponentially with $q$.
On the minimum weights of binary linear complementary dual codes
Published in Cryptography and Communications (2020) 12:285-300
• View Publication
• BIB
Linear complementary dual codes (or codes with complementary duals) are codes whose intersections with their dual codes are trivial. We study the largest minimum weight $d(n,k)$ among all binary linear complementary dual $[n,k]$ codes. We determine $d(n,4)$ for $n \equiv 2,3,4,5,6,9,10,13 \pmod{15}$, and $d(n,5)$ for $n \equiv 3,4,5,7,11,19,20,22,26 \pmod{31}$. Combined with known results, the values $d(n,k)$ are also determined for $n \le 24$.
Borel-de Siebenthal theory for affine reflection systems
Published in Mosc. Math. J. 21 (2021), no. 1, 99-127
• View Publication
• BIB
We develop a Borel-de Siebenthal theory for affine reflection systems by classifying their maximal closed subroot systems. Affine reflection systems (introduced by Loos and Neher) provide a unifying framework for root systems of finite-dimensional semi-simple Lie algebras, affine and toroidal Lie algebras, and extended affine Lie algebras. In the special case of nullity $k$ toroidal Lie algebras, we obtain a one-to-one correspondence between maximal closed subroot systems with full gradient and triples $(q,(b_i),H)$, where $q$ is a prime number, $(b_i)$ is a $n$-tuple of integers in the interval $[0,q-1]$ and $H$ is a $(k\times k)$ Hermite normal form matrix with determinant $q$. This generalizes the $k=1$ result of Dyer and Lehrer in the setting of affine Lie algebras.
Polynomial bounds for centered colorings on proper minor-closed graph classes
Published
• View Publication
• BIB
For $p\in \mathbb{N}$, a coloring $λ$ of the vertices of a graph $G$ is {\em{$p$-centered}} if for every connected subgraph~$H$ of $G$, either $H$ receives more than $p$ colors under $λ$ or there is a color that appears exactly once in $H$. In this paper, we prove that every $K_t$-minor-free graph admits a $p$-centered coloring with $\mathcal{O}(p^{g(t)})$ colors for some function $g$. In the special case that the graph is embeddable in a fixed surface $Σ$ we show that it admits a $p$-centered coloring with $\mathcal{O}(p^{19})$ colors, with the degree of the polynomial independent of the genus of $Σ$. This provides the first polynomial upper bounds on the number of colors needed in $p$-centered colorings of graphs drawn from proper minor-closed classes, which answers an open problem posed by Dvoř{á}k.
As an algorithmic application, we use our main result to prove that if $\mathcal{C}$ is a fixed proper minor-closed class of graphs, then given graphs $H$ and $G$, on $p$ and $n$ vertices, respectively, where $G\in \mathcal{C}$, it can be decided whether $H$ is a subgraph of $G$ in time $2^{\mathcal{O}(p\log p)}\cdot n^{\mathcal{O}(1)}$ and space $n^{\mathcal{O}(1)}$.
Counting fixed points free vector fields on $\mathbb{B}^{2}$
The number of diagrams of stationary points free vector fields in the 2-disk $\mathbb{B}^{2}$ is counted in the article. It is shown that the number of such diagrams with $2k$ exceptional points on the boundary $\mathbb{S}^{1}$ equals $3^{k-2}(C_{k}+2C_{k-1})$, where $C_{k}$ is the corresponding Catalan number. An algorithm for finding all such diagrams is discussed.
Unit distance graphs and algebraic integers
Published
• View Publication
• BIB
We answer a question of Brass about vertex degrees in unit distance graphs of finitely generated additive subgroups of $\mathbb{R}^2$.
Tower Diagrams and Pieri's Rule
We introduce an algorithm to describe Pieri's Rule for multiplication of Schubert polynomials. The algorithm uses tower diagrams introduced by the authors and another new algorithm that describes Monk's Rule. Our result is different from the well-known descriptions (and proofs) of the rule by Bergeron-Billey and Kogan-Kumar and uses Sottile's version of Pieri's Rule.
Induced subgraphs of graphs with large chromatic number. XIII. New brooms
Published
• View Publication
• BIB
Gyárfás and Sumner independently conjectured that for every tree $T$, the class of graphs not containing $T$ as an induced subgraph is $χ$-bounded, that is, the chromatic numbers of graphs in this class are bounded above by a function of their clique numbers. This remains open for general trees $T$, but has been proved for some particular trees. For $k\ge 1$, let us say a broom of length $k$ is a tree obtained from a $k$-edge path with ends $a,b$ by adding some number of leaves adjacent to $b$, and we call $a$ its handle. A tree obtained from brooms of lengths $k_1,...,k_n$ by identifying their handles is a $(k_1,...,k_n)$-multibroom. Kierstead and Penrice proved that every $(1,...,1)$-multibroom $T$ satisfies the Gyárfás-Sumner conjecture, and Kierstead and Zhu proved the same for $(2,...,2)$-multibrooms. In this paper give a common generalization: we prove that every $(1,...,1,2,...,2)$-multibroom satisfies the Gyárfás-Sumner conjecture.
Generic torus orbit closures in Schubert varieties
Published in Journal of Combinatorial Theory, Series A Volume 170, February 2020
• View Publication
• BIB
The closure of a generic torus orbit in the flag variety $G/B$ of type $A_{n-1}$ is known to be a permutohedral variety and well studied. In this paper we introduce the notion of a generic torus orbit in the Schubert variety $X_w$ $(w\in \mathfrak{S}_n)$ and study its closure $Y_w$. We identify the maximal cone in the fan of $Y_w$ corresponding to a fixed point $uB$ $(u\le w)$, associate a graph $Γ_w(u)$ to each $u\le w$, and show that $Y_w$ is smooth at $uB$ if and only if $Γ_w(u)$ is a forest. We also introduce a polynomial $A_w(t)$ for each $w$, which agrees with the Eulerian polynomial when $w$ is the longest element of $\mathfrak{S}_n$, and show that the Poincaré polynomial of $Y_w$ agrees with $A_w(t^2)$ when $Y_w$ is smooth.
On the number of semi-magic squares of order 6
We present an exact method for counting semi-magic squares of order 6. Some theoretical investigations about the number of them and a probabilistic method are presented. Our calculations show that there are exactly $94\,590\,660\,245\,399\,996\,601\,600$ such squares up to reflections and rotations.
Action graphs, planar rooted forests, and self-convolutions of the Catalan numbers
Published in Involve 14 (2021) 387-399
• View Publication
• BIB
We show that families of action graphs, with initial graphs which are linear of varying length, give rise to self-convolutions of the Catalan sequence. We prove this result via a comparison with planar rooted forests with a fixed number of trees.
Topological Prismatoids and Small Simplicial Spheres of Large Diameter
Published in Experimental Mathematics, 31:2 (2022), 461-473
• View Publication
• BIB
We introduce topological prismatoids, a combinatorial abstraction of the (geometric) prismatoids recently introduced by the second author to construct counter-examples to the Hirsch conjecture. We show that the `strong $d$-step Theorem' that allows to construct such large-diameter polytopes from `non-$d$-step' prismatoids still works at this combinatorial level. Then, using metaheuristic methods on the flip graph, we construct four combinatorially different non-$d$-step $4$-dimensional topological prismatoids with $14$ vertices. This implies the existence of $8$-dimensional spheres with $18$ vertices whose combinatorial diameter exceeds the Hirsch bound. These examples are smaller that the previously known examples by Mani and Walkup in 1980 ($24$ vertices, dimension $11$).
Our non-Hirsch spheres are shellable but we do not know whether they are realizable as polytopes.