Discrete Mathematics

Authors and titles for August 2023

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

Title: Going Deep and Going Wide: Counting Logic and Homomorphism Indistinguishability over Graphs of Bounded Treedepth and Treewidth

Eva Fluck, Tim Seppelt, Gian Luca Spitzer

Comments: 30 pages, 3 figures

Subjects: Logic in Computer Science (cs.LO); Discrete Mathematics (cs.DM)

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

Title: Shared ancestry graphs and symbolic arboreal maps

Katharina T. Huber, Vincent Moulton, Guillaume E. Scholz

Comments: 19 pages, 5 figures

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

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

Title: Generalized Grötzsch Graphs

Ashish Upadhyay

Comments: This is a first draft report about ongoing work on the Grötzsch Graphs

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

[54] arXiv:2308.06600 (cross-list from math.CO) [pdf, html, other]

Title: Effective Bounds for Restricted $3$-Arithmetic Progressions in $\mathbb{F}_p^n$

Amey Bhangale, Subhash Khot, Dor Minzer

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

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

Title: Exploration of graphs with excluded minors

Julia Baligacs, Yann Disser, Irene Heinrich, Pascal Schweitzer

Comments: to appear at ESA 2023

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

[56] arXiv:2308.06971 (cross-list from cs.PL) [pdf, other]

Title: Disco: A Functional Programming Language for Discrete Mathematics

Brent A. Yorgey (Hendrix College)

Comments: In Proceedings TFPIE 2023, arXiv:2308.06110

Journal-ref: EPTCS 382, 2023, pp. 64-81

Subjects: Programming Languages (cs.PL); Discrete Mathematics (cs.DM)

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

Title: Approximations for the Steiner Multicycle Problem

Cristina G. Fernandes, Carla N. Lintzmayer, Phablo F. S. Moura

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

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

Title: On graphs with no induced $P_5$ or $K_5-e$

Arnab Char, T. Karthick

Comments: This paper is dedicated to the memory of Professor Frederic Maffray on his death anniversary

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

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

Title: The maximum four point condition matrix of a tree

Ali Azimi, Rakesh Jana, Mukesh Kumar Nagar, Sivaramakrishnan Sivasubramanian

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

[60] arXiv:2308.08453 (cross-list from cs.DS) [pdf, html, other]

Title: Tightest Admissible Shortest Path

Eyal Weiss, Ariel Felner, Gal A. Kaminka

Comments: arXiv admin note: text overlap with arXiv:2208.11489

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

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

Title: Geodetic Graphs: Experiments and New Constructions

Florian Stober, Armin Weiß

Comments: The second version corrects an error in the first version, where we claimed that there are 32 biconnected geodetic graphs with 25 vertices. There are 33 such graphs

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

[62] arXiv:2308.09250 (cross-list from cs.LG) [pdf, other]

Title: Capacity Bounds for Hyperbolic Neural Network Representations of Latent Tree Structures

Anastasis Kratsios, Ruiyang Hong, Haitz Sáez de Ocáriz Borde

Comments: 22 Pages + References, 1 Table, 4 Figures

Subjects: Machine Learning (cs.LG); Discrete Mathematics (cs.DM); Neural and Evolutionary Computing (cs.NE); Metric Geometry (math.MG); Numerical Analysis (math.NA)

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

Title: A scalable clustering algorithm to approximate graph cuts

Leo Suchan, Housen Li, Axel Munk

Comments: 34 pages, 5 figures

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

[64] arXiv:2308.09645 (cross-list from math.CO) [pdf, html, other]

Title: The damage number of the Cartesian product of graphs

Melissa A. Huggan, Margaret-Ellen Messinger, Amanda Porter

Comments: 21 pages, 3 figures

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

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

Title: A simple counting rule to evaluate directionality of arbitrary rail networks

Dai Akita, Daniel Thorsten Schenz

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

[66] arXiv:2308.10198 (cross-list from cs.FL) [pdf, other]

Title: Computing backwards with Game of Life, part 1: wires and circuits

Ville Salo, Ilkka Törmä

Comments: 28 pages, 10 figures in main text. 11 pages, 20 figures in appendix. Accompanied by two GitHub repositories containing programs and auxiliary data

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

[67] arXiv:2308.10208 (cross-list from cs.FL) [pdf, other]

Title: Real-time Regular Expression Matching

Alexandra Bernadotte

Comments: 17 pages, 11 figures

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Computer Vision and Pattern Recognition (cs.CV); Discrete Mathematics (cs.DM)

[68] arXiv:2308.10214 (cross-list from math.CO) [pdf, html, other]

Title: Computational complexity of counting coincidences

Swee Hong Chan, Igor Pak

Comments: 24 pages, 6 figures. New references added. To appear in Theoret. Comput. Sci

Journal-ref: Theoret. Comput. Sci. 1015 (2024) 114776

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)

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

Title: Computing Optimal Leaf Roots of Chordal Cographs in Linear Time

Van Bang Le, Christian Rosenke

Comments: 22 pages, 2 figures, full version of the FCT 2023 paper

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

[70] arXiv:2308.10811 (cross-list from cs.CG) [pdf, other]

Title: Tree Drawings with Columns

Jonathan Klawitter, Johannes Zink

Comments: Appears in the Proceedings of the 31st International Symposium on Graph Drawing and Network Visualization (GD 2023)

Subjects: Computational Geometry (cs.CG); Discrete Mathematics (cs.DM)

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

Title: Characterization of random walks on space of unordered trees using efficient metric simulation

Farah Ben Naoum, Christophe Godin, Romain Azaïs

Comments: 26 pages

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

[72] arXiv:2308.11083 (cross-list from math.PR) [pdf, other]

Title: An Improved Drift Theorem for Balanced Allocations

Dimitrios Los, Thomas Sauerwald

Comments: This paper refines and extends the content on the drift theorem and applications in arXiv:2203.13902. It consists of 38 pages, 7 figures, 1 table

Journal-ref: ACM Transactions on Algorithms, vol. 20, iss. 4, (October 2024) pp. 35:1-39

Subjects: Probability (math.PR); Discrete Mathematics (cs.DM)

[73] arXiv:2308.11285 (cross-list from math.OC) [pdf, html, other]

Title: A Tight Formulation for the Dial-a-Ride Problem

Daniela Gaul, Kathrin Klamroth, Christian Pfeiffer, Arne Schulz, Michael Stiglmayr

Subjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM)

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

Title: Graph-like Scheduling Problems and Property B

John Machacek

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

[75] arXiv:2308.11763 (cross-list from physics.data-an) [pdf, html, other]

Title: Efficient set-theoretic algorithms for computing high-order Forman-Ricci curvature on abstract simplicial complexes

Danillo Barros de Souza, Jonatas T. S. da Cunha, Fernando A. N. Santos, Jürgen Jost, Serafim Rodrigues

Subjects: Data Analysis, Statistics and Probability (physics.data-an); Discrete Mathematics (cs.DM); Performance (cs.PF); Combinatorics (math.CO)

[76] arXiv:2308.11950 (cross-list from math.CO) [pdf, html, other]

Title: Cliquewidth and dimension

Gwenaël Joret, Piotr Micek, Michał Pilipczuk, Bartosz Walczak

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

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

Title: Assouad-Nagata dimension of minor-closed metrics

Chun-Hung Liu

Journal-ref: Proc. London Soc. 130 (2025), e70032

Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Group Theory (math.GR); Geometric Topology (math.GT); Metric Geometry (math.MG)

[78] arXiv:2308.12404 (cross-list from math.OC) [pdf, other]

Title: Balanced Submodular Flows

Alpár Jüttner, Eszter Szabó

Comments: 22 pages, 1 figure

Subjects: Optimization and Control (math.OC); Discrete Mathematics (cs.DM)

[79] arXiv:2308.12405 (cross-list from math.CO) [pdf, html, other]

Title: Concatenation trees: A framework for efficient universal cycle and de Bruijn sequence constructions

J. Sawada, J. Sears, A. Trautrim, A. Williams

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

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

Title: Linear-Sized Spectral Sparsifiers and the Kadison-Singer Problem

Phevos Paschalidis, Ashley Zhuang

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

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

Title: No Polynomial Kernels for Knapsack

Klaus Heeger, Danny Hermelin, Matthias Mnich, Dvir Shabtay

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

[82] arXiv:2308.12841 (cross-list from math.GR) [pdf, other]

Title: Complexity of Spherical Equations in Finite Groups

Caroline Mattes, Alexander Ushakov, Armin Weiß

Subjects: Group Theory (math.GR); Discrete Mathematics (cs.DM)

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

Title: Constructing and sampling partite, $3$-uniform hypergraphs with given degree sequence

Andras Hubai, Tamas Robert Mezei, Ferenc Beres, Andras Benczur, Istvan Miklos

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

[84] arXiv:2308.13260 (cross-list from cs.SI) [pdf, html, other]

Title: Approximation Algorithms to Enhance Social Sharing of Fresh Point-of-Interest Information

Songhua Li, Lingjie Duan

Subjects: Social and Information Networks (cs.SI); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[85] arXiv:2308.13303 (cross-list from cs.SI) [pdf, html, other]

Title: Age of Information Diffusion on Social Networks

Songhua Li, Lingjie Duan

Comments: Accepted by IEEE/ACM Transactions On Networking. A long abstract of this work appeared at MobiHoc 2023

Subjects: Social and Information Networks (cs.SI); Discrete Mathematics (cs.DM); Information Theory (cs.IT)

[86] arXiv:2308.13395 (cross-list from cs.IT) [pdf, html, other]

Title: A Gröbner Approach to Dual-Containing Cyclic Left Module $(θ,δ)$-Codes over Finite Commutative Frobenius Rings

Hedongliang Liu, Cornelia Ott, Felix Ulmer

Comments: 20 pages, 11 tables

Subjects: Information Theory (cs.IT); Discrete Mathematics (cs.DM); Quantum Algebra (math.QA); Rings and Algebras (math.RA)

[87] arXiv:2308.13424 (cross-list from cs.IT) [pdf, html, other]

Title: AG codes have no list-decoding friends: Approaching the generalized Singleton bound requires exponential alphabets

Omar Alrabiah, Venkatesan Guruswami, Ray Li

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

[88] arXiv:2308.13868 (cross-list from math.HO) [pdf, other]

Title: A Graph-Theoretic Model for a Generic Three Jug Puzzle

Suresh Manjanath Hegde, Shashanka Kulamarva

Comments: 13 pages, 2 figures

Subjects: History and Overview (math.HO); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[89] arXiv:2308.14647 (cross-list from cs.LG) [pdf, html, other]

Title: Edge Generation Scheduling for DAG Tasks Using Deep Reinforcement Learning

Binqi Sun, Mirco Theile, Ziyuan Qin, Daniele Bernardini, Debayan Roy, Andrea Bastoni, Marco Caccamo

Comments: Accepted for publication in IEEE Transactions on Computers

Subjects: Machine Learning (cs.LG); Distributed, Parallel, and Cluster Computing (cs.DC); Discrete Mathematics (cs.DM); Optimization and Control (math.OC)

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

Title: A precise condition for independent transversals in bipartite covers

Stijn Cambie, Penny Haxell, Ross J. Kang, Ronen Wdowinski

Comments: 10 pages, 2 figures; v2 is AAM accepted to SIDMA after incorporating minor corrections

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

[91] arXiv:2308.14819 (cross-list from quant-ph) [pdf, other]

Title: A polynomial quantum computing algorithm for solving the dualization problem

Mauro Mezzini, Fernando Cuartero Gomez, Fernando Pelayo, Jose Javier Paulet Gonzales, Hernan Indibil de la Cruz Calvo, Vicente Pascual

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[92] arXiv:2308.15453 (cross-list from cs.CV) [pdf, other]

Title: Pseudo-Boolean Polynomials Approach To Edge Detection And Image Segmentation

Tendai Mapungwana Chikake, Boris Goldengorin, Alexey Samosyuk

Comments: 14 pages, 8 figures, submitted to the International Conference Data Analysis, Optimization and Their Applications on the Occasion of Boris Mirkin's 80th Birthday January 30-31, 2023, Dolgoprudny, Moscow Region, Moscow Institute of Physics and Technology this https URL

Subjects: Computer Vision and Pattern Recognition (cs.CV); Discrete Mathematics (cs.DM)

[93] arXiv:2308.15557 (cross-list from cs.CV) [pdf, other]

Title: A Pseudo-Boolean Polynomials Approach for Image Edge Detection

Tendai Mapungwana Chikake, Boris Goldengorin

Comments: 8 pages, 7 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Discrete Mathematics (cs.DM)

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

Title: String graphs with precise number of intersections

Petr Chmel, Vít Jelínek

Comments: Appears in the Proceedings of the 31st International Symposium on Graph Drawing and Network Visualization (GD 2023)

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

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

Title: An Improved Greedy Curvature Bound in Finite-Horizon String Optimization with Application to a Sensor Coverage Problem

Brandon Van Over, Bowen Li, Edwin K.P. Chong, Ali Pezeshki

Subjects: Data Structures and Algorithms (cs.DS); Discrete Mathematics (cs.DM); Systems and Control (eess.SY)

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

Title: Forbidden patterns of graphs 12-representable by pattern-avoiding words

Asahi Takaoka

Comments: 21 pages

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

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

Title: On extremal factors of de Bruijn-like graphs

Nicolás Álvarez, Verónica Becher, Martín Mereb, Ivo Pajor, Carlos Miguel Soto

Journal-ref: Discrete Applied Mathematics 357 (2024) 352-364

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

[98] arXiv:2308.16744 (cross-list from cs.DC) [pdf, other]

Title: MS-BioGraphs: Sequence Similarity Graph Datasets

Mohsen Koohi Esfahani, Paolo Boldi, Hans Vandierendonck, Peter Kilpatrick, Sebastiano Vigna

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Computational Engineering, Finance, and Science (cs.CE); Discrete Mathematics (cs.DM); Performance (cs.PF)