首页 > 最新文献

Interdisciplinary information sciences最新文献

英文 中文
Spectral Proofs of Maximality of Some Seidel Matrices 一些Seidel矩阵极大性的谱证明
Pub Date : 2021-01-01 DOI: 10.4036/IIS.2021.S.01
Kiyoto Yoshino
A set of lines through the origin in a Euclidean space is equiangular if any pair from these lines forms the same angle. The problem to determine the maximum cardinality NðdÞ (d 2 Z 2) of a set of equiangular lines in R dates back to the result of Haantjes [8]. Also, the value NðdÞ is known for every d 17 (see [5, Table 1]). Some lower bounds of the values NðdÞ are given by constructing sets of equiangular lines for larger values of d. We are interested in whether the bounds can be improved, and in particular we will check whether some sets of equiangular lines can be extended. Lin and Yu [9, 10] defined a set X of equiangular lines of rank r to be saturated if there is no line l 62 X such that the union X [ flg is a set of equiangular lines of rank r. Here, the rank of a set of equiangular lines is the smallest dimension of Euclidean spaces into which these lines are isometrically embedded. By using a computer implementing their algorithm [10, p. 274], they verified in [10, Theorem 1 and the end of Sect. 3.2] that seven sets of equiangular lines are saturated. Their algorithm requires the computation of the clique numbers of graphs, which is known to be an NPcomplete problem. We will verify their results by investigating spectra, without a computer. We introduce Seidel matrices in connection with equiangular lines. A Seidel matrix is a symmetric matrix with zero diagonal and all off-diagonal entries 1. Note that if a Seidel matrix S has largest eigenvalue , then there exist vectors whose Gram matrix equals I S, which span a set of equiangular lines with common angle arccosð1= Þ. Cao, Koolen, Munemasa and Yoshino [2] defined a Seidel matrix S with largest eigenvalue to be maximal if there is no Seidel matrix S0 containing S as a proper principal submatrix with largest eigenvalue such that rankð I SÞ 1⁄4 rankð I S0Þ. In other words, the Seidel matrix obtained from a saturated set of equiangular lines is maximal. In this paper, we prove Theorem 1.1, which shows maximality of Seidel matrices with spectra in Table 1, with only the aid of spectra instead of a computer. Specifically, we use Cauchy’s interlacing theorem and the angles of matrices, which are used by Greaves and Yatsyna [6] in order to show some Seidel spectra do not exist. This method enables us to simultaneously verify maximality of some Seidel matrices having common spectra. For example, Szöll} osi and Östergård in [11, Theorem 5.2] showed that there exist, up to switching equivalence, at least 1045 Seidel matrices of order 28 with spectrum f1⁄25 ; 1⁄2 3 ; 1⁄2 7 g. Actually, Theorem 1.1 implies that these Seidel matrices are maximal.
在欧几里德空间中经过原点的一组直线是等角的,如果这些直线中的任何一对形成相同的角。确定R中一组等角线的最大基数NðdÞ (d2z2)的问题可以追溯到Haantjes[8]的结果。此外,每隔17天就知道一个值NðdÞ(参见[5,表1])。对于较大的d值,通过构造等角线的集合给出了NðdÞ值的一些下界。我们感兴趣的是这些边界是否可以改进,特别是我们将检查一些等角线的集合是否可以扩展。Lin和Yu[9,10]定义了秩为r的等角线集合X在不存在直线162 X的情况下是饱和的,使得并集X [flg]是秩为r的等角线集合。这里,等角线集合的秩是等距嵌入的欧氏空间的最小维数。通过使用计算机实现他们的算法[10,第274页],他们在[10,定理1和3.2节的末尾]中验证了七组等角线是饱和的。他们的算法需要计算图的团数,这是一个已知的NPcomplete问题。我们将在没有计算机的情况下,通过研究光谱来验证他们的结果。我们引入了与等角线有关的赛德尔矩阵。赛德尔矩阵是一个对称矩阵,它的对角线元素为零,而非对角线元素为1。注意,如果一个Seidel矩阵S具有最大的特征值,则存在其Gram矩阵等于1s的向量,这些向量张成了一组等角线,共角arccosð1= Þ。Cao, Koolen, Munemasa和Yoshino[2]定义了一个最大特征值的Seidel矩阵S,如果不存在一个包含S为最大特征值的固有主子矩阵S0,使得rankð I SÞ 1⁄4 rankð I S0Þ。换句话说,由一组饱和的等角线得到的塞德尔矩阵是极大的。本文只用谱代替计算机证明了表1中具有谱的Seidel矩阵的极大性定理1.1。具体来说,我们使用Greaves和Yatsyna[6]所使用的柯西交错定理和矩阵的角度来证明某些Seidel谱不存在。该方法使我们能够同时验证一些具有公共谱的塞德尔矩阵的极大性。例如,[11]中的Szöll} osi和Östergård,定理5.2表明,在切换等价之前,存在至少1045个谱为f1 / 25的28阶Seidel矩阵;1 / 2 3;1 / 2 7 g。实际上,定理1.1表明这些赛德尔矩阵是极大的。
{"title":"Spectral Proofs of Maximality of Some Seidel Matrices","authors":"Kiyoto Yoshino","doi":"10.4036/IIS.2021.S.01","DOIUrl":"https://doi.org/10.4036/IIS.2021.S.01","url":null,"abstract":"A set of lines through the origin in a Euclidean space is equiangular if any pair from these lines forms the same angle. The problem to determine the maximum cardinality NðdÞ (d 2 Z 2) of a set of equiangular lines in R dates back to the result of Haantjes [8]. Also, the value NðdÞ is known for every d 17 (see [5, Table 1]). Some lower bounds of the values NðdÞ are given by constructing sets of equiangular lines for larger values of d. We are interested in whether the bounds can be improved, and in particular we will check whether some sets of equiangular lines can be extended. Lin and Yu [9, 10] defined a set X of equiangular lines of rank r to be saturated if there is no line l 62 X such that the union X [ flg is a set of equiangular lines of rank r. Here, the rank of a set of equiangular lines is the smallest dimension of Euclidean spaces into which these lines are isometrically embedded. By using a computer implementing their algorithm [10, p. 274], they verified in [10, Theorem 1 and the end of Sect. 3.2] that seven sets of equiangular lines are saturated. Their algorithm requires the computation of the clique numbers of graphs, which is known to be an NPcomplete problem. We will verify their results by investigating spectra, without a computer. We introduce Seidel matrices in connection with equiangular lines. A Seidel matrix is a symmetric matrix with zero diagonal and all off-diagonal entries 1. Note that if a Seidel matrix S has largest eigenvalue , then there exist vectors whose Gram matrix equals I S, which span a set of equiangular lines with common angle arccosð1= Þ. Cao, Koolen, Munemasa and Yoshino [2] defined a Seidel matrix S with largest eigenvalue to be maximal if there is no Seidel matrix S0 containing S as a proper principal submatrix with largest eigenvalue such that rankð I SÞ 1⁄4 rankð I S0Þ. In other words, the Seidel matrix obtained from a saturated set of equiangular lines is maximal. In this paper, we prove Theorem 1.1, which shows maximality of Seidel matrices with spectra in Table 1, with only the aid of spectra instead of a computer. Specifically, we use Cauchy’s interlacing theorem and the angles of matrices, which are used by Greaves and Yatsyna [6] in order to show some Seidel spectra do not exist. This method enables us to simultaneously verify maximality of some Seidel matrices having common spectra. For example, Szöll} osi and Östergård in [11, Theorem 5.2] showed that there exist, up to switching equivalence, at least 1045 Seidel matrices of order 28 with spectrum f1⁄25 ; 1⁄2 3 ; 1⁄2 7 g. Actually, Theorem 1.1 implies that these Seidel matrices are maximal.","PeriodicalId":91087,"journal":{"name":"Interdisciplinary information sciences","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70252779","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the Fourth Coefficient of the Inverse of a Starlike Function of Positive Order 关于正阶星形函数逆的第四系数
Pub Date : 2020-11-16 DOI: 10.20944/preprints202011.0428.v1
T. Sugawa, Li-Mei Wang
We consider the inverse function $z=g(w)$ of a (normalized) starlike function $w=f(z)$ of order $alpha$ on the unit disk of the complex plane with $0
我们考虑了$0
{"title":"On the Fourth Coefficient of the Inverse of a Starlike Function of Positive Order","authors":"T. Sugawa, Li-Mei Wang","doi":"10.20944/preprints202011.0428.v1","DOIUrl":"https://doi.org/10.20944/preprints202011.0428.v1","url":null,"abstract":"We consider the inverse function $z=g(w)$ of a (normalized) starlike function $w=f(z)$ of order $alpha$ on the unit disk of the complex plane with $0<alpha<1.$ Krzy{. z}, Libera and Zl otkiewicz obtained sharp estimates of the second and the third coefficients of $g(w)$ in their 1979 paper. Prokhorov and Szynal gave sharp estimates of the fourth coefficient of $g(w)$ as a consequence of the solution to an extremal problem in 1981. We give a straightforward proof of the estimate of the fourth coefficient of $g(w)$ together with explicit forms of the extremal functions.","PeriodicalId":91087,"journal":{"name":"Interdisciplinary information sciences","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45939414","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Elements of Multi-Variate Analysis for Data Science 数据科学中多变量分析的要素
Pub Date : 2020-01-01 DOI: 10.4036/iis.2020.a.02
M. S. Baladram, N. Obata
These lecture notes provide a quick review of basic concepts in statistical analysis and probability theory for data science. We survey general description of singleand multi-variate data, and derive regression models by means of the method of least squares. As theoretical backgrounds we provide basic knowledge of probability theory which is indispensable for further study of mathematical statistics and probability models. We show that the regression line for a multi-variate normal distribution coincides with the regression curve defined through the conditional density function. In Appendix matrix operations are quickly reviewed. These notes are based on the lectures delivered in Graduate Program in Data Science (GP-DS) and Data Sciences Program (DSP) at Tohoku University in 2018–2020.
这些课堂讲稿快速回顾了数据科学中统计分析和概率论的基本概念。本文概述了单变量和多变量数据的一般描述,并利用最小二乘法推导了回归模型。作为理论背景,我们提供了概率论的基本知识,这对进一步研究数理统计和概率模型是必不可少的。我们证明了多元正态分布的回归线与通过条件密度函数定义的回归曲线重合。在附录中,对矩阵运算进行了快速回顾。这些笔记是基于2018-2020年东北大学数据科学研究生课程(GP-DS)和数据科学课程(DSP)的讲座。
{"title":"The Elements of Multi-Variate Analysis for Data Science","authors":"M. S. Baladram, N. Obata","doi":"10.4036/iis.2020.a.02","DOIUrl":"https://doi.org/10.4036/iis.2020.a.02","url":null,"abstract":"These lecture notes provide a quick review of basic concepts in statistical analysis and probability theory for data science. We survey general description of singleand multi-variate data, and derive regression models by means of the method of least squares. As theoretical backgrounds we provide basic knowledge of probability theory which is indispensable for further study of mathematical statistics and probability models. We show that the regression line for a multi-variate normal distribution coincides with the regression curve defined through the conditional density function. In Appendix matrix operations are quickly reviewed. These notes are based on the lectures delivered in Graduate Program in Data Science (GP-DS) and Data Sciences Program (DSP) at Tohoku University in 2018–2020.","PeriodicalId":91087,"journal":{"name":"Interdisciplinary information sciences","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70252638","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Walks: A Beginner's Guide to Graphs and Matrices 步行:初学者的指南,图形和矩阵
Pub Date : 2020-01-01 DOI: 10.4036/iis.2020.a.01
Yuki Irie
We provide an introduction to graph theory and linear algebra. The present article consists of two parts. In the first part, we review the transfer-matrix method. It is known that many enumeration problems can be reduced to counting walks in a graph. After recalling the basics of linear algebra, we count walks in a graph by using eigenvalues. In the second part, we introduce PageRank by using a random walk model. PageRank is a method to estimate the importance of web pages and is one of the most successful algorithms. This article is based on the author’s lectures at Tohoku University in 2018 and 2020.
我们将介绍图论和线性代数。本文由两部分组成。在第一部分中,我们回顾了传递矩阵方法。众所周知,许多枚举问题可以简化为计算图中的行走次数。在回顾了线性代数的基础知识之后,我们用特征值来计算图中的行走次数。在第二部分中,我们使用随机漫步模型介绍了PageRank。PageRank是一种估计网页重要性的方法,是最成功的算法之一。本文基于作者2018年和2020年在东北大学的演讲。
{"title":"Walks: A Beginner's Guide to Graphs and Matrices","authors":"Yuki Irie","doi":"10.4036/iis.2020.a.01","DOIUrl":"https://doi.org/10.4036/iis.2020.a.01","url":null,"abstract":"We provide an introduction to graph theory and linear algebra. The present article consists of two parts. In the first part, we review the transfer-matrix method. It is known that many enumeration problems can be reduced to counting walks in a graph. After recalling the basics of linear algebra, we count walks in a graph by using eigenvalues. In the second part, we introduce PageRank by using a random walk model. PageRank is a method to estimate the importance of web pages and is one of the most successful algorithms. This article is based on the author’s lectures at Tohoku University in 2018 and 2020.","PeriodicalId":91087,"journal":{"name":"Interdisciplinary information sciences","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70252622","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Introduction to Supervised Machine Learning for Data Science 数据科学的监督机器学习导论
Pub Date : 2020-01-01 DOI: 10.4036/iis.2020.a.03
M. S. Baladram, A. Koike, Kazunori D. Yamada
We present an introduction to supervised machine learning methods with emphasis on neural networks, kernel support vector machines, and decision trees. These methods are representative methods of supervised learning. Recently, there has been a boom in artificial intelligence research. Neural networks are a key concept of deep learning and are the origin of the current boom in artificial intelligence research. Support vector machines are one of the most sophisticated learning methods from the perspective of prediction performance. Its high performance is primarily owing to the use of the kernel method, which is an important concept not only for support vector machines but also for other machine learning methods. Although these methods are the so-called black-box methods, the decision tree is a white-box method, where the judgment criteria of prediction by the predictor can be easily interpreted. Decision trees are used as the base method of ensemble learning, which is a refined learning technique to improve prediction performance. We review the theory of supervised machine learning methods and illustrate their applications. We also discuss nonlinear optimization methods for the machine to learn the training dataset.
我们介绍了有监督的机器学习方法,重点是神经网络、核支持向量机和决策树。这些方法都是监督学习的代表性方法。最近,人工智能的研究蓬勃发展。神经网络是深度学习的一个关键概念,也是当前人工智能研究热潮的起源。从预测性能的角度来看,支持向量机是最复杂的学习方法之一。它的高性能主要是由于使用了核方法,核方法不仅对支持向量机而且对其他机器学习方法都是一个重要的概念。虽然这些方法是所谓的黑盒方法,但决策树是一种白盒方法,其中预测者预测的判断标准可以很容易地解释。决策树作为集成学习的基础方法,是一种提高预测性能的精细学习技术。我们回顾了监督机器学习方法的理论,并说明了它们的应用。我们还讨论了机器学习训练数据集的非线性优化方法。
{"title":"Introduction to Supervised Machine Learning for Data Science","authors":"M. S. Baladram, A. Koike, Kazunori D. Yamada","doi":"10.4036/iis.2020.a.03","DOIUrl":"https://doi.org/10.4036/iis.2020.a.03","url":null,"abstract":"We present an introduction to supervised machine learning methods with emphasis on neural networks, kernel support vector machines, and decision trees. These methods are representative methods of supervised learning. Recently, there has been a boom in artificial intelligence research. Neural networks are a key concept of deep learning and are the origin of the current boom in artificial intelligence research. Support vector machines are one of the most sophisticated learning methods from the perspective of prediction performance. Its high performance is primarily owing to the use of the kernel method, which is an important concept not only for support vector machines but also for other machine learning methods. Although these methods are the so-called black-box methods, the decision tree is a white-box method, where the judgment criteria of prediction by the predictor can be easily interpreted. Decision trees are used as the base method of ensemble learning, which is a refined learning technique to improve prediction performance. We review the theory of supervised machine learning methods and illustrate their applications. We also discuss nonlinear optimization methods for the machine to learn the training dataset.","PeriodicalId":91087,"journal":{"name":"Interdisciplinary information sciences","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2020-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70252701","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
New Invariants for Integral Lattices 积分格的新不变量
Pub Date : 2019-03-20 DOI: 10.4036/IIS.2019.R.02
Ryota Hayasaka, T. Miezaki, M. Toki
Let $Lambda$ be any integral lattice in Euclidean space. It has been shown that for every integer $n>0$, there is a hypersphere that passes through exactly $n$ points of $Lambda$. Using this result, we introduce new lattice invariants and give some computational results related to two-dimensional Euclidean lattices of class number one.
设$Lambda$是欧几里得空间中的任意积分格。已经证明,对于每一个整数$n>0$,都有一个超球面正好穿过$Lambda$的$n$点。利用这一结果,我们引入了新的格不变量,并给出了与类号为1的二维欧氏格有关的一些计算结果。
{"title":"New Invariants for Integral Lattices","authors":"Ryota Hayasaka, T. Miezaki, M. Toki","doi":"10.4036/IIS.2019.R.02","DOIUrl":"https://doi.org/10.4036/IIS.2019.R.02","url":null,"abstract":"Let $Lambda$ be any integral lattice in Euclidean space. It has been shown that for every integer $n>0$, there is a hypersphere that passes through exactly $n$ points of $Lambda$. Using this result, we introduce new lattice invariants and give some computational results related to two-dimensional Euclidean lattices of class number one.","PeriodicalId":91087,"journal":{"name":"Interdisciplinary information sciences","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41321722","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Homogenization Method for Topology Optimization of Structures: Old and New 结构拓扑优化的均匀化方法:新旧
Pub Date : 2019-01-27 DOI: 10.4036/iis.2019.b.01
G. Allaire, L. Cavallina, Nobuhito Miyake, Tomoyuki Oka, Toshiaki Yachimura
These are the lecture notes of a short course on the homogenization method for topology optimization of structures, given by Gr'egoire Allaire, during the "GSIS International Summer School 2018" at Tohoku University (Sendai, Japan). The goal of this course is to review the necessary mathematical tools of homogenization theory and apply them to topology optimization of mechanical structures. The ultimate application, targeted in this course, is the topology optimization of structures built with lattice materials. Practical and numerical exercises are given, based on the finite element free software FreeFem++.
这是Gr egoire Allaire在日本东北大学(仙台)举办的“2018年GSIS国际暑期学校”上关于结构拓扑优化均质化方法的短期课程讲义。本课程的目的是回顾均匀化理论的必要数学工具,并将其应用于机械结构的拓扑优化。最终的应用,在本课程的目标,是用晶格材料构建的结构的拓扑优化。在自由有限元软件FreeFem++的基础上,给出了实际算例和数值计算。
{"title":"The Homogenization Method for Topology Optimization of Structures: Old and New","authors":"G. Allaire, L. Cavallina, Nobuhito Miyake, Tomoyuki Oka, Toshiaki Yachimura","doi":"10.4036/iis.2019.b.01","DOIUrl":"https://doi.org/10.4036/iis.2019.b.01","url":null,"abstract":"These are the lecture notes of a short course on the homogenization method for topology optimization of structures, given by Gr'egoire Allaire, during the \"GSIS International Summer School 2018\" at Tohoku University (Sendai, Japan). The goal of this course is to review the necessary mathematical tools of homogenization theory and apply them to topology optimization of mechanical structures. The ultimate application, targeted in this course, is the topology optimization of structures built with lattice materials. Practical and numerical exercises are given, based on the finite element free software FreeFem++.","PeriodicalId":91087,"journal":{"name":"Interdisciplinary information sciences","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.4036/iis.2019.b.01","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70252961","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Optimal Design by Adaptive Mesh Refinement on Shape Optimization of Flow Fields Considering Proper Orthogonal Decomposition 考虑适当正交分解的流场形状优化自适应网格细化优化设计
Pub Date : 2019-01-01 DOI: 10.4036/iis.2019.b.02
T. Nakazawa, C. Nakajima
This paper presents optimal design using Adaptive Mesh Refinement (AMR) with shape optimization method. The method suppresses time periodic flows driven only by the non-stationary boundary condition at a sufficiently low Reynolds number using Snapshot Proper Orthogonal Decomposition (Snapshot POD). For shape optimization, the eigenvalue in Snapshot POD is defined as a cost function. The main problems are non-stationary Navier– Stokes problems and eigenvalue problems of POD. An objective functional is described using Lagrange multipliers and finite element method. Two-dimensional cavity flow with a disk-shaped isolated body is adopted. The non-stationary boundary condition is defined on the top boundary and non-slip boundary condition respectively for the side and bottom boundaries and for the disk boundary. For numerical demonstration, the disk boundary is used as the design boundary. Using H gradient method for domain deformation, all triangles over a mesh are deformed as the cost function decreases. To avoid decreasing the numerical accuracy based on squeezing triangles, AMR is applied throughout the shape optimization process to maintain numerical accuracy equal to that of a mesh in the initial domain. The combination of eigenvalues that can best suppress the time periodic flow is investigated.
采用自适应网格细化(AMR)和形状优化方法进行优化设计。该方法利用快照固有正交分解(Snapshot POD)抑制在足够低雷诺数下仅由非平稳边界条件驱动的时间周期流。对于形状优化,将快照POD中的特征值定义为代价函数。主要问题是非平稳Navier - Stokes问题和POD的特征值问题。用拉格朗日乘子和有限元方法描述了一个目标泛函。采用圆盘状隔离体的二维空腔流动。对于边边界和底边界以及圆盘边界,分别定义了顶边界的非平稳边界条件和防滑边界条件。为了进行数值演示,采用圆盘边界作为设计边界。使用H梯度法进行区域变形,网格上的所有三角形都随着代价函数的减小而变形。为了避免基于挤压三角形的数值精度降低,在整个形状优化过程中应用了AMR,以保持与初始域内网格的数值精度相等。研究了最能抑制时间周期流的特征值组合。
{"title":"Optimal Design by Adaptive Mesh Refinement on Shape Optimization of Flow Fields Considering Proper Orthogonal Decomposition","authors":"T. Nakazawa, C. Nakajima","doi":"10.4036/iis.2019.b.02","DOIUrl":"https://doi.org/10.4036/iis.2019.b.02","url":null,"abstract":"This paper presents optimal design using Adaptive Mesh Refinement (AMR) with shape optimization method. The method suppresses time periodic flows driven only by the non-stationary boundary condition at a sufficiently low Reynolds number using Snapshot Proper Orthogonal Decomposition (Snapshot POD). For shape optimization, the eigenvalue in Snapshot POD is defined as a cost function. The main problems are non-stationary Navier– Stokes problems and eigenvalue problems of POD. An objective functional is described using Lagrange multipliers and finite element method. Two-dimensional cavity flow with a disk-shaped isolated body is adopted. The non-stationary boundary condition is defined on the top boundary and non-slip boundary condition respectively for the side and bottom boundaries and for the disk boundary. For numerical demonstration, the disk boundary is used as the design boundary. Using H gradient method for domain deformation, all triangles over a mesh are deformed as the cost function decreases. To avoid decreasing the numerical accuracy based on squeezing triangles, AMR is applied throughout the shape optimization process to maintain numerical accuracy equal to that of a mesh in the initial domain. The combination of eigenvalues that can best suppress the time periodic flow is investigated.","PeriodicalId":91087,"journal":{"name":"Interdisciplinary information sciences","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70252975","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
On the Classification of Knowledge-of-exponent Assumptions in Cyclic Groups 关于循环群中指数知识假设的分类
Pub Date : 2019-01-01 DOI: 10.4036/iis.2019.r.03
Firas Kraiem, Shuji Isobe, E. Koizumi, Hiroki Shizuya
Inspired by the work of Ghadafi and Groth (ASIACRYPT 2017) on a certain type of computational hardness assumptions in cyclic groups (which they call ‘‘target assumptions’’), we initiate an analogous work on another type of hardness assumptions, namely the ‘‘knowledge-of-exponent’’ assumptions (KEAs). Originally introduced by Damga˚rd to construct practical encryption schemes secure against chosen ciphertext attacks, KEAs have subsequently been used primarily to construct succinct non-interactive arguments of knowledge (SNARKs), and proved to be inherent to such constructions. Since SNARKs (and their zero-knowledge variant, zk-SNARKs) are already used in practice in such systems as the Zcash digital currency, it can be expected that the use of KEAs will increase in the future, which makes it important to have a good understanding of those assumptions. Using a proof technique first introduced by Bellare and Palacio (but acknowledged by them as being due to Halevi), we first investigate the internal structure of the q -power knowledge-of-exponent ( q -PKE) family of assumptions introduced by Groth, which is thus far the most general variant of KEAs. We then introduce a generalisation of the q -PKE family, and show that it can be simplified.
受gaddafi和growth (ASIACRYPT 2017)关于循环群中某种类型的计算硬度假设(他们称之为“目标假设”)的工作的启发,我们对另一种类型的硬度假设,即“指数知识”假设(KEAs)进行了类似的工作。最初由Damga˚rd引入,用于构建实用的加密方案,以防止选定的密文攻击,KEAs随后主要用于构建简洁的非交互式知识参数(SNARKs),并被证明是这种结构所固有的。由于SNARKs(以及它们的零知识变体,zk-SNARKs)已经在诸如Zcash数字货币的系统中实际使用,可以预期KEAs的使用将在未来增加,这使得很好地理解这些假设变得很重要。使用Bellare和Palacio首先引入的证明技术(但被他们承认是由于Halevi),我们首先研究了growth引入的q -power知识指数(q -PKE)假设家族的内部结构,这是迄今为止最普遍的KEAs变体。然后我们引入了q -PKE族的推广,并证明了它可以简化。
{"title":"On the Classification of Knowledge-of-exponent Assumptions in Cyclic Groups","authors":"Firas Kraiem, Shuji Isobe, E. Koizumi, Hiroki Shizuya","doi":"10.4036/iis.2019.r.03","DOIUrl":"https://doi.org/10.4036/iis.2019.r.03","url":null,"abstract":"Inspired by the work of Ghadafi and Groth (ASIACRYPT 2017) on a certain type of computational hardness assumptions in cyclic groups (which they call ‘‘target assumptions’’), we initiate an analogous work on another type of hardness assumptions, namely the ‘‘knowledge-of-exponent’’ assumptions (KEAs). Originally introduced by Damga˚rd to construct practical encryption schemes secure against chosen ciphertext attacks, KEAs have subsequently been used primarily to construct succinct non-interactive arguments of knowledge (SNARKs), and proved to be inherent to such constructions. Since SNARKs (and their zero-knowledge variant, zk-SNARKs) are already used in practice in such systems as the Zcash digital currency, it can be expected that the use of KEAs will increase in the future, which makes it important to have a good understanding of those assumptions. Using a proof technique first introduced by Bellare and Palacio (but acknowledged by them as being due to Halevi), we first investigate the internal structure of the q -power knowledge-of-exponent ( q -PKE) family of assumptions introduced by Groth, which is thus far the most general variant of KEAs. We then introduce a generalisation of the q -PKE family, and show that it can be simplified.","PeriodicalId":91087,"journal":{"name":"Interdisciplinary information sciences","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70253022","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Conformal Embeddings of an Open Riemann Surface into Another — A Counterpart of Univalent Function Theory — 开放黎曼曲面在另一开放黎曼曲面上的共形嵌入——一价函数理论的一个对应物
Pub Date : 2019-01-01 DOI: 10.4036/iis.2019.a.02
M. Shiba
We study conformal embeddings of a noncompact Riemann surface of finite genus into compact Riemann surfaces of the same genus and show some of the close relationships between the classical theory of univalent functions and our results. Some new problems are also discussed. This article partially intends to introduce our results and to invite the function-theorists on plane domains to the topics on Riemann surfaces.
我们研究了有限格的非紧黎曼曲面在同一格的紧黎曼曲面上的共形嵌入,并证明了经典一元函数理论与我们的结果之间的一些密切关系。讨论了一些新的问题。本文将部分介绍我们的研究结果,并邀请平面域上的泛函理论家来讨论黎曼曲面的问题。
{"title":"Conformal Embeddings of an Open Riemann Surface into Another — A Counterpart of Univalent Function Theory —","authors":"M. Shiba","doi":"10.4036/iis.2019.a.02","DOIUrl":"https://doi.org/10.4036/iis.2019.a.02","url":null,"abstract":"We study conformal embeddings of a noncompact Riemann surface of finite genus into compact Riemann surfaces of the same genus and show some of the close relationships between the classical theory of univalent functions and our results. Some new problems are also discussed. This article partially intends to introduce our results and to invite the function-theorists on plane domains to the topics on Riemann surfaces.","PeriodicalId":91087,"journal":{"name":"Interdisciplinary information sciences","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2019-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70252755","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
期刊
Interdisciplinary information sciences
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1