세미나 및 콜로퀴엄
구글 Calendar나 iPhone 등에서 구독하면 세미나 시작 전에 알림을 받을 수 있습니다.
A (vertex)
k
coloring of a graph
G
is a treecoloring if each color class induces a forest, and is equitable if the sizes of any two color classes differ by at most 1. The first relative result concerning the equitable treecoloring of graphs is due to H. Fan, H. A. Kierstead, G. Liu, T. Molla, J.L. Wu, and X. Zhang (2011), who proved that any graph with maximum degree at most
Δ
has a
Δ
coloring so that each color class induces a graph with maximum degree at most 1. After that, many results on this topic were published in the literature. For example, L. Esperet, L. Lemoine, and F. Maffray (2015) showed that any planar graph admits an equitable tree
k
coloring for every integer
k
≥
4
，and G. Chen, Y. Gao, S. Shan, G. Wang, and J.L. Wu (2017) proved that any 5degenerate graph with maximum degree at most
Δ
admits an equitable tree
k
coloring for every
k
≥
⌈
Δ
+
1
2
⌉
.
In this talk, we review part of the known results and the conjectures on the equitable treecoloring of graphs, and then show the sketch proofs of our three new results as follows:
(a) the vertex set of any graph
G
can be equitably partitioned into
k
subsets for any integer
k
≥
max
{
⌈
Δ
(
G
)
+
1
2
⌉
,
⌈

G

4
⌉
}
so that each of them induces a linear forest;
(b) any plane graph with independent crossings admits an equitable tree
k
coloring for every integer
k
≥
8
;
(c) any
d
degenerate graph with maximum degree at most
Δ
admits an equitable tree
k
coloring for every integer
k
≥
(
Δ
+
1
)
/
2
provided that
Δ
≥
10
d
.
This is a joint work with Yuping Gao, Bi Li, Yan Li, and Bei Niu.
Derived/spectral algebraic geometry is a relatively new area which features homotopy theory in algebraic geometry. I’ll introduce some of its features and the notions of smooth morphisms in spectral algebraic geometry with a view toward Brauer groups, a subject of my next talk in a week. There are no prerequisites required other than ordinary algebraic geometry, so everyone is welcome to attend.
Grothendieck posed a question of whether the natural map from the Brauer group of a scheme to its cohomological one is an isomorphism of abelian groups. It’s not true in general, but we have some positive results from Grothendieck and Gabber (and de Jong), among many others. After a brief review of Brauer groups in algebraic geometry, I’ll talk about some recent progress in the setting of derived and spectral algebraic geometry, where we can provide an affirmative answer for quasicompact and quasiseparated (derived/spectral) schemes, and my work which extends the previous results to spectral algebraic stacks.
We investigate how minormonotone graph parameters change if we add a few random edges to a connected graph
H
. Surprisingly, after adding a few random edges, its treewidth, treedepth, genus, and the size of a largest complete minor become very large regardless of the shape of
H
. Our results are close to best possible for various cases. We also discuss analogous results for randomly perturbed bipartite graphs as well as the size of a largest complete odd minor in randomly perturbed graphs.
Studying Galois covers of the projective line and their specializations is a central topic in inverse Galois theory, due to their connection with the inverse Galois problem. In this talk, we shall present two applications to diophantine geometry and the theory of modular forms. Firstly, we shall explain how deriving many
curves over $\mathbb{Q}$ failing the Hasse principle, under the abcconjecture. Secondly, we shall construct infinitely many nonliftable Hecke eigenforms of weight one over $\overline{\mathbb{F}_p}$ with pairwise nonisomorphic projective Galois representations, for $p \in \{3,5,7,11\}$. This talk is based on joint works with Joachim Koenig, and with Sara AriasdeReyna and Gabor Wiese.
In this talk, we propose an overlapping additive Schwarz method for the dual Rudin–Osher–Fatemi (ROF) model, which is a standard problem in mathematical image processing. The O(1/n)energy convergence of the proposed method is proven, where n is the number of iterations. In addition, we introduce an interesting convergence property called pseudolinear convergence of the proposed method; the energy of the proposed method decreases as fast as linearly convergent algorithms until it reaches a particular value. It is shown that such the particular value depends on the overlapping width, and the proposed method becomes as efficient as linearly convergent algorithms if the width is large. As the latest domain decomposition methods for the ROF model are sublinearly convergent, the proposed method outperforms them in the sense of the energy decay.
In this talk we will discuss a nonoverlapping domain decomposition method for the Stokes problem with a discontinuous viscosity. There are two key ingredients in the proposed method; one is an infsup stable finite element for the Stokes problem and the other is a preconditioning procedure based on the FETIDP approach. Theoretical results for the condition number estimate of the preconditioned problem will be presented along with numerical results.
We denote by $\mathcal{H}_{d,g,r}$ the Hilbert scheme of smooth curves, which is the union of components whose general point corresponds to a smooth irreducible and nondegenerate curve of degree $d$ and genus $g$ in $\mathbb{P}^r$.
In this talk, we show that any nonempty $\mathcal{H}_{g+1,g,4}$ has only one component whose general element is linearly normal unless $g=9$. If $g=9$, we show that $\mathcal{H}_{10,9,4}$ is reducible with two components and a general element of each component is linearly normal. This estabilishes the validity of a certain modified version of an assertion of Severi regarding the irreducibility of $\mathcal{H}_{d,g,r}$ for the case $d=g+1$ and $r=4$. This work has been carried out by the joint work with Changho Keem.