Showing 20 papers (Total: 82139 papers, 47531 authors in database)
On Groupoids and Hypergraphs
We present a novel construction of finite groupoids whose Cayley graphs have large girth even w.r.t. a discounted distance measure that contracts arbitrarily long sequences of edges from the same colour class (sub-groupoid), and only counts transitions between colour classes (cosets). These groupoids are employed towards a generic construction method for finite hypergraphs that realise specified overlap patterns and avoid small cyclic configurations. The constructions are based on reduced products with groupoids generated by the elementary local extension steps, and can be made to preserve the symmetries of the given overlap pattern. In particular, we obtain highly symmetric, finite hypergraph coverings without short cycles. The groupoids and their application in reduced products are sufficiently generic to be applicable to other constructions that are specified in terms of local glueing operations and require global finite closure.
Limits with braid arrangements
We define a monoid structure on the set of $k$-equal arrangements and use this structure to define limits of braid arrangements. We compute the cohomology of the associated limits of rational models of the arrangements complex complements. We collect these complexes together into one complex by creating a new differential and product on their direct sum and show that the resulting complex is exact.
On walk-regular graphs and graphs with symmetric hitting times
Aldous [1] asked whether every graph in which the distribution of the return time of random is independent of the starting vertex must be transitive. We remark that this question can be reduced into a purely graph-theoretic one that had already been answered Godsil & McKay [6] and ask some questions motivated by this.
Permutation polynomials of finite fields
Let $\mathbb{F}_q$ be the finite field of $q$ elements. Then a \emph{permutation polynomial} (PP) of $\mathbb{F}_q$ is a polynomial $f \in \mathbb{F}_q[x]$ such that the associated function $c \mapsto f(c)$ is a permutation of the elements of $\mathbb{F}_q$. In 1897 Dickson gave what he claimed to be a complete list of PPs of degree at most 6, however there have been suggestions recently that this classification might be incomplete. Unfortunately, Dickson's claim of a full characterisation is not easily verified because his published proof is difficult to follow. This is mainly due to antiquated terminology. In this project we present a full reconstruction of the classification of degree 6 PPs, which combined with a recent paper by Li \emph{et al.} finally puts to rest the characterisation problem of PPs of degree up to 6.
In addition, we give a survey of the major results on PPs since Dickson's 1897 paper. Particular emphasis is placed on the proof of the so-called \emph{Carlitz Conjecture}, which states that if $q$ is odd and `large' and $n$ is even then there are no PPs of degree $n$. This important result was resolved in the affirmative by research spanning three decades. A generalisation of Carlitz's conjecture due to Mullen proposes that if $q$ is odd and `large' and $n$ is even then no polynomial of degree $n$ is `close' to being a PP. This has remained an unresolved problem in published literature. We provide a counterexample to Mullen's conjecture, and also point out how recent results imply a more general version of this statement (provided one increases what is meant by $q$ being `large').
The (revised) Szeged index and the Wiener index of a nonbipartite graph
Published
• View Publication
• BIB
Hansen et. al. used the computer programm AutoGraphiX to study the differences between the Szeged index $Sz(G)$ and the Wiener index $W(G)$, and between the revised Szeged index $Sz^*(G)$ and the Wiener index for a connected graph $G$. They conjectured that for a connected nonbipartite graph $G$ with $n \geq 5$ vertices and girth $g \geq 5,$ $ Sz(G)-W(G) \geq 2n-5. $ Moreover, the bound is best possible as shown by the graph composed of a cycle on 5 vertices, $C_5$, and a tree $T$ on $n-4$ vertices sharing a single vertex. They also conjectured that for a connected nonbipartite graph $G$ with $n \geq 4$ vertices, $ Sz^*(G)-W(G) \geq \frac{n^2+4n-6}{4}. $ Moreover, the bound is best possible as shown by the graph composed of a cycle on 3 vertices, $C_3$, and a tree $T$ on $n-3$ vertices sharing a single vertex. In this paper, we not only give confirmative proofs to these two conjectures but also characterize those graphs that achieve the two lower bounds.
A sum-product theorem in function fields
Published
• View Publication
• BIB
Let $A$ be a finite subset of $\ffield$, the field of Laurent series in $1/t$ over a finite field $\mathbb{F}_q$. We show that for any $ε>0$ there exists a constant $C$ dependent only on $ε$ and $q$ such that $\max\{|A+A|,|AA|\}\geq C |A|^{6/5-ε}$. In particular such a result is obtained for the rational function field $\mathbb{F}_q(t)$. Identical results are also obtained for finite subsets of the $p$-adic field $\mathbb{Q}_p$ for any prime $p$.
Infinite Log-Concavity and r-Factor
D. Uminsky and K. Yeats [6] studied the properties of the log- operator L on the subset of the finite symmetric sequences and prove the existence of an infinite region R, bounded by parametrically de- fined hypersurfaces such that any sequence corresponding a point of R is infinitely log concave. We study the properties of a new operator L_r and redefine the hypersurfaces which generalizes the one defined by Uminsky and Yeats [6]. We show that any sequence corresponding a point of the region R, bounded by the new generalized parametrically defined r-factor hypersurfaces, is Generalized r-factor infinitely log concave. We also give an improved value of r_0 found by McNamara and Sagan [4] as the log-concavity criterion using the new log-operator.
The computation of generalized Ehrhart series in Normaliz
Published
• View Publication
• BIB
We describe an algorithm for the computation of generalized (or weighted) Ehrhart series based on Stanley decompositions as implemented in the offspring NmzIntegrate of Normaliz. The algorithmic approach includes elementary proofs of the basic results. we illustrate the computations by examples from combinatorial voting theory.
On the maximal multiplicity of long zero-sum free sequences over $C_p\oplus C_p$
In this paper, we point out that the method used in [Acta Arith. 128(2007) 245-279] can be modified slightly to obtain the following result. Let $\varepsilon \in (0,\frac 14)$ and $c>0$, and let $p$ be a sufficiently large prime depending on $\varepsilon$ and $c$. Then every zero-sumfree sequence $S$ over $C_p\oplus C_p$ of length $|S|\geq 2p-c\sqrt{p}$ contains some element at least $\lfloor p^{\frac14-\varepsilon}\rfloor$ times.
Families of Hadamard Z2Z4Q8-codes
A Z2Z4Q8-code is a non-empty subgroup of a direct product of copies of Z_2, Z_4 and Q_8 (the binary field, the ring of integers modulo 4 and the quaternion group on eight elements, respectively). Such Z2Z4Q8-codes are translation invariant propelinear codes as the well known Z_4-linear or Z_2Z_4-linear codes.
In the current paper, we show that there exist "pure" Z2Z4Q8-codes, that is, codes that do not admit any abelian translation invariant propelinear structure. We study the dimension of the kernel and rank of the Z2Z4Q8-codes, and we give upper and lower bounds for these parameters. We give tools to construct a new class of Hadamard codes formed by several families of Z2Z4Q8-codes; we study and show the different shapes of such a codes and we improve the upper and lower bounds for the rank and the dimension of the kernel when the codes are Hadamard.
On sum edge-coloring of regular, bipartite and split graphs
Published
• View Publication
• BIB
An edge-coloring of a graph $G$ with natural numbers is called a sum edge-coloring if the colors of edges incident to any vertex of $G$ are distinct and the sum of the colors of the edges of $G$ is minimum. The edge-chromatic sum of a graph $G$ is the sum of the colors of edges in a sum edge-coloring of $G$. It is known that the problem of finding the edge-chromatic sum of an $r$-regular ($r\geq 3$) graph is $NP$-complete. In this paper we give a polynomial time $(1+\frac{2r}{(r+1)^{2}})$-approximation algorithm for the edge-chromatic sum problem on $r$-regular graphs for $r\geq 3$. Also, it is known that the problem of finding the edge-chromatic sum of bipartite graphs with maximum degree 3 is $NP$-complete. We show that the problem remains $NP$-complete even for some restricted class of bipartite graphs with maximum degree 3. Finally, we give upper bounds for the edge-chromatic sum of some split graphs.
Interval colorings of complete balanced multipartite graphs
A graph $G$ is called a complete $k$-partite ($k\geq 2$) graph if its vertices can be partitioned into $k$ independent sets $V_{1},...,V_{k}$ such that each vertex in $V_{i}$ is adjacent to all the other vertices in $V_{j}$ for $1\leq i<j\leq k$. A complete $k$-partite graph $G$ is a complete balanced $k$-partite graph if $|V_{1}| = |V_{2}| =... = |V_{k}|$. An edge-coloring of a graph $G$ with colors $1,...,t$ is an interval $t$-coloring if all colors are used, and the colors of edges incident to each vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if $G$ has an interval $t$-coloring for some positive integer $t$. In this paper we show that a complete balanced $k$-partite graph $G$ with $n$ vertices in each part is interval colorable if and only if $nk$ is even. We also prove that if $nk$ is even and $(k-1)n\leq t\leq ((3/2)k-1)n-1$, then a complete balanced $k$-partite graph $G$ admits an interval $t$-coloring. Moreover, if $k=p2^{q}$, where $p$ is odd and $q\in \mathbb{N}$, then a complete balanced $k$-partite graph $G$ has an interval $t$-coloring for each positive integer $t$ satisfying $(k-1)n\leq t\leq (2k-p-q)n-1$.
Broken circuit complexes and hyperplane arrangements
Published in J. Algebraic Combin. 38 (2013), no. 4, 989-1016
• View Publication
• BIB
We study Stanley-Reisner ideals of broken circuits complexes and characterize those ones admitting a linear resolution or being complete intersections. These results will then be used to characterize arrangements whose Orlik-Terao ideal has the same properties. As an application, we improve a result of Wilf on upper bounds for the coefficients of the chromatic polynomial of a maximal planar graph. We also show that for an ordered matroid with disjoint minimal broken circuits, the supersolvability of the matroid is equivalent to the Koszulness of its Orlik-Solomon algebra.
Constant 2-labellings and an application to (r,a,b)-covering codes
Published
• View Publication
• BIB
We introduce the concept of constant $2$-labelling of a weighted graph and show how it can be used to obtain perfect weighted coverings. Roughly speaking, a constant $2$-labelling of a weighted graph is a $2$-colouring of its vertex set which preserves the sum of the weights of black vertices under some automorphisms. We study this problem on four types of weighted cycles. Our results on cycles allow us to determine $(r,a,b)$-codes in $\mathbb{Z}^2$ whenever $|a-b|>4$, $r\ge2$ and we give the precise values of $a$ and $b$. This is a refinement of Axenovich's theorem proved in 2003.
Local tropical linear spaces
Published in Discrete Comput. Geom. 50 (2013), no. 3, 700-713
• View Publication
• BIB
In this paper we study general tropical linear spaces locally: For any basis B of the matroid underlying a tropical linear space L, we define the local tropical linear space L_B to be the subcomplex of L consisting of all vectors v that make B a basis of maximal v-weight. The tropical linear space L can then be expressed as the union of all its local tropical linear spaces, which we prove are homeomorphic to Euclidean space. Local tropical linear spaces have a simple description in terms of polyhedral matroid subdivisions, and we prove that they are dual to mixed subdivisions of Minkowski sums of simplices. Using this duality we produce tight upper bounds for their f-vectors. We also study a certain class of tropical linear spaces that we call conical tropical linear spaces, and we give a simple proof that they satisfy Speyer's f-vector conjecture.
Algorithms for Computing Abelian Periods of Words
Published in Discrete Applied Mathematics 163: 287-297 (2014)
• View Publication
• BIB
Constantinescu and Ilie (Bulletin EATCS 89, 167--170, 2006) introduced the notion of an \emph{Abelian period} of a word. A word of length $n$ over an alphabet of size $σ$ can have $Θ(n^{2})$ distinct Abelian periods. The Brute-Force algorithm computes all the Abelian periods of a word in time $O(n^2 \times σ)$ using $O(n \times σ)$ space. We present an off-line algorithm based on a $\sel$ function having the same worst-case theoretical complexity as the Brute-Force one, but outperforming it in practice. We then present on-line algorithms that also enable to compute all the Abelian periods of all the prefixes of $w$.
On arithmetic progressions in A + B + C
Published
• View Publication
• BIB
Our main result states that when A, B, C are subsets of Z/NZ of respective densities α,β,γ, the sumset A + B + C contains an arithmetic progression of length at least e^{c(\log N)^c} for densities α> (\log N)^{-2 + ε} and β,γ> e^{-c(\log N)^c}, where c depends on ε. Previous results of this type required one set to have density at least (\log N)^{-1 + o(1)}. Our argument relies on the method of Croot, Laba and Sisask to establish a similar estimate for the sumset A + B and on the recent advances on Roth's theorem by Sanders. We also obtain new estimates for the analogous problem in the primes studied by Cui, Li and Xue.
On the spectral moments of trees with a given bipartition
For two given positive integers $p$ and $q$ with $p\leqslant q$, we denote $\mathscr{T}_n^{p, q}={T: T$ is a tree of order $n$ with a $(p, q)$-bipartition}. For a graph $G$ with $n$ vertices, let $A(G)$ be its adjacency matrix with eigenvalues $λ_1(G), λ_2(G), ..., λ_n(G)$ in non-increasing order. The number $S_k(G):=\sum_{i=1}^{n}λ_i^k(G)\,(k=0, 1, ..., n-1)$ is called the $k$th spectral moment of $G$. Let $S(G)=(S_0(G), S_1(G),..., S_{n-1}(G))$ be the sequence of spectral moments of $G$. For two graphs $G_1$ and $G_2$, one has $G_1\prec_s G_2$ if for some $k\in {1,2,...,n-1}$, $S_i(G_1)=S_i(G_2) (i=0,1,...,k-1)$ and $S_k(G_1)<S_k(G_2)$ holds. In this paper, the last four trees, in the $S$-order, among $\mathscr{T}_n^{p, q} (4\leqslant p\leqslant q)$ are characterized.
Calculating Heegaard-Floer Homology by Counting Lattice Points in Tetrahedra
Published in Acta Math. Hungar. 144 (2014), no. 1, 43-75
• View Publication
• BIB
We introduce a notion of complexity for Sefiert homology spheres by establishing a correspondence between lattice point counting in tethrahedra and the Heegaard-Floer homology. This complexity turns out to be equivalent to a version of Casson invariant and it is monotone under a natural partial order in the set of Seifert homology spheres. Using this interpretation we prove that there are finitely many Seifert homology spheres with prescribed Heegaard-Floer homology. As an application, we characterize L-spaces and weakly elliptic manifolds among Seifert homology spheres. Also, we list all the Seifert homology spheres up to complexity two.
Genus Ranges of 4-Regular Rigid Vertex Graphs
Published
• View Publication
• BIB
We introduce a notion of genus range as a set of values of genera over all surfaces into which a graph is embedded cellularly, and we study the genus ranges of a special family of four-regular graphs with rigid vertices that has been used in modeling homologous DNA recombination. We show that the genus ranges are sets of consecutive integers. For any positive integer $n$, there are graphs with $2n $ vertices that have genus range ${m,m+1,...,m'}$ for all $0\le m<m'\le n$, and there are graphs with $2n-1$ vertices with genus range ${m,m+1,...,m'}$ for all $0\le m<m' <n$ or $0<m<m'\le n$. Further, we show that for every $n$ there is $k<n$ such that ${h}$ is a genus range for graphs with $2n-1$ and $2n$ vertices for all $h\le k$. It is also shown that for every $n$, there is a graph with $2n$ vertices with genus range ${0,1,...,n}$, but there is no such a graph with $2n-1$ vertices.