-
arXiv:2405.05265 [pdf, ps, other]
On the Properties of the Semigroup Generated by the RL Fractional Integral
Abstract: For operators $A$, it is sometimes possible to define $e^{At}$ as an operator in and of itself provided it meets certain regularity conditions. Like $e^{λx}$ for ODEs, this operator is useful for solving PDEs involving the operator $A$. We call the set of $e^{At}$ a semigroup generated by $A$. In this paper, we discuss the properties of semigroups generated by the fractional integral, an operator… ▽ More
Submitted 23 April, 2024; originally announced May 2024.
Comments: The earlier version of this paper will appear in the 2023 Hang Lung Mathematics Awards Winners' papers
-
arXiv:2212.09165 [pdf, ps, other]
Unconstrained Traveling Tournament Problem is APX-complete
Abstract: We show that the Unconstrained Traveling Tournament Problem (UTTP) is APX-complete by presenting an L-reduction from a version of metric (1,2)-TSP to UTTP. Keywords: Traveling Tournament Problem, APX-complete, Approximation algorithms, Traveling Salesman Problem
Submitted 18 December, 2022; originally announced December 2022.
Comments: The results of this paper appear in preliminary form in the thesis of the first author "The Traveling Tournament Problem'', Master's thesis, University of Waterloo, 2022. See: https://uwspace.uwaterloo.ca/handle/10012/18553
-
Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares
Abstract: In this paper we provide results on using integer programming (IP) and constraint programming (CP) to search for sets of mutually orthogonal latin squares (MOLS). Both programming paradigms have previously successfully been used to search for MOLS, but solvers for IP and CP solvers have significantly improved in recent years and data on how modern IP and CP solvers perform on the MOLS problem is l… ▽ More
Submitted 19 March, 2021; originally announced March 2021.
-
A SAT-based Resolution of Lam's Problem
Abstract: In 1989, computer searches by Lam, Thiel, and Swiercz experimentally resolved Lam's problem from projective geometry$\unicode{x2014}$the long-standing problem of determining if a projective plane of order ten exists. Both the original search and an independent verification in 2011 discovered no such projective plane. However, these searches were each performed using highly specialized custom-writt… ▽ More
Submitted 8 December, 2020; originally announced December 2020.
Comments: To appear at the Thirty-Fifth AAAI Conference on Artificial Intelligence
-
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten
Abstract: In 1983, a computer search was performed for ovals in a projective plane of order ten. The search was exhaustive and negative, implying that such ovals do not exist. However, no nonexistence certificates were produced by this search, and to the best of our knowledge the search has never been independently verified. In this paper, we rerun the search for ovals in a projective plane of order ten and… ▽ More
Submitted 30 May, 2020; v1 submitted 31 January, 2020; originally announced January 2020.
Comments: Appears in the Proceedings of the 31st International Workshop on Combinatorial Algorithms (IWOCA 2020)
Journal ref: Lecture Notes in Computer Science 12126 (2020) 97-111
-
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem
Abstract: In the 1970s and 1980s, searches performed by L. Carter, C. Lam, L. Thiel, and S. Swiercz showed that projective planes of order ten with weight 16 codewords do not exist. These searches required highly specialized and optimized computer programs and required about 2,000 hours of computing time on mainframe and supermini computers. In 2011, these searches were verified by D. Roy using an optimized… ▽ More
Submitted 1 May, 2020; v1 submitted 31 January, 2020; originally announced January 2020.
Comments: To appear in Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020)
-
arXiv:1908.10989 [pdf, ps, other]
Revisiting a Cutting Plane Method for Perfect Matchings
Abstract: In 2016, Chandrasekaran, Végh, and Vempala published a method to solve the minimum-cost perfect matching problem on an arbitrary graph by solving a strictly polynomial number of linear programs. However, their method requires a strong uniqueness condition, which they imposed by using perturbations of the form $c(i)=c_0(i)+2^{-i}$. On large graphs (roughly $m>100$), these perturbations lead to cost… ▽ More
Submitted 28 August, 2019; originally announced August 2019.
Comments: 19 pages
MSC Class: 90C10; 68Q25; 68R10; 90C35
-
arXiv:1710.10339 [pdf, ps, other]
Improved approximation of layout problems on random graphs
Abstract: Inspired by previous work of Diaz, Petit, Serna, and Trevisan (Approximating layout problems on random graphs Discrete Mathematics, 235, 2001, 245--253), we show that several well-known graph layout problems are approximable to within a factor arbitrarily close to 1 of the optimal with high probability for random graphs drawn from an Erdös-Renyi distribution with appropriate sparsity conditions. M… ▽ More
Submitted 27 October, 2017; originally announced October 2017.
Comments: 15 pages
-
Verifying Integer Programming Results
Abstract: Software for mixed-integer linear programming can return incorrect results for a number of reasons, one being the use of inexact floating-point arithmetic. Even solvers that employ exact arithmetic may suffer from programming or algorithmic errors, motivating the desire for a way to produce independently verifiable certificates of claimed results. Due to the complex nature of state-of-the-art MILP… ▽ More
Submitted 1 January, 2019; v1 submitted 27 November, 2016; originally announced November 2016.
Comments: Zuse Institute Berlin, Takustr. 7, 14195 Berlin, November 2016, http://nbn-resolving.de/urn:nbn:de:0297-zib-61044
Report number: ZIB-Report 16-58 MSC Class: 90C11
Journal ref: In F. Eisenbrand and J. Koenemann, eds., Integer Programming and Combinatorial Optimization: 19th International Conference, IPCO 2017, pages 148-160, 2017
-
arXiv:cs/0101004 [pdf, ps, other]
Decomposing Finite Abelian Groups
Abstract: This paper describes a quantum algorithm for efficiently decomposing finite Abelian groups. Such a decomposition is needed in order to apply the Abelian hidden subgroup algorithm. Such a decomposition (assuming the Generalized Riemann Hypothesis) also leads to an efficient algorithm for computing class numbers (known to be at least as difficult as factoring).
Submitted 5 January, 2001; originally announced January 2001.
Comments: 6 pages
ACM Class: F.1