Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Choice Number and Energy of Graphs
Published
• View Publication
• BIB
The energy of a graph G, denoted by E(G), is defined as the sum of the absolute values of all eigenvalues of G. It is proved that E(G)>= 2(n-χ(\bar{G}))>= 2(ch(G)-1) for every graph G of order n, and that E(G)>= 2ch(G) for all graphs G except for those in a few specified families, where \bar{G}, χ(G), and ch(G) are the complement, the chromatic number, and the choice number of G, respectively.
Proof of the Somos-4 Hankel Determinants Conjecture
Published
• View Publication
• BIB
By considering the fundamental equation $x=y-y^2=z-z^3$, Somos conjectured that the Hankel determinants for the generating series $y(z)$ are the Somos-4 numbers. We prove this conjecture by using the quadratic transformation for Hankel determinants of Sulanke and Xin.
Cardinalities of k-distance sets in Minkowski spaces
Published in Discrete Mathematics 197/198 (1999) 759-767
• View Publication
• BIB
A subset of a metric space is a k-distance set if there are exactly k non-zero distances occuring between points. We conjecture that a k-distance set in a d-dimensional Banach space (or Minkowski space), contains at most (k+1)^d points, with equality iff the unit ball is a parallelotope. We solve this conjecture in the affirmative for all 2-dimensional spaces and for spaces where the unit ball is a parallelotope. For general spaces we find various weaker upper bounds for k-distance sets.
Quasi-kernels and quasi-sinks in infinite graphs
Given a directed graph G=(V,E) an independent set A of the vertices V is called quasi-kernel (quasi-sink) iff for each point v there is a path of length at most 2 from some point of A to v (from v to some point of A). Every finite directed graph has a quasi-kernel. The plain generalization for infinite graphs fails, even for tournaments. We investigate the following conjecture here: for any digraph G=(V,E) there is a a partition (V_0,V_1) of the vertex set such that the induced subgraph G[V_0] has a quasi-kernel and the induced subgraph G[V_1] has a quasi-sink.
Condensation of Determinants
In this paper we tried to condense the determinant of n square matrix to the determinant of (n - 1) square matrix with the mathematical proof.
The number of hypergraphs and colored Hypergraphs with hereditary properties
As an application of Szemeredi's regularity lemma, Erdos-Frankl-Rodl (1986) showed that the number of graphs on vertex set {1,2,...n} with a monotone class P is $2^{(1+o(1))ex(n,P)n^2/2}$ where $ex(n,P)$ is the maximum number of edges of an n-vertex graph which has no subgraph in P. Kohayakawa et al. (2003) extended it from monotone to hereditary and from graphs to 3-uniform hypergraphs. We extend it to general hypergraphs. This may be a simple example illustrating how to apply a recent hypergraph regularity lemma by the author.
Projective normality of nonsingular toric varieties of dimension three
Published in Tohoku Math. J. 64 (2012), 125--140
• Search Publication
We show that if an ample line bundle L on a nonsingular toric 3-fold satisfies h^0(L+2K)=0, then L is normally generated. As an application, we show that the anti-canonical divisor on a nonsingular toric Fano 4-fold is normally generated.
Fragmenting random permutations
Published
• View Publication
• BIB
Problem 1.5.7 from Pitman's Saint-Flour lecture notes: Does there exist for each n a fragmentation process (Π_{n,k}, 1 \leq k \leq n) taking values in the space of partitions of {1,2,...,n} such that Π_{n,k} is distributed like the partition generated by cycles of a uniform random permutation of {1,2,...,n} conditioned to have k cycles? We show that the answer is yes. We also give a partial extension to general exchangeable Gibbs partitions.
Some families of increasing planar maps
Published
• View Publication
• BIB
Stack-triangulations appear as natural objects when one wants to define some increasing families of triangulations by successive additions of faces. We investigate the asymptotic behavior of rooted stack-triangulations with $2n$ faces under two different distributions. We show that the uniform distribution on this set of maps converges, for a topology of local convergence, to a distribution on the set of infinite maps. In the other hand, we show that rescaled by $n^{1/2}$, they converge for the Gromov-Hausdorff topology on metric spaces to the continuum random tree introduced by Aldous. Under a distribution induced by a natural random construction, the distance between random points rescaled by $(6/11)\log n$ converge to 1 in probability.
We obtain similar asymptotic results for a family of increasing quadrangulations.
Overpartitions and class numbers of binary quadratic forms
Published
• View Publication
• BIB
We show that the Zagier-Eisenstein series shares its non-holomorphic part with certain weak Maass forms whose holomorphic parts are generating functions for overpartition rank differences. This has a number of consequences, including exact formulas, asymptotics, and congruences for the rank differences as well as $q$-series identities of the mock theta type.
A Birthday Paradox for Markov chains with an optimal bound for collision in the Pollard Rho algorithm for discrete logarithm
Published in Annals of Applied Probability 2010, Vol. 20, No. 2, 495-521
• View Publication
• BIB
We show a Birthday Paradox for self-intersections of Markov chains with uniform stationary distribution. As an application, we analyze Pollard's Rho algorithm for finding the discrete logarithm in a cyclic group $G$ and find that if the partition in the algorithm is given by a random oracle, then with high probability a collision occurs in $Θ(\sqrt{|G|})$ steps. Moreover, for the parallelized distinguished points algorithm on $J$ processors we find that $Θ(\sqrt{|G|}/J)$ steps suffices. These are the first proofs of the correct order bounds which do not assume that every step of the algorithm produces an i.i.d. sample from $G$.
On completing three cyclic transversals to a latin square
Published
• View Publication
• BIB
Let $P$ be a partial latin square of prime order $p>7$ consisting of three cyclically generated transversals. Specifically, let $P$ be a partial latin square of the form: \[ P=\{(i,c+i,s+i),(i,c'+i,s'+i),(i,c''+i,s''+i)\mid 0 \leq i< p\} \] for some distinct $c,c',c''$ and some distinct $s,s',s''$. In this paper we show that any such $P$ completes to a latin square which is diagonally cyclic.
Random graphs with forbidden vertex degrees
Published
• View Publication
• BIB
We study the random graph G_{n,λ/n} conditioned on the event that all vertex degrees lie in some given subset S of the non-negative integers. Subject to a certain hypothesis on S, the empirical distribution of the vertex degrees is asymptotically Poisson with some parameter \mux given as the root of a certain `characteristic equation' of S that maximises a certain function \psis(μ). Subject to a hypothesis on S, we obtain a partial description of the structure of such a random graph, including a condition for the existence (or not) of a giant component. The requisite hypothesis is in many cases benign, and applications are presented to a number of choices for the set S including the sets of (respectively) even and odd numbers. The random \emph{even} graph is related to the random-cluster model on the complete graph K_n.
The Ring of Graph Invariants - Graphic Values
The ring of graph invariants is spanned by the basic graph invariants which calculate the number of subgraphs isomorphic to a given graph in other graphs. These subgraphs counting invariants are not algebraically independent. In our view the most important problem in graph theory of unlabeled graphs is the problem of determining graphic values of arbitrary sets of graph invariants. This corresponds to explaining the syzygy of the graph invariants when the number of vertices is unbounded. We introduce two methods to explore this complicated structure. Sets of graphs with a small number of vertices impose constraints on larger sets. We describe families of inequalities of graph invariants. These inequalities allow to loop over all values of graph invariants which look like graphic from the small sets point of view. We also develop strong notion of graphic values where the existence of the corresponding graphs is guaranteed once the constraints are satisfied by the basic graph invariants. These constraints are necessary and sufficient for graphs whose local neighborhoods are generated by a finite set of locally connected graphs. The reconstruction of the graph from the basic graph invariants is shown to be NP-complete in this restricted case. Finally we apply these results to formulate the problem of Ramsey numbers as an integer polyhedron problem of moderate and adjustable dimension.
A new upper bound for the cross number of finite Abelian groups
Published in Israel Journal of Mathematics 172 (2009) 253-278
• View Publication
• BIB
In this paper, building among others on earlier works by U. Krause and C. Zahlten (dealing with the case of cyclic groups), we obtain a new upper bound for the little cross number valid in the general case of arbitrary finite Abelian groups. Given a finite Abelian group, this upper bound appears to depend only on the rank and on the number of distinct prime divisors of the exponent. The main theorem of this paper allows us, among other consequences, to prove that a classical conjecture concerning the cross and little cross numbers of finite Abelian groups holds asymptotically in at least two different directions.
A Mathematical Proof of Dodgson's Algorithm
In this paper we give a mathematical proof of Dodgson algorithm [1]. Recently Zeilberger [2] gave a bijective proof. Our techniques are based on determinant properties and they are obtained by induction.
Coincidences in 4 dimensions
Published in Phil. Mag. 88 (2008), 2025-2032
• View Publication
• BIB
The coincidence site lattices (CSLs) of prominent 4-dimensional lattices are considered. CSLs in 3 dimensions have been used for decades to describe grain boundaries in crystals. Quasicrystals suggest to also look at CSLs in dimensions $d>3$. Here, we discuss the CSLs of the root lattice $A_4$ and the hypercubic lattices, which are of particular interest both from the mathematical and the crystallographic viewpoint. Quaternion algebras are used to derive their coincidence rotations and the CSLs. We make use of the fact that the CSLs can be linked to certain ideals and compute their indices, their multiplicities and encapsulate all this in generating functions in terms of Dirichlet series. In addition, we sketch how these results can be generalised for 4--dimensional $\Z$--modules by discussing the icosian ring.
Inverse Problems for Representation Functions in Additive Number Theory
Published in Surveys in Number Theory, Springer, New York, 2008, pp. 89--117
• View Publication
• BIB
For every positive integer h, the representation function of order h associated to a subset A of the integers or, more generally, of any group or semigroup X, counts the number of ways an element of X can be written as the sum (or product, if X is nonabelian) of h not necessarily distinct elements of X. The direct problem for representation functions in additive number theory begins with a subset A of X and seeks to understand its representation functions. The inverse problem for representation functions starts with a function f:X ->N_0 U {\infty} and asks if there is a set A whose representation function is f, and, if the answer is yes, to classify all such sets. This paper is a survey of recent progress on the inverse representation problem.
On the partition of numbers into parts of a given type and number
E394 in the Enestrom index. Translated from the Latin original, "De partitione numerorum in partes tam numero quam specie datas" (1768).
Euler finds a lot of recurrence formulas for the number of partitions of $N$ into $n$ parts from some set like 1 to 6 (numbers on the sides of a die). He starts the paper talking about how many ways a number $N$ can be formed by throwing $n$ dice. There do not seem to be any new results or ideas here that weren't in "Observationes analyticae variae de combinationibus", E158 and "De partitione numerorum", E191. In this paper Euler just does a lot of special cases. My impression is that Euler is trying to make his theory of partitions more approachable,. Also, maybe for his own benefit he wants to say it all again in different words, to make it clear.
Sweedler's duals and Schützenberger's calculus
Published
• View Publication
• BIB
We describe the problem of Sweedler's duals for bialgebras as essentially characterizing the domain of the transpose of the multiplication. This domain is the set of what could be called ``representative linear forms'' which are the elements of the algebraic dual which are also representative on the multiplicative semigroup of the algebra. When the algebra is free, this notion is indeed equivalent to that of rational functions of automata theory. For the sake of applications, the range of coefficients has been considerably broadened, i.e. extended to semirings, so that the results could be specialized to the boolean and multiplicity cases. This requires some caution (use of ``positive formulas'', iteration replacing inversion, stable submodules replacing finite-rank families for instance). For the theory and its applications has been created a rational calculus which can, in return, be applied to harness Sweedler's duals. A new theorem of rational closure and application to Hopf algebras of use in Physics and Combinatorics is provided. The concrete use of this ``calculus'' is eventually illustrated on an example.