Showing 20 papers (Total: 82901 papers, 47900 authors in database)
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.
Edge-regular graphs with regular cliques
Published
• View Publication
• BIB
We exhibit infinitely many examples of edge-regular graphs that have regular cliques and that are not strongly regular. This answers a question of Neumaier from 1981.
Binary functions, degeneracy, and alternating dimaps
Published
• View Publication
• BIB
This paper continues the study of combinatorial properties of binary functions --- that is, functions $f:2^E\rightarrow\mathbb{C}$ such that $f(\emptyset)=1$, where $E$ is a finite set. Binary functions have previously been shown to admit families of transforms that generalise duality, including a trinity transform, and families of associated minor operations that generalise deletion and contraction, with both these families parameterised by the complex numbers. Binary function representations exist for graphs (via the indicator functions of their cutset spaces) and indeed arbitrary matroids (as shown by the author previously). In this paper, we characterise degenerate elements --- analogues of loops and coloops --- in binary functions, with respect to any pair of minor operations from our complex-parameterised family. We then apply this to study the relationship between binary functions and Tutte's alternating dimaps, which also support a trinity transform and three associated minor operations. It is shown that only the simplest alternating dimaps have binary representations of the form we consider, which seems to be the most direct type of representation. The question of whether there exist other, more sophisticated types of binary function representations for alternating dimaps is left open.
The rectangular representation of the double affine Hecke algebra via elliptic Schur-Weyl duality
Published in Published in IMRN, 2019
• View Publication
• BIB
Given a module $M$ for the algebra $\mathcal{D}_{\mathtt{q}}(G)$ of quantum differential operators on $G$, and a positive integer $n$, we may equip the space $F_n^G(M)$ of invariant tensors in $V^{\otimes n}\otimes M$, with an action of the double affine Hecke algebra of type $A_{n-1}$. Here $G= SL_N$ or $GL_N$, and $V$ is the $N$-dimensional defining representation of $G$.
In this paper we take $M$ to be the basic $\mathcal{D}_{\mathtt{q}}(G)$-module, i.e. the quantized coordinate algebra $M= \mathcal{O}_{\mathtt{q}}(G)$. We describe a weight basis for $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ combinatorially in terms of walks in the type $A$ weight lattice, and standard periodic tableaux, and subsequently identify $F_n^G(\mathcal{O}_{\mathtt{q}}(G))$ with the irreducible "rectangular representation" of height $N$ of the double affine Hecke algebra.
Pentavalent symmetric graphs admitting transitive non-abelian characteristically simple groups
Published
• View Publication
• BIB
Let $Γ$ be a graph and let $G$ be a group of automorphisms of $Γ$. The graph $Γ$ is called $G$-normal if $G$ is normal in the automorphism group of $Γ$. Let $T$ be a finite non-abelian simple group and let $G = T^l$ with $l\geq 1$. In this paper we prove that if every connected pentavalent symmetric $T$-vertex-transitive graph is $T$-normal, then every connected pentavalent symmetric $G$-vertex-transitive graph is $G$-normal. This result, among others, implies that every connected pentavalent symmetric $G$-vertex-transitive graph is $G$-normal except $T$ is one of $57$ simple groups. Furthermore, every connected pentavalent symmetric $G$-regular graph is $G$-normal except $T$ is one of $20$ simple groups, and every connected pentavalent $G$-symmetric graph is $G$-normal except $T$ is one of $17$ simple groups.
Serre's Properties for Quadratic Generated Domains from Graphs
For any graph, one can construct a ring, called the edge ring, which is a quadratic-monomial generated subring of the Laurent polynomial ring $k[x_1^{\pm 1},\dots,x_n^{\pm 1}]$. In fact, every quadratic-monomial generated subring of this Laurent polynomial ring can be generated as an edge ring for some graph. The combinatorial structure of the graph has been successfully applied to identify and classify many important commutative algebraic properties of the corresponding edge ring. In this paper, we classify Serre's $R_1$ condition for all quadratic-monomial generated subrings of $k[x_1^{\pm 1},\dots,x_n^{\pm 1}]$. Moreover, we provide a minimal example of a graph whose corresponding edge ring is not Cohen-Macaulay. This paper extends the work of Hibi and Ohsugi from the setting subrings of polynomial rings to subrings of Laurent polynomial rings.
A Proof of Willcocks's Conjecture
We give a proof of Willcocks's Conjecture, stating that if $p - q$ and $p + q$ are relatively prime, then there exists a Hamiltonian tour of a $(p, q)$-leaper on a square chessboard of side $2(p + q)$. The conjecture was formulated by T. H. Willcocks in 1976 and has been an open problem since.
The distinguishing number and the distinguishing index of line and graphoidal graphs
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. A graphoidal cover of $G$ is a collection $ψ$ of (not necessarily open) paths in $G$ such that every path in $ψ$ has at least two vertices, every vertex of $G$ is an internal vertex of at most one path in $ψ$ and every edge of $G$ is in exactly one path in $ψ$. Let $Ω(G,ψ)$ denote the intersection graph of $ψ$. A graph $H$ is called a graphoidal graph, if there exists a graph $G$ and a graphoidal cover $ψ$ of $G$ such that $H\cong Ω(G, ψ)$. In this paper, we study the distinguishing number and the distinguishing index of the line graph and the graphoidal graph of a simple connected graph $G$.
Spanning Simplicial Complexes of Uni-Cyclic Multigraphs
A multigraph is a nonsimple graph which is permitted to have multiple edges, that is, edges that have the same end nodes. We introduce the concept of spanning simplicial complexes $Δ_s(\mathcal{G})$ of multigraphs $\mathcal{G}$, which provides a generalization of spanning simplicial complexes of associated simple graphs. We give first the characterization of all spanning trees of a uni-cyclic multigraph $\mathcal{U}_{n,m}^r$ with $n$ edges including $r$ multiple edges within and outside the cycle of length $m$. Then, we determine the facet ideal $I_\mathcal{F}(Δ_s(\mathcal{U}_{n,m}^r))$ of spanning simplicial complex $Δ_s(\mathcal{U}_{n,m}^r)$ and its primary decomposition. The Euler characteristic is a well-known topological and homotopic invariant to classify surfaces. Finally, we device a formula for Euler characteristic of spanning simplicial complex $Δ_s(\mathcal{U}_{n,m}^r)$.
A plurality problem with three colors and query size three
Published
• View Publication
• BIB
The Plurality problem - introduced by Aigner \cite{A2004} - has many variants. In this article we deal with the following version: suppose we are given $n$ balls, each of them colored by one of three colors. A \textit{plurality ball} is one such that its color class is strictly larger than any other color class. Questioner wants to find a plurality ball as soon as possible or state there is no, by asking triplets (or $k$-sets, in general), while Adversary partition the triplets into color classes as an answer for the queries and wants to postpone the possibility of determining a plurality ball (or stating there is no).
We denote by $A_p(n,3)$ the largest number of queries needed to ask if both play optimally (and Questioner asks triplets). We provide an almost precise result in case of even $n$ by proving that for $n \ge 4$ even we have $$\frac{3}{4}n-2 \le A_p(n,3) \le \frac{3}{4}n-\frac{1}{2},$$ and for $n \ge 3$ odd we have $$\frac{3}{4}n-O(\log n) \le A_p(n,3) \le \frac{3}{4}n-\frac{1}{2}.$$
We also prove some bounds on the number of queries needed to ask for larger $k$.
Group twin coloring of graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (June 26, 2018) dmtcs:3948
• View Publication
• BIB
For a given graph $G$, the least integer $k\geq 2$ such that for every Abelian group $\mathcal{G}$ of order $k$ there exists a proper edge labeling $f:E(G)\rightarrow \mathcal{G}$ so that $\sum_{x\in N(u)}f(xu)\neq \sum_{x\in N(v)}f(xv)$ for each edge $uv\in E(G)$ is called the \textit{group twin chromatic index} of $G$ and denoted by $χ'_g(G)$. This graph invariant is related to a few well-known problems in the field of neighbor distinguishing graph colorings. We conjecture that $χ'_g(G)\leq Δ(G)+3$ for all graphs without isolated edges, where $Δ(G)$ is the maximum degree of $G$, and provide an infinite family of connected graph (trees) for which the equality holds. We prove that this conjecture is valid for all trees, and then apply this result as the base case for proving a general upper bound for all graphs $G$ without isolated edges: $χ'_g(G)\leq 2(Δ(G)+{\rm col}(G))-5$, where ${\rm col}(G)$ denotes the coloring number of $G$. This improves the best known upper bound known previously only for the case of cyclic groups $\mathbb{Z}_k$.