Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Capturing Forms in Dense Subsets of Finite Fields
Published
• View Publication
• BIB
An open problem of arithmetic Ramsey theory asks if given a finite $r$-colouring $c:\mathbb{N}\to\{1,...,r\}$ of the natural numbers, there exist $x,y\in \mathbb{N}$ such that $c(xy)=c(x+y)$ apart from the trivial solution $x=y=2$. More generally, one could replace $x+y$ with a binary linear form and $xy$ with a binary quadratic form. In this paper we examine the analogous problem in a finite field $\mathbb{F}_q$. Specifically, given a linear form $L$ and a quadratic from $Q$ in two variables, we provide estimates on the necessary size of $A\subset \mathbb{F}_q$ to guarantee that $L(x,y)$ and $Q(x,y)$ are elements of $A$ for some $x,y\in\mathbb{F}_q$.
Arc diagram varieties
Published in in: "Expository lectures on representation theory", Contemporary Mathematics 607, Amer. Math. Soc., Providence, RI, (2014), 205--224
• View Publication
• BIB
Let $k$ be an algebraically closed field and $α$, $β$, $γ$ be partitions. An algebraic group acts on the constructible set of short exact sequences of nilpotent $k$-linear operators of Jordan types $α$, $β$, and $γ$, respectively; we are interested in the stratification given by the orbits in the case where all parts of $α$ are at most 2. Geometric properties of the degeneration relation are controlled by the combinatorics of arc diagrams. The extended bubble sort algorithm is used to construct chains of orbits such that subsequent strata have dimension difference equal to one.
Ramsey numbers of 3-uniform loose paths and loose cycles
Published
• View Publication
• BIB
Haxell et. al. [%P. Haxell, T. Luczak, Y. Peng, V. Rödl, A. %Ruciński, M. Simonovits, J. Skokan, The Ramsey number for hypergraph cycles I, J. Combin. Theory, Ser. A, 113 (2006), 67-83] proved that the 2-color Ramsey number of 3-uniform loose cycles on $2n$ vertices is asymptotically $\frac{5n}{2}$. Their proof is based on the method of Regularity Lemma. Here, without using this method, we generalize their result by determining the exact values of 2-color Ramsey numbers involving loose paths and cycles in 3-uniform hypergraphs. More precisely, we prove that for every $n\geq m\geq 3$, $R(\mathcal{P}^3_n,\mathcal{P}^3_m)=R(\mathcal{P}^3_n,\mathcal{C}^3_m)=R(\mathcal{C}^3_n,\mathcal{C}^3_m)+1=2n+\lfloor\frac{m+1}{2}\rfloor$ and for $n>m\geq3$, $R(\mathcal{P}^3_m,\mathcal{C}^3_n)=2n+\lfloor\frac{m-1}{2}\rfloor$. These give a positive answer to a question of Gyárfás and Raeisi [The Ramsey number of loose triangles and quadrangles in hypergraphs, Electron. J. Combin. 19 (2012), #R30].
Non-Separating Cocircuits and Graphicness in Matroids
Let $M$ be a 3-connected binary matroid and let $Y(M)$ be the set of elements of $M$ avoiding at least $r(M)+1$ non-separating cocircuits of $M$. Lemos proved that $M$ is non-graphic if and only if $Y(M)\neq\emp$. We generalize this result when by establishing that $Y(M)$ is very large when $M$ is non-graphic and $M$ has no $M\s(K_{3,3}"')$-minor if $M$ is regular. More precisely that $|E(M)-Y(M)|\le 1$ in this case. We conjecture that when $M$ is a regular matroid with an $M\s(K_{3,3})$-minor, then $r\s_M(E(M)-Y(M))\le 2$. The proof of such conjecture is reduced to a computational verification.
2-Resonant fullerenes
Published
• View Publication
• BIB
A fullerene graph $F$ is a planar cubic graph with exactly 12 pentagonal faces and other hexagonal faces. A set $\mathcal{H}$ of disjoint hexagons of $F$ is called a resonant pattern (or sextet pattern) if $F$ has a perfect matching $M$ such that every hexagon in $\mathcal{H}$ is $M$-alternating. $F$ is said to be $k$-resonant if any $i$ ($0\leq i\leq k$) disjoint hexagons of $F$ form a resonant pattern. It was known that each fullerene graph is 1-resonant and all 3-resonant fullerenes are only the nine graphs. In this paper, we show that the fullerene graphs which do not contain the subgraph $L$ or $R$ as illustrated in Fig. 1 are 2-resonant except for the specific eleven graphs. This result implies that each IPR fullerene is 2-resonant.
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.