title: Controlling distribution of prime sequences in discretely ordered principal ideal subrings of $\mathbb Q[x]$

abstract: We show how to construct discretely ordered principal ideal subrings of $\mathbb Q[x]$ with various types of prime behaviour. Given any set $\mathcal D$ consisting of finite strictly increasing sequences $(d_1,d_2,\dots, d_l)$ of positive integers such that, for each prime integer $p$, the set $\{p\mathbb Z, d_1+p\mathbb Z,\dots, d_l+p\mathbb Z\}$ does not contain all the cosets modulo $p$, we can stipulate to have, for each $(d_1,\dots, d_l)\in \mathcal D$, a cofinal set of progressions $(f, f+d_1, \dots, f+d_l)$ of prime elements in our principal ideal domain $R_\tau$. Moreover, we can simultaneously guarantee that each positive prime $g\in R_\tau\setminus\mathbb N$ is either in a prescribed progression as above or there is no other prime $h$ in $R_\tau$ such that $g-h\in\mathbb Z$. Finally, all the principal ideal domains we thus construct are non-Euclidean and isomorphic to subrings of the ring $\hat{\mathbb{Z}}$ of profinite integers.


title: A Generalized Switched-Capacitor Modular Multilevel Inverter Topology for Multiphase Electrical Machines with Capacitor-Voltage Self-Balancing Capability

abstract: Recent research on multilevel inverters shows exciting properties, including the potential to generate multiple output voltages and integrated voltage boosting. However, most presented inverter topologies have a restricted number of output voltage levels and limited output voltage boosting ratio. In addition, balancing the voltage of capacitors in multilevel converters is very important and should be considered in the topology or control method. This paper describes a generalized switched-capacitor circuit topology for multilevel dc-to-ac inverters that can be developed for the desired output voltage levels. Also, the maximum ac output voltage can vary from values much lower than the dc input voltage to several times of it depending on the design requirement. High-voltage dc input and ac output could be handled using low-voltage capacitors, which substantially decreases overall cost and volume. The proposed topology further allows for easy expansion through stackable circuits for multiple load phases. It has an inherent capacity for balancing the voltage of capacitors. To validate the feasibility and practicality of this concept, we provide circuit descriptions, control strategies, design recommendations, and pertinent simulation findings for the suggested inverter topology.


title: Program Analysis of Probabilistic Programs

abstract: Probabilistic programming is a growing area that strives to make statistical analysis more accessible, by separating probabilistic modelling from probabilistic inference. In practice this decoupling is difficult. No single inference algorithm can be used as a probabilistic programming back-end that is simultaneously reliable, efficient, black-box, and general. Probabilistic programming languages often choose a single algorithm to apply to a given problem, thus inheriting its limitations. While substantial work has been done both to formalise probabilistic programming and to improve efficiency of inference, there has been little work that makes use of the available program structure, by formally analysing it, to better utilise the underlying inference algorithm. This dissertation presents three novel techniques (both static and dynamic), which aim to improve probabilistic programming using program analysis. The techniques analyse a probabilistic program and adapt it to make inference more efficient, sometimes in a way that would have been tedious or impossible to do by hand.


title: The High Time Resolution Universe Pulsar Survey -- XVII. PSR J1325-6253, a low eccentricity double neutron star system from an ultra-stripped supernova

abstract: The observable population of double neutron star (DNS) systems in the Milky Way allow us to understand the nature of supernovae and binary stellar evolution. Until now, all DNS systems in wide orbits ($ P_{\textrm{orb}}>$ 1~day) have been found to have orbital eccentricities, $e > 0.1$. In this paper, we report the discovery of pulsar PSR J1325$-$6253: a DNS system in a 1.81 day orbit with a surprisingly low eccentricity of just $e = 0.064$. Through 1.4 yr of dedicated timing with the Parkes radio telescope we have been able to measure its rate of advance of periastron, $\dot{\omega}=0.138 \pm 0.002$ $\rm deg$ $\rm yr^{-1}$. If this induced $\dot{\omega}$ is solely due to general relativity then the total mass of the system is, $M_{\rm sys} = 2.57 \pm 0.06$ M$_{\odot}$. Assuming an edge-on orbit the minimum companion mass is constrained to be $M_\mathrm{c,min}>0.98$ M$_{\odot}$ which implies the pulsar mass is $M_\mathrm{p,max}<1.59 $ M$_{\odot}$. Its location in the $P$-$\dot{P}$ diagram suggests that, like other DNS systems, PSR J1325$-$6253 is a recycled pulsar and if its mass is similar to the known examples ($>1.3$ M$_\odot$), then the companion neutron star is probably less than $\sim1.25$ M$_\odot$ and the system is inclined at about $50^{\circ}$-$60^{\circ}$. The low eccentricity along with the wide orbit of the system strongly favours a formation scenario involving an ultra-stripped supernova explosion.


title: On extension of closed complex (basic) differential forms: (basic) Hodge numbers and (transversely) $p$-K\"ahler structures

abstract: Inspired by a recent work of D. Wei--S. Zhu on the extension of closed complex differential forms and Voisin's usage of the $\partial\bar{\partial}$-lemma, we obtain several new theorems of deformation invariance of Hodge numbers and reprove the local stabilities of $p$-K\"ahler structures with the $\partial\bar{\partial}$-property. Our approach is more concerned with the $d$-closed extension by means of the exponential operator $e^{\iota_\varphi}$. Furthermore, we prove the local stabilities of transversely $p$-K\"ahler structures with mild $\partial\bar{\partial}$-property by adapting the power series method to the foliated case, which strengthens the works of A. El Kacimi Alaoui--B. Gmira and P. Ra\'zny on that of the transversely K\"ahler foliations with homologically orientability. We observe that a transversely K\"ahler foliation, even without homologically orientability, also satisfies the $\partial\bar{\partial}$-property. So even when $p=1$ (transversely K\"ahler), our results are new as we can drop the assumption in question on the initial foliation. Several theorems on the deformation invariance of basic Hodge/Bott--Chern numbers with mild $\partial\bar{\partial}$-properties are also presented.


title: Calculation of $\beta$-decay half-lives with Skyrme Hartree-Fock-Bogoliubov+$pn$-QRPA and isoscalar pairing strengths optimized by a Bayesian method

abstract: For radioactive nuclear data, $\beta$ decay is one of the most important information and is applied to various fields. However, some of the $\beta$-decay data are not available due to experimental difficulties. From this respect, theoretically calculated results have been embedded in the $\beta$-decay data to compensate the missing information. To calculate the $\beta$-decay half-lives, a proton-neutron quasi-particle random phase approximation on top of a Skryme energy density functional is applied with an assumption of spherical symmetry. The isoscalar pairing strength is estimated by a Bayesian neutral network (BNN). We verify the predicted isoscalar pairing strengths by preparing the training data and test data. It was confirmed that the finite-range isovector pairing ensures the $\beta$-decay half-lives insensitive to the model space, while the zero-range one was largely dependent on it. The half-lives calculated with the BNN isoscalar pairing strengths reproduced most of experimental data, although those of highly deformed nuclei were underestimated. We also studied that the predictive performance on new experimental data that were not used for the BNN training and found that they were reproduced well. Our study demonstrates that the isoscalar pairing strengths determined by the BNN can reproduce experimental data in the same accuracy as other theoretical works.


title: Character varieties and algebraic surfaces for the topology of quantum computing

abstract: It is shown that the representation theory of some finitely presented groups thanks to their $SL_2(\mathbb{C})$ character variety is related to algebraic surfaces. We make use of the Enriques-Kodaira classification of algebraic surfaces and the related topological tools to make such surfaces explicit. We study the connection of $SL_2(\mathbb{C})$ character varieties to topological quantum computing (TQC) as an alternative to the concept of anyons. The Hopf link $H$, whose character variety is a Del Pezzo surface $f_H$ (the trace of the commutator), is the kernel of our view of TQC. Qutrit and two-qubit magic state computing, derived from the trefoil knot in our previous work, may be seen as TQC from the Hopf link. The character variety of some two-generator Bianchi groups as well as that of the fundamental group for the singular fibers $\tilde{E}_6$ and $\tilde{D}_4$ contain $f_H$. A surface birationally equivalent to a $K_3$ surface is another compound of their character varieties.


title: Formal Development of Safe Automated Driving using Differential Dynamic Logic

abstract: The challenges in providing convincing arguments for safe and correct behavior of automated driving (AD) systems have so far hindered their widespread commercial deployment. Conventional development approaches such as testing and simulation are limited by non-exhaustive analysis, and can thus not guarantee correctness in all possible scenarios. Formal methods is an approach to provide mathematical proofs of correctness, using a model of a system, that could be used to give the necessary arguments. This paper investigates the use of differential dynamic logic and the deductive verification tool KeYmaera X in the development of an AD feature. Specifically, formal models and safety proofs of different design variants of a Decision & Control module for an in-lane AD feature are presented. In doing so, the assumptions and invariant conditions necessary to guarantee safety are identified, and the paper shows how such an analysis helps during the development process in requirement refinement and formulation of the operational design domain. Furthermore, it is shown how the performance of the different models is formally analyzed exhaustively, in all their allowed behaviors.


title: A Note on Edge Colorings and Trees

abstract: We point out some connections between existence of homogenous sets for certain edge colorings and existence of branches in certain trees. As a consequence, we get that any locally additive coloring (a notion introduced in the paper) of a cardinal $\kappa$ has a homogeneous set of size $\kappa$ provided that the number of colors, $\mu$ satisfies $\mu^+<\kappa$. Another result is that an uncountable cardinal $\kappa$ is weakly compact if and only if $\kappa$ is regular, has the tree property and for each $\lambda,\mu<\kappa$ there exists $\kappa^*<\kappa$ such that every tree of height $\mu$ with $\lambda$ nodes has less than $\kappa^*$ branches.


title: Universal Prony fitting decomposition for optimized hierarchical quantum master equations

abstract: In this work, we propose the Prony fitting decomposition (PFD) as an accurate and efficient exponential series method, applicable to arbitrary interacting bath correlation functions. The resulting hierarchical equations of motion (HEOM) formalism is greatly optimized, especially in extremely low temperature regimes that would be inaccessible with other methods. For demonstration, we calibrate the present PFD against the celebrated Pad\'e spectrum decomposition method, followed by converged HEOM evaluations on the single-impurity Anderson model system.


title: Distributed Over-the-air Computing for Fast Distributed Optimization: Beamforming Design and Convergence Analysis

abstract: Distributed optimization concerns the optimization of a common function in a distributed network, which finds a wide range of applications ranging from machine learning to vehicle platooning. Its key operation is to aggregate all local state information (LSI) at devices to update their states. The required extensive message exchange and many iterations cause a communication bottleneck when the LSI is high dimensional or at high mobility. To overcome the bottleneck, we propose in this work the framework of distributed over-the-air computing (AirComp) to realize a one-step aggregation for distributed optimization by exploiting simultaneous multicast beamforming of all devices and the property of analog waveform superposition of a multi-access channel. We consider two design criteria. The first one is to minimize the sum AirComp error (i.e., sum mean-squared error (MSE)) with respect to the desired average-functional values. An efficient solution approach is proposed by transforming the non-convex beamforming problem into an equivalent concave-convex fractional program and solving it by nesting convex programming into a bisection search. The second criterion, called zero-forcing (ZF) multicast beamforming, is to force the received over-the-air aggregated signals at devices to be equal to the desired functional values. In this case, the optimal beamforming admits closed form. Both the MMSE and ZF beamforming exhibit a centroid structure resulting from averaging columns of conventional MMSE/ZF precoding. Last, the convergence of a classic distributed optimization algorithm is analyzed. The distributed AirComp is found to accelerate convergence by dramatically reducing communication latency. Another key finding is that the ZF beamforming outperforms the MMSE design as the latter is shown to cause bias in subgradient estimation.


title: Tension tuning of sound and heat transport in graphene

abstract: Heat transport by acoustic phonons in 2D materials is fundamentally different from that in 3D crystals because the out-of-plane phonons propagate in a unique way that strongly depends on tension and bending rigidity. Since in-plane and out-of-plane phonon baths are decoupled, initial studies suggested they provide independent pathways for heat transport and storage in 2D materials. Here, we induce tension in freestanding graphene membranes by electrostatic force, and use optomechanical techniques to demonstrate that it can change the rate of heat transport by as much as 33%. Using a ballistic Debye model, we account for these observations and extract the average bending rigidity of the flexural acoustic phonons, which increases approximately linearly with the membrane's areal mass density, in contrast to the cubic dependence seen in bulk structures. Thus, we not only elucidate phononic heat transport mechanisms in suspended 2D materials, but also provide a promising route for controlling nanoscale heat transport by tension.


title: Accumulate: An identity-based blockchain protocol with cross-chain support, human-readable addresses, and key management capabilities

abstract: The Accumulate Protocol ("Accumulate") is an identity-based, Delegated Proof of Stake (DPoS) blockchain designed to power the digital economy through interoperability with Layer-1 blockchains, integration with enterprise tech stacks, and interfacing with the World Wide Web. Accumulate bypasses the trilemma of security, scalability, and decentralization by implementing a chain-of-chains architecture in which digital identities with the ability to manage keys, tokens, data, and other identities are treated as their own independent blockchains. This architecture allows these identities, known as Accumulate Digital Identifiers (ADIs), to be processed and validated in parallel over the Accumulate network. Each ADI also possesses a hierarchical set of keys with different priority levels that allow users to manage their security over time and create complex signature authorization schemes that expand the utility of multi-signature transactions. A two token system provides predictable costs for enterprise users, while anchoring all transactions to Layer-1 blockchains provides enterprise-grade security to everyone.


title: On $n$-hereditary algebras and $n$-slice algebras

abstract: In this paper we show that acyclic $n$-slice algebras are exactly acyclic $n$-hereditary algebras whose $(n+1)$-preprojective algebras are $(q+1,n+1)$-Koszul. We also list the equivalent triangulated categories arising from the algebra constructions related to an $n$-slice algebra. We show that higher slice algebras of finite type appear in pairs and they share the Auslander-Reiten quiver for their higher preprojective components.


title: Maximizing intrinsic anomalous Hall effect by controlling the Fermi level in simple Weyl semimetal films

abstract: Large intrinsic anomalous Hall effect (AHE) originating in the Berry curvature has attracted growing attention for potential applications. Recently proposed magnetic Weyl semimetal EuCd$_2$Sb$_{\mathrm{2}}$ provides an excellent platform for controlling the intrinsic AHE because it only hosts a Weyl-points related band structure near the Fermi energy. Here we report the fabrication of EuCd$_2$Sb$_{\mathrm{2}}$ single-crystalline films and control of their anomalous Hall effect by film technique. As also analyzed by first-principles calculations of energy-dependent intrinsic anomalous Hall conductivity, the obtained anomalous Hall effect shows a sharp peak as a function of carrier density, demonstrating clear energy dependence of the intrinsic AHE.


title: Effect of Magnetism on Lattice Vibrations: M\"ossbauer Spectroscopic Evidence

abstract: Based on the available literature reviewed are results pertinent to the effect of magnetism on lattice dynamics obtained by M\"ossbauer spectroscopy at 57Fe and 119Sn probe atoms. Presented and discussed are sigma-phase Fe-Cr, Fe-V, Fe-Cr-Ni and lambda-phase (C14 Laves) NbFe2 compounds that belong to the Frank-Kasper family of phases, metallic chromium and iron mono-arsenide, FeAs. The common feature of all these metallic systems is itinerant character of their magnetism. Two spectral parameters relevant to the lattice dynamics viz. the center shift, CS, and/or the recoil-free fraction, f, are considered as figures of merit. Their temperature dependences show anomalies at magnetic ordering temperatures giving evidence that that vibrations in the magnetic phase are different than those in the paramagnetic phase. The lower the magnetic ordering temperature, the stronger the difference.


title: On Random Number Generation for Kernel Applications

abstract: An operating system kernel uses cryptographically secure pseudorandom number generator for creating address space localization randomization offsets to protect memory addresses to processes from exploration, storing users' password securely and creating cryptographic keys. The paper proposes a CSPRNG called KCS-PRNG which produces non-reproducible bitstreams. The proposed KCS-PRNG presents an efficient design uniquely configured with two new non-standard and verified elliptic curves and clock-controlled linear feedback shift registers and a novel method to consistently generate non-reproducible random bits of arbitrary lengths. The generated bit streams are statistically indistinguishable from true random bitstreams and provably secure, resilient to important attacks, exhibits backward and forward secrecy, exhibits exponential linear complexity, large period and huge key space.


title: Primordial magnetic fields in theories of gravity with non-minimal coupling between curvature and matter

abstract: The existence of magnetic fields in the universe is unmistakable. They are observed at all scales from stars to galaxy clusters. However, the origin of these fields remains enigmatic. It is believed that magnetic field seeds may have emerged from inflation, under certain conditions. This possibility is analised in the context of an alternative theory of gravity with non-minimal coupling between curvature and matter. We find, through the solution of the generalised Maxwell equations in the context of non-minimal models, that for general slow-roll inflationary scenarios with low reheating temperatures, $T_{RH}\simeq10^{10}$GeV, the generated magnetic fields can be made compatible with observations at large scales, $\lambda \sim 1 Mpc$.


title: Influence of C/O Ratio on Hot Jupiter Atmospheric Chemistry

abstract: We have conducted laboratory experiments to study the chemistry in hot Jupiter atmospheres with C/O ratio of 0.35. We have compared our results with the ones obtained previously for atmospheres with a C/O ratio of 1 to investigate the influence of the C/O ratio on the chemistry and formation of photochemical organic aerosol. We found that the C/O ratio and the gas mixture compositions strongly influence the pathways responsible for the formation of CO2. Thermochemical reactions are primarily responsible for the formation of CO2 in low C/O ratio atmospheres, while photochemistry is the dominant process in high C/O ratio atmospheres even if the final CO2 concentration is the same in both cases. Our results show that low C/O atmospheres at the thermochemical equilibrium contain a higher water abundance, while high C/O atmospheres are significantly depleted in water. However, in low C/O atmospheres, the water abundance is not affected by UV photolysis, while our previous work demonstrated that significant amount of water can be produced in high C/O ratio atmospheres. This contrast in water production suggests that photochemistry should be considered when interpreting exoplanet transit spectra. Finally, we did not observe the formation of a detectable amount of non-volatile photochemical aerosols in low C/O atmospheres, in contrast to our previous study. We infer that for C/O ratio < 1, water likely inhibits organic growth and aerosol formation, suggesting that photochemical organic aerosols are likely to be observed in planets presenting a carbon enrichment compared to their host stars.


title: Shedding New Light on the Language of the Dark Web

abstract: The hidden nature and the limited accessibility of the Dark Web, combined with the lack of public datasets in this domain, make it difficult to study its inherent characteristics such as linguistic properties. Previous works on text classification of Dark Web domain have suggested that the use of deep neural models may be ineffective, potentially due to the linguistic differences between the Dark and Surface Webs. However, not much work has been done to uncover the linguistic characteristics of the Dark Web. This paper introduces CoDA, a publicly available Dark Web dataset consisting of 10000 web documents tailored towards text-based Dark Web analysis. By leveraging CoDA, we conduct a thorough linguistic analysis of the Dark Web and examine the textual differences between the Dark Web and the Surface Web. We also assess the performance of various methods of Dark Web page classification. Finally, we compare CoDA with an existing public Dark Web dataset and evaluate their suitability for various use cases.


title: Spatial correlations of field observables in two half-spaces separated by a movable perfect mirror

abstract: We consider a system of two cavities separated by a reflecting boundary of finite mass that is free to move, and bounded to its equilibrium position by a harmonic potential. This yields an effective mirror-field interaction, as well as an effective interaction between the field modes mediated by the movable boundary. Two massless scalar fields are defined in each cavity. We consider the second-order interacting ground state of the system, that contains virtual excitations of both mirror's degrees of freedom and of the scalar fields. We investigate the correlation functions between field observables in the two cavities, and find that the squared scalar fields in the two cavities, in the interacting ground state, are anticorrelated. We discuss the dependence of the correlation on the distance of the two points considered from the mirror's average position and on its mass and oscillation angular frequency. These results show a sort of communication between the two half-spaces separated by the movable mirror, mediated by its position fluctuations. Observability of this new phenomenon exploiting two- or many-body dispersion interactions between polarizable bodies is discussed. The dependence on a cutoff frequency introduced to regularize the frequency integrations, as well as the case of a real conductor, are also discussed.


title: Exploring new states of matter with a photonic emulator

abstract: We implement the equation of motion of the large-N Gross-Neveu model from strong interaction physics in photonic waveguide arrays and study one of its paradigmatic multi-fermion bound state solutions in an optical experiment. The present study constitutes an important first step towards waveguide-based simulations of phenomena relevant for high-energy physics.


title: Anomalous Josephson Hall effect in doped topological insulators with the nematic superconductivity

abstract: We study the physics of the Josephson effect in nematic superconductors with $E_u$ odd parity in the Ginzburg-Landau approach. Two-component vector superconducting order parameter makes this effect rather unusual. We get that the Meissner kernel has off-diagonal components. We derive current-phase relations for different configurations of the junction, crystallographic axes of the sample, and nematicity direction. We show that an anomalous Josephson Hall effect can be observed in such a system without any magnetization. That is, for definite orientations of the junction and crystal axes, a component of the Josephson current along the junction is induced by the order parameter phase difference across the contact. We also calculate the magnetic field dependence of the maximum current through the junction. We find that the period of the Fraunhofer oscillations of the maximum Josephson current depends on the geometry of the junction, direction of the magnetic field, and nematicity vector.


title: Does BERT really agree ? Fine-grained Analysis of Lexical Dependence on a Syntactic Task

abstract: Although transformer-based Neural Language Models demonstrate impressive performance on a variety of tasks, their generalization abilities are not well understood. They have been shown to perform strongly on subject-verb number agreement in a wide array of settings, suggesting that they learned to track syntactic dependencies during their training even without explicit supervision. In this paper, we examine the extent to which BERT is able to perform lexically-independent subject-verb number agreement (NA) on targeted syntactic templates. To do so, we disrupt the lexical patterns found in naturally occurring stimuli for each targeted structure in a novel fine-grained analysis of BERT's behavior. Our results on nonce sentences suggest that the model generalizes well for simple templates, but fails to perform lexically-independent syntactic generalization when as little as one attractor is present.


title: Clothes-Changing Person Re-identification with RGB Modality Only

abstract: The key to address clothes-changing person re-identification (re-id) is to extract clothes-irrelevant features, e.g., face, hairstyle, body shape, and gait. Most current works mainly focus on modeling body shape from multi-modality information (e.g., silhouettes and sketches), but do not make full use of the clothes-irrelevant information in the original RGB images. In this paper, we propose a Clothes-based Adversarial Loss (CAL) to mine clothes-irrelevant features from the original RGB images by penalizing the predictive power of re-id model w.r.t. clothes. Extensive experiments demonstrate that using RGB images only, CAL outperforms all state-of-the-art methods on widely-used clothes-changing person re-id benchmarks. Besides, compared with images, videos contain richer appearance and additional temporal information, which can be used to model proper spatiotemporal patterns to assist clothes-changing re-id. Since there is no publicly available clothes-changing video re-id dataset, we contribute a new dataset named CCVID and show that there exists much room for improvement in modeling spatiotemporal information. The code and new dataset are available at: https://github.com/guxinqian/Simple-CCReID.


title: Optimized Population Monte Carlo

abstract: Adaptive importance sampling (AIS) methods are increasingly used for the approximation of distributions and related intractable integrals in the context of Bayesian inference. Population Monte Carlo (PMC) algorithms are a subclass of AIS methods, widely used due to their ease in the adaptation. In this paper, we propose a novel algorithm that exploits the benefits of the PMC framework and includes more efficient adaptive mechanisms, exploiting geometric information of the target distribution. In particular, the novel algorithm adapts the location and scale parameters of a set of importance densities (proposals). At each iteration, the location parameters are adapted by combining a versatile resampling strategy (i.e., using the information of previous weighted samples) with an advanced optimization-based scheme. Local second-order information of the target distribution is incorporated through a preconditioning matrix acting as a scaling metric onto a gradient direction. A damped Newton approach is adopted to ensure robustness of the scheme. The resulting metric is also used to update the scale parameters of the proposals. We discuss several key theoretical foundations for the proposed approach. Finally, we show the successful performance of the proposed method in three numerical examples, involving challenging distributions.


title: Implicit Sample Extension for Unsupervised Person Re-Identification

abstract: Most existing unsupervised person re-identification (Re-ID) methods use clustering to generate pseudo labels for model training. Unfortunately, clustering sometimes mixes different true identities together or splits the same identity into two or more sub clusters. Training on these noisy clusters substantially hampers the Re-ID accuracy. Due to the limited samples in each identity, we suppose there may lack some underlying information to well reveal the accurate clusters. To discover these information, we propose an Implicit Sample Extension (\OurWholeMethod) method to generate what we call support samples around the cluster boundaries. Specifically, we generate support samples from actual samples and their neighbouring clusters in the embedding space through a progressive linear interpolation (PLI) strategy. PLI controls the generation with two critical factors, i.e., 1) the direction from the actual sample towards its K-nearest clusters and 2) the degree for mixing up the context information from the K-nearest clusters. Meanwhile, given the support samples, ISE further uses a label-preserving loss to pull them towards their corresponding actual samples, so as to compact each cluster. Consequently, ISE reduces the "sub and mixed" clustering errors, thus improving the Re-ID performance. Extensive experiments demonstrate that the proposed method is effective and achieves state-of-the-art performance for unsupervised person Re-ID. Code is available at: \url{https://github.com/PaddlePaddle/PaddleClas}.


title: Challenges for Open-domain Targeted Sentiment Analysis

abstract: Since previous studies on open-domain targeted sentiment analysis are limited in dataset domain variety and sentence level, we propose a novel dataset consisting of 6,013 human-labeled data to extend the data domains in topics of interest and document level. Furthermore, we offer a nested target annotation schema to extract the complete sentiment information in documents, boosting the practicality and effectiveness of open-domain targeted sentiment analysis. Moreover, we leverage the pre-trained model BART in a sequence-to-sequence generation method for the task. Benchmark results show that there exists large room for improvement of open-domain targeted sentiment analysis. Meanwhile, experiments have shown that challenges remain in the effective use of open-domain data, long documents, the complexity of target structure, and domain variances.


title: To What Extent do Deep Learning-based Code Recommenders Generate Predictions by Cloning Code from the Training Set?

abstract: Deep Learning (DL) models have been widely used to support code completion. These models, once properly trained, can take as input an incomplete code component (e.g., an incomplete function) and predict the missing tokens to finalize it. GitHub Copilot is an example of code recommender built by training a DL model on millions of open source repositories: The source code of these repositories acts as training data, allowing the model to learn "how to program". The usage of such a code is usually regulated by Free and Open Source Software (FOSS) licenses, that establish under which conditions the licensed code can be redistributed or modified. As of Today, it is unclear whether the code generated by DL models trained on open source code should be considered as "new" or as "derivative" work, with possible implications on license infringements. In this work, we run a large-scale study investigating the extent to which DL models tend to clone code from their training set when recommending code completions. Such an exploratory study can help in assessing the magnitude of the potential licensing issues mentioned before: If these models tend to generate new code that is unseen in the training set, then licensing issues are unlikely to occur. Otherwise, a revision of these licenses urges to regulate how the code generated by these models should be treated when used, for example, in a commercial setting. Highlights from our results show that ~$10% to ~0.1% of the predictions generated by a state-of-the-art DL-based code completion tool are Type-1 clones of instances in the training set, depending on the size of the predicted code. Long predictions are unlikely to be cloned.


title: Gradient boosting for convex cone predict and optimize problems

abstract: Prediction models are typically optimized independently from decision optimization. A smart predict then optimize (SPO) framework optimizes prediction models to minimize downstream decision regret. In this paper we present dboost, the first general purpose implementation of smart gradient boosting for `predict, then optimize' problems. The framework supports convex quadratic cone programming and gradient boosting is performed by implicit differentiation of a custom fixed-point mapping. Experiments comparing with state-of-the-art SPO methods show that dboost can further reduce out-of-sample decision regret.


title: Tropical Mirror

abstract: We describe the tropical curves in toric varieties and define the tropical Gromov-Witten invariants. We introduce amplitudes for the higher topological quantum mechanics (HTQM) on special trees and show that the amplitudes are equal to the tropical Gromov-Witten invariants. We show that the sum over the amplitudes in A-model HTQM equals to the total amplitude in B-model HTQM, defined as a deformation of the A-model HTQM by the mirror superpotential. We derive the mirror superpotentials for the toric varieties and showed that they coincide with the superpotentials in the mirror Landau-Ginzburg theory. We construct the mirror dual states to the evaluation observables in the tropical Gromov-Witten theory.


title: $L^2$ Sobolev space bijectivity of the scattering-inverse scattering transforms related to defocusing Ablowitz-Ladik systems

abstract: In this paper, we establish $L^2$-Sobolev space bijectivity of the inverse scattering transform related to the defocusing Ablowitz-Ladik system. On the one hand, in the direct problem, based on the spectral problem, we establish the reflection coefficient and the corespondent Riemann-Hilbert problem. And we also prove that if the potential belongs to $l^{2,k}$ space, then the reflection coefficient belongs to $H^k_\theta(\Sigma)$. On the other hand, in the inverse problem, based on the Riemann-Hilbert problem, we obtain the corespondent reconstructed formula and recover potentials from reflection coefficients. And we also confirm that if reflection coefficients are in $H^k_\theta(\Sigma)$, then we show that potentials also belong to $l^{2,k}$. This study also confirm that for the initial-valued problem of defocusing Ablowitz-Ladik equations, it the initial potential belongs to $l^{2,k}$ and satisfying $\parallel q\parallel_\infty<1$, then the solution for $t\ne0$ also belongs to $l^{2,k}$.


title: Collective excitations in cigar-shaped spin-orbit coupled spin-1 Bose-Einstein condensates

abstract: We theoretically study the collective excitations of a spin-orbit-coupled spin-1 Bose-Einstein condensate with antiferromagnetic spin-exchange interactions in a cigar-shaped trapping potential at zero and finite temperatures using the Hartree-Fock-Bogoliubov theory with Popov approximation. The collective modes at zero temperature are corroborated by the real-time evolution of the ground state subjected to a perturbation suitable to excite a density or a spin mode. We have also calculated a few low-lying modes analytically and found a very good agreement with the numerical results. We confirm the presence of excitations belonging to two broad categories, namely density, and spin excitations, based on the calculation of dispersion. The degeneracy between a pair of spin modes is broken by the spin-orbit coupling. At finite temperature, spin and density excitations show qualitatively different behavior as a function of temperature.


title: Spatial Likelihood Voting with Self-Knowledge Distillation for Weakly Supervised Object Detection

abstract: Weakly supervised object detection (WSOD), which is an effective way to train an object detection model using only image-level annotations, has attracted considerable attention from researchers. However, most of the existing methods, which are based on multiple instance learning (MIL), tend to localize instances to the discriminative parts of salient objects instead of the entire content of all objects. In this paper, we propose a WSOD framework called the Spatial Likelihood Voting with Self-knowledge Distillation Network (SLV-SD Net). In this framework, we introduce a spatial likelihood voting (SLV) module to converge region proposal localization without bounding box annotations. Specifically, in every iteration during training, all the region proposals in a given image act as voters voting for the likelihood of each category in the spatial dimensions. After dilating the alignment on the area with large likelihood values, the voting results are regularized as bounding boxes, which are then used for the final classification and localization. Based on SLV, we further propose a self-knowledge distillation (SD) module to refine the feature representations of the given image. The likelihood maps generated by the SLV module are used to supervise the feature learning of the backbone network, encouraging the network to attend to wider and more diverse areas of the image. Extensive experiments on the PASCAL VOC 2007/2012 and MS-COCO datasets demonstrate the excellent performance of SLV-SD Net. In addition, SLV-SD Net produces new state-of-the-art results on these benchmarks.


title: Using Machine Learning for Particle Identification in ALICE

abstract: Particle identification (PID) is one of the main strengths of the ALICE experiment at the LHC. It is a crucial ingredient for detailed studies of the strongly interacting matter formed in ultrarelativistic heavy-ion collisions. ALICE provides PID information via various experimental techniques, allowing for the identification of particles over a broad momentum range (from around 100 MeV/$c$ to around 50 GeV/$c$). The main challenge is how to combine the information from various detectors effectively. Therefore, PID represents a model classification problem, which can be addressed using Machine Learning (ML) solutions. Moreover, the complexity of the detector and richness of the detection techniques make PID an interesting area of research also for the computer science community. In this work, we show the current status of the ML approach to PID in ALICE. We discuss the preliminary work with the Random Forest approach for the LHC Run 2 and a more advanced solution based on Domain Adaptation Neural Networks, including a proposal for its future implementation within the ALICE computing software for the upcoming LHC Run 3.


title: RankNEAT: Outperforming Stochastic Gradient Search in Preference Learning Tasks

abstract: Stochastic gradient descent (SGD) is a premium optimization method for training neural networks, especially for learning objectively defined labels such as image objects and events. When a neural network is instead faced with subjectively defined labels--such as human demonstrations or annotations--SGD may struggle to explore the deceptive and noisy loss landscapes caused by the inherent bias and subjectivity of humans. While neural networks are often trained via preference learning algorithms in an effort to eliminate such data noise, the de facto training methods rely on gradient descent. Motivated by the lack of empirical studies on the impact of evolutionary search to the training of preference learners, we introduce the RankNEAT algorithm which learns to rank through neuroevolution of augmenting topologies. We test the hypothesis that RankNEAT outperforms traditional gradient-based preference learning within the affective computing domain, in particular predicting annotated player arousal from the game footage of three dissimilar games. RankNEAT yields superior performances compared to the gradient-based preference learner (RankNet) in the majority of experiments since its architecture optimization capacity acts as an efficient feature selection mechanism, thereby, eliminating overfitting. Results suggest that RankNEAT is a viable and highly efficient evolutionary alternative to preference learning.


title: SIR epidemics in populations with large sub-communities

abstract: We investigate final outcome properties of an SIR (susceptible $\to$ infective $\to$ recovered) epidemic model defined on a population of large sub-communities in which there is stronger disease transmission within the communities than between them. Our analysis involves approximation of the epidemic process by a chain of within-community large outbreaks spreading between the communities. We derive law of large numbers and central limit type results for the number of individuals and the number of communities affected and the so-called severity of the outbreak. These results are valid as the size of communities tends to infinity, with the number of communities either fixed or also tending to infinity. The weaker between-community connections lead to randomness even in the law of large numbers type limit. As part of our proofs we also obtain a new result concerning the rate of convergence of the expected fraction infected in a standard SIR epidemic to its large-population limit.


title: Stability of Exponentially Damped Oscillations under Perturbations of the Mori-Chain

abstract: There is an abundance of evidence that some relaxation dynamics, e.g., exponential decays, are much more common in nature than others. Recently, there have been attempts to trace this dominance back to a certain stability of the prevalent dynamics versus generic Hamiltonian perturbations. In the paper at hand, we tackle this stability issue from yet another angle, namely in the framework of the recursion method. We investigate the behavior of various relaxation dynamics with respect to alterations of the so-called Lanczos coefficients. All considered scenarios are set up in order to comply with the "universal operator growth hypothesis". Our numerical experiments suggest the existence of stability in a larger class of relaxation dynamics consisting of exponentially damped oscillations. Further, we propose a criterion to identify "pathological" perturbations that lead to uncommon dynamics.


title: Efficient and practical quantum compiler towards multi-qubit systems with deep reinforcement learning

abstract: Efficient quantum compiling tactics greatly enhance the capability of quantum computers to execute complicated quantum algorithms. Due to its fundamental importance, a plethora of quantum compilers has been designed in past years. However, there are several caveats to current protocols, which are low optimality, high inference time, limited scalability, and lack of universality. To compensate for these defects, here we devise an efficient and practical quantum compiler assisted by advanced deep reinforcement learning (RL) techniques, i.e., data generation, deep Q-learning, and AQ* search. In this way, our protocol is compatible with various quantum machines and can be used to compile multi-qubit operators. We systematically evaluate the performance of our proposal in compiling quantum operators with both inverse-closed and inverse-free universal basis sets. In the task of single-qubit operator compiling, our proposal outperforms other RL-based quantum compilers in the measure of compiling sequence length and inference time. Meanwhile, the output solution is near-optimal, guaranteed by the Solovay-Kitaev theorem. Notably, for the inverse-free universal basis set, the achieved sequence length complexity is comparable with the inverse-based setting and dramatically advances previous methods. These empirical results contribute to improving the inverse-free Solovay-Kitaev theorem. In addition, for the first time, we demonstrate how to leverage RL-based quantum compilers to accomplish two-qubit operator compiling. The achieved results open an avenue for integrating RL with quantum compiling to unify efficiency and practicality and thus facilitate the exploration of quantum advantages.


title: Making Markets for Information Security: The Role of Online Platforms in Bug Bounty Programs

abstract: Security is an essential cornerstone of functioning digital marketplaces and communities. If users doubt that data shared online will remain secure, they will withdraw from platforms. Even when firms take these risks seriously, security expertise is expensive and vulnerabilities are diverse in nature. Increasingly, firms and governments are turning to bug bounty programs (BBPs) to crowdsource their cybersecurity, in which they pay individuals for reporting vulnerabilities in their systems. And while the use of BBPs has grown significantly in recent years, research on the actors in this market and their incentives remains limited. Using the lens of transaction cost economics, this paper examines the incentives of firms and researchers (sometimes called hackers) participating in BBPs. We study the crucial role that centralized platforms that organize BBPs play in this emerging market. We carry out an analysis of the HackerOne BBP platform, using a novel dataset on over 14,000 researchers reporting over 125,000 public vulnerabilities to over 500 firms from 2014 to the end of 2021. We outline how platforms like HackerOne make a market for information security vulnerabilities by reducing information asymmetries and their associated transaction costs.


title: Factor Overnight GARCH-It\^o Models

abstract: This paper introduces a unified factor overnight GARCH-It\^o model for large volatility matrix estimation and prediction. To account for whole-day market dynamics, the proposed model has two different instantaneous factor volatility processes for the open-to-close and close-to-open periods, while each embeds the discrete-time multivariate GARCH model structure. To estimate latent factor volatility, we assume the low rank plus sparse structure and employ nonparametric estimation procedures. Then, based on the connection between the discrete-time model structure and the continuous-time diffusion process, we propose a weighted least squares estimation procedure with the non-parametric factor volatility estimator and establish its asymptotic theorems.


title: Lombard Effect for Bilingual Speakers in Cantonese and English: importance of spectro-temporal features

abstract: For a better understanding of the mechanisms underlying speech perception and the contribution of different signal features, computational models of speech recognition have a long tradition in hearing research. Due to the diverse range of situations in which speech needs to be recognized, these models need to be generalizable across many acoustic conditions, speakers, and languages. This contribution examines the importance of different features for speech recognition predictions of plain and Lombard speech for English in comparison to Cantonese in stationary and modulated noise. While Cantonese is a tonal language that encodes information in spectro-temporal features, the Lombard effect is known to be associated with spectral changes in the speech signal. These contrasting properties of tonal languages and the Lombard effect form an interesting basis for the assessment of speech recognition models. Here, an automatic speech recognition-based ASR model using spectral or spectro-temporal features is evaluated with empirical data. The results indicate that spectro-temporal features are crucial in order to predict the speaker-specific speech recognition threshold SRT$_{50}$ in both Cantonese and English as well as to account for the improvement of speech recognition in modulated noise, while effects due to Lombard speech can already be predicted by spectral features.


title: Exact and approximate determination of the Pareto set using minimal correction subsets

abstract: Recently, it has been shown that the enumeration of Minimal Correction Subsets (MCS) of Boolean formulas allows solving Multi-Objective Boolean Optimization (MOBO) formulations. However, a major drawback of this approach is that most MCSs do not correspond to Pareto-optimal solutions. In fact, one can only know that a given MCS corresponds to a Pareto-optimal solution when all MCSs are enumerated. Moreover, if it is not possible to enumerate all MCSs, then there is no guarantee of the quality of the approximation of the Pareto frontier. This paper extends the state of the art for solving MOBO using MCSs. First, we show that it is possible to use MCS enumeration to solve MOBO problems such that each MCS necessarily corresponds to a Pareto-optimal solution. Additionally, we also propose two new algorithms that can find a (1 + {\varepsilon})-approximation of the Pareto frontier using MCS enumeration. Experimental results in several benchmark sets show that the newly proposed algorithms allow finding better approximations of the Pareto frontier than state-of-the-art algorithms, and with guaranteed approximation ratios.


title: On the Modeling and Analysis of Fast Conditional Handover for 5G-Advanced

abstract: Conditional handover (CHO) is a state-of-the-art 3GPP handover mechanism used in 5G networks. Although it improves mobility robustness by reducing mobility failures, the decoupling of the handover preparation and execution phases in CHO significantly increases the signaling overhead. For 5G-Advanced networks, fast CHO (FCHO) is a recent 3GPP proposal that offers a practical solution whereby the user equipment (UE) can reuse earlier target cell preparations after each handover to autonomously execute subsequent handovers. This saves the signaling overhead associated with the reconfiguration and repreparation of target cells after each handover. In this paper, a comprehensive study on the mobility performance of FCHO with respect to mobility failures and signaling overhead in frequency range 2 (FR2) is carried out. In particular, the performance of FCHO is compared with CHO for two different multi-panel UE (MPUE) schemes. Results show that FCHO substantially reduces the signaling overhead of CHO, while at the same time it also reduces mobility failures due to faster triggering of the handover that is achieved by saving the preparation delay.


title: Measurement-based Admission Control in Sliced Networks: A Best Arm Identification Approach

abstract: In sliced networks, the shared tenancy of slices requires adaptive admission control of data flows, based on measurements of network resources. In this paper, we investigate the design of measurement-based admission control schemes, deciding whether a new data flow can be admitted and in this case, on which slice. The objective is to devise a joint measurement and decision strategy that returns a correct decision (e.g., the least loaded slice) with a certain level of confidence while minimizing the measurement cost (the number of measurements made before committing to the decision). We study the design of such strategies for several natural admission criteria specifying what a correct decision is. For each of these criteria, using tools from best arm identification in bandits, we first derive an explicit information-theoretical lower bound on the cost of any algorithm returning the correct decision with fixed confidence. We then devise a joint measurement and decision strategy achieving this theoretical limit. We compare empirically the measurement costs of these strategies, and compare them both to the lower bounds as well as a naive measurement scheme. We find that our algorithm significantly outperforms the naive scheme (by a factor $2-8$).


title: Robust Bayesian inference in complex models with possibility theory

abstract: We propose a general solution to the problem of robust Bayesian inference in complex settings where outliers may be present. In practice, the automation of robust Bayesian analyses is important in the many applications involving large and complex datasets. The proposed solution relies on a reformulation of Bayesian inference based on possibility theory, and leverages the observation that, in this context, the marginal likelihood of the data assesses the consistency between prior and likelihood rather than model fitness. Our approach does not require additional parameters in its simplest form and has a limited impact on the computational complexity when compared to non-robust solutions. The generality of our solution is demonstrated via applications on simulated and real data including matrix estimation and change-point detection.


title: Stabilization of rank-deficient continuous-time switched affine systems

abstract: This paper treats the global stabilization problem of continuous-time switched affine systems that have rank-deficient convex combinations of their dynamic matrices. For these systems, the already known set of attainable equilibrium points has higher dimensionality than in the full-rank case due to the existence of what we define as singular equilibrium points. Our main goal is to design a state-dependent switching function to ensure global asymptotic stability of a chosen point inside this set with conditions expressed in terms of linear matrix inequalities. For this class of systems, global exponential stability is generally impossible to be guaranteed. Hence, the proposed switching function is shown to ensure global asymptotic and local exponential stability of the desired equilibrium point. The position control and the velocity control with integral action of a dc motor driven by an h-bridge fed via a boost converter are used for validation. This practical application example is composed of eight subsystems, and all possible convex combinations of the dynamic matrices are singular.


title: Digital Pre-Distorted One-Step Phase Retrieval Algorithm for Real-Time Hologram Generation for Holographic Displays

abstract: In a computer-generated holographic projection system, the image is reconstructed via the diffraction of light from a spatial light modulator. In this process, several factors could contribute to non-linearities between the reconstruction and the target image. This paper evaluates the non-linearity of the overall holographic projection system experimentally, using binary phase holograms computed using the one-step phase retrieval (OSPR) algorithm, and then applies a digital pre-distortion (DPD) method to correct for the non-linearity. Both a notable increase in reconstruction quality and a significant reduction in mean squared error were observed, proving the effectiveness of the proposed DPD-OSPR algorithm.


title: Dynamic Realized Beta Models Using Robust Realized Integrated Beta Estimator

abstract: This paper introduces a unified parametric modeling approach for time-varying market betas that can accommodate continuous-time diffusion and discrete-time series models based on a continuous-time series regression model to better capture the dynamic evolution of market betas. We call this the dynamic realized beta (DR Beta). We first develop a non-parametric realized integrated beta estimator using high-frequency financial data contaminated by microstructure noises, which is robust to the stylized features, such as the time-varying beta and the dependence structure of microstructure noises, and construct the estimator's asymptotic properties. Then, with the robust realized integrated beta estimator, we propose a quasi-likelihood procedure for estimating the model parameters based on the combined high-frequency data and low frequency dynamic structure. We also establish asymptotic theorems for the proposed estimator and conduct a simulation study to check the performance of finite samples of the estimator. The empirical study with the S&P 500 index and the top 50 large trading volume stocks from the S&P 500 illustrates that the proposed DR Beta model effectively accounts for dynamics in the market beta of individual stocks and better predicts future market betas.


title: Orbital memory from individual Fe atoms on black phosphorus

abstract: Bistable valency in individual atoms presents a new approach toward single-atom memory, as well as a building block to create tunable and stochastic multi-well energy landscapes. Yet, this concept of orbital memory has thus far only been observed for cobalt atoms on the surface of black phosphorus, which are switched using tip-induced ionization. Here, we show that individual iron atoms on the surface of black phosphorus exhibit orbital memory using a combination of scanning tunneling microscopy and spectroscopy with ab initio calculations based on density functional theory. Unlike cobalt, the iron orbital memory can be switched in its non-ionized ground state. Based on calculations, we confirm that each iron valency has a distinct magnetic moment that is characterized by a distinguishable charge distribution due to the different orbital population. By studying the stochastic switching of the valency with varying tunneling conditions, we propose that the switching mechanism is based on a two-electron tunneling process.


title: Should I Follow AI-based Advice? Measuring Appropriate Reliance in Human-AI Decision-Making

abstract: Many important decisions in daily life are made with the help of advisors, e.g., decisions about medical treatments or financial investments. Whereas in the past, advice has often been received from human experts, friends, or family, advisors based on artificial intelligence (AI) have become more and more present nowadays. Typically, the advice generated by AI is judged by a human and either deemed reliable or rejected. However, recent work has shown that AI advice is not always beneficial, as humans have shown to be unable to ignore incorrect AI advice, essentially representing an over-reliance on AI. Therefore, the aspired goal should be to enable humans not to rely on AI advice blindly but rather to distinguish its quality and act upon it to make better decisions. Specifically, that means that humans should rely on the AI in the presence of correct advice and self-rely when confronted with incorrect advice, i.e., establish appropriate reliance (AR) on AI advice on a case-by-case basis. Current research lacks a metric for AR. This prevents a rigorous evaluation of factors impacting AR and hinders further development of human-AI decision-making. Therefore, based on the literature, we derive a measurement concept of AR. We propose to view AR as a two-dimensional construct that measures the ability to discriminate advice quality and behave accordingly. In this article, we derive the measurement concept, illustrate its application and outline potential future research.


title: Global Counterfactual Explanations: Investigations, Implementations and Improvements

abstract: Counterfactual explanations have been widely studied in explainability, with a range of application dependent methods emerging in fairness, recourse and model understanding. However, the major shortcoming associated with these methods is their inability to provide explanations beyond the local or instance-level. While some works touch upon the notion of a global explanation, typically suggesting to aggregate masses of local explanations in the hope of ascertaining global properties, few provide frameworks that are either reliable or computationally tractable. Meanwhile, practitioners are requesting more efficient and interactive explainability tools. We take this opportunity to investigate existing global methods, with a focus on implementing and improving Actionable Recourse Summaries (AReS), the only known global counterfactual explanation framework for recourse.


title: SoccerNet-Tracking: Multiple Object Tracking Dataset and Benchmark in Soccer Videos

abstract: Tracking objects in soccer videos is extremely important to gather both player and team statistics, whether it is to estimate the total distance run, the ball possession or the team formation. Video processing can help automating the extraction of those information, without the need of any invasive sensor, hence applicable to any team on any stadium. Yet, the availability of datasets to train learnable models and benchmarks to evaluate methods on a common testbed is very limited. In this work, we propose a novel dataset for multiple object tracking composed of 200 sequences of 30s each, representative of challenging soccer scenarios, and a complete 45-minutes half-time for long-term tracking. The dataset is fully annotated with bounding boxes and tracklet IDs, enabling the training of MOT baselines in the soccer domain and a full benchmarking of those methods on our segregated challenge sets. Our analysis shows that multiple player, referee and ball tracking in soccer videos is far from being solved, with several improvement required in case of fast motion or in scenarios of severe occlusion.


title: Proof of Federated Training: Accountable Cross-Network Model Training and Inference

abstract: Blockchain has widely been adopted to design accountable federated learning frameworks; however, the existing frameworks do not scale for distributed model training over multiple independent blockchain networks. For storing the pre-trained models over blockchain, current approaches primarily embed a model using its structural properties that are neither scalable for cross-chain exchange nor suitable for cross-chain verification. This paper proposes an architectural framework for cross-chain verifiable model training using federated learning, called Proof of Federated Training (PoFT), the first of its kind that enables a federated training procedure span across the clients over multiple blockchain networks. Instead of structural embedding, PoFT uses model parameters to embed the model over a blockchain and then applies a verifiable model exchange between two blockchain networks for cross-network model training. We implement and test PoFT over a large-scale setup using Amazon EC2 instances and observe that cross-chain training can significantly boosts up the model efficacy. In contrast, PoFT incurs marginal overhead for inter-chain model exchanges.


title: Traveling waves with continuous profile for hyperbolic Keller-Segel equation

abstract: This work describes a hyperbolic model for cell-cell repulsion with population dynamics. We consider the pressure produced by a population of cells to describe their motion. We assume that cells try to avoid crowded areas and prefer locally empty spaces far away from the carrying capacity. Here, our main goal is to prove the existence of traveling waves with continuous profiles. This article complements our previous results about sharp traveling waves. We conclude the paper with numerical simulations of the PDE problem, illustrating such a result.


title: M-center in low-energy electron irradiated 4H-SiC

abstract: We report on the low-energy electron irradiated 4H-SiC material studied by means of deep-level transient spectroscopy (DLTS) and Laplace-DLTS. Electron irradiation has introduced the following deep level defects: EH1 and EH3 previously assigned to carbon interstitial-related defects, and M-center, a metastable defect also recently assigned to carbon interstitial defects. We propose that EH1 and EH3 are identical to M1 and M3 and assign them to C_i^(= ) (h) and C_i^(0 ) (h), respectively. Moreover, we provide direct evidence that Laplace-DLTS can be used as an excellent tool to distinguish otherwise identical DLTS signals associated with S1 (VSi) and EH1 (Ci).


title: Calibration of scanning acoustic microscopy for the differentiation between unstable and stable atherosclerotic plaques by X-ray fluorescence imaging

abstract: Although cardiovascular diseases are the leading cause of death globally, non-invasive and inexpensive diagnostic tools for the identification of associated unstable atherosclerotic plaques are not yet available. Scanning acoustic microscopy offers a high potential to fill this critical gap in patient care. However, convincing validation and calibration of this technique requires high resolution maps of Ca concentrations of atherosclerotic plaques. Here, we demonstrate that synchrotron radiation-based X-ray fluorescence imaging with micrometer spatial resolution can provide such a gold standard.


title: A Unified Multi-task Learning Framework for Multi-goal Conversational Recommender Systems

abstract: Recent years witnessed several advances in developing multi-goal conversational recommender systems (MG-CRS) that can proactively attract users' interests and naturally lead user-engaged dialogues with multiple conversational goals and diverse topics. Four tasks are often involved in MG-CRS, including Goal Planning, Topic Prediction, Item Recommendation, and Response Generation. Most existing studies address only some of these tasks. To handle the whole problem of MG-CRS, modularized frameworks are adopted where each task is tackled independently without considering their interdependencies. In this work, we propose a novel Unified MultI-goal conversational recommeNDer system, namely UniMIND. In specific, we unify these four tasks with different formulations into the same sequence-to-sequence (Seq2Seq) paradigm. Prompt-based learning strategies are investigated to endow the unified model with the capability of multi-task learning. Finally, the overall learning and inference procedure consists of three stages, including multi-task learning, prompt-based tuning, and inference. Experimental results on two MG-CRS benchmarks (DuRecDial and TG-ReDial) show that UniMIND achieves state-of-the-art performance on all tasks with a unified model. Extensive analyses and discussions are provided for shedding some new perspectives for MG-CRS.


title: Handling sign language transcription system with the computer-friendly numerical multilabels

abstract: This paper presents our recent developments in the automatic processing of sign language corpora using the Hamburg Sign Language Annotation System (HamNoSys). We designed an automated tool to convert HamNoSys annotations into numerical labels for defined initial features of body and hand positions. Our proposed numerical multilabels greatly simplify annotations' structure without significant loss of gloss meaning. These numerical multilabels can potentially be used to feed the machine learning models, which would accelerate the development of vision-based sign language recognition. In addition, this tool can assist experts in the annotation process and help identify semantic errors. The code and sample annotations are publicly available at \url{https://github.com/hearai/parse-hamnosys}.


title: Cooling the optical-spin driven limit cycle oscillations of a levitated gyroscope

abstract: The non-conservative, azimuthal forces associated with inhomogeneous optical-spin angular momentum play a critical role in optical trapping. Intriguingly, birefringent microspheres can be stably levitated and rapidly rotated in circularly polarized optical traps in ultra-high vacuum whereas isotropic spheres are typically destabilized and expelled, even at relatively modest pressures. Here we show that the resolution of this apparent key paradox rests in the form of the orientationally averaged, effective forces acting on the spinning birefringent particle. In particular, the effective azimuthal component is heavily suppressed and highly non-linear. As a consequence, non-conservative effects are strongly, if imperfectly, inhibited. Their influence is apparent only at very low pressures where we observe the formation of noisy, nano-scale limit cycles or orbits. Finally, we show how parametric feedback can synthesize a form of dissipation, necessary to preserve limit cycle oscillation, without introducing additional thermal fluctuations. This allows the preparation of highly coherent, self-sustained oscillations with effective temperatures on the order of a milliKelvin. The tailoring of azimuthal spin forces through the material structure of a spinning, non-spherical particle opens up new opportunities for the design of ultra stable optical rotors. In addition, we have shown that the unique profile of the azimuthal force, featured in this work, allows for the formation of nano-scale limit cycles that can be stabilized and cooled. In principle, this approach could enable the cooling of limit cycles into the quantum regime, allowing for experimental realisation of quantum synchronization, or alternative ways of entangling mesoscopic bodies.


title: Primitive permutation groups of degree 3p

abstract: This paper presents an analysis of primitive permutation groups of degree $3p$, where $p$ is a prime number, analogous to H. Wielandt's treatment of groups of degree $2p$. It is also intended as an example of the systematic use of combinatorial methods as surveyed in \S6 for distilling information about a permutation group from knowledge of the decomposition of its character. The work is organised into three parts. Part I contains the lesser half of the calculation, the determination of the decomposition of the permutation character. Part II contains a survey of the combinatorial methods and, based on these methods, the major part of the calculation. Part III ties up loose ends left earlier in the paper and gives a tabulation of detailed numerical results.


title: Solution of Volume Integral and Hydrodynamic Equations to Analyze Electromagnetic Scattering from Composite Nanostructures

abstract: A coupled system of volume integral and hydrodynamic equations is solved to analyze electromagnetic scattering from nanostructures consisting of metallic and dielectric parts. In the metallic part, the hydrodynamic equation relates the free electron polarization current to the electric flux and effectively "updates" the constitutive relation to enable the modeling of nonlocality. In the metallic and the dielectric parts, the volume integral equation relates the electric flux and the free electron polarization current to the scattered electric field. Unknown electric flux and free electron polarization current are expanded using Schaubert-Wilton-Glisson basis functions. Inserting these expansions into the coupled system of the volume integral and hydrodynamic equations and using Galerkin testing yield a matrix system in unknown expansion coefficients. An efficient two-level iterative solver is proposed to solve this matrix system. This approach "inverts" the discretized hydrodynamic equation for the coefficients of the free electron polarization current and substitutes the result in the discretized volume integral equation. Outer iterations solve this reduced matrix system while the inner iterations invert the discretized hydrodynamic equation at every iteration of the outer iterations. Numerical experiments are carried out to demonstrate the accuracy, the efficiency, and the applicability of the proposed method.


title: Sign of the Feynman Propagator and Irreversibility

abstract: For the interacting Feynman propagator $ \Delta_{F,int}(x,y) $ of scalar electrodynamics, we show that the sign property, $ \operatorname{Re} i\Delta_{F,int} \geq 0 $, hinges on the reversibility of time evolution. In contrast, $ \operatorname{Im} i\Delta_{F,int} $ is indeterminate. When we switch to reduced dynamics under the weak coupling approximation, the positive semidefinite sign of $ \operatorname{Re} i\Delta_{F,int} $ is generally lost, unless we impose severe restrictions on the Kraus operators that govern time evolution. With another approximation, the rotating wave approximation, we may recover the sign by restricting the test functions to exponentials under certain conditions.


title: Sketch guided and progressive growing GAN for realistic and editable ultrasound image synthesis

abstract: Ultrasound (US) imaging is widely used for anatomical structure inspection in clinical diagnosis. The training of new sonographers and deep learning based algorithms for US image analysis usually requires a large amount of data. However, obtaining and labeling large-scale US imaging data are not easy tasks, especially for diseases with low incidence. Realistic US image synthesis can alleviate this problem to a great extent. In this paper, we propose a generative adversarial network (GAN) based image synthesis framework. Our main contributions include: 1) we present the first work that can synthesize realistic B-mode US images with high-resolution and customized texture editing features; 2) to enhance structural details of generated images, we propose to introduce auxiliary sketch guidance into a conditional GAN. We superpose the edge sketch onto the object mask and use the composite mask as the network input; 3) to generate high-resolution US images, we adopt a progressive training strategy to gradually generate high-resolution images from low-resolution images. In addition, a feature loss is proposed to minimize the difference of high-level features between the generated and real images, which further improves the quality of generated images; 4) the proposed US image synthesis method is quite universal and can also be generalized to the US images of other anatomical structures besides the three ones tested in our study (lung, hip joint, and ovary); 5) extensive experiments on three large US image datasets are conducted to validate our method. Ablation studies, customized texture editing, user studies, and segmentation tests demonstrate promising results of our method in synthesizing realistic US images.


title: Unfolding engineering metamaterials design: relaxed micromorphic modeling of large-scale acoustic meta-structures

abstract: In this paper, we present a unit cell showing a band-gap in the lower acoustic domain. The corresponding metamaterial is made up of a periodic arrangement of this unit cell. We rigorously show that the relaxed micromorphic model can be used for metamaterials' design at large scales as soon as suficiently large specimens are considered. We manufacture the metamaterial via metal etching procedures applied to a titanium plate so as to show that its production for realistic applications is viable. Experimental tests are also carried out confirming that the metamaterials' response is in good agreement with the theoretical design. In order to show that our micromorphic model opens unprecedented possibilities in metastructural design, we conceive a finite-size structure that is able to focus elastic energy in a confined region, thus enabling its possible subsequent re-use. Indeed, thanks to the introduction of a well-posed set of micromorphic boundary conditions, we can combine different metamaterials and classical Cauchy materials in such a way that the elastic energy produced by a source of vibrations is focused in specific collection points. The design of this structure would have not been otherwise possible (via e.g., direct simulations), due to the large dimensions of the metastructure, couting hundreds of unit cells.


title: Geometric Deep Learning to Identify the Critical 3D Structural Features of the Optic Nerve Head for Glaucoma Diagnosis

abstract: Purpose: The optic nerve head (ONH) undergoes complex and deep 3D morphological changes during the development and progression of glaucoma. Optical coherence tomography (OCT) is the current gold standard to visualize and quantify these changes, however the resulting 3D deep-tissue information has not yet been fully exploited for the diagnosis and prognosis of glaucoma. To this end, we aimed: (1) To compare the performance of two relatively recent geometric deep learning techniques in diagnosing glaucoma from a single OCT scan of the ONH; and (2) To identify the 3D structural features of the ONH that are critical for the diagnosis of glaucoma. Methods: In this study, we included a total of 2,247 non-glaucoma and 2,259 glaucoma scans from 1,725 subjects. All subjects had their ONHs imaged in 3D with Spectralis OCT. All OCT scans were automatically segmented using deep learning to identify major neural and connective tissues. Each ONH was then represented as a 3D point cloud. We used PointNet and dynamic graph convolutional neural network (DGCNN) to diagnose glaucoma from such 3D ONH point clouds and to identify the critical 3D structural features of the ONH for glaucoma diagnosis. Results: Both the DGCNN (AUC: 0.97$\pm$0.01) and PointNet (AUC: 0.95$\pm$0.02) were able to accurately detect glaucoma from 3D ONH point clouds. The critical points formed an hourglass pattern with most of them located in the inferior and superior quadrant of the ONH. Discussion: The diagnostic accuracy of both geometric deep learning approaches was excellent. Moreover, we were able to identify the critical 3D structural features of the ONH for glaucoma diagnosis that tremendously improved the transparency and interpretability of our method. Consequently, our approach may have strong potential to be used in clinical applications for the diagnosis and prognosis of a wide range of ophthalmic disorders.


title: Topological edge-states of the PT-symmetric Su-Schrieffer-Heeger model: An effective two-state description

abstract: We consider the non-Hermitian, parity-time (PT) symmetric extensions of the one-dimensional Su-Schrieffer-Heeger (SSH) model in the topological non-trivial configuration. We study the properties of the topologically protected edge states, and develop an effective two-state analytical description of the system that accurately predicts the PT-symmetry breaking point for the edge states. We verify our analytical results by exact numerical calculations.


title: New calculations of neutron and kaon decays

abstract: We describe two recent developments of the radiative correction theory in semileptonic beta decays. For neutron, a novel dispersive analysis of the $\gamma W$-box diagram making use of neutrino scattering data leads to an improved precision and a shifted central value of $V_{ud}$; for kaon, an appropriate combination of meson form factors, lattice QCD inputs and chiral perturbation theory gives a much-improved determination of the radiative corrections in semileptonic kaon decays. These new calculations help to unveil/sharpen a series of anomalies in the measurements of $V_{ud}$ and $V_{us}$ that may point towards the existence of new physics.


title: Procedural Content Generation using Neuroevolution and Novelty Search for Diverse Video Game Levels

abstract: Procedurally generated video game content has the potential to drastically reduce the content creation budget of game developers and large studios. However, adoption is hindered by limitations such as slow generation, as well as low quality and diversity of content. We introduce an evolutionary search-based approach for evolving level generators using novelty search to procedurally generate diverse levels in real time, without requiring training data or detailed domain-specific knowledge. We test our method on two domains, and our results show an order of magnitude speedup in generation time compared to existing methods while obtaining comparable metric scores. We further demonstrate the ability to generalise to arbitrary-sized levels without retraining.


title: Concentration of Random Feature Matrices in High-Dimensions

abstract: The spectra of random feature matrices provide essential information on the conditioning of the linear system used in random feature regression problems and are thus connected to the consistency and generalization of random feature models. Random feature matrices are asymmetric rectangular nonlinear matrices depending on two input variables, the data and the weights, which can make their characterization challenging. We consider two settings for the two input variables, either both are random variables or one is a random variable and the other is well-separated, i.e. there is a minimum distance between points. With conditions on the dimension, the complexity ratio, and the sampling variance, we show that the singular values of these matrices concentrate near their full expectation and near one with high-probability. In particular, since the dimension depends only on the logarithm of the number of random weights or the number of data points, our complexity bounds can be achieved even in moderate dimensions for many practical setting. The theoretical results are verified with numerical experiments.


title: Description and complexity of Non-markovian open quantum dynamics

abstract: Understanding and simulating non-Markovian quantum dynamics remains an important challenge in open quantum system theory. A key advance in this endeavour would be to develop a unified mathematical description of non-Markovian dynamics, and classify its complexity in the many-body setting. In this paper, we identify a general class of non-Markovian memory kernels, described by complex-valued radon measures, and define their dynamics through a regularization procedure constructing the corresponding system-environment unitary groups. Building on this definition, we then consider $k-$local many-body non-Markovian systems with physically motivated assumptions on the total variation and smoothness of the memory kernels. We establish that their dynamics can be efficiently approximated on quantum computers, thus providing a rigorous verification of the Extended Church-Turing thesis for this general class of non-Markovian open quantum systems.


title: CO Emission, Molecular Gas, and Metallicity in Main-Sequence Star-Forming Galaxies at $z\sim2.3$

abstract: We present observations of CO(3-2) in 13 main-sequence $z=2.0-2.5$ star-forming galaxies at $\log(M_*/M_{\odot})=10.2-10.6$ that span a wide range in metallicity (O/H) based on rest-optical spectroscopy. We find that CO(3-2)/SFR decreases with decreasing metallicity, implying that the CO luminosity per unit gas mass is lower in low-metallicity galaxies at $z\sim2$. We constrain the CO-to-H$_2$ conversion factor ($\alpha_{\text{CO}}$) and find that $\alpha_{\text{CO}}$ inversely correlates with metallicity at $z\sim2$. We derive molecular gas masses ($M_{\text{mol}}$) and characterize the relations among $M_*$, SFR, $M_{\text{mol}}$, and metallicity. At $z\sim2$, $M_{\text{mol}}$ increases and molecular gas fraction ($M_{\text{mol}}$/$M_*$) decrease with increasing $M_*$, with a significant secondary dependence on SFR. Galaxies at $z\sim2$ lie on a near-linear molecular KS law that is well-described by a constant depletion time of 700 Myr. We find that the scatter about the mean SFR-$M_*$, O/H-$M_*$, and $M_{\text{mol}}$-$M_*$ relations is correlated such that, at fixed $M_*$, $z\sim2$ galaxies with larger $M_{\text{mol}}$ have higher SFR and lower O/H. We thus confirm the existence of a fundamental metallicity relation at $z\sim2$ where O/H is inversely correlated with both SFR and $M_{\text{mol}}$ at fixed $M_*$. These results suggest that the scatter of the $z\sim2$ star-forming main sequence, mass-metallicity relation, and $M_{\text{mol}}$-$M_*$ relation are primarily driven by stochastic variations in gas inflow rates. We place constraints on the mass loading of galactic outflows and perform a metal budget analysis, finding that massive $z\sim2$ star-forming galaxies retain only 30% of metals produced, implying that a large mass of metals resides in the circumgalactic medium.


title: On the Fundamental Tradeoff of Integrated Sensing and Communications Under Gaussian Channels

abstract: ISAC is recognized as a promising technology for the next-generation wireless networks, which provides significant performance gains over individual S&C systems via the shared use of wireless resources. The characterization of the S&C performance tradeoff is at the core of the theoretical foundation of ISAC. In this paper, we consider a point-to-point ISAC model under vector Gaussian channels, and propose to use the CRB-rate region as a basic tool for depicting the fundamental S&C tradeoff. In particular, we consider the scenario where a unified ISAC waveform is emitted from a dual-functional ISAC Tx, which simultaneously performs S&C tasks with a communication Rx and a sensing Rx. In order to perform both S&C tasks, the ISAC waveform is required to be random to convey communication information, with realizations being perfectly known at both the ISAC Tx and the sensing Rx as a reference sensing signal as in typical radar systems. As the main contribution of this paper, we characterize the S&C performance at the two corner points of the CRB-rate region, namely, $P_{SC}$ indicating the max. achievable rate constrained by the min. CRB, and $P_{CS}$ indicating the min. achievable CRB constrained by the max. rate. In particular, we derive the high-SNR capacity at $P_{SC}$, and provide lower and upper bounds for the sensing CRB at $P_{CS}$. We show that these two points can be achieved by the conventional Gaussian signaling and a novel strategy relying on the uniform distribution over the Stiefel manifold, respectively. Based on the above-mentioned analysis, we provide an outer bound and various inner bounds for the achievable CRB-rate regions. Our main results reveal a two-fold tradeoff in ISAC systems, consisting of the subspace tradeoff (ST) and the deterministic-random tradeoff (DRT) that depend on the resource allocation and data modulation schemes employed for S&C, respectively.


title: Prediction and Control of Focal Seizure Spread: Random Walk with Restart on Heterogeneous Brain Networks

abstract: Whole-brain models offer a promising method of predicting seizure spread, which is critical for successful surgery treatment of focal epilepsy. Existing methods are largely based on structural connectome, which ignores the effects of heterogeneity in regional excitability of brains. In this study, we used a whole-brain model to show that heterogeneity in nodal excitability had a significant impact on seizure propagation in the networks, and compromised the prediction accuracy with structural connections. We then addressed this problem with an algorithm based on random walk with restart on graphs. We demonstrated that by establishing a relationship between the restarting probability and the excitability for each node, this algorithm could significantly improve the seizure spread prediction accuracy in heterogeneous networks, and was more robust against the extent of heterogeneity. We also strategized surgical seizure control as a process to identify and remove the key nodes (connections) responsible for the early spread of seizures from the focal region. Compared to strategies based on structural connections, virtual surgery with a strategy based on mRWER generated outcomes with a high success rate while maintaining low damage to the brain by removing fewer anatomical connections. These findings may have potential applications in developing personalized surgery strategies for epilepsy.


title: On the critical $p$-Laplace equation

abstract: In this paper we provide the classification of positive solutions to the critical $p-$Laplace equation on $\mathbb{R}^n$, for $1<p<n$, possibly having infinite energy. If $n=2$, or if $n=3$ and $\frac 32<p<2$ we prove rigidity without any further assumptions. In the remaining cases we obtain the classification under energy growth conditions or suitable control of the solutions at infinity. Our assumptions are much weaker than those already appearing in the literature. We also discuss the extension of the results to the Riemannian setting.


title: Probing surfactant bilayer interactions by tracking optically trapped single nanoparticles

abstract: Single-particle tracking and optical tweezers are powerful techniques for studying diverse processes at the microscopic scale. The stochastic behavior of a microscopically observable particle contains information about its interaction with surrounding molecules, and an optical tweezer can further facilitate this observation with its ability to constrain the particle to an area of interest. Although these techniques found their initial applications in biology, they can also shed new light on colloid and interface phenomena by unveiling nanoscale morphologies and molecular-level interactions in real time, which have been obscured in traditional ensemble analysis. Here we demonstrate the application of single-particle tracking and optical tweezers for studying molecular interactions at solid-liquid interfaces. Specifically, we investigate the behavior of surfactants at the water-glass interface by tracing their interactions with gold nanoparticles that are optically trapped on these molecules. We discover the underlying mechanisms governing the particle motion, which can be explained by hydrophobic interactions, disruptions, and rearrangements among surfactant monomers at the interfaces. Such interpretations are further supported by statistical analysis of an individual trajectory and comparison to theoretical predictions. Our findings provide new insights into the surfactant dynamics in this specific system but also illustrate the promise of single-particle tracking and optical manipulation in studying nanoscale physics and chemistry of surfaces and interfaces.


title: Bistability and chaos-assisted tunneling in the dissipative quantum systems

abstract: We revisit the problem of quantum bi- and multi-stability by considering the dissipative Double Resonance Model. For a large driving frequency, this system has a simpler phase structure than the driven dissipative nonlinear oscillator -- the paradigm model for classical and quantum bistability. This allows us to obtain an analytical estimate for the lifetime of quantum limit cycles. On the other hand, for a small driving frequency, the system is much reacher than the nonlinear oscillator. This allows us to address a novel phenomenon of dissipation- and chaos-assisted tunneling between quantum limits cycles.


title: Option Pricing with Time-Varying Volatility Risk Aversion

abstract: We introduce a novel pricing kernel with time-varying variance risk aversion that yields closed-form expressions for the VIX. We also obtain closed-form expressions for option prices with a novel approximation method. The model can explain the observed time-variation in the shape of the pricing kernel. We estimate the model with S&P 500 returns and option prices and find that time-variation in volatility risk aversion brings a substantial reduction in derivative pricing errors. The variance risk ratio emerges as a fundamental variable and we show that it is closely related to economic fundamentals and key measures of sentiment and uncertainty.


title: Better-Than-$\frac{4}{3}$-Approximations for Leaf-to-Leaf Tree and Connectivity Augmentation

abstract: The Connectivity Augmentation Problem (CAP) together with a well-known special case thereof known as the Tree Augmentation Problem (TAP) are among the most basic Network Design problems. There has been a surge of interest recently to find approximation algorithms with guarantees below $2$ for both TAP and CAP, culminating in the currently best approximation factor for both problems of $1.393$ through quite sophisticated techniques. We present a new and arguably simple matching-based method for the well-known special case of leaf-to-leaf instances. Combining our work with prior techniques, we readily obtain a $(\frac{4}{3}+\epsilon)$-approximation for Leaf-to-Leaf CAP by returning the better of our solution and one of an existing method. Prior to our work, a $\frac{4}{3}$-guarantee was only known for Leaf-to-Leaf TAP instances on trees of height $2$. Moreover, when combining our technique with a recently introduced stack analysis approach, which is part of the above-mentioned $1.393$-approximation, we can further improve the approximation factor to $1.29$, obtaining for the first time a factor below $\frac{4}{3}$ for a nontrivial class of TAP/CAP instances.


title: The Vision of a Human-Centered Piano

abstract: For around 300 years, humans have been learning to play the modern piano either with a teacher or on their own. In recent years teaching and learning have been enhanced using augmented technologies that support novices. Other technologies have also tried to improve different use cases with the piano, such as composing and performing. Researchers and practitioners have showcased several forms of augmentation, from hardware improvements, sound quality, rendering projected visualizations to gesture-based and immersive technologies. Today, the landscape of piano augmentations is very diverse, and it is unclear how to describe the ideal piano and its features. In this work, we discuss how the human-centered piano -- the piano that has been designed with humans in the center of the design process and that effectively supports tasks performed on it -- can support pianists. In detail, we present the three tasks of learning, composing, and improvising in which a human-centered piano would be beneficial for the pianist.


title: Visualization for Epidemiological Modelling: Challenges, Solutions, Reflections & Recommendations

abstract: We report on an ongoing collaboration between epidemiological modellers and visualization researchers by documenting and reflecting upon knowledge constructs -- a series of ideas, approaches and methods taken from existing visualization research and practice -- deployed and developed to support modelling of the COVID-19 pandemic. Structured independent commentary on these efforts is synthesized through iterative reflection to develop: evidence of the effectiveness and value of visualization in this context; open problems upon which the research communities may focus; guidance for future activity of this type; and recommendations to safeguard the achievements and promote, advance, secure and prepare for future collaborations of this kind. In describing and comparing a series of related projects that were undertaken in unprecedented conditions, our hope is that this unique report, and its rich interactive supplementary materials, will guide the scientific community in embracing visualization in its observation, analysis and modelling of data as well as in disseminating findings. Equally we hope to encourage the visualization community to engage with impactful science in addressing its emerging data challenges. If we are successful, this showcase of activity may stimulate mutually beneficial engagement between communities with complementary expertise to address problems of significance in epidemiology and beyond. https://ramp-vis.github.io/RAMPVIS-PhilTransA-Supplement/


title: EEG-ITNet: An Explainable Inception Temporal Convolutional Network for Motor Imagery Classification

abstract: In recent years, neural networks and especially deep architectures have received substantial attention for EEG signal analysis in the field of brain-computer interfaces (BCIs). In this ongoing research area, the end-to-end models are more favoured than traditional approaches requiring signal transformation pre-classification. They can eliminate the need for prior information from experts and the extraction of handcrafted features. However, although several deep learning algorithms have been already proposed in the literature, achieving high accuracies for classifying motor movements or mental tasks, they often face a lack of interpretability and therefore are not quite favoured by the neuroscience community. The reasons behind this issue can be the high number of parameters and the sensitivity of deep neural networks to capture tiny yet unrelated discriminative features. We propose an end-to-end deep learning architecture called EEG-ITNet and a more comprehensible method to visualise the network learned patterns. Using inception modules and causal convolutions with dilation, our model can extract rich spectral, spatial, and temporal information from multi-channel EEG signals with less complexity (in terms of the number of trainable parameters) than other existing end-to-end architectures, such as EEG-Inception and EEG-TCNet. By an exhaustive evaluation on dataset 2a from BCI competition IV and OpenBMI motor imagery dataset, EEG-ITNet shows up to 5.9\% improvement in the classification accuracy in different scenarios with statistical significance compared to its competitors. We also comprehensively explain and support the validity of network illustration from a neuroscientific perspective. We have also made our code open at https://github.com/AbbasSalami/EEG-ITNet