Discrete Mathematics

Authors and titles for August 2008

[1] arXiv:0808.0202 [pdf, other]

Title: The Degree Distribution of Random k-Trees

Yong Gao

Subjects: Discrete Mathematics (cs.DM); Networking and Internet Architecture (cs.NI)

[2] arXiv:0808.0509 [pdf, other]

Title: Evolving Clustered Random Networks

Shweta Bansal, Shashank Khandelwal, Lauren Ancel Meyers

Journal-ref: BMC Bioinformatics, Vol 10: 405, 2009

Subjects: Discrete Mathematics (cs.DM); Physics and Society (physics.soc-ph)

[3] arXiv:0808.0665 [pdf, other]

Title: Weighted distance transforms generalized to modules and their computation on point lattices

Céline Fouard (INRIA Sophia Antipolis), Robin Strand (CBA), Gunilla Borgefors (CBA)

Journal-ref: Pattern Recognition 40, 9 (2007) 2453--2474

Subjects: Discrete Mathematics (cs.DM)

[4] arXiv:0808.1470 [pdf, other]

Title: Encompression Using Two-dimensional Cellular Automata Rules

Sudhakar Sahoo, Sanjaya Sahoo, Birendra Kumar Nayak, Pabitra Pal Choudhury

Comments: 5 pages, 4 figures

Subjects: Discrete Mathematics (cs.DM); Cryptography and Security (cs.CR)

[5] arXiv:0808.1657 [pdf, other]

Title: Periodicity, repetitions, and orbits of an automatic sequence

Jean-Paul Allouche, Narad Rampersad, Jeffrey Shallit

Comments: preliminary version

Subjects: Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)

[6] arXiv:0808.3112 [pdf, other]

Title: On the decidability of semigroup freeness

Julien Cassaigne, Francois Nicolas

Comments: 46 pages. 1 table. To appear in RAIRO

Subjects: Discrete Mathematics (cs.DM)

[7] arXiv:0808.3386 [pdf, other]

Title: Linear Programming Formulation of the Boolean Satisfiability Problem

Moustapha Diaby

Comments: This paper has been withdrawn. Theorem 38 and Corollary 39 are in error. The modeling needs 9-dimensional z-variables instead of the 8-dimensional variables defined in notations 24.1. The correct modeling is fully detailed in the book available at: this http URL

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC)

[8] arXiv:0808.3881 [pdf, other]

Title: Counting Hexagonal Patches and Independent Sets in Circle Graphs

Paul Bonsma, Felix Breuer

Subjects: Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[9] arXiv:0808.3892 [pdf, other]

Title: Essential arity gap of Boolean functions

Slavcho Shtrakov

Comments: 12 pages, J. of Computing, Serdika, IMI, BAS, Sofia

Subjects: Discrete Mathematics (cs.DM)

[10] arXiv:0808.0163 (cross-list from cs.DS) [pdf, other]

Title: Twice-Ramanujan Sparsifiers

Joshua Batson, Daniel A. Spielman, Nikhil Srivastava

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)

[11] arXiv:0808.0272 (cross-list from cs.IT) [pdf, other]

Title: Kovalenko's Full-Rank Limit and Overhead as Lower Bounds for Error-Performances of LDPC and LT Codes over Binary Erasure Channels

Ki-Moon Lee, Hayder Radha, Beom-Jin Kim

Comments: A short version of this paper was presented at ISITA 2008, Auckland NZ. The first draft was submitted to IEEE Transactions on Information Theory, 2008/06

Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[12] arXiv:0808.0469 (cross-list from math.NT) [pdf, other]

Title: Non-degeneracy of Pollard Rho Collisions

Stephen D. Miller, Ramarathnam Venkatesan

Comments: 10 pages

Subjects: Number Theory (math.NT); Cryptography and Security (cs.CR); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[13] arXiv:0808.0540 (cross-list from cs.LO) [pdf, other]

Title: Executable Set Theory and Arithmetic Encodings in Prolog

Paul Tarau

Comments: Unpublished draft

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Mathematical Software (cs.MS); Symbolic Computation (cs.SC)

[14] arXiv:0808.0753 (cross-list from cs.SC) [pdf, other]

Title: Ranking Catamorphisms and Unranking Anamorphisms on Hereditarily Finite Datatypes

Paul Tarau

Comments: unpublished draft

Subjects: Symbolic Computation (cs.SC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[15] arXiv:0808.0754 (cross-list from cs.MS) [pdf, other]

Title: A Functional Hitchhiker's Guide to Hereditarily Finite Sets, Ackermann Encodings and Pairing Functions

Paul Tarau

Comments: unpublished draft

Subjects: Mathematical Software (cs.MS); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[16] arXiv:0808.0987 (cross-list from cs.IT) [pdf, other]

Title: A new graph perspective on max-min fairness in Gaussian parallel channels

Marcin Wiczanowski, Holger Boche

Comments: 41 pages, 8 figures. submitted to IEEE Transactions on Information Theory on August the 6th, 2008

Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[17] arXiv:0808.1119 (cross-list from cs.CC) [pdf, other]

Title: Graham's Schedules and the Number Partition Problem

Seenu S. Reddi

Comments: 6 pages, 1 table

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[18] arXiv:0808.1364 (cross-list from cs.CC) [pdf, other]

Title: On Bounded Integer Programming

Thân Quang Khoát

Comments: The preliminary version of this paper appeared in Proceedings of the 2008 IEEE International Conference on Research, Innovation & Vision for the Future - RIVF, July 2008, pages 23-28, Ho Chi Minh city, Vietnam, entitled "On the Bounded Integer Programming"

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[19] arXiv:0808.1417 (cross-list from cs.IT) [pdf, other]

Title: The finite harmonic oscillator and its associated sequences

Shamgar Gurevich, Ronny Hadani, Nir Sochen

Comments: Published in the Proceedings of the National Academy of Sciences of the United States of America (Communicated by Joseph Bernstein, Tel Aviv University, Tel Aviv, Israel)

Journal-ref: PNAS, July 22, 2008 vol. 105 no. 29 9869-9873 http://www.pnas.org/content/105/29/9869.abstract

Subjects: Information Theory (cs.IT); Cryptography and Security (cs.CR); Discrete Mathematics (cs.DM); Mathematical Physics (math-ph); Group Theory (math.GR); Number Theory (math.NT); Probability (math.PR); Quantum Algebra (math.QA); Representation Theory (math.RT); Symplectic Geometry (math.SG); Quantum Physics (quant-ph)

[20] arXiv:0808.1549 (cross-list from cond-mat.stat-mech) [pdf, other]

Title: The Peculiar Phase Structure of Random Graph Bisection

Allon G. Percus, Gabriel Istrate, Bruno Goncalves, Robert Z. Sumi, Stefan Boettcher

Comments: substantially revised section 2, changed figures 3, 4 and 6, made minor stylistic changes and added references

Journal-ref: J. Math. Phys. 49, 125219 (2008)

Subjects: Statistical Mechanics (cond-mat.stat-mech); Disordered Systems and Neural Networks (cond-mat.dis-nn); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[21] arXiv:0808.1928 (cross-list from cs.CC) [pdf, other]

Title: Decision Problems For Convex Languages

Janusz Brzozowski, Jeffrey Shallit, Zhi Xu

Comments: preliminary version. This version corrected one typo in Section 2.1.1, line 4

Journal-ref: Proc. LATA 2009 Conference, LNICS #5457, pp. 247-258

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)

[22] arXiv:0808.2017 (cross-list from cs.DS) [pdf, other]

Title: Nearly Tight Low Stretch Spanning Trees

Ittai Abraham, Yair Bartal, Ofer Neiman

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)

[23] arXiv:0808.2837 (cross-list from cs.IT) [pdf, other]

Title: List Decoding of Burst Errors

Ron M. Roth, Pascal O. Vontobel

Comments: Submitted to IEEE Transactions on Information Theory, August 19, 2008

Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM)

[24] arXiv:0808.3214 (cross-list from cs.IT) [pdf, other]

Title: The discrete Fourier transform: A canonical basis of eigenfunctions

Shamgar Gurevich, Ronny Hadani, Nir Sochen

Comments: To appear in the proceeding of the 2008 European Signal Processing Conference (EUSIPCO-2008), Lausanne, Switzerland; MSC classifications: Fourier transform, Weil representation, symmetries, eigenfunctions, oscillator transform, fast oscillator transform

Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM); Representation Theory (math.RT)

[25] arXiv:0808.3244 (cross-list from math.CO) [pdf, other]

Title: Duality between quasi-concave functions and monotone linkage functions

Yulia Kempner, Vadim E. Levit

Comments: 12 pages, 2 figures

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)

[26] arXiv:0808.3281 (cross-list from cs.IT) [pdf, other]

Title: On the diagonalization of the discrete Fourier transform

Shamgar Gurevich (UC Berkeley), Ronny Hadani (University of Chicago)

Comments: Accepted for publication in the journal "Applied and Computational Harmonic Analysis": Appl. Comput. Harmon. Anal. (2009), doi:https://doi.org/10.1016/j.acha.2008.11.003. Key words: Discrete Fourier Transform, Weil Representation, Canonical Eigenvectors, Oscillator Transform, Fast Oscillator Transform

Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM); Representation Theory (math.RT)

[27] arXiv:0808.4134 (cross-list from cs.DS) [pdf, other]

Title: Spectral Sparsification of Graphs

Daniel A. Spielman, Shang-Hua Teng

Comments: This revision addresses comments of the referees. In particular, we have completely re-written the proof of the main graph partitioning theorem in section 8

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM)