Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Berge's Conjecture and Aharoni-Hartman-Hoffman's Conjecture for locally in-semicomplete digraphs
Published
• View Publication
• BIB
Let $k$ be a positive integer and let $D$ be a digraph. A path partition $\sP$ of $D$ is a set of vertex-disjoint paths which covers $V(D)$. Its $k$-norm is defined as $\sum_{P \in \sP} \Min{|V(P)|, k}$. A path partition is $k$-optimal if its $k$-norm is minimum among all path partitions of $D$. A partial $k$-coloring is a collection of $k$ disjoint stable sets. A partial $k$-coloring $\sC$ is orthogonal to a path partition $\sP$ if each path $P \in \sP$ meets $\min\{|P|,k\}$ distinct sets of $\sC$. Berge (1982) conjectured that every $k$-optimal path partition of $D$ has a partial $k$-coloring orthogonal to it. A (path) $k$-pack of $D$ is a collection of at most $k$ vertex-disjoint paths in $D$. Its weight is the number of vertices it covers. A $k$-pack is optimal if its weight is maximum among all $k$-packs of $D$. A coloring of $D$ is a partition of $V(D)$ into stable sets. A $k$-pack $\sP$ is orthogonal to a coloring $\sC$ if each set $C \in \sC$ meets $\Min{|C|, k}$ paths of $\sP$. Aharoni, Hartman and Hoffman (1985) conjectured that every optimal $k$-pack of $D$ has a coloring orthogonal to it. A digraph $D$ is semicomplete if every pair of distinct vertices of $D$ is adjacent. A digraph $D$ is locally in-semicomplete if, for every vertex $v \in V(D)$, the in-neighborhood of $v$ induces a semicomplete digraph. Locally out-semicomplete digraphs are defined similarly. In this paper, we prove Berge's and Aharoni-Hartman-Hoffman's Conjectures for locally in/out-semicomplete digraphs.
Simple polytopes without small separators, II: Thurston's bound
Published
• View Publication
• BIB
We show that there are simple 4-dimensional polytopes with n vertices such that all separators of the graph have size at least $Ω(n/\log n)$. This establishes a strong form of a claim by Thurston, for which the construction and proof had been lost.
We construct the polytopes by cutting off the vertices and then the edges of a particular type of neighborly cubical polytopes. The graphs of simple polytopes thus obtained are 4-regular; they contain 3-regular "cube-connected cycle graphs" as minors of spanning subgraphs.
Matroids with no $U_{2,n}$-minor and many hyperplanes
Published
• View Publication
• BIB
We construct, for every $r \ge 3$ and every prime power $q > 10$, a rank-$r$ matroid with no $U_{2,q+2}$-minor, having more hyperplanes than the rank-$r$ projective geometry over $\mathrm{GF}(q)$.
On $Q$-deformations of Postnikov-Shapiro algebras
For any given loopless graph $G$, we introduce $Q$ - deformations of its Postnikov-Shapiro algebras counting spanning trees, counting spanning forests and $Q$ - deformations of internal algebra of $G$. We determine the total dimension of the algebras; our proof also gives a new proof of the formula for the total dimensions of the usual Postnikov-Shapiro algebras. Furthermore, we construct "square-free" definition of usual internal algebra of $G$.
An improved upper bound on the maximum degree of terminal-pairable complete graphs
A graph $G$ is terminal-pairable with respect to a demand multigraph $D$ on the same vertex set as $G$, if there exists edge-disjoint paths joining the end vertices of every demand edge of $D$. In this short note, we improve the upper bound on the largest $Δ(n)$ with the property that the complete graph on $n$ vertices is terminal-pairable with respect to any demand multigraph of maximum degree at most $Δ(n)$. This disproves a conjecture originally stated by Csaba, Faudree, Gyárfás, Lehel and Schelp.
Lower bounds on the sizes of defining sets in full $n$-Latin squares and full designs
Published
• View Publication
• BIB
The full $n$-Latin square is the $n\times n$ array with symbols $1,2,\dots ,n$ in each cell. In this paper we show, as part of a more general result, that any defining set for the full $n$-Latin square has size $n^3(1-o(1))$. The full design $N(v,k)$ is the unique simple design with parameters $(v,k,{v-2 \choose k-2})$; that is, the design consisting of all subsets of size $k$ from a set of size $v$. We show that any defining set for the full design $N(v,k)$ has size ${v\choose k}(1-o(1))$ (as $v-k$ becomes large). These results improve existing results and are asymptotically optimal. In particular, the latter result solves an open problem given in (Donovan, Lefevre, et al, 2009), in which it is conjectured that the proportion of blocks in the complement of a full design will asymptotically approach zero.
The perimeter of uniform and geometric words: a probabilistic analysis
Published
• View Publication
• BIB
Let a word be a sequence of $n$ i.i.d. integer random variables. The perimeter $P$ of the word is the number of edges of the word, seen as a polyomino. In this paper, we present a probabilistic approach to the computation of the moments of $P$. This is applied to uniform and geometric random variables. We also show that, asymptotically, the distribution of $P$ is Gaussian and, seen as a stochastic process, the perimeter converges in distribution to a Brownian motion
Some Distributions on Finite Rooted Binary Trees
We introduce some natural families of distributions on rooted binary ranked plane trees with a view toward unifying ideas from various fields, including macroevolution, epidemiology, computational group theory, search algorithms and other fields. In the process we introduce the notions of split-exchangeability and plane-invariance of a general Markov splitting model in order to readily obtain probabilities over various equivalence classes of trees that arise in statistics, phylogenetics, epidemiology and group theory.
Generalized chordality, vertex separators and hyperbolicity on graphs
Let $G$ be a graph with the usual shortest-path metric. A graph is $δ$-hyperbolic if for every geodesic triangle $T$, any side of $T$ is contained in a $δ$-neighborhood of the union of the other two sides. A graph is chordal if every induced cycle has at most three edges. A vertex separator set in a graph is a set of vertices that disconnects two vertices. In this paper we study the relation between vertex separator sets, some chordality properties which are natural generalizations of being chordal and the hyperbolicity of the graph. We also give a characterization of being quasi-isometric to a tree in terms of chordality and prove that this condition also characterizes being hyperbolic, when restricted to triangles, and having stable geodesics, when restricted to bigons.
Further results on discrete unitary invariance
In arXiv:1607.06679, Marcus proved that certain functions of multiple matrices, when summed over the symmetries of the cube, decompose into functions of the original matrices. In this note, we generalize the results from the Marcus paper to a larger class of functions of multiple matrices. We also answer a problem posed in the Marcus paper.
Counting Walks in the Quarter Plane
Published in B. Chauvin, Ph. Flajolet, D. Gardy, A. Mokkadem. International Colloquium of Mathematics and Computer Science II, Sep 2002, Versailles, France. Birkhaüser, Trends in Mathematics, pp.49-67, 2002, Trends in Mathematics. Mathematics and Computer Science II: Algorithms, Trees, Combinatorics and Probabilities
• View Publication
• BIB
We study planar walks that start from a given point (i\_0, j\_0), take their steps in a finite set S, and are confined in the first quadrant of the plane. Their enumeration can be attacked in a systematic way: the generating function Q(x, y, t) that counts them by their length (variable t) and the coordinates of their endpoint (variables x, y) satisfies a linear functional equation encoding the step-by-step description of walks. For instance, for the square lattice walks starting from the origin, this equation reads (xy-t(x + y + x^2 y + x y^2)) Q(x, y, t) = xy-xtQ(x, 0, t)-ytQ(O, y, t). The central question addressed in this paper is the nature of the series Q(x, y , t). When is it algebraic? When is it D-finite (or holonomic)? Can these properties be derived from the functional equation itself? Our first result is a new proof of an old theorem due to Kreweras, according to which one of these walk models has, for mysterious reasons, an algebraic generating function. Then, we provide a new proof of a holonomy criterion recently proved by M. Petkovsek and the author. In both cases, we work directly from the functional equation.
A subspace code of size $333$ in the setting of a binary $q$-analog of the Fano plane
Published
• View Publication
• BIB
We show that there is a binary subspace code of constant dimension 3 in ambient dimension 7, having minimum distance 4 and cardinality 333, i.e., $333 \le A_2(7,4;3)$, which improves the previous best known lower bound of 329. Moreover, if a code with these parameters has at least 333 elements, its automorphism group is in one of $31$ conjugacy classes. This is achieved by a more general technique for an exhaustive search in a finite group that does not depend on the enumeration of all subgroups.
A refined count of Coxeter element factorizations
Published
• View Publication
• BIB
For well-generated complex reflection groups, Chapuy and Stump gave a simple product for a generating function counting reflection factorizations of a Coxeter element by their length. This is refined here to record the number of reflections used from each orbit of hyperplanes. The proof is case-by-case via the classification of well-generated groups. It implies a new expression for the Coxeter number, expressed via data coming from a hyperplane orbit; a case-free proof of this due to J. Michel is included.
The Peterson recurrence formula for the chromatic discriminant of a graph
Published
• View Publication
• BIB
The absolute value of the coefficient of $q$ in the chromatic polynomial of a graph $G$ is known as the chromatic discriminant of $G$ and is denoted $α(G)$. There is a well known recurrence formula for $α(G)$ that comes from the deletion-contraction rule for the chromatic polynomial. In this paper we prove another recurrence formula for $α(G)$ that comes from the theory of Kac-Moody Lie algebras. We start with a brief survey on many interesting algebraic and combinatorial interpretations of $α(G)$. We use two of these interpretations (in terms of acyclic orientations and spanning trees) to give two bijective proofs for our recurrence formula of $α(G)$.
On Minimum Bisection and Related Cut Problems in Trees and Tree-Like Graphs
Published
• View Publication
• BIB
Minimum Bisection denotes the NP-hard problem to partition the vertex set of a graph into two sets of equal sizes while minimizing the width of the bisection, which is defined as the number of edges between these two sets. We first consider this problem for trees and prove that the minimum bisection width of every tree $T$ on $n$ vertices satisfies $MinBis(T) \leq 8 n Δ(T) / diam(T)$. Second, we generalize this to arbitrary graphs with a given tree decomposition $(T,X)$ and give an upper bound on the minimum bisection width that depends on the structure of $(T,X)$. Moreover, we show that a bisection satisfying our general bound can be computed in time proportional to the encoding length of the tree decomposition when the latter is provided as input.
Approximating the Minimum $k$-Section Width in Bounded-Degree Trees with Linear Diameter
Minimum $k$-Section denotes the NP-hard problem to partition the vertex set of a graph into $k$ sets of sizes as equal as possible while minimizing the cut width, which is the number of edges between these sets. When $k$ is an input parameter and $n$ denotes the number of vertices, it is NP-hard to approximate the width of a minimum $k$-section within a factor of $n^c$ for any $c<1$, even when restricted to trees with constant diameter. Here, we show that every tree $T$ allows a $k$-section of width at most $(k-1) (2 + 16n / diam(T) ) Δ(T)$. This implies a polynomial-time constant-factor approximation for the Minimum $k$-Section Problem when restricted to trees with linear diameter and constant maximum degree. Moreover, we extend our results from trees to arbitrary graphs with a given tree decomposition.
Arrangements of Pseudocircles: Triangles and Drawings
Published
• View Publication
• BIB
A pseudocircle is a simple closed curve on the sphere or in the plane. The study of arrangements of pseudocircles was initiated by Grünbaum, who defined them as collections of simple closed curves that pairwise intersect in exactly two crossings. Grünbaum conjectured that the number of triangular cells $p_3$ in digon-free arrangements of $n$ pairwise intersecting pseudocircles is at least $2n-4$. We present examples to disprove this conjecture. With a recursive construction based on an example with $12$ pseudocircles and $16$ triangles we obtain a family with $p_3(\mathcal{A})/n \to 16/11 = 1.\overline{45}$. We expect that the lower bound $p_3(\mathcal{A}) \geq 4n/3$ is tight for infinitely many simple arrangements. It may however be true that all digon-free arrangements of $n$ pairwise intersecting circles have at least $2n-4$ triangles.
For pairwise intersecting arrangements with digons we have a lower bound of $p_3 \geq 2n/3$, and conjecture that $p_3 \geq n-1$.
Concerning the maximum number of triangles in pairwise intersecting arrangements of pseudocircles, we show that $p_3 \le 2n^2/3 +O(n)$. This is essentially best possible because there are families of pairwise intersecting arrangements of $n$ pseudocircles with $p_3/n^2 \to 2/3$.
The paper contains many drawings of arrangements of pseudocircles and a good fraction of these drawings was produced automatically from the combinatorial data produced by our generation algorithm. In the final section we describe some aspects of the drawing algorithm.
A Representation Theorem for Generic Line Arrangements with Global Cyclicity in the Plane
Published in The Journal of the Indian Mathematical Society (JIMS), Vol. 87, Issue 1-2, Year 2020, pp. 96-113, http://www.informaticsjournals.com/index.php/jims/article/view/24873
• View Publication
• BIB
In this article, we prove a representation theorem that any generic line arrangement in the plane over an ordered field which has global cyclicity can be represented isomorphically by a line arrangement with a given set of distinct slopes of the same cardinality.
New extremal singly even self-dual codes of lengths $64$ and $66$
Published in Journal of Algebra Combinatorics Discrete Structures and Applications 5 (2018) 143-151
• View Publication
• BIB
For lengths $64$ and $66$, we construct extremal singly even self-dual codes with weight enumerators for which no extremal singly even self-dual codes were previously known to exist. We also construct new $40$ inequivalent extremal doubly even self-dual $[64,32,12]$ codes with covering radius $12$ meeting the Delsarte bound.
On the construction of small subsets containing special elements in a finite field
In this note we construct a series of small subsets containing a non-d-th power element in a finite field by applying certain bounds on incomplete character sums.
Precisely, let $h=\lfloor q^δ\rfloor>1$ and $d\mid q^h-1$. Let $r$ be a prime divisor of $q-1$ such that the largest prime power part of $q-1$ has the form $r^s$. Then there is a constant $0<ε<1$ such that for a ratio at least $ {q^{-εh}}$ of $α\in \mathbb{F}_{q^{h}} \backslash\mathbb{F}_{q}$, the set $S=\{ α-x^t, x\in\mathbb{F}_{q}\}$ of cardinality $1+\frac {q-1} {M(h)}$ contains a non-d-th power in $\mathbb{F}_{q^{\lfloor q^δ\rfloor}}$, where $t$ is the largest power of $r$ such that $t<\sqrt{q}/h$ and $M(h)$ is defined as $$M(h)=\max_{r \mid (q-1)} r^{\min\{v_r(q-1), \lfloor\log_r{q}/2-\log_r h\rfloor\}}.$$ Here $r$ runs thourgh prime divisors and $v_r(x)$ is the $r$-adic oder of $x$. For odd $q$, the choice of $δ=\frac 12-d, d=o(1)>0$ shows that there exists an explicit subset of cardinality $q^{1-d}=O(\log^{2+ε'}(q^h))$ containing a non-quadratic element in the field $\mathbb{F}_{q^h}$. On the other hand, the choice of $h=2$ shows that for any odd prime power $q$, there is an explicit subset of cardinality $1+\frac {q-1}{M(2)}$ containing a non-quadratic element in $\mathbb{F}_{q^2}$. This improves a $q-1$ construction by Coulter and Kosick \cite{CK} since $\lfloor \log_2{(q-1)}\rfloor\leq M(2) < \sqrt{q}$.
In addition, we obtain a similar construction for small sets containing a primitive element. The construction works well provided $φ(q^h-1)$ is very small, where $φ$ is the Euler's totient function.