Showing 20 papers (Total: 83502 papers, 48219 authors in database)
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.
Vulnerability of super edge-connected graphs
Published
• View Publication
• BIB
A subset $F$ of edges in a connected graph $G$ is a $h$-extra edge-cut if $G-F$ is disconnected and every component has more than $h$ vertices. The $h$-extra edge-connectivity $\la^{(h)}(G)$ of $G$ is defined as the minimum cardinality over all $h$-extra edge-cuts of $G$. A graph $G$, if $\la^{(h)}(G)$ exists, is super-$\la^{(h)}$ if every minimum $h$-extra edge-cut of $G$ isolates at least one connected subgraph of order $h+1$. The persistence $ρ^{(h)}(G)$ of a super-$\la^{(h)}$ graph $G$ is the maximum integer $m$ for which $G-F$ is still super-$\la^{(h)}$ for any set $F\subseteq E(G)$ with $|F|\leqslant m$. Hong {\it et al.} [Discrete Appl. Math. 160 (2012), 579-587] showed that $\min\{\la^{(1)}(G)-δ(G)-1,δ(G)-1\}\leqslant ρ^{(0)}(G)\leqslant δ(G)-1$, where $δ(G)$ is the minimum vertex-degree of $G$. This paper shows that $\min\{\la^{(2)}(G)-ξ(G)-1,δ(G)-1\}\leqslant ρ^{(1)}(G)\leqslant δ(G)-1$, where $ξ(G)$ is the minimum edge-degree of $G$. In particular, for a $k$-regular super-$\la'$ graph $G$, $ρ^{(1)}(G)=k-1$ if $\la^{(2)}(G)$ does not exist or $G$ is super-$\la^{(2)}$ and triangle-free, from which the exact values of $ρ^{(1)}(G)$ are determined for some well-known networks.
An Extension of Cui-Kano's Characterization Problem on Graph Factors
Published
• View Publication
• BIB
Let $G$ be a graph with vertex set $V(G)$ and let $H:V(G)\rightarrow 2^N$ be a set function associating with $G$. An $H$-factor of graph $G$ is a spanning subgraphs $F$ such that $$d_F(v)\in H(v){4em}\hbox{for every}v\in V(G).$$ Let $f:V(G)\rightarrow N$ be an even integer-valued function such that $f\geq 4$ and let $H_f(v)=\{1,3,...,f(v)-1, f(v)\}$ for $v\in V(G)$. In this paper, we investigate $H_f$-factors of graphs $G$ by using Lovász's structural descriptions. Let $o(G)$ denote the number of odd components of $G$.
We show that if one of the following conditions holds, then $G$ contains an $H_f$-factor. [$(i)$] $o(G-S)\leq f(S)$ for all $S\subseteq V(G)$; [$(ii)$] $|V(G)|$ is odd, $d_G(v)\geq f(v)-1$ for all $v\in V(G)$ and $o(G-S)\leq f(S)$ for all $\emptyset\neq S\subseteq V(G)$. As a corollary, we show that if a graph $G$ with odd order and minimum degree $2n-1$ satisfies $$o(G-S)\leq 2n|S|{4em}{for all}
\emptyset\neq S\subseteq V(G),$$ then $G$ contains an $H_n$-factor. In particular, we make progress on the characterization problem for a special family of graphs proposed by Akiyama and Kano.
Binary Patterns in Binary Cube-Free Words: Avoidability and Growth
Published in RAIRO-Theor. Inf. Appl. 48 (2014) 369-389
• View Publication
• BIB
The avoidability of binary patterns by binary cube-free words is investigated and the exact bound between unavoidable and avoidable patterns is found. All avoidable patterns are shown to be D0L-avoidable. For avoidable patterns, the growth rates of the avoiding languages are studied. All such languages, except for the overlap-free language, are proved to have exponential growth. The exact growth rates of languages avoiding minimal avoidable patterns are approximated through computer-assisted upper bounds. Finally, a new example of a pattern-avoiding language of polynomial growth is given.
Remarks on partition functions of topological string theory on generalized conifolds
Published in RIMS Kokyuroku No. 1913 (2014), 182-201
• Search Publication
The method of topological vertex for topological string theory on toric Calabi-Yau 3-folds is reviewed. Implications of an explicit formula of partition functions in the "on-strip" case, typically the generalized conifolds, are considered. Generating functions of part of the partition functions are shown to be tau functions of the KP hierarchy. The associated Baker-Akhiezer functions play the role of wave functions, and satisfy $q$-difference equations. These $q$-difference equations represent the quantum mirror curves conjectured by Gukov and Sułkowski.
A Counting Function
We define a counting function that is related to the binomial coefficients.
An explicit formula for this function is proved.
In some particular cases, simpler explicit formuls are derived. We also derive a formula for the number of (0,1)-matrices, having a fixed number of 1's, and having no zero rows and zero columns.
Further, we show that our function satisfies several recurrence relations.
The relationship of our counting function with different classes of integers is then examined. These classes include: different kind of figurate numbers, the number of points on the surface of a square pyramid, the magic constants, the truncated square numbers, the coefficients of the Chebyshev polynomials, the Catalan numbers, the Dellanoy numbers, the Sulanke numbers, the numbers of the coordination sequences, and the number of the crystal ball sequences of a cubic lattice.
In the last part of the paper, we prove that several configurations are counted by our function. Some of these are: the number of spanning subgraphs of the complete bipartite graph, the number of square containing in a square, the number of coloring's of points on a line, the number of divisors of some particular numbers, the number of all parts in the compositions of an integer, the numbers of the weak compositions of integers, and the number of particular lattice paths.
We conclude by counting the number of possible moves of the rook, bishop, and queen on a chessboard.
The most statements in the paper are provided by bijective proofs in terms of insets, which are defined in the paper. With this we want to show that different configurations may be counted by the same method.
The boundary term from the Analytic Torsion of a cone over a $m$-dimensional sphere
We present a direct proof that the Anomaly Boundary term of J. Brünning and X. Ma generalizes to the cases of the cone over a $m$-dimensional sphere.
Sets of integers with no large sum-free subset
Published
• View Publication
• BIB
Answering a question of P. Erdos from 1965, we show that for every eps>0 there is a set A of n integers with the following property: every subset A' of A with at least (1/3 + eps)n elements contains three distinct elements x,y,z with x + y = z.