Showing 20 papers (Total: 81756 papers, 47371 authors in database)
Series Evaluation of a Quartic Integral
Published
• View Publication
• BIB
We present a new single sum series evaluation of Moll's quartic integral and present two new generalizations
Universal structures with forbidden homomorphisms
Published
• View Publication
• BIB
We relate the existence problem of universal objects to the properties of corresponding enriched categories (lifts or expansions). In particular, extending earlier results, we prove that for every (possibly infinite) regular set F of finite connected structures there exists a (countable) ω-categorical universal structure U for the class Forb(F) (of all countable structures not containing any homomorphic image of a member of F). We employ a technique known as homogenization: The universal object U is the shadow (reduct) of an ultrahomogeneous structure U'.
We also put the results of this paper in the context of homomorphism dualities and constraint satisfaction problems. This leads to an alternative proof of the characterization of finite dualities (given by Tardif and Nešetřil) as well as of the characterization of infinite-finite dualities for classes of relational trees given by P. L. Erdős, Pálvölgyi, Tardif and Tardos.
The notion of regular families of structures is motivated by the recent characterization of infinite-finite dualities for classes of relational forests (itself related to regular languages). We show how the notion of a regular family of relational trees can be extended to regular families of relational structures. This gives a partial characterization of the existence of a (countable) ω-categorical universal object for classes Forb(F).
Embedding into bipartite graphs
Published in SIAM J. Discrete Math. 24(4) (2010), 1215--1233
• View Publication
• BIB
The conjecture of Bollobás and Komlós, recently proved by Böttcher, Schacht, and Taraz [Math. Ann. 343(1), 175--205, 2009], implies that for any $γ>0$, every balanced bipartite graph on $2n$ vertices with bounded degree and sublinear bandwidth appears as a subgraph of any $2n$-vertex graph $G$ with minimum degree $(1+γ)n$, provided that $n$ is sufficiently large. We show that this threshold can be cut in half to an essentially best-possible minimum degree of $(\frac12+γ)n$ when we have the additional structural information of the host graph $G$ being balanced bipartite. This complements results of Zhao [to appear in SIAM J. Discrete Math.], as well as Hladký and Schacht [to appear in SIAM J. Discrete Math.], who determined a corresponding minimum degree threshold for $K_{r,s}$-factors, with $r$ and $s$ fixed. Moreover, it implies that the set of Hamilton cycles of $G$ is a generating system for its cycle space.
The Erdős bipartification conjecture is true in the special case of Andrásfai graphs
Let the Andrásfai graph $\mathrm{And}_k$ be defined as the graph with vertex set $\{v_0,v_1,...c, v_{3k-2}\}$ and two vertices $v_i$ and $v_j$ being adjacent iff $|i-j| \equiv 1\mod 3$. The graphs $\mathrm{And}_k$ are maximal triangle-free and play a role in characterizing triangle-free graphs with large minimum degree as homomorphic preimages. A minimal bipartification of a graph $G$ is defined as a set of edges $F\subset E(G)$ having the property that the graph $(V(G), E(G)\backslash F)$ is bipartite and for every $e \in F$ the graph $(V(G), E(G)\backslash (F\backslash e))$ is not bipartite. In this note it is shown that there is a minimal bipartification $F_k$ of $\mathrm{And}_k$ which consists of exactly $\lfloor\frac{k^2}{4}\rfloor$ edges. This equals $\lfloor{1/36}\bigl(|\mathrm{And}_k|+1\bigr)^2\rfloor$, where $|\cdot|$ denotes the number of vertices of a graph. For all $k$ this is consistent with a conjecture of Paul Erdős that every triangle-free graph $G$ can be made bipartite by deleting at most ${1/25} |G|^2$ edges. Bipartifications like $F_k$ may be useful for proving that arbitrary homomorphic preimages of an Andrásfai graph can be made bipartite by deleting at most ${1/25} |G|^2$ edges.
Generalized Foster's identities
Published
• View Publication
• BIB
Foster's network theorems and their extensions to higher orders involve resistance values and conductances. We establish identities concerning voltage values and conductances. Our identities are analogous to the extended Foster's identities.
Partitions and Indivisibility Properties of Countable Dimensional Vector Spaces
Published
• View Publication
• BIB
We investigate infinite versions of vector and affine space partition results, and thus obtain examples and a counterexample for a partition problem for relational structures. In particular we provide two (related) examples of an age indivisible relational structure which is not weakly indivisible.
The Maximum Wiener Index of Trees with Given Degree Sequences
The Wiener index of a connected graph is the sum of topological distances between all pairs of vertices. Since Wang gave a mistake result on the maximum Wiener index for given tree degree sequence, in this paper, we investigate the maximum Wiener index of trees with given degree sequences and extremal trees which attain the maximum value.
Refined open non-commutative Donaldson-Thomas invariants for small crepant resolutions
Published
• View Publication
• BIB
The aim of this paper is to study an analog of non-commutative Donaldson-Thomas theory corresponding to the refined topological vertex for small crepant resolutions of toric Calabi-Yau 3-folds. We define the invariants using dimer models and provide "wall-crossing" formulas. In particular, we get normalized generating functions which are unchanged under "wall-crossing".
Dense H-free graphs are almost (χ(H)-1)-partite
Published
• View Publication
• BIB
By using the Szemerédi Regularity Lemma, Alon and Sudakov recently extended the classical Andrásfai-Erdõs-Sós theorem to cover general graphs. We prove, without using the Regularity Lemma, that the following stronger statement is true. Given any (r-1)-partite graph H whose smallest part has t vertices, and any fixed c>0, there exists a constant C such that whenever G is an n-vertex graph with minimum degree at least ((3r-4)/(3r-1)+c)n, either G contains H, or we can delete at most Cn^(2-1/t) edges from G to yield an r-partite graph.
A Fibonacci sequence for linear structures with two types of components
We investigate binary voting systems with two types of voters and a hierarchy among the members in each type, so that members in one class have more influence or importance than members in the other class. The purpose of this paper is to count, up to isomorphism, the number of these voting systems for an arbitrary number of voters. We obtain a closed formula for the number of these systems, this formula follows a Fibonacci sequence with a smooth polynomial variation on the number of voters.
A Gray path on binary partitions
A binary partition of a positive integer $n$ is a partition of $n$ in which each part has size a power of two. In this note we first construct a Gray sequence on the set of binary partitions of $n$. This is an ordering of the set of binary partitions of each $n$ (or of all $n$) such that adjacent partitions differ by one of a small set of elementary transformations; here the allowed transformatios are replacing $2^k+2^k$ by $2^{k+1}$ or vice versa (or addition of a new +1). Next we give a purely local condition for finding the successor of any partition in this sequence; the rule is so simple that successive transitions can be performed in constant time. Finally we show how to compute directly the bijection between $k$ and the $k$th term in the sequence.
This answers a question posed by Donald Knuth in section 7.2.1 of The Art of Computer Programming.
Macdonald polynomials and symmetric functions
The ring of symmetric functions $Λ$, with natural basis given by the Schur functions, arise in many different areas of mathematics. For example, as the cohomology ring of the grassmanian, and as the representation ring of the symmetric group. One may define a coproduct on $Λ$ by the plethystic addition on alphabets. In this way the ring of symmetric functions becomes a Hopf algebra. The Littlewood--Richardson numbers may be viewed as the structure constants for the co-product in the Schur basis. In the first part of this thesis we show that by using a generalization of the classical umbral calculus of Gian-Carlo Rota, one may deform the basis of Schur functions to find many other bases for which the Littlewood--Richardson numbers as coproduct structure constants. The Macdonald polynomials are a somewhat mysterious qt-deformation of the Schur functions. The second part of this thesis contains a proof a generating function identity for the Macdonald polynomials which was originally conjectured by Kawanaka.
Distribution modulo 1 and the lexicographic world
Published in Annales des Sciences Mathématiques du Québec, 33 (2009), 125-143
• Search Publication
We give a complete description of the minimal intervals containing all fractional parts $\{ξ2^n\}$, for some positive real number $ξ$, and for all $n \geq 0$.
A combinatorial approach to Alexander-Hirschowitz Theorem based on toric degenerations
Published
• View Publication
• BIB
We present an alternative proof of the Alexander-Hirschowitz Theorem in dimension 3 using degenerations of toric varieties.
On hitting all maximum cliques with an independent set
Published
• View Publication
• BIB
We prove that every graph $G$ for which $ω(G) \geq 3/4(Δ(G) + 1)$, has an independent set $I$ such that $ω(G - I) < ω(G)$. It follows that a minimum counterexample $G$ to Reed's conjecture satisfies $ω(G) < 3/4(Δ(G) + 1)$ and hence also $χ(G) > \lceil 7/6ω(G) \rceil$. We also prove that if for every induced subgraph $H$ of $G$ we have $χ(H) \leq \max{\lceil 7/6ω(H) \rceil, \lceil \frac{ω(H) + Δ(H) + 1}{2}\rceil}$, then we also have $χ(G) \leq \lceil \frac{ω(G) + Δ(G) + 1}{2}\rceil$. This gives a generic proof of the upper bound for line graphs of multigraphs proved by King et al.
$q$-exchangeability via quasi-invariance
Published in Annals of Probability 2010, Vol. 38, No. 6, 2103-2135
• View Publication
• BIB
For positive $q\neq1$, the $q$-exchangeability of an infinite random word is introduced as quasi-invariance under permutations of letters, with a special cocycle which accounts for inversions in the word. This framework allows us to extend the $q$-analog of de Finetti's theorem for binary sequences---see Gnedin and Olshanski [Electron. J. Combin. 16 (2009) R78]---to general real-valued sequences. In contrast to the classical case of exchangeability ($q=1$), the order on $\mathbb{R}$ plays a significant role for the $q$-analogs. An explicit construction of ergodic $q$-exchangeable measures involves random shuffling of $\mathbb{N}=\{1,2,...\}$ by iteration of the geometric choice. Connections are established with transient Markov chains on $q$-Pascal pyramids and invariant random flags over the Galois fields.
Arbitrary Orientations Of Hamilton Cycles In Oriented Graphs
Published
• View Publication
• BIB
We use a randomised embedding method to prove that for all α>0 any sufficiently large oriented graph G with minimum in-degree and out-degree δ^+(G),δ^-(G)\geq (3/8+α)|G| contains every possible orientation of a Hamilton cycle. This confirms a conjecture of Häggkvist and Thomason.
Online coloring graphs with high girth and high oddgirth
Published
• View Publication
• BIB
We give an upper bound for the online chromatic number of graphs with high girth and for graphs with high oddgirth generalizing Kier- stead's algorithm for graphs that contain neither a C3 or C5 as an induced subgraph.
An addition theorem and maximal zero-sum free sets in Z/pZ
Using the polynomial method in additive number theory, this article establishes a new addition theorem for the set of subsums of a set satisfying $A\cap(-A)=\emptyset$ in $\mathbb{Z}/p\mathbb{Z}$: \[|Σ(A)|\geqslant\min{p,1+\frac{|A|(|A|+1)}{2}}.\]
The proof is similar in nature to Alon, Nathanson and Ruzsa's proof of the Erdös-Heilbronn conjecture (proved initially by Dias da Silva and Hamidoune \cite{DH}). A key point in the proof of this theorem is the evaluation of some binomial determinants that have been studied in the work of Gessel and Viennot. A generalization to the set of subsums of a sequence is derived, leading to a structural result on zero-sum free sequences. As another application, it is established that for any prime number $p$, a maximal zero-sum free set in $\mathbb{Z}/p\mathbb{Z}$ has cardinality the greatest integer $k$ such that \[\frac{k(k+1)}{2}<p,\] proving a conjecture of Selfridge from 1976.
An improved upper bound on the length of the longest cycle of a supercritical random graph
Published
• View Publication
• BIB
We improve Luczak's upper bounds on the length of the longest cycle in the random graph G(n,M) in the "supercritical phase" where M=n/2+s and s=o(n) but n^{2/3}=o(s). The new upper bound is (6.958+o(1))s^2/n with probability 1-o(1) as n approaches infinity. Letting c=1+2s/n, the equivalence between G(n,p) and G(n,M) implies the same result for G(n,p) where p=c/n, c approaching 1, c-1 = omega(n^{-1/3}).