Showing 20 papers (Total: 83133 papers, 48023 authors in database)
An Algebraic Framework for Discrete Tomography: Revealing the Structure of Dependencies
Published
• View Publication
• BIB
Discrete tomography is concerned with the reconstruction of images that are defined on a discrete set of lattice points from their projections in several directions. The range of values that can be assigned to each lattice point is typically a small discrete set. In this paper we present a framework for studying these problems from an algebraic perspective, based on Ring Theory and Commutative Algebra. A principal advantage of this abstract setting is that a vast body of existing theory becomes accessible for solving Discrete Tomography problems. We provide proofs of several new results on the structure of dependencies between projections, including a discrete analogon of the well-known Helgason-Ludwig consistency conditions from continuous tomography.
Correlations for paths in random orientations of G(n,p) and G(n,m)
Published
• View Publication
• BIB
We study random graphs, both $G(n,p)$ and $G(n,m)$, with random orientations on the edges. For three fixed distinct vertices s,a,b we study the correlation, in the combined probability space, of the events a -> s and s -> b.
For G(n,p), we prove that there is a p_c=1/2 such that for a fixed p<p_c the correlation is negative for large enough n and for p>p_c the correlation is positive for large enough n. We conjecture that for a fixed n\ge 27 the correlation changes sign three times for three critical values of p.
For G(n,m) it is similarly proved that, with $p=m/\binom{n}{2}$, there is a critical p_c that is the solution to a certain equation and approximately equal to 0.7993. A lemma, which computes the probability of non existence of any k directed edges in G(n,m), is thought to be of independent interest.
We present exact recursions to compute P(a -> s)$ and P(a -> s, s -> b)$. We also briefly discuss the corresponding question in the quenched version of the problem.
An elementary (number theory) proof of Touchard's congruence
Let B_n denote the nth Bell number. We use well-known recursive expressions for B_n to give a generalizing recursion that can be used to prove Touchard's congruence.
Positivity for cluster algebras from surfaces
Published
• View Publication
• BIB
We give combinatorial formulas for the Laurent expansion of any cluster variable in any cluster algebra coming from a triangulated surface (with or without punctures), with respect to an arbitrary seed. Moreover, we work in the generality of principal coefficients. An immediate corollary of our formulas is a proof of the positivity conjecture of Fomin and Zelevinsky for cluster algebras from surfaces, in geometric type.
Higher dimensional Moore bounds
Published
• View Publication
• BIB
We prove upper bounds on the face numbers of simplicial complexes in terms on their girths, in analogy with the Moore bound from graph theory. Our definition of girth generalizes the usual definition for graphs.
Optimizing topological cascade resilience based on the structure of terrorist networks
Published in PLoS ONE 5(11): e13448 (2010)
• View Publication
• BIB
Complex socioeconomic networks such as information, finance and even terrorist networks need resilience to cascades - to prevent the failure of a single node from causing a far-reaching domino effect. We show that terrorist and guerrilla networks are uniquely cascade-resilient while maintaining high efficiency, but they become more vulnerable beyond a certain threshold. We also introduce an optimization method for constructing networks with high passive cascade resilience. The optimal networks are found to be based on cells, where each cell has a star topology. Counterintuitively, we find that there are conditions where networks should not be modified to stop cascades because doing so would come at a disproportionate loss of efficiency. Implementation of these findings can lead to more cascade-resilient networks in many diverse areas.
On embedded trees and lattice paths
Published
• View Publication
• BIB
Bouttier, Di Francesco and Guitter introduced a method for solving certain classes of algebraic recurrence relations arising the context of embedded trees and map enumeration. The aim of this note is to apply this method to three problems. First, we discuss a general family of embedded binary trees, trying to unify and summarize several enumeration results for binary tree families, and also to add new results. Second, we discuss the family of embedded $d$-ary trees, embedded in the plane in a natural way. Third, we show that several enumeration problems concerning simple families of lattice paths can be solved without using the kernel method by regarding simple families of lattice paths as degenerated families of embedded trees.
Counting the number of elements in the mutation classes of \tilde{A}_n-quivers
Published in Electron. J. Combin. 18 (2011), no. 1, P98
• View Publication
• BIB
In this article we prove explicit formulae for the number of non-isomorphic cluster-tilted algebras of type \tilde{A}_n in the derived equivalence classes. In particular, we obtain the number of elements in the mutation classes of quivers of type \tilde{A}_n. As a by-product, this provides an alternative proof for the number of quivers of Dynkin type D_n which was first determined by Buan and Torkildsen.
On the Order Dimension of Outerplanar Maps
Published
• View Publication
• BIB
Schnyder characterized planar graphs in terms of order dimension. Brightwell and Trotter proved that the dimension of the vertex-edge-face poset $\Pvef{M}$ of a planar map $M$ is at most four. In this paper we investigate cases where $\dim(\Pvef{M}) \leq 3$ and also where $\dim(\Qvf{M}) \leq 3$; here $\Qvf{M}$ denotes the vertex-face poset of $M$. We show: - If $M$ contains a $K_4$-subdivision, then $\dim(\Pvef{M}) = \dim(\Qvf{M}) = 4$. - If $M$ or the dual $M^*$ contains a $K_{2,3}$-subdivision, then $\dim(\Pvef{M}) = 4$. Hence, a map $M$ with $\dim(\Pvef{M}) \leq 3$ must be outerplanar and have an outerplanar dual. We concentrate on the simplest class of such maps and prove that within this class $\dim(\Pvef{M}) \leq 3$ is equivalent to the existence of a certain oriented coloring of edges. This condition is easily checked and can be turned into a linear time algorithm returning a 3-realizer. Additionally, we prove that if $M$ is 2-connected and $M$ and $M^*$ are outerplanar, then $\dim(\Qvf{M}) \leq 3$. There are, however, outerplanar maps with $\dim(\Qvf{M}) = 4$. We construct the first such example.
Chordal Bipartite Graphs with High Boxicity
Published
• View Publication
• BIB
The boxicity of a graph G is defined as the minimum integer k such that G is an intersection graph of axis-parallel k-dimensional boxes. Chordal bipartite graphs are bipartite graphs that do not contain an induced cycle of length greater than 4. It was conjectured by Otachi, Okamoto and Yamazaki that chordal bipartite graphs have boxicity at most 2. We disprove this conjecture by exhibiting an infinite family of chordal bipartite graphs that have unbounded boxicity.
The joints problem in R^n
We show that given a collection of A lines in \R^n, n\geq 2, the maximum number of their joints (points incident to at least n lines whose directions form a linearly independent set) is O(A^{n/(n-1)}). An analogous result for smooth algebraic curves is also proven.
A note on a question due to A. Garsia
Published
• View Publication
• BIB
Adriano Garsia has provided an explicit formula to enumerate a certain class of permutations in the symmetric group S_n. In this short note, we prove a stronger version of the assertion under a specific conjecture.
Total positivity in loop groups II: Chevalley generators
Published
• View Publication
• BIB
This is the second in a series of papers developing a theory of total positivity for loop groups. In this paper, we study infinite products of Chevalley generators. We show that the combinatorics of infinite reduced words underlies the theory, and develop the formalism of infinite sequences of braid moves, called a braid limit. We relate this to a partial order, called the limit weak order, on infinite reduced words.
The limit semigroup generated by Chevalley generators has a transfinite structure. We prove a form of unique factorization for its elements, in effect reducing their study to infinite products which have the order structure of the natural numbers. For the latter infinite products, we show that one always has a factorization which matches an infinite Coxeter element.
One of the technical tools we employ is a totally positive exchange lemma which appears to be of independent interest. This result states that the exchange lemma (in the context of Coxeter groups) is compatible with total positivity in the form of certain inequalities.
New upper bound for the cardinalities of $s$-distance sets on the unit sphere
We have the Fisher type inequality and the linear programming bound as upper bounds for the cardinalities of $s$-distance sets on $S^{d-1}$. In this paper, we give a new upper bound for the cardinalities of $s$-distance sets on $S^{d-1}$ for any $s$. This upper bound improves the Fisher typer inequality and is useful for $s$-distance sets which are not applicable to the linear programming bound.
On a generalization of distance sets
Published
• View Publication
• BIB
A subset $X$ in the $d$-dimensional Euclidean space is called a $k$-distance set if there are exactly $k$ distinct distances between two distinct points in $X$ and a subset $X$ is called a locally $k$-distance set if for any point $x$ in $X$, there are at most $k$ distinct distances between $x$ and other points in $X$.
Delsarte, Goethals, and Seidel gave the Fisher type upper bound for the cardinalities of $k$-distance sets on a sphere in 1977. In the same way, we are able to give the same bound for locally $k$-distance sets on a sphere. In the first part of this paper, we prove that if $X$ is a locally $k$-distance set attaining the Fisher type upper bound, then determining a weight function $w$, $(X,w)$ is a tight weighted spherical $2k$-design. This result implies that locally $k$-distance sets attaining the Fisher type upper bound are $k$-distance sets. In the second part, we give a new absolute bound for the cardinalities of $k$-distance sets on a sphere. This upper bound is useful for $k$-distance sets for which the linear programming bound is not applicable. In the third part, we discuss about locally two-distance sets in Euclidean spaces. We give an upper bound for the cardinalities of locally two-distance sets in Euclidean spaces. Moreover, we prove that the existence of a spherical two-distance set in $(d-1)$-space which attains the Fisher type upper bound is equivalent to the existence of a locally two-distance set but not a two-distance set in $d$-space with more than $d(d+1)/2$ points. We also classify optimal (largest possible) locally two-distance sets for dimensions less than eight. In addition, we determine the maximum cardinalities of locally two-distance sets on a sphere for dimensions less than forty.
A counter-intuitive correlation in a random tournament
Published
• View Publication
• BIB
Consider a randomly oriented graph $G=(V,E)$ and let $a$, $s$ and $b$ be three distinct vertices in $V$. We study the correlation between the events $\{a\to s\}$ and $\{s\to b\}$. We show that, when $G$ is the complete graph $K_n$, the correlation is negative for $n=3$, zero for $n=4$, and that, counter-intuitively, it is positive for $n\ge 5$. We also show that the correlation is always negative when $G$ is a cycle, $C_n$, and negative or zero when $G$ is a tree (or a forest).
Linear time equivalence of Littlewood--Richardson coefficient symmetry maps
Published in Discrete Math. Theor. Comput. Sci. Proceedings, 21st International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2009), (2009), 127-144
• View Publication
• BIB
Benkart, Sottile, and Stroomer have completely characterized by Knuth and dual Knuth equivalence a bijective proof of the conjugation symmetry of the Littlewood-Richardson coefficients. Tableau-switching provides an algorithm to produce such a bijective proof. Fulton has shown that the White and the Hanlon-Sundaram maps are versions of that bijection. In this paper one exhibits explicitly the Yamanouchi word produced by that conjugation symmetry map which on its turn leads to a new and very natural version of the same map already considered independently. A consequence of this latter construction is that using notions of Relative Computational Complexity we are allowed to show that this conjugation symmetry map is linear time reducible to the Schutzenberger involution and reciprocally. Thus the Benkart-Sottile-Stroomer conjugation symmetry map with the two mentioned versions, the three versions of the commutative symmetry map, and Schutzenberger involution, are linear time reducible to each other. This answers a question posed by Pak and Vallejo.
Sequentially Cohen-Macaulay bipartite graphs: vertex decomposability and regularity
Published
• View Publication
• BIB
Let G be a bipartite graph with edge ideal I(G) whose quotient ring R/I(G) is sequentially Cohen-Macaulay. We prove: (1) the independence complex of G must be vertex decomposable, and (2) the Castelnuovo-Mumford regularity of R/I(G) can be determined from the invariants of G.
Tree Orbits under Permutation Group Action: Algorithm, Enumeration and Application to Viral Assembly
This paper uses combinatorics and group theory to answer questions about the assembly of icosahedral viral shells. Although the geometric structure of the capsid (shell) is fairly well understood in terms of its constituent subunits, the assembly process is not. For the purpose of this paper, the capsid is modeled by a polyhedron whose facets represent the monomers. The assembly process is modeled by a rooted tree, the leaves representing the facets of the polyhedron, the root representing the assembled polyhedron, and the internal vertices representing intermediate stages of assembly (subsets of facets). Besides its virological motivation, the enumeration of orbits of trees under the action of a finite group is of independent mathematical interest. If $G$ is a finite group acting on a finite set $X$, then there is a natural induced action of $G$ on the set $\mathcal{T}_X$ of trees whose leaves are bijectively labeled by the elements of $X$. If $G$ acts simply on $X$, then $|X| := |X_n| = n \cdot |G|$, where $n$ is the number of $G$-orbits in $X$. The basic combinatorial results in this paper are (1) a formula for the number of orbits of each size in the action of $G$ on $\mathcal{T}_{X_n}$, for every $n$, and (2) a simple algorithm to find the stabilizer of a tree $τ\in \mathcal{T}_X$ in $G$ that runs in linear time and does not need memory in addition to its input tree.
Algorithms for realizing degree sequences of directed graphs
The Havel-Hakimi algorithm for constructing realizations of degree sequences for undirected graphs has been used extensively in the literature. A result by Kleitman and Wang extends the Havel-Hakimi algorithm to degree sequences for directed graphs. In this paper we go a step further and describe a modification of Kleitman and Wang's algorithm that is a more natural extension of Havel-Hakimi's algorithm, in the sense that our extension can be made equivalent to Havel-Hakimi's algorithm when the degree sequence has equal in and out degrees and an even degree sum. We identify special degree sequences, called directed 3-cycle anchored, that are ill-defined for the algorithm and force a particular local structure on all directed graph realizations. We give structural characterizations of these realizations, as well as characterizations of the ill-defined degree sequences, leading to a well-defined algorithm.