This survey-style note reviews constructive versions of the Peter--Weyl theorem in the Bishop--Coquand--Spitters line. Its main purpose is to clarify which parts of the classical Peter--Weyl package admit constructive reformulations, which parts survive only in weaker or reorganized form, and which questions still appear to remain open. The term ``constructive'' is used here primarily in the Bishop-style sense, together with the related locale-theoretic and formal-topological developments that occur in the work of Coquand and Spitters. We review the constructive compact-group results of Coquand and Spitters, the later role of almost periodic functions and compact completions, and the interaction with constructive Gelfand representation and locale-theoretic compactness. The guiding theme is that the constructive theory exists, but it is often most naturally expressed not as a literal transcription of the classical theorem in terms of irreducible decompositions alone, but rather through finite-rank approximation, characters, and compactifications attached to functions or groups. For orientation and comparison, we also include an appendix giving a standard classical form of the Peter-
The Peter Principle posits that organizations promoting their best performers risk elevating employees to roles where their competence no longer translates, thereby degrading overall efficiency. We investigate when this dynamic emerges and how to mitigate it using a large-scale agent-based model (ABM) of a five-level hierarchy. Results show the Peter Principle is most pronounced under merit promotion when role requirements change substantially between levels; seniority and random exhibit the weakest Peter effects. Both interventions mitigate performance declines, with merit-with-training particularly effective when skill transfer is limited, and selective demotion restoring agents whose 'true' peak performance is at lower levels.
In this work we consider the Peter principle and anti-Peter principle as the discrete logistic and discrete inverse logistic equation. Especially we discuss imprecisely estimated (by hierarchical control mechanism) carrying capacity, i.e. boundary (in)competence level of a hierarchy member. It implies that Peter principle holds two sub-principles. In the first one objective boundary competence level is increased for estimation error. In the second one objective boundary competence level is decreased for estimation error. Similarly, anti-Peter principle holds two sub-principles too. All this implies that paradoxical situations that follow from Peter and anti-Peter principle can be simply removed by decrease of the error of hierarchical (social) control. Also we discuss cases by Peter principle when error of the boundary competence level by estimation grows up. (Then, in fact, there is no estimation error but stimulation of the boundary level by control mechanism.) By first Peter sub-principle it implies anarchy in the social structure or, correspondingly, cancer in the biology and medicine, schizophrenia in the psychology and inflation in the economy. By second Peter sub-principle i
The bundle map $T^*\hspace{-2pt}\operatorname{U}(n)\longrightarrow\operatorname{U}(n)$ provides a real polarization of the cotangent bundle $T^*\hspace{-2pt}\operatorname{U}(n)$, and yields the geometric quantization $Q_1(T^*\hspace{-2pt}\operatorname{U}(n)) = L^2(\operatorname{U}(n))$. We use the Gelfand-Cetlin systems of Guillemin and Sternberg to show that $T^*\hspace{-2pt}\operatorname{U}(n)$ has a different real polarization with geometric quantization $Q_2(T^*\hspace{-2pt}\operatorname{U}(n))= \bigoplus_αV_α\otimes V_α^*$, where the sum is over all dominant integral weights $α$ of $\operatorname{U}(n)$. The Peter-Weyl theorem, which states that these two quantizations are isomorphic, may therefore be interpreted as an instance of ``invariance of polarization" in geometric quantization.
I met Peter J. Bickel for the first time in 1981. He came to Jerusalem for a year; I had just started working on my Ph.D. studies. Yossi Yahav, who was my advisor at this time, busy as the Dean of Social Sciences, brought us together. Peter became my chief thesis advisor. A year and a half later I came to Berkeley as a post-doc. Since then we have continued to work together. Peter was first my advisor, then a teacher, and now he is also a friend. It is appropriate that this interview took place in two cities. We spoke together first in Jerusalem, at Mishkenot Shaananim and the Center for Research of Rationality, and then at the University of California at Berkeley. These conversations were not formal interviews, but just questions that prompted Peter to tell his story.
Peter Pan discs are a recently discovered class of long-lived discs around low-mass stars that survive for an order of magnitude longer than typical discs. In this paper we use disc evolutionary models to determine the required balance between initial conditions and the magnitude of dispersal processes for Peter Pan discs to be primordial. We find that we require low transport ($α\sim10^{-4}$), extremely low external photoevaporation ($\leq10^{-9}{\rm M_{\odot}/yr}$), and relatively high disc masses ($>0.25M_*$) to produce discs with ages and accretion rates consistent with Peter Pan discs. Higher transport ($α= 10^{-3}$) results in disc lifetimes that are too short and even lower transport ($α= 10^{-5}$) leads to accretion rates smaller than those observed. The required external photoevaporation rates are so low that primordial Peter Pan discs will have formed in rare environments on the periphery of low-mass star-forming regions, or deeply embedded, and as such have never subsequently been exposed to higher amounts of UV radiation. Given that such an external photoevaporation scenario is rare, the required disc parameters and accretion properties may reflect the initial condit
This is a transcript of my conference talk in remembrance of Peter Hasenfratz who deceased earlier in 2016. One of Peter's many important contributions to the lattice community has been the initiation of the first lattice conference at CERN in 1982. From among his many important ideas, which Peter contributed to our field, I choose to discuss three in some detail and show how they are influencing the subject today.
In January 1969, Peter M. Neumann wrote a paper entitled "Primitive permutation groups of degree 3p". The main theorem placed restrictions on the parameters of a primitive but not 2-transitive permutation group of degree three times a prime. The paper was never published, and the results have been superseded by stronger theorems depending on the classification of the finite simple groups, for example a classification of primitive groups of odd degree. However, there are further reasons for being interested in this paper. First, it was written at a time when combinatorial techniques were being introduced into the theory of finite permutation groups, and the paper gives a very good summary and application of these techniques. Second, like its predecessor by Helmut Wielandt on primitive groups of degree 2p, it can be re-interpreted as a combinatorial result concerning association schemes whose common eigenspaces have dimensions of a rather limited form. This result uses neither the primality of p nor the existence of a permutation group related to the combinatorial structure. We extract these results and give details of the related combinatorics.
The Peter-Weyl idempotent $e_{\mathcal{P}}$ of a parahoric subgroup ${\mathcal{P}}$ is the sum of the idempotents of irreducible representations of $\mathcal{P}$ which have a nonzero Iwahori fixed vector. The convolution algebra associated to $e_{\mathcal{P}}$ is called a Peter-Weyl Iwahori algebra. We show any Peter-Weyl Iwahori algebra is Morita equivalent to the Iwahori-Hecke algebra. Both the Iwahori-Hecke algebra and a Peter-Weyl Iwahori algbera have a natural $\mathbb{C}^\star$-algebra structure, and the Morita equivalence preserves irreducible hermitian and unitary modules. Both algebras have another anti-involution denoted as $\bullet$, and the Morita equivalence preserves irreducible and unitary modules for the $\bullet$-involution.
In this work Peter principle (in the hierarchical structure any competent member tends to rise to his level of incompetence) is consistently interpreted as the discrete form of the well-known logistic (Verhulst or Maltusian) equation of the population dynamics. According to such interpretation anti-Peter principle (in the hierarchical structure any incompetent member tends to rise to his level of competence) is formulated too.
This paper presents a new dataset of Peter the Great's manuscripts and describes a segmentation procedure that converts initial images of documents into the lines. The new dataset may be useful for researchers to train handwriting text recognition models as a benchmark for comparing different models. It consists of 9 694 images and text files corresponding to lines in historical documents. The open machine learning competition Digital Peter was held based on the considered dataset. The baseline solution for this competition as well as more advanced methods on handwritten text recognition are described in the article. Full dataset and all code are publicly available.
Peter J. Huber was born on March 25, 1934, in Wohlen, a small town in the Swiss countryside. He obtained a diploma in mathematics in 1958 and a Ph.D. in mathematics in 1961, both from ETH Zurich. His thesis was in pure mathematics, but he then decided to go into statistics. He spent 1961--1963 as a postdoc at the statistics department in Berkeley where he wrote his first and most famous paper on robust statistics, ``Robust Estimation of a Location Parameter.'' After a position as a visiting professor at Cornell University, he became a full professor at ETH Zurich. He worked at ETH until 1978, interspersed by visiting positions at Cornell, Yale, Princeton and Harvard. After leaving ETH, he held professor positions at Harvard University 1978--1988, at MIT 1988--1992, and finally at the University of Bayreuth from 1992 until his retirement in 1999. He now lives in Klosters, a village in the Grisons in the Swiss Alps. Peter Huber has published four books and over 70 papers on statistics and data analysis. In addition, he has written more than a dozen papers and two books on Babylonian mathematics, astronomy and history. In 1972, he delivered the Wald lectures. He is a fellow of the IMS
In the late sixties the Canadian psychologist Laurence J. Peter advanced an apparently paradoxical principle, named since then after him, which can be summarized as follows: {\it 'Every new member in a hierarchical organization climbs the hierarchy until he/she reaches his/her level of maximum incompetence'}. Despite its apparent unreasonableness, such a principle would realistically act in any organization where the mechanism of promotion rewards the best members and where the mechanism at their new level in the hierarchical structure does not depend on the competence they had at the previous level, usually because the tasks of the levels are very different to each other. Here we show, by means of agent based simulations, that if the latter two features actually hold in a given model of an organization with a hierarchical structure, then not only is the Peter principle unavoidable, but also it yields in turn a significant reduction of the global efficiency of the organization. Within a game theory-like approach, we explore different promotion strategies and we find, counterintuitively, that in order to avoid such an effect the best ways for improving the efficiency of a given orga
I reply to Professor Peter van Nieuwenhuizen in connection with hep-th/0408137
Time derivatives of pullbacks and push forwards along smooth curves of diffeomorphism of sections of natural vector bundles are computed in terms of Lie derivatives along adapted non-autonomous vector fields by extending a key lemma in [Markus Mauhart, Peter W. Michor: Commutators of flows and fields. Arch. Math. (Brno) 28 (1992), 228-236. arXiv:math/9204221]. There is also the analogous result about the first non-vanishing derivative of higher order.
To address the brittleness of monolithic AI agents, our prototype for automated visual data reporting explores a Human-AI Partnership model. Its hybrid, multi-agent architecture strategically externalizes logic from LLMs to deterministic modules, leveraging the rule-based system Draco for principled visualization design. The system delivers a dual-output: an interactive Observable report with Mosaic for reader exploration, and executable Marimo notebooks for deep, analyst-facing traceability. This granular architecture yields a fully automatic yet auditable and steerable system, charting a path toward a more synergistic partnership between human experts and AI. For reproducibility, our implementation and examples are available at https://peter-gy.github.io/VISxGenAI-2025/.
We introduce IntrinsiX, a novel method that generates high-quality intrinsic images from text description. In contrast to existing text-to-image models whose outputs contain baked-in scene lighting, our approach predicts physically-based rendering (PBR) maps. This enables the generated outputs to be used for content creation scenarios in core graphics applications that facilitate re-lighting, editing, and texture generation tasks. In order to train our generator, we exploit strong image priors, and pre-train separate models for each PBR material component (albedo, roughness, metallic, normals). We then align these models with a new cross-intrinsic attention formulation that concatenates key and value features in a consistent fashion. This allows us to exchange information between each output modality and to obtain semantically coherent PBR predictions. To ground each intrinsic component, we propose a rendering loss which provides image-space signals to constrain the model, thus facilitating sharp details also in the output BRDF properties. Our results demonstrate detailed intrinsic generation with strong generalization capabilities that outperforms existing intrinsic image decompos
We introduce Intrinsic Image Fusion, a method that reconstructs high-quality physically based materials from multi-view images. Material reconstruction is highly underconstrained and typically relies on analysis-by-synthesis, which requires expensive and noisy path tracing. To better constrain the optimization, we incorporate single-view priors into the reconstruction process. We leverage a diffusion-based material estimator that produces multiple, but often inconsistent, candidate decompositions per view. To reduce the inconsistency, we fit an explicit low-dimensional parametric function to the predictions. We then propose a robust optimization framework using soft per-view prediction selection together with confidence-based soft multi-view inlier set to fuse the most consistent predictions of the most confident views into a consistent parametric material space. Finally, we use inverse path tracing to optimize for the low-dimensional parameters. Our results outperform state-of-the-art methods in material disentanglement on both synthetic and real scenes, producing sharp and clean reconstructions suitable for high-quality relighting.
In this report, we introduce the Gemini 2.X model family: Gemini 2.5 Pro and Gemini 2.5 Flash, as well as our earlier Gemini 2.0 Flash and Flash-Lite models. Gemini 2.5 Pro is our most capable model yet, achieving SoTA performance on frontier coding and reasoning benchmarks. In addition to its incredible coding and reasoning skills, Gemini 2.5 Pro is a thinking model that excels at multimodal understanding and it is now able to process up to 3 hours of video content. Its unique combination of long context, multimodal and reasoning capabilities can be combined to unlock new agentic workflows. Gemini 2.5 Flash provides excellent reasoning abilities at a fraction of the compute and latency requirements and Gemini 2.0 Flash and Flash-Lite provide high performance at low latency and cost. Taken together, the Gemini 2.X model generation spans the full Pareto frontier of model capability vs cost, allowing users to explore the boundaries of what is possible with complex agentic problem solving.
This is a transcript of a lecture course on Infinite Permutation Groups given by Peter M. Neumann (1940-2020) in Oxford during the academic year 1988-1989. The field of Infinite Permutation Groups only emerged as an independent field of study in the 1980's. Most of the results described in these notes were at the time of the lectures brand new and had either just recently appeared in print or had not appeared formally. A large part of the results described is either due to Peter himself or heavily influenced by him. These notes offer Peter's personal take on a field that he was instrumental in creating and in many cases ideas and questions that can not be found in the published literature.