title: HAPS-assisted Hybrid RF-FSO Multicast Communications: Error and Outage Analysis

abstract: In this work, we study the performance of multiple-hop mixed frequency (RF)/free-space optical (FSO) communication-based decode-and-forward protocol for multicast networks. So far, serving a large number of users is considered a promising approach for real-time applications to address the massive data traffic demands. In this regard, we propose two practical use-cases. In the former model, we propose a high altitude platform station (HAPS)-aided mixed RF/FSO/RF communication scheme where a terrestrial ground station intends to communicate with a cluster of nodes through two stratospheric HAPS systems. In the latter model, we assume that the line of sight connectivity is inaccessible between the two HAPS systems due to high attenuation caused by large propagation distances. Thereby, we propose a low Earth orbit satellite-aided mixed RF/FSO/FSO/RF communication. For the proposed scenarios, closed-form expressions of outage probability (OP) and bit error rate are derived. In addition, to illustrate the asymptotic behavior of the proposed models, diversity gains are obtained. Furthermore, ergodic capacity and energy efficiency (EE) are provided for both scenarios. Finally, the simulation results are provided to validate the theoretical derivations. The results show that satellite-aided mixed RF/FSO/FSO/RF scenarios achieve better OP, whereas HAPS-aided mixed RF/FSO/RF scenario can achieve higher EE.


title: Manifesto for Putting 'Chartjunk' in the Trash 2021!

abstract: In this provocation we ask the visualization research community to join us in removing chartjunk from our research lexicon. We present an etymology of chartjunk, framing its provocative origins as misaligned, and harmful, to the ways the term is currently used by visualization researchers. We call on the community to dissolve chartjunk from the ways we talk about, write about, and think about the graphical devices we design and study. As a step towards this goal we contribute a performance of maintenance through a trio of acts: editing the Wikipedia page on chartjunk, cutting out chartjunk from IEEE papers, and scanning and posting a repository of the pages with chartjunk removed to invite the community to re-imagine how we describe visualizations. This contribution blurs the boundaries between research, activism, and maintenance art, and is intended to inspire the community to join us in taking out the trash.


title: Are Transformers a Modern Version of ELIZA? Observations on French Object Verb Agreement

abstract: Many recent works have demonstrated that unsupervised sentence representations of neural networks encode syntactic information by observing that neural language models are able to predict the agreement between a verb and its subject. We take a critical look at this line of research by showing that it is possible to achieve high accuracy on this agreement task with simple surface heuristics, indicating a possible flaw in our assessment of neural networks' syntactic ability. Our fine-grained analyses of results on the long-range French object-verb agreement show that contrary to LSTMs, Transformers are able to capture a non-trivial amount of grammatical structure.


title: A Quality Assessment Instrument for Systematic Literature Reviews in Software Engineering

abstract: Context: Systematic literature reviews (SLRs) have become standard practise as part of software engineering research, although their quality varies. To build on the reviews, both for future research and industry practice, they need to be of high quality. Objective: To assess the quality of SLRs in software engineering, we put forward an appraisal instrument for SLRs. The instrument is intended for use by appraisers of reviews, but authors may also use it as a checklist when designing and documenting their reviews. Method: A well-established appraisal instrument from research in healthcare was used as a starting point to develop a quality assessment instrument. It is adapted to software engineering using guidelines, checklists, and experiences from software engineering. As a validation step, the first version was reviewed by four external experts on SLRs in software engineering and updated based on their feedback. Results: The outcome of the research is an appraisal instrument for the quality assessment of SLRs in software engineering. The instrument intends to support the appraiser in assessing the quality of an SLR. The instrument includes 16 items with different options to capture the quality. The item is assessed on a two or three-grade scale, depending on the item. The instrument also supports consolidating the items into groups, which are then used to assess the overall quality of a systematic literature review. Conclusion: It is concluded that the presented instrument may be helpful support for an appraiser in assessing the quality of SLRs in software engineering.


title: Self-supervised Representation Learning for Reliable Robotic Monitoring of Fruit Anomalies

abstract: Data augmentation can be a simple yet powerful tool for autonomous robots to fully utilise available data for selfsupervised identification of atypical scenes or objects. State-of-the-art augmentation methods arbitrarily embed "structural" peculiarity on typical images so that classifying these artefacts can provide guidance for learning representations for the detection of anomalous visual signals. In this paper, however, we argue that learning such structure-sensitive representations can be a suboptimal approach to some classes of anomaly (e.g., unhealthy fruits) which could be better recognised by a different type of visual element such as "colour". We thus propose Channel Randomisation as a novel data augmentation method for restricting neural networks to learn encoding of "colour irregularity" whilst predicting channel-randomised images to ultimately build reliable fruit-monitoring robots identifying atypical fruit qualities. Our experiments show that (1) this colour-based alternative can better learn representations for consistently accurate identification of fruit anomalies in various fruit species, and also, (2) unlike other methods, the validation accuracy can be utilised as a criterion for early stopping of training in practice due to positive correlation between the performance in the self-supervised colour-differentiation task and the subsequent detection rate of actual anomalous fruits. Also, the proposed approach is evaluated on a new agricultural dataset, Riseholme-2021, consisting of 3.5K strawberry images gathered by a mobile robot, which we share online to encourage active agri-robotics research.


title: Linear independence of odd zeta values using Siegel's lemma

abstract: We prove that among 1 and the odd zeta values $\zeta(3)$, $\zeta(5)$, ..., $\zeta(s)$, at least $ 0.21 \sqrt{s / \log s}$ are linearly independent over the rationals, for any sufficiently large odd integer $s$. This improves on the lower bound $(1-\varepsilon) \log s / (1+\log 2)$ obtained by Ball-Rivoal in 2001. Up to the numerical constant $0.21$, it gives as a corollary a new proof of the lower bound on the number of irrationals in this family proved in 2020 by Lai-Yu. The proof is based on Siegel's lemma to construct non-explicit linear forms in odd zeta values, instead of using explicit well-poised hypergeometric series. Siegel's linear independence criterion (instead of Nesterenko's) is applied, with a multiplicity estimate (namely a generalization of Shidlovsky's lemma). The result is also adapted to deal with values of the first $s$ polylogarithms at a fixed algebraic point in the unit disk, improving bounds of Rivoal and Marcovecchio.


title: On the accumulation of separatrices by invariant circles

abstract: Let $f$ be a smooth symplectic diffeomorphism of $\mathbb{R}^2$ admitting a (non-split) separatrix associated to a hyperbolic fixed point. We prove that if $f$ is a perturbation of the time-1 map of a symplectic autonomous vector field, this separatrix is accumulated by a positive measure set of invariant circles. On the other hand, we provide examples of smooth symplectic diffeomorphisms with a Lyapunov unstable non-split separatrix that are not accumulated by invariant circles.


title: Ionizing radiation from AGNs at z>3.3 with the Subaru Hyper Suprime-Cam Survey and the CFHT Large Area U-band Deep Survey (CLAUDS)

abstract: We use deep and wide imaging data from the CFHT Large Area U-band Deep Survey (CLAUDS) and the Hyper Suprime-Cam Subaru Strategic Program (HSC-SSP) to constrain the ionizing radiation (Lyman Continuum; LyC) escape fraction from AGNs at $z \sim 3 - 4$. For 94 AGNs with spectroscopic redshifts at $3.3 < z < 4.0$, we use their U-band / i-band flux ratios to estimate LyC transmission of individual AGNs. The distribution of their LyC transmission shows values lower than the range of LyC transmission values for IGM of the same redshift range, which suggests that LyC escape fraction of AGNs at $z>3.3$ is considerably lower than unity in most cases. We do not find any trend in LyC transmission values depending on their UV luminosities. Based on the photometry of stacked images we find the average flux ratio of LyC and non-ionizing UV photons escaping from the objects $(f_{LyC}/f_{UV})^{out} = 0.182 \pm 0.043$ for AGNs at $3.3<z<3.6$, which corresponds to LyC escape fraction $f_{esc} = 0.303 \pm 0.072$ if we assume a fiducial intrinsic SED of AGN. Based on the estimated LyC escape fraction and the UV luminosity function of AGNs, we argue that UV-selected AGNs' contribution to the LyC emissivity at the epoch is minor, although the size of their contribution largely depends on the shape of the UV luminosity function.


title: Single-Exciton Gain and Stimulated Emission across the Infrared Telecom Band from Robust Heavily-doped PbS Colloidal Quantum Dots

abstract: Materials with optical gain in the infrared are of paramount importance for optical communications, medical diagnostics and silicon photonics. The current technology is based either on costly III-V semiconductors that are not monolithic to silicon CMOS technology or Er-doped fiber technology that does not make use of the full fiber transparency window. Colloidal quantum dots (CQD) offer a unique opportunity as an optical gain medium in view of their tunable bandgap, solution processability and CMOS compatibility. The 8-fold degeneracy of infrared CQDs based on Pb-chalcogenides has hindered the demonstration of low-threshold optical gain and lasing, at room temperature. We demonstrate room-temperature, infrared, size-tunable, band-edge stimulated emission with linewidth of ~14 meV. Leveraging robust electronic doping and charge-exciton interactions in PbS CQD thin films, we reach gain threshold at the single exciton regime representing a four-fold reduction from the theoretical limit of an eight-fold degenerate system, with a net modal gain in excess of 100 cm-1.


title: Phase diagram of quantum generalized Potts-Hopfield neural networks

abstract: We introduce and analyze an open quantum generalization of the q-state Potts-Hopfield neural network, which is an associative memory model based on multi-level classical spins. The dynamics of this many-body system is formulated in terms of a Markovian master equation of Lindblad type, which allows to incorporate both probabilistic classical and coherent quantum processes on an equal footing. By employing a mean field description we investigate how classical fluctuations due to temperature and quantum fluctuations effectuated by coherent spin rotations affect the ability of the network to retrieve stored memory patterns. We construct the corresponding phase diagram, which in the low temperature regime displays pattern retrieval in analogy to the classical Potts-Hopfield neural network. When increasing quantum fluctuations, however, a limit cycle phase emerges, which has no classical counterpart. This shows that quantum effects can qualitatively alter the structure of the stationary state manifold with respect to the classical model, and potentially allow one to encode and retrieve novel types of patterns.


title: Accommodating heterogeneous missing data patterns for prostate cancer risk prediction

abstract: Objective: We compared six commonly used logistic regression methods for accommodating missing risk factor data from multiple heterogeneous cohorts, in which some cohorts do not collect some risk factors at all, and developed an online risk prediction tool that accommodates missing risk factors from the end-user. Study Design and Setting: Ten North American and European cohorts from the Prostate Biopsy Collaborative Group (PBCG) were used for fitting a risk prediction tool for clinically significant prostate cancer, defined as Gleason grade group greater or equal 2 on standard TRUS prostate biopsy. One large European PBCG cohort was withheld for external validation, where calibration-in-the-large (CIL), calibration curves, and area-underneath-the-receiver-operating characteristic curve (AUC) were evaluated. Ten-fold leave-one-cohort-internal validation further validated the optimal missing data approach. Results: Among 12,703 biopsies from 10 training cohorts, 3,597 (28%) had clinically significant prostate cancer, compared to 1,757 of 5,540 (32%) in the external validation cohort. In external validation, the available cases method that pooled individual patient data containing all risk factors input by an end-user had best CIL, under-predicting risks as percentages by 2.9% on average, and obtained an AUC of 75.7%. Imputation had the worst CIL (-13.3%). The available cases method was further validated as optimal in internal cross-validation and thus used for development of an online risk tool. For end-users of the risk tool, two risk factors were mandatory: serum prostate-specific antigen (PSA) and age, and ten were optional: digital rectal exam, prostate volume, prior negative biopsy, 5-alpha-reductase-inhibitor use, prior PSA screen, African ancestry, Hispanic ethnicity, first-degree prostate-, breast-, and second-degree prostate-cancer family history.


title: Minor embedding with Stuart-Landau oscillator networks

abstract: We theoretically implement a strategy from quantum computation architectures to simulate Stuart-Landau oscillator dynamics in all-to-all connected networks, also referred to as complete graphs. The technique builds upon the triad structure minor embedding which expands dense graphs of interconnected elements into sparse ones which can potentially be realized in future on-chip solid state technologies with tunable edge weights. As a case study, we reveal that the minor embedding procedure allows simulating the XY model on complete graphs, thus bypassing a severe geometric constraint.

categories: quant-ph math-ph math.MP physics.comp-ph


title: Codebook Design and Beam Training for Extremely Large-Scale RIS: Far-Field or Near-Field?

abstract: Reconfigurable intelligent surface (RIS) can improve the capacity of the wireless communication system by providing the extra link between the base station (BS) and the user. In order to resist the "multiplicative fading" effect, RIS is more likely to develop into extremely large-scale RIS (XL-RIS) for future 6G communications. Beam training is an effective way to acquire channel state information (CSI) for the XL-RIS assisted system. Existing beam training schemes rely on the far-field codebook, which is designed based on the far-field channel model. However, due to the large aperture of XL-RIS, the user is more likely to be in the near-field region of XL-RIS. The far-field codebook mismatches the near-field channel model. Thus, the existing far-field beam training scheme will cause severe performance loss in the XL-RIS assisted near-field communications. To solve this problem, we propose the efficient near-field beam training schemes by designing the near-field codebook to match the near-field channel model. Specifically, we firstly design the near-field codebook by considering the near-field cascaded array steering vector of XL-RIS. Then, the optimal codeword for XL-RIS is obtained by the exhausted training procedure between the XL-RIS and the user. In order to reduce the beam training overhead, we further design a hierarchical near-field codebook and propose the corresponding hierarchical near-field beam training scheme, where different levels of sub-codebooks are searched in turn with reduced codebook size. Simulation results show the two proposed near-field beam training schemes both perform better than the existing far-field beam training scheme. Particulary, the hierarchical near-field beam training scheme can greatly reduce the beam training overhead with acceptable performance loss.


title: Maximum Principle and Asymptotic Properties of Hermite--Pad\'e Polynomials

abstract: In the paper, we discuss how it would be possible to succeed in Stahl's novel approach, 1987--1988, to explore Hermite--Pad\'e polynomials based on Riemann surface properties. In particular, we explore the limit zero distribution of type I Hermite--Pad\'e polynomials $Q_{n,0},Q_{n,1},Q_{n,2}$, $\operatorname{deg}{Q_{n,j}}\leq{n}$, for a collection of three analytic elements $[1,f_\infty,f^2_\infty]$. The element $f_\infty$ is an element of a function $f$ from the class $\mathbb C(z,w)$ where $w$ is supposed to be from the class $Z_{\pm1/2}([-1,1])$ of multivalued analytic functions generated by the inverse Zhukovskii function with the exponents from the set $\{\pm1/2\}$. The Riemann surface corresponding to $f\in\mathbb C(z,w)$ is a four-sheeted Riemann surface $\mathfrak R_4(w)$ and all branch points of $f$ are of the first order (i.e., all branch points are of square root type). Since the algebraic function $f\in\mathbb C(z,w)$ is of fourth order and we consider the triple of the analytic elements $[1,f_\infty,f^2_\infty]$ but not the quadruple $[1,f_\infty,f^2_\infty,f^3_\infty]$ ones, the result is new and does not follow from the known results. As in previous paper arXiv: 2108.00339 and following to Stahl's ideas, 1987--1988, we do not use the orthogonality relations at all. The proof is based on the maximum principle only.


title: Counterdiabatic control in the impulse regime

abstract: Coherent control of complex many-body systems is critical to the development of useful quantum devices. Fast perfect state transfer can be exactly achieved through additional counterdiabatic fields. We show that the additional energetic overhead associated with implementing counterdiabatic driving can be reduced while still maintaining high target state fidelities. This is achieved by implementing control fields only during the impulse regime, as identified by the Kibble-Zurek mechanism. We demonstrate that this strategy successfully suppresses most of the defects that would be generated due to the finite driving time for two paradigmatic settings: the Landau-Zener model and the Ising model. For the latter case, we also investigate the performance of our impulse control scheme when restricted to more experimentally realistic local control fields.


title: Highly Efficient, Bright and Stable Colloidal Quantum Dot Short-Wave Infrared Light Emitting Diodes

abstract: Unbalanced charge injection is deleterious for the performance of colloidal quantum dot (CQD) light emitting diodes (LEDs) as it deteriorates the quantum efficiency (QE), brightness and operational lifetime. CQD LEDs emitting in the infrared have previously achieved high quantum efficiencies but only when driven to emit in the low radiance regime. At higher radiance levels, required for practical applications, the efficiency decreased dramatically in view of the notorious efficiency droop. Here we report a novel methodology to regulate charge supply in multinary bandgap CQD composites that facilitates improved charge balance. Our approach is based on engineering the energetic potential landscape at the supra-nanocrystalline level that has allowed us to report short-wave infrared (SWIR) PbS CQD LEDs with record-high external QE in excess of 8%, most importantly, at a radiance level of ~ 5 WSr-1m2, an order of magnitude higher than prior reports. Furthermore, the balanced charge injection and Auger recombination reduction has led to unprecedentedly high operational stability with radiance half-life of 26068 hours at a radiance of 1Wsr-1m-2.


title: Knowledge Distillation with Noisy Labels for Natural Language Understanding

abstract: Knowledge Distillation (KD) is extensively used to compress and deploy large pre-trained language models on edge devices for real-world applications. However, one neglected area of research is the impact of noisy (corrupted) labels on KD. We present, to the best of our knowledge, the first study on KD with noisy labels in Natural Language Understanding (NLU). We document the scope of the problem and present two methods to mitigate the impact of label noise. Experiments on the GLUE benchmark show that our methods are effective even under high noise levels. Nevertheless, our results indicate that more research is necessary to cope with label noise under the KD.


title: On the spacetime structure of infrared divergencies in QED

abstract: We investigate analytic properties of string-integrated correlation functions and propagators with emphasis on their infrared behaviour. These are relevant in various models of quantum field theory with massless fields, including QED.


title: Interpretable Directed Diversity: Leveraging Model Explanations for Iterative Crowd Ideation

abstract: Feedback in creativity support tools can help crowdworkers to improve their ideations. However, current feedback methods require human assessment from facilitators or peers. This is not scalable to large crowds. We propose Interpretable Directed Diversity to automatically predict ideation quality and diversity scores, and provide AI explanations - Attribution, Contrastive Attribution, and Counterfactual Suggestions - to feedback on why ideations were scored (low), and how to get higher scores. These explanations provide multi-faceted feedback as users iteratively improve their ideations. We conducted formative and controlled user studies to understand the usage and usefulness of explanations to improve ideation diversity and quality. Users appreciated that explanation feedback helped focus their efforts and provided directions for improvement. This resulted in explanations improving diversity compared to no feedback or feedback with scores only. Hence, our approach opens opportunities for explainable AI towards scalable and rich feedback for iterative crowd ideation and creativity support tools.


title: PKLM: A flexible MCAR test using Classification

abstract: We develop a fully non-parametric, easy-to-use, and powerful test for the missing completely at random (MCAR) assumption on the missingness mechanism of a dataset. The test compares distributions of different missing patterns on random projections in the variable space of the data. The distributional differences are measured with the Kullback-Leibler Divergence, using probability Random Forests. We thus refer to it as "Projected Kullback-Leibler MCAR" (PKLM) test. The use of random projections makes it applicable even if very few or no fully observed observations are available or if the number of dimensions is large. An efficient permutation approach guarantees the level for any finite sample size, resolving a major shortcoming of most other available tests. Moreover, the test can be used on both discrete and continuous data. We show empirically on a range of simulated data distributions and real datasets that our test has consistently high power and is able to avoid inflated type-I errors. Finally, we provide an R-package PKLMtest with an implementation of our test.


title: Correction of Radio Interferometric Imaging for Antenna Patterns

abstract: We describe and demonstrate a technique for correcting direction dependent artifacts due to asymmetries in antenna patterns and differences among antennas used in radio interoferometric imaging. The technique can correct images in all Stokes parameters I, Q, U and V and is shown with simulated data to reduce the level of artifacts to near the level of those from the basic imaging technique. The demonstrations use simulations of a mixed array of 13.5 and 15 m antennas with asymmetric patterns. The flux densities and spectral indices of the sources in a high dynamic range realistic simulated sky model are well recovered. Source polarization properties are also recovered in tests using unpolarized and partly polarized sources. The additional computational run time for Stokes I correction is about 50\% in a realistic test described.


title: Engineering classical capacity of generalized Pauli channels with admissible memory kernels

abstract: We analyze the classical capacity of the generalized Pauli channels generated via the memory kernel master equations. For suitable engineering of the kernel parameters, the evolution with non-local noise effects can produce dynamical maps with higher capacity than the purely Markovian evolution. We provide instructive examples for qubit and qutrit evolution. Interestingly, similar behavior is not observed when analyzing the time-local master equations.


title: AgBiSe2 Colloidal Nanocrystals for Use in Solar Cells

abstract: Metal selenide nanocrystals have attracted attention as promising materials in photovoltaics and thermoelectrics. However, the expensive and labor-intensive synthesis methods utilized for the production of these nanomaterials have impeded their widespread utilization. The need for air-free environment and high synthesis temperature for crystal nucleation and growth lead as the major factors contributing to the cost of synthesis. In this work, we present a synthesis method for metal selenide nanocrystals at room temperature under ambient conditions that is enabled by a cost-effective selenium precursor.


title: Constant-roll inflation in the generalized SU(2) Proca theory

abstract: The generalized SU(2) Proca theory (GSU2P) is a variant of the well known generalized Proca theory where the vector field belongs to the Lie algebra of the SU(2) group of global transformations under which the action is made invariant. New interesting possibilities arise in this framework because of the existence of new interactions of purely non-Abelian character and new configurations of the vector field resulting in spatial spherical symmetry and the cosmological dynamics being driven by the propagating degrees of freedom. We study the two-dimensional phase space of the system that results when the cosmic triad configuration is employed in the Friedmann-Lemaitre-Robertson-Walker background and find an attractor curve whose attraction basin both covers almost all the allowed region and does not include a Big-Bang singularity. Such an attractor curve corresponds to a primordial inflationary solution that has the following characteristic properties: 1.) it is a de Sitter solution whose Hubble parameter is regulated by a generalized version of the SU(2) group coupling constant, 2.) it is constant-roll including, as a limiting case, the slow-roll variety, 3.) a number of e-folds $N > 60$ is easily reached, 4.) it has a graceful exit into a radiation dominated period powered by the canonical kinetic term of the vector field and the Einstein-Hilbert term. The free parameters of the action are chosen such that the tensor sector of the theory is the same as that of general relativity at least up to second-order perturbations, thereby avoiding the presence of ghost and Laplacian instabilities in the tensor sector as well as making the gravity waves propagate at light speed. This is a proof of concept of the interesting properties we could find in this scenario when the coupling constants be replaced by general coupling functions and more terms be discovered in the GSU2P.


title: Born-Infeld problem with general nonlinearity

abstract: In this paper, using variational methods, we look for non-trivial solutions for the following problem $$ \begin{cases} -{\rm div}\left(a(|\nabla u|^2)\nabla u\right)=g(u), & \hbox{in }\mathbb{R}^N,\; N\geq 3, \\[1mm] u(x)\to 0, &\hbox{as }|x|\to +\infty, \end{cases} $$ under general assumptions on the continuous nonlinearity $g$. We assume only growth conditions of $g$ at $0$, however no growth conditions at infinity are imposed. If $a(s)=(1-s)^{-1/2}$, we obtain the well-known Born-Infeld operator, but we are able to study also a general class of $a$ such that $a(s)\to+\infty$ as $s\to 1^{-}$. We find a radial solution to the problem with finite energy.


title: A Variability Fault Localization Approach for Software Product Lines

abstract: Software fault localization is one of the most expensive, tedious, and time-consuming activities in program debugging. This activity becomes even much more challenging in Software Product Line (SPL) systems due to variability of failures. These unexpected behaviors are induced by variability faults which can only be exposed under some combinations of system features. The interaction among these features causes the failures of the system. Although localizing bugs in single-system engineering has been studied in-depth, variability fault localization in SPL systems still remains mostly unexplored. In this article, we present VarCop, a novel and effective variability fault localization approach. For an SPL system failed by variability bugs, VarCop isolates suspicious code statements by analyzing the overall test results of the sampled products and their source code. The isolated suspicious statements are the statements related to the interaction among the features which are necessary for the visibility of the bugs in the system. The suspiciousness of each isolated statement is assessed based on both the overall test results of the products containing the statement as well as the detailed results of the test cases executed by the statement in these products. On a large dataset of buggy SPL systems, empirical evaluation shows that VarCop significantly improves two state-of-the-art fault localization techniques by 33% and 50% in ranking the incorrect statements in the systems containing a single bug each. In about two-thirds of the cases, VarCop ranks the buggy statements at the top-3 positions in the resulting lists. For multiple-bug cases, VarCop outperforms the state-of-the-art approaches 2 times and 10 times in the proportion of bugs localized at the top-1 positions. In 22% and 65% of the buggy versions, VarCop correctly ranks at least one bug in a system at the top-1 and top-5 positions.


title: How pressure enhances the critical temperature of superconductivity in YBa$_2$Cu$_3$O$_{6+y}$

abstract: High-temperature superconducting cuprates respond to doping with a dome-like dependence of their critical temperature ($T_{\mathrm{c}}$). But the family specific maximum $T_\mathrm{c}$ can be surpassed by application of pressure, a compelling observation known for decades. We investigate the phenomenon with high-pressure anvil cell nuclear magnetic resonance (NMR) and measure the charge content at planar Cu and O, and with it the doping of the ubiquitous CuO$_2$ plane with atomic scale resolution. We find that pressure increases the overall doping, as widely assumed, but when it enhances $T_\mathrm{c}$ above what can be achieved by doping, it leads to a hole redistribution favoring planar O. This is similar to the observation that the family-specific maximum $T_\mathrm{c}$ also increases if the hole content at planar O is raised at the expense of that at planar Cu. Thus, the pressure-induced enhancement of $T_\mathrm{c}$ points to the same mechanism.


title: Integrated Optimization of Sequential Processes: General Analysis and Application to Public Transport

abstract: Planning in public transportation is traditionally done in a sequential process: After the network design process, the lines and their frequencies are planned. When these are fixed, a timetable is determined and based on the timetable, the vehicle and crew schedules are optimized. After each step, passenger routes are adapted to model the behavior of the passengers as realistically as possible. It has been mentioned in many publications that such a sequential process is sub-optimal, and integrated approaches, mainly heuristics, are under consideration. Sequential planning is not only common in public transportation planning but also in many other applied problems, among others in supply chain management, or in organizing hospitals efficiently. The contribution of this paper hence is two-fold: on the one hand, we develop an integrated integer programming formulation for the three planning stages line planning, (periodic) timetabling, and vehicle scheduling which also includes the integrated optimization of the passenger routes. This gives us an exact formulation rewriting the sequential approach as an integrated problem. We discuss properties of the integrated formulation and apply it experimentally to data sets from the LinTim library. On the other hand, we propose a mathematical formulation for general sequential processes which can be used to build integrated formulations. For comparing sequential processes with their integrated counterparts we analyze the price of sequentiality, i.e., the ratio between the solution obtained by the sequential process and an integrated solution. We also experiment with different possibilities for partial integration of a subset of the sequential problems and again illustrate our results using the case of public transportation. The obtained results may be useful for other sequential processes.


title: From MANET to people-centric networking: milestones and open research challenges

abstract: In this paper we discuss the state of the art of (mobile) multi-hop ad hoc networking with the aim to present the current status of the research activities and identify the consolidated research areas, with limited research opportunities, and the hot and emerging research areas for which further research is required. We start by briefly discussing the MANET paradigm, and why the research on MANET protocols is now a cold research topic. Then we analyze the active research areas. Specifically, after discussing the wireless-network technologies we analyze four successful ad hoc networking paradigms, mesh, opportunistic, vehicular networks, and sensor networks that emerged from the MANET world. We also present the new research directions in the multi-hop ad hoc networking field: people-centric networking, triggered by the increasing penetration of the smartphones in everyday life, which is generating a people-centric revolution in computing and communications.


title: The phantom dark matter halos of the Local Volume in the context of modified Newtonian dynamics

abstract: We explore the predictions of Milgromian gravity (MOND) in the Local Universe by considering the distribution of the `phantom' dark matter (PDM) that would source the MOND gravitational field in Newtonian gravity, allowing an easy comparison with the dark matter framework. For this, we specifically deal with the quasi-linear version of MOND (QUMOND). We compute the `stellar-to-(phantom)halo-mass relation' (SHMR), a monotonically increasing power-law resembling the SHMR observationally deduced from spiral galaxy rotation curves in the Newtonian context. We show that the gas-to-(phantom)halo-mass relation is flat. We generate a map of the Local Volume in QUMOND, highlighting the important influence of distant galaxy clusters, in particular Virgo. This allows us to explore the scatter of the SHMR and the average density of PDM around galaxies in the Local Volume, $\Omega_{\rm pdm} \approx 0.1$, below the average cold dark matter density in a $\Lambda$CDM Universe. We provide a model of the Milky Way in its external field in the MOND context, which we compare to an observational estimate of the escape velocity curve. Finally, we highlight the peculiar features related to the external field effect in the form of negative PDM density zones in the outskirts of each galaxy, and test a new analytic formula for computing galaxy rotation curves in the presence of an external field in QUMOND. While we show that the negative PDM density zones would be difficult to detect dynamically, we quantify the weak lensing signal they could produce for lenses at $z \sim 0.3$.


title: 3D Point Cloud Completion with Geometric-Aware Adversarial Augmentation

abstract: With the popularity of 3D sensors in self-driving and other robotics applications, extensive research has focused on designing novel neural network architectures for accurate 3D point cloud completion. However, unlike in point cloud classification and reconstruction, the role of adversarial samples in3D point cloud completion has seldom been explored. In this work, we show that training with adversarial samples can improve the performance of neural networks on 3D point cloud completion tasks. We propose a novel approach to generate adversarial samples that benefit both the performance of clean and adversarial samples. In contrast to the PGD-k attack, our method generates adversarial samples that keep the geometric features in clean samples and contain few outliers. In particular, we use principal directions to constrain the adversarial perturbations for each input point. The gradient components in the mean direction of principal directions are taken as adversarial perturbations. In addition, we also investigate the effect of using the minimum curvature direction. Besides, we adopt attack strength accumulation and auxiliary Batch Normalization layers method to speed up the training process and alleviate the distribution mismatch between clean and adversarial samples. Experimental results show that training with the adversarial samples crafted by our method effectively enhances the performance of PCN on the ShapeNet dataset.


title: Learning low-degree functions from a logarithmic number of random queries

abstract: We prove that every bounded function $f:\{-1,1\}^n\to[-1,1]$ of degree at most $d$ can be learned with $L_2$-accuracy $\varepsilon$ and confidence $1-\delta$ from $\log(\tfrac{n}{\delta})\,\varepsilon^{-d-1} C^{d^{3/2}\sqrt{\log d}}$ random queries, where $C>1$ is a universal finite constant.


title: On dispersability of some circulant graphs

abstract: The matching book thickness of a graph is the least number of pages in a book embedding such that each page is a matching. A graph is dispersable if its matching book thickness equals its maximum degree. Minimum page matching book embeddings are given for bipartite and for most non-bipartite circulants contained in the (Harary) cube of a cycle and for various higher-powers.


title: RAIL-KD: RAndom Intermediate Layer Mapping for Knowledge Distillation

abstract: Intermediate layer knowledge distillation (KD) can improve the standard KD technique (which only targets the output of teacher and student models) especially over large pre-trained language models. However, intermediate layer distillation suffers from excessive computational burdens and engineering efforts required for setting up a proper layer mapping. To address these problems, we propose a RAndom Intermediate Layer Knowledge Distillation (RAIL-KD) approach in which, intermediate layers from the teacher model are selected randomly to be distilled into the intermediate layers of the student model. This randomized selection enforce that: all teacher layers are taken into account in the training process, while reducing the computational cost of intermediate layer distillation. Also, we show that it act as a regularizer for improving the generalizability of the student model. We perform extensive experiments on GLUE tasks as well as on out-of-domain test sets. We show that our proposed RAIL-KD approach outperforms other state-of-the-art intermediate layer KD methods considerably in both performance and training-time.


title: Panoptic Multi-TSDFs: a Flexible Representation for Online Multi-resolution Volumetric Mapping and Long-term Dynamic Scene Consistency

abstract: For robotic interaction in environments shared with other agents, access to volumetric and semantic maps of the scene is crucial. However, such environments are inevitably subject to long-term changes, which the map needs to account for. We thus propose panoptic multi-TSDFs as a novel representation for multi-resolution volumetric mapping in changing environments. By leveraging high-level information for 3D reconstruction, our proposed system allocates high resolution only where needed. Through reasoning on the object level, semantic consistency over time is achieved. This enables our method to maintain up-to-date reconstructions with high accuracy while improving coverage by incorporating previous data. We show in thorough experimental evaluation that our map can be efficiently constructed, maintained, and queried during online operation, and that the presented approach can operate robustly on real depth sensors using non-optimized panoptic segmentation as input.


title: Isotropic single gap superconductivity of elemental Pb: the `smiling' approach

abstract: The unconventional multi-gap superconductivity in elemental Pb were reported previously by surface sensitive tunneling experiments, as well as predicted by several theory works. To obtain bulk evidence for such multiple gap behavior, the thermodynamic critical field $B_{\rm c}$ was measured along three different crystallographic directions ([100], [110], and [111]) in a high-quality Pb single crystal by means of muon spin rotation/relaxation. No difference in temperature evolution of $B_{\rm c}$ for all three directions was detected. The average reduced gap $\alpha=\Delta/k_{\rm B}T_{\rm c}=2.312(3)$ ($\Delta$ is the zero-temperature gap value and $T_{\rm c}$ is the transition temperature) was further obtained by employing the phenomenological $\alpha-$model. Our results imply that the elemental Pb is an isotropic superconductor with a single energy gap.


title: Challenges and Opportunities on Using Games to Support IoT Systems Teaching

abstract: Context: New systems have emerged within the Industry 4.0 paradigm. These systems incorporate characteristics such as autonomy in decision making and acting in the context of IoT systems, continuous connectivity between devices and applications in cyber-physical systems, omnipresence properties in ubiquitous systems, among others. Thus, the engineering of these systems has changed, drastically affecting the manner of their construction process. In this context, to identify simple and playful alternatives to teach how to build them is a difficult task. Objective: To present how to teach IoT systems using games, to reveal challenges and opportunities obtained through a literature review. Method: A Structured Literature Review (StLR), supported by the Snowballing technique, was executed to find empirical studies related to teaching, games and IoT systems. Results: 12 papers were found about teaching IoT systems using games. As challenges and opportunities, many issues were identified related to IoT systems programming, modularity, hardware constraints, among others. Conclusion: In this work, research challenges and opportunities were found in the context of IoT systems teaching. Due to specific features of these systems, teaching their construction is a difficult activity to carry out.


title: Optical amplification in a CDW-phase of a quasi-two dimensional material

abstract: We study theoretically the quenching of a charge-density-wave phase in a model system of a quasi-two dimensional material, which includes both electron-hole and electron-phonon interactions leading, respectively to excitonic and coherent-phonon contributions. We discuss how interaction processes affect anomalous expectation values and present a microscopic dynamical picture of the quenching of the phase. We use projection techniques to illustrate the time-dependent appearance of additional bands and anomalous expectation values. We propose an optical amplification effect with a high modulation frequency in the mid-infrared regime.


title: Angular momentum redirection phase of vector beams in a non-planar geometry

abstract: An electric field propagating along a non-planar path can acquire geometric phases. Previously, geometric phases have been linked to spin redirection and independently to spatial mode transformation, resulting in the rotation of polarisation and intensity profiles, respectively. We investigate the non-planar propagation of scalar and vector light fields and demonstrate that polarisation and intensity profiles rotate by the same angle. The geometric phase acquired is proportional to j=l+sigma, where l is the topological charge and sigma is the helicity. Radial and azimuthally polarised beams with j= 0 are eigenmodes of the system and are not affected by the geometric path. The effects considered here are relevant for systems relying on photonic spin Hall effects, polarisation and vector microscopy, as well as topological optics in communication systems


title: Optimal interferometry for Bell$-$nonclassicality by a vacuum$-$one$-$photon qubit

abstract: Bell nonclassicality of a single photon superposition in two modes, often referred to as `nonlocality of a single photon', is one of the most striking nonclassical phenomena discussed in the context of foundations of quantum physics. Here we show how to robustly violate local realism within the weak-field homodyne measurement scheme for \textit{any} superposition of one photon with vacuum. Our modification of the previously proposed setups involves tunable beamsplitters at the measurement stations, and the local oscillator fields significantly varying between the settings, optimally being {\it on} or {\it off}. As photon number resolving measurements are now feasible, we advocate for the use of the Clauser-Horne Bell inequalities for detection events using precisely defined numbers of photons. We find a condition for optimal measurement settings for the maximal violation of the Clauser-Horne inequality with weak-field homodyne detection, which states that the reflectivity of the local beamsplitter must be equal to the strength of the local oscillator field. We show that this condition holds not only for the vacuum-one-photon qubit input state, but also for the superposition of a photon pair with vacuum, which suggests its generality as a property of weak-field homodyne detection with photon-number resolution. Our findings suggest a possible path to employ such scenarios in device-independent quantum protocols.


title: Abstract ladder operators and their applications

abstract: We consider a rather general version of ladder operator $Z$ used by some authors in few recent papers, $[H_0,Z]=\lambda Z$ for some $\lambda\in\mathbb{R}$, $H_0=H_0^\dagger$, and we show that several interesting results can be deduced from this formula. Then we extend it in two ways: first we replace the original equality with formula $[H_0,Z]=\lambda Z[Z^\dagger, Z]$, and secondly we consider $[H,Z]=\lambda Z$ for some $\lambda\in\mathbb{C}$, $H\neq H^\dagger$. In both cases many applications are discussed. In particular we consider factorizable Hamiltonians and Hamiltonians written in terms of operators satisfying the generalized Heisenberg algebra or the $\D$ pseudo-bosonic commutation relations.


title: VRMenuDesigner: A toolkit for automatically generating and modifying VR menus

abstract: With the rapid development of Virtual Reality (VR) technology, the research of User Interface (UI), especially menus, in the VR environment has attracted more and more attention. However, it is very tedious for researchers to develop UI from scratch or modify existing functions and there are no easy-to-use tools for efficient development. This paper aims to present VRMenuDesigner, a flexible and modular toolkit for automatically generating/modifying VR menus. This toolkit is provided as open-source library and easy to extend to adapt to various requirements. The main contribution of this work is to organize the menus and functions with object-oriented thinking, which makes the system very understandable and extensible. VRMenuDesigner includes two key tools: Creator and Modifier for quickly generating and modifying elements. Moreover, we developed several built-in menus and discussed their usability. After a brief review and taxonomy of 3D menus, the architecture and implementation of the toolbox are introduced.


title: Long-Term Exploration in Persistent MDPs

abstract: Exploration is an essential part of reinforcement learning, which restricts the quality of learned policy. Hard-exploration environments are defined by huge state space and sparse rewards. In such conditions, an exhaustive exploration of the environment is often impossible, and the successful training of an agent requires a lot of interaction steps. In this paper, we propose an exploration method called Rollback-Explore (RbExplore), which utilizes the concept of the persistent Markov decision process, in which agents during training can roll back to visited states. We test our algorithm in the hard-exploration Prince of Persia game, without rewards and domain knowledge. At all used levels of the game, our agent outperforms or shows comparable results with state-of-the-art curiosity methods with knowledge-based intrinsic motivation: ICM and RND. An implementation of RbExplore can be found at https://github.com/cds-mipt/RbExplore.


title: Low-latency NuMI Trigger for the CHIPS-5 Neutrino Detector

abstract: The CHIPS R&D project aims to develop affordable large-scale water Cherenkov neutrino detectors for underwater deployment. In 2019, a 5kt prototype detector CHIPS-5 was deployed in northern Minnesota to potentially study neutrinos generated by the NuMI beam. This paper presents the dedicated low-latency triggering system for CHIPS-5 that delivers notifications of neutrino spills from the Fermilab accelerator complex to the detector with sub-nanosecond precision. Building on existing NOvA infrastructure, the time distribution system achieves this using only open-source software and conventional computing and network elements. In a time-of-flight study, the system reliably provided advance notifications $610 \pm 330\text{ ms}$ prior to neutrino spills at 96% efficiency. This permits advanced analysis in real-time as well as hardware-assisted triggering that saves data bandwidth and reduces DAQ computing load outside time windows of interest.


title: A spatially adaptive phase-field model of fracture

abstract: Phase-field models of fracture introduce smeared cracks of width commensurate with a regularisation length parameter $\epsilon$ and obeying a minimum energy principle. Mesh adaptivity naturally suggests itself as a means of supplying spatial resolution were needed while simultaneously keeping the computational size of the model as small as possible. Here, a variational-based spatial adaptivity is proposed for a phase-field model of fracture. The conventional phase-field model is generalised by allowing a spatial variation of the regularisation length $\epsilon$ in the energy functional. The optimal spatial variation of the regularisation length then follows by energy minimisation in the same manner as the displacement and phase fields. The extended phase-field model is utilised as a basis for an adaptive mesh refinement strategy, whereby the mesh size is required to resolve the optimal length parameter locally. The resulting solution procedure is implemented in the framework of the finite element library FEniCS. Selected numerical tests suggest that the spatially adaptive phase-field model exhibits the same convergence rate as the conventional phase-field model, albeit with a vastly superior constant, which results in considerable computational savings.


title: Suppressing carrier density in (BixSb1-x)2Te3 films using Cr2O3 interfacial layers

abstract: Band structure engineering and interfacial buffer layers have been demonstrated as effective means to tune the Fermi level in topological insulators (TI). In particular, the charge compensated compound (BixSb1-x)2Te3 (BST) plays a critical role in the molecular beam epitaxy growth of magnetic TIs. Here we introduce a strategy of exploiting epitaxial Cr2O3 as a buffer layer and amorphous Cr2O3 as a capping layer in the growth of BST films. These films exhibit carrier density lower than 1012/cm2 over a wide range of Bi contents and higher mobility than BST films directly grown on Al2O3 substrate, shedding light on the importance of interfacial layers for TI films and paving a new avenue to the application of magnetic BST films.


title: Cryptocurrencies and the Future of Money

abstract: We review different classes of cryptocurrencies with emphasis on their economic properties. Pure-asset coins such as Bitcoin, Ethereum and Ripple are characterized by not being a liability of any economic agent and most resemble commodities such as gold. Central bank digital currencies, at the other end of the economic spectrum, are liabilities of a Central Bank and most resemble cash. In between, there exist a range of so-called stable coins, with varying degrees of economic complexity. We use balance sheet operations to highlight the properties of each class of cryptocurrency and their potential uses. In addition, we propose the basic structure for a macroeconomic model incorporating all the different types of cryptocurrencies under consideration.


title: Exploiting Localized Transition Waves to Tune Sound Propagation in Soft Materials

abstract: Programmable materials hold great potential for many applications such as deployable structures, soft robotics, and wave control, however, the presence of instability and disorder might hinder their utilization. Through a combination of analytical, numerical, and experimental analyses, we harness the interplay between instabilities, geometric frustration, and mechanical deformations to control the propagation of sound waves within self-assembled soft materials. We consider levitated magnetic disks confined by a magnetic boundary in-plane. The assemblies can be either ordered or disordered depending on the intrinsic disk symmetry. By applying an external load to the assembly, we observe the nucleation and propagation of different topological defects within the lattices. In the presence of instabilities, the defect propagation gives rise to time-independent localized transition waves. Surprisingly, in the presence of frustration, the applied load briefly introduces deformation-induced order to the material. By further deforming the lattices, new patterns emerge across all disk symmetries. We utilize these patterns to tune sound propagation through the material. Our findings could open new possibilities for designing exotic materials with potential applications ranging from sound control to soft robotics.


title: How Familiar Does That Sound? Cross-Lingual Representational Similarity Analysis of Acoustic Word Embeddings

abstract: How do neural networks "perceive" speech sounds from unknown languages? Does the typological similarity between the model's training language (L1) and an unknown language (L2) have an impact on the model representations of L2 speech signals? To answer these questions, we present a novel experimental design based on representational similarity analysis (RSA) to analyze acoustic word embeddings (AWEs) -- vector representations of variable-duration spoken-word segments. First, we train monolingual AWE models on seven Indo-European languages with various degrees of typological similarity. We then employ RSA to quantify the cross-lingual similarity by simulating native and non-native spoken-word processing using AWEs. Our experiments show that typological similarity indeed affects the representational similarity of the models in our study. We further discuss the implications of our work on modeling speech processing and language similarity with neural networks.


title: Notes on restriction theory in the primes

abstract: TO BE PUBLISHED BY ISRAEL JOURNAL OF MATHEMATICS. We study the mean $\sum_{x\in\mathcal{X}} \bigl|\sum_{p\le N}{}u_p e(xp)\bigr|^{\ell}$ when $\ell$ covers the full range $[2,\infty)$ and $\mathcal{X}\subset\mathbb{R}/\mathbb{Z}$ is a {well-spaced} set, providing a smooth transition from the case $\ell=2$ to the case $\ell>2$ and improving on the results of J.~Bourgain and of B.~Green and T.~Tao. A uniform Hardy-Littlewood property for the set of primes is established as well as a sharp upper bound for $\sum_{x\in\mathcal{X}} \bigl|\sum_{p\le N}{}u_p e(xp)\bigr|^{\ell}$ when $\mathcal{X}$ is small. These results are extended to primes in \emph{any} interval in a last section, provided the primes are numerous enough therein.


title: Intelligent Traffic Control System by Using Image Information

abstract: This paper implements a traffic signal control system by using real-time traffic flow feedback. This system is designed to deal with two-lane intersections. We construct an experiment field similar to the roads and drivers in Taiwan using an autonomous simulation software called Virtual Test Drive (VTD) released by MSC Software. We erect four cameras on the side of the roads to get the image of the intersection, then transfer the image information into traffic flow information. Analyze the traffic information in each lane by using Greenshields traffic flow model. Control the traffic signals by using Webster's method to increase the performance and soothe the traffic.


title: Free boundary regularity in the multiple membrane problem in the plane

abstract: We study the regularity of free boundaries in the multiple elastic membrane problem in the plane. We prove the uniqueness of blow-ups, and that the free boundaries are $C^{1,\log}$-curves near a regular intersection point.


title: Analytical travelling vortex solutions of hyperbolic equations for validating very high order schemes

abstract: Testing the order of accuracy of (very) high order methods for shallow water (and Euler) equations is a delicate operation and the test cases are the crucial starting point of this operation. We provide a short derivation of vortex-like analytical solutions in 2 dimensions for the shallow water equations (and, hence, Euler equations) that can be used to test the order of accuracy of numerical methods. These solutions have different smoothness in their derivatives (up to $\mathcal C^\infty$) and can be used accordingly to the order of accuracy of the scheme to test.


title: Flexible and efficient Bayesian pharmacometrics modeling using Stan and Torsten, Part I

abstract: Stan is an open-source probabilistic programing language, primarily designed to do Bayesian data analysis. Its main inference algorithm is an adaptive Hamiltonian Monte Carlo sampler, supported by state of the art gradient computation. Stan's strengths include efficient computation, an expressive language which offers a great deal of flexibility, and numerous diagnostics that allow modelers to check whether the inference is reliable. Torsten extends Stan with a suite of functions that facilitate the specification of pharmacokinetic and pharmacodynamic models, and makes it straightforward to specify a clinical event schedule. Part I of this tutorial demonstrates how to build, fit, and criticize standard pharmacokinetic and pharmacodynamic models using Stan and Torsten.


title: The rovibrational Aharonov-Bohm effect

abstract: Another manifestation of the Aharonov-Bohm effect is introduced to chemistry, in fact to nuclear dynamics and high-resolution molecular spectroscopy. As demonstrated, the overall rotation of a symmetric-top molecule influences the dynamics of an internal vibrational motion in a way that is analogous to the presence of a solenoid carrying magnetic flux. To a good approximation, the low-energy rovibrational energy-level structure of the quasistructural molecular ion H5+ can be understood entirely in terms of this effect.


title: Spectroscopic evidence of multi-gap superconductivity in non-centrosymmetric AuBe

abstract: AuBe is a chiral, non-centrosymmetric superconductor with transition temperature $T_C$ $\simeq$ 3.25 K. The broken inversion symmetry in its crystal structure makes AuBe a possible candidate to host a mixed singlet-triplet pairing symmetry in its superconducting order parameter ($\Delta$). This possibility was investigated by transport, thermodynamic, and muon-spin rotation/relaxation experiments in AuBe. However, this issue was not addressed using direct spectroscopic probes so far. In addition, certain ambiguities exist in the description of superconductivity in AuBe based on $\mu$SR experiments reported earlier. Here we report scanning tunneling spectroscopy (STS) on AuBe down to 300 mK. We found a signature of two superconducting gaps (with 2$\Delta_1/k_{B}T_{C}$ = 4.37 and 2$\Delta_2/k_{B}T_{C}$ = 2.46 respectively) and a clean BCS-like temperature dependence of both the gaps. We have also performed band structure calculations to identify the different bands that might give rise to the observed two-gap superconductivity in AuBe.


title: Oriented Object Detection in Aerial Images Based on Area Ratio of Parallelogram

abstract: Oriented object detection is a challenging task in aerial images since the objects in aerial images are displayed in arbitrary directions and are frequently densely packed. The mainstream detectors describe rotating objects using a five-parament or eight-parament representations, which suffer from representation ambiguity for orientated object definition. In this paper, we propose a novel representation method based on area ratio of parallelogram, called ARP. Specifically, ARP regresses the minimum bounding rectangle of the oriented object and three area ratios. Three area ratios include the area ratio of a directed object to the smallest circumscribed rectangle and two parallelograms to the minimum circumscribed rectangle. It simplifies offset learning and eliminates the issue of angular periodicity or label point sequences for oriented objects. To further remedy the confusion issue of nearly horizontal objects, the area ratio between the object and its minimal circumscribed rectangle is employed to guide the selection of horizontal or oriented detection for each object. Moreover, the rotated efficient Intersection over Union (R-EIoU) loss with horizontal bounding box and three area ratios are designed to optimize the bounding box regression for rotating objects. Experimental results on remote sensing datasets, including HRSC2016, DOTA, and UCAS-AOD, show that our method achieves superior detection performance than many state-of-the-art approaches.


title: Tracer dynamics in one dimensional gases of active or passive particles

abstract: We consider one-dimensional systems comprising either active run-and-tumble particles (RTPs) or passive Brownian random walkers. These particles are either noninteracting or have hardcore exclusions. We study the dynamics of a single tracer particle embedded in such a system - this tracer may be either active or passive, with hardcore exclusion from environmental particles. In an active hardcore environment, both active and passive tracers show long-time subdiffusion: displacements scale as $t^{1/4}$ with a density-dependent prefactor that is independent of tracer type, and differs from the corresponding result for passive-in-passive subdiffusion. In an environment of noninteracting active particles, the passive-in-passive results are recovered at low densities for both active and passive tracers, but transient caging effects slow the tracer motion at higher densities, delaying the onset of any $t^{1/4}$ regime. For an active tracer in a passive environment, we find more complex outcomes, which depend on details of the dynamical discretization scheme. We interpret these results by studying the density distribution of environmental particles around the tracer. In particular, sticking of environment particles to the tracer cause it to move more slowly in noninteracting than in interacting active environments, while the anomalous behaviour of the active-in-passive cases stems from a `snowplough' effect whereby a large pile of diffusive environmental particles accumulates in front of a RTP tracer during a ballistic run.


title: Bootstrapping Large Graviton non-Gaussianities

abstract: Gravitational interferometers and cosmological observations of the cosmic microwave background offer us the prospect to probe the laws of gravity in the primordial universe. To study and interpret these datasets we need to know the possible graviton non-Gaussianities. To this end, we derive the most general tree-level three-point functions (bispectra) for a massless graviton to all orders in derivatives, assuming scale invariance. Instead of working with explicit Lagrangians, we take a bootstrap approach and obtain our results using the recently derived constraints from unitarity, locality and the choice of vacuum. Since we make no assumptions about de Sitter boosts, our results capture the phenomenology of large classes of models such as the effective field theory of inflation and solid inflation. We present formulae for the infinite number of parity-even bispectra. Remarkably, for parity-odd bispectra, we show that unitarity allows for only a handful of possible shapes: three for graviton-graviton-graviton, three for scalar-graviton-graviton and one for scalar-scalar-graviton, which we bootstrap explicitly. These parity-odd non-Gaussianities can be large, for example in solid inflation, and therefore constitute a concrete and well-motivated target for future observations.


title: On the String Topology Coproduct for Lie Groups

abstract: The free loop space of a Lie group is homeomorphic to the product of the Lie group itself and its based loop space. We show that the coproduct on the homology of the free loop space that was introduced by Goresky and Hingston splits into the diagonal map on the group and a based coproduct on the homology of the based loop space. This result implies that the coproduct is trivial for even-dimensional Lie groups. Using results by Bott and Samelson, we show that the coproduct is trivial as well for a large family of simply connected Lie groups.


title: Structure and Pore Size Distribution in Nanoporous Carbon

abstract: We study the structural and mechanical properties of nanoporous (NP) carbon materials by extensive atomistic machine-learning (ML) driven molecular dynamics (MD) simulations. To this end, we retrain a ML Gaussian approximation potential (GAP) for carbon by recalculating the a-C structural database of Deringer and Cs\'anyi [Phys. Rev. B 2017, 95, 094203] adding van der Waals interactions. Our GAP enables a notable speedup and improves the accuracy of energy and force predictions. We use the GAP to thoroughly study the atomistic structure and pore-size distribution in computational NP carbon samples. These samples are generated by a melt-graphitization-quench MD procedure over a wide range of densities (from 0.5 to 1.7 g/cm$^3$) with structures containing 131,072 atoms. Our results are in good agreement with experimental data for the available observables, and provide a comprehensive account of structural (radial and angular distribution functions, motif and ring counts, X-ray diffraction patterns, pore characterization) and mechanical (elastic moduli and their evolution with density) properties. Our results show relatively narrow pore-size distributions, where the peak position and width of the distributions are dictated by the mass density of the materials. Our data allow further work on computational characterization of NP carbon materials, in particular for energy-storage applications, as well as suggest future experimental characterization of NP carbon-based materials.


title: Photocurrents of charge and spin in single-layer Fe$_3$GeTe$_2$

abstract: In the realm of two-dimensional materials magnetic and transport properties of a unique representative $-$ Fe$_3$GeTe$_2$ $-$ attract ever increasing attention. Here, we use a developed first-principles method for calculating laser-induced response to study the emergence of photo-induced currents of charge and spin in single-layer Fe$_3$GeTe$_2$, which are of second order in the electric field. We provide a symmetry analysis of the emergent photocurrents in the system finding it to be in excellent agreement with ab-initio calculations. We analyse the magnitude and behavior of the charge photocurrents with respect to disorder strength, frequency and band filling. Remarkably, not only do we find a large charge current response, but also predict that Fe$_3$GeTe$_2$ can serve as a source of significant laser-induced spin-currents, which makes this material as a promising platform for various applications in optospintronics.


title: The Parallel Coordinates Plot Revisited: Visual Extensions from Hive Plots, Heterogeneous Correlations, and an Exploration of Covid-19 Data in the United States

abstract: This paper extends an existing visualization, the Parallel Coordinates Plot (PCP), specifically its polar coordinate representation, the $\textit{Polar Parallel Coordinates Plot (P2CP)}$. With the additional incorporation of techniques borrowed from Hive Plot network visualizations, we demonstrate improved capabilities to explore multidimensional data in flatland, with a particular emphasis on the unique ability to represent 3-dimensional data. To demonstrate these techniques on P2CPs, we consider toy data, the Iris dataset, and socioeconomic data for counties in the United States. We conclude with an exploration of Covid-19 data from counties in the contiguous United States.


title: TranslateLocally: Blazing-fast translation running on the local CPU

abstract: Every day, millions of people sacrifice their privacy and browsing habits in exchange for online machine translation. Companies and governments with confidentiality requirements often ban online translation or pay a premium to disable logging. To bring control back to the end user and demonstrate speed, we developed translateLocally. Running locally on a desktop or laptop CPU, translateLocally delivers cloud-like translation speed and quality even on 10 year old hardware. The open-source software is based on Marian and runs on Linux, Windows, and macOS.


title: Heavy states and electroweak effective approaches

abstract: The existence of a mass gap between the Standard Model (SM) and possible new states encourages us to use effective field theories. Here we follow the non-linear realization of the electroweak symmetry breaking: the electroweak effective theory (EWET), also known as Higgs effective field theory (HEFT) or electroweak chiral Lagrangian (EWChL). At short distances an effective resonance Lagrangian which couples the SM states to bosonic and fermionic resonances is considered. After integrating out the resonances and assuming a well-behaved high-energy behavior, we estimate or bound purely bosonic low-energy constants in terms of only resonance masses. Current experimental information on these low-energy constants allows us to constrain the high-energy resonance masses.


title: Rediscussion of eclipsing binaries. Paper VII. Delta Scuti, gamma Doradus and tidally-perturbed pulsations in RR Lyncis

abstract: RR Lyn is a detached eclipsing binary with a 9.95 d orbit containing two A-stars: one metallic-lined and one possibly metal-poor. We use the light curve from the TESS satellite and two sets of published radial velocity measurements to determine the properties of the system to high precision. We find masses of 1.939 +/- 0.007 and 1.510 +/- 0.003 Msun, and radii of 2.564 +/- 0.019 and 1.613 +/- 0.013 Rsun. After adjusting published effective temperatures upwards by 200 K we find a good agreement with theoretical models for a solar chemical composition and an age of 1 Gyr, and a distance slightly shorter than expected from the Gaia EDR3 parallax. The light curve of RR Lyn shows clear evidence for pulsations. We measure 35 pulsation frequencies and attribute the higher frequencies to delta Scuti-type pulsations, and the intermediate frequencies to gamma Doradus-type pulsations (some of which may be tidally perturbed). The lower frequencies may be tidally excited pulsations in RR Lyn or alternatively of instrumental origin. Most or all of these pulsations are likely to arise in the secondary star. RR Lyn is one of the few eclipsing binaries known to have well-established properties and to exhibit multiple types of pulsations.


title: One Source, Two Targets: Challenges and Rewards of Dual Decoding

abstract: Machine translation is generally understood as generating one target text from an input source document. In this paper, we consider a stronger requirement: to jointly generate two texts so that each output side effectively depends on the other. As we discuss, such a device serves several practical purposes, from multi-target machine translation to the generation of controlled variations of the target text. We present an analysis of possible implementations of dual decoding, and experiment with four applications. Viewing the problem from multiple angles allows us to better highlight the challenges of dual decoding and to also thoroughly analyze the benefits of generating matched, rather than independent, translations.


title: On Linear Time-Invariant Systems Analysis via A Single Trajectory: A Linear Programming Approach

abstract: In this note, a novel methodology that can extract a number of analysis results for linear time-invariant systems (LTI) given only a single trajectory of the considered system is proposed. The superiority of the proposed technique relies on the fact that it provides an automatic and formal way to obtain valuable information about the controlled system by only having access to a single trajectory over a finite period of time (i.e., the system dynamics is assumed to be unknown). At first, we characterize the stability region of LTI systems given only a single trajectory dataset by constructing the associated Lyapunov function of the system. The Lyapunov function is found by formulating and solving a linear programming (LP) problem. Then, we extend the same methodology to a variety of essential analysis results for LTI systems such as deriving bounds on the output energy, deriving bounds on output peak, deriving $\mathbf{L}_2$ and RMS gains. To illustrate the efficacy of the proposed data-driven paradigm, a comparison analysis between the learned LTI system metrics and the true ones is provided.


title: Design and implementation of a parsimonious neuromorphic PID for onboard altitude control for MAVs using neuromorphic processors

abstract: The great promises of neuromorphic sensing and processing for robotics have led researchers and engineers to investigate novel models for robust and reliable control of autonomous robots (navigation, obstacle detection and avoidance, etc.), especially for quadrotors in challenging contexts such as drone racing and aggressive maneuvers. Using spiking neural networks, these models can be run on neuromorphic hardware to benefit from outstanding update rates and high energy efficiency. Yet, low-level controllers are often neglected and remain outside of the neuromorphic loop. Designing low-level neuromorphic controllers is crucial to remove the standard PID, and therefore benefit from all the advantages of closing the neuromorphic loop. In this paper, we propose a parsimonious and adjustable neuromorphic PID controller, endowed with a minimal number of 93 neurons sparsely connected to achieve autonomous, onboard altitude control of a quadrotor equipped with Intel's Loihi neuromorphic chip. We successfully demonstrate the robustness of our proposed network in a set of experiments where the quadrotor is requested to reach a target altitude from take-off. Our results confirm the suitability of such low-level neuromorphic controllers, ultimately with a very high update frequency.


title: Off-line approximate dynamic programming for the vehicle routing problem with a highly variable customer basis and stochastic demands

abstract: We study a stochastic variant of the vehicle routing problem arising in the context of domestic donor collection services. The problem we consider combines the following attributes. Customers requesting services are variable, in the sense that the customers are stochastic but are not restricted to a predefined set, as they may appear anywhere in a given service area. Furthermore, demand volumes are stochastic and observed upon visiting the customer. The objective is to maximize the expected served demands while meeting vehicle capacity and time restrictions. We call this problem the VRP with a highly Variable Customer basis and Stochastic Demands (VRP-VCSD). For this problem, we first propose a Markov Decision Process (MDP) formulation representing the classical centralized decision-making perspective where one decision-maker establishes the routes of all vehicles. While the resulting formulation turns out to be intractable, it provides us with the ground to develop a new MDP formulation, which we call partially decentralized. In this formulation, the action-space is decomposed by vehicle. However, the decentralization is incomplete as we enforce identical vehicle-specific policies while optimizing the collective reward. We propose several strategies to reduce the dimension of the state and action spaces associated with the partially decentralized formulation. These yield a considerably more tractable problem, which we solve via Reinforcement Learning. In particular, we develop a Q-learning algorithm called DecQN, featuring state-of-the-art acceleration techniques. We conduct a thorough computational analysis. Results show that DecQN considerably outperforms three benchmark policies. Moreover, we show that our approach can compete with specialized methods developed for the particular case of the VRP-VCSD, where customer locations and expected demands are known in advance.


title: Current rectification in junctions with spin-split superconductors

abstract: Spin-split superconductors exhibit an electron-hole asymmetric spin-resolved density of states, but the symmetry is restored upon averaging over spin. On the other hand, asymmetry appears again in tunneling junctions of spin-split superconductors with a spin-polarized barrier. As demonstrated recently in both theory and experiment, this fact leads to a particularly strong thermoelectric effect in superconductor-ferromagnet structures. In this work we show another important effect stemming from the electron-hole asymmetry - current rectification. We calculate the charge current in spin-polarized tunnel junctions of normal metal and a spin-split superconductor with AC and DC voltage bias. In the DC case, the I-V curve is not fully antisymmetric and has a voltage-symmetric component due to spin polarization. This translates to the existence of a rectified current in the AC case, which is proportional to the spin polarization of the junction and strongly depends on the frequency of the applied bias. We discuss possible applications of the rectification effect, including a diode for superconducting electronics and radiation detectors. The analysis of the rectified charge current is supplemented by the discussion of heat current and relevant noise correlators, where electron-hole asymmetry also plays an important role, and which are useful for applications in detectors.


title: Classification of 2-term $L_\infty$-algebras

abstract: We classify all 2-term $L_\infty$-algebras up to isomorphism. We show that such $L_\infty$-algebras are classified by a Lie algebra, a vector space, a representation (all up to isomorphism) and a cohomology class of the corresponding Lie algebra cohomology.


title: Generalized minimum 0-extension problem and discrete convexity

abstract: Given a fixed finite metric space $(V,\mu)$, the {\em minimum $0$-extension problem}, denoted as ${\tt 0\mbox{-}Ext}[\mu]$, is equivalent to the following optimization problem: minimize function of the form $\min\limits_{x\in V^n} \sum_i f_i(x_i) + \sum_{ij}c_{ij}\mu(x_i,x_j)$ where $c_{ij},c_{vi}$ are given nonnegative costs and $f_i:V\rightarrow \mathbb R$ are functions given by $f_i(x_i)=\sum_{v\in V}c_{vi}\mu(x_i,v)$. The computational complexity of ${\tt 0\mbox{-}Ext}[\mu]$ has been recently established by Karzanov and by Hirai: if metric $\mu$ is {\em orientable modular} then ${\tt 0\mbox{-}Ext}[\mu]$ can be solved in polynomial time, otherwise ${\tt 0\mbox{-}Ext}[\mu]$ is NP-hard. To prove the tractability part, Hirai developed a theory of discrete convex functions on orientable modular graphs generalizing several known classes of functions in discrete convex analysis, such as $L^\natural$-convex functions. We consider a more general version of the problem in which unary functions $f_i(x_i)$ can additionally have terms of the form $c_{uv;i}\mu(x_i,\{u,v\})$ for $\{u,v\}\in F$, where set $F\subseteq\binom{V}{2}$ is fixed. We extend the complexity classification above by providing an explicit condition on $(\mu,F)$ for the problem to be tractable. In order to prove the tractability part, we generalize Hirai's theory and define a larger class of discrete convex functions. It covers, in particular, another well-known class of functions, namely submodular functions on an integer lattice. Finally, we improve the complexity of Hirai's algorithm for solving ${\tt 0\mbox{-}Ext}[\mu]$ on orientable modular graphs.


title: A Correlated Network Scale-up Model: Finding the Connection Between Subpopulations

abstract: Aggregated relational data (ARD), formed from "How many X's do you know?" questions, is a powerful tool for learning important network characteristics with incomplete network data. Compared to traditional survey methods, ARD is attractive as it does not require a sample from the target population and does not ask respondents to self-reveal their own status. This is helpful for studying hard-to-reach populations like female sex workers who may be hesitant to reveal their status. From December 2008 to February 2009, the Kiev International Institute of Sociology (KIIS) collected ARD from 10,866 respondents to estimate the size of HIV-related groups in Ukraine. To analyze this data, we propose a new ARD model which incorporates respondent and group covariates in a regression framework and includes a bias term that is correlated between groups. We also introduce a new scaling procedure utilizing the correlation structure to further reduce biases. The resulting size estimates of those most-at-risk of HIV infection can improve the HIV response efficiency in Ukraine. Additionally, the proposed model allows us to better understand two network features without the full network data: 1. What characteristics affect who respondents know, and 2. How is knowing someone from one group related to knowing people from other groups. These features can allow researchers to better recruit marginalized individuals into the prevention and treatment programs. Our proposed model and several existing NSUM models are implemented in the networkscaleup R package.


title: A Simple and Fast Coordinate-Descent Augmented-Lagrangian Solver for Model Predictive Control

abstract: This paper proposes a novel Coordinate-Descent Augmented-Lagrangian (CDAL) solver for linear, possibly parameter-varying, model predictive control (MPC) problems. At each iteration, an augmented Lagrangian (AL) subproblem is solved by coordinate descent (CD), exploiting the structure of the MPC problem. The CDAL solver enjoys three main properties: (i) it is construction-free, in that it avoids explicitly constructing the quadratic programming (QP) problem associated with MPC; (ii) is matrix-free, as it avoids multiplications and factorizations of matrices; and (iii) is library-free, as it can be simply coded without any library dependency, 90-line of C-code in our implementation. To favor convergence speed, CDAL employs a reverse cyclic rule for the CD method, the accelerated Nesterov's scheme for updating the dual variables, a simple diagonal preconditioner, and an efficient coupling scheme between the CD and AL methods. We show that CDAL competes with other state-of-the-art methods, both in case of unstable linear time-invariant and linear parameter-varying prediction models.


title: Low-Reynolds-number aerodynamic characteristics of airfoils with piezocomposite trailing control surfaces

abstract: Morphing wings comprised of fixed leading sections with piezocomposite trailing control surfaces have emerged as a novel active control technique for unmanned aerial vehicles. However, the wake dynamics and aerodynamic performance of such hybrid airfoil configuration has not been thoroughly investigated. In this paper, direct numerical simulations of two-dimensional flows over hybrid airfoils comprised of NACA 0012 leading sections with piezocomposite trailing control surfaces are performed at a fixed Reynolds number of 1000. The effects of length and camber of the trailing control surface on the laminar aerodynamic characteristics are studied over a wide range of angle of attack. It is shown that the flow behind the airfoil exhibits different features, including steady flow, periodic vortex shedding, and quasi-periodic vortex shedding for different configurations. The transition between these wake states occurs at slightly smaller angles of attack compared to the nominal NACA 0012 airfoil. While the drag coefficient remains close to each other at a fixed angle of attack, the lift coefficient of the hybrid airfoil is positively affected by the length and camber of the trailing control surface. The mechanism of lift generation is examined by surface pressure distributions and a force element analysis. It is revealed that with increased camber of the trailing control surface, the flow on both the suction and pressure sides of the airfoil are modified in a beneficial way to enhance lift. Increasing the length ratio only significantly modifies the flow near the aft section on the pressure side. The results herein provide a laminar aerodynamic characterization of hybrid airfoils with trailing control surfaces, and could potentially aid the design of control techniques for next-generation small unmanned aerial vehicles.


title: Gramian-based model reduction for unstable stochastic systems

abstract: This paper considers large-scale linear stochastic systems representing, e.g., spatially discretized stochastic partial differential equations. Since asymptotic stability can often not be ensured in such a stochastic setting (e.g. due to larger noise), the main focus is on establishing model order reduction (MOR) schemes applicable to unstable systems. MOR is vital to reduce the dimension of the problem in order to lower the enormous computational complexity of for instance sampling methods in high dimensions. In particular, a new type of Gramian-based MOR approach is proposed in this paper that can be used in very general settings. The considered Gramians are constructed to identify dominant subspaces of the stochastic system as pointed out in this work. Moreover, they can be computed via Lyapunov equations. However, covariance information of the underlying systems enters these equations which is not directly available. Therefore, efficient sampling based methods relying on variance reduction techniques are established to derive the required covariances and hence the Gramians. Alternatively, an ansatz to compute the Gramians by deterministic approximations of covariance functions is investigated. An error bound for the studied MOR methods is proved yielding an a-priori criterion for the choice of the reduced system dimension. This bound is new and beneficial even in the deterministic case. The paper is concluded by numerical experiments showing the efficiency of the proposed MOR schemes.


title: Bayes Linear Emulation of Simulated Crop Yield

abstract: The analysis of the output from a large scale computer simulation experiment can pose a challenging problem in terms of size and computation. We consider output in the form of simulated crop yields from the Environmental Policy Integrated Climate (EPIC) model, which requires a large number of inputs such as fertiliser levels, weather conditions, and crop rotations inducing a high dimensional input space. In this paper, we adopt a Bayes linear approach to efficiently emulate crop yield as a function of the simulator fertiliser inputs. We explore emulator diagnostics and present the results from emulation of a subset of the simulated EPIC data output.


title: Rapid Replanning in Consecutive Pick-and-Place Tasks with Lazy Experience Graph

abstract: In an environment where a manipulator needs to execute multiple consecutive tasks, the act of object manoeuvre will change the underlying configuration space, affecting all subsequent tasks. Previously free configurations might now be occupied by the manoeuvred objects, and previously occupied space might now open up new paths. We propose Lazy Tree-based Replanner (LTR*) -- a novel hybrid planner that inherits the rapid planning nature of existing anytime incremental sampling-based planners. At the same time, it allows subsequent tasks to leverage prior experience via a lazy experience graph. Previous experience is summarised in a lazy graph structure, and LTR* is formulated to be robust and beneficial regardless of the extent of changes in the workspace. Our hybrid approach attains a faster speed in obtaining an initial solution than existing roadmap-based planners and often with a lower cost in trajectory length. Subsequent tasks can utilise the lazy experience graph to speed up finding a solution and take advantage of the optimised graph to minimise the cost objective. We provide proofs of probabilistic completeness and almost-surely asymptotic optimal guarantees. Experimentally, we show that in repeated pick-and-place tasks, LTR* attains a high gain in performance when planning for subsequent tasks.


title: Improved Graph Formalism for Quantum Circuit Simulation

abstract: Improving the simulation of quantum circuits on classical computers is important for understanding quantum advantage and increasing development speed. In this paper, we explore a new way to express stabilizer states and further improve the speed of simulating stabilizer circuits with a current existing approach. First, we discover a unique and elegant canonical form for stabilizer states based on graph states to better represent stabilizer states and show how to efficiently simplify stabilizer states to canonical form. Second, we develop an improved algorithm for graph state stabilizer simulation and establish limitations on reducing the quadratic runtime of applying controlled-Pauli $Z$ gates. We do so by creating a simpler formula for combining two Pauli-related stabilizer states into one. Third, to better understand the linear dependence of stabilizer states, we characterize all linearly dependent triplets, revealing symmetries in the inner products. Using our novel controlled-Pauli $Z$ algorithm, we improve runtime for inner product computation from $O(n^3)$ to $O(nd^2)$ where $d$ is the maximum degree of the graph.


title: On the strong superadditivity of entanglement of formation -- Conditions and examples

abstract: From Shor's [Comm. Math. Phys. 246(3), 453 (2004)] and Hastings's [Nature Phys. 5, 255 (2009)] studies, the strong superadditivity of entanglement of formation is, in general, not true. In this paper, we provide conditions for strong superadditivity of entanglement of formation, and consequently identify classes of states that are strongly superadditive.


title: Mixed Leader-Follower Dynamics

abstract: Leader-Follower (LF) dynamics originated from Hegselmann-Krause (HK) dynamics. The original HK model consists of a finite number of agents whose opinion is a number in $[0,1]$. Agent $i$ updates its opinion $x_i$ by taking the average opinion of its neighbors, the agents whose opinion is at most $\epsilon$ apart from $x_i$ for $\epsilon>0$ a confidence threshold. The LF model involves two types of groups--the leader group and the follower group. All leader groups have their target opinion. The original LF model partitions all agents whose opinion is a number in $[-1,1]$ to a follower group, a leader group with a positive target opinion in $[0,1]$ and a leader group with a negative target opinion in $[-1,0]$. A leader group agent has a constant degree to its target and mix it with the average opinion of its group neighbors at each update. A follower has a constant degree to the average opinion of each leader group neighbors and mix it with the average opinion of its group neighbors at each update. In this paper, we consider a variant of the LF model, namely the mixed model, in which the degrees can vary over time, the opinions can be high dimensional, and the number of leader groups can be more than two. The LF model can be applied to e-commerce and the mixed model covers it when there is only one confidence threshold. We study the mixed model theoretically and investigate circumstances under which all agents achieve a consensus.


title: Blockchain-based Covid Vaccination Registration and Monitoring

abstract: Covid-19 (SARS-CoV-2) has changed almost all the aspects of our living. Governments around the world have imposed lockdown to slow down the transmissions. In the meantime, researchers worked hard to find the vaccine. Fortunately, we have found the vaccine, in fact a good number of them. However, managing the testing and vaccination process of the total population is a mammoth job. There are multiple government and private sector organisations that are working together to ensure proper testing and vaccination. However, there is always delay or data silo problems in multi-organisational works. Therefore, streamlining this process is vital to improve the efficiency and save more lives. It is already proved that technology has a significant impact on the health sector, including blockchain. Blockchain provides a distributed system along with greater privacy, transparency and authenticity. In this article, we have presented a blockchain-based system that seamlessly integrates testing and vaccination system, allowing the system to be transparent. The instant verification of any tamper-proof result and a transparent and efficient vaccination system have been exhibited and implemented in the research. We have also implemented the system as "Digital Vaccine Passport" (DVP) and analysed its performance.


title: The Ontology and Semantics of Quantum Theory for Quantum Gravity

abstract: Based on a clear ontology of material individuals, we analyze in detail the factual semantics of quantum theory, and argue that the basic mathematical formalism of quantum theory is just okay with (a certain form of ) realism and that it is perfectly applicable to quantum gravity. This is basically a process about 'cleansing' the formalism from semantic assumptions and physical referents that it doesn't really need (we use the term 'semantics' in the sense of the factual semantics of a physical theory, and not in the sense of model theory of abstract mathematics or logic). We base our study on the usual non-Boolean lattice of projectors in a Hilbert space and probability measures on it, to which we give a careful physical interpretation using the mentioned tools in order to avoid the usual problems posed by this task. At the end, we study a possible connection with the theory of quantum duration and time proposed in [arXiv:2012.03994, arXiv:2107.06693], for which this paper serves as a philosophical basis, and argue for our view that quantum gravity may show that what we perceive as change in the classical world was just (an ontologically fundamental) quantum collapse all along.


title: Average-Case Verification of the Quantum Fourier Transform Enables Worst-Case Phase Estimation

abstract: The quantum Fourier transform (QFT) is a key primitive for quantum computing that is typically used as a subroutine within a larger computation, for instance for phase estimation. As such, we may have little control over the state that is input to the QFT. Thus, in implementing a good QFT, we may imagine that it needs to perform well on arbitrary input states. Verifying this worst-case correct behaviour of a QFT-implementation would be exponentially hard (in the number of qubits) in general, raising the concern that this verification would be impossible in practice on any useful-sized system. In this paper we show that, in fact, we only need to have good average-case performance of the QFT to achieve good worst-case performance for key tasks -- phase estimation, period finding and amplitude estimation. Further we give a very efficient procedure to verify this required average-case behaviour of the QFT.


title: The Fermat-Torricelli Problem in the Projective Plane

abstract: We pose and study the Fermat-Torricelli problem for a triangle in the projective plane under the sine distance. Our main finding is that if every side of the triangle has length greater than $\sin 60^\circ$, then the Fermat-Torricelli point is the vertex opposite the longest side. Our proof relies on a complete characterization of the equilateral case together with a deformation argument.


title: Shape Inference and Grammar Induction for Example-based Procedural Generation

abstract: Designers increasingly rely on procedural generation for automatic generation of content in various industries. These techniques require extensive knowledge of the desired content, and about how to actually implement such procedural methods. Algorithms for learning interpretable generative models from example content could alleviate both difficulties. We propose SIGI, a novel method for inferring shapes and inducing a shape grammar from grid-based 3D building examples. This interpretable grammar is well-suited for co-creative design. Applied to Minecraft buildings, we show how the shape grammar can be used to automatically generate new buildings in a similar style.


title: Modular transformations and the elliptic functions of Shen

abstract: We employ Weierstrassian modular transformations to compute fundamental periods for the elliptic functions ${\rm dn}_2$ and ${\rm dn}_3$ of Shen.