Showing 20 papers (Total: 81756 papers, 47371 authors in database)
The 4x4 minors of a 5xn matrix are a tropical basis
We compute the space of 5x5 matrices of tropical rank at most 3 and show that it coincides with the space of 5x5 matrices of Kapranov rank at most 3, that is, the space of five labeled coplanar points in TP4. We then prove that the Kapranov rank of every 5xn matrix equals its tropical rank; equivalently, that the 4x4 minors of a 5xn matrix of variables form a tropical basis. This answers a question asked by Develin, Santos, and Sturmfels.
On empty lattice simplices in dimension 4
Published
• View Publication
• BIB
We give an almost complete classification of empty lattice simplices in dimension 4 using the conjectural results of Mori-Morrison-Morrison, later proved by Sankaran and Bober. In particular, all of these simplices correspond to cyclic quotient singularities, and all but finitely many of them have width bounded by 2.
Hyperbolic polynomials and the Dirichlet problem
This paper presents a simple, self-contained account of Garding's theory of hyperbolic polynomials, including a recent convexity result of Bauschke-Guler-Lewis-Sendov and an inequality of Gurvits. This account also contains new results, such as the existence of a real analytic arrangement of the eigenvalue functions.
In a second, independent part of the paper, the relationship of Garding's theory to the authors' recent work (arXiv:0710.3991) on the Dirichlet problem for fully nonlinear partial differential equations is investigated. Let p be a homogeneous polynomial of degree m on S^2(R^n) which is hyperbolic with respect to the all positive directions A \geq 0. Then p has an associated eigenvalue map lambda:S^2(R^n) \to R^m, defined modulo the permutation group acting on R^m. Consequently, each closed symmetric set E of R^m induces a second-order p.d.e. by requiring, for a C^2-function u in n-variables, that (D^2 u)(x) lie in the boundary of E for all x. Assume that E + (R_+)^m is contained in E. A main result is that for smooth domains in R^n whose boundary is suitably (p,E)-pseudo-convex, the Dirichlet problem has a unique continuous solution for all continuous boundary data. This applies to a vast collection of examples the most basic of which are the m distinct branches of the equation p(D^2 u) =0.
In the authors' recent extension of results from euclidean domains to domains in riemannian manifolds (arXiv:0907.1981), a new global ingredient, called a monotonicity subequation, was introduced. It is shown in this paper that for every polynomial $p$ as above, the associated Garding cone is a monotonicity cone for all branches of the the equation p(Hess u) = 0 where Hess u denotes the riemannian Hessian of u.
Free Knots and Parity
Published
• View Publication
• BIB
We consider knot theories possessing a {\em parity}: each crossing is decreed {\em odd} or {\em even} according to some universal rule. If this rule satisfies some simple axioms concerning the behaviour under Reidemeister moves, this leads to a possibility of constructing new invariants and proving minimality and non-triviality theorems for knots from these classes, and constructing maps from knots to knots.
Our main example is virtual knot theory and its simplifaction, {\em free knot theory}. By using Gauss diagrams, we show the existence of non-trivial free knots (counterexample to Turaev's conjecture), and construct simple and deep invariants made out of parity. Some invariants are valued in graph-like objects and some other are valued in groups.
We discuss applications of parity to virtual knots and ways of extending well-known invariants.
The existence of a non-trivial parity for classical knots remains an open problem.
The Euler Series Transformation and the Binomial Identities of Ljunggren, Munarini and Simons
Published in Integers, 10 A22 (2010) 265-271
• View Publication
• BIB
It is shown that the curious identity of Simons follows immediately from Euler's series transformation formula and also from an identity due to Ljunggren. The relation of Simons' identity to Legendre's polynomials is also discussed. At the end we use the generalized Euler series transformation to obtain two recent binomial identities of Munarini.
Weighted and Roughly Weighted Simple Games
Published
• View Publication
• BIB
This paper contributes to the program of numerical characterisation and classification of simple games outlined in the classical monograph of von Neumann and Morgenstern (1944). One of the most fundamental questions of this program is what makes a simple game a weighted majority game. The necessary and sufficient conditions that guarantee weightedness were obtained by Elgot (1961) and refined by Taylor and Zwicker (1992). If a simple game does not have weights, then rough weights may serve as a reasonable substitute (see their use in Taylor and Zwicker, 1992). A simple game is roughly weighted if there exists a system of weights and a threshold such that all coalitions whose combined weight is above the threshold are winning and all coalitions whose combined weight is below the threshold are losing and a tie-breaking is needed to classify the coalitions whose combined weight is exactly the threshold. Not all simple games are roughly weighted, and the class of projective games is a prime example.
In this paper we give necessary and sufficient conditions for a simple game to have rough weights. We define two functions f(n) and g(n) that measure the deviation of a simple game from a weighted majority game and roughly weighted majority game, respectively. We formulate known results in terms of lower and upper bounds for these functions and improve those bounds. We also investigate rough weightedness of simle games with a small number of players.
Series Transformation Formulas of Euler Type, Hadamard Product of Functions, and Harmonic Number Identities
Published in Indian J. Pure and Appl. Math., 42 (2011), 371-387
• View Publication
• BIB
The integral representation of the Hadamard product of two functions is used to prove several Euler-type series transformation formulas. As applications we obtain three binomial identities involving harmonic numbers and an identity for the Laguerre polynomials. We also evaluate in a closed form certain power series with harmonic numbers
Hadamard matrices of small order and Yang conjecture
Published in Journal of Combinatorial Designs vol. 18, No. 4 (2010), 254-259
• Search Publication
We show that 138 odd values of n less than 10000 for which one knows how to construct a Hadamard matrix of order 4n have been overlooked in the recent handbook of combinatorial designs. There are four additional odd n, namely 191, 5767, 7081 and 8249, in that range for which we can construct a Hadamard matrix of order 4n. Our exhaustive computer searches show that the near-normal sequences NN(n) exist for n=36,38,40. Thus the Yang conjecture on the existence of NN(n) for all even n has been verified for n <= 40 but it still remains open.
A new proof of Faber's intersection number conjecture
Published in Adv. Math. 228 (2011), no. 1, 22--42
• View Publication
• BIB
We give a new proof of Faber's intersection number conjecture concerning the top intersections in the tautological ring of the moduli space of curves $\M_g$. The proof is based on a very straightforward geometric and combinatorial computation with double ramification cycles.
Noncrossing partitions, clusters and the Coxeter plane
When W is a finite Coxeter group of classical type (A, B, or D), noncrossing partitions associated to W and compatibility of almost positive roots in the associated root system are known to be modeled by certain planar diagrams. We show how the classical-type constructions of planar diagrams arise uniformly from projections of small W-orbits to the Coxeter plane. When the construction is applied beyond the classical cases, simple criteria are apparent for noncrossing and for compatibility for W of types H_3 and I_2(m) and less simple criteria can be found for compatibility in types E_6, F_4 and H_4. Our construction also explains why simple combinatorial models are elusive in the larger exceptional types.
$Q_2$-free families in the Boolean lattice
Published in Order 29(1) (2012), 177--191
• View Publication
• BIB
For a family $\mathcal{F}$ of subsets of [n]=\{1, 2, ..., n} ordered by inclusion, and a partially ordered set P, we say that $\mathcal{F}$ is P-free if it does not contain a subposet isomorphic to P. Let $ex(n, P)$ be the largest size of a P-free family of subsets of [n]. Let $Q_2$ be the poset with distinct elements a, b, c, d, a<b, c<d; i.e., the 2-dimensional Boolean lattice. We show that $2N -o(N) \leq ex(n, Q_2)\leq 2.283261N +o(N), $ where $N = \binom{n}{\lfloor n/2 \rfloor}$. We also prove that the largest $Q_2$-free family of subsets of [n] having at most three different sizes has at most 2.20711N members.
On finite reflexive homomorphism-homogeneous binary relational systems
A structure is called homogeneous if every isomorphism between finitely induced substructures of the structure extends to an automorphism of the structure. Recently, P. J. Cameron and J. Nešetřil introduced a relaxed version of homogeneity: we say that a structure is homomorphism-homogeneous if every homomorphism between finitely induced substructures of the structure extends to an endomorphism of the structure.
In this paper we consider finite homomorphism-homogeneous relational systems with one reflexive binary relation. We show that for a large part of such relational systems (bidirectionally connected digraphs; a digraph is bidirectionally connected if each of its connected components can be traversed by $\rightleftarrows$-paths) the problem of deciding whether the system is homomorphism-homogeneous is coNP-complete. Consequently, for this class of relational systems we cannot hope for a description involving a catalogue, where by a catalogue we understand a finite list of polynomially decidable classes of structures. On the other hand, in case of bidirectionally disconnected digraphs we present the full characterization. Our main result states that if a digraph is bidirectionally disconnected, then it is homomorphism-homogeneous if and only if it is either a finite homomorphism-homogeneous quasiorder, or an inflation of a homomorphism-homogeneous digraph with involution (a peculiar class of digraphs introduced later in the paper), or an inflation of a digraph whose only connected components are $C_3^\circ$ and $\1^\circ$.
Square Partitions and Catalan Numbers
Published in J. Algebraic Combin. 34 (2011), no. 1, 1-18
• View Publication
• BIB
For each integer $k\ge 1$, we define an algorithm which associates to a partition whose maximal value is at most $k$ a certain subset of all partitions. In the case when we begin with a partition $λ$ which is square, i.e $λ=λ_1\ge...\geλ_k>0$, and $λ_1=k,λ_k=1$, then applying the algorithm $\ell$ times gives rise to a set whose cardinality is either the Catalan number $c_{\ell-k+1}$ (the self dual case) or twice the Catalan number. The algorithm defines a tree and we study the propagation of the tree, which is not in the isomorphism class of the usual Catalan tree. The algorithm can also be modified to produce a two--parameter family of sets and the resulting cardinalities of the sets are the ballot numbers. Finally, we give a conjecture on the rank of a particular module for the ring of symmetric functions in $2\ell+m$ variables.
Large Non-Planar Graphs and an Application to Crossing-Critical Graphs
Published
• View Publication
• BIB
We prove that, for every positive integer k, there is an integer N such that every 4-connected non-planar graph with at least N vertices has a minor isomorphic to K_{4,k}, the graph obtained from a cycle of length 2k+1 by adding an edge joining every pair of vertices at distance exactly k, or the graph obtained from a cycle of length k by adding two vertices adjacent to each other and to every vertex on the cycle. We also prove a version of this for subdivisions rather than minors, and relax the connectivity to allow 3-cuts with one side planar and of bounded size. We deduce that for every integer k there are only finitely many 3-connected 2-crossing-critical graphs with no subdivision isomorphic to the graph obtained from a cycle of length 2k by joining all pairs of diagonally opposite vertices.
Conjecture on the maximum cut and bisection width in random regular graphs
Published in J. Stat. Mech. (2010) P02020
• View Publication
• BIB
Asymptotic properties of random regular graphs are object of extensive study in mathematics. In this note we argue, based on theory of spin glasses, that in random regular graphs the maximum cut size asymptotically equals the number of edges in the graph minus the minimum bisection size. Maximum cut and minimal bisection are two famous NP-complete problems with no known general relation between them, hence our conjecture is a surprising property of random regular graphs. We further support the conjecture with numerical simulations. A rigorous proof of this relation is obviously a challenge.
Every plane graph of maximum degree 8 has an edge-face 9-colouring
Published in SIAM Journal on Discrete Mathematics 25(2): 514-533, 2011
• View Publication
• BIB
An edge-face colouring of a plane graph with edge set $E$ and face set $F$ is a colouring of the elements of $E \cup F$ such that adjacent or incident elements receive different colours. Borodin proved that every plane graph of maximum degree $Δ\ge10$ can be edge-face coloured with $Δ+1$ colours. Borodin's bound was recently extended to the case where $Δ=9$. In this paper, we extend it to the case $Δ=8$.
On Sums of Sets of Primes with Positive Relative Density
Published
• View Publication
• BIB
In this paper we show that if $A$ is a subset of the primes with positive relative density $δ$, then $A+A$ must have positive upper density $C_1δe^{-C_2(\log(1/δ))^{2/3}(\log\log(1/δ))^{1/3}}$ in $\mathbb{N}$. Our argument applies the techniques developed by Green and Green-Tao used to find arithmetic progressions in the primes, in combination with a result on sums of subsets of the multiplicative subgroup of the integers modulo $M$.
NBB bases of some pattern avoiding lattices
In this paper we will determine the NBB bases with respect to standard ordering of coatoms (resp.atoms) of 123-132-213-avoiding (resp.321-avoiding) lattices. Using these expression we will calculate the Möbius numbers of 123-132-213-avoiding lattices and 321-avoiding lattices. These values become some modification of fibonacci polynomials.
Asymptotic enumeration of labelled graphs with a given genus
Published
• View Publication
• BIB
We enumerate rooted 2-connected and 3-connected surface maps with respect to vertices and edges. We also derive the bivariate version of the large face-width result for random 3-connected maps. These results are then used to derive asymptotic formulas for the number of labelled graphs of genus g (1-connected, 2-connected, and 3-connected graphs.)
Dyck Paths, Standard Young Tableaux, and Pattern Avoiding Permutations
We present a generating function and a closed counting formula in two variables that enumerate a family of classes of permutations that avoid or contain an increasing pattern of length three and have a prescribed number of occurrences of another pattern of length three. This gives a refinement of some previously studied statistics, most notably one by Noonan. The formula is also shown to enumerate a family of classes of Dyck paths and Standard Young Tableaux, and a bijection is given between the corresponding classes of these two families of objects. Finally, the results obtained are used to solve an optimization problem for a certain card game.