-
An Algebraic Theory of Gapped Domain Wall Partons
Authors:
Matthew Buican,
Roman Geiko,
Milo Moses,
Bowen Shi
Abstract:
The entanglement bootstrap program has generated new quantum numbers associated with degrees of freedom living on gapped domain walls between topological phases in two dimensions. Most fundamental among these are the so-called "parton" quantum numbers, which give rise to a zoo of composite sectors. In this note, we propose a categorical description of partons. Along the way, we make contact with i…
▽ More
The entanglement bootstrap program has generated new quantum numbers associated with degrees of freedom living on gapped domain walls between topological phases in two dimensions. Most fundamental among these are the so-called "parton" quantum numbers, which give rise to a zoo of composite sectors. In this note, we propose a categorical description of partons. Along the way, we make contact with ideas from generalized symmetries and SymTFT.
△ Less
Submitted 27 June, 2025;
originally announced June 2025.
-
Endomorphisms of a certain ring of rational functions
Authors:
Milo Moses
Abstract:
We define a ring whose elements are rational functions, whose addition is polynomial multiplication, and whose multiplication is a convolution operation. It is then show that this ring's endomorphisms exhibit a strong classification. Namely, they will all fall in a well structured family, or they will degenerate. This degeneration is classified strongly in terms of roots of unity.
We define a ring whose elements are rational functions, whose addition is polynomial multiplication, and whose multiplication is a convolution operation. It is then show that this ring's endomorphisms exhibit a strong classification. Namely, they will all fall in a well structured family, or they will degenerate. This degeneration is classified strongly in terms of roots of unity.
△ Less
Submitted 29 January, 2023;
originally announced January 2023.
-
Partial Liouville sums over divisors
Authors:
Milo Moses
Abstract:
Using sieves and elementary manipulations, we show that the signs of partial sums of the Liouville function over divisors are in a strong sense equally distributed.
Using sieves and elementary manipulations, we show that the signs of partial sums of the Liouville function over divisors are in a strong sense equally distributed.
△ Less
Submitted 12 January, 2024; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Pontryagin Duality for Modules over Compact Discrete Valuation Rings
Authors:
Milo Moses
Abstract:
We establish an analogue of Pontryagin duality for modules over compact discrete valuation rings $R$. Namely, we define the dual of a topological $R$ module to be its continuous $R$-module homomorphisms into $K/R$, the quotient module of the fraction field by its ring of integers. It is established that for locally compact $R$-modules the double dual map is an isomorphism and homeomorphism. Additi…
▽ More
We establish an analogue of Pontryagin duality for modules over compact discrete valuation rings $R$. Namely, we define the dual of a topological $R$ module to be its continuous $R$-module homomorphisms into $K/R$, the quotient module of the fraction field by its ring of integers. It is established that for locally compact $R$-modules the double dual map is an isomorphism and homeomorphism. Additionally, given a non-topological $R$-module a canonical topology is constructed, uniquely defined so that the double dual map will be injective and continuous. Finally, the functor assigning a module to itself equipped with canonical topology is shown to be fully faithful, allowing one to recontextualize the topological statements in purely algebraic forms.
△ Less
Submitted 19 August, 2024; v1 submitted 11 October, 2022;
originally announced October 2022.
-
Biologically Inspired Design Principles for Scalable, Robust, Adaptive, Decentralized Search and Automated Response (RADAR)
Authors:
Melanie Moses,
Soumya Banerjee
Abstract:
Distributed search problems are ubiquitous in Artificial Life (ALife). Many distributed search problems require identifying a rare and previously unseen event and producing a rapid response. This challenge amounts to finding and removing an unknown needle in a very large haystack. Traditional computational search models are unlikely to find, nonetheless, appropriately respond to, novel events, par…
▽ More
Distributed search problems are ubiquitous in Artificial Life (ALife). Many distributed search problems require identifying a rare and previously unseen event and producing a rapid response. This challenge amounts to finding and removing an unknown needle in a very large haystack. Traditional computational search models are unlikely to find, nonetheless, appropriately respond to, novel events, particularly given data distributed across multiple platforms in a variety of formats and sources with variable and unknown reliability. Biological systems have evolved solutions to distributed search and response under uncertainty. Immune systems and ant colonies efficiently scale up massively parallel search with automated response in highly dynamic environments, and both do so using distributed coordination without centralized control. These properties are relevant to ALife, where distributed, autonomous, robust and adaptive control is needed to design robot swarms, mobile computing networks, computer security systems and other distributed intelligent systems. They are also relevant for searching, tracking the spread of ideas, and understanding the impact of innovations in online social networks. We review design principles for Scalable Robust, Adaptive, Decentralized search with Automated Response (Scalable RADAR) in biology. We discuss how biological RADAR scales up efficiently, and then discuss in detail how modular search in the immune system can be mimicked or built upon in ALife. Such search mechanisms are particularly useful when components have limited capacity to communicate and social or physical distance makes long distance communication more costly.
△ Less
Submitted 24 February, 2011; v1 submitted 18 November, 2010;
originally announced November 2010.
-
Immune System Inspired Strategies for Distributed Systems
Authors:
Soumya Banerjee,
Melanie Moses
Abstract:
Many components of the IS are constructed as modular units which do not need to communicate with each other such that the number of components increases but the size remains constant. However, a sub-modular IS architecture in which lymph node number and size both increase sublinearly with body size is shown to efficiently balance the requirements of communication and migration, consistent with exp…
▽ More
Many components of the IS are constructed as modular units which do not need to communicate with each other such that the number of components increases but the size remains constant. However, a sub-modular IS architecture in which lymph node number and size both increase sublinearly with body size is shown to efficiently balance the requirements of communication and migration, consistent with experimental data. We hypothesize that the IS architecture optimizes the tradeoff between local search for pathogens and global response using antibodies. Similar to natural immune systems, physical space and resource are also important constraints on Artificial Immune Systems (AIS), especially distributed systems applications used to connect low-powered sensors using short-range wireless communication. AIS problems like distributed robot control will also require a sub-modular architecture to efficiently balance the tradeoff between local search for a solution and global response or proliferation of the solution between different components.
△ Less
Submitted 16 August, 2010;
originally announced August 2010.
-
Scale Invariance of Immune System Response Rates and Times: Perspectives on Immune System Architecture and Implications for Artificial Immune Systems
Authors:
Soumya Banerjee,
Melanie Moses
Abstract:
Most biological rates and times decrease systematically with organism body size. We use an ordinary differential equation (ODE) model of West Nile Virus in birds to show that pathogen replication rates decline with host body size, but natural immune system (NIS) response rates do not change systematically with body size. This is surprising since the NIS has to search for small quantities of pathog…
▽ More
Most biological rates and times decrease systematically with organism body size. We use an ordinary differential equation (ODE) model of West Nile Virus in birds to show that pathogen replication rates decline with host body size, but natural immune system (NIS) response rates do not change systematically with body size. This is surprising since the NIS has to search for small quantities of pathogens through larger physical spaces in larger organisms, and also respond by producing larger absolute quantities of antibody in larger organisms. We call this scale-invariant detection and response. We hypothesize that the NIS has evolved an architecture to efficiently neutralize pathogens. We investigate a range of architectures using an Agent Based Model (ABM). We find that a sub-modular NIS architecture, in which lymph node number and size both increase sublinearly with body size, efficiently balances the tradeoff between local pathogen detection and global response using antibodies. This leads to nearly scale-invariant detection and response, consistent with experimental data. Similar to the NIS, physical space and resources are also important constraints on Artificial Immune Systems (AIS), especially distributed systems applications used to connect low-powered sensors using short-range wireless communication. We show that AIS problems, like distributed robot control, will also require a sub-modular architecture to efficiently balance the tradeoff between local search for a solution and global response or proliferation of the solution between different components. This research has wide applicability in other distributed systems AIS applications.
△ Less
Submitted 8 August, 2010;
originally announced August 2010.
-
The Block Relation in Computable Linear Orders
Authors:
Michael F Moses
Abstract:
A block in a linear order is an equivalence class when factored by the block relation B(x,y), satisfied by elements that are finitely far apart. We show that every computable linear order with dense condensation-type (i.e. a dense collection of blocks) but no infinite, strongly η-like interval (i.e. with all blocks of size less than some fixed, finite k) has a computable copy with the non-block…
▽ More
A block in a linear order is an equivalence class when factored by the block relation B(x,y), satisfied by elements that are finitely far apart. We show that every computable linear order with dense condensation-type (i.e. a dense collection of blocks) but no infinite, strongly η-like interval (i.e. with all blocks of size less than some fixed, finite k) has a computable copy with the non-block relation \neg B(x,y) computably enumerable. This implies that every computable linear order has a computable copy with a computable non-trivial self-embedding, and that the long-standing conjecture characterizing those computable linear orders every computable copy of which has a computable non-trivial self-embedding (as precisely those that contain an infinite, strongly η-like interval) holds for all linear orders with dense condensation-type.
△ Less
Submitted 27 April, 2009;
originally announced April 2009.
