Showing 20 papers (Total: 82311 papers, 47607 authors in database)
A Coloring Problem for Sturmian and Episturmian Words
Published
• View Publication
• BIB
We consider the following open question in the spirit of Ramsey theory: Given an aperiodic infinite word $w$, does there exist a finite coloring of its factors such that no factorization of $w$ is monochromatic? We show that such a coloring always exists whenever $w$ is a Sturmian word or a standard episturmian word.
Tree-width and dimension
Published in Combinatorica 36 (2016) 431-450
• View Publication
• BIB
Over the last 30 years, researchers have investigated connections between dimension for posets and planarity for graphs. Here we extend this line of research to the structural graph theory parameter tree-width by proving that the dimension of a finite poset is bounded in terms of its height and the tree-width of its cover graph.
Subcubic triangle-free graphs have fractional chromatic number at most 14/5
Published
• View Publication
• BIB
We prove that every subcubic triangle-free graph has fractional chromatic number at most 14/5, thus confirming a conjecture of Heckman and Thomas [A new proof of the independence ratio of triangle-free cubic graphs. Discrete Math. 233 (2001), 233--237].
On Left regular bands and real Conic-Line arrangements
Published
• View Publication
• BIB
An arrangement of curves in the real plane divides it into a collection of faces. In the case of line arrangements, there exists an associative product which gives this collection a structure of a left regular band. A natural question is whether the same is possible for other arrangements. In this paper, we try to answer this question for the simplest generalization of line arrangements, that is, conic--line arrangements.
Investigating the different algebraic structures induced by the face poset of a conic--line arrangement, we present two different generalizations for the product and its associated structures: an alternative left regular band and an associative aperiodic semigroup. We also study the structure of sub left regular bands induced by these arrangements. We finish with some chamber counting results for conic--line arrangements.
Practical Bijective S-box Design
We construct 8 x 8 bijective cryptographically strong S-boxes. Our construction is based on using non-bijective power functions over the finite filed.
The 3-way intersection problem for S(2, 4, v) designs
In this paper the 3-way intersection problem for $S(2,4,v)$ designs is investigated. Let $b_{v}=\frac {v(v-1)}{12}$ and $I_{3}[v]=\{0,1,...,b_{v}\}\setminus\{b_{v}-7,b_{v}-6,b_{v}-5,b_{v}-4,b_{v}-3,b_{v}-2,b_{v}-1\}$. Let $J_{3}[v]=\{k|$ there exist three $S(2,4,v)$ designs with $k$ same common blocks$\}$. We show that $J_{3}[v]\subseteq I_{3}[v]$ for any positive integer $v\equiv1, 4\ (\rm mod \ 12)$ and $J_{3}[v]=I_{3}[v]$, for $ v\geq49$ and $v=13 $. We find $J_{3}[16]$ completely. Also we determine some values of $J_{3}[v]$ for $\ v=25,28,37$ and 40.
Binary Cyclic codes with two primitive nonzeros
Published
• View Publication
• BIB
In this paper, we make some progress towards a well-known conjecture on the minimum weights of binary cyclic codes with two primitive nonzeros. We also determine the Walsh spectrum of $\Tr(x^d)$ over $\F_{2^{m}}$ in the case where $m=2t$, $d=3+2^{t+1}$ and $\gcd(d, 2^{m}-1)=1$.
On the Biclique cover of the complete graph
Published
• View Publication
• BIB
Let $K$ be a set of $k$ positive integers. A biclique cover of type $K$ of a graph $G$ is a collection of complete bipartite subgraphs of $G$ such that for every edge $e$ of $G$, the number of bicliques need to cover $e$ is a member of $K$. If $K=\{1,2,..., k\}$ then the maximum number of the vertices of a complete graph that admits a biclique cover of type $K$ with $d$ bicliques, $n(k,d)$, is the maximum possible cardinality of a $k$-neighborly family of standard boxes in $\mathbb{R}^d$.
In this paper, we obtain an upper bound for $n(k,d)$. Also, we show that the upper bound can be improved in some special cases. Moreover, we show that the existence of the biclique cover of type $K$ of the complete bipartite graph with a perfect matching removed is equivalent to the existence of a cross $K$-intersection family.
Statistics on parallelogram polyominoes and a q,t-analogue of the Narayana numbers
Published
• View Publication
• BIB
We study the statistics area, bounce and dinv on the set of parallelogram polyominoes having a rectangular m times n bounding box. We show that the bi-statistics (area, bounce) and (area, dinv) give rise to the same q,t-analogue of Narayana numbers which was introduced by two of the authors in [arXiv:1208.0024]. We prove the main conjectures of that paper: the q,t-Narayana polynomials are symmetric in both q and t, and m and n. This is accomplished by providing a symmetric functions interpretation of the q,t-Narayana polynomials which relates them to the famous diagonal harmonics.
Hyperplane arrangements and Milnor fibrations
Published in Annales de la Faculté des Sciences de Toulouse 23 (2014), no. 2, 417-481
• View Publication
• BIB
There are several topological spaces associated to a complex hyperplane arrangement: the complement and its boundary manifold, as well as the Milnor fiber and its own boundary. All these spaces are related in various ways, primarily by a set of interlocking fibrations. We use cohomology with coefficients in rank 1 local systems on the complement of the arrangement to gain information on the homology of the other three spaces, and on the monodromy operators of the various fibrations.
New quantitative estimates on the incidence geometry and growth of finite sets
This thesis establishes new quantitative records in several problems of incidence geometry and growth. After the necessary background in Chapters 1, 2 and 3, the following results are proven.
Chapter 4 gives new results in the incidence geometry of a plane determined by a finite field of prime order. These comprise a new upper bound on the total number of incidences determined by finitely many points and lines, and a new estimate for the number of distinct lines determined by a finite set of non-collinear points.
Chapter 5 gives new results on expander functions. First, a new bound is established for the two-variable expander a+ab over a finite field of prime order. Second, new expanders in three and four variables are demonstrated over the real and complex numbers with stronger growth properties than any functions previously considered.
Finally, Chapter 6 gives the first bespoke sum-product estimate over function fields, a setting that has so far been largely unexplored for these kinds of problems. This last chapter is joint work with Thomas Bloom.
Notes on q-analogues of a binomial congruence of Glaisher
Andrews once gave $q$-analogues of a binomial congruence of Glaisher, and he suggested perfect $q$-analogues. In this note we give ones meeting the demand of Andrews.
Binary matroids and local complementation
Published in European Journal of Combinatorics 45 (2015), 21-40
• View Publication
• BIB
We introduce a binary matroid M(IAS(G)) associated with a looped simple graph G. M(IAS(G)) classifies G up to local equivalence, and determines the delta-matroid and isotropic system associated with G. Moreover, a parametrized form of its Tutte polynomial yields the interlace polynomials of G.
Prüfer codes for hypertrees
We describe a new Prüfer code which works also for infinite trees.
Finiteness of the polyhedral Q-codegree spectrum
Published
• View Publication
• BIB
In this paper we show that the spectrum of the Q-codegree of a d-dimensional lattice polytope is finite above any positive threshold in the class of lattice polytopes with α-canonical normal fan for any fixed α>0. For α=1/r this includes lattice polytopes with Q-Gorenstein normal fan of index r. In particular, this proves Fujita's Spectrum Conjecture for polarized varieties in the case of Q-Gorenstein toric varieties of index r.
Extremal words in morphic subshifts
Published
• View Publication
• BIB
Given an infinite word X over an alphabet A a letter b occurring in X, and a total order σon A, we call the smallest word with respect to σstarting with b in the shift orbit closure of X an extremal word of X. In this paper we consider the extremal words of morphic words. If X = g(f^ω(a)) for some morphisms f and g, we give two simple conditions on f and g that guarantees that all extremal words are morphic. This happens, in particular, when X is a primitive morphic or a binary pure morphic word. Our techniques provide characterizations of the extremal words of the Period-doubling word and the Chacon word and give a new proof of the form of the lexicographically least word in the shift orbit closure of the Rudin-Shapiro word.
The genus of regular languages
Published
• View Publication
• BIB
The article defines and studies the genus of finite state deterministic automata (FSA) and regular languages. Indeed, a FSA can be seen as a graph for which the notion of genus arises. At the same time, a FSA has a semantics via its underlying language. It is then natural to make a connection between the languages and the notion of genus. After we introduce and justify the the notion of the genus for regular languages, the following questions are addressed. First, depending on the size of the alphabet, we provide upper and lower bounds on the genus of regular languages : we show that under a relatively generic condition on the alphabet and the geometry of the automata, the genus grows at least linearly in terms of the size of the automata. Second, we show that the topological cost of the powerset determinization procedure is exponential. Third, we prove that the notion of minimization is orthogonal to the notion of genus. Fourth, we build regular languages of arbitrary large genus: the notion of genus defines a proper hierarchy of regular languages.
Planar functions and perfect nonlinear monomials over finite fields
Published in Designs, Codes and Cryptography 75 (2015), 71-80
• View Publication
• BIB
The study of finite projective planes involves planar functions, namely, functions f : F_q --> F_q such that, for each nonzero a in F_q, the function c --> f(c+a) - f(c) is a bijection on F_q. Planar functions are also used in the construction of DES-like cryptosystems, where they are called perfect nonlinear functions. We determine all planar functions on F_q of the form c --> c^t, under the assumption that q >= (t-1)^4. This implies two conjectures of Hernando, McGuire and Monserrat. Our arguments also yield a new proof of a conjecture of Segre and Bartocci from 1971 about monomial hyperovals in finite Desarguesian projective planes.
Hermite Reduction and Creative Telescoping for Hyperexponential Functions
Published
• View Publication
• BIB
We present a reduction algorithm that simultaneously extends Hermite's reduction for rational functions and the Hermite-like reduction for hyperexponential functions. It yields a unique additive decomposition and allows to decide hyperexponential integrability. Based on this reduction algorithm, we design a new method to compute minimal telescopers for bivariate hyperexponential functions. One of its main features is that it can avoid the costly computation of certificates. Its implementation outperforms Maple's function DEtools[Zeilberger]. Moreover, we derive an order bound on minimal telescopers, which is more general and tighter than the known one.
On extremal graphs with exactly one Steiner tree connecting any $k$ vertices
The problem of determining the largest number $f(n;\barκ\leq \ell)$ of edges for graphs with $n$ vertices and maximal local connectivity at most $\ell$ was considered by Bollobás. Li et al. studied the largest number $f(n;\barκ_3\leq2)$ of edges for graphs with $n$ vertices and at most two internally disjoint Steiner trees connecting any three vertices. In this paper, we further study the largest number $f(n;\barκ_k=1)$ of edges for graphs with $n$ vertices and exactly one Steiner tree connecting any $k$ vertices with $k\geq 3$. It turns out that this is not an easy task to finish, not like the same problem for the classical connectivity parameter. We determine the exact values of $f(n;\barκ_k=1)$ for $k=3,4,n$, respectively, and characterize the graphs which attain each of these values.