Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Compact orbit spaces in Hilbert spaces and limits of edge-colouring models
Published
• View Publication
• BIB
Let $G$ be a group of orthogonal transformations of a real Hilbert space $H$. Let $R$ and $W$ be bounded $G$-stable subsets of $H$. Let $\|.\|_R$ be the seminorm on $H$ defined by $\|x\|_R:=\sup_{r\in R}|\langle r,x\rangle|$ for $x\in H$. We show that if $W$ is weakly compact and the orbit space $R^k/G$ is compact for each $k\in\oN$, then the orbit space $W/G$ is compact when $W$ is equiped with the norm topology induced by $\|.\|_R$.
As a consequence we derive the existence of limits of edge-colouring models which answers a question posed by Lovász. It forms the edge-colouring counterpart of the graph limits of Lovász and Szegedy, which can be seen as limits of vertex-colouring models.
In the terminology of de la Harpe and Jones, vertex- and edge-colouring models are called `spin models' and `vertex models' respectively.
A notion of continuity in discrete spaces and applications
Published in Applied General Topology 14 (1) (2013) 61-72
• View Publication
• BIB
We propose a notion of continuous path for locally finite metric spaces, taking inspiration from the recent development of A-theory for locally finite connected graphs. We use this notion of continuity to derive an analogue in Z^2 of the Jordan curve theorem and to extend to a quite large class of locally finite metric spaces (containing all finite metric spaces) an inequality for the \ell^p-distortion of a metric space that has been recently proved by Pierre-Nicolas Jolissaint and Alain Valette for finite connected graphs.
Toric Topology
Published in Mathematical Surveys and Monographs, 204, American Mathematical Society, Providence, RI, 2015
• View Publication
• BIB
Toric topology emerged in the end of the 1990s on the borders of equivariant topology, algebraic and symplectic geometry, combinatorics and commutative algebra. It has quickly grown up into a very active area with many interdisciplinary links and applications, and continues to attract experts from different fields.
The key players in toric topology are moment-angle manifolds, a family of manifolds with torus actions defined in combinatorial terms. Their construction links to combinatorial geometry and algebraic geometry of toric varieties via the related notion of a quasitoric manifold. Discovery of remarkable geometric structures on moment-angle manifolds led to seminal connections with the classical and modern areas of symplectic, Lagrangian and non-Kaehler complex geometry. A related categorical construction of moment-angle complexes and their generalisations, polyhedral products, provides a universal framework for many fundamental constructions of homotopical topology. The study of polyhedral products is now evolving into a separate area of homotopy theory, with strong links to other areas of toric topology. A new perspective on torus action has also contributed to the development of classical areas of algebraic topology, such as complex cobordism.
The book contains lots of open problems and is addressed to experts interested in new ideas linking all the subjects involved, as well as to graduate students and young researchers ready to enter into a beautiful new area.
Equality of P-partition generating functions
Published in Annals of Combinatorics 18 (3) (2014) 489-514
• View Publication
• BIB
To every labeled poset (P,ω), one can associate a quasisymmetric generating function for its (P,ω)-partitions. We ask: when do two labeled posets have the same generating function? Since the special case corresponding to skew Schur function equality is still open, a complete classification of equality among (P,ω) generating functions is likely too much to expect. Instead, we determine necessary conditions and separate sufficient conditions for two labeled posets to have equal generating functions. We conclude with a classification of all equalities for labeled posets with small numbers of linear extensions.
Flashcard games
Published in Annals of Comb. 18, issue 3, Sept. 2014, pp. 459-472
• View Publication
• BIB
We study a certain family of discrete dynamical processes introduced by Novikoff, Kleinberg and Strogatz that we call flashcard games. We prove a number of results on the evolution of these games, an in particular we settle a conjecture of NKS on the frequency with which a given card appears. We introduce a number of generalizations and variations that we believe are of interest, and provide a large number of open questions and problems.
The Veronese Surface in PG(5,3) and Witt's 5-$(12,6,1$ Design
Published in J. Comb. Theory Ser. A 84 (1998), 87-94
• View Publication
• BIB
A conic of the Veronese surface in PG(5,3) is a quadrangle. If one such quadrangle is replaced with its diagonal triangle, then one obtains a point model $K$ for Witt's 5-$(12,6,1)$ design, the blocks being the hyperplane sections containing more than three (actually six) points of $K$. As such a point model is projectively unique, the present construction yields an easy coordinate-free approach to some results obtained independently by H.S.M. Coxeter and G. Pellegrino, including a projective representation of the Mathieu group $M_{12}$ in PG(5,3).
Regular Polygonal Complexes in Space, II
Published
• View Publication
• BIB
Regular polygonal complexes in euclidean 3-space are discrete polyhedra-like structures with finite or infinite polygons as faces and with finite graphs as vertex-figures, such that their symmetry groups are transitive on the flags. The present paper and its predecessor describe a complete classification of regular polygonal complexes in 3-space. In Part I we established basic structural results for the symmetry groups, discussed operations on their generators, characterized the complexes with face mirrors as the 2-skeletons of the regular 4-apeirotopes in 3-space, and fully enumerated the simply flag-transitive complexes with mirror vector (1,2). In this paper, we complete the enumeration of all regular polygonal complexes and in particular describe the simply flag-transitive complexes for the remaining mirror vectors. It is found that, up to similarity, there are precisely 25 regular polygonal complexes which are not regular polyhedra, namely 21 simply flag-transitive complexes and 4 complexes which are 2-skeletons of regular 4-apeirotopes.
Icosahedral Skeletal Polyhedra Realizing Petrie Relatives of Gordan's Regular Map
Published
• View Publication
• BIB
Every regular map on a closed surface gives rise to generally six regular maps, its "Petrie relatives", that are obtained through iteration of the duality and Petrie operations (taking duals and Petrie-duals). It is shown that the skeletal polyhedra in Euclidean 3-space which realize a Petrie relative of the classical Gordan regular map and have full icosahedral symmetry, comprise precisely four infinite families of polyhedra, as well as four individual polyhedra.
Degeneracy Loci, Pfaffians, and Vexillary Signed Permutations in Types B, C, and D
We define a notion of vexillary signed permutation in types B, C, and D, corresponding to natural degeneracy loci for vector bundles with symmetries of those types. We show that the classes of these loci are given by explicit Pfaffian formulas. The Grassmannian formulas of Kazarian are important special cases, and the corresponding double Schubert polynomials of Ikeda, Mihalcea, and Naruse are shown to be equal to these Pfaffians.
Uniform Dilations in Higher Dimensions
Published in Journal of the London Mathematical Society (2013) Volume 88
• View Publication
• BIB
A theorem of Glasner says that if $X$ is an infinite subset of the torus $\mathbb{T}$, then for any $ε>0$, there exists an integer $n$ such that the dilation $nX=\{nx: x \in \mathbb{T} \}$ is $ε$-dense (i.e, it intersects any interval of length $2ε$ in $\mathbb{T}$). Alon and Peres provided a general framework for this problem, and showed quantitatively that one can restrict the dilation to be of the form $f(n)X$ where $f \in \mathbb{Z}[x]$ is not constant. Building upon the work of Alon and Peres, we study this phenomenon in higher dimensions. Let ${\bf A}(x)$ be an $L \times N$ matrix whose entries are in $\mathbb{Z}[x]$, and $X$ be an infinite subset of $\mathbb{T}^N$. Contrarily to the case $N=L=1$, it's not always true that there is an integer $n$ such that $\bA(n)X$ is $ε$-dense in a translate of a subtorus of $\mathbb{T}^{L}$. We give a necessary and sufficient condition for matrices ${\bf A}$ for which this is true. We also prove an effective version of the result.
A Geometric Definition Of Schubert Polynomials and Dual Schubert Polynomials For Classical Lie Groups
In this paper, we first discuss the topological properties of projective Stiefel manifolds, we compute their cohomology rings and classify their cohomology endomorphisms; Then by embedding the flag manifold of a classical Lie group into its corresponding infinite dimensional projective Stiefel manifold(which is homotopic to the product of infinite dimensional complex projective space $\mathbb{C}P^{\infty}$), we define the Schubert polynomials and dual Schubert polynomials. Finally we discuss the property and the computation of these polynomials.
Giuseppe Veronese and Ernst Witt -- Neighbours in PG(5,3)
Published in Aequationes Math. 58 (1999), 85-92
• View Publication
• BIB
Let $P$ be a point of the Veronese surface $\Vcal$ in \PG53. Then thereare four conics of $\Vcal$ through $P$. We show that the internal points of those conics form a 12-cap which is a point model for Witt's 5-$(12,6,1)$ design. In fact, this construction is "dual" to a similar construction that has been established by the author. We give an explicit parametrization of the cap $\Kcal$; the domain is a dual affine plane which arises from \PG23 by removing one point. Thus, as a by--product, we obtain an easy approach to the extended ternary Golay code $G_{12}$. Finally, we discuss some other procedures that yield 12-sets of points from the Veronese surface.
Graphs and complete intersection toric ideals
Published in Journal of Algebra and Its Applications 14, No. 9 (2015) 1540011 (37 pages)
• View Publication
• BIB
Our purpose is to study the family of simple undirected graphs whose toric ideal is a complete intersection from both an algorithmic and a combinatorial point of view. We obtain a polynomial time algorithm that, given a graph $G$, checks whether its toric ideal $P_G$ is a complete intersection or not. Whenever $P_G$ is a complete intersection, the algorithm also returns a minimal set of generators of $P_G$. Moreover, we prove that if $G$ is a connected graph and $P_G$ is a complete intersection, then there exist two induced subgraphs $R$ and $C$ of $G$ such that the vertex set $V(G)$ of $G$ is the disjoint union of $V(R)$ and $V(C)$, where $R$ is a bipartite ring graph and $C$ is either the empty graph, an odd primitive cycle, or consists of two odd primitive cycles properly connected. Finally, if $R$ is $2$-connected and $C$ is connected, we list the families of graphs whose toric ideals are complete intersection.
The optimal drawings of K_{5,n}
Published in Electron. J. Combin. 21 (2014), no. 4, Paper 4.1, 29 pp
• Search Publication
Zarankiewicz's Conjecture (ZC) states that the crossing number cr$(K_{m,n})$ equals $Z(m,n):=\floor{\frac{m}{2}} \floor{\frac{m-1}{2}} \floor{\frac{n}{2}} \floor{\frac{n-1}{2}}$. Since Kleitman's verification of ZC for $K_{5,n}$ (from which ZC for $K_{6,n}$ easily follows), very little progress has been made around ZC; the most notable exceptions involve computer-aided results. With the aim of gaining a more profound understanding of this notoriously difficult conjecture, we investigate the optimal (that is, crossing-minimal) drawings of $K_{5,n}$. The widely known natural drawings of $K_{m,n}$ (the so-called Zarankiewicz drawings) with $Z(m,n)$ crossings contain antipodal vertices, that is, pairs of degree-$m$ vertices such that their induced drawing of $K_{m,2}$ has no crossings. Antipodal vertices also play a major role in Kleitman's inductive proof that cr$(K_{5,n}) = Z(5,n)$. We explore in depth the role of antipodal vertices in optimal drawings of $K_{5,n}$, for $n$ even. We prove that if {$n \equiv 2$ (mod 4)}, then every optimal drawing of $K_{5,n}$ has antipodal vertices. We also exhibit a two-parameter family of optimal drawings $D_{r,s}$ of $K_{5,4(r+s)}$ (for $r,s\ge 0$), with no antipodal vertices, and show that if $n\equiv 0$ (mod 4), then every optimal drawing of $K_{5,n}$ without antipodal vertices is (vertex rotation) isomorphic to $D_{r,s}$ for some integers $r,s$. As a corollary, we show that if $n$ is even, then every optimal drawing of $K_{5,n}$ is the superimposition of Zarankiewicz drawings with a drawing isomorphic to $D_{r,s}$ for some nonnegative integers $r,s$.
A generalization of Newton's identity and Macdonald functions
Published in J. Combin. Theory A, 125 (2014), 342-356
• View Publication
• BIB
A generalization of Newton's identity on symmetric functions is given. Using the generalized Newton identity we give a unified method to show the existence of Hall-Littlewood, Jack and Macdonald polynomials. We also give a simple proof of the Jing-Jözefiak formula for two-row Macdonald functions.
Linear groups as right multiplication groups of quasifields
Published
• View Publication
• BIB
For quasifields, the concept of parastrophy is slightly weaker than isotopy. Parastrophic quasifields yield isomorphic translation planes but not conversely. We investigate the right multiplication groups of finite quasifields. We classify all quasifields having an exceptional finite transitive linear group as right multiplication group. The classification is up to parastrophy, which turns out to be the same as up to the isomorphism of the corresponding translation planes.
On a generalisation of Roth's theorem for arithmetic progressions and applications to sum-free subsets
Published
• View Publication
• BIB
We prove a generalisation of Roth's theorem for arithmetic progressions to d-configurations, which are sets of the form {n_i+n_j+a}_{1 \leq i \leq j \leq d} where a, n_1,..., n_d are nonnegative integers, using Roth's original density increment strategy and Gowers uniformity norms. Then we use this generalisation to improve a result of Sudakov, Szemerédi and Vu about sum-free subsets and prove that any set of n integers contains a sum-free subset of size at least log n (log log log n)^{1/32772 - o(1)}.
A general framework for island systems
Published in Acta Sci. Math. (Szeged) 81 (2015) 3--24
• View Publication
• BIB
The notion of an island defined on a rectangular board is an elementary combinatorial concept that occurred first in [G. Czédli, The number of rectangular islands by means of distributive lattices, European J. Combin. 30 (2009), 208-215]. Results of this paper were starting points for investigations exploring several variations and various aspects of this notion. In this paper we introduce a general framework for islands that subsumes all earlier studied concepts of islands on finite boards, moreover we show that the prime implicants of a Boolean function, the formal concepts of a formal context, convex subgraphs of a simple graph, and some particular subsets of a projective plane also fit into this framework. We axiomatize those cases where islands have the comparable or disjoint property, or they are distant, introducing the notion of a connective island domain and of a proximity domain, respectively. In the general case the maximal systems of islands are characterised by using the concept of an admissible system. We also characterise all possible island systems in the case of island domains and proximity domains.
Degree Sequence Index Strategy
We introduce a procedure, called the Degree Sequence Index Strategy (DSI), by which to bound graph invariants by certain indices in the ordered degree sequence. As an illustration of the DSI strategy, we show how it can be used to give new upper and lower bounds on the $k$-independence and the $k$-domination numbers. These include, among other things, a double generalization of the annihilation number, a recently introduced upper bound on the independence number. Next, we use the DSI strategy in conjunction with planarity, to generalize some results of Caro and Roddity about independence number in planar graphs. Lastly, for claw-free and $K_{1,r}$-free graphs, we use DSI to generalize some results of Faudree, Gould, Jacobson, Lesniak and Lindquester.
Nijenhuis algebras, NS algebras and N-dendriform algebras
Published in Frontiers in Math. 7 (2012) 827-846
• View Publication
• BIB
In this paper we study (associative) Nijenhuis algebras, with emphasis on the relationship between the category of Nijenhuis algebras and the categories of NS algebras. This is in analogy to the well-known theory of the adjoint functor from the category of Lie algebras to that of associative algebras, and the more recent results on the adjoint functor from the categories of dendriform and tridendriform algebras to that of Rota-Baxter algebras. We first give an explicit construction of free Nijenhuis algebras and then apply it to obtain the universal enveloping Nijenhuis algebra of an NS algebra. We further apply the construction to determine the binary quadratic nonsymmetric algebra, called the N-dendriform algebra, that is compatible with the Nijenhuis algebra. As it turns out, the N-dendriform algebra has more relations than the NS algebra.