Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Long cycles in subgraphs of (pseudo)random directed graphs
Published
• View Publication
• BIB
We study the resilience of random and pseudorandom directed graphs with respect to the property of having long directed cycles. For every $0 < γ< 1/2$ we find a constant $c=c(γ)$ such that the following holds. Let $G=(V,E)$ be a (pseudo)random directed graph on $n$ vertices, and let $G'$ be a subgraph of $G$ with $(1/2+γ)|E|$ edges. Then $G'$ contains a directed cycle of length at least $(c-o(1))n$. Moreover, there is a subgraph $G''$ of $G$ with $(1/2+γ-o(1))|E|$ edges that does not contain a cycle of length at least $cn$.
Hamilton cycles in 5-connected line graphs
Published
• View Publication
• BIB
A conjecture of Carsten Thomassen states that every 4-connected line graph is hamiltonian. It is known that the conjecture is true for 7-connected line graphs. We improve this by showing that any 5-connected line graph of minimum degree at least 6 is hamiltonian. The result extends to claw-free graphs and to Hamilton-connectedness.
Rigidity of Frameworks Supported on Surfaces
Published
• View Publication
• BIB
A theorem of Laman gives a combinatorial characterisation of the graphs that admit a realisation as a minimally rigid generic bar-joint framework in $\bR^2$. A more general theory is developed for frameworks in $\bR^3$ whose vertices are constrained to move on a two-dimensional smooth submanifold $\M$. Furthermore, when $\M$ is a union of concentric spheres, or a union of parallel planes or a union of concentric cylinders, necessary and sufficient combinatorial conditions are obtained for the minimal rigidity of generic frameworks.
Tilings by translation
This is a survey about tiling by translation only and related questions and methods, especially those that have to do with Fourier Analysis.
Hyperbolic surface subgroups of one-ended doubles of free groups
Published in J. Topology 7(December 2014)(4), pp. 927-947, 2014
• View Publication
• BIB
Gromov asked whether every one-ended word-hyperbolic group contains a hyperbolic surface group. We prove that every one-ended double of a free group has a hyperbolic surface subgroup if (1) the free group has rank two, or (2) every generator is used the same number of times in the amalgamating words. To prove this, we formulate a stronger statement on Whitehead graphs and prove its specialization by combinatorial induction for (1) and the characterization of perfect matching polytopes by Edmonds for (2).
Nilspaces, nilmanifolds and their morphisms
Recent developments in ergodic theory, additive combinatorics, higher order Fourier analysis and number theory give a central role to a class of algebraic structures called nilmanifolds. In the present paper we continue a program started by Host and Kra. We introduce nilspaces as structures satisfying a variant of the Host-Kra axiom system for parallelepiped structures. We give a detailed structural analysis of abstract and compact topological nilspaces. Among various results it will be proved that compact nilspaces are inverse limits of finite dimensional ones. Then we show that finite dimensional compact connected nilspaces are nilmanifolds. The theory of compact nilspaces is a generalization of the theory of compact abelian groups. This paper is the main algebraic tool in the second authors approach to Gowers's uniformity norms and higher order Fourier analysis.
Explicit incidence bounds over general finite fields
Published
• View Publication
• BIB
Let $\mathbb{F}_{q}$ be a finite field of order $q=p^k$ where $p$ is prime. Let $P$ and $L$ be sets of points and lines respectively in $\mathbb{F}_{q} \times \mathbb{F}_{q}$ with $|P|=|L|=n$. We establish the incidence bound $I(P,L) \leq γn^{3/2 - 1/12838}$, where $γ$ is an absolute constant, so long as $P$ satisfies the conditions of being an `antifield'. We define this to mean that the projection of $P$ onto some coordinate axis has no more than half-dimensional interaction with large subfields of $\mathbb{F}_q$. In addition, we give examples of sets satisfying these conditions in the important cases $q=p^2$ and $q=p^4$.
The word problem and the Aharoni-Berger-Ziv conjecture on the connectivity of independence complexes
For each finite simple graph $G$, Aharoni, Berger and Ziv consider a recursively defined number $ψ(G) \in \mathbb{Z}\cup \{+ \infty \}$ which gives a lower bound for the topological connectivity of the independence complex $I_G$. They conjecture that this bound is optimal for every graph. We use a result of recursion theory to give a short disproof of this claim.
Maximal 0-1 fillings of moon polyominoes with restricted chain-lengths and rc-graphs
Published
• View Publication
• BIB
We show that maximal 0-1-fillings of moon polynomials with restricted chain lengths can be identified with certain rc-graphs, also known as pipe dreams. In particular, this exhibits a connection between maximal 0-1-fillings of Ferrers shapes and Schubert polynomials. Moreover, it entails a bijective proof showing that the number of maximal fillings of a stack polyomino S with no north-east chains longer than k depends only on k and the multiset of column heights of S. Our main contribution is a slightly stronger theorem, which in turn leads us to conjecture that the poset of rc-graphs with covering relation given by generalised chute moves is in fact a lattice.
Infinite Bar-Joint Frameworks, Crystals and Operator Theory
A theory of flexibility and rigidity is developed for general infinite bar-joint frameworks (G,p). Determinations of nondeformability through vanishing flexibility are obtained as well as sufficient conditions for deformability. Forms of infinitesimal flexibility are defined in terms of the operator theory of the associated infinite rigidity matrix R(G,p). The matricial symbol function of an abstract crystal framework is introduced, being the matrix-valued function on the $d$-torus representing R(G,p) as a Hilbert space operator. The symbol function is related to infinitesimal flexibility, deformability and isostaticity. Various generic abstract crystal frameworks which are in Maxwellian equilibrium, such as certain 4-regular planar frameworks, are proven to be square-summably infinitesimally rigid as well as smoothly deformable in infinitely many ways. The symbol function of a three-dimensional crystal framework determines the infinitesimal wave flexes in models for the low energy vibrational modes (RUMs) in material crystals. For crystal frameworks with inversion symmetry it is shown that the RUMS appear in surfaces, generalising a result of F. Wegner for tetrahedral crystals.
Computational determination of (3,11) and (4,7) cages
A (k,g)-graph is a k-regular graph of girth g, and a (k,g)-cage is a (k,g)-graph of minimum order. We show that a (3,11)-graph of order 112 found by Balaban in 1973 is minimal and unique. We also show that the order of a (4,7)-cage is 67 and find one example. Finally, we improve the lower bounds on the orders of (3,13)-cages and (3,14)-cages to 202 and 260, respectively. The methods used were a combination of heuristic hill-climbing and an innovative backtrack search.
An integration of Euler's pentagonal partition
A recurrent formula is presented, for the enumeration of the compositions of positive integers as sums over multisets of positive integers, that closely resembles Euler's recurrence based on the pentagonal numbers, but where the coefficients result from a discrete integration of Euler's coefficients. Both a bijective proof and one based on generating functions show the equivalence of the subject recurrences.
Everywhere complex sequences and probabilistic method
The main subject of the paper is everywhere complex sequences. An everywhere complex sequence is a sequence that does not contain substrings of Kolmogorov complexity less than $αn-O(1)$ where $n$ is the length of substring and $α$ is a constant between 0 and 1.
First, we prove that no randomized algorithm can produce everywhere complex sequence with positive probability.
On the other hand, for weaker notions of everywhere complex sequences the situation is different. For example, there is a probabilistic algorithm that produces (with probability~1) sequences whose substrings of length $n$ have complexity $\sqrt{n}-O(1)$.
Finally, one may replace the complexity of a substring (in the definition of everywhere complex sequence) by its conditional complexity when the position is given. This gives a stronger notion of everywhere complex sequence, and no randomized algorighm can produce (with positive probability) such a sequence even if $αn$ is replaced by $\sqrt{n}$, $\log^* n $ or any other monotone unbounded computable function.
Level Eulerian Posets
Published in Graphs Combin. 29 (2013), no. 4, 857-882
• View Publication
• BIB
The notion of level posets is introduced. This class of infinite posets has the property that between every two adjacent ranks the same bipartite graph occurs. When the adjacency matrix is indecomposable, we determine the length of the longest interval one needs to check to verify Eulerianness. Furthermore, we show that every level Eulerian poset associated to an indecomposable matrix has even order. A condition for verifying shellability is introduced and is automated using the algebra of walks. Applying the Skolem--Mahler--Lech theorem, the ${\bf ab}$-series of a level poset is shown to be a rational generating function in the non-commutative variables ${\bf a}$ and ${\bf b}$. In the case the poset is also Eulerian, the analogous result holds for the ${\bf cd}$-series. Using coalgebraic techniques a method is developed to recognize the ${\bf cd}$-series matrix of a level Eulerian poset.
Parity balance of the $i$-th dimension edges in Hamiltonian cycles of the hypercube
Let $n\geq 2$ be an integer, and let $i\in\{0,...,n-1\}$. An $i$-th dimension edge in the $n$-dimensional hypercube $Q_n$ is an edge ${v_1}{v_2}$ such that $v_1,v_2$ differ just at their $i$-th entries. The parity of an $i$-th dimension edge $\edg{v_1}{v_2}$ is the number of 1's modulus 2 of any of its vertex ignoring the $i$-th entry. We prove that the number of $i$-th dimension edges appearing in a given Hamiltonian cycle of $Q_n$ with parity zero coincides with the number of edges with parity one. As an application of this result it is introduced and explored the conjecture of the inscribed squares in Hamiltonian cycles of the hypercube: Any Hamiltonian cycle in $Q_n$ contains two opposite edges in a 4-cycle. We prove this conjecture for $n \le 7$, and for any Hamiltonian cycle containing more than $2^{n-2}$ edges in the same dimension. This bound is finally improved considering the equi-independence number of $Q_{n-1}$, which is a concept introduced in this paper for bipartite graphs.
Notes On U(1) Instanton Counting On $A_{l-1}$ ALE Spaces
In this note, we investigate the detailed relationship between the orbifold partition counting and the (l-quotient, l-core) pair counting. We show that the orbifold partition counting is exactly the same as the (l-quotient, l-core) pair counting.
Characterizations of transversal and fundamental transversal matroids
Published in The Electronic Journal of Combinatorics, 2011
• View Publication
• BIB
A result of Mason, as refined by Ingleton, characterizes transversal matroids as the matroids that satisfy a set of inequalities that relate the ranks of intersections and unions of nonempty sets of cyclic flats. We prove counterparts, for fundamental transversal matroids, of this and other characterizations of transversal matroids. In particular, we show that fundamental transversal matroids are precisely the matroids that yield equality in Mason's inequalities and we deduce a characterization of fundamental transversal matroids due to Brylawski from this simpler characterization.
Sklyanin Determinant for Reflection Algebra
Published in SIGMA 6 (2010), 100, 9 pages
• View Publication
• BIB
Reflection algebras is a class of algebras associated with integrable models with boundaries. The coefficients of Sklyanin determinant generate the center of the reflection algebra. We give a combinatorial description of Sklyanin determinant suitable for explicit computations.
Generalized Compositions and Weighted Fibonacci Numbers
In this paper we consider particular generalized compositions of a natural number with a given number of parts. Its number is a weighted polynomial coefficient. The number of all generalized compositions of a natural number is a weighted $r$-generalized Fibonacci number. A relationship between these two numbers will be derived.
We shall thus obtain a generalization of the well-known formula connecting Fibonacci numbers with the binomial coefficients.
Theory and applications of lattice point methods for binomial ideals
Published
• View Publication
• BIB
This survey of methods surrounding lattice point methods for binomial ideals begins with a leisurely treatment of the geometric combinatorics of binomial primary decomposition. It then proceeds to three independent applications whose motivations come from outside of commutative algebra: hypergeometric systems, combinatorial game theory, and chemical dynamics. The exposition is aimed at students and researchers in algebra; it includes many examples, open problems, and elementary introductions to the motivations and background from outside of algebra.