Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Implicitization of surfaces via geometric tropicalization
In this paper we further develop the theory of geometric tropicalization due to Hacking, Keel and Tevelev and we describe tropical methods for implicitization of surfaces. More precisely, we enrich this theory with a combinatorial formula for tropical multiplicities of regular points in arbitrary dimension and we prove a conjecture of Sturmfels and Tevelev regarding sufficient combinatorial conditions to compute tropical varieties via geometric tropicalization. Using these two results, we extend previous work of Sturmfels, Tevelev and Yu for tropical implicitization of generic surfaces, and we provide methods for approaching the non-generic cases.
Biochemical network decomposition reveals absolute concentration robustness
Robustness of biochemical systems has become one of the central questions in Systems Biology, although it is notoriously difficult to formally capture its multifaceted nature. Maintenance of normal system function depends not only on the stoichiometry of the underlying interrelated components, but also on a multitude of kinetic parameters. For given parameter values, recent findings have aimed at characterizing the property of the system components to exhibit same concentrations in the resulting steady states, termed absolute concentration robustness (ACR). However, the existing method for determining system components exhibiting ACR is applicable only to one class of mass-action networks for which this property can be confirmed, but not discarded. Here we design a new method which relies on biochemical network decompositions into subnetworks, called elementary flux modes, to identify ACR in a broader class of mass-action networks by using only the given stoichiometry. This approach reduces the problem of determining ACR to that of solving parameterized systems of linear equations, rendering it amenable to networks of larger sizes. Our unified framework will be helpful in analyzing this biologically important type of robustness as well as detection of novel systemic properties independent of the kinetic parameters for more complex biochemical networks.
Constructions of asymptotically shortest k-radius sequences
Published
• View Publication
• BIB
Let k be a positive integer. A sequence s over an n-element alphabet A is called a k-radius sequence if every two symbols from A occur in s at distance of at most k. Let f_k(n) denote the length of a shortest k-radius sequence over A. We provide constructions demonstrating that (1) for every fixed k and for every fixed e>0, f_k(n) = n^2/(2k) +O(n^(1+e)) and (2) for every k, where k is the integer part of n^a for some fixed real a such that 0 < a <1, f_k(n) = n^2/(2k) +O(n^b), for some b <2-a. Since f_k(n) >= n^2/(2k) - n/(2k), the constructions give asymptotically optimal k-radius sequences. Finally, (3) we construct optimal 2-radius sequences for a 2p-element alphabet, where p is a prime.
A generalization of the Birthday problem and the chromatic polynomial
The birthday paradox states that there is at least a 50% chance that some two out of twenty-three randomly chosen people will share the same birth date. The calculation for this problem assumes that all birth dates are equally likely. We consider the following two modifications of this question. If the distribution of birthdays is non-uniform, does that increase or decrease the probability of matching birth dates? Further, what if we focus on birthdays shared by some particular pairs rather than any two people. Does a non-uniform distribution on birth dates increase or decrease the probability of a matching pair? In this paper we present our results in this generalized setting. We use some results and methods due to Sokal concerning bounds on the roots of chromatic polynomials to prove our results.
Linear Systems on Edge-Weighted Graphs
Published in Rocky Mountain J. Math. Volume 46, Number 5 (2016), 1559-1574
• View Publication
• BIB
Let R be any subring of the reals. We present a generalization of linear systems on graphs where divisors are R-valued functions on the set of vertices and graph edges are permitted to have nonegative weights in R. Using this generalization, we provide an independent proof of a Riemann-Roch formula, which implies the Riemann-Roch formula of Baker and Norine.
On the provable security of BEAR and LION schemes
Published in Applicable Algebra in Engineering, Communication and Computing, 2011, vol. 22, p. 413-423
• View Publication
• BIB
BEAR, LION and LIONESS are block ciphers presented by Biham and Anderson (1996), inspired by the famous Luby-Rackoff constructions of block ciphers from other cryptographic primitives (1988). The ciphers proposed by Biham and Anderson are based on one stream cipher and one hash function. Good properties of the primitives ensure good properties of the block cipher. In particular, they are able to prove that their ciphers are immune to any efficient known-plaintext key-recovery attack that can use as input only one plaintext-ciphertext pair. Our contribution is showing that these ciphers are actually immune to any efficient known-plaintext key-recovery attack that can use as input any number of plaintext-ciphertext pairs. We are able to get this improvement by using slightly weaker hypotheses on the primitives. We also discuss the attack by Morin (1996).
An infinite family of adsorption models and restricted Lukasiewicz paths
Published
• View Publication
• BIB
We define $(k,\ell)$-restricted Lukasiewicz paths, $k\le\ell\in\mathbb{N}_0$, and use these paths as models of polymer adsorption. We write down a polynomial expression satisfied by the generating function for arbitrary values of $(k,\ell)$. The resulting polynomial is of degree $\ell+1$ and hence cannot be solved explicitly for sufficiently large $\ell$. We provide two different approaches to obtain the phase diagram. In addition to a more conventional analysis, we also develop a new mathematical characterization of the phase diagram in terms of the discriminant of the polynomial and a zero of its highest degree coefficient.
We then give a bijection between $(k,\ell)$-restricted Lukasiewicz paths and "rise"-restricted Dyck paths, identifying another family of path models which share the same critical behaviour. For $(k,\ell)=(1,\infty)$ we provide a new bijection to Motzkin paths.
We also consider the area-weighted generating function and show that it is a q-deformed algebraic function. We determine the generating function explicitly in particular cases of $(k,\ell)$-restricted Lukasiewicz paths, and for $(k,\ell)=(0,\infty)$ we provide a bijection to Dyck paths.
Non-three-colorable common graphs exist
Published in Combin. Probab. Comput. 21 (2012), no. 5, 734-742
• View Publication
• BIB
A graph H is called common if the total number of copies of H in every graph and its complement asymptotically minimizes for random graphs. A former conjecture of Burr and Rosta, extending a conjecture of Erdos asserted that every graph is common. Thomason disproved both conjectures by showing that the complete graph of order four is not common. It is now known that in fact the common graphs are very rare. Answering a question of Sidorenko and of Jagger, Stovicek and Thomason from 1996 we show that the 5-wheel is common. This provides the first example of a common graph that is not three-colorable.
A polynomial bound on the mixing time of a Markov chain for sampling regular directed graphs
Published
• View Publication
• BIB
The switch chain is a well-known Markov chain for sampling directed graphs with a given degree sequence. While not ergodic in general, we show that it is ergodic for regular degree sequences. We then prove that the switch chain is rapidly mixing for regular directed graphs of degree d, where d is any positive integer-valued function of the number of vertices. We bound the mixing time by bounding the eigenvalues of the chain. A new result is presented and applied to bound the smallest (most negative) eigenvalue. This result is a modification of a lemma by Diaconis and Stroock, and by using it we avoid working with a lazy chain. A multicommodity flow argument is used to bound the second-largest eigenvalue of the chain. This argument is based on the analysis of a related Markov chain for undirected regular graphs by Cooper, Dyer and Greenhill, but with significant extension required.
Sheaves on Graphs, Their Homological Invariants, and a Proof of the Hanna Neumann Conjecture
Published
• View Publication
• BIB
In this paper we establish some foundations regarding sheaves of vector spaces on graphs and their invariants, such as homology groups and their limits. We then use these ideas to prove the Hanna Neumann Conjecture of the 1950's; in fact, we prove a strengthened form of the conjecture.
We introduce a notion of a sheaf of vector spaces on a graph, and develop the foundations of homology theories for such sheaves. One sheaf invariant, its "maximum excess," has a number of remarkable properties. It has a simple definition, with no reference to homology theory, that resembles graph expansion. Yet it is a "limit" of Betti numbers, and hence has a short/long exact sequence theory and resembles the $L^2$ Betti numbers of Atiyah. Also, the maximum excess is defined via a supermodular function, which gives the maximum excess much stronger properties than one has of a typical Betti number.
Our sheaf theory can be viewed as a vast generalization of algebraic graph theory: each sheaf has invariants associated to it---such as Betti numbers and Laplacian matrices---that generalize those in classical graph theory.
We shall use "Galois graph theory" to reduce the Strengthened Hanna Neumann Conjecture to showing that certain sheaves, that we call $ρ$-kernels, have zero maximum excess. We use the symmetry in Galois theory to argue that if the Strengthened Hanna Neumann Conjecture is false, then the maximum excess of "most of" these $ρ$-kernels must be large. We then give an inductive argument to show that this is impossible.
Coloring half-planes and bottomless rectangles
Published
• View Publication
• BIB
We prove lower and upper bounds for the chromatic number of certain hypergraphs defined by geometric regions. This problem has close relations to conflict-free colorings. One of the most interesting type of regions to consider for this problem is that of the axis-parallel rectangles. We completely solve the problem for a special case of them, for bottomless rectangles. We also give an almost complete answer for half-planes and pose several open problems. Moreover we give efficient coloring algorithms.
The Abel-Zeilberger Algorithm
Published
• View Publication
• BIB
We use both Abel's lemma on summation by parts and Zeilberger's algorithm to find recurrence relations for definite summations. The role of Abel's lemma can be extended to the case of linear difference operators with polynomial coefficients. This approach can be used to verify and discover identities involving harmonic numbers and derangement numbers. As examples, we use the Abel-Zeilberger algorithm to prove the Paule-Schneider identities, the Apery-Schmidt-Strehl identity, Calkin's identity and some identities involving Fibonacci numbers.
Some 0/1 polytopes need exponential size extended formulations
We prove that there are 0/1 polytopes P that do not admit a compact LP formulation. More precisely we show that for every n there is a sets X \subseteq {0,1}^n such that conv(X) must have extension complexity at least 2^{n/2 * (1-o(1))}. In other words, every polyhedron Q that can be linearly projected on conv(X) must have exponentially many facets.
In fact, the same result also applies if conv(X) is restricted to be a matroid polytope.
Conditioning on NP not contained in P_{/poly}, our result rules out the existence of any compact formulation for the TSP polytope, even if the formulation may contain arbitrary real numbers.
Banded surfaces, banded links, band indices and genera of links
Published in Journal of Knot Theory and Its Ramifications 22(7) (2013) 1350035 1-18
• View Publication
• BIB
Every link is shown to be presentable as a boundary of an unknotted flat banded surface. A (flat) banded link is defined as a boundary of an unknotted (flat) banded surface. A link's (flat) band index is defined as the minimum number of bands required to present the link as boundaries of an unknotted (flat) banded surface. Banded links of small (flat, respectively) band index are considered here. Some upper bounds are provided for these band indices of a link using braid representatives and canonical Seifert surfaces of the link. The relation between the band indices and genera of links is studied and the band indices of pretzel knots are calculated.
Higher weights of Grassmann codes in terms of properties of Schubert unions
We describe the higher weights of the Grassmann codes $G(2,m)$ over finite fields ${\mathbb F}_q$ in terms of properties of Schubert unions, and in each case we determine the weight as the minimum of two explicit polynomial expressions in $q$.
Convergence of the Abelian sandpile
Published in Duke Math. J. 162, no. 4 (2013), 627-642
• View Publication
• BIB
The Abelian sandpile growth model is a diffusion process for configurations of chips placed on vertices of the integer lattice $\mathbb{Z}^d$, in which sites with at least 2d chips {\em topple}, distributing 1 chip to each of their neighbors in the lattice, until no more topplings are possible. From an initial configuration consisting of $n$ chips placed at a single vertex, the rescaled stable configuration seems to converge to a particular fractal pattern as $n\to \infty$. However, little has been proved about the appearance of the stable configurations. We use PDE techniques to prove that the rescaled stable configurations do indeed converge to a unique limit as $n \to \infty$. We characterize the limit as the Laplacian of the solution to an elliptic obstacle problem.
Erdos-Hajnal-type theorems in hypergraphs
Published
• View Publication
• BIB
The Erdos-Hajnal conjecture states that if a graph on n vertices is H-free, that is, it does not contain an induced copy of a given graph H, then it must contain either a clique or an independent set of size n^{d(H)}, where d(H) > 0 depends only on the graph H. Except for a few special cases, this conjecture remains wide open. However, it is known that a H-free graph must contain a complete or empty bipartite graph with parts of polynomial size. We prove an analogue of this result for 3-uniform hypergraphs, showing that if a 3-uniform hypergraph on n vertices is H-free, for any given H, then it must contain a complete or empty tripartite subgraph with parts of order c(log n)^{1/2 + d(H)}, where d(H) > 0 depends only on H. This improves on the bound of c(log n)^{1/2}, which holds in all 3-uniform hypergraphs, and, up to the value of the constant d(H), is best possible. We also prove that, for k > 3, no analogue of the standard Erdos-Hajnal conjecture can hold in k-uniform hypergraphs. That is, there are k-uniform hypergraphs H and sequences of H-free hypergraphs which do not contain cliques or independent sets of size appreciably larger than one would normally expect.
Bounds for discrete tomography solutions
Published
• View Publication
• BIB
We consider the reconstruction of a function on a finite subset of $\mathbb{Z}^2$ if the line sums in certain directions are prescribed. The real solutions form a linear manifold, its integer solutions a grid. First we provide an explicit expression for the projection vector from the origin onto the linear solution manifold in the case of only row and column sums of a finite subset of $\mathbf{Z}^2$. Next we present a method to estimate the maximal distance between two binary solutions. Subsequently we deduce an upper bound for the distance from any given real solution to the nearest integer solution. This enables us to estimate the stability of solutions. Finally we generalize the first mentioned result to the torus case and to the continuous case.
A Multi-Hop Weighted Clustering of Homogenous MANETs Using Combined Closeness Index
Published in International Journal of Wireless & Mobile Networks (IJWMN) Vol. 3, No. 2, April 2011, 253-270
• View Publication
• BIB
In this paper, a new multi-hop weighted clustering procedure is proposed for homogeneous Mobile Ad hoc networks. The algorithm generates double star embedded non-overlapping cluster structures, where each cluster is managed by a leader node and a substitute for the leader node (in case of failure of leader node). The weight of a node is a linear combination of six different graph theoretic parameters which deal with the communication capability of a node both in terms of quality and quantity, the relative closeness relationship between network nodes and the maximum and average distance traversed by a node for effective communication. This paper deals with the design and analysis of the algorithm and some of the graph theoretic/structural properties of the clusters obtained are also discussed.
Ehrhart $h^*$-vectors of hypersimplices
Published
• View Publication
• BIB
We consider the Ehrhart $h^*$-vector for the hypersimplex. It is well-known that the sum of the $h_i^*$ is the normalized volume which equals an Eulerian numbers. The main result is a proof of a conjecture by R. Stanley which gives an interpretation of the $h^*_i$ coefficients in terms of descents and excedances. Our proof is geometric using a careful book-keeping of a shelling of a unimodular triangulation. We generalize this result to other closely related polytopes.