Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Fast Mojette Transform for Discrete Tomography
A new algorithm for reconstructing a two dimensional object from a set of one dimensional projected views is presented that is both computationally exact and experimentally practical. The algorithm has a computational complexity of O(n log2 n) with n = N^2 for an NxN image, is robust in the presence of noise and produces no artefacts in the reconstruction process, as is the case with conventional tomographic methods. The reconstruction process is approximation free because the object is assumed to be discrete and utilizes fully discrete Radon transforms. Noise in the projection data can be suppressed further by introducing redundancy in the reconstruction. The number of projections required for exact reconstruction and the response to noise can be controlled without comprising the digital nature of the algorithm. The digital projections are those of the Mojette Transform, a form of discrete linogram. A simple analytical mapping is developed that compacts these projections exactly into symmetric periodic slices within the Discrete Fourier Transform. A new digital angle set is constructed that allows the periodic slices to completely fill all of the objects Discrete Fourier space. Techniques are proposed to acquire these digital projections experimentally to enable fast and robust two dimensional reconstructions.
Bivariate Poincare series for the algebra of covariants of a binary form
Published
• View Publication
• BIB
A formula for computation of the bivariate Poincaré series $\mathcal{P}_d(z,t)$ for the algebra of covariants of binary $d$-form is found.
Crystallographic arrangements: Weyl groupoids and simplicial arrangements
Published
• View Publication
• BIB
We introduce the simple notion of a "crystallographic arrangement" and prove a one-to-one correspondence between these arrangements and the connected simply connected Cartan schemes for which the real roots are a finite root system (up to equivalence on both sides). We thus obtain a more accessible definition for this very large subclass of the class of simplicial arrangements for which a complete classification is known.
The structure of the Boij-Söderberg posets
Published in Proceedings of the American Mathematical Society 139 (2011), no. 6, 2009-2015
• View Publication
• BIB
Boij and Söderberg made a pair of conjectures, which were subsequently proven by Eisenbud and Schreyer and then extended by Boij and Söderberg, about the structure of Betti diagrams of Graded modules. In the theory, a particular family of posets, and their associated order complexes, play an integral role. We explore the structure of this family. In particular, we show the posets are bounded complete lattices and the order complexes are vertex-decomposable, hence Cohen-Macaulay and squarefree glicci.
Gallai colorings and domination in multipartite digraphs
Assume that D is a digraph without cyclic triangles and its vertices are partitioned into classes A_1,...,A_t of independent vertices. A set $U=\cup_{i\in S} A_i$ is called a dominating set of size |S| if for any vertex $v\in \cup_{i\notin S} A_i$ there is a w in U such that (w,v) is in E(D). Let beta(D) be the cardinality of the largest independent set of D whose vertices are from different partite classes of D. Our main result says that there exists a h=h(beta(D)) such that D has a dominating set of size at most h. This result is applied to settle a problem related to generalized Gallai colorings, edge colorings of graphs without 3-colored triangles.
Wall Crossing, Quivers and Crystals
Published
• View Publication
• BIB
We study the spectrum of BPS D-branes on a Calabi-Yau manifold using the 0+1 dimensional quiver gauge theory that describes the dynamics of the branes at low energies. The results of Kontsevich and Soibelman predict how the degeneracies change. We argue that Seiberg dualities of the quiver gauge theories, which change the basis of BPS states, correspond to crossing the "walls of the second kind." There is a large class of examples, including local del Pezzo surfaces, where the BPS degeneracies of quivers corresponding to one D6 brane bound to arbitrary numbers of D4, D2 and D0 branes are counted by melting crystal configurations. We show that the melting crystals that arise are a discretization of the Calabi-Yau geometry. The shape of the crystal is determined by the Calabi-Yau geometry and the background B-field, and its microscopic structure by the quiver Q. We prove that the BPS degeneracies computed from Q and Q' are related by the Kontsevich Soibelman formula, using a geometric realization of the Seiberg duality in the crystal. We also show that, in the limit of infinite B-field, the combinatorics of crystals arising from the quivers becomes that of the topological vertex. We thus re-derive the Gromov-Witten/Donaldson-Thomas correspondence.
Linear pencils on graphs and on real curves
Published
• View Publication
• BIB
A degeneration of curves gives rise to an interesting relation between linear systems on curves and on graphs. In this paper, we consider the case of linear pencils and as an application, we obtain some results on pencils on real curves.
LVMB manifolds and simplicial spheres
Published
• View Publication
• BIB
LVM and LVMB manifolds are a large family of examples of non kahler manifolds. For instance, Hopf manifolds and Calabi-Eckmann manifolds can be seen as LVMB manifolds. The LVM manifolds have a very natural action of the real torus and the quotient of this action is a simple polytope. This quotient allows us to relate closely LVM manifolds to the moment-angle manifolds studied (for example) by Buchstaber and Panov. The aim of this paper is to generalize the polytopes associated to LVM manifolds to the LVMB case and study its properties. In particular, we show that it belongs to a very large class of simplicial spheres. Moreover, we show that for every sphere belonging to this class, we can construct a LMVB manifold whose associated sphere is the given sphere. We use this latter result to show that many moment-angle complexes can be endowed with a complex structure (up to product with circles).
LVMB manifolds and simplicial spheres
Published
• View Publication
• BIB
LVM and LVMB manifolds are a large family of examples of non kähler manifolds. For instance, Hopf manifolds and Calabi-Eckmann manifolds can be seen as LVMB manifolds. The LVM manifolds have a very natural action of the real torus and the quotient of this action is a simple polytope. This quotient allows us to relate closely LVM manifolds to the moment-angle manifolds studied (for example) by Buchstaber and Panov. The aim of this paper is to generalize the polytopes associated to LVM manifolds to the LVMB case and study its properties. In particular, we show that it belongs to a very large class of simplicial spheres. Moreover, we show that for every sphere belonging to this class, we can construct a LMVB manifold whose associated sphere is the given sphere. We use this latter result to show that many moment-angle complexes can be endowed with a complex structure (up to product with circles).
On the nonexistence of k-reptile tetrahedra
A d-dimensional simplex S is called a k-reptile if it can be tiled without overlaps by simplices S_1,S_2,...,S_k that are all congruent and similar to S. For d=2, k-reptile simplices (triangles) exist for many values of k and they have been completely characterized by Snover, Waiveris, and Williams. On the other hand, for d > 2, only one construction of k-reptile simplices is known, the Hill simplices, and it provides only k of the form m^d, m=2,3,.... We prove that for d=3, k-reptile simplices (tetrahedra) exist only for k=m^3. This partially confirms a conjecture of Hertel, asserting that the only k-reptile tetrahedra are the Hill tetrahedra. Our research has been motivated by the problem of probabilistic packet marking in theoretical computer science, introduced by Adler in 2002.
Knot theory and matrix integrals
Published
• View Publication
• BIB
The large size limit of matrix integrals with quartic potential may be used to count alternating links and tangles. The removal of redundancies amounts to renormalizations of the potential. This extends into two directions: higher genus and the counting of "virtual" links and tangles; and the counting of "coloured" alternating links and tangles. We discuss the asymptotic behavior of the number of tangles as the number of crossings goes to infinity.
The weighted hook-length formula II: Complementary formulas
Published
• View Publication
• BIB
Recently, a new weighted generalization of the branching rule for the hook lengths, equivalent to the hook formula, was proved. In this paper, we generalize the complementary branching rule, which can be used to prove Burnside's formula. We present three different proofs: bijective, via weighted hook walks, and via the ordinary weighted branching rule.
Dominating Sets in Triangulations on Surfaces
Published
• View Publication
• BIB
A dominating set D of a graph G is a set such that each vertex v of G is either in the set or adjacent to a vertex in the set. Matheson and Tarjan (1996) proved that any n-vertex plane triangulation has a dominating set of size at most n/3, and conjectured a bound of n/4 for n sufficiently large. King and Pelsmajer recently proved this for graphs with maximum degree at most 6. Plummer and Zha (2009) and Honjo, Kawarabayashi, and Nakamoto (2009) extended the n/3 bound to triangulations on surfaces.
We prove two related results: (i) There is a constant c such that any n-vertex plane triangulation with maximum degree at most 6 has a dominating set of size at most n/6 + c. (ii) For any surface S, nonnegative t, and epsilon > 0, there exists C such that for any n-vertex triangulation on S with at most t vertices of degree other than 6, there is a dominating set of size at most n(1/6 + epsilon) + C.
As part of the proof, we also show that any n-vertex triangulation of a non-orientable surface has a non-contractible cycle of length at most 2sqrt(n). Albertson and Hutchinson (1986) proved that for n-vertex triangulation of an orientable surface other than a sphere has a non-contractible cycle of length sqrt(2n), but no similar result was known for non-orientable surfaces.
Kazhdan-Lusztig polynomials and drift configurations
Published in Algebra & Number Theory J., Vol. 5 (2011), No. 5, 595-626
• View Publication
• BIB
The coefficients of the Kazhdan-Lusztig polynomials $P_{v,w}(q)$ are nonnegative integers that are upper semicontinuous on Bruhat order. Conjecturally, the same properties hold for $h$-polynomials $H_{v,w}(q)$ of local rings of Schubert varieties. This suggests a parallel between the two families of polynomials. We prove our conjectures for Grassmannians, and more generally, covexillary Schubert varieties in complete flag varieties, by deriving a combinatorial formula for $H_{v,w}(q)$. We introduce \emph{drift configurations} to formulate a new and compatible combinatorial rule for $P_{v,w}(q)$. From our rules we deduce, for these cases, the coefficient-wise inequality $P_{v,w}(q)\preceq H_{v,w}(q)$.
Loose Hamilton Cycles in Random Uniform Hypergraphs
Published
• View Publication
• BIB
In the random hypergraph $H_{n,p;k}$ each possible $k$-tuple appears independently with probability $p$. A loose Hamilton cycle is a cycle in which every pair of adjacent edges intersects in a single vertex. We prove that if $p n^{k-1}/\log n$ tends to infinity with $n$ then $$\lim_{\substack{n\to \infty 2(k-1) |n}}\Pr(H_{n,p;k}\ contains\ a\ loose\ Hamilton\ cycle)=1.$$ This is asymptotically best possible.
Stability, fragility, and Rota's Conjecture
Published
• View Publication
• BIB
Fix a matroid N. A matroid M is N-fragile if, for each element e of M, at least one of M\e and M/e has no N-minor. The Bounded Canopy Conjecture is that all GF(q)-representable matroids M that have an N-minor and are N-fragile have branch width bounded by a constant depending only on q and N.
A matroid N stabilizes a class of matroids over a field F if, for every matroid M in the class with an N-minor, every F-representation of N extends to at most one F-representation of M.
We prove that, if Rota's conjecture is false for GF(q), then either the Bounded Canopy Conjecture is false for GF(q) or there is an infinite chain of GF(q)-representable matroids, each not stabilized by the previous, each of which can be extended to an excluded minor.
Our result implies the previously known result that Rota's conjecture holds for GF(4), and that the classes of near-regular and sixth-roots-of-unity have a finite number of excluded minors. However, the bound that we obtain on the size of such excluded minors is considerably larger than that obtained in previous proofs. For GF(5) we show that Rota's Conjecture reduces to the Bounded Canopy Conjecture.
Borel generators
Published
• View Publication
• BIB
We use the notion of Borel generators to give alternative methods for computing standard invariants, such as associated primes, Hilbert series, and Betti numbers, of Borel ideals. Because there are generally few Borel generators relative to ordinary generators, this enables one to do manual computations much more easily. Moreover, this perspective allows us to find new connections to combinatorics involving Catalan numbers and their generalizations. We conclude with a surprising result relating the Betti numbers of certain principal Borel ideals to the number of pointed pseudo-triangulations of particular planar point sets.
Deterministic Random Walks on Regular Trees
Published
• View Publication
• BIB
Jim Propp's rotor router model is a deterministic analogue of a random walk on a graph. Instead of distributing chips randomly, each vertex serves its neighbors in a fixed order.
Cooper and Spencer (Comb. Probab. Comput. (2006)) show a remarkable similarity of both models. If an (almost) arbitrary population of chips is placed on the vertices of a grid $\Z^d$ and does a simultaneous walk in the Propp model, then at all times and on each vertex, the number of chips on this vertex deviates from the expected number the random walk would have gotten there by at most a constant. This constant is independent of the starting configuration and the order in which each vertex serves its neighbors.
This result raises the question if all graphs do have this property. With quite some effort, we are now able to answer this question negatively. For the graph being an infinite $k$-ary tree ($k \ge 3$), we show that for any deviation $D$ there is an initial configuration of chips such that after running the Propp model for a certain time there is a vertex with at least $D$ more chips than expected in the random walk model. However, to achieve a deviation of $D$ it is necessary that at least $\exp(Ω(D^2))$ vertices contribute by being occupied by a number of chips not divisible by $k$ at a certain time.
A Note on the Isotopism of Commutative Semifields
We present an example of two isotopic but not strongly isotopic commutative semifields. This example shows that a recent result of Coulter and Henderson on semifield of order p^n, n odd, can not be generalized to the case n even.
A construction for the hat problem on a directed graph
Published in Electronic J. Combinatorics 19 (2012) P30
• View Publication
• BIB
A team of players plays the following game. After a strategy session, each player is randomly fitted with a blue or red hat. Then, without further communication, everybody can try to guess simultaneously his or her own hat color by looking at the hat colors of other players. Visibility is defined by a directed graph; that is, vertices correspond to players, and a player can see each player to whom she or he is connected by an arc. The team wins if at least one player guesses his hat color correctly, and no one guesses his hat color wrong; otherwise the team loses. The team aims to maximize the probability of a win, and this maximum is called the hat number of the graph.
Previous works focused on the problem on complete graphs and on undirected graphs. Some cases were solved, e.g., complete graphs of certain orders, trees, cycles, bipartite graphs. These led Uriel Feige to conjecture that the hat number of any graph is equal to the hat number of its maximum clique.
We show that the conjecture does not hold for directed graphs.Moreover, for every value of the maximum clique size, we provide a tight characterization of the range of possible values of the hat number. We construct families of directed graphs with a fixed clique number the hat number of which is asymptotically optimal. We also determine the hat number of tournaments to be one half.