Users of decentralized finance (DeFi) applications face significant risks from adversarial actions that manipulate the order of transactions to extract value from users. Such actions -- an adversarial form of what is called maximal-extractable value (MEV) -- impact both individual outcomes and the stability of the DeFi ecosystem. MEV exploitation, moreover, is being institutionalized through an architectural paradigm known Proposer-Builder Separation (PBS). This work introduces a system called PROF (PRotected Order Flow) that is designed to limit harmful forms of MEV in existing PBS systems. PROF aims at this goal using two ideas. First, PROF imposes an ordering on a set ("bundle") of privately input transactions and enforces that ordering all the way through to block production -- preventing transaction-order manipulation. Second, PROF creates bundles whose inclusion is profitable to block producers, thereby ensuring that bundles see timely inclusion in blocks. PROF is backward-compatible, meaning that it works with existing and future PBS designs. PROF is also compatible with any desired algorithm for ordering transactions within a PROF bundle (e.g., first-come, first-serve, fee-
Offline imitation learning (offline IL) enables training effective policies without requiring explicit reward annotations. Recent approaches attempt to estimate rewards for unlabeled datasets using a small set of expert demonstrations. However, these methods often assume that the similarity between a trajectory and an expert demonstration is positively correlated with the reward, which oversimplifies the underlying reward structure. We propose PROF, a novel framework that leverages large language models (LLMs) to generate and improve executable reward function codes from natural language descriptions and a single expert trajectory. We propose Reward Preference Ranking (RPR), a novel reward function quality assessment and ranking strategy without requiring environment interactions or RL training. RPR calculates the dominance scores of the reward functions, where higher scores indicate better alignment with expert preferences. By alternating between RPR and text-based gradient optimization, PROF fully automates the selection and refinement of optimal reward functions for downstream policy learning. Empirical results on D4RL demonstrate that PROF surpasses or matches recent strong bas
Between the 4th and 6th of September 2024, the Astronomy & Astrophysics group at the University of Warwick held a meeting to celebrate 21 years of astronomy at Warwick and the scientific legacy of the late Prof. Tom Marsh, the group founder. More than a hundred people attended the meeting, with about half of the attendees being external delegates and coming from as far afield as the USA and South Africa. Tom Marsh moved to the University of Warwick from Southampton in 2003, after the Department of Physics decided to expand the scope of its research. From its humble beginnings with only two staff members, Tom himself and Boris Gänsicke, one postdoc and a couple of PhD students, the group has now grown to more than 95 members, including 25 staff. Tom pioneered the development of Doppler tomography, led key discoveries in the field of double-degenerate binary systems and made extensive contributions to instrumentation, primarily to developing the high-speed imaging photometers ULTRACAM, ULTRASPEC and HiPERCAM. This article provides a summary of Tom's legacy and Warwick's history as presented in the 21 years of Astronomy at Warwick meeting.
I present some memories of my Ph.D supervisor and, later, collaborator but always encouraging supporter Prof. G. Lazarides. Some of his contributions to our common and related scientific activities on the phenomenology of MSSM and inflation are also summarized.
We have discovered unknown very valuable old photos of Prof. Hideki Yukawa at the unveiling ceremony of his bronze statue at an elementary school in Kochi in 1954. The statue was moved to a newly created garden in1982, which in the subsequent decades accelerated the forgetting of its existence. The forgetting of the statue by the local people is related by chance to a historic event in the Marshall Islands. Prof. Yukawa's visit to attend the unveiling ceremony occurred just after news that Japanese fishermen were heavily injured by atomic testing at the Bikini Atoll in the Pacific Ocean. At the news conference when he arrived at Kochi, he was unexpectedly asked about his attitude to the bomb testing by the US. He was considered to be the foremost top scientist in nuclear science in Japan at that time, having been awarded the Nobel Prize for physics in 1949. People in Kochi were very anxious about the test since many fishermen worked near Bikini Atoll. Contrary to the expectation of local people, he refused to comment on the matter at the news conference and in public lectures, which were held several times during his stay in Kochi. After returning to Kyoto, he issued the famous sta
The first bronze statue of Prof. Hideki Yukawa, the first Nobel Prize laureate in Japan, is found to have been built in March 1954 in the Yasu elementary school in the countryside of Kochi pref cture in Shikoku Island, Japan. It is also found that the bust sculpture was unveiled with the attendance of Prof. Yukawa and his wife, who were invited by the local people, soon after their coming back to Japan from USA where they stayed for five years for research. This bust bronze statue was contributed by the local people of the elementary school more than 32 years earlier than the well-known one of Prof. Yukawa built in 1986 by the Yukawa foundation in front of the Yukawa Hall, Yukawa Institute for Theoretical Physics, Kyoto University in Kyoto city. Why the statue was built in Kochi is unveiled and the historical background is discussed.
Teaching programming using Massive Open Online Courses (MOOCs) is gaining popularity due to their scalability and efficiency of knowledge distribution. However, participating in these courses usually means fully committing to the supplied programming environment in the browser. While this allows a consistent and controllable setup, learners do not gain experience with actual development tools, such as local code editors, testing frameworks, issue trackers or continuous integration (CI) services, which is critical for subsequent real-world projects. Furthermore, the tests for the functionality that is to be developed are oftentimes already available in MOOCs and simply need to be executed, leading to less involvement with developing appropriate tests. In order to tackle these issues while maintaining a high degree of automation and scalability, we developed Prof. CI, a novel approach to conducting online exercises. Prof. CI leverages the existing automation infrastructure that developers use daily, i.e. CI services and Github workflows, to teach test-driven development (TDD) practices. Participants work on their own repositories in Github and receive feedback and new challenges from
We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categories as algebraic structures in Prof, the monoidal bicategory of profunctors. This enables reasoning about the trace using the graphical calculus for monoidal bicategories, which we illustrate in detail. We apply our techniques to study traced ∗-autonomous categories, proving a new equivalence result between the left ⊗-trace and the right ⅋-trace, and describing a new condition under which traced ∗-autonomous categories become autonomous.
We define a traced pseudomonoid as a pseudomonoid in a monoidal bicategory equipped with extra structure, giving a new characterisation of Cauchy complete traced monoidal categories as algebraic structures in $\mathbf{Prof}$, the monoidal bicategory of profunctors. This enables reasoning about the trace using the graphical calculus for monoidal bicategories, which we illustrate in detail. We apply our techniques to study traced $*$-autonomous categories, proving a new equivalence result between the left $\otimes$-trace and the right $\unicode{8523}$-trace, and describing a new condition under which traced $*$-autonomous categories become autonomous.
Editor's Note: An English translation of J. C. Poggendorff's 1857 paper "Bemerkung zu dem Aufsatz des Herrn Prof. Kirchhoff", [Pog57]. This paper is related to Kirchhoff's 1857 paper "On the motion of electricity in wires", [Kir57b] with English translation in [Kir57a], and to Weber's 1864 paper "Electrodynamic measurements, especially on electric oscillations", [Web64] with English translation in [Web21a]. Kirchhoff and Weber were the first to deduce the telegraphy equation by taking into account the self-inductance of the wire. Both of them worked with Weber's electrodynamics. They showed, in particular, that when the resistance of the wire was negligible, the electric wave propagates with light velocity.
A memorial to Prof. Hidekuni Hidekoshi, Kyoto University, Japan - an accelerator pioneer in Japan, teacher, mentor, friend, unassuming but knowing his accomplishments and worth, frugal but generous, enjoying life. Japanese contributions given in Japanese and English, English in English.
Mathematics curriculums at most universities tend to perpetuate a belief that higher mathematics is historically and culturally European. First Nations and minority students may not see their identities and cultures reflected in the discipline, yet university mathematics educators are keen to diversify and broaden the appeal of their courses. This article presents an investigation on the mathematics of smoke telegraphy, as a contribution to inlaying cross-cultural mathematical heritage in the curriculum. Across Indigenous societies of Australia the technology and practice of smoke telegraphy was developed to a sophisticated level over millennia to fill a need for long-distance communications. Through an original bibliographic and archival analysis, we show that smoke signalling and telegraphy used empirical mathematics of symmetries, frequency coding, and understanding of fluid dynamics. We juxtapose this applied mathematical knowledge, within context, against the timeline of Western understanding and development of these strands of mathematics.
We present a genetic programming approach to automatically discover convergence acceleration methods for discrete ordinates solutions of neutron transport problems in slab geometry. Classical acceleration methods such as Aitken's delta-squared and Wynn epsilon assume specific convergence patterns and do not generalize well to the broad set of transport problems encountered in practice. We evolved mathematical formulas specifically tailored to SN convergence characteristics in this work. The discovered accelerator, featuring second differences and cross-product terms, achieved over 75 percent success rate in improving convergence compared to raw sequences - almost double that observed for classical techniques for the problem set considered. This work demonstrates the potential for discovering novel numerical methods in computational physics via genetic programming and attempts to honor Prof. Ganapol's legacy of advancing experimental mathematics applied to neutron transport.
Few baryon resonances have generated as much discussion, even controversy, as the first positive parity excited state with nucleon quantum numbers. We re-examine the issue using insight gained from lattice QCD, complemented by Hamiltonian effective field theory. In doing so, we also examine the distinction between a state that can be naturally described as a quark model state and one that is dynamically generated.
A continuing frustration for origin of life scientists is that abiotic and, by extension, pre-biotic attempts to develop self-sustaining, evolving molecular systems tend to produce more dead-end substances than macromolecular products with the necessary potential for biostructure and function -- the so-called `tar problem'. Nevertheless primordial life somehow emerged despite that presumed handicap. A~resolution of this problem is important in emergence-of-life science because it would provide valuable guidance in choosing subsequent paths of investigation, such as identifying pre-biotic patterns on Mars. To study the problem we set up a simple non-equilibrium flow dynamical model for the coupled temperature and mass dynamics of the decomposition of a polymeric carbohydrate adsorbed on a mineral surface, with incident stochastic thermal fluctuations. Results show that the model system behaves as a reciprocating thermochemical oscillator. The output fluctuation distribution is bimodal, with a right-weighted component that guarantees a bias towards detachment and desorption of monomeric species such as ribose, even while tar is formed concomitantly. This fluctuating thermochemical re
Markov Chain Monte Carlo (MCMC), and Tensor Networks (TN) are two powerful frameworks for numerically investigating many-body systems, each offering distinct advantages. MCMC, with its flexibility and theoretical consistency, is well-suited for simulating arbitrary systems by sampling. TN, on the other hand, provides a powerful tensor-based language for capturing the entanglement properties intrinsic to many-body systems, offering a universal representation of these systems. In this work, we leverage the computational strengths of TN to design a versatile cluster MCMC sampler. Specifically, we propose a general framework for constructing tensor-based cluster MCMC methods, enabling arbitrary cluster updates by utilizing TNs to compute the distributions required in the MCMC sampler. Our framework unifies several existing cluster algorithms as special cases and allows for natural extensions. We demonstrate our method by applying it to the simulation of the two-dimensional Edwards-Anderson Model and the three-dimensional Ising Model. This work is dedicated to the memory of Prof. David Draper.
This arXiv submission is a translation of the Dr Sci Thesis by Prof Grigori Kuzmin, written in Russian and defended in 1970. The Thesis based on Kuzmin's papers was written in Russian and published in Tartu Observatory Publications or Russian-language conference proceedings. But for the Thesis G. Kuzmin wrote extras, which are published here for the first time. Most chapters of the Thesis were translated in full. In some chapters, we used the English summaries written by Kuzmin. We add as appendix English translations of three papers, written by Kuzmin after the defence of the Thesis, one of them published here also the first time. The Thesis consists of three parts. Part I is "Gravitational potential and mass distribution of the Galaxy. The third integral of stellar motion" and consists of 10 chapters. Part II is "Spatio-kinematical structure of self-gravitating stationary stellar systems and some general problems of dynamics of stellar systems" and consists of 6 chapters. Part III is "Time evolution of the structure of stellar systems. The effect of irregular forces" and consists of 6 chapters. In Appendix, three later articles were included. Present translation starts with the p
This mini-review is dedicated to the 85th birthday of Prof. L. V. Keldysh, from whom we have learned so much. In this paper we study the potential and electron density depth profiles in surface accumulation layers in crystals with a large and nonlinear dielectric response such as SrTiO$_3$ (STO) in the cases of planar, spherical and cylindrical geometries. The electron gas can be created by applying an induction $D_0$ to the STO surface. We describe the lattice dielectric response of STO using the Landau-Ginzburg free energy expansion and employ the Thomas-Fermi (TF) approximation for the electron gas. For the planar geometry we arrive at the electron density profile $n(x) \propto (x+d)^{-12/7}$, where $d \propto D_0^{-7/5} $. We extend our results to overlapping electron gases in GTO/STO/GTO multi-heterojunctions and electron gases created by spill-out from NSTO (heavily $n$-type doped STO) layers into STO. Generalization of our approach to a spherical donor cluster creating a big TF atom with electrons in STO brings us to the problem of supercharged nuclei. It is known that for an atom with nuclear charge $Ze$, where $Z > 170$, electrons collapse onto the nucleus resulting in
The relevance of single-W and single-Z production processes at hadron colliders is well known: in the present paper the status of theoretical calculations of Drell-Yan processes is summarized and some results on the combination of electroweak and QCD corrections to a sample of observables of the process $p p \to W^\pm \to μ^\pm + X$ at the LHC are discussed. The phenomenological analysis shows that a high-precision knowledge of QCD and a careful combination of electroweak and strong contributions is mandatory in view of the anticipated LHC experimental accuracy. One of the authors (O.N.) dedicates these notes to Prof. S. Jadach, in honour of his 60th birthday and grateful for all that Prof. Jadach taught him during their fruitful collaboration.
We give another alternative proof to the Kawamata semiampleness theorem for the log canonical divisors on klt varieties which are nef and abundant. After the first version of this article was posted to the e-print Arxiv, Prof. Fujino notified the author that the quick and essential proof ([Fujino. On Kawamata's theorem.(EMS 2011), Rem 2.7]) is already known. The author would like to thank him. More precisely, Prof. Fujino already gave the quick and essential proof ([Fujino. On Kawamata's thm.(EMS 2011), Rem 2.7], [Fujino. Finite generation of the lc ring in dim 4. (Kyoto J. Math. 50 (2010)), Rem 3.15]) from the finite generation thm (Birkar-Cascini-Hacon-McKernan [BCHM]) of the lc rings for klt pairs and from the fact (cf. Mourougane-Russo [MoRu, C.R.A.S. Math. 325 (1997)]) that a nef and abundant $\mathbf{Q}$-divisor $D$ is semiample if its graded ring is finitely generated:"For a nef and abundant lc divisor which is klt, the lc ring is finitely generated, thus it is semiample." [BCHM] first proved that the minimal model program runs for big klt lc divisors and next implied the finite generation of the lc rings for klt lc divisors which are not necessarily big from the Fujino-Mori