Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets

Download original file

This is the original source text. Reading it does not run or verify the program.

Read the typeset paper

1 @book{Conway1990,
2   author    = {John B. Conway},
3   title     = {A Course in Functional Analysis},
4   edition   = {Second},
5   publisher = {Springer},
6   year      = {1990},
7   doi       = {10.1007/978-1-4757-4383-8},
8   isbn      = {978-0-387-97245-9}
9 }
10 
11 @book{Daubechies1992,
12   author    = {Ingrid Daubechies},
13   title     = {Ten Lectures on Wavelets},
14   series    = {CBMS NSF Regional Conference Series in Applied Mathematics},
15   volume    = {61},
16   publisher = {Society for Industrial and Applied Mathematics},
17   address   = {Philadelphia},
18   year      = {1992}
19 }
20 
21 @book{GohbergLancasterRodman2009,
22   author    = {Israel Gohberg and Peter Lancaster and Leiba Rodman},
23   title     = {Matrix Polynomials},
24   series    = {Classics in Applied Mathematics},
25   volume    = {58},
26   publisher = {Society for Industrial and Applied Mathematics},
27   address   = {Philadelphia},
28   year      = {2009}
29 }
30 
31 @book{Kato1995,
32   author    = {Tosio Kato},
33   title     = {Perturbation Theory for Linear Operators},
34   series    = {Classics in Mathematics},
35   publisher = {Springer},
36   address   = {Berlin},
37   year      = {1995}
38 }
39 
40 @book{Lang2002,
41   author    = {Serge Lang},
42   title     = {Algebra},
43   edition   = {Revised third},
44   series    = {Graduate Texts in Mathematics},
45   volume    = {211},
46   publisher = {Springer},
47   address   = {New York},
48   year      = {2002}
49 }
50 
51 @book{Newman1972,
52   author    = {Morris Newman},
53   title     = {Integral Matrices},
54   series    = {Pure and Applied Mathematics},
55   volume    = {45},
56   publisher = {Academic Press},
57   address   = {New York},
58   year      = {1972}
59 }
60 
61 @book{Serre1979,
62   author    = {Jean Pierre Serre},
63   title     = {Local Fields},
64   series    = {Graduate Texts in Mathematics},
65   volume    = {67},
66   publisher = {Springer},
67   address   = {New York},
68   year      = {1979},
69   note      = {Translated by Marvin Jay Greenberg}
70 }
71 
72 @book{Stanley2012,
73   author    = {Richard P. Stanley},
74   title     = {Enumerative Combinatorics, Volume 1},
75   edition   = {Second},
76   series    = {Cambridge Studies in Advanced Mathematics},
77   volume    = {49},
78   publisher = {Cambridge University Press},
79   address   = {Cambridge},
80   year      = {2012}
81 }
82 
83 @book{Vaidyanathan1993,
84   author    = {P. P. Vaidyanathan},
85   title     = {Multirate Systems and Filter Banks},
86   series    = {Prentice Hall Signal Processing Series},
87   publisher = {Prentice Hall},
88   address   = {Englewood Cliffs, New Jersey},
89   year      = {1993}
90 }
91 
92 @misc{komorebi2026projectorI,author={Komorebi P.},title={Projector-Resolved Seed Calculus I: Typed Seeds, Operator Grammars, and Exact Reconstruction},year={2026},note={Version 1.2.1, manuscript and verification release}}
93 @inproceedings{demoura2015lean,author={de Moura, Leonardo and Kong, Soonho and Avigad, Jeremy and van Doorn, Floris and von Raumer, Jakob},title={The Lean Theorem Prover (System Description)},booktitle={Automated Deduction---CADE-25},year={2015},pages={378--388},doi={10.1007/978-3-319-21401-6_26}}
94 @inproceedings{mathlib2020,author={{The Mathlib Community}},title={The Lean Mathematical Library},booktitle={Proceedings of CPP},year={2020},pages={367--381},doi={10.1145/3372885.3373824}}
95 @book{pozar2012,author={Pozar, David M.},title={Microwave Engineering},edition={4},publisher={Wiley},year={2012}}

Back to source controls

Back to Paper II: Refinement Towers, Weighted Transfer, and Integral Separation of Operator Packets