12 research outputs found
Graph Polynomials and Group Coloring of Graphs
Let be an Abelian group and let be a simple graph. We say that
is -colorable if for some fixed orientation of and every edge
labeling , there exists a vertex coloring by
the elements of such that , for every edge
(oriented from to ).
Langhede and Thomassen proved recently that every planar graph on
vertices has at least different -colorings. By using a
different approach based on graph polynomials, we extend this result to
-minor-free graphs in the more general setting of field coloring. More
specifically, we prove that every such graph on vertices is
--choosable, whenever is an arbitrary field with at
least elements. Moreover, the number of colorings (for every list
assignment) is at least .Comment: 14 page
Covering grids with multiplicity
Given a finite grid in , how many lines are needed to cover all but one point at least times? Problems of this nature have been studied for decades, with a general lower bound having been established by Ball and Serra. We solve this problem for various types of grids, in particular showing the tightness of the Ball--Serra bound when one side is much larger than the other. In other cases, we prove new lower bounds that improve upon Ball--Serra and provide an asymptotic answer for almost all grids. For the standard grid , we prove nontrivial upper and lower bounds on the number of lines needed. To prove our results, we combine linear programming duality with some combinatorial arguments
Subspace coverings with multiplicities
We study the problem of determining the minimum number of affine
subspaces of codimension that are required to cover all points of
at least times while covering the
origin at most times. The case is a classic result of Jamison,
which was independently obtained by Brouwer and Schrijver for . The
value of also follows from a well-known theorem of Alon and F\"uredi
about coverings of finite grids in affine spaces over arbitrary fields. Here we
determine the value of this function exactly in various ranges of the
parameters. In particular, we prove that for we have
, while for we have , and also study the
transition between these two ranges. While previous work in this direction has
primarily employed the polynomial method, we prove our results through more
direct combinatorial and probabilistic arguments, and also exploit a connection
to coding theory.Comment: 15 page
๊ทผ์ฌ ์ฐ์ฐ์ ๋ํ ๊ณ์ฐ ๊ฒ์ฆ ์ฐ๊ตฌ
ํ์๋
ผ๋ฌธ(๋ฐ์ฌ)--์์ธ๋ํ๊ต ๋ํ์ :์์ฐ๊ณผํ๋ํ ์๋ฆฌ๊ณผํ๋ถ,2020. 2. ์ฒ์ ํฌ.Verifiable Computing (VC) is a complexity-theoretic method to secure the integrity of computations. The need is increasing as more computations are outsourced to untrusted parties, e.g., cloud platforms. Existing techniques, however, have mainly focused on exact computations, but not approximate arithmetic, e.g., floating-point or fixed-point arithmetic. This makes it hard to apply them to certain types of computations (e.g., machine learning, data analysis, and scientific computation) that inherently require approximate arithmetic.
In this thesis, we present an efficient interactive proof system for arithmetic circuits with rounding gates that can represent approximate arithmetic. The main idea is to represent the rounding gate into a small sub-circuit, and reuse the machinery of the Goldwasser, Kalai, and Rothblum's protocol (also known as the GKR protocol) and its recent refinements. Specifically, we shift the algebraic structure from a field to a ring to better deal with the notion of ``digits'', and generalize the original GKR protocol over a ring. Then, we represent the rounding operation by a low-degree polynomial over a ring, and develop a novel, optimal circuit construction of an arbitrary polynomial to transform the rounding polynomial to an optimal circuit representation. Moreover, we further optimize the proof generation cost for rounding by employing a Galois ring. We provide experimental results that show the efficiency of our system for approximate arithmetic. For example, our implementation performed two orders of magnitude better than the existing system for a nested 128 x 128 matrix multiplication of depth 12 on the 16-bit fixed-point arithmetic.๊ณ์ฐ๊ฒ์ฆ ๊ธฐ์ ์ ๊ณ์ฐ์ ๋ฌด๊ฒฐ์ฑ์ ํ๋ณดํ๊ธฐ ์ํ ๊ณ์ฐ ๋ณต์ก๋ ์ด๋ก ์ ๋ฐฉ๋ฒ์ด๋ค. ์ต๊ทผ ๋ง์ ๊ณ์ฐ์ด ํด๋ผ์ฐ๋ ํ๋ซํผ๊ณผ ๊ฐ์ ์ 3์์๊ฒ ์ธ์ฃผ๋จ์ ๋ฐ๋ผ ๊ทธ ํ์์ฑ์ด ์ฆ๊ฐํ๊ณ ์๋ค. ๊ทธ๋ฌ๋ ๊ธฐ์กด์ ๊ณ์ฐ๊ฒ์ฆ ๊ธฐ์ ์ ๋น๊ทผ์ฌ ์ฐ์ฐ๋ง์ ๊ณ ๋ คํ์ ๋ฟ, ๊ทผ์ฌ ์ฐ์ฐ (๋ถ๋ ์์์ ๋๋ ๊ณ ์ ์์์ ์ฐ์ฐ)์ ๊ณ ๋ คํ์ง ์์๋ค. ๋ฐ๋ผ์ ๋ณธ์ง์ ์ผ๋ก ๊ทผ์ฌ ์ฐ์ฐ์ด ํ์ํ ํน์ ์ ํ์ ๊ณ์ฐ (๊ธฐ๊ณ ํ์ต, ๋ฐ์ดํฐ ๋ถ์ ๋ฐ ๊ณผํ ๊ณ์ฐ ๋ฑ)์ ์ ์ฉํ๊ธฐ ์ด๋ ต๋ค๋ ๋ฌธ์ ๊ฐ ์์๋ค.
์ด ๋
ผ๋ฌธ์ ๋ฐ์ฌ๋ฆผ ๊ฒ์ดํธ๋ฅผ ์๋ฐํ๋ ์ฐ์ ํ๋ก๋ฅผ ์ํ ํจ์จ์ ์ธ ๋ํํ ์ฆ๋ช
์์คํ
์ ์ ์ํ๋ค. ์ด๋ฌํ ์ฐ์ ํ๋ก๋ ๊ทผ์ฌ ์ฐ์ฐ์ ํจ์จ์ ์ผ๋ก ํํํ ์ ์์ผ๋ฏ๋ก, ๊ทผ์ฌ ์ฐ์ฐ์ ๋ํ ํจ์จ์ ์ธ ๊ณ์ฐ ๊ฒ์ฆ์ด ๊ฐ๋ฅํ๋ค. ์ฃผ์ ์์ด๋์ด๋ ๋ฐ์ฌ๋ฆผ ๊ฒ์ดํธ๋ฅผ ์์ ํ๋ก๋ก ๋ณํํ ํ, ์ฌ๊ธฐ์ Goldwasser, Kalai, ๋ฐ Rothblum์ ํ๋กํ ์ฝ (GKR ํ๋กํ ์ฝ)๊ณผ ์ต๊ทผ์ ๊ฐ์ ์ ์ ์ฉํ๋ ๊ฒ์ด๋ค. ๊ตฌ์ฒด์ ์ผ๋ก, ๋์์ ๊ฐ์ฒด๋ฅผ ์ ํ์ฒด๊ฐ ์๋ ``์ซ์''๋ฅผ ๋ณด๋ค ์ ์ฒ๋ฆฌํ ์ ์๋ ํ์ผ๋ก ์นํํ ํ, ํ ์์์ ์ ์ฉ ๊ฐ๋ฅํ๋๋ก ๊ธฐ์กด์ GKR ํ๋กํ ์ฝ์ ์ผ๋ฐํํ์๋ค. ์ดํ, ๋ฐ์ฌ๋ฆผ ์ฐ์ฐ์ ํ์์ ์ฐจ์๊ฐ ๋ฎ์ ๋คํญ์์ผ๋ก ํํํ๊ณ , ๋คํญ์ ์ฐ์ฐ์ ์ต์ ์ ํ๋ก ํํ์ผ๋ก ๋ํ๋ด๋ ์๋กญ๊ณ ์ต์ ํ๋ ํ๋ก ๊ตฌ์ฑ์ ๊ฐ๋ฐํ์๋ค. ๋ํ, ๊ฐ๋ฃจ์ ํ์ ์ฌ์ฉํ์ฌ ๋ฐ์ฌ๋ฆผ์ ์ํ ์ฆ๋ช
์์ฑ ๋น์ฉ์ ๋์ฑ ์ต์ ํํ์๋ค. ๋ง์ง๋ง์ผ๋ก, ์คํ์ ํตํด ์ฐ๋ฆฌ์ ๊ทผ์ฌ ์ฐ์ฐ ๊ฒ์ฆ ์์คํ
์ ํจ์จ์ฑ์ ํ์ธํ์๋ค. ์๋ฅผ ๋ค์ด, ์ฐ๋ฆฌ์ ์์คํ
์ ๊ตฌํ ์, 16 ๋นํธ ๊ณ ์ ์์์ ์ฐ์ฐ์ ํตํ ๊น์ด 12์ ๋ฐ๋ณต๋ 128 x 128 ํ๋ ฌ ๊ณฑ์
์ ๊ฒ์ฆ์ ์์ด ๊ธฐ์กด ์์คํ
๋ณด๋ค ์ฝ 100๋ฐฐ ๋ ๋์ ์ฑ๋ฅ์ ๋ณด์ธ๋ค.1 Introduction 1
1.1 Verifiable Computing 2
1.2 Verifiable Approximate Arithmetic 3
1.2.1 Problem: Verification of Rounding Arithmetic 3
1.2.2 Motivation: Verifiable Machine Learning (AI) 4
1.3 List of Papers 5
2 Preliminaries 6
2.1 Interactive Proof and Argument 6
2.2 Sum-Check Protocol 7
2.3 The GKR Protocol 10
2.4 Notation and Cost Model 14
3 Related Work 15
3.1 Interactive Proofs 15
3.2 (Non-)Interactive Arguments 17
4 Interactive Proof for Rounding Arithmetic 20
4.1 Overview of Our Approach and Result 20
4.2 Interactive Proof over a Ring 26
4.2.1 Sum-Check Protocol over a Ring 27
4.2.2 The GKR Protocol over a Ring 29
4.3 Verifiable Rounding Operation 31
4.3.1 Lowest-Digit-Removal Polynomial over Z_{p^e} 32
4.3.2 Verification of Division-by-p Layer 33
4.4 Delegation of Polynomial Evaluation in Optimal Cost 34
4.4.1 Overview of Our Circuit Construction 35
4.4.2 Our Circuit for Polynomial Evaluation 37
4.4.3 Cost Analysis 40
4.5 Cost Optimization 45
4.5.1 Galois Ring over Z_{p^e} and a Sampling Set 45
4.5.2 Optimization of Prover's Cost for Rounding Layers 47
5 Experimental Results 50
5.1 Experimental Setup 50
5.2 Verifiable Rounding Operation 51
5.2.1 Effectiveness of Optimization via Galois Ring 51
5.2.2 Efficiency of Verifiable Rounding Operation 53
5.3 Comparison to Thaler's Refinement of GKR Protocol 54
5.4 Discussion 57
6 Conclusions 60
6.1 Towards Verifiable AI 61
6.2 Verifiable Cryptographic Computation 62
Abstract (in Korean) 74Docto