title: Some Aspects on Identification, Decay Properties and Nuclear Structure of the Heaviest Nuclei

abstract: Synthesis of new elements at the upper border of the charts of nuclei and investigation of their decay properties and nuclear structure has been one of the main research topics in low energy nuclear physics since more than five decades. Main items are the quest for the heaviest nuclei that can exist and the verification of the theoretical predicted spherical proton and neutron shells at Z = 114, 120 or 126 and N = 172 or 184. The scope of the present paper is to illustrate some technical and physical aspects in investigation of the heaviest nuclei ('superheavy nuclei') and to critical discuss some selected results, which from a strict scientific point of view are not completely clear so far, making partly also suggestions for alternatively interpretations. A complete review of the whole field of superheavy element research, however, is out of the scope of this paper.


title: Market-Oriented Online Bi-Objective Service Scheduling for Pleasingly Parallel Jobs with Variable Resources in Cloud Environments

abstract: In this paper, we study the market-oriented online bi-objective service scheduling problem for pleasingly parallel jobs with variable resources in cloud environments, from the perspective of SaaS (Software-as-as-Service) providers who provide job-execution services. The main process of scheduling SaaS services in clouds is: a SaaS provider purchases cloud instances from IaaS providers to schedule end users' jobs and charges users accordingly. This problem has several particular features, such as the job-oriented end users, the pleasingly parallel jobs with soft deadline constraints, the online settings, and the variable numbers of resources. For maximizing both the revenue and the user satisfaction rate, we design an online algorithm for SaaS providers to optimally purchase IaaS instances and schedule pleasingly parallel jobs. The proposed algorithm can achieve competitive objectives in polynomial run-time. The theoretical analysis and simulations based on real-world Google job traces as well as synthetic datasets validate the effectiveness and efficiency of our algorithm.


title: Leveraging Query Resolution and Reading Comprehension for Conversational Passage Retrieval

abstract: This paper describes the participation of UvA.ILPS group at the TREC CAsT 2020 track. Our passage retrieval pipeline consists of (i) an initial retrieval module that uses BM25, and (ii) a re-ranking module that combines the score of a BERT ranking model with the score of a machine comprehension model adjusted for passage retrieval. An important challenge in conversational passage retrieval is that queries are often under-specified. Thus, we perform query resolution, that is, add missing context from the conversation history to the current turn query using QuReTeC, a term classification query resolution model. We show that our best automatic and manual runs outperform the corresponding median runs by a large margin.


title: On Roli's Cube

abstract: First described in 2014, Roli's cube $\mathcal{R}$ is a chiral $4$-polytope, faithfully realized in Euclidean $4$-space (a situation earlier thought to be impossible). Here we describe $\mathcal{R}$ in a new way, determine its minimal regular cover, and reveal connections to the M\"{o}bius-Kantor configuration.


title: Probabilistic constructions in continuous combinatorics and a bridge to distributed algorithms

abstract: The probabilistic method is a technique for proving combinatorial existence results by means of showing that a randomly chosen object has the desired properties with positive probability. A particularly powerful probabilistic tool is the Lov\'{a}sz Local Lemma (the LLL for short), which was introduced by Erd\H{o}s and Lov\'{a}sz in the mid-1970s. Here we develop a version of the LLL that can be used to prove the existence of continuous colorings. We then give several applications in Borel and topological dynamics. * Seward and Tucker-Drob showed that every free Borel action $\Gamma \curvearrowright X$ of a countable group $\Gamma$ admits an equivariant Borel map $\pi \colon X \to Y$ to a free subshift $Y \subset 2^\Gamma$. We give a new simple proof of this result. * We show that for a countable group $\Gamma$, $\mathrm{Free}(2^\Gamma)$ is weakly contained, in the sense of Elek, in every free continuous action of $\Gamma$ on a zero-dimensional Polish space. This fact is analogous to the theorem of Ab\'{e}rt and Weiss for probability measure-preserving actions and has a number of consequences in continuous combinatorics. In particular, we deduce that a coloring problem admits a continuous solution on $\mathrm{Free}(2^\Gamma)$ if and only if it can be solved on finite subgraphs of the Cayley graph of $\Gamma$ by an efficient deterministic distributed algorithm (this fact was also proved independently and using different methods by Seward). This establishes a formal correspondence between questions that have been studied independently in continuous combinatorics and in distributed computing.


title: Genus one fibrations and vertical Brauer elements on del Pezzo surfaces of degree 4

abstract: We consider a family of smooth del Pezzo surfaces of degree four and study the geometry and arithmetic of a genus one fibration with two reducible fibres for which a Brauer element is vertical.


title: Imaging the atomic-scale electronic states induced by a pair of hole dopants in Ca2CuO2Cl2 Mott insulator

abstract: We use scanning tunneling microscopy to visualize the atomic-scale electronic states induced by a pair of hole dopants in Ca2CuO2Cl2 parent Mott insulator of cuprates. We find that when the two dopants approach each other, the transfer of spectral weight from high energy Hubbard band to low energy in-gap state creates a broad peak and nearly V-shaped gap around the Fermi level. The peak position shows a sudden drop at distance around 4 a0 and then remains almost constant. The in-gap states exhibit peculiar spatial distributions depending on the configuration of the two dopants relative to the underlying Cu lattice. These results shed important new lights on the evolution of low energy electronic states when a few holes are doped into parent cuprates.


title: Radio and optical observations of the possible AE Aqr twin, LAMOST J024048.51+195226.9

abstract: Thorstensen (2020) recently argued that the cataclysmic variable (CV) LAMOST J024048.51+195226.9 may be a twin to the unique magnetic propeller system AE Aqr. If this is the case, two predictions are that it should display a short period white dwarf spin modulation, and that it should be a bright radio source. We obtained follow-up optical and radio observations of this CV, in order to see if this holds true. Our optical high-speed photometry does not reveal a white dwarf spin signal, but lacks the sensitivity to detect a modulation similar to the 33-s spin signal seen in AE Aqr. We detect the source in the radio, and measure a radio luminosity similar to that of AE Aqr and close to the highest so far reported for a CV. We also find good evidence for radio variability on a time scale of tens of minutes. Optical polarimetric observations produce no detection of linear or circular polarization. While we are not able to provide compelling evidence, our observations are all consistent with this object being a propeller system.


title: Pressure-induced Superconductivity in dual-topological semimetal Pt2HgSe3

abstract: Recently monolayer jacutingaite (Pt2HgSe3), a naturally occurring exfoliable mineral, discovered in Brazil in 2008, has been theoretically predicted as a candidate quantum spin Hall system with a 0.5 eV band gap, while the bulk form is one of only a few known dual-topological insulators which may host different surface states protected by symmetries. In this work, we systematically investigate both structure and electronic evolution of bulk Pt2HgSe3 under high pressure up to 96 GPa. The nontrivial topology persists up to the structural phase transition observed in the high-pressure regime. Interestingly, we found that this phase transition is accompanied by the appearance of superconductivity at around 55 GPa and the critical transition temperature Tc increases with applied pressure. Our results demonstrate that Pt2HgSe3 with nontrivial topology of electronic states displays new ground states upon compression and raises potentials in application to the next-generation spintronic devices.


title: Informational entropy thresholds as a physical mechanism to explain power-law time distributions in sequential decision-making

abstract: While frameworks based on physical grounds (like the Drift-Diffusion Model) have been exhaustively used in psychology and neuroscience to describe perceptual decision-making in humans, analogous approaches for more complex situations like sequential (tree-like) decision making are still absent. For such scenarios, which involve a reflective prospection of future options to reach a decision, we offer a plausible mechanism based on the internal computation of the Shannon's entropy for the different options available to the subjects. When a threshold in the entropy is reached this will trigger the decision, which means that the amount of information that has been gathered through sensory evidence is enough to assess the options accurately. Experimental evidence in favour of this mechanism is provided by exploring human performances during navigation through a maze on the computer screen monitored with the help of eye-trackers. In particular, our analysis allows us to prove that: (i) prospection is effectively being used by humans during such navigation tasks, and a quantification of the level of prospection used is attainable, (ii) the distribution of decision times during the task exhibits power-law tails, a feature that our entropy-based mechanism is able to explain, in contrast to classical decision-making frameworks.


title: Effects of Early Warning Emails on Student Performance

abstract: We use learning data of an e-assessment platform for an introductory mathematical statistics course to predict the probability of passing the final exam for each student. Subsequently, we send warning emails to students with a low predicted probability to pass the exam. We detect a positive but imprecisely estimated effect of this treatment, suggesting the effectiveness of such interventions only when administered more intensively.


title: LIRA-V: Lightweight Remote Attestation for Constrained RISC-V Devices

abstract: This paper presents LIRA-V, a lightweight system for performing remote attestation between constrained devices using the RISC-V architecture. We propose using read-only memory and the RISC-V Physical Memory Protection (PMP) primitive to build a trust anchor for remote attestation and secure channel creation. Moreover, we show how LIRA-V can be used for trusted communication between two devices using mutual attestation. We present the design, implementation and evaluation of LIRA-V using an off-the-shelf RISC-V microcontroller and present performance results to demonstrate its suitability. To our knowledge, we present the first remote attestation mechanism suitable for constrained RISC-V devices, with applications to cyber-physical systems and Internet of Things (IoT) devices.


title: Analysis and control of integro-differential Volterra equations with delays

abstract: The purpose of this paper is to introduce a semigroup approach to linear integro-differential systems with delays in state, control and observation parts. On the one hand, we use product spaces to reformulate state-delay integro-differential equations to a standard Cauchy problem and then use a perturbation technique (feedback) to prove the well-posendess of the problem, a new variation of constants formula for the solution as well as some spectral properties. On the other hand, we use the obtained results to prove that integro-differential systems with delays in state, control and observation parts form a subclass of distributed infinite-dimensional regular linear systems in the Salamon-Weiss sense.


title: Sobolev improving for averages over curves in $\mathbf{R^4}$

abstract: We study $L^p$-Sobolev improving for averaging operators $A_{\gamma}$ given by convolution with a compactly supported smooth density $\mu_{\gamma}$ on a non-degenerate curve. In particular, in 4 dimensions we show that $A_{\gamma}$ maps $L^p(\mathbb{R}^4)$ the Sobolev space $L^p_{1/p}(\mathbb{R}^4)$ for all $6 < p < \infty$. This implies the complete optimal range of $L^p$-Sobolev estimates, except possibly for certain endpoint cases. The proof relies on decoupling inequalities for a family of cones which decompose the wave front set of $\mu_{\gamma}$. In higher dimensions, a new non-trivial necessary condition for $L^p(\mathbb{R}^n) \to L^p_{1/p}(\mathbb{R}^n)$ boundedness is obtained, which motivates a conjectural range of estimates.


title: The Linearized Hellinger--Kantorovich Distance

abstract: In this paper we study the local linearization of the Hellinger--Kantorovich distance via its Riemannian structure. We give explicit expressions for the logarithmic and exponential map and identify a suitable notion of a Riemannian inner product. Samples can thus be represented as vectors in the tangent space of a suitable reference measure where the norm locally approximates the original metric. Working with the local linearization and the corresponding embeddings allows for the advantages of the Euclidean setting, such as faster computations and a plethora of data analysis tools, whilst still enjoying approximately the descriptive power of the Hellinger--Kantorovich metric.


title: Fast Graphical Population Protocols

abstract: Let $G$ be a graph on $n$ nodes. In the stochastic population protocol model, a collection of $n$ indistinguishable, resource-limited nodes collectively solve tasks via pairwise interactions. In each interaction, two randomly chosen neighbors first read each other's states, and then update their local states. A rich line of research has established tight upper and lower bounds on the complexity of fundamental tasks, such as majority and leader election, in this model, when $G$ is a clique. Specifically, in the clique, these tasks can be solved fast, i.e., in $n \operatorname{polylog} n$ pairwise interactions, with high probability, using at most $\operatorname{polylog} n$ states per node. In this work, we consider the more general setting where $G$ is an arbitrary graph, and present a technique for simulating protocols designed for fully-connected networks in any connected regular graph. Our main result is a simulation that is efficient on many interesting graph families: roughly, the simulation overhead is polylogarithmic in the number of nodes, and quadratic in the conductance of the graph. As a sample application, we show that, in any regular graph with conductance $\phi$, both leader election and exact majority can be solved in $\phi^{-2} \cdot n \operatorname{polylog} n$ pairwise interactions, with high probability, using at most $\phi^{-2} \cdot \operatorname{polylog} n$ states per node. This shows that there are fast and space-efficient population protocols for leader election and exact majority on graphs with good expansion properties. We believe our results will prove generally useful, as they allow efficient technology transfer between the well-mixed (clique) case, and the under-explored spatial setting.


title: Testing for Nonlinear Cointegration under Heteroskedasticity

abstract: This article discusses tests for nonlinear cointegration in the presence of variance breaks. We build on cointegration test approaches under heteroskedasticity (Cavaliere and Taylor, 2006, Journal of Time Series Analysis) and nonlinearity (Choi and Saikkonen, 2010, Econometric Theory) to propose a bootstrap test and prove its consistency. A Monte Carlo study shows the approach to have satisfactory finite-sample properties. We provide an empirical application to the environmental Kuznets curves (EKC), finding that the cointegration test provides little evidence for the EKC hypothesis. Additionally, we examine a nonlinear relation between the US money demand and the interest rate, finding that our test does not reject the null of a smooth transition cointegrating relation.


title: Accelerated Simulations of Molecular Systems through Learning of their Effective Dynamics

abstract: Simulations are vital for understanding and predicting the evolution of complex molecular systems. However, despite advances in algorithms and special purpose hardware, accessing the timescales necessary to capture the structural evolution of bio-molecules remains a daunting task. In this work we present a novel framework to advance simulation timescales by up to three orders of magnitude, by learning the effective dynamics (LED) of molecular systems. LED augments the equation-free methodology by employing a probabilistic mapping between coarse and fine scales using mixture density network (MDN) autoencoders and evolves the non-Markovian latent dynamics using long short-term memory MDNs. We demonstrate the effectiveness of LED in the M\"ueller-Brown potential, the Trp Cage protein, and the alanine dipeptide. LED identifies explainable reduced-order representations and can generate, at any instant, the respective all-atom molecular trajectories. We believe that the proposed framework provides a dramatic increase to simulation capabilities and opens new horizons for the effective modeling of complex molecular systems.


title: Deep Learning for Market by Order Data

abstract: Market by order (MBO) data - a detailed feed of individual trade instructions for a given stock on an exchange - is arguably one of the most granular sources of microstructure information. While limit order books (LOBs) are implicitly derived from it, MBO data is largely neglected by current academic literature which focuses primarily on LOB modelling. In this paper, we demonstrate the utility of MBO data for forecasting high-frequency price movements, providing an orthogonal source of information to LOB snapshots and expanding the universe of alpha discovery. We provide the first predictive analysis on MBO data by carefully introducing the data structure and presenting a specific normalisation scheme to consider level information in order books and to allow model training with multiple instruments. Through forecasting experiments using deep neural networks, we show that while MBO-driven and LOB-driven models individually provide similar performance, ensembles of the two can lead to improvements in forecasting accuracy - indicating that MBO data is additive to LOB-based features.


title: Predicative Aspects of Order Theory in Univalent Foundations

abstract: We investigate predicative aspects of order theory in constructive univalent foundations. By predicative and constructive, we respectively mean that we do not assume Voevodsky's propositional resizing axioms or excluded middle. Our work complements existing work on predicative mathematics by exploring what cannot be done predicatively in univalent foundations. Our first main result is that nontrivial (directed or bounded) complete posets are necessarily large. That is, if such a nontrivial poset is small, then weak propositional resizing holds. It is possible to derive full propositional resizing if we strengthen nontriviality to positivity. The distinction between nontriviality and positivity is analogous to the distinction between nonemptiness and inhabitedness. We prove our results for a general class of posets, which includes directed complete posets, bounded complete posets and sup-lattices, using a technical notion of a $\delta_{\mathcal V}$-complete poset. We also show that nontrivial locally small $\delta_{\mathcal V}$-complete posets necessarily lack decidable equality. Specifically, we derive weak excluded middle from assuming a nontrivial locally small $\delta_{\mathcal V}$-complete poset with decidable equality. Moreover, if we assume positivity instead of nontriviality, then we can derive full excluded middle. Secondly, we show that each of Zorn's lemma, Tarski's greatest fixed point theorem and Pataraia's lemma implies propositional resizing. Hence, these principles are inherently impredicative and a predicative development of order theory must therefore do without them. Finally, we clarify, in our predicative setting, the relation between the traditional definition of sup-lattice that requires suprema for all subsets and our definition that asks for suprema of all small families.


title: A high-order L2 type difference scheme for the time-fractional diffusion equation

abstract: The present paper is devoted to constructing L2 type difference analog of the Caputo fractional derivative. The fundamental features of this difference operator are studied and it is used to construct difference schemes generating approximations of the second and fourth order in space and the $(3-\alpha)$ th-order in time for the time fractional diffusion equation with variable coefficients. Stability of the schemes under consideration as well as their convergence with the rate equal to the order of the approximation error are proven. The received results are supported by the numerical computations performed for some test problems.


title: Distributed Fair Scheduling for Information Exchange in Multi-Agent Systems

abstract: Information exchange is a crucial component of many real-world multi-agent systems. However, the communication between the agents involves two major challenges: the limited bandwidth, and the shared communication medium between the agents, which restricts the number of agents that can simultaneously exchange information. While both of these issues need to be addressed in practice, the impact of the latter problem on the performance of the multi-agent systems has often been neglected. This becomes even more important when the agents' information or observations have different importance, in which case the agents require different priorities for accessing the medium and sharing their information. Representing the agents' priorities by fairness weights and normalizing each agent's share by the assigned fairness weight, the goal can be expressed as equalizing the agents' normalized shares of the communication medium. To achieve this goal, we adopt a queueing theoretic approach and propose a distributed fair scheduling algorithm for providing weighted fairness in single-hop networks. Our proposed algorithm guarantees an upper-bound on the normalized share disparity among any pair of agents. This can particularly improve the short-term fairness, which is important in real-time applications. Moreover, our scheduling algorithm adjusts itself dynamically to achieve a high throughput at the same time. The simulation results validate our claims and comparisons with the existing methods show our algorithm's superiority in providing short-term fairness, while achieving a high throughput.


title: A proof of the Extended Delta Conjecture

abstract: We prove the Extended Delta Conjecture of Haglund, Remmel, and Wilson, a combinatorial formula for $\Delta _{h_l}\Delta' _{e_k} e_{n}$, where $\Delta' _{e_k}$ and $\Delta_{h_l}$ are Macdonald eigenoperators and $e_n$ is an elementary symmetric function. We actually prove a stronger identity of infinite series of $GL_m$ characters expressed in terms of LLT series. This is achieved through new results in the theory of the Schiffmann algebra and its action on the algebra of symmetric functions.


title: Measurements of angular distance and momentum ratio distributions in three-jet and Z + two-jet final states in pp collisions

abstract: Collinear (small-angle) and large-angle, as well as soft and hard radiations are investigated in three-jet and Z + two-jet events collected in proton-proton collisions at the LHC. The normalized production cross sections are measured as a function of the ratio of transverse momenta of two jets and their angular separation. The measurements in the three-jet and Z + two-jet events are based on data collected at a center-of-mass energy of 8 TeV, corresponding to an integrated luminosity of 19.8 fb$^{-1}$. The Z + two-jet events are reconstructed in the dimuon decay channel of the Z boson. The three-jet measurement is extended to include $\sqrt{s} =$ 13 TeV data corresponding to an integrated luminosity of 2.3 fb$^{-1}$. The results are compared to predictions from event generators that include parton showers, multiple parton interactions, and hadronization. The collinear and soft regions are in general well described by parton showers, whereas the regions of large angular separation are often best described by calculations using higher-order matrix elements.


title: Dissecting Supervised Contrastive Learning

abstract: Minimizing cross-entropy over the softmax scores of a linear map composed with a high-capacity encoder is arguably the most popular choice for training neural networks on supervised learning tasks. However, recent works show that one can directly optimize the encoder instead, to obtain equally (or even more) discriminative representations via a supervised variant of a contrastive objective. In this work, we address the question whether there are fundamental differences in the sought-for representation geometry in the output space of the encoder at minimal loss. Specifically, we prove, under mild assumptions, that both losses attain their minimum once the representations of each class collapse to the vertices of a regular simplex, inscribed in a hypersphere. We provide empirical evidence that this configuration is attained in practice and that reaching a close-to-optimal state typically indicates good generalization performance. Yet, the two losses show remarkably different optimization behavior. The number of iterations required to perfectly fit to data scales superlinearly with the amount of randomly flipped labels for the supervised contrastive loss. This is in contrast to the approximately linear scaling previously reported for networks trained with cross-entropy.


title: SciDr at SDU-2020: IDEAS -- Identifying and Disambiguating Everyday Acronyms for Scientific Domain

abstract: We present our systems submitted for the shared tasks of Acronym Identification (AI) and Acronym Disambiguation (AD) held under Workshop on SDU. We mainly experiment with BERT and SciBERT. In addition, we assess the effectiveness of "BIOless" tagging and blending along with the prowess of ensembling in AI. For AD, we formulate the problem as a span prediction task, experiment with different training techniques and also leverage the use of external data. Our systems rank 11th and 3rd in AI and AD tasks respectively.


title: Efficient and robust numerical treatment of a gradient-enhanced damage model at large deformations

abstract: The modeling of damage processes in materials constitutes an ill-posed mathematical problem which manifests in mesh-dependent finite element results. The loss of ellipticity of the discrete system of equations is counteracted by regularization schemes of which the gradient enhancement of the strain energy density is often used. In this contribution, we present an extension of the efficient numerical treatment, which has been proposed in [1], to materials that are subjected to large deformations. Along with the model derivation, we present a technique for element erosion in the case of severely damaged materials. Efficiency and robustness of our approach is demonstrated by two numerical examples.


title: Crop mapping from image time series: deep learning with multi-scale label hierarchies

abstract: The aim of this paper is to map agricultural crops by classifying satellite image time series. Domain experts in agriculture work with crop type labels that are organised in a hierarchical tree structure, where coarse classes (like orchards) are subdivided into finer ones (like apples, pears, vines, etc.). We develop a crop classification method that exploits this expert knowledge and significantly improves the mapping of rare crop types. The three-level label hierarchy is encoded in a convolutional, recurrent neural network (convRNN), such that for each pixel the model predicts three labels at different level of granularity. This end-to-end trainable, hierarchical network architecture allows the model to learn joint feature representations of rare classes (e.g., apples, pears) at a coarser level (e.g., orchard), thereby boosting classification performance at the fine-grained level. Additionally, labelling at different granularity also makes it possible to adjust the output according to the classification scores; as coarser labels with high confidence are sometimes more useful for agricultural practice than fine-grained but very uncertain labels. We validate the proposed method on a new, large dataset that we make public. ZueriCrop covers an area of 50 km x 48 km in the Swiss cantons of Zurich and Thurgau with a total of 116'000 individual fields spanning 48 crop classes, and 28,000 (multi-temporal) image patches from Sentinel-2. We compare our proposed hierarchical convRNN model with several baselines, including methods designed for imbalanced class distributions. The hierarchical approach performs superior by at least 9.9 percentage points in F1-score.


title: Three-dimensional Kinematic Metamaterial with tuneable directional permeability

abstract: Reconfigurable metamaterials are constructed from tessellation of deformable modules that give rise to a set of tuneable properties. To date, most research focuses on metamaterials that morph between final configurations along a single deformation path. Multi-pathway metamaterials that can transform into several different shapes according to various external stimuli are rare. Here we propose a kinematic based metamaterial with multiple predefined deformation paths. The inherent kinematic bifurcations of the deformable unit cells enable the metamaterial to switch among different paths under simple stimuli at one particular configuration, resulting in the enhancement of reconfigurability. The metamaterials demonstrated in this paper can provide multiple open channels in different orthogonal directions, making them suitable for multifunctional applications such as tuneable filters and reconfigurable wave guiding materials.


title: Surface finite element approximation of spherical Whittle--Mat\'ern Gaussian random fields

abstract: Spherical Whittle--Mat\'ern Gaussian random fields are considered as solutions to fractional elliptic stochastic partial differential equations on the sphere. Approximation is done with surface finite elements. While the non-fractional part of the operator is solved by a recursive scheme, a quadrature of the Dunford--Taylor integral representation is employed for the fractional part. Strong error analysis is performed, and the computational complexity is bounded in terms of the accuracy. Numerical experiments for different choices of parameters confirm the theoretical findings.


title: Vote Delegation and Misbehavior

abstract: We study vote delegation with "well-behaving" and "misbehaving" agents and compare it with conventional voting. Typical examples for vote delegation are validation or governance tasks on blockchains. There is a majority of well-behaving agents, but they may abstain or delegate their vote to other agents since voting is costly. Misbehaving agents always vote. We compare conventional voting allowing for abstention with vote delegation. Preferences of voters are private information and a positive outcome is achieved if well-behaving agents win. We illustrate that vote delegation leads to quite different outcomes than conventional voting with abstention. In particular, we obtain three insights: First, if the number of misbehaving voters, denoted by f , is high, both voting methods fail to deliver a positive outcome. Second, if f takes an intermediate value, conventional voting delivers a positive outcome, while vote delegation fails with probability one. Third, if f is low, delegation delivers a positive outcome with higher probability than conventional voting. Finally, our results characterize worst-case outcomes that can happen in a liquid democracy.


title: Entropy production and entropy extraction rates for a Brownian particle that walks in underdamped medium

abstract: The expressions for entropy production, free energy, and entropy extraction rates are derived for a Brownian particle that walks in an underdamped medium. Our analysis indicates that as long as the system is driven out of equilibrium, it constantly produces entropy at the same time it extracts entropy out of the system. At steady state, the rate of entropy production ${\dot e}_{p}$ balances the rate of entropy extraction ${\dot h}_{d}$. At equilibrium both entropy production and extraction rates become zero. The entropy production and entropy extraction rates are also sensitive to time. As time progresses, both entropy production and extraction rates increase in time and saturate to constant values. Moreover employing microscopic stochastic approach, several thermodynamic relations for different model systems are explored analytically and via numerical simulations by considering a Brownian particle that moves in overdamped medium. Our analysis indicates that the results obtained for underdamped cases quantitatively agree with overdamped cases at steady state. The fluctuation theorem is also discussed in detailed.


title: The thermodynamic principle determining the interface temperature during phase change

abstract: What is the interface temperature during phase transition (for instance, from liquid to vapor)? This question remains fundamentally unresolved. In the modeling of heat transfer problems with no phase change, the temperature and heat flux continuity conditions lead to the interface temperature. However, in problems with phase change, the heat flux condition is used to determine the amount of mass changing phase. This makes the interface temperature indeterminate unless an additional condition is imposed. A common approach in the modeling of boiling is to assume that the interface attains the saturation temperature according some measure of pressure at the interface. This assumption is usually applied even under highly non-equilibrium scenarios where significant temperature gradients and mass transport occur across the interface. In this work, an ab-initio thermodynamic principle is introduced based on the entropy production at the interface that fully specifies the associated temperature under non-equilibrium scenarios. Physically, the thermodynamic principle provides a theoretical limit on the space of possible phase change rates that can occur by associating the mass flux with a corresponding interfacial entropy production rate; a stronger statement is made that a system with sufficient degrees of freedom selects the maximum entropy production, giving the observed phase change rate and associated interface properties. This entropic principle captures experimental and computational values of the interface temperature that can deviate by over $50\%$ from the assumed saturation values. It also accounts for temperature jumps (discontinuities) at the interface whose difference can exceed 15 degrees Celcius. This thermodynamic principle is found to appropriately complete the phase change problem.


title: A Simple Mathematical Model for the Asymmetry of Time

abstract: A mathematical model is presented for the dynamics of time relative to space. The model design is analogous to a chemical kinetic reaction based on transition state theory which posits the existence of reactants, activated complex, and products. Here, time future is considered to be analogous to reactants, time now to transition state (activated complex) and time past to products. Thus, future, now, and past events are considered to be distinct from one another in the progression of time which flows from future to now to past. The model also incorporates a cyclical reaction (in a quasi-equilibrium state) between time future and time now as well as an irreversible reaction (that is unidirectional and not in equilibrium) from time now to time past. The results from modeling show that modeling time in terms of changes in space can explain the asymmetric nature of time.


title: A Knowledge-based Approach for the Automatic Construction of Skill Graphs for Online Monitoring

abstract: Automated vehicles need to be aware of the capabilities they currently possess. Skill graphs are directed acylic graphs in which a vehicle's capabilities and the dependencies between these capabilities are modeled. The skills a vehicle requires depend on the behaviors the vehicle has to perform and the operational design domain (ODD) of the vehicle. Skill graphs were originally proposed for online monitoring of the current capabilities of an automated vehicle. They have also been shown to be useful during other parts of the development process, e.g. system design, system verification. Skill graph construction is an iterative, expert-based, manual process with little to no guidelines. This process is, thus, prone to errors and inconsistencies especially regarding the propagation of changes in the vehicle's intended ODD into the skill graphs. In order to circumnavigate this problem, we propose to formalize expert knowledge regarding skill graph construction into a knowledge base and automate the construction process. Thus, all changes in the vehicle's ODD are reflected in the skill graphs automatically leading to a reduction in inconsistencies and errors in the constructed skill graphs.


title: Surface electromagnetic waves at gradual interfaces between lossy media

abstract: A low loss propagating electromagnetic wave is shown to exist at a gradual interface between two lossy conductive media. The electromagnetic frequency range of this phenomenon may span from UV optics to RF range. In particular, it is demonstrated that such a surface wave may be guided by a seafloor-seawater interface and it may be used in radio communication and imaging underwater. Similar surface waves may also be guided by various tissue boundaries inside a human body. For example, such surface wave solutions may exist at planar interfaces between skull bones and grey matter inside a human head at 6 GHz.


title: Magnonics in collinear magnetic insulating systems

abstract: In the last decades, collinear magnetic insulating systems have emerged as promising energy-saving information carriers. Their elementary collective spin excitations, i.e., magnons, can propagate for long distances bypassing the Joule heating effects that arise from electron scattering in metal-based devices. This tutorial article provides an introduction to theoretical and experimental advances in the study of magnonics in collinear magnetic insulating systems. We start by outlining the quantum theory of spin waves in ferromagnetic and antiferromagnetic systems and we discuss their quantum statistics. We review the phenomenology of spin and heat transport of the coupled coherent and incoherent spin dynamics and the interplay between magnetic excitations and lattice degrees of freedom. Finally, we introduce the reader to the key ingredients of two experimental probes of magnetization dynamics, spin transport and NV-center relaxometry setups, and discuss experimental findings relevant to the outlined theory.


title: Electromagnetic Scattering by Networks of High-Permittivity Thin Wires

abstract: The electromagnetic scattering from interconnections of high-permittivity dielectric thin wires with sizes smaller than (or almost equal to) the operating wavelength is investigated. A simple lumped element model for the polarization current intensities induced in the wires is proposed. The circuit elements are capacitances and inductances between the wires. An analytical expression for the induced polarization currents in terms of the magneto-quasistatic current modes is obtained. The connection between the spectral properties of the loop inductance matrix and the network's resonances is established. The number of the allowed current modes and resonances is deduced from the topology of the circuit's digraph. The coupling to radiation is also included, and the radiative frequency shifts and the quality factors are derived. The introduced concept and methods may find applications both at the microwaves and in nanophotonics.


title: Cloaking, Trapping and Superlensing of Lamb Waves with Negative Refraction

abstract: We report on experimental and numerical implementations of devices based on the negative refraction of elastic guided waves, the so-called Lamb waves. Consisting in plates of varying thickness, these devices rely on the concept of complementary media, where a particular layout of negative index media can cloak an object with its anti-object or trap waves around a negative corner. The diffraction cancellation operated by negative refraction is investigated by means of laser ultrasound experiments. However, unlike original theoretical predictions, these intriguing wave phenomena remain, nevertheless, limited to the propagating component of the wave-field. To go beyond the diffraction limit, negative refraction is combined with the concept of metalens, a device converting the evanescent components of an object into propagating waves. The transport of an evanescent wave-field is then possible from an object plane to a far-field imaging plane. Twenty years after Pendry's initial proposal, this work thus paves the way towards an elastic superlens.


title: L\'evy on-off intermittency

abstract: We present a new form of intermittency, L\'evy on-off intermittency, which arises from multiplicative $\alpha$-stable white noise close to an instability threshold. We study this problem in the linear and nonlinear regimes, both theoretically and numerically, for the case of a pitchfork bifurcation with fluctuating growth rate. We compute the stationary distribution analytically and numerically from the associated fractional Fokker-Planck equation in the Stratonovich interpretation. We characterize the system in the parameter space $(\alpha,\beta)$ of the noise, with stability parameter $\alpha\in (0,2)$ and skewness parameter $\beta\in[-1,1]$. Five regimes are identified in this parameter space, in addition to the well-studied Gaussian case $\alpha=2$. Three regimes are located at $1<\alpha<2$, where the noise has finite mean but infinite variance. They are differentiated by $\beta$ and all display a critical transition at the deterministic instability threshold, with on-off intermittency close to onset. Critical exponents are computed from the stationary distribution. Each regime is characterized by a specific form of the density and specific critical exponents, which differ starkly from the Gaussian case. A finite or infinite number of integer-order moments may converge, depending on parameters. Two more regimes are found at $0<\alpha\leq 1$. There, the mean of the noise diverges, and no critical transition occurs. In one case the origin is always unstable, independently of the distance $\mu$ from the deterministic threshold. In the other case, the origin is conversely always stable, independently of $\mu$. We thus demonstrate that an instability subject to non-equilibrium, power-law-distributed fluctuations can display substantially different properties than for Gaussian thermal fluctuations, in terms of statistics and critical behavior.


title: DESED-FL and URBAN-FL: Federated Learning Datasets for Sound Event Detection

abstract: Research on sound event detection (SED) in environmental settings has seen increased attention in recent years. The large amounts of (private) domestic or urban audio data needed raise significant logistical and privacy concerns. The inherently distributed nature of these tasks, make federated learning (FL) a promising approach to take advantage of largescale data while mitigating privacy issues. While FL has also seen increased attention recently, to the best of our knowledge there is no research towards FL for SED. To address this gap and foster further research in this field, we create and publish novel FL datasets for SED in domestic and urban environments. Furthermore, we provide baseline results on the datasets in a FL context for three deep neural network architectures. The results indicate that FL is a promising approach for SED, but faces challenges with divergent data distributions inherent to distributed client edge devices.


title: MOND-like behavior in the Dirac-Milne universe -- Flat rotation curves and mass/velocity relations in galaxies and clusters

abstract: We show that in the Dirac-Milne universe (a matter-antimatter symmetric universe where the two components repel each other), rotation curves are generically flat beyond the characteristic distance of about 3 virial radii, and that a Tully-Fisher relation with exponent $\approx 3$ is satisfied. Using 3D simulations with a modified version of the RAMSES code, we show that the Dirac-Milne cosmology presents a Faber-Jackson relation with a very small scatter and an exponent equal to $\approx 3$ between the mass and the velocity dispersion. We also show that the mass derived from the rotation curves assuming Newtonian gravity is systematically overestimated compared to the mass really present. We also show that the Dirac-Milne universe, featuring a polarization between its matter and antimatter components, presents a behavior similar to that of MOND (Modified Newtonian Dynamics), characterized by an additional surface gravity compared to the Newtonian case. We show that in the Dirac-Milne universe, at the present epoch, the intensity of the additional gravitational field $g_{am}$ due to the presence of clouds of antimatter is of the order of a few $10^{-11}$ m/s$^2$, similar to the characteristic acceleration of MOND. We study the evolution of this additional acceleration $g_{am}$ and show that it depends on the redshift, and is therefore not a fundamental constant. Combined with its known concordance properties on SNIa luminosity distance, age, nucleosynthesis and structure formation, the Dirac-Milne cosmology may then represent an interesting alternative to the $\Lambda$CDM, MOND, and other scenarios for explaining the Dark Matter and Dark Energy conundrum.


title: Vote Delegation with Unknown Preferences

abstract: We examine vote delegation when preferences of agents are private information. One group of agents (delegators) does not want to participate in voting and abstains under conventional voting or can delegate its votes to the other group (voters) who decide between two alternatives. We show that free delegation favors minorities, that is, alternatives that have a lower chance of winning ex-ante. The same occurs if the number of voting rights that actual voters can have is capped. When the number of delegators increases, the probability that the ex-ante minority wins under free and capped delegation converges to the one under conventional voting--albeit non-monotonically. Our results are obtained in a private value setting but can be readily translated into an information aggregation setting when voters receive a signal about the ''correct" alternative with some probability.


title: Comparative high-resolution spectroscopy of M dwarfs -- exploring non-LTE effects

abstract: M dwarfs are key targets for high-resolution spectroscopic analyses due to a high incidence of these stars in the solar neighbourhood and their importance as exoplanetary hosts. Several methodological challenges make such analyses difficult, leading to significant discrepancies in the published results. We compare M dwarf parameters derived by recent high-resolution near-infrared studies with each other and with fundamental stellar parameters. We also assess to what extent deviations from local thermodynamic equilibrium (LTE) for Fe and K influence the outcome of these studies. We carry out line formation calculations based on a modern model atmosphere grid along with a synthetic spectrum synthesis code that treats formation of atomic and molecular lines in cool-star atmospheres including departures from LTE. We use near-infrared spectra collected with the CRIRES instrument at the ESO VLT as reference observational data. We find that the effective temperatures obtained by the different studies mostly agree to better than 100 K. We see a much worse agreement in the surface gravities and metallicities. We demonstrate that non-LTE effects are negligible for Fe I in M-dwarf atmospheres but are important for K I. These effects, leading to K abundance and metallicity corrections on the order of 0.2 dex, may be responsible for some of the discrepancies in the published analyses. Differences in the temperature-pressure structures of the atmospheric models may be another factor contributing to the discrepancies, in particular at low metallicities and high effective temperatures. In high-resolution spectroscopic studies of M dwarfs attention should be given to details of the line formation physics as well as input atomic and molecular data. Collecting high-quality, wide wavelength coverage spectra of benchmark M dwarfs is an essential future step.


title: Formulation of Stochastic Contact Hamiltonian Systems

abstract: In this work we devise a stochastic version of contact Hamiltonian systems, and show that the phase flows of these systems preserve contact structures. Moreover, we provide a sufficient condition under which these stochastic contact Hamiltonian systems are completely integrable. This establishes an appropriate framework for investigating stochastic contact Hamiltonian systems.


title: Search for a muon EDM using the frozen-spin technique

abstract: This letter of intent proposes an experiment to search for an electric dipole moment of the muon based on the frozen-spin technique. We intend to exploit the high electric field, $E=1{\rm GV/m}$, experienced in the rest frame of the muon with a momentum of $p=125 {\rm MeV/}c$ when passing through a large magnetic field of $|\vec{B}|=3{\rm T}$. Current muon fluxes at the $\mu$E1 beam line permit an improved search with a sensitivity of $\sigma(d_\mu)\leq 6\times10^{-23}e{\rm cm}$, about three orders of magnitude more sensitivity than for the current upper limit of $|d_\mu|\leq1.8\times10^{-19}e{\rm cm}$\,(C.L. 95\%). With the advent of the new high intensity muon beam, HIMB, and the cold muon source, muCool, at PSI the sensitivity of the search could be further improved by tailoring a re-acceleration scheme to match the experiments injection phase space. While a null result would set a significantly improved upper limit on an otherwise un-constrained Wilson coefficient, the discovery of a muon EDM would corroborate the existence of physics beyond the Standard Model.


title: Higher Compact Multiple Occurrence Around Metal-Poor M-Dwarfs and Late K-Dwarfs

abstract: The planet-metallicity correlation serves as a potential link between exoplanet systems as we observe them today and the effects of bulk composition on the planet formation process. Many observers have noted a tendency for Jovian planets to form around stars with higher metallicities; however, there is no consensus on a trend for smaller planets. Here, we investigate the planet-metallicity correlation for rocky planets in single and multi-planet systems around Kepler M-dwarf and late K-dwarf stars. Due to molecular blanketing and the dim nature of these low mass stars, it is difficult to make direct elemental abundance measurements via spectroscopy. We instead use a combination of accurate and uniformly measured parallaxes and photometry to obtain relative metallicities and validate this method with a subsample of spectroscopically determined metallicities. We use the Kolmogorov-Smirnov (KS) test, Mann-Whitney U test, and Anderson-Darling test to compare the compact multiple planetary systems with single transiting planet systems and systems with no detected transiting planets. We find that the compact multiple planetary systems are derived from a statistically more metal-poor population, with a p-value of 0.015 in the KS test, a p-value of 0.005 in the Mann-Whitney U test, and a value of 2.574 in the Anderson-Darling test statistic, which exceeds the derived threshold for significance by a factor of 25. We conclude that metallicity plays a significant role in determining the architecture of rocky planet systems. Compact multiples either form more readily, or are more likely to survive on Gyr timescales, around metal-poor stars.


title: The intermediate neutron capture process. I. Development of the i-process in low-metallicity low-mass AGB stars

abstract: Results from observations report a growing number of metal-poor stars showing an abundance pattern midway between the s- and r-processes. These so-called r/s-stars raise the need for an intermediate neutron capture process (i-process), which is thought to result from the ingestion of protons in a convective helium-burning region, but whose astrophysical site is still largely debated. We investigate whether an i-process during the asymptotic giant branch (AGB) phase of low-metallicity low-mass stars can develop and whether it can explain the abundances of observed r/s-stars. At the beginning of the AGB phase, during the third thermal pulse, the helium driven convection zone is able to penetrate the hydrogen-rich layers. The subsequent proton ingestion leads to a strong neutron burst with neutron densities of $\approx 4.3 \times 10^{14}$ cm$^{-3}$ at the origin of the synthesis of i-process elements. The nuclear energy released by proton burning in the helium-burning convective shell strongly affects the internal structure: the thermal pulse splits and after approximately ten years the upper part of the convection zone merges with the convective envelope. The surface carbon abundance is enhanced by more than 3 dex. This leads to an increase in the opacity, which triggers a strong mass loss and prevents any further thermal pulse. We show that specific isotopic ratios of Ba, Nd, Sm, and Eu can represent good tracers of i-process nucleosynthesis. Finally, an extended comparison with 14 selected r/s-stars show that the observed composition patterns can be well reproduced by our i-process AGB model.


title: A Framework for Characterising the Value of Information in Hidden Markov Models

abstract: In this paper, a general framework is formalised to characterise the value of information (VoI) in hidden Markov models. Specifically, the VoI is defined as the mutual information between the current, unobserved status at the source and a sequence of observed measurements at the receiver, which can be interpreted as the reduction in the uncertainty of the current status given that we have noisy past observations of a hidden Markov process. We explore the VoI in the context of the noisy Ornstein-Uhlenbeck process and derive its closed-form expressions. Moreover, we investigate the effect of different sampling policies on VoI, deriving simplified expressions in different noise regimes and analysing statistical properties of the VoI in the worst case. We also study the optimal sampling policy to maximise the average information value under the sampling rate constraint. In simulations, the validity of theoretical results is verified, and the performance of VoI in Markov and hidden Markov models is also analysed. Numerical results further illustrate that the proposed VoI framework can support timely transmission in status update systems, and it can also capture the correlation properties of the underlying random process and the noise in the transmission environment.


title: On the number of real eigenvalues of a product of truncated orthogonal random matrices

abstract: Let $O$ be chosen uniformly at random from the group of $(N+L) \times (N+L)$ orthogonal matrices. Denote by $\tilde{O}$ the upper-left $N \times N$ corner of $O$, which we refer to as a truncation of $O$. In this paper we prove two conjectures of Forrester, Ipsen and Kumar (2020) on the number of real eigenvalues $N^{(m)}_{\mathbb{R}}$ of the product matrix $\tilde{O}_{1}\ldots \tilde{O}_{m}$, where the matrices $\{\tilde{O}_{j}\}_{j=1}^{m}$ are independent copies of $\tilde{O}$. When $L$ grows in proportion to $N$, we prove that $$ \mathbb{E}(N^{(m)}_{\mathbb{R}}) = \sqrt{\frac{2m L}{\pi}}\,\mathrm{arctanh}\left(\sqrt{\frac{N}{N+L}}\right) + O(1), \qquad N \to \infty. $$ We also prove the conjectured form of the limiting real eigenvalue distribution of the product matrix. Finally, we consider the opposite regime where $L$ is fixed with respect to $N$, known as the regime of weak non-orthogonality. In this case each matrix in the product is very close to an orthogonal matrix. We show that $\mathbb{E}(N^{(m)}_{\mathbb{R}}) \sim c_{L,m}\,\log(N)$ as $N \to \infty$ and compute the constant $c_{L,m}$ explicitly. These results generalise the known results in the one matrix case due to Khoruzhenko, Sommers and \.{Z}yczkowski (2010).


title: ParAMS: Parameter Optimization for Atomistic and Molecular Simulations

abstract: This work introduces ParAMS -- a versatile Python package that aims to make parameterization workflows in computational chemistry and physics more accessible, transparent and reproducible. We demonstrate how ParAMS facilitates the parameter optimization for potential energy surface (PES) models, which can otherwise be a tedious specialist task. Because of the package's modular structure, various functionality can be easily combined to implement a diversity of parameter optimization protocols. For example, the choice of PES model and the parameter optimization algorithm can be selected independently. An illustration of ParAMS' strengths is provided in two case studies: i) a density functional-based tight binding (DFTB) repulsive potential for the inorganic ionic crystal ZnO, and ii) a ReaxFF force field for the simulation of organic disulfides.


title: On two mean square averages of Dirichlet $L$-function

abstract: Finding the mean square averages of the Dirichlet $L$-functions over Dirichlet characters $\chi$ of same parity is an active problem in number theory. Here we explicitly evaluate such averages of $L(3,\chi)$ and $L(4,\chi)$ using certain trigonometric sums and Bernoulli polynomials and express them in terms of the Euler totient function $\phi$ and the Jordan totient function $J_s$.


title: Genetically Optimized Prediction of Remaining Useful Life

abstract: The application of remaining useful life (RUL) prediction has taken great importance in terms of energy optimization, cost-effectiveness, and risk mitigation. The existing RUL prediction algorithms mostly constitute deep learning frameworks. In this paper, we implement LSTM and GRU models and compare the obtained results with a proposed genetically trained neural network. The current models solely depend on Adam and SGD for optimization and learning. Although the models have worked well with these optimizers, even little uncertainties in prognostics prediction can result in huge losses. We hope to improve the consistency of the predictions by adding another layer of optimization using Genetic Algorithms. The hyper-parameters - learning rate and batch size are optimized beyond manual capacity. These models and the proposed architecture are tested on the NASA Turbofan Jet Engine dataset. The optimized architecture can predict the given hyper-parameters autonomously and provide superior results.


title: Frequency multiplier estimates for the linearized relativistic Boltzmann operator without angular cutoff

abstract: This paper is concerned with the relativistic Boltzmann equation without angular cutoff. The non-cutoff theory for the relativistic Boltzmann equation has been rarely studied even under a smallness assumption on the initial data due to the lack of understanding of the spectrum and the need for coercivity estimates on the linearized collision operator. Namely, it is crucial to obtain the sharp asymptotics for the frequency multiplier to obtain this coercivity that has never been established before. In this paper, we prove the sharp asymptotics for the frequency multiplier for a general relativistic scattering kernel without angular cutoff. As a consequence of our calculations, we further explain how the well-known change of variables $p' \to p$ is not well defined in the special relativistic context.


title: Differential Privacy for Government Agencies -- Are We There Yet?

abstract: Government agencies typically need to take potential risks of disclosure into account whenever they publish statistics based on their data or give external researchers access to collected data. In this context, the promise of formal privacy guarantees offered by concepts such as differential privacy seems to be the panacea enabling the agencies to quantify and control the privacy loss incurred by any data release exactly. Nevertheless, despite the excitement in academia and industry, most agencies -- with the prominent exception of the U.S. Census Bureau -- have been reluctant to even consider the concept for their data release strategy. This paper discusses potential reasons for this. We argue that the requirements for implementing differential privacy approaches at government agencies are often fundamentally different from the requirements in industry. This raises many challenges and questions that still need to be addressed before the concept can be used as an overarching principle when sharing data with the public. The paper does not offer any solutions to these challenges. Instead, we hope to stimulate some collaborative research efforts, as we believe that many of the problems can only be addressed by interdisciplinary collaborations.


title: Multi-dimensional wave steering with higher-order topological phononic crystal

abstract: The recent discovery and realizations of higher-order topological insulators enrich the fundamental studies on topological phases. Here, we report three-dimensional (3D) wave-steering capabilities enabled by topological boundary states at three different orders in a 3D phononic crystal with nontrivial bulk topology originated from the synergy of mirror symmetry of the unit cell and a non-symmorphic glide symmetry of the lattice. The multitude of topological states brings diverse possibility of wave manipulations. Through judicious engineering of the boundary modes, we experimentally demonstrate two functionalities at different dimensions: 2D negative refraction of sound wave enabled by a first-order topological surface state with negative dispersion, and a 3D acoustic interferometer leveraging on second-order topological hinge states. Our work showcases that topological modes at different orders promise diverse wave steering applications across different dimensions.


title: Automated Curriculum Learning for Embodied Agents: A Neuroevolutionary Approach

abstract: We demonstrate how an evolutionary algorithm can be extended with a curriculum learning process that selects automatically the environmental conditions in which the evolving agents are evaluated. The environmental conditions are selected so to adjust the level of difficulty to the ability level of the current evolving agents and so to challenge the weaknesses of the evolving agents. The method does not require domain knowledge and does not introduce additional hyperparameters. The results collected on two benchmark problems, that require to solve a task in significantly varying environmental conditions, demonstrate that the method proposed outperforms conventional algorithms and generates solutions that are robust to variations


title: Contrastive Learning Inverts the Data Generating Process

abstract: Contrastive learning has recently seen tremendous success in self-supervised learning. So far, however, it is largely unclear why the learned representations generalize so effectively to a large variety of downstream tasks. We here prove that feedforward models trained with objectives belonging to the commonly used InfoNCE family learn to implicitly invert the underlying generative model of the observed data. While the proofs make certain statistical assumptions about the generative model, we observe empirically that our findings hold even if these assumptions are severely violated. Our theory highlights a fundamental connection between contrastive learning, generative modeling, and nonlinear independent component analysis, thereby furthering our understanding of the learned representations as well as providing a theoretical foundation to derive more effective contrastive losses.


title: GeV emission in the region of the supernova remnant G51.26+0.11

abstract: The supernova remnant (SNR) G51.26+0.11 was recently discovered and little is known about its properties and environment. Using data from the \emph{Fermi} Large Area Telescope we study the GeV emission seen in the direction of G51.26+0.11 to constrain the origin of the gamma rays and their possible relation to this SNR or to a star-forming region. We also search for emission from molecular gas in the region that could provide dense material for the production of gamma rays. By modeling the multi-wavelength spectrum of G51.26+0.11 from radio to gamma rays we derive the properties of the particle populations that could produce the emission in several possible scenarios. We rule out the star-forming regions (such as G051.010+00.060) seen nearby as the origin of the GeV emission. The correspondence seen between the gamma-ray and radio morphologies support a scenario where G51.26+0.11 is the cause of the gamma rays. The flat spectral energy distribution observed at GeV energies is best fit by hadronic or inverse Compton emission, while a bremsstrahlung model cannot properly account for the radio fluxes under a simple one-zone scenario. A pulsar wind nebula origin of the high-energy photons cannot be ruled out or confirmed.


title: Bifurcation to instability through the lens of the Maslov index

abstract: The Maslov index is a powerful tool for assessing the stability of solitary waves. Although it is difficult to calculate in general, a framework for doing so was recently established for singularly perturbed systems. In this paper, we apply this framework to standing wave solutions of a three-component activator-inhibitor model. These standing waves are known to become unstable as parameters vary. Our goal is to see how this established stability criterion manifests itself in the Maslov index calculation. In so doing, we obtain new insight into the mechanism for instability. We further suggest how this mechanism might be used to reveal new instabilities in singularly perturbed models.


title: Gossip over Holonomic Graphs

abstract: A gossip process is an iterative process in a multi-agent system where only two neighboring agents communicate at each iteration and update their states. The neighboring condition is by convention described by an undirected graph. In this paper, we consider a general update rule whereby each agent takes an arbitrary weighted average of its and its neighbor's current states. In general, the limit of the gossip process (if it converges) depends on the order of iterations of the gossiping pairs. The main contribution of the paper is to provide a necessary and sufficient condition for convergence of the gossip process that is independent of the order of iterations. This result relies on the introduction of the novel notion of holonomy of local stochastic matrices for the communication graph. We also provide complete characterizations of the limit and the space of holonomic stochastic matrices over the graph.


title: Detectability of continuous gravitational waves from isolated neutron stars in the Milky Way: the population synthesis approach

abstract: Aims. We estimate the number of pulsars, detectable as continuous gravitational wave sources with the current and future gravitational-wave detectors, assuming a simple phenomenological model of evolving non-axisymmetry of the rotating neutron star. Methods. We employ a numerical model of the Galactic neutron star population, with the properties established by comparison with radio observations of isolated Galactic pulsars. We generate an arbitrarily large synthetic population of neutron stars and evolve their period, magnetic field, and position in space. We use a gravitational wave emission model based on exponentially decaying ellipticity - a non-axisymmetry of the star, with no assumption of the origin of a given ellipticity. We calculate the expected signal in a given detector for a 1 year observations and assume a detection criterion of the signal-to-noise ratio of 11.4 - comparable to a targeted continous wave search. We analyze the population detectable separately in each detector: Advanced LIGO, Advanced Virgo, and the planned Einstein Telescope. In the calculation of the expected signal we neglect signals frequency change due to the source spindown and the Earth motion with respect to the Solar barycentre. Results. With conservative values for the neutron stars evolution: supernova rate once per 100 years, initial ellipticity $\epsilon_{0}$ = 1e-5 with no decay of the ellipticity $\eta$ = $t_\rm{hub}$ = 1e4 Myr, the expected number of detected neutron stars is below one: 0.15 (based on a simulation of 10 M stars) for the Advanced LIGO detector. A broader study of the parameter space ($\epsilon_{0}$ , $\eta$) is presented. With the planned sensitivity for the Einstein Telescope, and assuming the same ellipiticity model, the expected detection number is: 26.4 pulsars during a 1-year long observing run.


title: Dissipativity, reciprocity and passive network synthesis: from Jan Willems' seminal Dissipative Dynamical Systems papers to the present day

abstract: The dissipativity concept sits at the intersection of physics, systems theory, and control engineering, as a natural generalisation of passive systems that dissipate energy. It relates the external behavior of systems to their internal state, and connects the subjects of optimal control, algebraic Riccati equations, linear matrix inequalities, complex functions, and spectral factorization. Within control, its applications include the analysis and design of interconnected systems (such as cyber-physical systems), robustness, and the absolute stability problem, and network synthesis (of electrical, mechanical, and multi-physics systems). This article details recent developments in the treatment of dissipativity and the related concept of reciprocity for systems that are not necessarily controllable and need not lend themselves naturally to an input-state-output perspective, as is the case for many physical and passive systems. We illustrate these concepts using simple electric circuit and mechanical network examples.


title: A re-examination of antiferroelectric PbZrO$_3$ and PbHfO$_3$: an 80-atom $Pnam$ structure

abstract: First principles density functional theory (DFT) simulations of antiferroelectric (AFE) PbZrO$_3$ and PbHfO$_3$ reveal a dynamical instability in the phonon spectra of their purported low temperature $Pbam$ ground states. This instability doubles the $c$-axis of $Pbam$ and condenses five new small amplitude phonon modes giving rise to an 80-atom $Pnam$ structure. Compared with $Pbam$, the stability of this structure is slightly enhanced and highly reproducible as demonstrated through using different DFT codes and different treatments of electronic exchange & correlation interactions. This suggests that $Pnam$ is a new candidate for the low temperature ground state of both materials. With this finding, we bring parity between the AFE archetypes and recent observations of a very similar AFE phase in doped or electrostatically engineered BiFeO$_3$.


title: Constraining Light Dark Photons from GW190517 and GW190426_152155

abstract: Ultralight dark photons predicted in several Standard Model extensions can trigger the superradiant instability around rotating black holes if their Compton wavelength is comparable to the Blackhole radius. Consequently, the angular momentum of the black hole is reduced to a value which depends upon the mass and spin of the black hole as well as the mass of the dark photon. We use the mass and spin measurements of the primary black holes in two recently observed binary black hole systems: GW190517 and GW190426_152155 to constrain dark photon mass in the ranges $1.7\times 10^{-14}{\rm\ eV}<m_{A'}<7.6\times 10^{-13}{\rm\ eV}$ and $1.3\times 10^{-13}{\rm\ eV}<m_{A'}<4.2\times 10^{-12}{\rm\ eV}$ respectively, assuming a timescale of a few million years from the time of formation of the binary black hole system to the time of their merger. We also discuss an interesting X-ray binary system, MAXI J1820_070, albeit with a relatively small value of the spin parameter.


title: Metrical Tagging in the Wild: Building and Annotating Poetry Corpora with Rhythmic Features

abstract: A prerequisite for the computational study of literature is the availability of properly digitized texts, ideally with reliable meta-data and ground-truth annotation. Poetry corpora do exist for a number of languages, but larger collections lack consistency and are encoded in various standards, while annotated corpora are typically constrained to a particular genre and/or were designed for the analysis of certain linguistic features (like rhyme). In this work, we provide large poetry corpora for English and German, and annotate prosodic features in smaller corpora to train corpus driven neural models that enable robust large scale analysis. We show that BiLSTM-CRF models with syllable embeddings outperform a CRF baseline and different BERT-based approaches. In a multi-task setup, particular beneficial task relations illustrate the inter-dependence of poetic features. A model learns foot boundaries better when jointly predicting syllable stress, aesthetic emotions and verse measures benefit from each other, and we find that caesuras are quite dependent on syntax and also integral to shaping the overall measure of the line.


title: Restrictions, L-parameters, and local coefficients for genuine representations

abstract: We consider the restriction and induction of representations between a covering group and its derived subgroup, both on the representation-theoretic side and the L-parameter side. In particular, restriction of a genuine principal series is analyzed in detail. We also discuss a metaplectic tensor product construction for covers of the symplectic similitudes groups, and remark on the generality of such a construction for other groups. Furthermore, working with an arbitrary irreducible constituent of a unitary unramified principal series, we prove a multiplicity formula for its restriction to the derived subgroup in terms of three associated R-groups. Later in the paper, we study an unramified L-packet on how the parametrization of elements inside such a packet varies along with different choices of hyperspecial maximal compact subgroups and their splittings. We also investigate the genericity of elements inside such an L-packet with respect to varying Whittaker datum. Pertaining to the above two problems, covers of the symplectic similitudes groups are discussed in detail in the last part of the paper.


title: ShaRF: Shape-conditioned Radiance Fields from a Single View

abstract: We present a method for estimating neural scenes representations of objects given only a single image. The core of our method is the estimation of a geometric scaffold for the object and its use as a guide for the reconstruction of the underlying radiance field. Our formulation is based on a generative process that first maps a latent code to a voxelized shape, and then renders it to an image, with the object appearance being controlled by a second latent code. During inference, we optimize both the latent codes and the networks to fit a test image of a new object. The explicit disentanglement of shape and appearance allows our model to be fine-tuned given a single image. We can then render new views in a geometrically consistent manner and they represent faithfully the input object. Additionally, our method is able to generalize to images outside of the training domain (more realistic renderings and even real photographs). Finally, the inferred geometric scaffold is itself an accurate estimate of the object's 3D shape. We demonstrate in several experiments the effectiveness of our approach in both synthetic and real images.


title: Action of micro-differential operators on quantized contact transformations

abstract: Quantized contact transforms (QCT) have been constructed in \cite{SKK73}. We give here a complete proof of the fact that such QCT commute with the action of microdifferential operators. To our knowledge, such a proof did not exist in the literature. We apply this result to the microlocal Radon transform.


title: ALICE : online-offline processing for Run 3

abstract: ALICE will increase the data-taking rate for Run 3 significantly to 50 kHz continuous readout of minimum bias Pb--Pb collisions. The foreseen reconstruction strategy consists of 2 phases: a first synchronous online reconstruction stage during data-taking enabling detector calibration, and a posterior calibrated asynchronous reconstruction stage. The main challenges include processing and compression of 50 times more events per second than in Run 2, sophisticated compression and removal of TPC data not use for physics, tracking of TPC data in continuous readout, the TPC space-charge distortion calibrations, and in general running more reconstruction steps online compared to Run 2. ALICE will leverage GPUs to facilitate the synchronous processing with the available resources. In order to achieve the best utilization of the computing farm, we plan to offload also several steps of the asynchronous reconstruction to the GPU. This paper gives an overview of the important processing steps during synchronous and asynchronous reconstruction and of the required computing capabilities.


title: A Graph Neural Network to Model Disruption in Human-Aware Robot Navigation

abstract: Autonomous navigation is a key skill for assistive and service robots. To be successful, robots have to minimise the disruption caused to humans while moving. This implies predicting how people will move and complying with social conventions. Avoiding disrupting personal spaces, people's paths and interactions are examples of these social conventions. This paper leverages Graph Neural Networks to model robot disruption considering the movement of the humans and the robot so that the model built can be used by path planning algorithms. Along with the model, this paper presents an evolution of the dataset SocNav1 [25] which considers the movement of the robot and the humans, and an updated scenario-to-graph transformation which is tested using different Graph Neural Network blocks. The model trained achieves close-to-human performance in the dataset. In addition to its accuracy, the main advantage of the approach is its scalability in terms of the number of social factors that can be considered in comparison with handcrafted models. The dataset and the model are available in a public repository (https://github.com/gnns4hri/sngnnv2).


title: Automated Test-Case Generation for Solidity Smart Contracts: the AGSolT Approach and its Evaluation

abstract: Blockchain and smart contract technology are novel approaches to data and code management that facilitate trusted computing by allowing for development in a distributed and decentralized manner. Testing smart contracts comes with its own set of challenges which have not yet been fully identified and explored. Although existing tools can identify and discover known vulnerabilities and their interactions on the Ethereum blockchain through random search or symbolic execution, these tools generally do not produce test suites suitable for human oracles. In this paper, we present AGSOLT (Automated Generator of Solidity Test Suites). We demonstrate its efficiency by implementing two search algorithms to automatically generate test suites for stand-alone Solidity smart contracts, taking into account some of the blockchain-specific challenges. To test AGSOLT, we compared a random search algorithm and a genetic algorithm on a set of 36 real-world smart contracts. We found that AGSOLT is capable of achieving high branch coverage with both approaches and even discovered some errors in some of the most popular Solidity smart contracts on Github.


title: The Case for Thermalization as a Contributor to the [CII] Deficit

abstract: The [CII] deficit, which describes the observed decrease in the ratio of [CII] 158 micron emission to continuum infrared emission in galaxies with high star formation surface densities, places a significant challenge to the interpretation of [CII] detections from across the observable universe. In an attempt to further decode the cause of the [CII] deficit, the [CII] and dust continuum emission from 18 Local Volume galaxies has been split based on conditions within the interstellar medium where it originated. This is completed using the Key Insights in Nearby Galaxies: a Far-Infrared Survey with Herschel (KINGFISH) and Beyond the Peak (BtP) surveys and the wide-range of wavelength information, from UV to far-infrared emission lines, available for a selection of star-forming regions within these samples. By comparing these subdivided [CII] emissions to isolated infrared emission and other properties, we find that the thermalization (collisional de-excitation) of the [CII] line in HII regions plays a significant role in the deficit observed in our sample.


title: IoTDevID: A Behavior-Based Device Identification Method for the IoT

abstract: Device identification is one way to secure a network of IoT devices, whereby devices identified as suspicious can subsequently be isolated from a network. In this study, we present a machine learning-based method, IoTDevID, that recognizes devices through characteristics of their network packets. As a result of using a rigorous feature analysis and selection process, our study offers a generalizable and realistic approach to modelling device behavior, achieving high predictive accuracy across two public datasets. The model's underlying feature set is shown to be more predictive than existing feature sets used for device identification, and is shown to generalize to data unseen during the feature selection process. Unlike most existing approaches to IoT device identification, IoTDevID is able to detect devices using non-IP and low-energy protocols.


title: Hypergraph Laplacians in Diffusion Framework

abstract: Networks are important structures used to model complex systems where interactions take place. In a basic network model, entities are represented as nodes, and interaction and relations among them are represented as edges. However, in a complex system, we cannot describe all relations as pairwise interactions, rather should describe as higher-order interactions. Hypergraphs are successfully used to model higher-order interactions in complex systems. In this paper, we present two new hypergraph Laplacians based on diffusion framework. Our Laplacians take the relations between higher-order interactions into consideration, hence can be used to model diffusion on hypergraphs not only between vertices but also higher-order structures. These Laplacians can be employed in different network mining problems on hypergraphs, such as social contagion models on hypergraphs, influence study on hypergraphs, and hypergraph classification, to list a few.


title: Bridging the Gap Between Adversarial Robustness and Optimization Bias

abstract: We demonstrate that the choice of optimizer, neural network architecture, and regularizer significantly affect the adversarial robustness of linear neural networks, providing guarantees without the need for adversarial training. To this end, we revisit a known result linking maximally robust classifiers and minimum norm solutions, and combine it with recent results on the implicit bias of optimizers. First, we show that, under certain conditions, it is possible to achieve both perfect standard accuracy and a certain degree of robustness, simply by training an overparametrized model using the implicit bias of the optimization. In that regime, there is a direct relationship between the type of the optimizer and the attack to which the model is robust. To the best of our knowledge, this work is the first to study the impact of optimization methods such as sign gradient descent and proximal methods on adversarial robustness. Second, we characterize the robustness of linear convolutional models, showing that they resist attacks subject to a constraint on the Fourier-$\ell_\infty$ norm. To illustrate these findings we design a novel Fourier-$\ell_\infty$ attack that finds adversarial examples with controllable frequencies. We evaluate Fourier-$\ell_\infty$ robustness of adversarially-trained deep CIFAR-10 models from the standard RobustBench benchmark and visualize adversarial perturbations.


title: On $\infty$-Ground States in the Plane

abstract: We study $\infty$-Ground states in convex domains in the plane. In a polygon, the points where an $\infty$-Ground state does not satisfy the $\infty$-Laplace Equation are characterized: they are restricted to lie on specific curves, which are acting as attracting (fictitious) streamlines. The gradient is continuous outside these curves and no streamlines can meet there.


title: Online Co-movement Pattern Prediction in Mobility Data

abstract: Predictive analytics over mobility data are of great importance since they can assist an analyst to predict events, such as collisions, encounters, traffic jams, etc. A typical example of such analytics is future location prediction, where the goal is to predict the future location of a moving object,given a look-ahead time. What is even more challenging is being able to accurately predict collective behavioural patterns of movement, such as co-movement patterns. In this paper, we provide an accurate solution to the problem of Online Prediction of Co-movement Patterns. In more detail, we split the original problem into two sub-problems, namely Future Location Prediction and Evolving Cluster Detection. Furthermore, in order to be able to calculate the accuracy of our solution, we propose a co-movement pattern similarity measure, which facilitates us to match the predicted clusters with the actual ones. Finally, the accuracy of our solution is demonstrated experimentally over a real dataset from the maritime domain.


title: I Want This Product but Different : Multimodal Retrieval with Synthetic Query Expansion

abstract: This paper addresses the problem of media retrieval using a multimodal query (a query which combines visual input with additional semantic information in natural language feedback). We propose a SynthTriplet GAN framework which resolves this task by expanding the multimodal query with a synthetically generated image that captures semantic information from both image and text input. We introduce a novel triplet mining method that uses a synthetic image as an anchor to directly optimize for embedding distances of generated and target images. We demonstrate that apart from the added value of retrieval illustration with synthetic image with the focus on customization and user feedback, the proposed method greatly surpasses other multimodal generation methods and achieves state of the art results in the multimodal retrieval task. We also show that in contrast to other retrieval methods, our method provides explainable embeddings.


title: On the conditional measures on the orbits of the complex torus

abstract: We explore the structure of invariant measures on compact K\"ahler manifolds with Hamiltonian torus actions. We derive the formula for conditional measures on the orbits of the complex torus and use it to prove a conditional statement about uniqueness of solutions to the $g$-Monge-Amp\`ere equation.


title: Assessing Mobile Learning System Performance in Indonesia: Reports of the Model Development and Its Instrument Testing

abstract: It is undeniable that people life patterns and technological developments are interrelated within a supply and demand cycle. In the education world, the emergence of the internet and mobile technologies has opened the learning boundaries through the use of mobile learning (m-learning). In Indonesia, the learning service industry has been begun to enliven the outside school education sector for almost five years ago. Even though the learning has been discussed around a decade ago, however, it is still rare studies that discuss the performance of the m-learning system based on the end-user perceptions in particular. Therefore, the study may still indispensable, especially from the perspectives of a developing nation. This paper elucidates the preliminary stage results of the above-mentioned study, including the results of the model development and its instrument testing. The DeLone and Mclean information system (IS) success model was adopted, combined with the individual motivation and organizational culture theories, and then adapted into the processional and causal logic of the success model. Around 50 respondent data were collected online and processed and analyzed based on the outer model assessments of the PLS-SEM method using SmartPLS 3.0 to know the reliability and validity of each indicator. The result shows that two of 31 are rejected indicators. The rejections may be the revision considerations for the next study stages. Although this may be trivial for experts, the clarity of its methodological explanations may guide the novice researchers, how to develop a research model and its instrument testing.


title: Mining API Usage Scenarios from Stack Overflow

abstract: We propose a framework to mine API usage scenarios from Stack Overflow. Each task consists of a code example, the task description, and the reactions of developers towards the code example. First, we present an algorithm to automatically link a code example in a forum post to an API mentioned in the textual contents of the forum post. Second, we generate a natural language description of the task by summarizing the discussions around the code example. Third, we automatically associate developers reactions (i.e., positive and negative opinions) towards the code example to offer information about code quality. We evaluate the algorithms using three benchmarks.


title: Dislocation dynamics prediction of the strength of Al-Cu alloys containing shearable $\theta''$ precipitates

abstract: The critical resolved shear stress of an Al 4 wt. \% Cu alloy containing a homogeneous distribution of $\theta''$ precipitates was determined by means of dislocation dynamics simulations. The size distribution, shape, orientation and volume fraction of the precipitates in the alloy were obtained from transmission electron microscopy observations while the parameters controlling the dislocation/precipitate interactions (elastic mismatch, transformation strains, dislocation mobility and cross-slip probability, etc.) were calculated from atomistic simulations. The precipitates were assumed to be either impenetrable or shearable by the dislocations, the latter characterized by a threshold shear stress that has to be overcome to shear the precipitate. The predictions of the simulations in terms of the critical resolved shear stress and of the dislocation/precipitate interaction mechanisms were in good agreement with the experimental results. It was concluded that the optimum strength of this alloy is attained with a homogeneous distribution of $\theta''$ precipitates whose average size ($\approx$ 40 nm) is at the transition between precipitate shearing and looping. Overall, the dislocation dynamics strategy presented in this paper is able to provide quantitative predictions of precipitate strengthening in metallic alloys.


title: The retraction of jetted slender viscoelastic liquid filaments

abstract: Long and slender liquid filaments are produced during inkjet printing, which can subsequently either retract to form a single droplet, or break up to form a primary droplet and one or more satellite droplets. These satellite droplets are undesirable since they degrade the quality and reproducibility of the print. Existing strategies for the suppression of satellite droplet formation include, among others, adding viscoelasticity to the ink. In the present work, we aim to improve the understanding of the role of viscoelasticity in suppressing satellite droplets in inkjet printing. We demonstrate that very dilute viscoelastic aqueous solutions (concentrations $\sim$ 0.003\% wt. polyethylene oxide (PEO), corresponding to nozzle Deborah number $De_{n}$ $\sim$ 3) can suppress satellite droplet formation. Furthermore, we show that, for a given driving condition, upper and lower bounds of polymer concentration exist, within which satellite droplets are suppressed. Satellite droplets are formed at concentrations below the lower bound, while jetting ceases for concentrations above the upper bound (for fixed driving conditions). Moreover, we observe that, with concentrations in between the two bounds, the filaments retract at velocities larger than the corresponding Taylor-Culick velocity for the Newtonian case. We show that this enhanced retraction velocity can be attributed to the elastic tension due to polymer stretching, which builds up during the initial jetting phase. These results shed some light on the complex interplay between inertia, capillarity, and viscoelasticity for retracting liquid filaments, which is important for the stability and quality of inkjet printing of polymer solutions.


title: Variational Inference for Shrinkage Priors: The R package vir

abstract: We present vir, an R package for variational inference with shrinkage priors. Our package implements variational and stochastic variational algorithms for linear and probit regression models, the use of which is a common first step in many applied analyses. We review variational inference and show how the derivation for a Gibbs sampler can be easily modified to derive a corresponding variational or stochastic variational algorithm. We provide simulations showing that, at least for a normal linear model, variational inference can lead to similar uncertainty quantification as the corresponding Gibbs samplers, while estimating the model parameters at a fraction of the computational cost. Our timing experiments show situations in which our algorithms converge faster than the frequentist LASSO implementations in glmnet while simultaneously providing superior parameter estimation and variable selection. Hence, our package can be utilized to quickly explore different combinations of predictors in a linear model, while providing accurate uncertainty quantification in many applied situations. The package is implemented natively in R and RcppEigen, which has the benefit of bypassing the substantial operating system specific overhead of linking external libraries to work efficiently with R.


title: A final focus system for injection into a laser plasma accelerator at the ARES linac

abstract: ARES (Accelerator Research Experiment at SINBAD) is a linear accelerator at the SINBAD (Short INnovative Bunches and Accelerators at DESY) facility at DESY. ARES was designed to combine reproducible beams from conventional RF-based accelerator technology with novel but still experimental acceleration techniques. It aims to produce high brightness ultra-short electron bunches in the range of sub fs to few fs, at a beam energy of 100-150 MeV, suitable for injection into novel acceleration experiments like Dielectric Laser Acceleration (DLA) and Laser driven Plasma Acceleration (LPA). This paper reports the conceptual design and simulations of a final focus system for injecting into a LPA experiment at ARES, including permanent magnetic quadrupoles (PMQ), sufficient longitudinal space for collinear laser and electron transport, space for required diagnostics and a LPA setup. Space-charge effects play a significant role and are included. Simulation results on the focusing of the ARES electron bunches into and their transport through the laser-driven plasma are presented. The effects of several errors have been simulated and are reported.


title: Topological Pauli Phase and Fractional Quantization of Orbital Angular Momentum in the Problems of Classical and Quantum Physics

abstract: Physical problems for which the existence of non-trivial topological Pauli phase (i.e. fractional quantization of angular orbital angular momenta that is possible in 2D case) is essential are discussed within the framework of two-dimensional Helmholtz, Schroedinger and Dirac equations. As examples in classical field theory we consider a "wedge problem" -- a description of a field generated by a point charge between two conducting half-planes -- and a Fresnel diffraction from knife-edge. In few-electron circular quantum dots the choice between integer and half-integer quantization of orbital angular momenta is defined by the Pauli principle. This is in line with precise experimental data for the ground state energy of such quantum dots in a perpendicular magnetic field. In a gapless graphene, as in the case of gapped one, in the presence of overcharged impurity this problem can be solved experimentally, e.g., using the method of scanning tunnel spectroscopy.

categories: cond-mat.mes-hall math-ph math.MP quant-ph


title: Fast Approximate Dynamic Programming for Infinite-Horizon Markov Decision Processes

abstract: In this study, we consider the infinite-horizon, discounted cost, optimal control of stochastic nonlinear systems with separable cost and constraints in the state and input variables. Using the linear-time Legendre transform, we propose a novel numerical scheme for implementation of the corresponding value iteration (VI) algorithm in the conjugate domain. Detailed analyses of the convergence, time complexity, and error of the proposed algorithm are provided. In particular, with a discretization of size $X$ and $U$ for the state and input spaces, respectively, the proposed approach reduces the time complexity of each iteration in the VI algorithm from $O(XU)$ to $O(X+U)$, by replacing the minimization operation in the primal domain with a simple addition in the conjugate domain.