Showing 20 papers (Total: 82139 papers, 47531 authors in database)
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.
Distance magic labeling and two products of graphs
Published in Graphs and Combinatorics (2015), Volume 31, Issue 5, 1125-1136
• View Publication
• BIB
Let $G=(V,E)$ be a graph of order $n$. A distance magic labeling of $G$ is a bijection $\ell \colon V\rightarrow {1,...,n}$ for which there exists a positive integer $k$ such that $\sum_{x\in N(v)}\ell (x)=k$ for all $v\in V $, where $N(v)$ is the neighborhood of $v$. We introduce a natural subclass of distance magic graphs. For this class we show that it is closed for the direct product with regular graphs and closed as a second factor for lexicographic product with regular graphs. In addition, we characterize distance magic graphs among direct product of two cycles.
FI-modules over Noetherian rings
Published in Geom. Topol. 18 (2014) 2951-2984
• View Publication
• BIB
FI-modules were introduced by the first three authors in [CEF] to encode sequences of representations of symmetric groups. Over a field of characteristic 0, finite generation of an FI-module implies representation stability for the corresponding sequence of S_n-representations. In this paper we prove the Noetherian property for FI-modules over arbitrary Noetherian rings: any sub-FI-module of a finitely generated FI-module is finitely generated. This lets us extend many of the results of [CEF] to representations in positive characteristic, and even to integral coefficients. We focus on three major applications of the main theorem: on the integral and mod p cohomology of configuration spaces; on diagonal coinvariant algebras in positive characteristic; and on an integral version of Putman's central stability for homology of congruence subgroups.
Tensor diagrams and cluster algebras
Published
• View Publication
• BIB
The rings of SL(V) invariants of configurations of vectors and linear forms in a finite-dimensional complex vector space V were explicitly described by Hermann Weyl in the 1930s. We show that when V is 3-dimensional, each of these rings carries a natural cluster algebra structure (typically, many of them) whose cluster variables include Weyl's generators. We describe and explore these cluster structures using the combinatorial machinery of tensor diagrams. A key role is played by the web bases introduced by G.Kuperberg.
Note on divisible difference sets from Galois rings GR(9,n)
In this note, we give a new construction of divisible difference sets in ${\Bbb Z}_{9}^n$ using Galois ring $GR(3^2,n)$ under the assumption of the existence of skew Hadamard difference sets in ${\Bbb F}_{3^n}$.
The Correct Exponent for the Gotsman-Linial Conjecture
Published
• View Publication
• BIB
We prove a new bound on the average sensitivity of polynomial threshold functions. In particular we show that a polynomial threshold function of degree $d$ in at most $n$ variables has average sensitivity at most $\sqrt{n}(\log(n))^{O(d\log(d))}2^{O(d^2\log(d)}$. For fixed $d$ the exponent in terms of $n$ in this bound is known to be optimal. This bound makes significant progress towards the Gotsman-Linial Conjecture which would put the correct bound at $Θ(d\sqrt{n})$.