title: The Implementation of Quantum Computing Operations with Phase Modulated Microwave Pulses and High-Spin Ions at Zero Magnetic Fields

abstract: New physical implementations of quantum computing elementary operations by pulse manipulations with electron spins of paramagnetic ions having two electrons and spin S=1 in a zero magnetic field are proposed. New type of microwave pulses with variable phases and different polarizations are able to induce different transitions between ion spin states, and those transitions are described by quantum computing operators. To describe the effects of such pulses, a new way to present exponential operators as polynomials of Pauli matrices is proposed.


title: Exact and heuristic algorithms for the weighted total domination problem

abstract: Dominating set problems are among the most important class of combinatorial problems in graph optimization, from a theoretical as well as from a practical point of view. In this paper, we address the recently introduced (minimum) weighted total domination problem. In this problem, we are given an undirected graph with a vertex weight function and an edge weight function. The goal is to find a total dominating set D in this graph with minimal weight. A total dominating set D is a subset of the vertices such that every vertex in the graph, including vertices in D, is adjacent to a vertex in D. The weight is measured as the sum of all vertex weights of vertices in D, plus the edge weights in the subgraph induced by D, plus for each vertex not in D the minimum weight of an edge from it to a vertex in D. In this paper, we present two new Mixed-Integer Programming models for the problem, and design solution frameworks based on them. These solution frameworks also include valid inequalities, starting heuristics and primal heuristics. In addition, we also develop a genetic algorithm, which is based on a greedy randomized adaptive search procedure version of our starting heuristic. We carry out a computational study to assess the performance of our approaches when compared to the previous work for the same problem. The study reveals that our exact solution algorithms are up to 500 times faster compared to previous exact approaches and instances with up to 125 vertices can be solved to optimality within a timelimit of 1800 seconds. Moreover, the presented genetic algorithm also works well and often finds the optimal or a near-optimal solution within a short runtime. Additionally, we also analyze the influence of instance-characteristics on the performance of our algorithms.


title: Semiconductor - Ferromagnetic Insulator - Superconductor Nanowires: Stray Field and Exchange Field

abstract: Nanowires can serve as flexible substrates for hybrid epitaxial growth on selected facets, allowing for design of heterostructures with complex material combinations and geometries. In this work we report on hybrid epitaxy of semiconductor - ferromagnetic insulator - superconductor (InAs/EuS/Al) nanowire heterostructures. We study the crystal growth and complex epitaxial matching of wurtzite InAs / rock-salt EuS interfaces as well as rock-salt EuS / face-centered cubic Al interfaces. Because of the magnetic anisotropy originating from the nanowire shape, the magnetic structure of the EuS phase are easily tuned into single magnetic domains. This effect efficiently ejects the stray field lines along the nanowires. With tunnel spectroscopy measurements of the density of states, we show the material has a hard induced superconducting gap, and magnetic hysteretic evolution which indicates that the magnetic exchange fields are not negligible. These hybrid nanowires fulfil key material requirements for serving as a platform for spin-based quantum applications, such as scalable topological quantum computing.


title: A Penalized Inequality-Constrained Approach for Robust Beamforming with DoF Limitation

abstract: A well-known challenge in beamforming is how to optimally utilize the degrees of freedom (DoF) of the array to design a robust beamformer, especially when the array DoF is limited. In this paper, we leverage the tool of constrained convex optimization and propose a penalized inequality-constrained minimum variance (P-ICMV) beamformer to address this challenge. Specifically, a well-targeted objective function and inequality constraints are proposed to achieve the design goals. By penalizing the maximum gain of the beamformer at any interfering directions, the total interference power can be efficiently mitigated with limited DoF. Multiple robust constraints on the target protection and interference suppression can be introduced to increase the robustness of the beamformer against steering vector mismatch. By integrating the noise reduction, interference suppression, and target protection, the proposed formulation can efficiently obtain a robust beamformer design while optimally trading off various design goals. To numerically solve this problem, we formulate the P-ICMV beamformer design as a convex second-order cone program (SOCP) and propose a low complexity iterative algorithm based on the alternating direction method of multipliers (ADMM). Three applications are simulated to demonstrate the effectiveness of the proposed beamformer.


title: State-discretization of $V$-geometrically ergodic Markov chains and convergence to the stationary distribution

abstract: Let $(X_n)_{n \in\mathbb{N}}$ be a $V$-geometrically ergodic Markov chain on a measurable space $\mathbb{X}$ with invariant probability distribution $\pi$. In this paper, we propose a discretization scheme providing a computable sequence $(\widehat\pi_k)_{k\ge 1}$ of probability measures which approximates $\pi$ as $k$ growths to infinity. The probability measure $\widehat\pi_k$ is computed from the invariant probability distribution of a finite Markov chain. The convergence rate in total variation of $(\widehat\pi_k)_{k\ge 1}$ to $\pi$ is given. As a result, the specific case of first order autoregressive processes with linear and non-linear errors is studied. Finally, illustrations of the procedure for such autoregressive processes are provided, in particular when no explicit formula for $\pi$ is known.


title: A note on computational approaches for the antibandwidth problem

abstract: In this note, we consider the antibandwidth problem, also known as dual bandwidth problem, separation problem and maximum differential coloring problem. Given a labeled graph (i.e., a numbering of the vertices of a graph), the antibandwidth of a node is defined as the minimum absolute difference of its labeling to the labeling of all its adjacent vertices. The goal in the antibandwidth problem is to find a labeling maximizing the antibandwidth. The problem is NP-hard in general graphs and has applications in diverse areas like scheduling, radio frequency assignment, obnoxious facility location and map-coloring. There has been much work on deriving theoretical bounds for the problem and also in the design of metaheuristics in recent years. However, the optimality gaps between the best known solution values and reported upper bounds for the HarwellBoeing Matrix-instances, which are the commonly used benchmark instances for this problem, are often very large (e.g., up to 577%). The upper bounds reported in literature are based on the theoretical bounds involving simple graph characteristics, i.e., size, order and degree, and a mixed-integer programming (MIP) model. We present new MIP models for the problem, together with valid inequalities, and design a branch-and-cut algorithm and an iterative solution algorithm based on them. These algorithms also include two starting heuristics and a primal heuristic. We also present a constraint programming approach, and calculate upper bounds based on the stability number and chromatic number. Our computational study shows that the developed approaches allow to find the proven optimal solution for eight instances from literature, where the optimal solution was unknown and also provide reduced gaps for eleven additional instances, including improved solution values for seven instances, the largest optimality gap is now 46%.


title: Computing the Expected Value of Sample Information Efficiently: Expertise and Skills Required for Four Model-Based Methods

abstract: Objectives: Value of information (VOI) analyses can help policy-makers make informed decisions about whether to conduct and how to design future studies. Historically, a computationally expensive method to compute the Expected Value of Sample Information (EVSI) restricted the use of VOI to simple decision models and study designs. Recently, four EVSI approximation methods have made such analyses more feasible and accessible. We provide practical recommendations for analysts computing EVSI by evaluating these novel methods. Methods: Members of the Collaborative Network for Value of Information (ConVOI) compared the inputs, analyst's expertise and skills, and software required for four recently developed approximation methods. Information was also collected on the strengths and limitations of each approximation method. Results: All four EVSI methods require a decision-analytic model's probabilistic sensitivity analysis (PSA) output. One of the methods also requires the model to be re-run to obtain new PSA outputs for each EVSI estimation. To compute EVSI, analysts must be familiar with at least one of the following skills: advanced regression modeling, likelihood specification, and Bayesian modeling. All methods have different strengths and limitations, e.g., some methods handle evaluation of study designs with more outcomes more efficiently while others quantify uncertainty in EVSI estimates. All methods are programmed in the statistical language R and two of the methods provide online applications. Conclusion: Our paper helps to inform the choice between four efficient EVSI estimation methods, enabling analysts to assess the methods' strengths and limitations and select the most appropriate EVSI method given their situation and skills.


title: Axiomatic representation theory of finite groups by way of groupoids

abstract: We survey several notions of Mackey functors and biset functors found in the literature and prove some old and new theorems comparing them. While little here will surprise the experts, we draw a conceptual and unified picture by making systematic use of finite groupoids. This provides a road map for the various approaches to the axiomatic representation theory of finite groups, as well as some details which are hard to find in writing.


title: Tau-functions and monodromy symplectomorphisms

abstract: We derive a new Hamiltonian formulation of Schlesinger equations in terms of the dynamical $r$-matrix structure. The corresponding symplectic form is shown to be the pullback, under the monodromy map, of a natural symplectic form on the extended monodromy manifold. We show that Fock-Goncharov coordinates are log-canonical for the symplectic form on the extended monodromy manifold. Using these coordinates we define the symplectic potential on the monodromy manifold and interpret the isomonodromic tau-function as the generating function of the monodromy map. This, in particular, solves a recent conjecture by A.Its, O.Lisovyy and A.Prokhorov.


title: A nearby luminous AGN sample optically selected from Hubble Space Telescope (HST)

abstract: In this work, a nearby luminous AGN sample is selected from HST, where only sources with both X-ray emission observed by \textit{Chandra/XMM-Newton} and radio flux detected by VLA/VLBA/VLBI/MERLIN are adopted to keep high precision. We get a sample of 30 luminous AGNs finally, which consist of 11 RLAGN and 19 RQAGN. It is found that the relationship between $R_{\rm {UV}}$ and $\alpha_{\rm {ox}}$, which was firstly reported by Li & Xie (2017) in LLAGN, and other relationships are all absent in RLAGN, probably due to the complex physical process therein. Our results indicate that the X-ray emission from jet should play an important role in RLAGN and further support the transition of accretion mode between LLAGN and RLAGN. On the other hand, the traditional relationships in RQAGN, such as $\alpha_{\rm {ox}}$ and $\lambda$, $\Gamma$ and $\lambda$, are found to be well consistent with previous works.


title: The free energy of the two-dimensional dilute Bose gas. I. Lower bound

abstract: We prove a lower bound for the free energy (per unit volume) of the two-dimensional Bose gas in the thermodynamic limit. We show that the free energy at density $\rho$ and inverse temperature $\beta$ differs from the one of the non-interacting system by the correction term $4 \pi \rho^2 |\ln a^2 \rho|^{-1} (2 - [1 - \beta_{\mathrm{c}}/\beta]_+^2)$. Here $a$ is the scattering length of the interaction potential, $[\cdot]_+ = \max\{ 0, \cdot \}$ and $\beta_{\mathrm{c}}$ is the inverse Berezinskii--Kosterlitz--Thouless critical temperature for superfluidity. The result is valid in the dilute limit $a^2\rho \ll 1$ and if $\beta \rho \gtrsim 1$.

categories: math-ph cond-mat.quant-gas cond-mat.stat-mech math.MP


title: Measurements of differential and angle-integrated cross sections for the $^{10}$B($n, {\alpha}$)$^{7}$Li reaction in the neutron energy range from 1.0 eV to 2.5 MeV

abstract: Differential and angle-integrated cross sections for the $^{10}$B($n, {\alpha}$)$^{7}$Li, $^{10}$B($n, {\alpha}$$_{0}$)$^{7}$Li and $^{10}$B($n, {\alpha}$$_{1}$)$^{7}$Li$^{*}$ reactions have been measured at CSNS Back-n white neutron source. Two enriched (90%) $^{10}$B samples 5.0 cm in diameter and ~85.0 ${\mu}$g/cm$^{2}$ in thickness each with an aluminum backing were prepared, and back-to-back mounted at the sample holder. The charged particles were detected using the silicon-detector array of the Light-charged Particle Detector Array (LPDA) system. The neutron energy E$_{n}$ was determined by TOF (time-of-flight) method, and the valid ${\alpha}$ events were extracted from the E$_{n}$-Amplitude two-dimensional spectrum. With 15 silicon detectors, the differential cross sections of ${\alpha}$-particles were measured from 19.2{\deg} to 160.8{\deg}. Fitted with the Legendre polynomial series, the ($n, {\alpha}$) cross sections were obtained through integration. The absolute cross sections were normalized using the standard cross sections of the $^{10}$B($n, {\alpha}$)$^{7}$Li reaction in the 0.3 - 0.5 MeV neutron energy region. The measurement neutron energy range for the $^{10}$B($n, {\alpha}$)$^{7}$Li reaction is 1.0 eV $\le$ En < 2.5 MeV (67 energy points), and for the $^{10}$B($n, {\alpha}$$_{0}$)$^{7}$Li and $^{10}$B($n, {\alpha}$$_{1}$)$^{7}$Li$^{*}$ reactions is 1.0 eV $\le$ En < 1.0 MeV (59 energy points). The present results have been analyzed by the resonance reaction mechanism and the level structure of the $^{11}$B compound system, and compared with existing measurements and evaluations.


title: Improved Regret Bounds for Projection-free Bandit Convex Optimization

abstract: We revisit the challenge of designing online algorithms for the bandit convex optimization problem (BCO) which are also scalable to high dimensional problems. Hence, we consider algorithms that are \textit{projection-free}, i.e., based on the conditional gradient method whose only access to the feasible decision set, is through a linear optimization oracle (as opposed to other methods which require potentially much more computationally-expensive subprocedures, such as computing Euclidean projections). We present the first such algorithm that attains $O(T^{3/4})$ expected regret using only $O(T)$ overall calls to the linear optimization oracle, in expectation, where $T$ is the number of prediction rounds. This improves over the $O(T^{4/5})$ expected regret bound recently obtained by \cite{Karbasi19}, and actually matches the current best regret bound for projection-free online learning in the \textit{full information} setting.


title: In Search for Linear Relations in Sentence Embedding Spaces

abstract: We present an introductory investigation into continuous-space vector representations of sentences. We acquire pairs of very similar sentences differing only by a small alterations (such as change of a noun, adding an adjective, noun or punctuation) from datasets for natural language inference using a simple pattern method. We look into how such a small change within the sentence text affects its representation in the continuous space and how such alterations are reflected by some of the popular sentence embedding models. We found that vector differences of some embeddings actually reflect small changes within a sentence.


title: PiNN: A Python Library for Building Atomic Neural Networks of Molecules and Materials

abstract: Atomic neural networks (ANNs) constitute a class of machine learning methods for predicting potential energy surfaces and physico-chemical properties of molecules and materials. Despite many successes, developing interpretable ANN architectures and implementing existing ones efficiently are still challenging. This calls for reliable, general-purpose and open-source codes. Here, we present a python library named PiNN as a solution toward this goal. In PiNN, we designed a new interpretable and high-performing graph convolutional neural network variant, PiNet, as well as implemented the established Behler-Parrinello high-dimensional neural network. These implementations were tested using datasets of isolated small molecules, crystalline materials, liquid water and an aqueous alkaline electrolyte. PiNN comes with a visualizer called PiNNBoard to extract chemical insight "learned" by ANNs, provides analytical stress tensor calculations and interfaces to both the Atomic Simulation Environment and a development version of the Amsterdam Modeling Suite. Moreover, PiNN is highly modularized which makes it useful not only as a standalone package but also as a chain of tools to develop and to implement novel ANNs. The code is distributed under a permissive BSD license and is freely accessible at https://github.com/Teoroo-CMC/PiNN/ with full documentation and tutorials.


title: Perverse $\mathbb{F}_p$-sheaves on the affine Grassmannian

abstract: For a reductive group over an algebraically closed field of characteristic $p > 0$ we construct the abelian category of perverse $\mathbb{F}_p$-sheaves on the affine Grassmannian that are equivariant with respect to the action of the positive loop group. We show this is a symmetric monoidal category, and then we apply a Tannakian formalism to show this category is equivalent to the category of representations of a certain affine monoid scheme. We also show that our work provides a geometrization of the inverse of the mod $p$ Satake isomorphism. Along the way we prove that affine Schubert varieties are globally $F$-regular and we apply Frobenius splitting techniques to the theory of perverse $\mathbb{F}_p$-sheaves.


title: Fine micro-thermal structures for Reissner-Nordstr\"om black hole

abstract: We solve the condundrum on whether the molecules of the Reissner-Nordstr\"om black hole interact through the Ruppeiner thermodynamic geometry, basing our study on the concept of the black hole molecule proposed in [Phys. Rev. Lett. 115 (2015) 111302] and choosing the appropriate extensive variables. Our results show that the Reissner-Nordstr\"om black hole is indeed an interaction system that may be dominated by repulsive interaction. More importantly, with the help of a novel quantity, namely the thermal-charge density, we describe the fine micro-thermal structures of the Reissner-Nordstr\"om black hole in detail. Three different phases are presented, namely the free, interactive, and balanced phases. The thermal-charge density plays a role similar to the order parameter, and the back hole undergoes a new phase transition between the free phase and interactive phase. The competition between the free phase and interactive phase exists, which leads to extreme behavior of the temperature of the Reissner-Nordstr\"om black hole. For the extreme Reissner-Nordstr\"om black hole, the entire system is completely in the interactive phase. More importantly, we provide the thermodynamic micro-mechanism for the formation of the naked singularity of the Reissner-Nordstr\"om black hole.


title: The Triangle

abstract: If we label the vertices of a triangle with 1, 2 and 4, and the orthocentre with 7, then any of the four numbers 1, 2, 4, 7 is the nim-sum of the other three and is their orthocentre. Regard the triangle as an orthocentric quadrangle. Steiner's theorem states that the reflexions of a point on a circumcircle in each of the three edges of the corresponding triangle are collinear and collinear with its orthontre. This line intersects the circumcircles in new points to which the theorem may be applied. Iteration of this process with the triangle and the points rational leads to a "trisequence" whose properties merit study.


title: Negative Space: Workspace Awareness in 3D Face-to-Face Remote Collaboration

abstract: Face-to-face telepresence promotes the sense of "being there" and can improve collaboration by allowing immediate understanding of remote people's nonverbal cues. Several approaches successfully explored interactions with 2D content using a see-through whiteboard metaphor. However, with 3D content, there is a decrease in awareness due to ambiguities originated by participants' opposing points-of-view. In this paper, we investigate how people and content should be presented for discussing 3D renderings within face-to-face collaborative sessions. To this end, we performed a user evaluation to compare four different conditions, in which we varied reflections of both workspace and remote people representation. Results suggest potentially more benefits to remote collaboration from workspace consistency rather than people's representation fidelity. We contribute a novel design space, the Negative Space, for remote face-to-face collaboration focusing on 3D content.


title: On some generalization of Lorden's inequality for renewal processes

abstract: In queueing theory, Lorden's inequality can be used for bounds estimation of the moments of backward and forward renewal times. Two random variables called backwards renewal time and forward renewal time for this process are defined. Lorden's inequality it's true for the renewal process, so expectations of backward and forward renewal times are bounded by the relation of expectation of moment of the random variable for any fixed moment of time, where random variables are i.i.d. We generalised and proved a similar result for dependent random variables with finite expectations, some constant C and integrable function Q(s): if X is not independent and have absolutely continuous distribution function which satisfies some boundary conditions, then the analogue of Lorden's inequality for renewal process is true. In August 2021 reviewed version is uploaded.


title: A Review of Soft Robots

abstract: Traditional robots have rigid links and structures that limit their ability to interact with the dynamics of their immediate environment. For example, conventional robot manipulators with rigid links can only manipulate objects using specific end effectors. These robots often encounter difficulties operating in unstructured and highly congested environments. A variety of biological organisms exhibit complex movement with soft structures devoid of rigid components. Inspired by biology, researchers have been able to design and build soft robots. With a soft structure and redundant degrees of freedom, these robots can be used for delicate tasks in unstructured environments. This review discusses the motivation for soft robots, their design processes as well as their applications and limitations. Soft robots have the ability to operate in unstructured environment due to their inherent potential to exploit morphological computation to adapt to, and interact with, the world in a way that is difficult with rigid systems. Soft robots could be used for operations, ranging from search and rescue operations in a natural disaster relief effort, and of emerging interest is in the field of medical care as seen in personal robots.


title: Optimal Control of Prevention and Treatment in a Basic Macroeconomic-Epidemiological Model

abstract: We analyze the optimal control of disease prevention and treatment in a basic SIS model. We develop a simple macroeconomic setup in which the social planner determines how to optimally intervene, through income taxation, in order to minimize the social cost, inclusive of infection and economic costs, of the spread of an epidemic disease. The disease lowers economic production and thus income by reducing the size of the labor force employed in productive activities, tightening thus the economy's overall resources constraint. We consider a framework in which the planner uses the collected tax revenue to intervene in either prevention (aimed at reducing the rate of infection) or treatment (aimed at increasing the speed of recovery). Both optimal prevention and treatment policies allow the economy to achieve a disease-free equilibrium in the long run but their associated costs are substantially different along the transitional dynamic path. By quantifying the social costs associated with prevention and treatment we determine which policy is most cost-effective under different circumstances, showing that prevention (treatment) is desirable whenever the infectivity rate is low (high).


title: Experimental Validation of Feedback Optimization in Power Distribution Grids

abstract: We consider the problem of controlling the voltage of a distribution feeder using the reactive power capabilities of inverters. On a real distribution grid, we compare the local Volt/VAr droop control recommended in recent grid codes, a centralized dispatch based on optimal power flow (OPF) programming, and a feedback optimization (FO) controller that we propose. The local droop control yields suboptimal regulation, as predicted analytically. The OPF-based dispatch strategy requires an accurate grid model and measurement of all loads on the feeder in order to achieve proper voltage regulation. However, in the experiment, the OPF-based strategy violates voltage constraints due to inevitable model mismatch and uncertainties. Our proposed FO controller, on the other hand, satisfies the constraints and does not require load measurements or any grid state estimation. The only needed model knowledge is the sensitivity of the voltages with respect to reactive power, which can be obtained from data. As we show, an approximation of these sensitivities is also sufficient, which makes the approach essentially model-free, easy to tune, compatible with the current sensing and control infrastructure, and remarkably robust to measurement noise. We expect these properties to be fundamental features of FO for power systems and not specific to Volt/VAr regulation or to distribution grids.


title: Linguistically Informed Relation Extraction and Neural Architectures for Nested Named Entity Recognition in BioNLP-OST 2019

abstract: Named Entity Recognition (NER) and Relation Extraction (RE) are essential tools in distilling knowledge from biomedical literature. This paper presents our findings from participating in BioNLP Shared Tasks 2019. We addressed Named Entity Recognition including nested entities extraction, Entity Normalization and Relation Extraction. Our proposed approach of Named Entities can be generalized to different languages and we have shown it's effectiveness for English and Spanish text. We investigated linguistic features, hybrid loss including ranking and Conditional Random Fields (CRF), multi-task objective and token-level ensembling strategy to improve NER. We employed dictionary based fuzzy and semantic search to perform Entity Normalization. Finally, our RE system employed Support Vector Machine (SVM) with linguistic features. Our NER submission (team:MIC-CIS) ranked first in BB-2019 norm+NER task with standard error rate (SER) of 0.7159 and showed competitive performance on PharmaCo NER task with F1-score of 0.8662. Our RE system ranked first in the SeeDev-binary Relation Extraction Task with F1-score of 0.3738.


title: Autoignition and detonation development from a hot spot inside a closed chamber: effects of end wall reflection

abstract: The advancement of highly boosted internal combustion engines (ICEs) with high thermal efficiency is mainly constrained by knock and super-knock respectively due to the end gas autoignition and detonation development. At the end of the compression stroke, the pressure wave propagation and reflection in a small confined space may greatly influence the end gas autoignition, leading to different autoignition characteristics from those in a large or open space. The present study investigates the transient autoignition process in an iso-octane/air mixture inside a closed chamber under engine-relevant conditions. The emphasis is given to the assessing effects of the pressure wave-wall reflection and the mechanism of extremely strong pressure oscillations typical for super-knock. It is found that the hot spot induced autoignition in a closed chamber can be greatly affected by shock/pressure wave reflection from the end wall. Different autoignition modes respectively from the hot spot and end wall reflection are identified. A non-dimensional parameter quantifying the interplay between different length and time scales is introduced, which helps to identify different autoignition regimes including detonation development near the end wall. It is shown that detonation development from the hot spot may cause super-knock with devastating pressure oscillation. However, the detonation development from the end wall can hardly produce pressure oscillation strong enough for the super-knock. The obtained results provide a fundamental insight into the knocking mechanism in engines under highly boosted conditions.


title: When Specialization Helps: Using Pooled Contextualized Embeddings to Detect Chemical and Biomedical Entities in Spanish

abstract: The recognition of pharmacological substances, compounds and proteins is an essential preliminary work for the recognition of relations between chemicals and other biomedically relevant units. In this paper, we describe an approach to Task 1 of the PharmaCoNER Challenge, which involves the recognition of mentions of chemicals and drugs in Spanish medical texts. We train a state-of-the-art BiLSTM-CRF sequence tagger with stacked Pooled Contextualized Embeddings, word and sub-word embeddings using the open-source framework FLAIR. We present a new corpus composed of articles and papers from Spanish health science journals, termed the Spanish Health Corpus, and use it to train domain-specific embeddings which we incorporate in our model training. We achieve a result of 89.76% F1-score using pre-trained embeddings and are able to improve these results to 90.52% F1-score using specialized embeddings.


title: Comments on "Probabilities of Error for Adaptive Reception of M-Phase Signals"

abstract: Paper [1] derived the probability density function (PDF) of a sum of products of two correlated complex Gaussian zero-mean random variables (RVs) that has been applied to calculate the error probabilities of a \emph{M}-ary phase shift keying (\emph{M}-PSK) system. We show that there exist some typos in the computation and we provide the detailed derivation leading to the correct expressions.


title: Interacting diffusions on positive definite matrices

abstract: We consider systems of Brownian particles in the space of positive definite matrices, which evolve independently apart from some simple interactions. We give examples of such processes which have an integrable structure. These are related to $K$-Bessel functions of matrix argument and multivariate generalisations of these functions. The latter are eigenfunctions of a particular quantisation of the non-Abelian Toda chain.


title: A Survey on Deep-Learning based Techniques for Modeling and Estimation of MassiveMIMO Channels

abstract: \textit{Why does the literature consider the channel-state-information (CSI) as a 2/3-D image? What are the pros-and-cons of this consideration for accuracy-complexity trade-off?} Next generations of wireless communications require innumerable disciplines according to which a low-latency, low-traffic, high-throughput, high spectral-efficiency and low energy-consumption are guaranteed. Towards this end, the principle of massive multi-input multi-output (MaMIMO) is emerging which is conveniently deployed for millimeter wave (mmWave) bands. However, practical and realistic MaMIMO transceivers suffer from a huge range of challenging bottlenecks in design the majority of which belong to the issue of channel-estimation. Channel modeling and prediction in MaMIMO particularly suffer from computational complexity due to a high number of antenna sets and supported users. This complexity lies dominantly upon the feedback-overhead which even degrades the pilot-data trade-off in the uplink (UL)/downlink (DL) design. This comprehensive survey studies the novel deep-learning (DLg) driven techniques recently proposed in the literature which tackle the challenges discussed-above - which is for the first time. In addition, we consequently propose 7 open trends e.g. in the context of the lack of Q-learning in MaMIMO detection - for which we talk about a possible solution to the saddle-point in the 2-D pilot-data axis for a \textit{Stackelberg game} based scenario.


title: Seminorm and numerical radius inequalities of operators in semi-Hilbertian spaces

abstract: Let $A$ be a positive bounded operator on a Hilbert space $\big(\mathcal{H}, \langle \cdot, \cdot\rangle \big)$. The semi-inner product ${\langle x, y\rangle}_A := \langle Ax, y\rangle$, $x, y\in\mathcal{H},$ induces a seminorm ${\|\cdot\|}_A$ on $\mathcal{H}$. Let ${\|T\|}_A,\ w_A(T),$ and $c_A(T)$ denote the $A$-operator seminorm, the $A$-numerical radius, and the $A$-Crawford number of an operator $T$ in the semi-Hilbertian space $\big(\mathcal{H}, {\|\cdot\|}_A\big)$, respectively. In this paper, we present some seminorm inequalities and equalities for semi-Hilbertian space operators. More precisely, we give some necessary and sufficient conditions for two orthogonal semi-Hilbertian operators satisfy Pythagoras' equality. In addition, we derive new upper and lower bounds for the numerical radius of operators in semi-Hilbertian spaces. In particular, we show that \begin{align*} \frac{1}{16} {\|TT^{\sharp_{A}} + T^{\sharp_{A}}T\|}^{2}_{A} + \frac{1}{16}c_{A}\Big(\big(T^2 + (T^{\sharp_{A}})^2\big)^2\Big) \leq w^4_{A}(T) \leq \frac{1}{8} {\|TT^{\sharp_{A}} + T^{\sharp_{A}}T\|}^{2}_{A} + \frac{1}{2}w^2_{A}(T^2), \end{align*} where $T^{\sharp_A}$ is a distinguished $A$-adjoint operator of $T$. Some applications of our inequalities are also provided.


title: Experimental Validation of Fully Distributed Peer-to-Peer Optimal Voltage Control with Minimal Model Requirements

abstract: This paper addresses the problem of voltage regulation in a power distribution grid using the reactive power injections of grid-connected power inverters. We first discuss how purely local voltage control schemes cannot regulate the voltages within a desired range under all circumstances and may even yield detrimental control decisions. Communication and, through that, coordination are therefore needed. On the other hand, short-range peer-to-peer communication and knowledge of electric distances between neighbouring controllers are sufficient for this task. We implement such a peer-to-peer controller and test it on a 400~V distribution feeder with asynchronous communication channels, confirming its viability on real-life systems. Finally, we analyze the scalability of this approach with respect to the number of agents on the feeder that participate in the voltage regulation task.


title: The Araucaria Project: High-precision orbital parallax and masses of eclipsing binaries from infrared interferometry

abstract: Context. The precise determinations of stellar mass at $\sim$1% provide important constraints on stellar evolution models. Accurate parallax measurements can also serve as independent benchmarks for the next Gaia data release. Aims. We aim at measuring the masses and distance of binary systems with a precision level better than 1% using a fully geometrical and empirical method. Methods. We obtained the first interferometric observations for the eclipsing systems AI Phe, AL Dor, KW Hya, NN Del, $\psi$ Cen and V4090 Sgr with the VLTI/PIONIER combiner, which we combined with radial velocity measurements to derive their three-dimensional orbit, masses, and distance. Results. We determined very precise stellar masses for all systems, ranging from 0.04% to 3.3 % precision level. We combined these measurements with stellar effective temperature and linear radius to fit stellar isochrones models and determined the age of the systems. We also derived the distance to the systems with a precision level as high as 0.4%. Conclusions. The comparison of theoretical models with stellar parameters shows that stellar models are still deficient in simultaneously fitting the stellar parameters (Teff , R and M) with such level of precision on individual masses. This stresses the importance of precisely measuring the stellar parameters to better calibrate stellar evolution models. The precision of our model-independent orbital parallaxes varies from 24$\mu$as as to 70$\mu$as and they provide a unique opportunity to check on the future Gaia measurements for possible systematic errors.


title: Understanding nonequilibrium scaling laws governing collapse of a polymer

abstract: Recent emerging interest in experiments of single-polymer dynamics urge computational physicists to revive their understandings, particularly in the nonequilibrium context. Here we briefly discuss the currently evolving approaches of investigating the evolution dynamics of homopolymer collapse in computer simulations. Primary focus of these approaches is to understand various dynamic scaling laws related to coarsening and aging during the collapse in space dimension $d=3$, using tools popular in nonequilibrium coarsening dynamics of particle or spin systems. In addition to providing an overview of those results, we also present new preliminary data for $d=2$.


title: Generalizing Galvin and J\'onsson's Classification to N5

abstract: The problem of determining (up to lattice isomorphism) which lattices are sublattices of free lattices is in general an extremely difficult and an unsolved problem. A notable result towards solving this problem was established by Galvin and J\'onsson when they classified (up to lattice isomorphism) all of the distributive sublattices of free lattices in 1959. In this paper, we weaken the requirement that of a free lattice be distributive to requiring that such a lattice belongs in the variety of lattices generated by the pentagon N5. Specifically, we use McKenzie's list of join-irreducible covers of the variety generated by N5 to extend Galvin and J\'onsson's results by proving that all sublattices of a free lattice that belong to the variety generated by N5 satisfy three structural properties. Afterwards, we explain how the results in this paper can be partially extended to lattices from seven known infinite sequences of semidistributive lattice varieties.


title: The Quadratic-Quadratic Regulator Problem: Approximating feedback controls for quadratic-in-state nonlinear systems

abstract: Feedback control problems involving autonomous quadratic systems are prevalent, yet there are only a limited number of software tools available for approximating their solution due to the complexity of the problem. This paper represents a step forward in the special case where both the state equation and the control costs are quadratic. As it represents the natural extension of the linear-quadratic regulator (LQR) problem, we describe this setting as the quadratic-quadratic regulator (QQR) problem. This is significantly more challenging and holds the LQR as special case that must be solved along the way. We describe an algorithm that exploits the structure of the QQR problem that arises when implementing Al'Brekht's method. This approach is amenable to feedback laws with low degree polynomials but have a relatively modest model dimension that could be achieved by modern model reduction methods. This problem has an elegant formulation and a solution that introduces several linear systems where the structure suggests modern tensor-based linear solvers. We demonstrate this algorithm on a suite of random test problems then apply it to a distributed parameter control problem that fits the QQR framework. Comparisons to linear feedback control laws show a modest benefit using the QQR formulation.


title: Nonlinear solutions for \chi^(2) frequency combs in optical microresonators

abstract: Experimental and theoretical studies of nonlinear frequency combs in \chi^(3) optical microresonators attracted tremendous research interest during the last decade and resulted in prototypes of solitonbased steadily working devices. Realization of similar combs owing to \chi^(2) optical nonlinearity promises new breakthroughs and is a big scientific challenge. We analyze the main obstacles for realization of the \chi^(2) frequency combs in high-Q microresonators and propose two families of steadystate nonlinear solutions, including soliton and periodic solutions, for such combs. Despite generic periodicity of light fields inside microresonators, the nonlinear solutions can be topologically different and relevant to periodic and antiperiodic boundary conditions. The found particular solutions exist owing to a large difference in the group velocities between the first and second harmonics, typical of \chi^(2) microresonators, and to the presence of the pump. They have no zero-pump counterparts relevant to conservative solitons. Stability issue for the found comb solutions remains open and requires further numerical analysis.


title: Toward Synergic Learning for Autonomous Manipulation of Deformable Tissues via Surgical Robots: An Approximate Q-Learning Approach

abstract: In this paper, we present a synergic learning algorithm to address the task of indirect manipulation of an unknown deformable tissue. Tissue manipulation is a common yet challenging task in various surgical interventions, which makes it a good candidate for robotic automation. We propose using a linear approximate Q-learning method in which human knowledge contributes to selecting useful yet simple features of tissue manipulation while the algorithm learns to take optimal actions and accomplish the task. The algorithm is implemented and evaluated on a simulation using the OpenCV and CHAI3D libraries. Successful simulation results for four different configurations which are based on realistic tissue manipulation scenarios are presented. Results indicate that with a careful selection of relatively simple and intuitive features, the developed Q-learning algorithm can successfully learn an optimal policy without any prior knowledge of tissue dynamics or camera intrinsic/extrinsic calibration parameters.


title: The profinite completion of multi-EGS groups

abstract: The class of multi-EGS groups is a generalisation of the well-known Grigorchuk-Gupta-Sidki (GGS-)groups. Here we classify branch multi-EGS groups with the congruence subgroup property and determine the profinite completion of all branch multi-EGS groups. Additionally our results show that branch multi-EGS groups are just infinite.


title: Inequalities, chance and success in sport competitions: simulations vs empirical data

abstract: We present a new way of estimation of the role of chance in achieving success, by comparing the empirical data from 100-meter dash competitions (one of the sports disciplines with the most stringent controls of external randomness), with the results of an agent-based computer model, which assumes that success depends jointly on the intrinsic talent of the agent and on unpredictable luck. We find a small, but non-zero contribution of random luck to the performance of the best sprinters, which may serve as a lower bound for the randomness role in other, less stringently controlled competitive domains. Additionally we discuss the perception of the payoff differences among the top participants, and the role of random luck in the resulting inequality.


title: Generating Highly Relevant Questions

abstract: The neural seq2seq based question generation (QG) is prone to generating generic and undiversified questions that are poorly relevant to the given passage and target answer. In this paper, we propose two methods to address the issue. (1) By a partial copy mechanism, we prioritize words that are morphologically close to words in the input passage when generating questions; (2) By a QA-based reranker, from the n-best list of question candidates, we select questions that are preferred by both the QA and QG model. Experiments and analyses demonstrate that the proposed two methods substantially improve the relevance of generated questions to passages and answers.


title: Musical tonality and synchronization

abstract: The current study is motivated by some observations of highly nonlinear dynamical effects in biological auditory systems. We examine the hypothesis that one of the underlying mechanisms responsible for the observed nonlinearity is self-excited oscillation (SEO). According to this hypothesis the detection and processing of input audio signals by biological auditory systems is performed by coupling the input signal with an internal element undergoing SEO. Under appropriate conditions such coupling may result in synchronization between the input signal and the SEO. In this paper we present some supporting evidence for this hypothesis by showing that some well-known phenomena in musical tonality can be explained by the Hopf model of SEO and the Arnold model of synchronization. Moreover, some mathematical properties of these models are employed as guidelines for the construction of some modulations that can be applied to a given musical composition. The construction of some intriguing patterns of musical harmony is demonstrated by applying these modulations to known musical pieces.


title: Different exact structures on the monomorphism categories

abstract: Let $\mathcal{X}$ be a resolving and contravariantly finite subcategory of $\rm{mod}\mbox{-}\Lambda$, the category of finitely generated right $\Lambda$-modules. We associate to $\mathcal{X}$ the subcategory $\mathcal{S}_{\mathcal{X}}(\Lambda)$ of the morphism category $\rm{H}(\Lambda)$ consisting of all monomorphisms $(A\stackrel{f}\rightarrow B)$ with $A, B$ and $\rm{Cok} \ f$ in $\mathcal{\mathcal{X}}$. Since $\mathcal{S}_{\mathcal{X}}(\Lambda)$ is closed under extensions then it inherits naturally an exact structure from $\rm{H}(\Lambda)$. We will define two other different exact structures else than the canonical one on $\mathcal{S}_{\mathcal{X}}(\Lambda)$, and the indecomposable projective (resp. injective) objects in the corresponding exact categories completely classified. Enhancing $\mathcal{S}_{\mathcal{X}}(\Lambda)$ with the new exact structure provides a framework to construct a triangle functor. Let $\rm{mod}\mbox{-}\underline{\mathcal{X}}$ denote the category of finitely presented functors over the stable category $\underline{\mathcal{X}}$. We then use the triangle functor to show a triangle equivalence between the bounded derived category $\mathbb{D}^{\rm{b}}(\rm{mod}\mbox{-}\underline{\mathcal{X}})$ and a Verdier quotient of the bounded derived category of the associated exact category on $\mathcal{S}_{\mathcal{X}}(\Lambda)$. Similar consideration is also given for the singularity category of $\rm{mod}\mbox{-}\underline{\mathcal{X}}$.


title: The Aggregation Closure is Polyhedral for Packing and Covering Integer Programs

abstract: Recently, Bodur, Del Pia, Dey, Molinaro and Pokutta introduced the concept of aggregation cuts for packing and covering integer programs. The aggregation closure is the intersection of all aggregation cuts. Bodur et. al. studied the strength of this closure, but left open the question of whether the aggregation closure is polyhedral. In this paper, we answer this question in the positive, i.e. we show that the aggregation closure is polyhedral. Finally, we demonstrate that a generalization, the k-aggregation closure, is also polyhedral for all k.


title: Weak fuzzy topology on fuzzy topological vector spaces

abstract: In this paper, we introduce the concept of weak fuzzy linear topology on a fuzzy topological vector space as a generalization of usual weak topology. We prove that this topology consists of all weakly lower semi-continuous fuzzy sets on a given vector space when K (R or C) considered with its usual fuzzy topology. In the case that the topology of K is different from the usual fuzzy topology, we show that the weak fuzzy topology is not equivalent with the topology of weakly lower semi-continuous fuzzy sets.


title: ARIADNE -- A Novel Optical LArTPC: Technical Design Report and Initial Characterisation using a Secondary Beam from the CERN PS and Cosmic Muons

abstract: ARIADNE is a 1-ton (330 kg fiducial mass) dual-phase liquid argon (LAr) time projection chamber (TPC) featuring a novel optical readout. Four electron-multiplying charge-coupled device (EMCCD) cameras are mounted externally, and these capture the secondary scintillation light produced in the holes of a thick electron gas multiplier (THGEM). Track reconstruction using this novel readout approach is demonstrated. Optical readout has the potential to be a cost effective alternative to charge readout in future LArTPCs. In this paper, the technical design of the detector is detailed. Results of mixed particle detection using a secondary beam from the CERN PS (representing the first ever optical images of argon interactions in a dual-phase LArTPC at a beamline) and cosmic muon detection at the University of Liverpool are also presented.


title: Strichartz estimates for orthonormal families of initial data and weighted oscillatory integral estimates

abstract: We establish new Strichartz estimates for orthonormal families of initial data in the case of the wave, Klein-Gordon and fractional Schr\"odinger equations. Our estimates extend those of Frank-Sabin in the case of the wave and Klein-Gordon equations, and generalize work of Frank-Lewin-Lieb-Seiringer and Frank-Sabin for the Schr\"{o}dinger equation. Due to a certain technical barrier, except for the classical Schr\"odinger equation, the Strichartz estimates for orthonormal families of initial data have not previously been established up to the sharp summability exponents in the full range of admissible pairs. We obtain the optimal estimates in various notable cases and improve the previous results. The main novelty of this paper is the use of estimates for weighted oscillatory integrals which we combine with an approach due to Frank and Sabin. This strategy also leads us to proving new estimates for weighted oscillatory integrals with optimal decay exponents which we believe to be of wider independent interest. Applications to the theory of infinite systems of Hartree type, weighted velocity averaging lemmas for kinetic transport equations, and refined Strichartz estimates for data in Besov spaces are also provided.


title: The Partonic Content of Nucleons and Nuclei

abstract: Deepening our knowledge of the partonic content of nucleons and nuclei represents a central endeavour of modern high-energy and nuclear physics, with ramifications in related disciplines such as astroparticle physics. There are two main scientific drivers motivating these investigations of the partonic structure of hadrons. On the one hand, addressing fundamental open issues in our understanding in the strong interactions such as the origin of the nucleon mass, spin, and transverse structure; the presence of heavy quarks in the nucleon wave function; and the possible onset of novel gluon-dominated dynamical regimes. On the other hand, pinning down with the highest possible precision the substructure of nucleons and nuclei is a central component for theoretical predictions in a wide range of experiments, from proton and heavy ion collisions at the Large Hadron Collider to ultra-high energy neutrino interactions at neutrino telescopes. This Article presents a succinct non-technical overview of our modern understanding of the quark, gluon, and photon substructure of nucleons and nuclei, focusing on recent trends and results and discussing future perspectives for the field.


title: Length-Bounded Cuts: Proper Interval Graphs and Structural Parameters

abstract: In the presented paper we study the Length-Bounded Cut problem for special graph classes as well as from a parameterized-complexity viewpoint. Here, we are given a graph $G$, two vertices $s$ and $t$, and positive integers $\beta$ and $\lambda$. The task is to find a set of edges $F$ of size at most $\beta$ such that every $s$-$t$-path of length at most $\lambda$ in $G$ contains some edge in $F$. Bazgan et al. conjectured that Length-Bounded Cut admits a polynomial-time algorithm if the input graph $G$ is a~proper interval graph. We confirm this conjecture by showing a dynamic-programming based polynomial-time algorithm. We strengthen the W[1]-hardness result of Dvo\v{r}\'ak and Knop. Our reduction is shorter, seems simpler to describe, and the target of the reduction has stronger structural properties. Consequently, we give W[1]-hardness for the combined parameter pathwidth and maximum degree of the input graph. Finally, we prove that Length-Bounded Cut is W[1]-hard for the feedback vertex number. Both our hardness results complement known XP algorithms.


title: Carnegie Supernova Project-II: Near-infrared Spectroscopic Diversity of Type II Supernovae

abstract: We present $81$ near-infrared (NIR) spectra of $30$ Type II supernovae (SNe II) from the Carnegie Supernova Project-II (CSP-II), the largest such dataset published to date. We identify a number of NIR features and characterize their evolution over time. The NIR spectroscopic properties of SNe II fall into two distinct groups. This classification is first based on the strength of the He I $\lambda1.083\,\mu$m absorption during the plateau phase; SNe II are either significantly above (spectroscopically strong) or below $50$ angstroms (spectroscopically weak) in pseudo equivalent width. However between the two groups, other properties, such as the timing of CO formation and the presence of Sr II, are also observed. Most surprisingly, the distinct weak and strong NIR spectroscopic classes correspond to SNe II with slow and fast declining light curves, respectively. These two photometric groups match the modern nomenclature of SNe IIP and IIL. Including NIR spectra previously published, 18 out of 19 SNe II follow this slow declining-spectroscopically weak and fast declining-spectroscopically strong correspondence. This is in apparent contradiction to the recent findings in the optical that slow and fast decliners show a continuous distribution of properties. The weak SNe II show a high-velocity component of helium that may be caused by a thermal excitation from a reverse-shock created by the outer ejecta interacting with the red supergiant wind, but the origin of the observed dichotomy is not understood. Further studies are crucial in determining whether the apparent differences in the NIR are due to distinct physical processes or a gap in the current data set.


title: Nonlinear generalised functions on manifolds

abstract: This paper lays the foundations for a nonlinear theory of differential geometry that is developed in a subsequent paper which is based on Colombeau algebras of tensor distributions on manifolds. We adopt a new approach and construct a global theory of algebras of generalised functions on manifolds based on the concept of smoothing operators. This produces a generalisation of previous theories in a form which is suitable for applications to differential geometry. The generalised Lie derivative is introduced and shown to commute with the embedding of distributions. It is also shown that the covariant derivative of a generalised scalar field commutes with this embedding at the level of association.


title: Refining 6D Object Pose Predictions using Abstract Render-and-Compare

abstract: Robotic systems often require precise scene analysis capabilities, especially in unstructured, cluttered situations, as occurring in human-made environments. While current deep-learning based methods yield good estimates of object poses, they often struggle with large amounts of occlusion and do not take inter-object effects into account. Vision as inverse graphics is a promising concept for detailed scene analysis. A key element for this idea is a method for inferring scene parameter updates from the rasterized 2D scene. However, the rasterization process is notoriously difficult to invert, both due to the projection and occlusion process, but also due to secondary effects such as lighting or reflections. We propose to remove the latter from the process by mapping the rasterized image into an abstract feature space learned in a self-supervised way from pixel correspondences. Using only a light-weight inverse rendering module, this allows us to refine 6D object pose estimations in highly cluttered scenes by optimizing a simple pixel-wise difference in the abstract image representation. We evaluate our approach on the challenging YCB-Video dataset, where it yields large improvements and demonstrates a large basin of attraction towards the correct object poses.


title: LAN -- A materials notation for 2D layered assemblies

abstract: Two-dimensional (2D) layered materials offer intriguing possibilities for novel physics and applications. Before any attempt at exploring the materials space in a systematic fashion, or combining insights from theory, computation and experiment, a formal description of information about an assembly of arbitrary composition is required. Here, we introduce a domain-generic notation that is used to describe the space of 2D layered materials from monolayers to twisted assemblies of arbitrary composition, existent or not-yet-fabricated. The notation corresponds to a theoretical materials concept of stepwise assembly of layered structures using a sequence of rotation, vertical stacking, and other operations on individual 2D layers. Its scope is demonstrated with a number of example structures using common single-layer materials as building blocks. This work overall aims to contribute to the systematic codification, capture and transfer of materials knowledge in the area of 2D layered materials.


title: A Left-Right Mirror Symmetric Model: Common Origin of Neutrino Mass, Baryon Asymmetry and Dark Matter

abstract: I suggest a left-right mirror symmetric particle model as the natural and aesthetic extension of the SM. As the left-right mirror symmetry breaking, the tiny neutrino mass is generated by the radiative mechanism, the baryon asymmetry through the leptogenesis arises from the characteristic decay of the TeV-scale mirror charged lepton, and a KeV-mass sterile Dirac fermion eventually becomes the CDM. The model can completely account for the common origin of the neutrino mass, the baryon asymmetry and the dark matter, moreover, profoundly uncover the internal connections among them. Finally, I discuss several feasible approaches to test the model predictions and probe the new physics by near future experiments.


title: Transition from Dirac points to exceptional points in anisotropic waveguides

abstract: We uncover the existence of Dirac and exceptional points in waveguides made of anisotropic materials, and study the transition between them. Dirac points in the dispersion diagram appear at propagation directions where the matrix describing the eigenvalue problem for bound states splits into two blocks, sorting the eigenmodes either by polarization or by inner mode symmetry. Introducing a non-Hermitian channel via a suitable leakage mechanism causes the Dirac points to transform into exceptional points connected by a Fermi arc. The exceptional points arise as improper hybrid leaky states and, importantly, are found to occur always out of the anisotropy symmetry planes.


title: A Note on Fractional DP-Coloring of Graphs

abstract: DP-coloring (also called correspondence coloring) is a generalization of list coloring introduced by Dvo\v{r}\'{a}k and Postle in 2015. In 2019, Bernshteyn, Kostochka, and Zhu introduced a fractional version of DP-coloring. They showed that unlike the fractional list chromatic number, the fractional DP-chromatic number of a graph $G$, denoted $\chi_{_{DP}}^*(G)$, can be arbitrarily larger than $\chi^*(G)$, the graph's fractional chromatic number. We generalize a result of Alon, Tuza, and Voigt (1997) on the fractional list chromatic number of odd cycles, and, in the process, show that for each $k \in \mathbb{N}$, $\chi_{_{DP}}^*(C_{2k+1}) = \chi^*(C_{2k+1})$. We also show that for any $n \geq 2$ and $m \in \mathbb{N}$, if $p^*$ is the solution in $(0,1)$ to $p=(1-p)^n$ then $\chi_{_{DP}}^*(K_{n,m})\leq1/p^*$, and we prove a generalization of this result for multipartite graphs. Finally, we determine a lower bound on $\chi_{_{DP}}^*(K_{2,m})$ for any $m \geq 3$.


title: Memory-induced motion reversal in Brownian liquids

abstract: We study the Brownian dynamics of hard spheres under spatially inhomogeneous shear, using event-driven Brownian dynamics simulations and power functional theory. We examine density and current profiles both for steady states and for the transient dynamics after switching on and switching off an external square wave shear force field. We find that a dense hard sphere fluid (volume fraction $\approx$0.35) undergoes global motion reversal after switching off the shear force field. We use power functional theory with a spatially nonlocal memory kernel to describe the superadiabatic force contributions and obtain good quantitative agreement of the theoretical results with simulation data. The theory provides an explanation for the motion reversal: Internal superadiabatic nonequilibrium forces that oppose the externally driven current arise due to memory after switching off. The effect is genuinely viscoelastic: in steady state, viscous forces oppose the current, but they elastically generate an opposing current after switch-off.


title: Proportional 2-Choosability with a Bounded Palette

abstract: Proportional choosability is a list coloring analogue of equitable coloring. Specifically, a $k$-assignment $L$ for a graph $G$ specifies a list $L(v)$ of $k$ available colors to each $v \in V(G)$. An $L$-coloring assigns a color to each vertex $v$ from its list $L(v)$. A proportional $L$-coloring of $G$ is a proper $L$-coloring in which each color $c \in \bigcup_{v \in V(G)} L(v)$ is used $\lfloor \eta(c)/k \rfloor$ or $\lceil \eta(c)/k \rceil$ times where $\eta(c)=\left\lvert{\{v \in V(G) : c \in L(v) \}}\right\rvert$. A graph $G$ is proportionally $k$-choosable if a proportional $L$-coloring of $G$ exists whenever $L$ is a $k$-assignment for $G$. Motivated by earlier work, we initiate the study of proportional choosability with a bounded palette by studying proportional 2-choosability with a bounded palette. In particular, when $\ell \geq 2$, a graph $G$ is said to be proportionally $(2, \ell)$-choosable if a proportional $L$-coloring of $G$ exists whenever $L$ is a $2$-assignment for $G$ satisfying $|\bigcup_{v \in V(G)} L(v)| \leq \ell$. We observe that a graph is proportionally $(2,2)$-choosable if and only if it is equitably 2-colorable. As $\ell$ gets larger, the set of proportionally $(2, \ell)$-choosable graphs gets smaller. We show that whenever $\ell \geq 5$ a graph is proportionally $(2, \ell)$-choosable if and only if it is proportionally 2-choosable. We also completely characterize the connected proportionally $(2, \ell)$-choosable graphs when $\ell = 3,4$.


title: Centrifugally driven relativistic particles: general treatment and new solutions

abstract: Dynamics of a centrifugally driven particle moving along a magnetically prescribed trajectory (e.g. pulsar magnetic field line) in a spacetime of a rotating massive body is considered. We do assume that the particle is on a zero Landau level and is not losing energy via synchrotron or any other kind of radiation. Based on this model we further study in detail the zero-gravity limit, reconsider the "straight field-line" {\it gedanken experiment} case \cite{mac94} in the "bead-on-the-wire" approximation and find previously overlooked exact analytic solutions for the most general set of initial values. We analyze different regimes of a particle dynamics, classifying them in their relation with specific initial conditions. We conclude by indicating further directions of the study and discussing possible areas of astrophysical applications.


title: Evolution of compact groups from intermediate to final stages: A case study of the HI content of HCG 16

abstract: Hickson Compact Group (HCG) 16 is a prototypical compact group of galaxies, apparently in an intermediate stage of evolution, where its galaxies are losing gas to the intra-group medium (IGrM). The wide variety of ongoing process in HCG 16 make it an ideal case study for exploring which processes are likely to dominate the late stages of evolution in compact groups. In order to build a coherent picture of the evolution of this group we make use of the multi-wavelength data available, but focus particularly on HI as a tracer of interactions and evolutionary phase. We reprocess archival VLA L-band data of HCG 16 using the multi-scale CLEAN algorithm to accurately recover diffuse features. Despite the clear disruption of the HI component of HCG 16 we find that it is not globally HI deficient, even though HCG 16a and b have lost the majority of their HI and almost 50% of the group's HI is in the IGrM, including a 160 kpc long tail extending towards the SE. This study indicates that in the recent past (~1 Gyr) galaxies HCG 16a and b likely underwent major interactions that unbound gas without triggering significant star formation. This gas was then swept away by a high speed, close encounter with NGC 848. The starburst events HCG 16c and d have triggered galactic winds which, in the case of HCG 16d, appears to have disrupted its HI reservoir. The tidal features still connected to these galaxies indicate that more HI will soon be lost to the IGrM, while that which remains in the discs will likely be consumed by star formation episodes. This is expected to result in a collection of gas-poor galaxies embedded in a diffuse HI structure, which will gradually be evaporated by the UV background, resembling the final stage of the evolutionary model of compact groups. This work is accompanied by a complete workflow to reproduce the final data products, intended to improve reproducibility. (Abridged)


title: Estimating and decomposing most productive scale size in parallel DEA networks with shared inputs: A case of China's Five-Year Plans

abstract: Attaining the optimal scale size of production systems is an issue frequently found in the priority questions on management agendas of various types of organizations. Determining the most productive scale size (MPSS) allows the decision makers not only to know the best scale size that their systems can achieve but also to tell the decision makers how to move the inefficient systems onto the MPSS region. This paper investigates the MPSS concept for production systems consisting of multiple subsystems connected in parallel. First, we propose a relational model where the MPSS of the whole system and the internal subsystems are measured in a single DEA implementation. Then, it is proved that the MPSS of the system can be decomposed as the weighted sum of the MPSS of the individual subsystems. The main result is that the system is overall MPSS if and only if it is MPSS in each subsystem. MPSS decomposition allows the decision makers to target the non-MPSS subsystems so that the necessary improvements can be readily suggested. An application of China's Five-Year Plans (FYPs) with shared inputs is used to show the applicability of the proposed model for estimating and decomposing MPSS in parallel network DEA. Industry and Agriculture sectors are selected as two parallel subsystems in the FYPs. Interesting findings have been noticed. Using the same amount of resources, the Industry sector had a better economic scale than the Agriculture sector. Furthermore, the last two FYPs, 11th and 12th, were the perfect two FYPs among the others.


title: Finding Security Threats That Matter: An Industrial Case Study

abstract: Recent trends in the software engineering (i.e., Agile, DevOps) have shortened the development life-cycle limiting resources spent on security analysis of software designs. In this context, architecture models are (often manually) analyzed for potential security threats. Risk-last threat analysis suggests identifying all security threats before prioritizing them. In contrast, risk-first threat analysis suggests identifying the risks before the threats, by-passing threat prioritization. This seems promising for organizations where developing speed is of great importance. Yet, little empirical evidence exists about the effect of sacrificing systematicity for high-priority threats on the performance and execution of threat analysis. To this aim, we conduct a case study with industrial experts from the automotive domain, where we empirically compare a risk-first technique to a risk-last technique. In this study, we consciously trade the amount of participants for a more realistic simulation of threat analysis sessions in practice. This allows us to closely observe industrial experts and gain deep insights into the industrial practice. This work contributes with: (i) a quantitative comparison of performance, (ii) a quantitative and qualitative comparison of execution, and (iii) a comparative discussion of the two techniques. We find no differences in the productivity and timeliness of discovering high-priority security threats. Yet, we find differences in analysis execution. In particular, participants using the risk-first technique found twice as many high-priority threats, developed detailed attack scenarios, and discussed threat feasibility in detail. On the other hand, participants using the risk-last technique found more medium and low-priority threats and finished early.


title: On the small time asymptotics of the dynamical $\Phi^4_1$ model

abstract: In this paper, we establish a small time large deviation principle (small time asymptotics) for the dynamical $\Phi^4_1$ model, which not only involves study of the space-time white noise with intensity $\sqrt{\varepsilon}$, but also the investigation of the effect of the small (with $\varepsilon$) nonlinear drift.


title: Optimization with nonstationary, nonlinear monolithic fluid-structure interaction

abstract: Within this work, we consider optimization settings for nonlinear, nonstationary fluid-structure interaction. The problem is formulated in a monolithic fashion using the arbitrary Lagrangian-Eulerian framework to set-up the fluid-structure forward problem. In the optimization approach, either optimal control or parameter estimation problems are treated. In the latter, the stiffness of the solid is estimated from given reference values. In the numerical solution, the optimization problem is solved with a gradient-based solution algorithm. The nonlinear subproblems of the FSI forward problem are solved with a Newton method including line search. Specifically, we will formally provide the backward-in-time running adjoint state used for gradient computations. Our algorithmic developments are demonstrated with some numerical examples as for instance extensions of the well-known fluid-structure benchmark settings and a flapping membrane test in a channel flow with elastic walls.


title: Magnetic 2D materials and heterostructures

abstract: The family of 2D materials grows day by day, drastically expanding the scope of possible phenomena to be explored in two dimensions, as well as the possible van der Waals heterostructures that one can create. Such 2D materials currently cover a vast range of properties. Until recently, this family has been missing one crucial member - 2D magnets. The situation has changed over the last two years with the introduction of a variety of atomically-thin magnetic crystals. Here we will discuss the difference between magnetic states in 2D materials and in bulk crystals and present an overview of the 2D magnets that have been explored recently. We will focus, in particular, on the case of the two most studied systems - semiconducting CrI$_3$ and metallic Fe$_3$GeTe$_2$ - and illustrate the physical phenomena that have been observed. Special attention will be given to the range of novel van der Waals heterostructures that became possible with the appearance of 2D magnets, offering new perspectives in this rapidly expanding field.


title: A nonlinear theory of distributional geometry

abstract: This paper builds on the theory of generalised functions begun in [1]. The Colombeau theory of generalised scalar fields on manifolds is extended to a nonlinear theory of generalised tensor fields which is diffeomorphism invariant and has the sheaf property. The generalised Lie derivative for generalised tensor fields is introduced and it is shown that this commutes with the embedding of distributional tensor fields. It is also shown that the covariant derivative of generalised tensor fields commutes with the embedding at the level of association. The concept of generalised metric is introduced and used to develop a nonsmooth theory of differential geometry. It is shown that the embedding of a continuous metric results in a generalised metric with well defined connection and curvature. It is also shown that a twice continuously differentiable metric which is a solution of the vacuum Einstein equations may be embedded into the algebra of generalised tensor fields and has generalised Ricci curvature associated to zero. Thus, the embedding preserves the Einstein equations at the level of association. Finally, we consider an example of a metric which lies outside the Geroch-Traschen class and show that in our diffeomorphism invariant theory the curvature of a cone is associated to a delta function.


title: High-Fidelity Entangling Gates for Quantum-Dot Hybrid Qubits Based on Exchange Interactions

abstract: Quantum dot hybrid qubits exploit an extended charge-noise sweet spot that suppresses dephasing and has enabled the experimental achievement of high-fidelity single-qubit gates. However, current proposals for two-qubit gates require tuning the qubits away from their sweet spots. Here, we propose a two-hybrid-qubit coupling scheme, based on exchange interactions, that allows the qubits to remain at their sweet spots at all times. The interaction is controlled via the inter-qubit tunnel coupling. By simulating such gates in the presence of realistic quasistatic and $1\!/\!f$ charge noise, we show that our scheme should enable controlled-$Z$ gates of length $\sim$5~ns, and Z-CNOT gates of length $\sim$7~ns, both with fidelities $>$99.9\%.


title: Lifetime estimations and a non-monotonic initial energy density in heavy ion collisions at RHIC and LHC

abstract: We highlight some connections between the final state hadronic observables and the initial conditions using a recently found new exact family of solutions of relativistic hydrodynamics. These relations provide explicit examples of the scaling behaviour in relativistic hydrodynamics and may provide an advanced estimate of the lifetime and the initial energy density in $\sqrt{s_{NN}} = 62.4$, $130$, and $200$ GeV Au+Au collisions at RHIC and $\sqrt{s_{NN}} = 5.0$ TeV Pb+Pb and $5.44$ TeV Xe+Xe as well as $\sqrt{s} = 7$, $8$ and $13$ TeV p+p collisions at LHC energies. A surprising result is that these advanced estimates yield a non-monotonic increase of the initial energy density with increasing collision energy at the RHIC energy range.


title: Nonlocal minimal clusters in the plane

abstract: We prove existence of partitions of an open set $\Omega$ with a given number of phases, which minimize the sum of the fractional perimeters of all the phases, with Dirichlet boundary conditions. In two dimensions we show that, if the fractional parameter $s$ is sufficiently close to $1$, the only singular minimal cone, that is, the only minimal partition invariant by dilations and with a singular point, is given by three half-lines meeting at $120$ degrees. In the case of a weighted sum of fractional perimeters, we show that there exists a unique minimal cone with three phases.


title: Holographic Vector Field Electron Tomography of Three-Dimensional Nanomagnets

abstract: Complex 3D magnetic textures in nanomagnets exhibit rich physical properties, for example in their dynamic interaction with external fields and currents, and play an increasing role for current technological challenges such as energy-efficient memory devices. To study these magnetic nanostructures including their dependency on geometry, composition and crystallinity, a 3D characterization of the magnetic field with nanometer spatial resolution is indispensable. Here we show how holographic vector field electron tomography can reconstruct all three components of magnetic induction as well as the electrostatic potential of a Co/Cu nanowire with sub 10\,nm spatial resolution. We address the workflow from acquisition, via image alignment to holographic and tomographic reconstruction. Combining the obtained tomographic data with micromagnetic considerations we derive local key magnetic characteristics, such as magnetization current or exchange stiffness, and demonstrate how magnetization configurations, such as vortex states in the Co-disks, depend on small structural variations of the as-grown nanowire.

categories: cond-mat.mes-hall physics.data-an physics.ins-det physics.optics


title: Describing Alt-Right communities and their discourse on Twitter during the 2018 US mid-term elections

abstract: The alt-right is a far-right movement that has uniquely developed on social media, before becoming prominent in the 2016 United States presidential elections. However, very little research exists about their discourse and organization online. This study aimed to analyze how a sample of alt-right supporters organized themselves in the week before and after the 2018 midterm elections in the US, along with which topics they most frequently discussed. Using community finding and topic extraction algorithms, results indicated that the sample commonly used racist language and anti-immigration themes, criticised mainstream media and advocated for alternative media sources, whilst also engaging in discussion of current news stories. A subsection of alt-right supporters were found to focus heavily on white supremacist themes. Furthermore, small groups of alt-right supporters discussed anime, technology and religion. These results supported previous results from studies investigating the discourse of alt-right supporters.


title: Federated Learning of N-gram Language Models

abstract: We propose algorithms to train production-quality n-gram language models using federated learning. Federated learning is a distributed computation platform that can be used to train global models for portable devices such as smart phones. Federated learning is especially relevant for applications handling privacy-sensitive data, such as virtual keyboards, because training is performed without the users' data ever leaving their devices. While the principles of federated learning are fairly generic, its methodology assumes that the underlying models are neural networks. However, virtual keyboards are typically powered by n-gram language models for latency reasons. We propose to train a recurrent neural network language model using the decentralized FederatedAveraging algorithm and to approximate this federated model server-side with an n-gram model that can be deployed to devices for fast inference. Our technical contributions include ways of handling large vocabularies, algorithms to correct capitalization errors in user data, and efficient finite state transducer algorithms to convert word language models to word-piece language models and vice versa. The n-gram language models trained with federated learning are compared to n-grams trained with traditional server-based algorithms using A/B tests on tens of millions of users of virtual keyboard. Results are presented for two languages, American English and Brazilian Portuguese. This work demonstrates that high-quality n-gram language models can be trained directly on client mobile devices without sensitive training data ever leaving the devices.


title: Minimum-Strain Symmetrization of Bravais Lattices

abstract: Bravais lattices are the most fundamental building blocks of crystallography. They are classified into groups according to their translational, rotational, and inversion symmetries. In computational analysis of Bravais lattices, fulfilment of symmetry conditions is usually determined by analysis of the metric tensor, using either a numerical tolerance to produce a binary (i.e. yes or no) classification, or a distance function which quantifies the deviation from an ideal lattice type. The metric tensor, though, is not scale-invariant, which complicates the choice of threshold and the interpretation of the distance function. Here, we quantify the distance of a lattice from a target Bravais class using strain. For an arbitrary lattice, we find the minimum-strain transformation needed to fulfil the symmetry conditions of a desired Bravais lattice type; the norm of the strain tensor is used to quantify the degree of symmetry breaking. The resulting distance is invariant to scale and rotation, and is a physically intuitive quantity. By symmetrizing to all Bravais classes, each lattice can be placed in a 14 dimensional space, which we use to create a map of the space of Bravais lattices and the transformation paths between them. A software implementation is available online under a permissive license.


title: ATL: Autonomous Knowledge Transfer from Many Streaming Processes

abstract: Transferring knowledge across many streaming processes remains an uncharted territory in the existing literature and features unique characteristics: no labelled instance of the target domain, covariate shift of source and target domain, different period of drifts in the source and target domains. Autonomous transfer learning (ATL) is proposed in this paper as a flexible deep learning approach for the online unsupervised transfer learning problem across many streaming processes. ATL offers an online domain adaptation strategy via the generative and discriminative phases coupled with the KL divergence based optimization strategy to produce a domain invariant network while putting forward an elastic network structure. It automatically evolves its network structure from scratch with/without the presence of ground truth to overcome independent concept drifts in the source and target domain. The rigorous numerical evaluation has been conducted along with a comparison against recently published works. ATL demonstrates improved performance while showing significantly faster training speed than its counterparts.


title: A Phase Model with Large Time Delayed Coupling

abstract: We consider two identical oscillators with weak, time delayed coupling. We start with a general system of delay differential equations then reduce it to a phase model. With the assumption of large time delay, the resulting phase model has an explicit delay and phase shift in the argument of the phases and connection function, respectively. Using the phase model, we prove that for any type of oscillators and any coupling, the in-phase and anti-phase phase-locked solutions always exist and give conditions for their stability. We show that for small delay these solutions are unique, but with large enough delay multiple solutions of each type with different frequencies may occur. We give conditions for the existence and stability of other types of phase-locked solutions. We discuss the various bifurcations that can occur in the phase model as the time delay is varied. The results of the phase model analysis are applied to Morris-Lecar oscillators with diffusive coupling and compared with numerical studies of the full system of delay differential equations. We also consider the case of small time delay and compare the results with the existing ones in the literature.


title: On the influence of cross-diffusion in pattern formation

abstract: In this paper we consider the Shigesada-Kawasaki-Teramoto (SKT) model to account for stable inhomogeneous steady states exhibiting spatial segregation, which describe a situation of coexistence of two competing species. We provide a deeper understanding on the conditions required on both the cross-diffusion and the reaction coefficients for non-homogeneous steady states to exist, by combining a detailed linearized analysis with advanced numerical bifurcation methods via the continuation software pde2path. We report some numerical experiments suggesting that, when cross-diffusion is taken into account, there exist positive and stable non-homogeneous steady states outside of the range of parameters for which the coexistence homogeneous steady state is positive. Furthermore, we also analyze the case in which self-diffusion terms are considered.


title: Automatic Construction of Multi-layer Perceptron Network from Streaming Examples

abstract: Autonomous construction of deep neural network (DNNs) is desired for data streams because it potentially offers two advantages: proper model's capacity and quick reaction to drift and shift. While the self-organizing mechanism of DNNs remains an open issue, this task is even more challenging to be developed for standard multi-layer DNNs than that using the different-depth structures, because the addition of a new layer results in information loss of previously trained knowledge. A Neural Network with Dynamically Evolved Capacity (NADINE) is proposed in this paper. NADINE features a fully open structure where its network structure, depth and width, can be automatically evolved from scratch in an online manner and without the use of problem-specific thresholds. NADINE is structured under a standard MLP architecture and the catastrophic forgetting issue during the hidden layer addition phase is resolved using the proposal of soft-forgetting and adaptive memory methods. The advantage of NADINE, namely elastic structure and online learning trait, is numerically validated using nine data stream classification and regression problems where it demonstrates performance improvement over prominent algorithms in all problems. In addition, it is capable of dealing with data stream regression and classification problems equally well.


title: Fast Diameter Computation within Split Graphs

abstract: When can we compute the diameter of a graph in quasi linear time? We address this question for the class of {\em split graphs}, that we observe to be the hardest instances for deciding whether the diameter is at most two. We stress that although the diameter of a non-complete split graph can only be either $2$ or $3$, under the Strong Exponential-Time Hypothesis (SETH) we cannot compute the diameter of an $n$-vertex $m$-edge split graph in less than quadratic time -- in the size $n+m$ of the input. Therefore it is worth to study the complexity of diameter computation on {\em subclasses} of split graphs, in order to better understand the complexity border. Specifically, we consider the split graphs with bounded {\em clique-interval number} and their complements, with the former being a natural variation of the concept of interval number for split graphs that we introduce in this paper. We first discuss the relations between the clique-interval number and other graph invariants such as the classic interval number of graphs, the treewidth, the {\em VC-dimension} and the {\em stabbing number} of a related hypergraph. Then, in part based on these above relations, we almost completely settle the complexity of diameter computation on these subclasses of split graphs: - For the $k$-clique-interval split graphs, we can compute their diameter in truly subquadratic time if $k={\cal O}(1)$, and even in quasi linear time if $k=o(\log{n})$ and in addition a corresponding ordering of the vertices in the clique is given. However, under SETH this cannot be done in truly subquadratic time for any $k = \omega(\log{n})$. - For the {\em complements} of $k$-clique-interval split graphs, we can compute their diameter in truly subquadratic time if $k={\cal O}(1)$, and even in time ${\cal O}(km)$ if a corresponding ordering of the vertices in the stable set is given. Again this latter result is optimal under SETH up to polylogarithmic factors. Our findings raise the question whether a $k$-clique interval ordering can always be computed in quasi linear time. We prove that it is the case for $k=1$ and for some subclasses such as bounded-treewidth split graphs, threshold graphs and comparability split graphs. Finally, we prove that some important subclasses of split graphs -- including the ones mentioned above -- have a bounded clique-interval number.


title: The affine-null formulation of the gravitational equations: spherical case

abstract: A new evolution algorithm for the characteristic initial value problem based upon an affine parameter rather than the areal radial coordinate used in the Bondi-Sachs formulation is applied in the spherically symmetric case to the gravitational collapse of a massless scalar field. The advantages over the Bondi-Sachs version are discussed, with particular emphasis on the application to critical collapse. Unexpected quadratures lead to a simple evolution algorithm based upon ordinary differential equations which can be integrated along the null rays. For collapse to a black hole in a Penrose compactified spacetime, these equations are regularized throughout the exterior and interior of the horizon up to the final singularity. They are implemented as a global numerical evolution code based upon the Galerkin method. New results regarding the global properties of critical collapse are presented.


title: Unconventional Relaxation of Hydrodynamic Modes in Anharmonic Chains

abstract: Nonlinear fluctuating hydrodynamics (NFHD) is a powerful framework for understanding transport, but checking its validity with molecular dynamics is still challenging. Here, we overcome this challenge by developing an effective scheme for detecting hydrodynamic modes that takes into account the role of pressure fluctuations. We show that the predictions given by NFHD on the relaxation processes of hydrodynamic modes are valid only when the pressure of the system is zero and the pressure fluctuations are weak. For nonvanishing pressure, two other regimes arise as the hydrodynamic modes can respond to small and large pressure fluctuations and relax in two additionally distinct manners. In contrast to the previous finding of two classes, our results suggest that there are at least three universality classes of transport in anharmonic chains.


title: Charge-conserving, variational particle-in-cell method for the drift-kinetic Vlasov-Maxwell system

abstract: This paper proposes a charge-conserving, variational, spatio-temporal discretization for the drift-kinetic Vlasov-Maxwell system, utilizing finite-elements for the electromagnetic fields and the particle-in-cell approach for the Vlasov distribution. The proposed scheme is fully electromagnetic, dealing with fields instead of potentials, and includes the effects of polarization and magnetization in the Gauss and Amp\`ere-Maxwell laws, a consequence of reducing the full particle dynamics to drift-center dynamics. There is, however, no need to invert the Gauss law: it is satisfied automatically at every time-step as a result of a discrete Noether symmetry, and the electric field is updated directly from the Amp\`ere-Maxwell equation. The method provides an update for the magnetic field that is fully explicit, involving only local operations. The update for particles is implicit for each particle individually, also leading to local operations only. The update for the electric field is linearly implicit due to the presence of a finite-element mass matrix and polarization and magnetization effects in the Amp\`ere-Maxwell equation, hence involving a sparse matrix inversion once at every time step. Because the scheme deals with the electromagnetic fields and not the potentials, it also provides the first serious attempt at constructing a structure-preserving numerical scheme for the mixed kinetic-ion--drift-kinetic-electron Vlasov-Maxwell model. Consequently, the proposed method could be used to simulate electromagnetic turbulence in fusion experiments or space plasmas that exhibit a strong background magnetic field while retaining all of the ion physics, most of the necessary electron physics, yet eliminating perhaps the biggest obstacle in reaching macroscopic transport time scales in kinetic simulations, namely the electron cyclotron time scale.


title: Crystallization in a one-dimensional periodic landscape

abstract: We consider the crystallization problem for a finite one-dimensional collection of identical hard spheres in a periodic energy landscape. This issue arises in connection with the investigation of crystalline states of ionic dimers, as well as in epitaxial growth on a crystalline substrate in presence of lattice mismatch. Depending on the commensurability of the radius of the sphere and the period of the landscape, we discuss the possible emergence of crystallized states. In particular, we prove that crystallization in arbitrarily long chains is generically not to be expected.


title: Origin of Giant Stellar Clumps in High-Redshift Galaxies

abstract: We examine the nature of kpc-scale clumps seen in high-redshift galaxies using a suite of cosmological simulations of galaxy formation. We identify rest-frame UV clumps in mock HST images smoothed to 500 pc resolution, and compare them with the intrinsic 3D clumps of young stars identified in the simulations with 100 pc resolution. According to this comparison, we expect that the stellar masses of the observed clumps are overestimated by as much as an order of magnitude, and that the sizes of these clumps are also overestimated by factor of several, due to a combination of spatial resolution and projection. The masses of young stars contributing most of the UV emission can also be overestimated by factor of a few. We find that most clumps of young stars present in a simulation at one time dissolve on a timescale shorter than $\sim$150 Myr. Some clumps with dense cores can last longer but eventually disperse. Most of the clumps are not bound structures, with virial parameter $\alpha_{\rm vir}$ > 1. We find similar results for clumps identified in mock maps of H$\alpha$ emission measure. We examine the predictions for effective clump sizes from the linear theory of gravitational perturbations and conclude that they are inconsistent with being formed by global disc instabilities. Instead, the observed clumps represent random projections of multiple smaller star-forming regions.


title: The density ratio of Poisson binomial versus Poisson distributions

abstract: Let $b(x)$ be the probability that a sum of independent Bernoulli random variables with parameters $p_1, p_2, p_3, \ldots \in [0,1)$ equals $x$, where $\lambda := p_1 + p_2 + p_3 + \cdots$ is finite. We prove two inequalities for the maximal ratio $b(x)/\pi_\lambda(x)$, where $\pi_\lambda$ is the weight function of the Poisson distribution with parameter $\lambda$.


title: ABEONA: an Architecture for Energy-Aware Task Migrations from the Edge to the Cloud

abstract: This paper presents our preliminary results with ABEONA, an edge-to-cloud architecture that allows migrating tasks from low-energy, resource-constrained devices on the edge up to the cloud. Our preliminary results on artificial and real world datasets show that it is possible to execute workloads in a more efficient manner energy-wise by scaling horizontally at the edge, without negatively affecting the execution runtime.


title: The universality of the Kalman filter: a conditional characteristic function perspective

abstract: The universality of the celebrated Kalman filtering can be found in control theory. The Kalman filter has found its striking applications in sophisticated autonomous systems and smart products, which are attributed to its realization in a single complex chip. In this paper, we revisit the Kalman filter from the perspective of conditional characteristic function evolution and Ito calculus and develop three Kalman filtering Theorems and their formal proof. Most notably, this paper reveals the following: (i) Kalman filtering equations are a consequence of the evolution of conditional characteristic function for the linear stochastic differential system coupled with the linear discrete measurement system. (ii) The Kalman filtering is a consequence of the stochastic evolution of conditional characteristic function for the linear stochastic differential system coupled with the linear continuous measurement system. (iii) The structure of the Kalman filter remains invariant under two popular stochastic interpretations, the Ito vs Stratonovich.