28522023
Essentially Every Unimodular Matrix Defines an Expander 


AbstractAbstract. We generalize the construction of Gabber and Galil to essentially every unimodular matrix in SL2 (Z). It is shown that every parabolic or hyperbolic fractional linear transformation explicitly defines an expander of bounded degree and constant expansion. Thus all but a vanishingly small fraction of unimodular matrices define expanders.

15088558
Some Results on Matchgates and Holographic Algorithms
We establish a 1-1 correspondence between Valiant's character theory of matchgate/matchcircuit [14] and his signature theory of planar-matchgate/matchgrid [16], thus unifying the two theories in expressibility. In [3], we had established a complete characterization of general matchgates, in terms of a set of useful Grassmann-Plucker identities. With this correspondence, we give a corresponding set of identities which completely characterizes planar-matchgates and their signatures. Applying this characterization we prove some negative results for holographic algorithms. On the positive side, we also give a polynomial time algorithm for a simultaneous node-edge deletion problem, using holographic algorithms. Finally we give characterizations of symmetric signatures realizable in the Hadamard basis.
47553632
On the Theory of Matchgate Computations
Valiant has proposed a new theory of algorithmic computation based on perfect matchings and Pfaffians. We study the properties of matchgates - the basic building blocks in this new theory. We give a set of algebraic identities which completely characterizes these objects for arbitrary numbers of inputs and outputs. These identities are derived from Grassmann-Plucker identities. The 4 by 4 matchgate character matrices are of particular interest. These were used in Valiant's classical simulation of a fragment of quantum computations. For these 4 by 4 matchgates, we use Jacobi's theorem on compound matrices to prove that the invertible matchgate matrices form a multiplicative group. Our results can also be expressed in the theory of holographic algorithms in terms of realizable standard signatures. These results are useful in establishing limitations on the ultimate capabilities of Valiant's theory of matchgate computations and holographic algorithms.
7471594
The resolution of a Hartmanis conjecture
Building on the recent breakthrough by M. Ogihara (1995), we resolve a conjecture made by J. Hartmanis (1978) regarding the (non) existence of sparse sets complete for P under logspace many-one reductions. We show that if there exists a sparse hard set for P under logspace many-one reductions, then P=LOGSPACE. We further prove that if P has a sparse hard set under many-one reductions computable in NC/sup 1/, then P collapses to NC/sup 1/.
41950213
Holographic algorithms: From art to science
We develop the theory of holographic algorithms initiated by Leslie Valiant. First we define a basis manifold. Then we characterize algebraic varieties of realizable symmetric generators and recognizers on the basis manifold, and give a polynomial time decision algorithm for the simultaneous realizability problem. These results enable one to decide whether suitable signatures for a holographic algorithm are realizable, and if so, to find a suitable linear basis to realize these signatures by an efficient algorithm. Using the general machinery we are able to give unexpected holographic algorithms for some counting problems, modulo certain Mersenne type integers. These counting problems are #P-complete without the moduli. Going beyond symmetric signatures, we define d-admissibility and d-realizability for general signatures, and give a characterization of 2-admissibility and some general constructions of admissible and realizable families.
11342779
On Proving Circuit Lower Bounds against the Polynomial-Time Hierarchy: Positive and Negative Results
We consider the problem of proving circuit lower bounds against the polynomial-time hierarchy. We give both positive and negative results. For the positive side, for any fixed integer k > 0, we give an explicit Σ2p language, acceptable by a Σ2p-machine with running time O(nk2+k), that requires circuit size > nk. For the negative side, we propose a new stringent notion of relativization, and prove under this stringent relativization that every language in the polynomial-time hierarchy has polynomial circuit size. (For technical details, see also [CW03].)
31469931
STARS: A Socio-Technical Framework for Integrating Design Knowledge over the Internet
Traditional design tools usually model collaborative work as a process of data access and sharing. In globally distributed environments, however, it becomes important to model the interdisciplinary perspectives that individual contributors bring to the data. We refer to the individuals involved in the design process as stakeholders. Each stakeholder comes to the project with a different perspective: that is, different preferences, environments, and knowledge. An information system that accounts for these social and technical factors would not only manipulate design data, but also facilitate the reconciliation of these design perspectives over the Internet. This article presents a conceptual framework for supporting knowledge integration by modeling stakeholders' design perspectives. We describe the Social-Technical Analysis Research System (STARS), a prototype implementation system that uses advanced networking techniques to support stakeholders' interaction in collaborative design.
38252080
A New Transference Theorem in the Geometry of Numbers
We prove a new transference theorem in the geometry of numbers, giving optimal bounds relating the successive minima of a lattice with the minimal length of generating vectors of its dual. It generalizes the transference theorem due to Banaszczyk. The theorem is motivated by our efforts to improve Ajtai's connection factors in the connection of average-case to worst-case complexity of the shortest lattice vector problem. Our proofs are non-constructive, based on methods from harmonic analysis.
5733190
Automating the drug scheduling of cancer chemotherapy via evolutionary computation
This paper presents the optimal control of drug scheduling in cancer chemotherapy using a distributed evolutionary computing software. Unlike conventional methods that often require gradient information or hybridization of different approaches in drug scheduling, the proposed evolutionary optimization methodology is simple and capable of automatically finding the near-optimal solutions for complex cancer chemotherapy problems. It is shown that different number of variable pairs in evolutionary representation for drug scheduling can be easily implemented via the software, since the computational workload is shared and distributed among multiple computers over the Internet. Simulation results show that the proposed evolutionary approach produces excellent control of drug scheduling in cancer chemotherapy, which are competitive or equivalent to the best solutions published in literature.
27123977
Classifying G-protein coupled receptors with bagging classification tree
G-protein coupled receptors (GPCRs) play a key role in different biological processes, such as regulation of growth, death and metabolism of cells. They are major therapeutic targets of numerous prescribed drugs. However, the ligand specificity of many receptors is unknown and there is little structural information available. Bioinformatics may offer one approach to bridge the gap between sequence data and functional knowledge of a receptor. In this paper, we use a bagging classification tree algorithm to predict the type of the receptor based on its amino acid composition. The prediction is performed for GPCR at the sub-family and sub-sub-family level. In a cross-validation test, we achieved an overall predictive accuracy of 91.1% for GPCR sub-family classification, and 82.4% for sub-sub-family classification. These results demonstrate the applicability of this relative simple method and its potential for improving prediction accuracy.