Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Locally repairable codes with high availability based on generalised quadrangles
Published
• View Publication
• BIB
Locally Repairable Codes (LRC's) based on generalised quadrangles were introduced by Pamies-Juarez, Hollmann and Oggier in \cite{PaHoOg2013}, and bounds on the repairability and availability were derived. In this paper, we determine the values of the repairability and availability of such LRC's for a large portion of the currently known generalised quadrangles. In order to do so, we determine the minimum weight of the codes of translation generalised quadrangles and characterise the codewords of minimum weight.
Wilson's theorem modulo p^2 derived from Faulhaber polynomials
First, we present a new proof of Glaisher's formula dating from 1900 and concerning Wilson's theorem modulo p^2. Our proof uses p-adic numbers and Faulhaber's formula for the sums of powers (17th century), as well as more recent results on Faulhaber's coefficients obtained by Gessel and Viennot. Second, by using our method, we find a simpler proof than Sun's proof regarding a formula for (p-1)! modulo p^3, and one that can be generalized to higher powers of p. Third, we can derive from our method a way to compute the Stirling numbers modulo p^3, thus improving Glaisher and Sun's own results from 120 years ago and 20 years ago respectively. Last, our method allows to find new congruences on convolution of divided Bernoulli numbers and convolutions of divided Bernoulli numbers with Bernoulli numbers.
New methods to attack the Buratti-Horak-Rosa conjecture
Published
• View Publication
• BIB
The conjecture, still widely open, posed by Marco Buratti, Peter Horak and Alex Rosa states that a list $L$ of $v-1$ positive integers not exceeding $\left\lfloor \frac{v}{2}\right\rfloor$ is the list of edge-lengths of a suitable Hamiltonian path of the complete graph with vertex-set $\{0,1,\ldots,v-1\}$ if and only if, for every divisor $d$ of $v$, the number of multiples of $d$ appearing in $L$ is at most $v-d$. In this paper we present new methods that are based on linear realizations and can be applied to prove the validity of this conjecture for a vast choice of lists. As example of their flexibility, we consider lists whose underlying set is one of the following: $\{x,y,x+y\}$, $\{1,2,3,4\}$, $\{1,2,4,\ldots,2x\}$, $\{1,2,4,\ldots,2x,2x+1\}$. We also consider lists with many consecutive elements.
Representations of the Lie Superalgebra $\mathfrak{osp}(1|2n)$ with Polynomial Bases
Published in SIGMA 17 (2021), 031, 27 pages
• View Publication
• BIB
We study a particular class of infinite-dimensional representations of $\mathfrak{osp}(1|2n)$. These representations $L_n(p)$ are characterized by a positive integer $p$, and are the lowest component in the $p$-fold tensor product of the metaplectic representation of $\mathfrak{osp}(1|2n)$. We construct a new polynomial basis for $L_n(p)$ arising from the embedding $\mathfrak{osp}(1|2np) \supset \mathfrak{osp}(1|2n)$. The basis vectors of $L_n(p)$ are labelled by semi-standard Young tableaux, and are expressed as Clifford algebra valued polynomials with integer coefficients in $np$ variables. Using combinatorial properties of these tableau vectors it is deduced that they form indeed a basis. The computation of matrix elements of a set of generators of $\mathfrak{osp}(1|2n)$ on these basis vectors requires further combinatorics, such as the action of a Young subgroup on the horizontal strips of the tableau.
Operads on graphs: extending the pre-Lie operad and general construction
Published
• View Publication
• BIB
The overall aim of this paper is to define a structure of graph operads, thus generalizing the celebrated pre-Lie operad on rooted trees. More precisely, we define two operads on multigraphs, and exhibit a non trivial link between them and the pre-Lie and Kontsevich- Willwacher operads. We study one of these operads in more detail. While its structure is too involved to exhibit a description by generators and relations, we show that it has interesting finitely generated sub-operads, with links with the commutative and the magmatic commutative operads. In particular, one of them is Koszul and this allows us to compute its Koszul dual. Finally, we introduce a new framework on species and operads and a general way to define operads on multigraphs.
A Homology Theory of Graphs: First Homology Group of Hamiltonian Graphs
An integral homology theory on the category of undirected reflexive graphs was constructed in [2]. A geometrical method to understand behaviors of $1$- and $2$-simplices under differential maps of the theory was developed in [3] and led us to an independent proof that the first homology group of any cycle graphs is $\mathbb{Z}$, as it was proved before by a version of Hurewicz theorem harshly defined and shown in [1] and [2]. In this work, we use the old method in [3] to study behaviors of the first homology group of Hamiltonian graphs. We discovered that $H_1(G)$ is torsion-free, for any Hamiltonian graphs $G$.
Beyond Göllnitz' Theorem II: arbitrarily many primary colors
Published
• View Publication
• BIB
In $2003$, Alladi, Andrews and Berkovich proved a four-parameter partition identity lying beyond a celebrated identity of Göllnitz. Since then it has been an open problem to extend their work to five or more parameters. In part I of this pair of papers, we took a first step in this direction by giving a bijective proof of a reformulation of their result. We introduced forbidden patterns, bijectively proved a ten-colored partition identity, and then related, by another bijection, our identity to the Alladi-Andrews-Berkovich identity. In this second paper, we state and bijectively prove an $\frac{n(n+1)}{2}$-colored partition identity beyond Göllnitz' theorem for any number $n$ of primary colors, along with the full set of the $\frac{n(n-1)}{2}$ secondary colors as the product of two distinct primary colors, generalizing the identity proved in the first paper. Like the ten-colored partitions, our family of $\frac{n(n+1)}{2}$-colored partitions satisfy some simple minimal difference conditions while avoiding forbidden patterns. Furthermore, the $\frac{n(n+1)}{2}$-colored partitions have some remarkable properties, as they can be uniquely represented by oriented rooted forests which record the steps of the bijection.
Degree-One Rational Cherednik Algebras for the Symmetric Group
Published in SIGMA 17 (2021), 039, 35 pages
• View Publication
• BIB
Drinfeld orbifold algebras deform skew group algebras in polynomial degree at most one and hence encompass graded Hecke algebras, and in particular symplectic reflection algebras and rational Cherednik algebras. We introduce parametrized families of Drinfeld orbifold algebras for symmetric groups acting on doubled representations that generalize rational Cherednik algebras by deforming in degree one. We characterize rich families of maps recording commutator relations with their linear parts supported only on and only off the identity when the symmetric group acts on the natural permutation representation plus its dual. This produces degree-one versions of $\mathfrak{gl}_n$-type rational Cherednik algebras. When the symmetric group acts on the standard irreducible reflection representation plus its dual there are no degree-one Lie orbifold algebra maps, but there is a three-parameter family of Drinfeld orbifold algebras arising from maps supported only off the identity. These provide degree-one generalizations of the $\mathfrak{sl}_n$-type rational Cherednik algebras $H_{0,c}$.
Difference equations arising from cluster algebras
Published
• View Publication
• BIB
We characterize Y/T-system type difference equations arising from cluster algebras by triples of matrices, which we call T-data, that have a certain symplectic property. We show that all mutation loops are essentially obtained from T-data, which generalizes the general solution for period 1 quivers given by Fordy and Marsh. We also show that any T-datum associated with a periodic Y/T-system has the simultaneous positivity. As an application, we propose a version of Nahm's conjecture from a viewpoint of cluster algebras. We conjecture that given a periodic T/Y-system of a certain type, we have a family of hypergeometric q-series that are also modular functions.
The Ramsey Number for Tree Versus Wheel with Odd Order
Published
• View Publication
• BIB
Chen et al. (2004) strongly conjectured that R(Tn,Wm)=2n-1 if the maximum degree of Tn is small and m is even. Related to the conjecture, it is interesting to know for which tree Tn, we have R(Tn,Wm) > 2n-1 for even m. In this paper, we find the Ramsey number R(Tn,W8) for tree Tn with the maximum degree of Tn is at least n-3, namely R(Tn,W8) > 2n-1 for almost all such tree Tn. We also prove that if the maximum degree of Tn is large, then R(Tn,Wm) is a function of both m and n. In the end, we refine the conjecture of Chen et al. by giving the condition of small maximum degree. For a tree Tn with large maximum degree and even m, the R(Tn,Wm) is also unknown in general. In this paper, we shall determine the Ramsey number R(Tn,W8) for all trees Tn of order n with the maximum degree of Tn is at least n-3.
On the Locating Chromatic Number of Trees
Some coloring algorithms gives an upper bound for the locating chromatic number of trees with all the vertices not in an end-path colored by only two colors. That means, a better coloring algorithm could be achieved by optimizing the number of colors used in the end-paths. We provide an estimation of the locating chromatic number of trees using the locating chromatic number of its end-palms. We also study the locating chromatic number of palms, a subdivision of star. We also prove $χ_L(S_n(k))=Θ(n^{1/k})$; $χ_L(S_n(3))=(1+o(1))\sqrt[3]{4n}$; and $χ_L(O_n)=\left\lceil\log_3\left(\frac{n}{4}\right)\right\rceil+3$.
The Lexicographic Method for the Threshold Cover Problem
Published
• View Publication
• BIB
Threshold graphs are a class of graphs that have many equivalent definitions and have applications in integer programming and set packing problems. A graph is said to have a threshold cover of size $k$ if its edges can be covered using $k$ threshold graphs. Chvátal and Hammer, in 1977, defined the threshold dimension $\mathrm{th}(G)$ of a graph $G$ to be the least integer $k$ such that $G$ has a threshold cover of size $k$ and observed that $\mathrm{th}(G)\geqχ(G^*)$, where $G^*$ is a suitably constructed auxiliary graph. Raschle and Simon~[Proceedings of the Twenty-seventh Annual ACM Symposium on Theory of Computing, STOC '95, pages 650--661, 1995] proved that $\mathrm{th}(G)=χ(G^*)$ whenever $G^*$ is bipartite. We show how the lexicographic method of Hell and Huang can be used to obtain a completely new and, we believe, simpler proof for this result. For the case when $G$ is a split graph, our method yields a proof that is much shorter than the ones known in the literature.
On the maximum CEI of graphs with paprameters
The connective eccentricity index (CEI) of a graph $G$ is defined as $ξ^{ce}(G)=\sum_{v \in V(G)}\frac{d_G(v)}{\varepsilon_G(v)}$, where $d_G(v)$ is the degree of $v$ and $\varepsilon_G(v)$ is the eccentricity of $v$. In this paper, we characterize the unique graphs with maximum CEI from three classes of graphs: the $n$-vertex graphs with fixed connectivity and diameter, the $n$-vertex graphs with fixed connectivity and independence number, and the $n$-vertex graphs with fixed connectivity and minimum degree.
The phase transition for parking on Galton--Watson trees
Published in Discrete Analysis, 2022:1, 17pp
• View Publication
• BIB
We establish a phase transition for the parking process on critical Galton--Watson trees. In this model, a random number of cars with mean $m$ and variance $σ^{2}$ arrive independently on the vertices of a critical Galton--Watson tree with finite variance $Σ^{2}$ conditioned to be large. The cars go down the tree towards the root and try to park on empty vertices as soon as possible. We show a phase transition depending on $$ Θ:= (1-m)^2- Σ^2 (σ^2+m^2-m).$$ Specifically, when $m \leq 1$, if $ Θ>0,$ then all but (possibly) a few cars will manage to park, whereas if $Θ<0$, then a positive fraction of the cars will not find a spot and exit the tree through the root. This confirms a conjecture of Goldschmidt and Przykucki.
Barely lonely runners and very lonely runners
Published
• View Publication
• BIB
We introduce a sharpened version of the well-known Lonely Runner Conjecture of Wills and Cusick. Given a real number $x$, let $\Vert x \Vert$ denote the distance from $x$ to the nearest integer. For each set of positive integer speeds $v_1, \ldots, v_n$, we define the associated maximum loneliness to be $\text{ML}(v_1, \ldots, v_n)=\max_{t \in \mathbb{R}}\min_{1 \leq i \leq n} \Vert tv_i \Vert$. The Lonely Runner Conjecture asserts that $\text{ML}(v_1, \ldots, v_n) \geq 1/(n+1)$ for all choices of $v_1, \ldots, v_n$. If the Lonely Runner Conjecture is true, then the quantity $1/(n+1)$ is the best possible, for there are known equality cases with $\text{ML}(v_1, \ldots, v_n)=1/(n+1)$. A natural but (to our knowledge) hitherto unasked question is: If $v_1, \ldots, v_n$ satisfy the Lonely Runner Conjecture but are not an equality case, must $\text{ML}(v_1, \ldots, v_n)$ be uniformly bounded away from $1/(n+1)$? We conjecture that, contrary to what one might expect, this question has an affirmative answer that reflects an underlying rigidity of the problem. More precisely, we conjecture that for each choice of $v_1, \ldots, v_n$, we have either $\text{ML}(v_1, \ldots, v_n)=s/(ns+1)$ for some $s \in \mathbb{N}$ or $\text{ML}(v_1, \ldots, v_n) \geq 1/n$. Our main results are: confirming this stronger conjecture for $n \leq 3$; and confirming it for $n=4$ and $n=6$ in the case where one speed is much faster than the rest. We also obtain a number of related results.
Representability of Matroids by c-Arrangements is Undecidable
Published in Israel Journal of Mathematics (2022)
• View Publication
• BIB
For a natural number $c$, a $c$-arrangement is an arrangement of dimension $c$ subspaces satisfying the following condition: the sum of any subset of the subspaces has dimension a multiple of $c$. Matroids arising as normalized rank functions of $c$-arrangements are also known as multilinear matroids. We prove that it is algorithmically undecidable whether there exists a $c$ such that a given matroid has a $c$-arrangement representation, or equivalently whether the matroid is multilinear. It follows that certain network coding problems are also undecidable. In the proof, we introduce a generalized Dowling geometry to encode an instance of the uniform word problem for finite groups in matroids of rank three. The $c$-arrangement condition gives rise to some difficulties and their resolution is the main part of the paper.
The Geometry of $H_4$ Polytopes
Published
• View Publication
• BIB
We describe the geometry of an arrangement of 24-cells inscribed in the 600-cell. In $§$7 we apply our results to the even unimodular lattice $E_8$ and show how the 600-cell transforms $E_8$/2$E_8$, an 8-space over the field $\bf{F}$$_2$, into a 4-space over $\bf{F}$$_4$ whose points, lines and planes are labeled by the geometric objects of the 600-cell.
Connectivity concerning the last two subconstituents of a Q-polynomial distance-regular graph
Let $Γ$ be a $Q$-polynomial distance-regular graph of diameter $d\geq 3$. Fix a vertex $γ$ of $Γ$ and consider the subgraph induced on the union of the last two subconstituents of $Γ$ with respect to $γ$. We prove that this subgraph is connected.
Horizontal visibility graph of a random restricted growth sequence
Published
• View Publication
• BIB
We study the distributional properties of horizontal visibility graphs associated with random restrictive growth sequences and random set partitions of size $n.$ Our main results are formulas expressing the expected degree of graph nodes in terms of simple explicit functions of a finite collection of Stirling and Bernoulli numbers.
Distance matrices perturbed by a Laplacian
Published
• View Publication
• BIB
Let $T$ be a tree with $n$ vertices. To each edge of $T$, we assign a weight which is a positive definite matrix of some fixed order, say, $s$. Let $D_{ij}$ denote the sum of all the weights lying in the path connecting the vertices $i$ and $j$ of $T$. We now say that $D_{ij}$ is the distance between $i$ and $j$. Define $D:=[D_{ij}]$, where $D_{ii}$ is the $s \times s$ null matrix and for $i \neq j$, $D_{ij}$ is the distance between $i$ and $j$. Let $G$ be an arbitrary connected weighted graph with $n$ vertices, where each weight is a positive definite matrix of order $s$. If $i$ and $j$ are adjacent, then define $L_{ij}:=-W_{ij}^{-1}$, where $W_{ij}$ is the weight of the edge $(i,j)$. Define $L_{ii}:=\sum_{i \neq j,j=1}^{n}W_{ij}^{-1}$. The Laplacian of $G$ is now the $ns \times ns$ block matrix $L:=[L_{ij}]$. In this paper, we first note that $D^{-1}-L$ is always non-singular and then we prove that $D$ and its perturbation $(D^{-1}-L)^{-1}$ have many interesting properties in common.