%PDF-1.5
%
4 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 100 100]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 5 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
5 0 obj
<<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 100.00128] /Coords [0.0 0 100.00128 0] /Function << /FunctionType 3 /Domain [0.0 100.00128] /Functions [ << /FunctionType 2 /Domain [0.0 100.00128] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 25.00032 75.00096] /Encode [0 1 0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>>
endobj
6 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 100 100]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 7 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
7 0 obj
<<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 100.00128] /Coords [0.0 0 100.00128 0] /Function << /FunctionType 3 /Domain [0.0 100.00128] /Functions [ << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> ] /Bounds [ 25.00032 75.00096] /Encode [0 1 0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>>
endobj
8 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 100 100]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 9 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
9 0 obj
<<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 100.00128] /Coords [0 0.0 0 100.00128] /Function << /FunctionType 3 /Domain [0.0 100.00128] /Functions [ << /FunctionType 2 /Domain [0.0 100.00128] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 25.00032 75.00096] /Encode [0 1 0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>>
endobj
10 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 100 100]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 11 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
11 0 obj
<<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 100.00128] /Coords [0 0.0 0 100.00128] /Function << /FunctionType 3 /Domain [0.0 100.00128] /Functions [ << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> ] /Bounds [ 25.00032 75.00096] /Encode [0 1 0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>>
endobj
16 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 100 100]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 17 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
17 0 obj
<<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 50.00064] /Coords [50.00064 50.00064 0.0 50.00064 50.00064 50.00064] /Function << /FunctionType 3 /Domain [0.0 50.00064] /Functions [ << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 22.50027 25.00032] /Encode [0 1 0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>>
endobj
19 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 100 100]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 20 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
20 0 obj
<<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 50.00064] /Coords [50.00064 50.00064 0.0 50.00064 50.00064 50.00064] /Function << /FunctionType 3 /Domain [0.0 50.00064] /Functions [ << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 21.25026 25.00032] /Encode [0 1 0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>>
endobj
22 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 100 100]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 23 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
23 0 obj
<<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 50.00064] /Coords [50.00064 50.00064 0.0 50.00064 50.00064 50.00064] /Function << /FunctionType 3 /Domain [0.0 50.00064] /Functions [ << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 20.00024 25.00032] /Encode [0 1 0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>>
endobj
25 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 100 100]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 26 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
26 0 obj
<<
/Shading << /Sh << /ShadingType 3 /ColorSpace /DeviceRGB /Domain [0.0 50.00064] /Coords [50.00064 50.00064 0.0 50.00064 50.00064 50.00064] /Function << /FunctionType 3 /Domain [0.0 50.00064] /Functions [ << /FunctionType 2 /Domain [0.0 50.00064] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [0 0 0] /C1 [1 1 1] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [1 1 1] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 50.00064] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 21.25026 23.12529 25.00032] /Encode [0 1 0 1 0 1 0 1] >> /Extend [true false] >> >>
/ProcSet [ /PDF ]
>>
endobj
28 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 100 100]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 29 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
29 0 obj
<<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 100.00128] /Coords [0.0 0 100.00128 0] /Function << /FunctionType 3 /Domain [0.0 100.00128] /Functions [ << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0.5 0.5 0.5] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 25.00032 75.00096] /Encode [0 1 0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>>
endobj
30 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 100 100]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 31 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
31 0 obj
<<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 100.00128] /Coords [0.0 0 100.00128 0] /Function << /FunctionType 3 /Domain [0.0 100.00128] /Functions [ << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> ] /Bounds [ 25.00032 75.00096] /Encode [0 1 0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>>
endobj
32 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 100 100]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 33 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
33 0 obj
<<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 100.00128] /Coords [0 0.0 0 100.00128] /Function << /FunctionType 3 /Domain [0.0 100.00128] /Functions [ << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0.5 0.5 0.5] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> ] /Bounds [ 25.00032 75.00096] /Encode [0 1 0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>>
endobj
34 0 obj
<<
/Type /XObject
/Subtype /Form
/BBox [0 0 100 100]
/FormType 1
/Matrix [1 0 0 1 0 0]
/Resources 35 0 R
/Length 15
/Filter /FlateDecode
>>
stream
xP(
endstream
endobj
35 0 obj
<<
/Shading << /Sh << /ShadingType 2 /ColorSpace /DeviceRGB /Domain [0.0 100.00128] /Coords [0 0.0 0 100.00128] /Function << /FunctionType 3 /Domain [0.0 100.00128] /Functions [ << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0 0 0] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0 0 0] /C1 [0.5 0.5 0.5] /N 1 >> << /FunctionType 2 /Domain [0.0 100.00128] /C0 [0.5 0.5 0.5] /C1 [0.5 0.5 0.5] /N 1 >> ] /Bounds [ 25.00032 75.00096] /Encode [0 1 0 1 0 1] >> /Extend [false false] >> >>
/ProcSet [ /PDF ]
>>
endobj
40 0 obj
<< /S /GoTo /D (section.1) >>
endobj
43 0 obj
(Introduction: PIT \046 beyond)
endobj
44 0 obj
<< /S /GoTo /D (subsection.2) >>
endobj
47 0 obj
(Main results: An analytic detour to three PITs)
endobj
48 0 obj
<< /S /GoTo /D (subsection.15) >>
endobj
51 0 obj
(Prior works on related models)
endobj
52 0 obj
<< /S /GoTo /D (subsection.18) >>
endobj
55 0 obj
(Techniques and motivation)
endobj
56 0 obj
<< /S /GoTo /D (subsubsection.19) >>
endobj
59 0 obj
(The DiDI-technique)
endobj
60 0 obj
<< /S /GoTo /D (subsubsection.20) >>
endobj
63 0 obj
(Jacobian hits again)
endobj
64 0 obj
<< /S /GoTo /D (section.21) >>
endobj
67 0 obj
(Preliminaries)
endobj
68 0 obj
<< /S /GoTo /D (subsection.22) >>
endobj
71 0 obj
(Notations and Definitions)
endobj
72 0 obj
<< /S /GoTo /D (subsection.23) >>
endobj
75 0 obj
(Basics of Algebraic Complexity Theory)
endobj
76 0 obj
<< /S /GoTo /D (section.41) >>
endobj
79 0 obj
(Whitebox PIT for SkPSU)
endobj
80 0 obj
<< /S /GoTo /D (subsection.73) >>
endobj
83 0 obj
(Algorithm)
endobj
84 0 obj
<< /S /GoTo /D (section.87) >>
endobj
87 0 obj
(Blacbox PIT for Depth-4 Circuits)
endobj
88 0 obj
<< /S /GoTo /D (subsection.93) >>
endobj
91 0 obj
(PIT for SkPSPdelta)
endobj
92 0 obj
<< /S /GoTo /D (subsection.120) >>
endobj
95 0 obj
(PIT for SkPSU)
endobj
96 0 obj
<< /S /GoTo /D (section.124) >>
endobj
99 0 obj
(Conclusion)
endobj
100 0 obj
<< /S /GoTo /D (Item.130) >>
endobj
103 0 obj
(References)
endobj
104 0 obj
<< /S /GoTo /D [105 0 R /Fit] >>
endobj
143 0 obj
<<
/Length 4967
/Filter /FlateDecode
>>
stream
xOϦx"CMONf?)|9HǑ.N?_X
w
Lc ~,
|(LdČNϻ#"-GWSoxvrzB8̾O>NNg(O/K.G0j C@(T$3܍k>SC@ldAk r~qt㉖;q6wDxha6z$X=VmtR&VoihG~rs