搜索结果：voor

We argue how AI can assist mathematics in three ways: theorem-proving, conjecture formulation, and language processing. Inspired by initial experiments in geometry and theoretical physics in 2017, we summarize how this emerging field has grown over the past years, and show how various machine-learning algorithms can help with pattern detection across disciplines in the mathematical sciences. At the heart is the question how does AI help with theoretical discovery, and the implications for the future of mathematics.

This is a slightly edited translation of a paper in Dutch which appeared in Nieuw Archief voor Wiskunde (5) 25 (2024), No.2, 87-90 on the occasion of I.G. Macdonald's death in 2023, and aimed at a very broad mathematical audience. First we review some of Macdonald's most important older results. Then we focus on the period 1985-1995 when Macdonald often visited the Netherlands and there was much interaction between his work, notably the Macdonald polynomials, and the work by the authors. We end with some glimpses about Macdonald as a person.

A camel can carry one banana at a time on its back. It is on a diet and therefore can only have one banana at a time in its stomach. As soon as it has eaten a banana it walks a mile and then it needs a new banana (in order to be able to continue its itinerary). Let there be a stock of N bananas at the border of the desert. How far can the camel penetrate into the desert, starting at this point? (Of course it can form new stocks with transported bananas.)

Due to their ease of use and high accuracy, Word2Vec (W2V) word embeddings enjoy great success in the semantic representation of words, sentences, and whole documents as well as for semantic similarity estimation. However, they have the shortcoming that they are directly extracted from a surface representation, which does not adequately represent human thought processes and also performs poorly for highly ambiguous words. Therefore, we propose Semantic Concept Embeddings (CE) based on the MultiNet Semantic Network (SN) formalism, which addresses both shortcomings. The evaluation on a marketing target group distribution task showed that the accuracy of predicted target groups can be increased by combining traditional word embeddings with semantic CEs.

On 13-01-2024 the annual wintersymposium of the Koninlijk Wiskundig Genootschap (KWG) was held in the academiegebouw in Utrecht. The symposium had the theme ``inzichtelijk abstract''. Thomas Rot gave a lecture on his favourite theorem from topology. This article is a written account of this lecture. Audience comprised mostly of high school teachers and that is also the target audience of this article. The slides (in Dutch), which contain more pictures, are available~[8].

A brief history of planar aperiodic tile sets is presented, starting from the Domino Problem proposed by Hao Wang in 1961. We provide highlights that led to the discovery of the Taylor--Socolar aperiodic monotile in 2010 and the Hat and Spectre aperiodic monotiles in 2023. The Spectre tile is an amazingly simple monotile; a single tile whose translated and rotated copies tile the plane but only in a way that lacks any translational periodicity. We showcase this breakthrough discovery through the 60$+$ years that aperiodic tile sets have been considered.

Any rational number can be written as the sum of distinct unit fractions. In this survey paper we review some of the many interesting questions concerning such 'Egyptian fraction' decompositions, and recent progress concerning them.

The VEDLIoT project targets the development of energy-efficient Deep Learning for distributed AIoT applications. A holistic approach is used to optimize algorithms while also dealing with safety and security challenges. The approach is based on a modular and scalable cognitive IoT hardware platform. Using modular microserver technology enables the user to configure the hardware to satisfy a wide range of applications. VEDLIoT offers a complete design flow for Next-Generation IoT devices required for collaboratively solving complex Deep Learning applications across distributed systems. The methods are tested on various use-cases ranging from Smart Home to Automotive and Industrial IoT appliances. VEDLIoT is an H2020 EU project which started in November 2020. It is currently in an intermediate stage with the first results available.

This paper is an exposition, written for the Nieuw Archief voor Wiskunde, about the two recent breakthrough results in the theory of sphere packings. It includes an interview with Henry Cohn, Abhinav Kumar, Stephen D. Miller, and Maryna Viazovska.

This essay was invited for publication in Nieuw Archief voor Wiskunde; it will also appear in translation in the SMF Gazette and in the DMV Mitteilungen. I discuss the recent trends in scholarly communication in mathematics, the current state and intentions of the arXiv, and a proposal to reform peer review with the arXiv as a foundation.

This article is based on the author's inaugural lecture at the University of Cologne on 24 January 2003.

This paper reviews some aspects of the physics of neutrinos, in particular neutrino masses and the issue of Dirac versus Majorana neutrinos. The see-saw mechanism is described and it is argued that the Majorana nature of neutrinos can be tested by measuring the invisible decays of the Higgs particle, as its decay into neutrinos is determined by their Yukawa couplings, i.e. the Dirac masses, rather than the physical Majorana masses. The measurement would allow us to probe the scale M of the large Majorana masses for right-handed singlet neutrinos. The optimal machine for performing such a measurement would be a future electron-positron collider.

A Support Vector Machine (SVM) has become a very popular machine learning method for text classification. One reason for this relates to the range of existing kernels which allow for classifying data that is not linearly separable. The linear, polynomial and RBF (Gaussian Radial Basis Function) kernel are commonly used and serve as a basis of comparison in our study. We show how to derive the primal form of the quadratic Power Kernel (PK) -- also called the Negative Euclidean Distance Kernel (NDK) -- by means of complex numbers. We exemplify the NDK in the framework of text categorization using the Dewey Document Classification (DDC) as the target scheme. Our evaluation shows that the power kernel produces F-scores that are comparable to the reference kernels, but is -- except for the linear kernel -- faster to compute. Finally, we show how to extend the NDK-approach by including the Mahalanobis distance.

We consider algebras over a field K defined by a presentation K <x_1,..., x_n : R >, where $R$ consists of n choose 2 square-free relations of the form x_i x_j = x_k x_l with every monomial x_i x_j, i different from j, appearing in one of the relations. Certain sufficient conditions for the algebra to be noetherian and PI are determined. For this, we prove more generally that right noetherian algebras of finite Gelfand-Kirillov dimension defined by homogeneous relations satisfy a polynomial identity. The structure of the underlying monoid, defined by the same presentation, is described. This is used to derive information on the prime radical and minimal prime ideals. Some examples are described in detail. Earlier, Etingof, Schedler and Soloviev, Gateva-Ivanova and Van den Bergh, and the authors considered special classes of such algebras in the contexts of noetherian algebras, Grobner bases, finitely generated solvable groups, semigroup algebras, and set theoretic solutions of the Yang-Baxter equation.

We comment on a recent paper that connects certain forms of machine learning to Set Theory. We point out that part of the set-theoretic machinery is related to a result of Kuratowski about decompositions of finite powers of sets and we show that there is no Borel measurable monotone compression function on the unit interval.

We present optimal binary pebbling algorithms for in-place reversal (backward traversal) of one-way hash chains. For a hash chain of length $2^k$, the number of hashes performed in each output round does not exceed $\lceil k/2 \rceil$, whereas the number of hash values stored (pebbles) throughout is at most $k$. We introduce a framework for rigorous comparison of explicit binary pebbling algorithms, including simple speed-1 binary pebbling, Jakobsson's speed-2 binary pebbling, and our optimal binary pebbling algorithm. Explicit schedules describe for each pebble exactly how many hashes need to be performed in each round. The optimal schedule turns out to be essentially unique and exhibits a nice recursive structure, which allows for fully optimized implementations that can readily be deployed. In particular, we develop the first in-place implementations with minimal storage overhead (essentially, storing only hash values), and fast implementations with minimal computational overhead.