Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Reconstruction of complete interval tournaments. II
Published in Acta Univ. Sapientiae, Mathematica, 2 (2010), 47--71
• Search Publication
Let $a, \ b \ (b \geq a)$ and $n \ (n \geq 2)$ be nonnegative integers and let $\mathcal{T}(a,b,n)$ be the set of such generalised tournaments, in which every pair of distinct players is connected at most with $b$, and at least with $a$ arcs. In \cite{Ivanyi2009} we gave a necessary and sufficient condition to decide whether a given sequence of nonnegative integers $D = (d_1, d_2,..., d_n)$ can be realized as the out-degree sequence of a $T \in \mathcal{T}(a,b,n)$. Extending the results of \cite{Ivanyi2009} we show that for any sequence of nonnegative integers $D$ there exist $f$ and $g$ such that some element $T \in \mathcal{T}(g,f,n)$ has $D$ as its out-degree sequence, and for any $(a,b,n)$-tournament $T'$ with the same out-degree sequence $D$ hold $a\leq g$ and $b\geq f$. We propose a $Θ(n)$ algorithm to determine $f$ and $g$ and an $O(d_n n^2)$ algorithm to construct a corresponding tournament $T$.
A Giambelli formula for the $S^1$-equivariant cohomology of type A Peterson varieties
Published
• View Publication
• BIB
The main result of this note is a Giambelli formula for the Peterson Schubert classes in the $S^1$-equivariant cohomology ring of a type $A$ Peterson variety. Our results depend on the Monk formula for the equivariant structure constants for the Peterson Schubert classes derived by Harada and Tymoczko. In addition, we give proofs of two facts observed by H. Naruse: firstly, that some constants which appear in the multiplicative structure of the $S^1$-equivariant cohomology of Peterson varieties are Stirling numbers of the second kind, and secondly, that the Peterson Schubert classes satisfy a stability property in a sense analogous to the stability of the classical equivariant Schubert classes in the $T$-equivariant cohomology of the flag variety.
Poset pinball, the dimension pair algorithm, and type A regular nilpotent Hessenberg varieties
Published
• View Publication
• BIB
In this manuscript we develop the theory of poset pinball, a combinatorial game recently introduced by Harada and Tymoczko for the study of the equivariant cohomology rings of GKM-compatible subspaces of GKM spaces. Harada and Tymoczko also prove that in certain circumstances, a successful outcome of Betti poset pinball yields a module basis for the equivariant cohomology ring of the GKM-compatible subspace. Our main contributions are twofold. First we construct an algorithm (which we call the dimension pair algorithm) which yields the result of a successful outcome of Betti poset pinball for any type $A$ regular nilpotent Hessenberg and any type $A$ nilpotent Springer variety, considered as GKM-compatible subspaces of the flag variety $\Flags(\C^n)$. The definition of the algorithm is motivated by a correspondence between Hessenberg affine cells and certain Schubert polynomials which we learned from Erik Insko. Second, in the special case of the type $A$ regular nilpotent Hessenberg varieties specified by the Hessenberg function $h(1)=h(2)=3$ and $h(i) = i+1$ for $3 \leq i \leq n-1$ and $h(n)=n$, we prove that the pinball result coming from the dimension pair algorithm is poset-upper-triangular; by results of Harada and Tymoczko this implies the corresponding equivariant cohomology classes form a $H^*_{S^1}(\pt)$-module basis for the $S^1$-equivariant cohomology ring of the Hessenberg variety.
The number of convex pentagons and hexagons in an $n$-triangular net
Published in Shuxue Tongbao (or Bulletin des Sciences Mathematics in Chinese), 49 (2010), no. 10, 43-45
• Search Publication
In this paper, we obtain the counting formulaes of convex pentagons and convex hexagons, respectively, in an $n$-triangular net by solving the corresponding recursive formulaes.
Improved Approximation for the Directed Spanner Problem
Published
• View Publication
• BIB
We prove that the size of the sparsest directed k-spanner of a graph can be approximated in polynomial time to within a factor of $\tilde{O}(\sqrt{n})$, for all k >= 3. This improves the $\tilde{O}(n^{2/3})$-approximation recently shown by Dinitz and Krauthgamer.
Rigidity of the topological dual of spaces of formal series with respect to product topologies
Published
• View Publication
• BIB
Even in spaces of formal power series is required a topology in order to legitimate some operations, in particular to compute infinite summations. Many topologies can be exploited for different purposes. Combinatorists and algebraists may think to usual order topologies, or the product topology induced by a discrete coefficient field, or some inverse limit topologies. Analysists will take into account the valued field structure of real or complex numbers. As the main result of this paper we prove that the topological dual spaces of formal power series, relative to the class of product topologies with respect to Hausdorff field topologies on the coefficient field, are all the same, namely the space of polynomials. As a consequence, this kind of rigidity forces linear maps, continuous for any (and then for all) of those topologies, to be defined by very particular infinite matrices similar to row-finite matrices.
The spectrum of random lifts
For a fixed d-regular graph H, a random n-lift is obtained by replacing each vertex v of H by a "fibre" containing n vertices, then placing a uniformly random matching between fibres corresponding to adjacent vertices of H. We show that with extremely high probability, all eigenvalues of the lift that are not eigenvalues of H, have order O(sqrt(d)). In particular, if H is Ramanujan then its n-lift is with high probability nearly Ramanujan. We also show that any exceptionally large eigenvalues of the n-lift that are not eigenvalues of H, are overwhelmingly likely to have been caused by a dense subgraph of size O(|E(H)|).
Upper bounds for the bondage number of graphs on topological surfaces
Published in Discrete Math. 313 (2013), no. 11, pp. 1132-1137
• View Publication
• BIB
The bondage number b(G) of a graph G is the smallest number of edges of G whose removal from G results in a graph having the domination number larger than that of G. We show that, for a graph G having the maximum vertex degree $Δ(G)$ and embeddable on an orientable surface of genus h and a non-orientable surface of genus k, $b(G)\le \min\{Δ(G)+h+2, Δ(G)+k+1\}$. This generalizes known upper bounds for planar and toroidal graphs.
Hemisystems of small flock generalized quadrangles
Published
• View Publication
• BIB
In this paper, we describe a complete computer classification of the hemisystems in the two known flock generalized quadrangles of order $(5^2,5)$ and give numerous further examples of hemisystems in all the known flock generalized quadrangles of order $(s^2,s)$ for $s \le 11$. By analysing the computational data, we identify two possible new infinite families of hemisystems in the classical generalized quadrangle $H(3,q^2)$.
Lyashko-Looijenga morphisms and submaximal factorisations of a Coxeter element
Published in Journal of Algebraic Combinatorics 36, Issue 4 (2012), pp. 649-673
• View Publication
• BIB
When W is a finite reflection group, the noncrossing partition lattice NCP_W of type W is a rich combinatorial object, extending the notion of noncrossing partitions of an n-gon. A formula (for which the only known proofs are case-by-case) expresses the number of multichains of a given length in NCP_W as a generalised Fuss-Catalan number, depending on the invariant degrees of W. We describe how to understand some specifications of this formula in a case-free way, using an interpretation of the chains of NCP_W as fibers of a Lyashko-Looijenga covering (LL), constructed from the geometry of the discriminant hypersurface of W. We study algebraically the map LL, describing the factorisations of its discriminant and its Jacobian. As byproducts, we generalise a formula stated by K. Saito for real reflection groups, and we deduce new enumeration formulas for certain factorisations of a Coxeter element of W.
Chromatic polynomials of complementary (n,k)-clique pairs
We introduce a class of pairs of graphs consisting of two cliques joined by an arbitrary number of edges. The members of a pair have the property that the clique-bridging edge-set of one graph is the complement of that of the other. We prove a precise relation between the chromatic polynomials of the graphs in such a pair, showing that they have the same splitting field, and that the number of acyclic orientations of each graph is determined by the number of proper vertex-colourings of the other.
Generalized compositions with a fixed number of parts
We investigate compositions of a positive integer with a fixed number of parts, when there are several types of each natural number. These compositions produce new relationships among binomial coefficients, Catalan numbers, and numbers of the Catalan triangle.
Large B_d-free and union-free subfamilies
For a property $Γ$ and a family of sets $\cF$, let $f(\cF,Γ)$ be the size of the largest subfamily of $\cF$ having property $Γ$. For a positive integer $m$, let $f(m,Γ)$ be the minimum of $f(\cF,Γ)$ over all families of size $m$. A family $\cF$ is said to be $B_d$-free if it has no subfamily $\cF'=\{F_I: I \subseteq [d]\}$ of $2^d$ distinct sets such that for every $I,J \subseteq [d]$, both $F_I \cup F_J=F_{I \cup J}$ and $F_I \cap F_J = F_{I \cap J}$ hold. A family $\cF$ is $a$-union free if $F_1\cup ... F_a \neq F_{a+1}$ whenever $F_1,..,F_{a+1}$ are distinct sets in $\FF$. We verify a conjecture of Erd\H os and Shelah that $f(m, B_2\text{\rm -free})=Θ(m^{2/3})$. We also obtain lower and upper bounds for $f(m, B_d\text{\rm -free})$ and $f(m,a\text{\rm -union free})$.
Some inversion formulas and formulas for Stirling numbers
Published
• View Publication
• BIB
In the paper we present some new inversion formulas and two new formulas for Stirling numbers.
Distance-balanced closure of some graphs
In this paper we prove that any distance-balanced graph $G$ with $Δ(G)\geq |V(G)|-3$ is regular. Also we define notion of distance-balanced closure of a graph and we find distance-balanced closures of trees $T$ with $Δ(T)\geq |V(T)|-3$.
Some remarks about the derivative operator and generalized Stirling numbers
Published in Ars. Combin. 100 (2011), 177--192
• Search Publication
Studying expressions of the form $(f(x)D)^p$, where $D={\displaystyle \frac{d}{dx}}$ is the derivative operator, goes back to Scherk's Ph.D. thesis in 1823. We show that this can be extended as ${\displaystyle\sum γ_{p;a} (f^{(0)})^{a(0)+1} (f^{(1)})^{a(1)}...(f^{(p-1)})^{a(p-1)}D^{p-\sum_i i a(i)}}$}, where the summation is taken over the $p$-tuples $(a_0, a_1,..., a_{p-1})$, satisfying $\sum_{i}a(i)=p-1,\, \sum_{i}i a(i)<p$, $f^{(i)}=D^i f$ and $γ_{p;a}$ is the number of increasing trees on the vertex set $[0, p]$ having
$a(0)+1$ leaves and having $a(i)$ vertices with $i$ children for $0<i<p$. Thus, previously known results about increasing trees, lead us to some equalities containing coefficients $γ_{p;a}$. In the sequel, we consider the expansion of $(x^k D)^p$ and coefficients appearing there, which are called generalized Stirling numbers by physicists. Some results about these coefficients and their inverses are discussed through bijective methods.
Particularly, we introduce and use the notion of $(p, k)$-forest in these arguments.
The central curve in linear programming
Published in Foundations of Computational Mathematics: Volume 12, Issue 4 (2012), Page 509-540
• View Publication
• BIB
The central curve of a linear program is an algebraic curve specified by linear and quadratic constraints arising from complementary slackness. It is the union of the various central paths for minimizing or maximizing the cost function over any region in the associated hyperplane arrangement. We determine the degree, arithmetic genus and defining prime ideal of the central curve, thereby answering a question of Bayer and Lagarias. These invariants, along with the degree of the Gauss image of the curve, are expressed in terms of the matroid of the input matrix. Extending work of Dedieu, Malajovich and Shub, this yields an instance-specific bound on the total curvature of the central path, a quantity relevant for interior point methods. The global geometry of central curves is studied in detail.
On the rainbow vertex-connection
Published
• View Publication
• BIB
A vertex-colored graph is {\it rainbow vertex-connected} if any two vertices are connected by a path whose internal vertices have distinct colors, which was introduced by Krivelevich and Yuster. The {\it rainbow vertex-connection} of a connected graph $G$, denoted by $rvc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow vertex-connected. Krivelevich and Yuster proved that if $G$ is a graph of order $n$ with minimum degree $δ$, then $rvc(G)<11n/δ$. In this paper, we show that $rvc(G)\leq 3n/(δ+1)+5$ for $δ\geq \sqrt{n-1}-1$ and $n\geq 290$, while $rvc(G)\leq 4n/(δ+1)+5$ for $16\leq δ\leq \sqrt{n-1}-2$ and $rvc(G)\leq 4n/(δ+1)+C(δ)$ for $6\leqδ\leq 15$, where $C(δ)=e^{\frac{3\log(δ^3+2δ^2+3)-3(\log 3-1)} {δ-3}}-2$. We also prove that $rvc(G)\leq 3n/4-2$ for $δ=3$, $rvc(G)\leq 3n/5-8/5$ for $δ=4$ and $rvc(G)\leq n/2-2$ for $δ=5$. Moreover, an example shows that when $δ\geq \sqrt{n-1}-1$ and $δ=3,4,5$, our bounds are seen to be tight up to additive factors.
Large values of the Gowers-Host-Kra seminorms
Published
• View Publication
• BIB
The \emph{Gowers uniformity norms} $\|f\|_{U^k(G)}$ of a function $f: G \to \C$ on a finite additive group $G$, together with the slight variant $\|f\|_{U^k([N])}$ defined for functions on a discrete interval $[N] := \{1,...,N\}$, are of importance in the modern theory of counting additive patterns (such as arithmetic progressions) inside large sets. Closely related to these norms are the \emph{Gowers-Host-Kra seminorms} $\|f\|_{U^k(X)}$ of a measurable function $f: X \to \C$ on a measure-preserving system $X = (X, {\mathcal X}, μ, T)$. Much recent effort has been devoted to the question of obtaining necessary and sufficient conditions for these Gowers norms to have non-trivial size (e.g. at least $η$ for some small $η> 0$), leading in particular to the inverse conjecture for the Gowers norms, and to the Host-Kra classification of characteristic factors for the Gowers-Host-Kra seminorms.
In this paper we investigate the near-extremal (or "property testing") version of this question, when the Gowers norm or Gowers-Host-Kra seminorm of a function is almost as large as it can be subject to an $L^\infty$ or $L^p$ bound on its magnitude. Our main results assert, roughly speaking, that this occurs if and only if $f$ behaves like a polynomial phase, possibly localised to a subgroup of the domain; this can be viewed as a higher-order analogue of classical results of Russo and Fournier, and are also related to the polynomiality testing results over finite fields of Blum-Luby-Rubinfeld and Alon-Kaufman-Krivelevich-Litsyn-Ron. We investigate the situation further for the $U^3$ norms, which are associated to 2-step nilsequences, and find that there is a threshold behaviour, in that non-trivial 2-step nilsequences (not associated with linear or quadratic phases) only emerge once the $U^3$ norm is at most $2^{-1/8}$ of the $L^\infty$ norm.
Equipartition of a measure by $(Z_p)^k$-invariant fans
Published in Discrete and Computational Geometry, 43:2, 2010, 477-481
• View Publication
• BIB
We prove a result about partitioning an absolute continuous measure in $\mathbb R^d$ into 2d equal parts by a system of cones with common vertex, where $d$ is an odd prime power. The proof is topological and based on the calculation of the equivariant Euler class of a certain vector bundle.