Showing 20 papers (Total: 82139 papers, 47531 authors in database)
A new order theory of set systems and better quasi-orderings
Published
• View Publication
• BIB
By reformulating a learning process of a set system L as a game between Teacher (presenter of data) and Learner (updater of the abstract independent set), we define the order type dim L of L to be the order type of the game tree. The theory of this new order type and continuous, monotone function between set systems corresponds to the theory of well quasi-orderings (WQOs). As Nash-Williams developed the theory of WQOs to the theory of better quasi-orderings (BQOs), we introduce a set system that has order type and corresponds to a BQO. We prove that the class of set systems corresponding to BQOs is closed by any monotone function. In (Shinohara and Arimura. "Inductive inference of unbounded unions of pattern languages from positive data." Theoretical Computer Science, pp. 191-209, 2000), for any set system L, they considered the class of arbitrary (finite) unions of members of L. From viewpoint of WQOs and BQOs, we characterize the set systems L such that the class of arbitrary (finite) unions of members of L has order type. The characterization shows that the order structure of the set system L with respect to the set-inclusion is not important for the resulting set system having order type. We point out continuous, monotone function of set systems is similar to positive reduction to Jockusch-Owings' weakly semirecursive sets.
On $α$-roughly weighted games
Published
• View Publication
• BIB
Gvozdeva, Hemaspaandra, and Slinko (2011) have introduced three hierarchies for simple games in order to measure the distance of a given simple game to the class of (roughly) weighted voting games. Their third class $\mathcal{C}_α$ consists of all simple games permitting a weighted representation such that each winning coalition has a weight of at least 1 and each losing coalition a weight of at most $α$. For a given game the minimal possible value of $α$ is called its critical threshold value. We continue the work on the critical threshold value, initiated by Gvozdeva et al., and contribute some new results on the possible values for a given number of voters as well as some general bounds for restricted subclasses of games. A strong relation beween this concept and the cost of stability, i.e. the minimum amount of external payment to ensure stability in a coalitional game, is uncovered.
The fundamental invariants of 3 x 3 x 3 arrays
Published
• View Publication
• BIB
We determine the three fundamental invariants in the entries of a $3 \times 3 \times 3$ array over $\mathbb{C}$ as explicit polynomials in the 27 variables $x_{ijk}$ for $1 \le i, j, k \le 3$. By the work of Vinberg on $θ$-groups, it is known that these homogeneous polynomials have degrees 6, 9 and 12; they freely generate the algebra of invariants for the Lie group $SL_3(\mathbb{C}) \times SL_3(\mathbb{C}) \times SL_3(\mathbb{C})$ acting irreducibly on its natural representation $\mathbb{C}^3 \otimes \mathbb{C}^3 \otimes \mathbb{C}^3$. These generators have respectively 1152, 9216 and 209061 terms; we find compact expressions in terms of the orbits of the finite group $(S_3 \times S_3 \times S_3) \rtimes S_3$ acting on monomials of weight zero for the action of the Lie algebra $\mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{sl}_3(\mathbb{C})$.
Groupes, courbes et croissance
- Synthèse des travaux présentés en vue d'une Habilitation à Diriger des Recherches
- Synthesis of works presented towards the Habilitation degree
This is a summary (in French) of my work in number theory, group theory and combinatorics in the last eight years.
Induced subgraphs of hypercubes
Published
• View Publication
• BIB
Let $Q_k$ denote the $k$-dimensional hypercube on $2^k$ vertices. A vertex in a subgraph of $Q_k$ is {\em full} if its degree is $k$. We apply the Kruskal-Katona Theorem to compute the maximum number of full vertices an induced subgraph on $n\leq 2^k$ vertices of $Q_k$ can have, as a function of $k$ and $n$. This is then used to determine $\min(\max(|V(H_1)|, |V(H_2)|))$ where (i) $H_1$ and $H_2$ are induced subgraphs of $Q_k$, and (ii) together they cover all the edges of $Q_k$, that is $E(H_1)\cup E(H_2) = E(Q_k)$.
A combinatorial characterization of tight fusion frames
Published in Pacific J. Math. Vol. 275 (2015), No. 2, 257-294
• View Publication
• BIB
In this paper we give a combinatorial characterization of tight fusion frame (TFF) sequences using Littlewood-Richardson skew tableaux. The equal rank case has been solved recently by Casazza, Fickus, Mixon, Wang, and Zhou. Our characterization does not have this limitation. We also develop some methods for generating TFF sequences. The basic technique is a majorization principle for TFF sequences combined with spatial and Naimark dualities. We use these methods and our characterization to give necessary and sufficient conditions which are satisfied by the first three highest ranks. We also give a combinatorial interpretation of spatial and Naimark dualities in terms of Littlewood-Richardson coefficients. We exhibit four classes of TFF sequences which have unique maximal elements with respect to majorization partial order. Finally, we give several examples illustrating our techniques including an example of tight fusion frame which can not be constructed by the existing spectral tetris techniques. We end the paper by giving a complete list of maximal TFF sequences in dimensions less than ten.
Counting the Number of Minimal Paths in Weighted Coloured-Edge Graphs
Published
• View Publication
• BIB
A weighted coloured-edge graph is a graph for which each edge is assigned both a positive weight and a discrete colour, and can be used to model transportation and computer networks in which there are multiple transportation modes. In such a graph paths are compared by their total weight in each colour, resulting in a Pareto set of minimal paths from one vertex to another. This paper will give a tight upper bound on the cardinality of a minimal set of paths for any weighted coloured-edge graph. Additionally, a bound is presented on the expected number of minimal paths in weighted bicoloured-edge graphs.
Recurrence Relations and Determinants
We examine relationships between two minors of order n of some matrices of n rows and n+r columns. This is done through a class of determinants, here called $n$-determinants, the investigation of which is our objective. We prove that 1-determinants are the upper Hessenberg determinants. In particular, we state several 1-determinants each of which equals a Fibonacci number. We also derive relationships among terms of sequences defined by the same recurrence equation independently of the initial conditions. A result generalizing the formula for the product of two determinants is obtained. Finally, we prove that the Schur functions may be expressed as $n$-determinants.
A Size Upper Bound for Dominating Cycles
Recently it was shown (by the author) that every graph of size $q$ (the number of edges) and minimum degree $δ$ is hamiltonian if $q\leδ^2+δ-1$ (arXiv:1107.2201v1). In this paper we present the exact analog of this result for dominating cycles: if $G$ is a 2-connected graph with $q\le8$ if $δ=2$ and $q\le (3(δ-1)(δ+2)-1)/2$ if $δ\ge3$, then each longest cycle in $G$ is a dominating cycle. The result is sharp in all respects.
A Characterization of Binary Matroids by Basis-Exchange
The effect of replacing a basis element on the way the basis spans other elements is studied. This leads to a new characterization of binary matroids.
Sutured Floer homology and hypergraphs
Published in Math. Res. Lett. 19 (2012), no. 6, 1309-1328
• View Publication
• BIB
By applying Seifert's algorithm to a special alternating diagram of a link L, one obtains a Seifert surface F of L. We show that the support of the sutured Floer homology of the sutured manifold complementary to F is affine isomorphic to the set of lattice points given as hypertrees in a certain hypergraph that is naturally associated to the diagram. This implies that the Floer groups in question are supported in a set of Spin^c structures that are the integer lattice points of a convex polytope. This property has an immediate extension to Seifert surfaces arising from homogeneous link diagrams (including all alternating and positive diagrams).
In another direction, together with work in progress of the second author and others, our correspondence suggests a method for computing the "top" coefficients of the HOMFLY polynomial of a special alternating link from the sutured Floer homology of a Seifert surface complement for a certain dual link.
Warnaar's bijection and colored partition identities, I
Published in J. Combin. Theory Ser. A 120 (2013), no. 1, 28--38
• View Publication
• BIB
We provide a general and unified combinatorial framework for a number of colored partition identities, which include the five, recently proved analytically by B. Berndt, that correspond to the exceptional modular equations of prime degree due to H. Schroeter, R. Russell and S. Ramanujan. Our approach generalizes that of S. Kim, who has given a bijective proof for two of these five identities, namely the ones modulo 7 (also known as the Farkas-Kra identity) and modulo 3. As a consequence of our method, we determine bijective proofs also for the two highly nontrivial identities modulo 5 and 11, thus leaving open combinatorially only the one modulo 23.
The Binomial Theorem for (N + n)^r (where Nf(n)=f(n+1))
Binomial Theorem for (N+n)^r is described with non-commuting variables N and n.
Summation formulae for $q$-Watson type $_4φ_3$-series
According to the method of series rearrangement, we establish two families of summation formulae for $q$-Watson type $_4φ_3$-series.
Relations between Metric Dimension and Domination Number of Graphs
A set $W\subseteq V(G)$ is called a resolving set, if for each two distinct vertices $u,v\in V(G)$ there exists $w\in W$ such that $d(u,w)\neq d(v,w)$, where $d(x,y)$ is the distance between the vertices $x$ and $y$. The minimum cardinality of a resolving set for $G$ is called the metric dimension of $G$, and denoted by $β(G)$. In this paper, we prove that in a connected graph $G$ of order $n$, $β(G)\leq n-γ(G)$, where $γ(G)$ is the domination number of $G$, and the equality holds if and only if $G$ is a complete graph or a complete bipartite graph $K_{s,t}$, $ s,t\geq 2$. Then, we obtain new bounds for $β(G)$ in terms of minimum and maximum degree of $G$.
The Locating Chromatic Number of the Join of Graphs
Let $f$ be a proper $k$-coloring of a connected graph $G$ and $Π=(V_1,V_2,...,V_k)$ be an ordered partition of $V(G)$ into the resulting color classes. For a vertex $v$ of $G$, the color code of $v$ with respect to $Π$ is defined to be the ordered $k$-tuple $c_{{}_Π}(v):=(d(v,V_1),d(v,V_2),...,d(v,V_k)),$ where $d(v,V_i)=\min\{d(v,x)|x\in V_i\}, 1\leq i\leq k$. If distinct vertices have distinct color codes, then $f$ is called a locating coloring. The minimum number of colors needed in a locating coloring of $G$ is the locating chromatic number of $G$, denoted by $\Cchi_{{}_L}(G)$. In this paper, we study the locating chromatic number of the join of graphs. We show that when $G_1$ and $G_2$ are two connected graphs with diameter at most two, then $\Cchi_{{}_L}(G_1+G_2)=\Cchi_{{}_L}(G_1)+\Cchi_{{}_L}(G_2)$, where $G_1+G_2$ is the join of $G_1$ and $G_2$. Also, we determine the locating chromatic numbers of the join of paths, cycles and complete multipartite graphs.
The number of edges in k-quasi-planar graphs
Published
• View Publication
• BIB
A graph drawn in the plane is called k-quasi-planar if it does not contain k pairwise crossing edges. It has been conjectured for a long time that for every fixed k, the maximum number of edges of a k-quasi-planar graph with n vertices is O(n). The best known upper bound is n(\log n)^{O(\log k)}. In the present note, we improve this bound to (n\log n)2^{α^{c_k}(n)} in the special case where the graph is drawn in such a way that every pair of edges meet at most once. Here α(n) denotes the (extremely slowly growing) inverse of the Ackermann function. We also make further progress on the conjecture for k-quasi-planar graphs in which every edge is drawn as an x-monotone curve. Extending some ideas of Valtr, we prove that the maximum number of edges of such graphs is at most 2^{ck^6}n\log n.
2-Groups that factorise as products of cyclic groups, and regular embeddings of complete bipartite graphs
Published
• View Publication
• BIB
We classify those 2-groups G which factorise as a product of two disjoint cyclic subgroups A and B, transposed by an automorphism of order 2. The case where G is metacyclic having been dealt with elsewhere, we show that for each e>2 there are exactly three such non-metacyclic groups G with $|A|=|B|=2^e$, and for e=2 there is one. These groups appear in a classification by Berkovich and Janko of 2-groups with one non-metacyclic maximal subgroup; we enumerate these groups, give simpler presentations for them, and determine their automorphism groups.
Reflection group presentations arising from cluster algebras
Published
• View Publication
• BIB
We give a presentation of a finite crystallographic reflection group in terms of an arbitrary seed in the corresponding cluster algebra of finite type and interpret the presentation in terms of companion bases in the associated root system.
On flushed partitions and concave compositions
Published
• View Publication
• BIB
In this work, we give combinatorial proofs for generating functions of two problems, i.e., flushed partitions and concave compositions of even length. We also give combinatorial interpretation of one problem posed by Sylvester involving flushed partitions and then prove it. For these purposes, we first describe an involution and use it to prove core identities. Using this involution with modifications, we prove several problems of different nature, including Andrews' partition identities involving initial repetitions and partition theoretical interpretations of three mock theta functions of third order $f(q)$, $φ(q)$ and $ψ(q)$. An identity of Ramanujan is proved combinatorially. Several new identities are also established.