Showing 20 papers (Total: 83657 papers, 48289 authors in database)
Note on the residue codes of self-dual $\mathbb{Z}_4$-codes having large minimum Lee weights
Published
• View Publication
• BIB
It is shown that the residue code of a self-dual $\mathbb{Z}_4$-code of length $24k$ (resp.\ $24k+8$) and minimum Lee weight $8k+4 \text{ or }8k+2$ (resp.\ $8k+8 \text{ or }8k+6$) is a binary extremal doubly even self-dual code for every positive integer $k$. A number of new self-dual $\mathbb{Z}_4$-codes of length $24$ and minimum Lee weight $10$ are constructed using the above characterization. These codes are Type I $\mathbb{Z}_4$-codes having the largest minimum Lee weight and the largest Euclidean weight among all Type I $\mathbb{Z}_4$-codes of that length. In addition, new extremal Type II $\mathbb{Z}_4$-codes of length $56$ are found.
On a 5-design related to a putative extremal doubly even self-dual code of length a multiple of 24
Published in Designs, Codes and Cryptogr. 76 (2015), 373-384
• View Publication
• BIB
By the Assmus and Mattson theorem, the codewords of each nontrivial weight in an extremal doubly even self-dual code of length 24m form a self-orthogonal 5-design. In this paper, we study the codes constructed from self-orthogonal 5-designs with the same parameters as the above 5-designs. We give some parameters of a self-orthogonal 5-design whose existence is equivalent to that of an extremal doubly even self-dual code of length 24m for m=3,...,6. If $m \in \{1,\ldots,6\}$, $k \in \{m+1,\ldots,5m-1\}$ and $(m,k) \ne (6,18)$, then it is shown that an extremal doubly even self-dual code of length 24m is generated by codewords of weight 4k.
Mutual Interlacing and Eulerian-like Polynomials for Weyl Groups
We use the method of mutual interlacing to prove two conjectures on the real-rootedness of Eulerian-like polynomials: Brenti's conjecture on $q$-Eulerian polynomials for Weyl groups of type $D$, and Dilks, Petersen, and Stembridge's conjecture on affine Eulerian polynomials for irreducible finite Weyl groups.
For the former, we obtain a refinement of Brenti's $q$-Eulerian polynomials of type $D$, and then show that these refined Eulerian polynomials satisfy certain recurrence relation. By using the Routh--Hurwitz theory and the recurrence relation, we prove that these polynomials form a mutually interlacing sequence for any positive $q$, and hence prove Brenti's conjecture. For $q=1$, our result reduces to the real-rootedness of the Eulerian polynomials of type $D$, which were originally conjectured by Brenti and recently proved by Savage and Visontai.
For the latter, we introduce a family of polynomials based on Savage and Visontai's refinement of Eulerian polynomials of type $D$. We show that these new polynomials satisfy the same recurrence relation as Savage and Visontai's refined Eulerian polynomials. As a result, we get the real-rootedness of the affine Eulerian polynomials of type $D$. Combining the previous results for other types, we completely prove Dilks, Petersen, and Stembridge's conjecture, which states that, for every irreducible finite Weyl group, the affine descent polynomial has only real zeros.
From the Ising and Potts models to the general graph homomorphism polynomial
In this note we study some of the properties of the generating polynomial for homomorphisms from a graph to at complete weighted graph on $q$ vertices. We discuss how this polynomial relates to a long list of other well known graph polynomials and the partition functions for different spin models, many of which are specialisations of the homomorphism polynomial.
We also identify the smallest graphs which are not determined by their homomorphism polynomials for $q=2$ and $q=3$ and compare this with the corresponding minimal examples for the $U$-polynomial, which generalizes the well known Tutte-polynomal.
Monochromatic Clique Decompositions of Graphs
Published
• View Publication
• BIB
Let $G$ be a graph whose edges are coloured with $k$ colours, and $\mathcal H=(H_1,\dots , H_k)$ be a $k$-tuple of graphs. A monochromatic $\mathcal H$-decomposition of $G$ is a partition of the edge set of $G$ such that each part is either a single edge or forms a monochromatic copy of $H_i$ in colour $i$, for some $1\le i\le k$. Let $φ_{k}(n,\mathcal H)$ be the smallest number $φ$, such that, for every order-$n$ graph and every $k$-edge-colouring, there is a monochromatic $\mathcal H$-decomposition with at most $φ$ elements. Extending the previous results of Liu and Sousa ["Monochromatic $K_r$-decompositions of graphs", Journal of Graph Theory}, 76:89--100, 2014], we solve this problem when each graph in $\mathcal H$ is a clique and $n\ge n_0(\mathcal H)$ is sufficiently large.
Følner sequences and sum-free sets
Published
• View Publication
• BIB
Erdős showed that every set of $n$ positive integers contains a subset of size at least $n/(k+1)$ containing no solutions to $x_1 + \cdots + x_k = y$. We prove that the constant $1/(k+1)$ here is best possible by showing that if $(F_m)$ is a multiplicative Følner sequence in $\mathbf{N}$ then $F_m$ has no $k$-sum-free subset of size greater than $(1/(k+1)+o(1))|F_m|$. This provides a new proof and a generalisation of a recent theorem of Eberhard, Green, and Manners.
Counting multijoints
Published
• View Publication
• BIB
Let $\mathfrak{L}_1$, $\mathfrak{L}_2$, $\mathfrak{L}_3$ be finite collections of $L_1$, $L_2$, $L_3$, respectively, lines in $\mathbb{R}^3$, and $J(\mathfrak{L}_1, \mathfrak{L}_2,\mathfrak{L}_3)$ the set of multijoints formed by them, i.e. the set of points $x \in \mathbb{R}^3$, each of which lies in at least one line $l_i \in \mathfrak{L}_i$, for all $i=1,2,3$, such that the directions of $l_1$, $l_2$ and $l_3$ span $\mathbb{R}^3$. We prove here that $|J(\mathfrak{L}_1, \mathfrak{L}_2,\mathfrak{L}_3)|\lesssim (L_1L_2L_3)^{1/2}$, and we extend our results to multijoints formed by real algebraic curves in $\mathbb{R}^3$ of uniformly bounded degree, as well as by curves in $\mathbb{R}^3$ parametrised by real univariate polynomials of uniformly bounded degree. The multijoints problem is a variant of the joints problem, as well as a discrete analogue of the endpoint multilinear Kakeya problem.
Combined tilings and separated set-systems
Published
• View Publication
• BIB
In 1998, Leclerc and Zelevinsky introduced the notion of weakly separated collections of subsets of the ordered $n$-element set $[n]$ (using this notion to give a combinatorial characterization for quasi-commuting minors of a quantum matrix). They conjectured the purity of certain natural domains $D\subseteq 2^{[n]}$ (in particular, of the hypercube $2^{[n]}$ itself, and the hyper-simplex $\{X\subseteq[n]\colon |X|=m\}$ for $m$ fixed), where $D$ is called pure if all maximal weakly separated collections in $D$ have the same cardinality. These conjectures have been answered affirmatively.
In this paper, generalizing those earlier results, we reveal wider classes of pure domains in $2^{[n]}$. This is obtained as a consequence of our study of a novel geometric--combinatorial model for weakly separated set-systems, so-called \emph{combined (polygonal) tilings} on a zonogon, which yields a new insight in the area.
Supporting document to the paper "Logical limit laws for minor-closed classes of graphs"
We provide a hand-checkable proof for Lemma 4.9 in the paper "Logical limit laws for minor-closed classes of graphs" by Heinig, Muller, Noy and Taraz.
r-Dynamic Chromatic Number of Graphs
An $r$-dynamic $k$-coloring of a graph $G$ is a proper vertex $k$-coloring such that the neighbors of any vertex $v$ receive at least $\min\{r,{\rm deg}(v)\}$ different colors. The $r$-dynamic chromatic number of $G$, $χ_r(G)$, is defined as the smallest $k$ such that $G$ admits an $r$-dynamic $k$-coloring. In this paper we introduce an upper bound for $χ_r(G)$ in terms of $r$, chromatic number, maximum degree and minimum degree. In 2001, Montgomery \cite{MR2702379} conjectured that, for a $d$-regular graph $G$, $χ_2(G)-χ(G)\leq 2$. In this regard, for a $d$-regular graph $G$, we present two upper bounds for $χ_2(G)-χ(G)$, one of them, $\lceil 5.437\log d+2.721\rceil$, is an improvement of the bound $14.06\log d +1$, proved by Alishahi (2011) \cite{MR2746973}. Also, we give an upper bound for $χ_2(G)$ in terms of chromatic number, maximum degree and minimum degree.
Level Matrices
Let $n>1$ and $k>0$ be fixed integers. A matrix is said to be level if all its column sums are equal. A level matrix with $m$ rows is called reducible if we can delete $j$ rows, $0<j<m$, so that the remaining matrix is level. We ask if there is a minimum integer $\ell=\ell(n,k)$ such that for all $m>\ell$, any $m\times n$ level matrix with entries in $\{0,\ldots,k\}$ is reducible. It is known that $\ell(2,k)=2k-1$. In this paper, we establish the existence of $\ell(n,k)$ for $n\geq 3$ by giving upper and lower bounds for it. We then apply this result to bound the number of certain types of vector space multipartitions.
On graph-like continua of finite length
Published
• View Publication
• BIB
We extend the notion of effective resistance to metric spaces that are similar to graphs but can also be similar to fractals. Combined with other basic facts proved in the paper, this lays the ground for a construction of Brownian Motion on such spaces completed in [10].
Entropy of subordinate shift spaces
Published in Amer. Math. Monthly 125 (2018), no. 2, 141-148
• View Publication
• BIB
We introduce a new family of shift spaces --- the subordinate shifts. Using subordinate shifts we prove in an elementary way that for every nonnegative real number $t$ there is a shift space with entropy $t$.
Some q-analogues of supercongruences of Rodriguez-Villegas
Published
• View Publication
• BIB
We study different q-analogues and generalizations of the ex-conjectures of Rodriguez-Villegas. For example, for any odd prime p, we show that the known congruence \sum_{k=0}^{p-1}\frac{{2k\choose k}^2}{16^k} \equiv (-1)^{\frac{p-1}{2}}\pmod{p^2} has the following two nice q-analogues with [p]=1+q+...+q^{p-1}: \sum_{k=0}^{p-1}\frac{(q;q^2)_k^2}{(q^2;q^2)_k^2}q^{(1+\varepsilon)k} &\equiv (-1)^{\frac{p-1}{2}}q^{\frac{(p^2-1)\varepsilon}{4}}\pmod{[p]^2}, where (a;q)_0=1, (a;q)_n=(1-a)(1-aq)...(1-aq^{n-1}) for n=1,2,..., and \varepsilon=\pm1. Several related conjectures are also proposed.
On involutions in extremal self-dual codes and the dual distance of semi self-dual codes
Published
• View Publication
• BIB
A classical result of Conway and Pless is that a natural projection of the fixed code of an automorphism of odd prime order of a self-dual binary linear code is self-dual. In this paper we prove that the same holds for involutions under some (quite strong) conditions on the codes. In order to prove it, we introduce a new family of binary codes: the semi self-dual codes. A binary self-orthogonal code is called semi self-dual if it contains the all-ones vector and is of codimension 2 in its dual code. We prove upper bounds on the dual distance of semi self-dual codes. As an application we get the following: let C be an extremal self-dual binary linear code of length 24m and s in Aut(C) be a fixed point free automorphism of order 2. If m is odd or if m=2k with binom{5k-1}{k-1} odd then C is a free F_2<s>-module. This result has quite strong consequences on the structure of the automorphism group of such codes.
Associated Graphs of Certain Arithmetic IASI Graphs
Published in International Journal of Mathematics and Soft Computing, Vol.4 Issu 2, 2014, pp.71-80
• View Publication
• BIB
An integer additive set-indexer is defined as an injective function $f:V(G)\rightarrow 2^{\mathbb{N}_0}$ such that the induced function $f^+:E(G) \rightarrow 2^{\mathbb{N}_0}$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective. A graph $G$ which admits an IASI is called an IASI graph. An arithmetic integer additive set-indexer is an integer additive set-indexer $f$, under which the set-labels of all elements of a given graph $G$ are arithmetic progressions. In this paper, we discuss about admissibility of arithmetic integer additive set-indexers by certain associated graphs of the given graph $G$, like line graph, total graph, etc.
On Fence Patrolling by Mobile Agents
Published
• View Publication
• BIB
Suppose that a fence needs to be protected (perpetually) by $k$ mobile agents with maximum speeds $v_1,\ldots,v_k$ so that no point on the fence is left unattended for more than a given amount of time. The problem is to determine if this requirement can be met, and if so, to design a suitable patrolling schedule for the agents. Alternatively, one would like to find a schedule that minimizes the \emph{idle time}, that is, the longest time interval during which some point is not visited by any agent. We revisit this problem, introduced by Czyzowicz et al.(2011), and discuss several strategies for the cases where the fence is an open and a closed curve, respectively.
In particular: (i) we disprove a conjecture by Czyzowicz et al. regarding the optimality of their Algorithm ${\mathcal A_2}$ for unidirectional patrolling of a closed fence; (ii) we present an algorithm with a lower idle time for patrolling an open fence, improving an earlier result of Kawamura and Kobayashi.
The density of sets avoiding distance 1 in Euclidean space
Published
• View Publication
• BIB
We improve by an exponential factor the best known asymptotic upper bound for the density of sets avoiding 1 in Euclidean space. This result is obtained by a combination of an analytic bound that is an analogue of Lovasz theta number and of a combinatorial argument involving finite subgraphs of the unit distance graph. In turn, we straightforwardly obtain an asymptotic improvement for the measurable chromatic number of Euclidean space. We also tighten previous results for the dimensions between 4 and 24.
Ribbon graphs and bialgebra of Lagrangian subspaces
Published in Journal of Knot Theory and Its Ramifications vol. 26 (2016) 1642006 (26 pages)
• View Publication
• BIB
To each ribbon graph we assign a so-called L-space, which is a Lagrangian subspace in an even-dimensional vector space with the standard symplectic form. This invariant generalizes the notion of the intersection matrix of a chord diagram. Moreover, the actions of Morse perestroikas (or taking a partial dual) and Vassiliev moves on ribbon graphs are reinterpreted nicely in the language of L-spaces, becoming changes of bases in this vector space. Finally, we define a bialgebra structure on the span of L-spaces, which is analogous to the 4-bialgebra structure on chord diagrams.
Three Series for the Generalized Golden Mean
Published
• View Publication
• BIB
As is well-known, the ratio of adjacent Fibonacci numbers tends to phi = (1 + sqrt(5))/2, and the ratio of adjacent Tribonacci numbers (where each term is the sum of the three preceding numbers) tends to the real root eta of X^3 - X^2 - X - 1 = 0. Letting alpha(n) denote the corresponding ratio for the generalized Fibonacci numbers, where each term is the sum of the n preceding, we obtain rapidly converging series for alpha(n), 1/alpha(n), and 1/(2-alpha(n)).