Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Optimal Ternary Constant-Composition Codes with Weight Four and Distance Six
Published
• View Publication
• BIB
The sizes of optimal constant-composition codes of weight three have been determined by Chee, Ge and Ling with four cases in doubt. Group divisible codes played an important role in their constructions. In this paper, we study the problem of constructing optimal ternary constant-composition codes with Hamming weight four and minimum distance six. The problem is solved with a small number of lengths undetermined. The previously known results are those with code length no greater than 10.
On h-basis
A set A of positive integers is called a h-bais of [0,n] if each integer in [0,n]is a sum of no more than h members of A. In this paper, we will give a new construction for h-basis.
Subgeometries in the André/Bruck-Bose representation
Published
• View Publication
• BIB
We consider the André/Bruck-Bose representation of the projective plane $\mathrm{PG}(2,q^n)$ in $\mathrm{PG}(2n,q)$. We investigate the representation of $\mathbb{F}_{q^k}$-sublines and $\mathbb{F}_{q^k}$-subplanes of $\mathrm{PG}(2,q^n)$, extending the results for $n=3$ of \cite{BarJack2} and correcting the general result of \cite{BarJack1}. We characterise the representation of $\mathbb{F}_{q^k}$-sublines tangent to or contained in the line at infinity, $\mathbb{F}_q$-sublines external to the line at infinity, $\mathbb{F}_q$-subplanes tangent to and $\mathbb{F}_{q^k}$-subplanes secant to the line at infinity.
On a vertex-minimal triangulation of $\mathbb{R}P^4$
Published
• View Publication
• BIB
We give three constructions of a vertex-minimal triangulation of $4$-dimensional real projective space $\mathbb{R}P^4$. The first construction describes a $4$-dimensional sphere on $32$ vertices, which is a double cover of a triangulated $\mathbb{R}P^4$ and has a large amount of symmetry. The second and third constructions illustrate approaches to improving the known number of vertices needed to triangulate $n$-dimensional real projective space. All three constructions deliver the same combinatorial manifold, which is also the same as the only known $16$-vertex triangulation of $\mathbb{R}P^4$. We also give a short, simple construction of the $22$-point Witt design, which is closely related to the complex we construct.
Construction and Composition of Rooted Trees via Descent Functions
Published in Algebra, Volume 2013 (2013), Article ID 543913, 11 pages
• View Publication
• BIB
We propose a novel approach for studying rooted trees by using functions that we will call descent functions. We provide a construction method for rooted trees that allows to study their properties through the use of descent functions. Moreover, in this way, we are able to compose rooted trees with each other. Such a new composition of rooted trees is a very powerful tool applied in this paper in order to obtain important results as the creation of new rational and Pythagorean trees.
More on the bipartite decomposition of random graphs
Published
• View Publication
• BIB
For a graph $G=(V,E)$, let $bc(G)$ denote the minimum number of pairwise edge disjoint complete bipartite subgraphs of $G$ so that each edge of $G$ belongs to exactly one of them. It is easy to see that for every graph $G$, $bc(G) \leq n -α(G)$, where $α(G)$ is the maximum size of an independent set of $G$. Erdős conjectured in the 80s that for almost every graph $G$ equality holds, i.e., that for the random graph $G(n,0.5)$, $bc(G)=n-α(G)$ with high probability, that is, with probability that tends to 1 as $n$ tends to infinity. The first author showed that this is slightly false, proving that for most values of $n$ tending to infinity and for $G=G(n,0.5)$, $bc(G) \leq n-α(G)-1$ with high probability. We prove a stronger bound: there exists an absolute constant $c>0$ so that $bc(G) \leq n-(1+c)α(G)$ with high probability.
On cohomology theory of (di)graphs
Published
• View Publication
• BIB
To a digraph with a choice of certain integral basis, we construct a CW complex, whose integral singular cohomology is canonically isomorphic to the path cohomology of the digraph as introduced in \cite{GLMY}. The homotopy type of the CW complex turns out to be independent of the choice of basis. After a very brief discussion of functoriality, this construction immediately implies some of the expected but perhaps combinatorially subtle properties of the digraph cohomology and homotopy proved very recently \cite{GLMY2}. Furthermore, one gets a very simple expected formula for the cup product of forms on the digraph. On the other hand, we present an approach of using sheaf theory to reformulate (di)graph cohomologies. The investigation of the path cohomology from this framework, leads to a subtle version of Poincare lemma for digraphs, which follows from the construction of the CW complex.
Higgledy-piggledy subspaces and uniform subspace designs
Published
• View Publication
• BIB
In this article, we investigate collections of `well-spread-out' projective (and linear) subspaces. Projective $k$-subspaces in $\mathsf{PG}(d,\mathbb{F})$ are in `higgledy-piggledy arrangement' if they meet each projective subspace of co-dimension $k$ in a generator set of points. We prove that the set $\mathcal{H}$ of higgledy-piggledy $k$-subspaces has to contain more than $\min{|\mathbb{F}|,\sum_{i=0}^k\lfloor\frac{d-k+i}{i+1}\rfloor}$ elements. We also prove that $\mathcal{H}$ has to contain more than $(k+1)\cdot(d-k)$ elements if the field $\mathbb{F}$ is algebraically closed.
An $r$-uniform weak $(s,A)$ subspace design is a set of linear subspaces $H_1,..,H_N\le\mathbb{F}^m$ each of rank $r$ such that each linear subspace $W\le\mathbb{F}^m$ of rank $s$ meets at most $A$ among them. This subspace design is an $r$-uniform strong $(s,A)$ subspace design if $\sum_{i=1}^N\mathrm{rank}(H_i\cap W)\le A$ for $\forall W\le\mathbb{F}^m$ of rank $s$. We prove that if $m=r+s$ then the dual ($\{H_1^\bot,...,H_N^\bot\}$) of an $r$-uniform weak (strong) subspace design of parameter $(s,A)$ is an $s$-uniform weak (strong) subspace design of parameter $(r,A)$. We show the connection between uniform weak subspace designs and higgledy-piggledy subspaces proving that $A\ge\min{|\mathbb{F}|,\sum_{i=0}^{r-1}\lfloor\frac{s+i}{i+1}\rfloor}$ for $r$-uniform weak or strong $(s,A)$ subspace designs in $\mathbb{F}^{r+s}$.
We show that the $r$-uniform strong $(s,r\cdot s+\binom{r}{2})$ subspace design constructed by Guruswami and Kopprty (based on multiplicity codes) has parameter $A=r\cdot s$ if we consider it as a weak subspace design. We give some similar constructions of weak and strong subspace designs (and higgledy-piggledy subspaces) and prove that the lower bound $(k+1)\cdot(d-k)+1$ over algebraically closed field is tight.
Notes on Symmetric Bases
A_k = {1, a_2, ... a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i. An extremal h-basis A_k is one for which n is as large as possible. Computing extremal bases is known as the Postage Stamp Problem.
A basis A_k is symmetric if A_k = {1, a_2, ... a_k} where a_i + a_(k-i) = a_k for 1<=i<=k-1. Examination of a number of symmetric bases suggests the following conjecture: if the range 0 ... a_k is covered using at most h stamps, then the range 0 ... ha_k is also covered using at most h stamps. This paper shows that this is not strictly true, but demonstrates that there is a value h_1 such that the conjecture is true for all h>=h_1.
Notes on "Symmetric Bases with large 2-range"
A_k = {1, a_2, ... a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i. An extremal h-basis A_k is one for which n is as large as possible. Computing extremal bases has become known as the Postage Stamp Problem.
This paper is inspired by and based upon a paper entitled "Symmetric bases with large 2-range for k<=75" by Svein Mossige at the University of Bergen (Mossige, Svein, [4]). Computer searches have identified some further bases which are superior to those reported in [4], and the paper also reports an improvement to one of the theoretical results.
Crosscut-simplicial Lattices
Published in ORDER (2016)
• View Publication
• BIB
We call a lattice crosscut-simplicial if the crosscut complex of every atomic interval is equal to the boundary of a simplex. Every interval of such a lattice is either contractible or homotopy equivalent to a sphere. Recently, Hersh and Meszaros introduced SB-labellings and proved that if a lattice has an SB-labelling then it is crosscut-simplicial. Some known examples of lattices with a natural SB-labelling include the join-distributive lattices, the weak order of a Coxeter group, and the Tamari lattice. Generalizing these three examples, we prove that every meet-semidistributive lattice is crosscut-simplicial, though we do not know whether all such lattices admit an SB-labelling. While not every crosscut-simplicial lattice is meet-semidistributive, we prove that these properties are equivalent for chamber posets of real hyperplane arrangements.
Odd values of the Klein j-function and the cubic partition function
Published in J. Number Theory 151 (2015), 107--115
• View Publication
• BIB
In this note, using entirely algebraic or elementary methods, we determine a new asymptotic lower bound for the number of odd values of one of the most important modular functions in number theory, the Klein $j$-function. Namely, we show that the number of integers $n\le x$ such that the Klein $j$-function --- or equivalently, the cubic partition function --- is odd is at least of the order of $$\frac{\sqrt{x} \log \log x}{\log x},$$ for $x$ large. This improves recent results of Berndt-Yee-Zaharescu and Chen-Lin, and approaches significantly the best lower bound currently known for the ordinary partition function, obtained using the theory of modular forms. Unlike many works in this area, our techniques to show the above result, that have in part been inspired by some recent ideas of P. Monsky on quadratic representations, do not involve the use of modular forms.
Then, in the second part of the article, we show how to employ modular forms in order to slightly refine our bound. In fact, our brief argument, which combines a recent result of J.-L. Nicolas and J.-P. Serre with a classical theorem of J.-P. Serre on the asymptotics of the Fourier coefficients of certain level 1 modular forms, will more generally apply to provide a lower bound for the number of odd values of any positive power of the generating function of the partition function.
The Enumerative Geometry of Hyperplane Arrangements
We study enumerative questions on the moduli space $\mathcal{M}(L)$ of hyperplane arrangements with a given intersection lattice $L$. Mnëv's universality theorem suggests that these moduli spaces can be arbitrarily complicated; indeed it is even difficult to compute the dimension $D =\dim \mathcal{M}(L)$. Embedding $\mathcal{M}(L)$ in a product of projective spaces, we study the degree $N=\mathrm{deg} \mathcal{M}(L)$, which can be interpreted as the number of arrangements in $\mathcal{M}(L)$ that pass through $D$ points in general position. For generic arrangements $N$ can be computed combinatorially and this number also appears in the study of the Chow variety of zero dimensional cycles. We compute $D$ and $N$ using Schubert calculus in the case where $L$ is the intersection lattice of the arrangement obtained by taking multiple cones over a generic arrangement. We also calculate the characteristic numbers for families of generic arrangements in $\mathbb{P}^2$ with 3 and 4 lines.
Characterisations of algebraic properties of groups in terms of harmonic functions
Published in Groups Geom. Dyn. 10 (2016), 1007-1049
• View Publication
• BIB
We prove various results connecting structural or algebraic properties of graphs and groups to conditions on their spaces of harmonic functions. In particular: we show that a group with a finitely supported symmetric measure has a finite-dimensional space of harmonic functions if and only if it is virtually cyclic; we present a new proof of a result of V. Trofimov that an infinite vertex-transitive graph admits a non-constant harmonic function; we give a new proof of a result of T. Ceccherini-Silberstein, M. Coornaert and J. Dodziuk that the Laplacian on an infinite, connected, locally finite graph is surjective; and we show that the positive harmonic functions on a non-virtually nilpotent linear group span an infinite-dimensional space.
Decision problem for Perfect Matchings in Dense k-uniform Hypergraphs
Published
• View Publication
• BIB
For any $γ>0$, Keevash, Knox and Mycroft constructed a polynomial-time algorithm to determine the existence of perfect matchings in any $n$-vertex $k$-uniform hypergraph whose minimum codegree is at least $n/k+γn$. We prove a structure theorem that enables us to determine the existence of a perfect matching for any $k$-uniform hypergraph with minimum codegree at least $n/k$. This solves a problem of Karpiński, Ruciński and Szymańska completely. Our proof uses a lattice-based absorbing method.
Image Partition near an Idempotent
Some of the classical results of Ramsey Theory can be naturally stated in terms of image partition regularity of matrices. There have been many significant results of image partition regular matrices as well as image partition regular matrices near zero. Here, we are investigating image partition regularity near an idempotent of an arbitrary Hausdorff semitopological semigroup (T, +) and a dense subsemigroup S of T . We describe some combinatorial applications on finite as well as infinite image partition regular matrices based on the Central Sets Theorem near an idempotent of T .
Automorphism group of the modified bubble-sort graph
The modified bubble-sort graph of dimension $n$ is the Cayley graph of $S_n$ generated by $n$ cyclically adjacent transpositions. In the present paper, it is shown that the automorphism group of the modified bubble sort graph of dimension $n$ is $S_n \times D_{2n}$, for all $n \ge 5$. Thus, a complete structural description of the automorphism group of the modified bubble-sort graph is obtained. A similar direct product decomposition is seen to hold for arbitrary normal Cayley graphs generated by transposition sets.
A note on m_h(A_k)
A_k = {1, a_2, ..., a_k} is an h-basis for n if every positive integer not exceeding n can be expressed as the sum of no more than h values a_i; we write n = n_h(A_k). An extremal h-basis A_k is one for which n is as large as possible, and then we write n = n_h(k).
The "local" Postage Stamp Problem is concerned with properties of particular sets A_k, and it is clear that sets where n_h(A_k) does not exceed a_k are of little interest. We define h_0(k) to be the smallest value of h for which n_h(A_k) exceeds a_k; such sets are called "admissible".
We say that a value n can be "generated" by A_k if it can be expressed as the sum of no more than h values a_i, or - equivalently - if it can be expressed as the sum of exactly h values a_i from the set A'_k = {0, a_1, a_2, ... a_k}. No values greater than ha_k can be generated, and we now consider the number of values less than ha_k that have no generation, denoted m_h(A_k) - essentially a count of the number of "gaps" (see Challis [1], and Selmer [5] page 3.1).
It is easy to show that for some value h_2(k) exceeding h_0(k) the difference m_h(A_k) - m_(h+1)(A_k) remains constant - that is, the "pattern" of missing values between ha_k and (h+1)a_k does not change as h increases. Here we are interested in the pattern of missing values for values that lie between h_0 and h_2.
On page 7.8 of Selmer [5] he conjectures that the sequence of differences m_h(A_k) - m_(h+1)(A_k) is non-increasing as h runs from h_0 to h_2. When I came across this conjecture I could not convince myself that it was likely to be true, having found a possible error in Selmer's justification. I wrote to him in November 1995, and early in 1996 he replied, agreeing that this might be the case and hoping that I might be able to find a counter example. This paper records my successful search for a counter example, eventually found late in 1999.
Relations among complementary and supplementary pairings of Saalschutzian 4F3(1) series
Published
• View Publication
• BIB
We investigate sums $K(\vec{x})$ and $L(\vec{x})$ of pairs of (suitably normalized) Saalschützian ${}_4F_3(1)$ hypergeometric series, and develop a theory of relations among these $K$ and $L$ functions.
The function $L(\vec{x})$ has been studied extensively in the literature, and has been shown to satisfy a number of two-term and three-term relations with respect to the variable $\vec{x}$. More recent works have framed these relations in terms of Coxeter group actions on $\vec{x}$, and have developed a similar theory of two-term and three-term relations for $K(\vec{x})$.
In this article, we derive "mixed" three-term relations, wherein any one of the $L$ (respectively, $K$) functions arising in the above context may be expressed as a linear combination of two of the above $K$ (respectively, $L$) functions. We show that, under the appropriate Coxeter group action, the resulting set of three-term relations (mixed and otherwise) among $K$ and $L$ functions partitions into eighteen orbits. We provide an explicit example of a relation from each orbit.
We further classify the eighteen orbits into five types, with each type uniquely determined by the distances (under a certain natural metric) between the $K$ and $L$ functions in the relation. We show that the type of a relation dictates the complexity (in terms of both number of summands and number of factors in each summand) of the coefficients of the $K$ and $L$ functions therein.
Periodic Golay pairs of length 72
Published in In Algebraic Design Theory and Hadamard Matrices, Springer, 2015, pp. 83-92
• View Publication
• BIB
We construct supplementary difference sets (SDS) with parameters $(72;36,30;30)$. These SDSs give periodic Golay pairs of length 72. No periodic Golay pair of length 72 was known previously. The smallest undecided order for periodic Golay pairs is now 90. The periodic Golay pairs constructed here are the first examples having length divisible by a prime congruent to 3 modulo 4. The main tool employed is a recently introduced compression method. We observe that Turyn's multiplication of Golay pairs can be also used to multiply a Golay pair and a periodic Golay pair.