title: Sequential- and Parallel- Constrained Max-value Entropy Search via Information Lower Bound

abstract: Max-value entropy search (MES) is one of the state-of-the-art approaches in Bayesian optimization (BO). In this paper, we propose a novel variant of MES for constrained problems, called Constrained MES via Information lower BOund (CMES-IBO), that is based on a Monte Carlo (MC) estimator of a lower bound of a mutual information (MI). Unlike existing studies, our MI is defined so that uncertainty with respect to feasibility can be incorporated. We derive a lower bound of the MI that guarantees non-negativity, while a constrained counterpart of conventional MES can be negative. We further provide theoretical analysis that assures the low-variability of our estimator which has never been investigated for any existing information-theoretic BO. Moreover, using the conditional MI, we extend CMES-IBO to the parallel setting while maintaining the desirable properties. We demonstrate the effectiveness of CMES-IBO by several benchmark functions and real-world problems.


title: Isbell adjunctions and Kan adjunctions via quantale-enriched two-variable adjunctions

abstract: It is shown that every two-variable adjunction in categories enriched in a commutative quantale serves as a base for constructing Isbell adjunctions between functor categories, and Kan adjunctions are precisely Isbell adjunctions constructed from suitable associated two-variable adjunctions. Representation theorems are established for fixed points of these adjunctions.


title: "Do this! Do that!, And nothing will happen" Do specifications lead to securely stored passwords?

abstract: Does the act of writing a specification (how the code should behave) for a piece of security sensitive code lead to developers producing more secure code? We asked 138 developers to write a snippet of code to store a password: Half of them were asked to write down a specification of how the code should behave before writing the program, the other half were asked to write the code but without being prompted to write a specification first. We find that explicitly prompting developers to write a specification has a small positive effect on the security of password storage approaches implemented. However, developers often fail to store passwords securely, despite claiming to be confident and knowledgeable in their approaches, and despite considering an appropriate range of threats. We find a need for developer-centered usable mechanisms for telling developers how to store passwords: lists of what they must do are not working.


title: Hardness of Metric Dimension in Graphs of Constant Treewidth

abstract: The Metric Dimension problem asks for a minimum-sized resolving set in a given (unweighted, undirected) graph $G$. Here, a set $S \subseteq V(G)$ is resolving if no two distinct vertices of $G$ have the same distance vector to $S$. The complexity of Metric Dimension in graphs of bounded treewidth remained elusive in the past years. Recently, Bonnet and Purohit [IPEC 2019] showed that the problem is W[1]-hard under treewidth parameterization. In this work, we strengthen their lower bound to show that Metric Dimension is NP-hard in graphs of treewidth 24.


title: Superconducting FeSe monolayer with milli-electron volt Fermi energy

abstract: Iron selenide (FeSe) is an iron-based superconductor which shows unique properties, including strongly anisotropic superconducting gap, paramagnetism in undoped compound and extremely small Fermi pocket size. In this work, we demonstrate that the sizes of electron and hole pockets in FeSe monolayer become much smaller than those in bulk. The Fermi energy is in the order of a few meV and can be fine-tuned by the thickness of graphene layers underneath. Despite the low carrier density, the FeSe monolayers grown on trilayer or multi-layer graphene are superconducting. The superconducting gap size is sensitive to the Fermi energy of the hole band. Remarkably, the FeSe monolayer provides the opportunity to study the physics in the crossover regime where the Fermi energy and superconducting gap are comparable to each other.


title: A coordinated control to improve performance for a building cluster with energy storage, electric vehicles, and energy sharing considered

abstract: Distributed renewable energy systems are now widely installed in many buildings, transforming the buildings into electricity prosumers. Existing studies have developed some advanced building side controls that enable renewable energy sharing and that aim to optimise building-cluster-level performance via regulating the energy storage charging/ discharging. However, the flexible demand shifting ability of electric vehicles is not considered in these building side controls. For instance, the electric vehicle charging will usually start once they are plugged into charging stations. But, in such charging period the renewable generation may be insufficient to cover the EV charging load, leading to grid electricity imports. Consequently, the building-cluster-level performance is not optimised. Therefore, this study proposes a coordinated control of building prosumers for improving the cluster-level performance, by making use of energy sharing and storage capability of electricity batteries in both buildings and EVs. An EV charging/discharging model is first developed. Then, based on the predicted future 24h electricity demand and renewable generation data, the coordinated control first considers the whole building cluster as one integrated building and optimises its operation as well as the EV charging/discharging using genetic algorithm. Next, the operation of individual buildings in the future 24h is coordinated using nonlinear programming. For validation, the developed control has been tested on a real building cluster in Ludvika, Sweden. The study results show that the developed control can increase the cluster-level daily renewable self-consumption rate by 19% and meanwhile reduce the daily electricity bills by 36% compared with the conventional controls.


title: Hierarchical Recurrent Neural Networks for Conditional Melody Generation with Long-term Structure

abstract: The rise of deep learning technologies has quickly advanced many fields, including that of generative music systems. There exist a number of systems that allow for the generation of good sounding short snippets, yet, these generated snippets often lack an overarching, longer-term structure. In this work, we propose CM-HRNN: a conditional melody generation model based on a hierarchical recurrent neural network. This model allows us to generate melodies with long-term structures based on given chord accompaniments. We also propose a novel, concise event-based representation to encode musical lead sheets while retaining the notes' relative position within the bar with respect to the musical meter. With this new data representation, the proposed architecture can simultaneously model the rhythmic, as well as the pitch structures in an effective way. Melodies generated by the proposed model were extensively evaluated in quantitative experiments as well as a user study to ensure the musical quality of the output as well as to evaluate if they contain repeating patterns. We also compared the system with the state-of-the-art AttentionRNN. This comparison shows that melodies generated by CM-HRNN contain more repeated patterns (i.e., higher compression ratio) and a lower tonal tension (i.e., more tonally concise). Results from our listening test indicate that CM-HRNN outperforms AttentionRNN in terms of long-term structure and overall rating.


title: Slow dynamics of disordered zigzag chain molecules in layered LiVS2 under electron irradiation

abstract: Electronic instabilities in transition metal compounds often spontaneously form orbital molecules, which consist of orbital-coupled metal ions at low temperature. Recent local structural studies utilizing the pair distribution function revealed that preformed orbital molecules appear disordered even in the high-temperature paramagnetic phase. However, it is unclear whether preformed orbital molecules are dynamic or static. Here, we provide clear experimental evidence of the slow dynamics of disordered orbital molecules realized in the high-temperature paramagnetic phase of LiVS2, which exhibits vanadium trimerization upon cooling below 314 K. Unexpectedly, the preformed orbital molecules appear as a disordered zigzag chain that fluctuate in both time and space under electron irradiation. Our findings should advance studies on soft matter physics realized in an inorganic material due to disordered orbital molecules.


title: A GAN-Based Input-Size Flexibility Model for Single Image Dehazing

abstract: Image-to-image translation based on generative adversarial network (GAN) has achieved state-of-the-art performance in various image restoration applications. Single image dehazing is a typical example, which aims to obtain the haze-free image of a haze one. This paper concentrates on the challenging task of single image dehazing. Based on the atmospheric scattering model, a novel model is designed to directly generate the haze-free image. The main challenge of image dehazing is that the atmospheric scattering model has two parameters, i.e., transmission map and atmospheric light. When they are estimated respectively, the errors will be accumulated to compromise the dehazing quality. Considering this reason and various image sizes, a novel input-size flexibility conditional generative adversarial network (cGAN) is proposed for single image dehazing, which is input-size flexibility at both training and test stages for image-to-image translation with cGAN framework. A simple and effective U-connection residual network (UR-Net) is proposed to combine the generator and adopt the spatial pyramid pooling (SPP) to design the discriminator. Moreover, the model is trained with multi-loss function, in which the consistency loss is a novel designed loss in this paper. Finally, a multi-scale cGAN fusion model is built to realize state-of-the-art single image dehazing performance. The proposed models receive a haze image as input and directly output a haze-free one. Experimental results demonstrate the effectiveness and efficiency of the proposed models.


title: A systematic review of recent air source heat pump (ASHP) systems assisted by solar thermal, photovoltaic and photovoltaic/thermal sources

abstract: The air source heat pump (ASHP) systems assisted by solar energy have drawn great attentions, owing to their great feasibility in buildings for space heating/cooling and hot water purposes. However, there are a variety of configurations, parameters and performance criteria of solar assisted ASHP systems, leading to a major inconsistency that increase the degree of complexity to compare and implement different systems. A comparative literature review is lacking, with the aim to evaluate the performance of various ASHP systems from three main solar sources, such as solar thermal (ST), photovoltaic (PV) and hybrid photovoltaic/thermal (PV/T). This paper thus conducts a systematic review of the prevailing solar assisted ASHP systems, including their boundary conditions, system configurations, performance indicators, research methodologies and system performance. The comparison result indicates that PV-ASHP system has the best techno-economic performance, which performs best in average with coefficient of performance (COP) of around 3.75, but with moderate cost and payback time. While ST-ASHP and PV/T-ASHP systems have lower performance with mean COP of 2.90 and 3.03, respectively. Moreover, PV/T-ASHP system has the highest cost and longest payback time, while ST-ASHP has the lowest ones. Future research are discussed from aspects of methodologies, system optimization and standard evaluation.


title: Training Neural Networks is $\exists\mathbb R$-complete

abstract: Given a neural network, training data, and a threshold, it was known that it is NP-hard to find weights for the neural network such that the total error is below the threshold. We determine the algorithmic complexity of this fundamental problem precisely, by showing that it is $\exists\mathbb R$-complete. This means that the problem is equivalent, up to polynomial-time reductions, to deciding whether a system of polynomial equations and inequalities with integer coefficients and real unknowns has a solution. If, as widely expected, $\exists\mathbb R$ is strictly larger than NP, our work implies that the problem of training neural networks is not even in NP. Neural networks are usually trained using some variation of backpropagation. The result of this paper offers an explanation why techniques commonly used to solve big instances of NP-complete problems seem not to be of use for this task. Examples of such techniques are SAT solvers, IP solvers, local search, dynamic programming, to name a few general ones.


title: Construction of Side Channel Attacks Resistant S-boxes using Genetic Algorithms based on Coordinate Functions

abstract: Background and Objectives: Substitution-box (s-box) is one of the essential components to create confusion and nonlinear properties in cryptography. To strengthening a cipher against various attacks, including side channel attacks, these boxes need to have numerous security properties. In this paper, a novel method to generate s-boxes is introduced aimed at improving the resistance of s-boxes against side channel attacks. Methods: In the preprocessing phase of this approach, a suitable initial s-box which has some basic security properties is generated by adopting a fast algorithm. Then, in the main stage, using the initial s-box, we generate new s-boxes which not only have the properties of the initial S-box but also have been significantly improved under another set of security properties. To do this, new s-boxes are generated using a genetic algorithm on a particular subset of the linear combination set of coordinate functions of the initial s-box in the preprocessing stage. Results: The performed experiments demonstrate that the values of all security properties of these new s-boxes, especially the measures of transparency order, signal-to-noise ratio, confusion coefficient, bijection property, fixed point, and opposite fixed points, have been substantially improved. For example, our experiments indicate that 70, 220, 2071, 43, and 406 s-boxes are found better than the initial s-box, respectively, in the dimensions of 4x4 through 8x8 Conclusion: In this article, a new s-box construction method is introduced in which the properties related to side channel attacks are improved, without reducing other security properties. Besides, some results obtained from generated s-boxes in the dimensions of 4x4 through 8x8 demonstrated that the generated s-boxes are not only improved relative to the initial s-box, but in some cases, considerably better than some well-known s-boxes.


title: A short characterization of the Octonions

abstract: In this paper we prove that if $R$ is a proper alternative ring whose additive group has no $3$-torsion and whose non-zero commutators are not zero-divisors, then $R$ has no zero-divisors. It follows from a theorem of Bruck and Kleinfeld that if, in addition, the characteristic of $R$ is not $2,$ then the central quotient of $R$ is an octonion division algebra over some field. We include other characterizations of octonion division algebras and we also deal with the case where $(R,+)$ has $3$-torsion.


title: Dynamical Screening Effects on Big Bang Nucleosynthesis

abstract: A moving ion in plasma creates a deformed electric potential depending on the ion velocity, which leads to the distinct screening effect compared to the standard static Salpeter formula. In this paper, adopting the test charge method, we explore the dynamical screening effects on big bang nucleosynthesis (BBN). We find that the high temperature in the early universe causes the ion velocity to be faster than the solar condition so that the electric potential is effectively polarized. However, the low density of background plasma components significantly suppresses the dynamical screening effects on thermonuclear reaction rates during the BBN epoch. We compare our results with several thermonuclear reaction rates for solar fusion considering the dynamical screening effects. Also, we discuss the additional plasma properties in other astrophysical sites for the possible expansion from the present calculation in the future.


title: Optimal Vaccination and Treatment Strategies in Reduction of COVID-19 Burden

abstract: In this study, we formulate a mathematical model incorporating age specific transmission dynamics of COVID-19 to evaluate the role of vaccination and treatment strategies in reducing the size of COVID-19 burden. Initially, we establish the positivity and boundedness of the solutions of the model and calculate the basic reproduction number. We then formulate an optimal control problem with vaccination and treatment as control variables. Optimal vaccination and treatment policies are analysed for different values of the weight constant associated with the cost of vaccination and different transmissibility levels. Findings from these suggested that the combined strategies(vaccination and treatment) worked best in minimizing the infection and disease induced mortality. In order to reduce COVID-19 infection and COVID-19 induced deaths to maximum, it was observed that optimal control strategy should be prioritized to population with age greater than 40 years. Not much difference was found between individual strategies and combined strategies in case of mild epidemic ($R_0 \in (0, 2)$). For higher values of $R_0 (R_0 \in (2, 10))$ the combined strategies was found to be best in terms of minimizing the overall infection. The infection curves varying the efficacies of the vaccines were also analysed and it was found that higher efficacy of the vaccine resulted in lesser number of infection and COVID induced death.


title: Meeting Effectiveness and Inclusiveness in Remote Collaboration

abstract: A primary goal of remote collaboration tools is to provide effective and inclusive meetings for all participants. To study meeting effectiveness and meeting inclusiveness, we first conducted a large-scale email survey (N=4,425; after filtering N=3,290) at a large technology company (pre-COVID-19); using this data we derived a multivariate model of meeting effectiveness and show how it correlates with meeting inclusiveness, participation, and feeling comfortable to contribute. We believe this is the first such model of meeting effectiveness and inclusiveness. The large size of the data provided the opportunity to analyze correlations that are specific to sub-populations such as the impact of video. The model shows the following factors are correlated with inclusiveness, effectiveness, participation, and feeling comfortable to contribute in meetings: sending a pre-meeting communication, sending a post-meeting summary, including a meeting agenda, attendee location, remote-only meeting, audio/video quality and reliability, video usage, and meeting size. The model and survey results give a quantitative understanding of how and where to improve meeting effectiveness and inclusiveness and what the potential returns are. Motivated by the email survey results, we implemented a post-meeting survey into a leading computer-mediated communication (CMC) system to directly measure meeting effectiveness and inclusiveness (during COVID-19). Using initial results based on internal flighting we created a similar model of effectiveness and inclusiveness, with many of the same findings as the email survey. This shows a method of measuring and understanding these metrics which are both practical and useful in a commercial CMC system.


title: Local Convergence of Adaptive Gradient Descent Optimizers

abstract: Adaptive Moment Estimation (ADAM) is a very popular training algorithm for deep neural networks and belongs to the family of adaptive gradient descent optimizers. However to the best of the authors knowledge no complete convergence analysis exists for ADAM. The contribution of this paper is a method for the local convergence analysis in batch mode for a deterministic fixed training set, which gives necessary conditions for the hyperparameters of the ADAM algorithm. Due to the local nature of the arguments the objective function can be non-convex but must be at least twice continuously differentiable. Then we apply this procedure to other adaptive gradient descent algorithms and show for most of them local convergence with hyperparameter bounds.


title: Defense against flooding attacks using probabilistic thresholds in the internet of things ecosystem

abstract: The Internet of Things (IoT) ecosystem allows communication between billions of devices worldwide that are collecting data autonomously. The vast amount of data generated by these devices must be controlled totally securely. The centralized solutions are not capable of responding to these concerns due to security challenges problems. Thus, the Average Packet Transmission RREQ (APT-RREQ) as an effective solution, has been employed to overcome these concerns to allow for entirely secure communication between devices. In this paper, an approach called LSFA-IoT is proposed that protects the AODV routing protocol as well as the IoT network against flooding. The proposed method is divided into two main phases; The first phase includes a physical layer intrusion and attack detection system used to detect attacks, and the second phase involves detecting incorrect events through APT-RREQ messages. The simulation results indicated the superiority of the proposed method in terms of False Positive Rate (FPR), False Negative Rate (FPR), Detection Rate (DR), and Packet Delivery Rate (PDR) compared to REATO and IRAD. Also, the simulation results show how the proposed approach can significantly increase the security of each thing and network security.


title: Hunting for Planetary Nebulae toward the Galactic Center

abstract: We present near-infrared (IR) spectra of two planetary nebula (PN) candidates in close lines of sight toward the Galactic center (GC) using the Gemini Near-Infrared Spectrograph (GNIRS) at Gemini North. High-resolution images from radio continuum and narrow-band IR observations reveal ringlike or barrel-shaped morphologies of these objects, and their mid-IR spectra from the Spitzer Space Telescope exhibit rich emission lines from highly-excited species such as [S IV], [Ne III], [Ne V], and [O IV]. We also derive elemental abundances using the Cloudy synthetic models, and find an excess amount of the $s$-process element Krypton in both targets, which supports their nature as PN. We estimate foreground extinction toward each object using near-IR hydrogen recombination lines, and find significant visual extinctions ($A_V > 20$). The distances inferred from the size versus surface brightness relation of other PNe are $9.0\pm1.6$ kpc and $7.6\pm1.6$ kpc for SSTGC 580183 and SSTGC 588220, respectively. These observed properties along with abundance patterns and their close proximity to Sgr A$^*$ (projected distances $<20$ pc) make it highly probable that these objects are the first confirmed PN objects in the nuclear stellar disk. The apparent scarcity of such objects resembles the extremely low rate of PN formation in old stellar systems, but is in line with the current rate of the sustained star formation activity in the Central Molecular Zone.


title: Incentives for accelerating the production of Covid-19 vaccines in the presence of adjustment costs

abstract: Delays in the availability of vaccines are costly as the pandemic continues. However, in the presence of adjustment costs firms have an incentive to increase production capacity only gradually. The existing contracts specify only a fixed quantity to be supplied over a certain period and thus provide no incentive for an accelerated buildup in capacity. A high price does not change this. The optimal contract would specify a decreasing price schedule over time which can replicate the social optimum.


title: Improving Anytime Prediction with Parallel Cascaded Networks and a Temporal-Difference Loss

abstract: Although deep feedforward neural networks share some characteristics with the primate visual system, a key distinction is their dynamics. Deep nets typically operate in serial stages wherein each layer completes its computation before processing begins in subsequent layers. In contrast, biological systems have cascaded dynamics: information propagates from neurons at all layers in parallel but transmission occurs gradually over time, leading to speed-accuracy trade offs even in feedforward architectures. We explore the consequences of biologically inspired parallel hardware by constructing cascaded ResNets in which each residual block has propagation delays but all blocks update in parallel in a stateful manner. Because information transmitted through skip connections avoids delays, the functional depth of the architecture increases over time, yielding anytime predictions that improve with internal-processing time. We introduce a temporal-difference training loss that achieves a strictly superior speed-accuracy profile over standard losses and enables the cascaded architecture to outperform state-of-the-art anytime-prediction methods. The cascaded architecture has intriguing properties, including: it classifies typical instances more rapidly than atypical instances; it is more robust to both persistent and transient noise than is a conventional ResNet; and its time-varying output trace provides a signal that can be exploited to improve information processing and inference.


title: Introducing an experimental distortion-tolerant speech encryption scheme for secure voice communication

abstract: The current increasing need for privacy-preserving voice communications is leading to new ideas for securing voice transmission. This paper refers to a relatively new concept of sending encrypted speech as pseudo-speech in the audio domain over digital voice communication infrastructures, like 3G cellular network and VoIP. This work presents a novel distortion-tolerant speech encryption scheme for secure voice communications over voice channels that combines the robustness of analog speech scrambling and elevated security offered by digital ciphers like AES-CTR. The system scrambles vocal parameters of a speech signal (loudness, pitch, timbre) using distance-preserving pseudo-random translations and rotations on a hypersphere of parameters. Next, scrambled parameters are encoded to a pseudo-speech signal adapted to transmission over digital voice channels equipped with voice activity detection. Upon reception of this pseudo-speech signal, the legitimate receiver restores distorted copies of the initial vocal parameters. Despite some deciphering errors, an integrated neural-based vocoder based on the LPCNet architecture reconstructs an intelligible speech. The experimental implementation of this speech encryption scheme has been tested by simulations and sending an encrypted signal over FaceTime between two iPhones 6 connected to the same WiFi network. Moreover, speech excerpts restored from encrypted signals were evaluated by a speech quality assessment on a group of about 40 participants. The experiments demonstrated that the proposed scheme produces intelligible speech with a gracefully progressive quality degradation depending on the channel noise. Finally, the preliminary computational analysis suggested that the presented setting may operate on high-end portable devices in nearly real-time.


title: Patterns for Blockchain-Based Payment Applications

abstract: As the killer application of blockchain technology, blockchain-based payments have attracted extensive attention ranging from hobbyists to corporates to regulatory bodies. Blockchain facilitates fast, secure, and cross-border payments without the need for intermediaries such as banks. Because blockchain technology is still emerging, systematically organised knowledge providing a holistic and comprehensive view on designing payment applications that use blockchain is yet to be established. If such knowledge could be established in the form of a set of blockchain-specific patterns, architects could use those patterns in designing a payment application that leverages blockchain. Therefore, in this paper, we first identify a token's lifecycle and then present 12 patterns that cover critical aspects in enabling the state transitions of a token in blockchain-based payment applications. The lifecycle and the annotated patterns provide a payment-focused systematic view of system interactions and a guide to effective use of the patterns.


title: Semi-analytic integration for a parallel space-time boundary element method modeling the heat equation

abstract: The presented paper concentrates on the boundary element method (BEM) for the heat equation in three spatial dimensions. In particular, we deal with tensor product space-time meshes allowing for quadrature schemes analytic in time and numerical in space. The spatial integrals can be treated by standard BEM techniques known from three dimensional stationary problems. The contribution of the paper is twofold. First, we provide temporal antiderivatives of the heat kernel necessary for the assembly of BEM matrices and the evaluation of the representation formula. Secondly, the presented approach has been implemented in a publicly available library besthea allowing researchers to reuse the formulae and BEM routines straightaway. The results are validated by numerical experiments in an HPC environment.


title: Deep Latent Competition: Learning to Race Using Visual Control Policies in Latent Space

abstract: Learning competitive behaviors in multi-agent settings such as racing requires long-term reasoning about potential adversarial interactions. This paper presents Deep Latent Competition (DLC), a novel reinforcement learning algorithm that learns competitive visual control policies through self-play in imagination. The DLC agent imagines multi-agent interaction sequences in the compact latent space of a learned world model that combines a joint transition function with opponent viewpoint prediction. Imagined self-play reduces costly sample generation in the real world, while the latent representation enables planning to scale gracefully with observation dimensionality. We demonstrate the effectiveness of our algorithm in learning competitive behaviors on a novel multi-agent racing benchmark that requires planning from image observations. Code and videos available at https://sites.google.com/view/deep-latent-competition.


title: CoronaZ: another distributed systems project

abstract: This brief paper describes CoronaZ, a project for the Distributed Systems course at the University of Helsinki. All the code of the project is publicly available on GitHub repository. This project simulates a contact tracing application where each node represents a person (or a unique device attached to someone) that send signals to each other when in range and communicate the data collected to a server using the publish-subscribe pattern. The server, called broker, can then be polled by a node called consumer that will send the data to a database. A front-end application then requests this data and displays the movement and the latest updates via the browser. The idea came from simulating this kind of movements with Arduino boards capable of communicating between themselves using the nrf24l01 and to the broker with esp8266. Unfortunately this was not possible given the relatively strict amount of time that each of the students involved could dedicate to the project and the waiting time to get the necessary hardware.


title: TiAu TES 32$\times$32 pixel array: uniformity, thermal crosstalk and performance at different X-ray energies

abstract: Large format arrays of transition edge sensor (TES) are crucial for the next generation of X-ray space observatories. Such arrays are required to achieve an energy resolution of $\mathrm{\Delta}E<$3 eV full-width-half-maximum (FWHM) in the soft X-ray energy range. We are currently developing X-ray microcalorimeter arrays as a backup option for the X-IFU instrument on board of ATHENA space telescope, led by ESA and foreseen to be launched in 2031. In this contribution, we report on the development and the characterization of a uniform 32$\times$32 pixel array with (length$\times $width) 140$\times$30 $\mu$m$^2$ TiAu TESs, which have \textcolor{black}{a 2.3 $\mu$m} thick Au absorber for X-ray photons. The pixels have a typical normal resistance $R_\mathrm{n}$ = 121 m$\Omega$ and a critical temperature $T_\mathrm{c}\sim$ 90 mK. We performed extensive measurements on 60 pixels out of the array in order to show the uniformity of the array. We obtained an energy resolutions between 2.4 and 2.6 eV (FWHM) at 5.9 keV, measured in a single-pixel mode at AC bias frequencies ranging from 1 to 5 MHz, with a frequency domain multiplexing (FDM) readout system, which is developed at SRON/VTT. We also present the detector energy resolution at X-ray with different photon energies generated by a modulated external X-ray source from 1.45 keV up to 8.9 keV. Multiplexing readout across several pixels has also been performed to evaluate the impact of the thermal crosstalk to the instrument's energy resolution budget requirement. This value results in a derived requirement, for the first neighbour, that is less than 1$\times$10$^{-3}$ when considering the ratio between the amplitude of the crosstalk signal to an X-ray pulse (for example at 5.9 keV)


title: A gravity-independent powder-based additive manufacturing process tailored for space applications

abstract: The future of space exploration missions will rely on technologies increasing their endurance and self-sufficiency, including for manufacturing objects on-demand. We propose a process for handling and additively manufacturing powders that functions independently of the gravitational environment and with no restriction on feedstock powder flowability. Based on a specific sequence of boundary loads applied to the granular packing, powder is transported to the printing zone, homogenized and put under compression to increase the density of the final part. The powder deposition process is validated by simulations that show the homogeneity and density of deposition to be insensitive to gravity and cohesion forces within the DEM model. We further provide an experimental proof of concept of the process by successfully 3D printing parts on-ground and in weightlessness, on parabolic flight. Powders exhibiting high and low flowability are used as model feedstock material to demonstrate the versatility of the process, opening the way for additive manufacturing of recycled material.


title: A Critique of Holographic Dark Energy

abstract: Observations restrict the parameter space of Holographic Dark Energy (HDE) so that a turning point in the Hubble parameter $H(z)$ is inevitable. Concretely, cosmic microwave background (CMB), baryon acoustic oscillations (BAO) and Type Ia supernovae (SNE) data put the turning point in the future, but removing SNE results in an observational turning point at positive redshift. From the perspective of theory, not only does the turning point violate the Null Energy Condition (NEC), but as we argue, it may be interpreted as an evolution of the Hubble constant $H_0$ with redshift, which is at odds with the very FLRW framework within which data has been analysed. Tellingly, neither of these are problems for the flat $\Lambda$CDM model, and a direct comparison of fits further disfavours HDE relative to flat $\Lambda$CDM.


title: Unit selection synthesis based data augmentation for fixed phrase speaker verification

abstract: Data augmentation is commonly used to help build a robust speaker verification system, especially in limited-resource case. However, conventional data augmentation methods usually focus on the diversity of acoustic environment, leaving the lexicon variation neglected. For text dependent speaker verification tasks, it's well-known that preparing training data with the target transcript is the most effectual approach to build a well-performing system, however collecting such data is time-consuming and expensive. In this work, we propose a unit selection synthesis based data augmentation method to leverage the abundant text-independent data resources. In this approach text-independent speeches of each speaker are firstly broke up to speech segments each contains one phone unit. Then segments that contain phonetics in the target transcript are selected to produce a speech with the target transcript by concatenating them in turn. Experiments are carried out on the AISHELL Speaker Verification Challenge 2019 database, the results and analysis shows that our proposed method can boost the system performance significantly.


title: Trace- and pseudo-products: restriction-like semigroups with a band of projections

abstract: We ascertain conditions and structures on categories and semigroups which admit the construction of pseudo-products and trace products respectively, making their connection as precise as possible. This topic is modelled on the ESN Theorem and its generalization to ample semigroups. Unlike some other variants of ESN, it is self-dual (two-sided), and the condition of commuting projections is relaxed. The condition that projections form a band (are closed under multiplication) is shown to be a very natural one. One-sided reducts are considered, and compared to (generalized) D-semigroups. Finally the special case when the category is a groupoid is examined.


title: Energy Partition in Four Confined Circular-Ribbon Flares

abstract: In this study, we investigated the energy partition of four confined circular-ribbon flares (CRFs) near the solar disk center, which are observed simultaneously by SDO, GOES, and RHESSI. We calculated different energy components, including the radiative outputs in 1$-$8, 1$-$70, and 70$-$370 {\AA}, total radiative loss, peak thermal energy derived from GOES and RHESSI, nonthermal energy in flare-accelerated electrons, and magnetic free energy before flares. It is found that the energy components increase systematically with the flare class, indicating that more energies are involved in larger flares. The magnetic free energies are larger than the nonthermal energies and radiative outputs of flares, which is consistent with the magnetic nature of flares. The ratio $\frac{E_{nth}}{E_{mag}}$ of the four flares, being 0.70$-$0.76, is considerably higher than that of eruptive flares. Hence, this ratio may serve as an important factor that discriminates confined and eruptive flares. The nonthermal energies are sufficient to provide the heating requirements including the peak thermal energy and radiative loss. Our findings impose constraint on theoretical models of confined CRFs and have potential implication for the space weather forecast.


title: Strong-Diameter Network Decomposition

abstract: Network decomposition is a central concept in the study of distributed graph algorithms. We present the first polylogarithmic-round deterministic distributed algorithm with small messages that constructs a strong-diameter network decomposition with polylogarithmic parameters. Concretely, a ($C$, $D$) strong-diameter network decomposition is a partitioning of the nodes of the graph into disjoint clusters, colored with $C$ colors, such that neighboring clusters have different colors and the subgraph induced by each cluster has a diameter at most $D$. In the weak-diameter variant, the requirement is relaxed by measuring the diameter of each cluster in the original graph, instead of the subgraph induced by the cluster. A recent breakthrough of Rozho\v{n} and Ghaffari [STOC 2020] presented the first $\text{poly}(\log n)$-round deterministic algorithm for constructing a weak-diameter network decomposition where $C$ and $D$ are both in $\text{poly}(\log n)$. Their algorithm uses small $O(\log n)$-bit messages. One can transform their algorithm to a strong-diameter network decomposition algorithm with similar parameters. However, that comes at the expense of requiring unbounded messages. The key remaining qualitative question in the study of network decompositions was whether one can achieve a similar result for strong-diameter network decompositions using small messages. We resolve this question by presenting a novel technique that can transform any black-box weak-diameter network decomposition algorithm to a strong-diameter one, using small messages and with only moderate loss in the parameters.


title: Synthesis and Implementation of Distributed Supervisory Controllers with Communication Delays

abstract: In literature, extensive research has been done with respect to synthesis of supervisory controllers. Such synthesized supervisors can be distributed for implementation on multiple physical controllers. This paper discusses a method for distributing a synthesized supervisory controller. In this method, dependency structure matrices are used to distribute a system, the supervisor is then distributed accordingly, using existing localization theory. The existence of communication delays between supervisory controllers is unavoidable in a distributed application. The influence of these delays on the behavior of a supervisor is therefore studied using delay robustness theory. This paper introduces the use of mutex algorithms to make the distributed supervisor delay-robust. A case study is used to demonstrate the method and hardware in the loop testing is used to validate the resulting distributed supervisor.


title: A Higher-Order Generalized Singular Value Decomposition for Rank Deficient Matrices

abstract: The higher-order generalized singular value decomposition (HO-GSVD) is a matrix factorization technique that extends the GSVD to $N \ge 2$ data matrices, and can be used to identify shared subspaces in multiple large-scale datasets with different row dimensions. The standard HO-GSVD factors $N$ matrices $A_i\in\mathbb{R}^{m_i\times n}$ as $A_i=U_i\Sigma_i V^\text{T}$, but requires that each of the matrices $A_i$ has full column rank. We propose a modification of the HO-GSVD that extends its applicability to rank-deficient data matrices $A_i$. If the matrix of stacked $A_i$ has full rank, we show that the properties of the original HO-GSVD extend to our approach. We extend the notion of common subspaces to isolated subspaces, which identify features that are unique to one $A_i$. We also extend our results to the higher-order cosine-sine decomposition (HO-CSD), which is closely related to the HO-GSVD. Our extension of the standard HO-GSVD allows its application to datasets with with $m_i<n$ or $\text{rank}(A_i)<n$, such as are encountered in bioinformatics, neuroscience, control theory or classification problems.


title: Tail Modulo Cons

abstract: OCaml function calls consume space on the system stack. Operating systems set default limits on the stack space which are much lower than the available memory. If a program runs out of stack space, they get the dreaded "Stack Overflow" exception -- they crash. As a result, OCaml programmers have to be careful, when they write recursive functions, to remain in the so-called _tail-recursive_ fragment, using _tail_ calls that do not consume stack space. This discipline is a source of difficulties for both beginners and experts. Beginners have to be taught recursion, and then tail-recursion. Experts disagree on the "right" way to write `List.map`. The direct version is beautiful but not tail-recursive, so it crashes on larger inputs. The naive tail-recursive transformation is (slightly) slower than the direct version, and experts may want to avoid that cost. Some libraries propose horrible implementations, unrolling code by hand, to compensate for this performance loss. In general, tail-recursion requires the programmer to manually perform sophisticated program transformations. In this work we propose an implementation of "Tail Modulo Cons" (TMC) for OCaml. TMC is a program transformation for a fragment of non-tail-recursive functions, that rewrites them in _destination-passing style_. The supported fragment is smaller than other approaches such as continuation-passing-style, but the performance of the transformed code is on par with the direct, non-tail-recursive version. Many useful functions that traverse a recursive datastructure and rebuild another recursive structure are in the TMC fragment, in particular `List.map` (and `List.filter`, `List.append`, etc.). Finally those functions can be written in a way that is beautiful, correct on all inputs, and efficient.


title: Sim-Env: Decoupling OpenAI Gym Environments from Simulation Models

abstract: Reinforcement learning (RL) is one of the most active fields of AI research. Despite the interest demonstrated by the research community in reinforcement learning, the development methodology still lags behind, with a severe lack of standard APIs to foster the development of RL applications. OpenAI Gym is probably the most used environment to develop RL applications and simulations, but most of the abstractions proposed in such a framework are still assuming a semi-structured methodology. This is particularly relevant for agent-based models whose purpose is to analyse adaptive behaviour displayed by self-learning agents in the simulation. In order to bridge this gap, we present a workflow and tools for the decoupled development and maintenance of multi-purpose agent-based models and derived single-purpose reinforcement learning environments, enabling the researcher to swap out environments with ones representing different perspectives or different reward models, all while keeping the underlying domain model intact and separate. The Sim-Env Python library generates OpenAI-Gym-compatible reinforcement learning environments that use existing or purposely created domain models as their simulation back-ends. Its design emphasizes ease-of-use, modularity and code separation.


title: Observation of higher-order non-Hermitian skin effect

abstract: Hermitian theories play a major role in understanding the physics of most phenomena. It has been found only in the past decade that non-Hermiticity enables unprecedented effects such as exceptional points, spectral singularities and bulk Fermi arcs. Recent studies further show that non-Hermiticity can fundamentally change the topological band theory, leading to the non-Hermitian band topology and non-Hermitian skin effect, as confirmed in one-dimensional (1D) systems. However, in higher dimensions, these non-Hermitian effects remain unexplored in experiments. Here, we demonstrate the spin-polarized, higher-order non-Hermitian skin effect in two-dimensional (2D) acoustic metamaterials. Using a lattice of coupled whisper-gallery acoustic resonators, we realize a spinful 2D higher-order topological insulator (HOTI) where the spin-up and spin-down states are emulated by the anti-clockwise and clockwise modes, respectively. We find that the non-Hermiticity drives wave localizations toward opposite edge boundaries depending on the spin polarizations. More interestingly, for finite systems with both edge and corner boundaries, the higher-order non-Hermitian skin effect leads to wave localizations toward two corner boundaries for the bulk, edge and corner states in a spin-dependent manner. We further show that such a non-Hermitian skin effect enables rich wave manipulation through the loss configuration in each unit-cell. The reported spin-dependent, higher-order non-Hermitian skin effect reveals the interplay between higher-order topology and non-Hermiticity, which is further enriched by the spin degrees of freedom. This unveils a new horizon in the study of non-Hermitian physics and the design of non-Hermitian metamaterials.


title: Critical Energy Dissipation in a Binary Superfluid Gas by a Moving Magnetic Obstacle

abstract: We study the critical energy dissipation in an atomic superfluid gas with two symmetric spin components by an oscillating magnetic obstacle. Above a certain critical oscillation frequency, spin-wave excitations are generated by the magnetic obstacle, demonstrating the spin superfluid behavior of the system. When the obstacle is strong enough to cause density perturbations via local saturation of spin polarization, half-quantum vortices (HQVs) are created for higher oscillation frequencies, which reveals the characteristic evolution of critical dissipative dynamics from spin-wave emission to HQV shedding. Critical HQV shedding is further investigated using a pulsed linear motion of the obstacle, and we identify two critical velocities to create HQVs with different core magnetization.


title: Minimal entropy and uniqueness of price equilibria in a pure exchange economy

abstract: We introduce uncertainty into a pure exchange economy and establish a connection between Shannon's differential entropy and uniqueness of price equilibria. The following conjecture is proposed under the assumption of a uniform probability distribution: entropy is minimal if and only if the price is unique for every economy. We show the validity of this conjecture for an arbitrary number of goods and two consumers and, under certain conditions, for an arbitrary number of consumers and two goods.


title: AISPEECH-SJTU accent identification system for the Accented English Speech Recognition Challenge

abstract: This paper describes the AISpeech-SJTU system for the accent identification track of the Interspeech-2020 Accented English Speech Recognition Challenge. In this challenge track, only 160-hour accented English data collected from 8 countries and the auxiliary Librispeech dataset are provided for training. To build an accurate and robust accent identification system, we explore the whole system pipeline in detail. First, we introduce the ASR based phone posteriorgram (PPG) feature to accent identification and verify its efficacy. Then, a novel TTS based approach is carefully designed to augment the very limited accent training data for the first time. Finally, we propose the test time augmentation and embedding fusion schemes to further improve the system performance. Our final system is ranked first in the challenge and outperforms all the other participants by a large margin. The submitted system achieves 83.63\% average accuracy on the challenge evaluation data, ahead of the others by more than 10\% in absolute terms.


title: Discrete groups of packed, non-positively curved, Gromov hyperbolic metric spaces

abstract: We prove a quantitative version of the classical Tits' alternative for discrete groups acting on packed Gromov-hyperbolic spaces supporting a convex geodesic bicombing. Some geometric consequences, as uniform estimates on systole, diastole, algebraic entropy and critical exponent of the groups, will be presented. Finally we will study the behaviour of these group actions under limits, providing new examples of compact classes of metric spaces.


title: Homology of sheaves via Brown representability

abstract: We give an elementary construction of homology of sheaves from Brown representability for the dual and see how its main properties are derived easily from the construction. Comparison with Poincar\'e-Verdier duality and with homology of groups are also developed.


title: Strong Haken via Sphere Complexes

abstract: We give a short proof of Scharlemann's Strong Haken Theorem for closed $3$-manifolds (and manifolds with spherical boundary). As an application, we also show that given a decomposing sphere $R$ for a $3$-manifold $M$ that splits off an $S^2 \times S^1$ summand, any Heegaard splitting of $M$ restricts to the standard Heegaard splitting on the summand.


title: Coarse Graining Nonisothermal Microswimmer Suspensions

abstract: We investigate coarse-grained models of suspended self-thermophoretic microswimmers. Upon heating, the Janus spheres, with hemispheres made of different materials, induce a heterogeneous local solvent temperature that causes the self-phoretic particle propulsion. Starting from atomistic molecular dynamics simulations, we verify the coarse-grained description of the fluid in terms of a local molecular temperature field, and its role for the particle's thermophoretic self-propulsion and hot Brownian motion. The latter is governed by effective nonequilibrium temperatures, which are measured from simulations by confining the particle position and orientation. They are theoretically shown to remain relevant for any further spatial coarse-graining towards a hydrodynamic description of the entire suspension as a homogeneous complex fluid.


title: Demonstrating change from a drop-in space soundscape exhibit by using graffiti walls both before and after

abstract: Impact evaluation in public engagement necessarily requires measuring change. However, this is extremely challenging for drop-in activities due to their very nature. We present a novel method of impact evaluation which integrates graffiti walls into the experience both before and after the main drop-in activity. The activity in question was a soundscape exhibit, where young families experienced the usually inaudible sounds of near-Earth space in an immersive and accessible way. We apply two analysis techniques to the captured before and after data - quantitative linguistics and thematic analysis. These analyses reveal significant changes in participants' responses after the activity compared to before, namely an increased diversity in language used to describe space and altered conceptions of what space is like. The results demonstrate that the soundscape was surprisingly effective at innately communicating key aspects of the underlying science simply through the act of listening. The impacts also highlight the power of sonification in stimulating public engagement, which, through reflection, can lead to altered associations, perceptions, and understanding. Therefore, we show that this novel approach to drop-in activity evaluation, using graffiti walls both before and after the activity and applying rigorous analysis to this data, has the power to capture change and, thus, have a short-term impact. We suggest that commonly used evaluation tools suitable for drop-in activities, such as graffiti walls, should be integrated both before and after the main activity in general, rather than only using them afterwards as is typically the case.


title: Complete objects in categories

abstract: We introduce the notions of proto-complete, complete, complete* and strong-complete objects in pointed categories. We show under mild conditions on a pointed exact protomodular category that every proto-complete (respectively complete) object is the product of an abelian proto-complete (respectively complete) object and a strong-complete object. This together with the observation that the trivial group is the only abelian complete group recovers a theorem of Baer classifying complete groups. In addition we generalize several theorems about groups (subgroups) with trivial center (respectively, centralizer), and provide a categorical explanation behind why the derivation algebra of a perfect Lie algebra with trivial center and the automorphism group of a non-abelian (characteristically) simple group are strong-complete.


title: Architectural Decay as Predictor of Issue- and Change-Proneness

abstract: Architectural decay imposes real costs in terms of developer effort, system correctness, and performance. Over time, those problems are likely to be revealed as explicit implementation issues (defects, feature changes, etc.). Recent empirical studies have demonstrated that there is a significant correlation between architectural "smells" -- manifestations of architectural decay -- and implementation issues. In this paper, we take a step further in exploring this phenomenon. We analyze the available development data from 10 open-source software systems and show that information regarding current architectural decay in these systems can be used to build models that accurately predict future issue-proneness and change-proneness of the systems' implementations. As a less intuitive result, we also show that, in cases where historical data for a system is unavailable, such data from other, unrelated systems can provide reasonably accurate issue- and change-proneness prediction capabilities.


title: The increased wave-induced drift of floating marine litter: A mechanism for the increased wave-induced drift of floating marine litter

abstract: Periodic water waves generate Stokes drift as manifest from the orbits of Lagrangian particles not fully closing. Stokes drift can contribute to the transport of floating marine litter, including plastic. Previously, marine litter objects have been considered to be perfect Lagrangian tracers, travelling with the Stokes drift of the waves. However, floating marine litter objects have large ranges of sizes and densities, which potentially result in different rates of transport by waves due to the non-Lagrangian behaviour of the objects. Through a combination of theory and experiments for idealised spherical objects in deep-water waves, we show that different objects are transported at different rates depending on their size and density, and that larger buoyant objects can have increased drift compared with Lagrangian tracers. We show that the mechanism for the increased drift observed in our experiments comprises the variable submergence and the corresponding dynamic buoyancy force components in a direction perpendicular to the local water surface. This leads to an amplification of the drift of these objects compared to the Stokes drift when averaged over the wave cycle. Using an expansion in wave steepness, we derive a closed-form approximation for this increased drift, which can be included in ocean-scale models of marine litter transport.


title: Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints

abstract: Executing a Golog program on an actual robot typically requires additional steps to account for hardware or software details of the robot platform, which can be formulated as constraints on the program. Such constraints are often temporal, refer to metric time, and require modifications to the abstract Golog program. We describe how to formulate such constraints based on a modal variant of the Situation Calculus. These constraints connect the abstract program with the platform models, which we describe using timed automata. We show that for programs over finite domains and with fully known initial state, the problem of synthesizing a controller that satisfies the constraints while preserving the effects of the original program can be reduced to MTL synthesis. We do this by constructing a timed automaton from the abstract program and synthesizing an MTL controller from this automaton, the platform models, and the constraints. We prove that the synthesized controller results in execution traces which are the same as those of the original program, possibly interleaved with platform-dependent actions, that they satisfy all constraints, and that they have the same effects as the traces of the original program. By doing so, we obtain a decidable procedure to synthesize a controller that satisfies the specification while preserving the original program.


title: A Robust Maximum Likelihood Distortionless Response Beamformer based on a Complex Generalized Gaussian Distribution

abstract: For multichannel speech enhancement, this letter derives a robust maximum likelihood distortionless response beamformer by modeling speech sparse priors with a complex generalized Gaussian distribution, where we refer to as the CGGD-MLDR beamformer. The proposed beamformer can be regarded as a generalization of the minimum power distortionless response beamformer and its improved variations. For narrowband applications, we also reveal that the proposed beamformer reduces to the minimum dispersion distortionless response beamformer, which has been derived with the ${{\ell}_{p}}$-norm minimization. The mechanisms of the proposed beamformer in improving the robustness are clearly pointed out and experimental results show its better performance in PESQ improvement.


title: A photometric study of two neglected eclipsing binaries

abstract: We present the first BVR photometry, period variation, and photometric light-curve analysis of two poorly studied eclipsing binaries V1321 Cyg and CR Tau. Observations were carried out from November 2017 to January 2020 at the observatory of Uzhhorod National University. Period variations were studied using all available early published as well as our minima times. We have used newly developed ELISa code for the light curve analysis and determination of photometric parameters of both systems. We found that V1321 Cyg is a close detached eclipsing system with a low photometric mass ratio of $q=0.28$ which suggests that the binary is a post mass transfer system. No significant period changes in this system are detected. CR Tau is, on the other hand, a semi-detached system where the secondary component almost fills its Roche lobe. We detected a long-term period increase at a rate of $1.49 \times 10^{-7} d/y$, which support mass transfer from lower mass secondary component to the more massive primary.


title: Kinematic Control of compliant serial manipulators composed of dual-triangles

abstract: The paper focuses on the kinematics control of a compliant serial manipulator composed of a new type of dualtriangle elastic segments. Some useful optimization techniques were applied to solve the geometric redundancy problem, ensure the stability of the manipulator configurations with respect to the external forces/torques applied to the endeffector. The efficiency of the developed control algorisms is confirmed by simulation.


title: Finite-size effects in response functions of molecular systems

abstract: We consider an electron in a localized potential submitted to a weak external, timedependent field. In the linear response regime, the response function can be computed using Kubo's formula. In this paper, we consider the numerical approximation of the response function by means of a truncation to a finite region of space. This is necessarily a singular approximation because of the discreteness of the spectrum of the truncated Hamiltonian, and in practice a regularization (smoothing) has to be used. Our results provide error estimates for the response function past the ionization threshold with respect to both the smoothing parameter and the size of the computational domain.


title: Effects of Topological Defect on the Energy Spectra and Thermo-magnetic Properties of CO Diatomic Molecule

abstract: Confinement effects of Aharonov-Bohm (AB) flux and magnetic fields with topological defect on CO diatomic molecule modeled by screened modified Kratzer potential is investigated in this paper. The all-encompassing effects of the fields and topological defect result in a strongly repulsive system. We discover that the collective effect of the fields and defect is intense than the lone and dual effect and consequently there is a substantial shift in the bound state energy of the system. We also find that to sustain a low-energy medium for the molecule modeled by SMKP, the topological defect and weak AB field are required, whereas the Magnetic field can be used as a control parameter or enhancer. The effects of the topological defect and magnetic and AB fields on the thermal and magnetic properties of the system are duly analyzed. We observe that the system tends to exhibit both a paramagnetic and diamagnetic behavior for weak and intense magnetic field respectively and some sort of saturation at large magnetic field. To further validate our findings, we map our result to 3D and a comparison of our results with what obtains in literature reveals an excellent agreement.


title: Quantum plasmon enhanced nonlinear wave mixing in graphene nanoflakes

abstract: A distant-neighbor quantum-mechanical method is used to study the nonlinear optical wave mixing in graphene nanoflakes (GNFs), including sum- and difference-frequency generation, as well as four-wave mixing. Our analysis shows that molecular-scale GNFs support quantum plasmons in the visible spectrum region, and significant enhancement of nonlinear optical wave mixing is achieved. Specifically, the second- and third-order wave-mixing polarizabilities of GNFs are dramatically enhanced, provided that one (or more) of the input or output frequencies coincide with a quantum plasmon resonance. Moreover, by embedding a cavity into hexagonal GNFs, we show that one can break the structural inversion symmetry and enable otherwise forbidden second-order wave mixing, which is found to be enhanced by the quantum plasmon resonance too. This study reveals that the molecular-sized graphene could be used in the quantum regime for nanoscale nonlinear optical devices and ultrasensitive molecular sensors.


title: E(n) Equivariant Graph Neural Networks

abstract: This paper introduces a new model to learn graph neural networks equivariant to rotations, translations, reflections and permutations called E(n)-Equivariant Graph Neural Networks (EGNNs). In contrast with existing methods, our work does not require computationally expensive higher-order representations in intermediate layers while it still achieves competitive or better performance. In addition, whereas existing methods are limited to equivariance on 3 dimensional spaces, our model is easily scaled to higher-dimensional spaces. We demonstrate the effectiveness of our method on dynamical systems modelling, representation learning in graph autoencoders and predicting molecular properties.


title: Thermal and Oxidation Stability of Ti$_x$W$_{1-x}$ Diffusion Barriers Investigated by Soft and Hard X-ray Photoelectron Spectroscopy

abstract: The binary alloy of titanium-tungsten (TiW) is an established diffusion barrier in high-power semiconductor devices, owing to its ability to suppress the diffusion of copper from the metallisation scheme into the surrounding silicon substructure. However, little is known about the response of TiW to high temperature events or its behaviour when exposed to air. Here, a combined soft and hard X-ray photoelectron spectroscopy (XPS) characterisation approach is used to study the influence of post-deposition annealing and titanium concentration on the oxidation behaviour of a 300~nm-thick TiW film. The combination of both XPS techniques allows for the assessment of the chemical state and elemental composition across the surface and bulk of the TiW layer. The findings show that in response to high-temperature annealing, titanium segregates out of the mixed metal system and upwardly migrates, accumulating at the TiW/air interface. Titanium shows remarkably rapid diffusion under relatively short annealing timescales and the extent of titanium surface enrichment is increased through longer annealing periods or by increasing the precursor titanium concentration. Surface titanium enrichment enhances the extent of oxidation both at the surface and in the bulk of the alloy due to the strong gettering ability of titanium. Quantification of the soft X-ray photoelectron spectra highlights the formation of three tungsten oxidation environments, attributed to WO$_2$, WO$_3$ and a WO$_3$ oxide coordinated with a titanium environment. This combinatorial characterisation approach provides valuable insights into the thermal and oxidation stability of TiW alloys from two depth perspectives, aiding the development of future device technologies.


title: Diffusive Operator Spreading for Random Unitary Free Fermion Circuits

abstract: We study a model of free fermions on a chain with dynamics generated by random unitary gates acting on nearest neighbor bonds and present an exact calculation of time-ordered and out-of-time-ordered correlators. We consider three distinct cases: the random circuit with spatio-temporal disorder (i) with and (ii) without particle number conservation and (iii) the particle non-conserving case with purely temporal disorder. In all three cases, temporal disorder causes diffusive operator spreading and $\sim\sqrt{t}$ entanglement growth. This is in sharp contrast to Anderson localization for the case of static disorder and with the ballistic behavior observed in both the clean case of Hamiltonian evolution and in fully random unitary quantum circuits.

categories: cond-mat.str-el cond-mat.stat-mech hep-th quant-ph


title: Key Technologies for Networked Virtual Environments

abstract: Thanks to the improvements experienced in technology in the last few years, most especially in virtual reality systems, the number and potential of networked virtual environments or NVEs and their users are increasing. NVEs aim to give distributed users a feeling of immersion in a virtual world and the possibility of interacting with other users or with virtual objects inside it, like when they interact in the real world. Being able to provide that feeling and natural interactions when the users are geographically separated is one of the goals of these systems. Nevertheless, this goal is especially sensitive to different issues, such as different connections with heterogeneous throughput or different network latencies, which can lead to consistency and synchronization problems and, thus, to a worsening of the users' quality of experience or QoE. With the purpose of solving these issues, researchers have proposed and evaluated numerous technical solutions, in fields like network architectures, data distribution and filtering, resource balancing, computing models, predictive modeling and synchronization in NVEs. This paper gathers and classifies them, summarizing their advantages and disadvantages, using a new way of classification. With the current increase of the number of NVEs and the multiple solutions proposed so far, this work aims to become a useful tool and a starting point not only for future researchers in this field but also for those who are new in NVEs development, in which guaranteeing a good users' QoE is essential.


title: Paving Tropical Ideals

abstract: Tropical ideals are a class of ideals in the tropical polynomial semiring that combinatorially abstracts the possible collections of supports of all polynomials in an ideal over a field. We study zero-dimensional tropical ideals I with Boolean coefficients in which all underlying matroids are paving matroids, or equivalently, in which all polynomials of minimal support have support of size deg(I) or deg(I)+1 -- we call them paving tropical ideals. We show that paving tropical ideals of degree d+1 are in bijection with $\mathbb Z^n$-invariant d-partitions of $\mathbb Z^n$. This implies that zero-dimensional tropical ideals of degree 3 with Boolean coefficients are in bijection with $\mathbb Z^n$-invariant 2-partitions of quotient groups of the form $\mathbb Z^n/L$. We provide several applications of these techniques, including a construction of uncountably many zero-dimensional degree-3 tropical ideals in one variable with Boolean coefficients, and new examples of non-realizable zero-dimensional tropical ideals.


title: A new class of higher-ordered/extended Boussinesq system for efficient numerical simulations by splitting operators

abstract: In this work, we numerically study the higher-ordered/extended Boussinesq system describing the propagation of water-waves over flat topography. A reformulation of the same order of precision that avoids the calculation of high order derivatives on the surface deformation is proposed. We show that this formulation enjoys an extended range of applicability while remaining stable. Moreover, a significant improvement in terms of linear dispersive properties in high frequency regime is made due to the suitable adjustment of a dispersion correction parameter. We develop a second order splitting scheme where the hyperbolic part of the system is treated with a high-order finite volume scheme and the dispersive part is treated with a finite difference approach. Numerical simulations are then performed under two main goals: validating the model and the numerical methods and assessing the potential need of such higher-order model. \red{The applicability of the proposed model and numerical method in practical problems is illustrated by a comparison with experimental data.}


title: Model-Invariant State Abstractions for Model-Based Reinforcement Learning

abstract: Accuracy and generalization of dynamics models is key to the success of model-based reinforcement learning (MBRL). As the complexity of tasks increases, so does the sample inefficiency of learning accurate dynamics models. However, many complex tasks also exhibit sparsity in the dynamics, i.e., actions have only a local effect on the system dynamics. In this paper, we exploit this property with a causal invariance perspective in the single-task setting, introducing a new type of state abstraction called \textit{model-invariance}. Unlike previous forms of state abstractions, a model-invariance state abstraction leverages causal sparsity over state variables. This allows for compositional generalization to unseen states, something that non-factored forms of state abstractions cannot do. We prove that an optimal policy can be learned over this model-invariance state abstraction and show improved generalization in a simple toy domain. Next, we propose a practical method to approximately learn a model-invariant representation for complex domains and validate our approach by showing improved modelling performance over standard maximum likelihood approaches on challenging tasks, such as the MuJoCo-based Humanoid. Finally, within the MBRL setting we show strong performance gains with respect to sample efficiency across a host of other continuous control tasks.


title: Linear-quadratic stochastic delayed control and deep learning resolution

abstract: We consider a class of stochastic control problems with a delayed control, both in drift and diffusion, of the type dX t = $\alpha$ t--d (bdt + $\sigma$dW t). We provide a new characterization of the solution in terms of a set of Riccati partial differential equations. Existence and uniqueness are obtained under a sufficient condition expressed directly as a relation between the horizon T and the quantity d(b/$\sigma$) 2. Furthermore, a deep learning scheme is designed and used to illustrate the effect of delay on the Markowitz portfolio allocation problem with execution delay.


title: Birkhoff normal forms for Hamiltonian PDEs in their energy space

abstract: We study the long time behavior of small solutions of semi-linear dispersive Hamiltonian partial differential equations on confined domains. Provided that the system enjoys a new non-resonance condition and a strong enough energy estimate, we prove that its low super-actions are almost preserved for very long times. Roughly speaking, it means that, to exchange energy, modes have to oscillate at the same frequency. Contrary to the previous existing results, we do not require the solutions to be especially smooth. They only have to live in the energy space. We apply our result to nonlinear Klein-Gordon equations in dimension d = 1 and nonlinear Schr{\"o}dinger equations in dimension d $\le$ 2.


title: Direction of Arrival Estimation of Noisy Speech Using Convolutional Recurrent Neural Networks with Higher-Order Ambisonics Signals

abstract: Training convolutional recurrent neural networks on first-order Ambisonics signals is a well-known approach when estimating the direction of arrival for speech/sound signals. In this work, we investigate whether increasing the order of Ambisonics up to the fourth order further improves the estimation performance of convolutional recurrent neural networks. While our results on data based on simulated spatial room impulse responses show that the use of higher Ambisonics orders does have the potential to provide better localization results, no further improvement was shown on data based on real spatial room impulse responses from order two onwards. Rather, it seems to be crucial to extract meaningful features from the raw data. First order features derived from the acoustic intensity vector were superior to pure higher-order magnitude and phase features in almost all scenarios.


title: Intrinsically Motivated Open-Ended Multi-Task Learning Using Transfer Learning to Discover Task Hierarchy

abstract: In open-ended continuous environments, robots need to learn multiple parameterised control tasks in hierarchical reinforcement learning. We hypothesise that the most complex tasks can be learned more easily by transferring knowledge from simpler tasks, and faster by adapting the complexity of the actions to the task. We propose a task-oriented representation of complex actions, called procedures, to learn online task relationships and unbounded sequences of action primitives to control the different observables of the environment. Combining both goal-babbling with imitation learning, and active learning with transfer of knowledge based on intrinsic motivation, our algorithm self-organises its learning process. It chooses at any given time a task to focus on; and what, how, when and from whom to transfer knowledge. We show with a simulation and a real industrial robot arm, in cross-task and cross-learner transfer settings, that task composition is key to tackle highly complex tasks. Task decomposition is also efficiently transferred across different embodied learners and by active imitation, where the robot requests just a small amount of demonstrations and the adequate type of information. The robot learns and exploits task dependencies so as to learn tasks of every complexity.


title: A countable fractal interpolation scheme involving Rakotch contractions

abstract: The main result of this paper states that for a given countable system of data, there exists a countable iterated function system consisting of Rakotch contractions, such that its attractor is the graph of a fractal interpolation function corresponding to the given countable system of data.


title: The Flip Schelling Process on Random Geometric and Erd\"os-R\'enyi Graphs

abstract: Schelling's classical segregation model gives a coherent explanation for the wide-spread phenomenon of residential segregation. We consider an agent-based saturated open-city variant, the Flip Schelling Process (FSP), in which agents, placed on a graph, have one out of two types and, based on the predominant type in their neighborhood, decide whether to changes their types; similar to a new agent arriving as soon as another agent leaves the vertex. We investigate the probability that an edge $\{u,v\}$ is monochrome, i.e., that both vertices $u$ and $v$ have the same type in the FSP, and we provide a general framework for analyzing the influence of the underlying graph topology on residential segregation. In particular, for two adjacent vertices, we show that a highly decisive common neighborhood, i.e., a common neighborhood where the absolute value of the difference between the number of vertices with different types is high, supports segregation and moreover, that large common neighborhoods are more decisive. As an application, we study the expected behavior of the FSP on two common random graph models with and without geometry: (1) For random geometric graphs, we show that the existence of an edge $\{u,v\}$ makes a highly decisive common neighborhood for $u$ and $v$ more likely. Based on this, we prove the existence of a constant $c > 0$ such that the expected fraction of monochrome edges after the FSP is at least $1/2 + c$. (2) For Erd\"os-R\'enyi graphs we show that large common neighborhoods are unlikely and that the expected fraction of monochrome edges after the FSP is at most $1/2 + o(1)$. Our results indicate that the cluster structure of the underlying graph has a significant impact on the obtained segregation strength.


title: Differential Privacy-based Permissioned Blockchain for Private Data Sharing in Industrial IoT

abstract: Permissioned blockchain such as Hyperledger fabric enables a secure supply chain model in Industrial Internet of Things (IIoT) through multichannel and private data collection mechanisms. Sharing of Industrial data including private data exchange at every stage between supply chain partners helps to improve product quality, enable future forecast, and enhance management activities. However, the existing data sharing and querying mechanism in Hyperledger fabric is not suitable for supply chain environment in IIoT because the queries are evaluated on actual data stored on ledger which consists of sensitive information such as business secrets, and special discounts offered to retailers and individuals. To solve this problem, we propose a differential privacy-based permissioned blockchain using Hyperledger fabric to enable private data sharing in supply chain in IIoT (DH-IIoT). We integrate differential privacy into the chaindcode (smart contract) of Hyperledger fabric to achieve privacy preservation. As a result, the query response consists of perturbed data which protects the sensitive information in the ledger. The proposed work (DH-IIoT) is evaluated by simulating a permissioned blockchain using Hyperledger fabric. We compare our differential privacy integrated chaincode of Hyperledger fabric with the default chaincode setting of Hyperledger fabric for supply chain scenario. The results confirm that the proposed work maintains 96.15% of accuracy in the shared data while guarantees the protection of sensitive ledger's data.


title: ISCL: Interdependent Self-Cooperative Learning for Unpaired Image Denoising

abstract: With the advent of advances in self-supervised learning, paired clean-noisy data are no longer required in deep learning-based image denoising. However, existing blind denoising methods still require the assumption with regard to noise characteristics, such as zero-mean noise distribution and pixel-wise noise-signal independence; this hinders wide adaptation of the method in the medical domain. On the other hand, unpaired learning can overcome limitations related to the assumption on noise characteristics, which makes it more feasible for collecting the training data in real-world scenarios. In this paper, we propose a novel image denoising scheme, Interdependent Self-Cooperative Learning (ISCL), that leverages unpaired learning by combining cyclic adversarial learning with self-supervised residual learning. Unlike the existing unpaired image denoising methods relying on matching data distributions in different domains, the two architectures in ISCL, designed for different tasks, complement each other and boost the learning process. To assess the performance of the proposed method, we conducted extensive experiments in various biomedical image degradation scenarios, such as noise caused by physical characteristics of electron microscopy (EM) devices (film and charging noise), and structural noise found in low-dose computer tomography (CT). We demonstrate that the image quality of our method is superior to conventional and current state-of-the-art deep learning-based image denoising methods, including supervised learning.


title: Boundedness of Hausdorff operators on Hardy spaces over homogeneous spaces of Lie groups

abstract: The aim of this note is to give the boundedness conditions for Hausdorff operators on Hardy spaces $H^{1}$ with the norm defined via $(1,q)$ atoms over homogeneous spaces of Lie groups with doubling property and to apply results we obtain to generalized Delsarte operators and to Hausdorff operators over multidimensional spheres.


title: Sub-Riemannian geometry on some step-two Carnot groups

abstract: This paper is a continuation of the previous work of the first author. We characterize a class of step-two groups introduced in \cite{Li19}, saying GM-groups, via some basic sub-Riemannian geometric properties, including the squared Carnot-Carath\'{e}odory distance, the cut locus, the classical cut locus, the optimal synthesis, etc. Also, the shortest abnormal set can be exhibited easily in such situation. Some examples of such groups are step-two groups of corank $2$, of Kolmogorov type, or those associated to quadratic CR manifolds. As a byproduct, the main goal in \cite{BBG12} is achieved from the setting of step-two groups of corank $2$ to all possible step-two groups, via a completely different method. A partial answer to the open questions \cite[(29)-(30)]{BR19} is provided in this paper as well. Moreover, we provide a entirely different proof, based yet on \cite{Li19}, for the Gaveau-Brockett optimal control problem on the free step-two Carnot group with three generators. As a byproduct, we provide a new and independent proof for the main results obtained in \cite{MM17}, namely, the exact expression of $d(g)^2$ for $g$ belonging to the classical cut locus of the identity element $o$, as well as the determination of all shortest geodesics joining $o$ to such $g$.


title: CO+ as a probe of the origin of CO in diffuse interstellar clouds

abstract: The chemistry of the diffuse interstellar medium is driven by the combined influences of cosmic rays, ultraviolet (UV) radiation, and turbulence. Previously detected at the outer edges of photodissociation regions (PDRs) and formed from the reaction of C+ and OH, CO+ is the main chemical precursor of HCO+ and CO in a thermal, cosmic-ray, and UV-driven chemistry. Our aim was to test whether the thermal cosmic-ray and UV-driven chemistry is producing CO in diffuse interstellar molecular gas through the intermediate formation of CO+ We searched for CO+ absorption with the Atacama Large Millimeter Array (ALMA) toward two quasars with known Galactic foreground absorption from diffuse interstellar gas, J1717-3342 and J1744-3116, targeting the two strongest hyperfine components of the J=2-1 transition near 236 GHz. We could not detect CO+ but obtained sensitive upper limits toward both targets. The derived upper limits on the CO+ column densities represent about 4% of the HCO+ column densities. The corresponding upper limit on the CO+ abundance relative to H2 is <1.2 x 10^{-10}. The non-detection of CO+ confirms that HCO+ is mainly produced in the reaction between oxygen and carbon hydrides, CH2+ or CH3+ , induced by suprathermal processes, while CO+ and HOC+ result from reactions of C+ with OH and H2O. The densities required to form CO molecules at low extinction are consistent with this scheme.


title: Laboratory-based sticking coefficients for ices on a variety of small grains analogs

abstract: Abundances and partitioning of ices and gases produced by gas-grain chemistry are governed by adsorption and desorption on grains. Understanding astrophysical observations rely on laboratory measurements of adsorption and desorption rates on dust grains analogs. On flat surfaces, gas adsorption probabilities (or sticking coefficients) have been found close to unity for most gases. Here we report a strong decrease of the sticking coefficients of H2O and CO2 on substrates more akin to cosmic dust, such as submicrometer-sized particles of carbon and olivine, bare or covered with ice. This effect results from the local curvature of the grains, and then extends to larger grains made of aggregated small particles, such as fluffy or porous dust in more evolved media (e.g. circumstellar disks). The main astrophysical implication is that accretion rates of gases are reduced accordingly, slowing the growth of cosmic ices. Furthermore, volatile species that are not adsorbed on a grain at their freeze-out temperature will pertain in the gas phase, which will impact gas-ice partitions. We also found that thermal desorption of H2O is not modified by grains size, and thus the snowlines temperature should be independent on the dust size distribution.


title: Comprehensive investigation of the symmetric space-star configuration in the nucleon-deuteron breakup

abstract: We examine a description of available cross section data for symmetric space star (SST) configurations in the neutron-deuteron (nd) and proton-deuteron (pd) breakup reaction using numerically exact solutions of the three-nucleon (3N) Faddeev equation based on two- and three-nucleon (semi)phenomenological and chiral forces. The predicted SST cross sections are very stable with respect to the underlying dynamics for incoming nucleon laboratory energies below $\approx 25$ MeV. We discuss possible origins of the surprising discrepancies between theory and data found in low-energy nd and pd SST breakup measurements.


title: An Algorithm for Stochastic and Adversarial Bandits with Switching Costs

abstract: We propose an algorithm for stochastic and adversarial multiarmed bandits with switching costs, where the algorithm pays a price $\lambda$ every time it switches the arm being played. Our algorithm is based on adaptation of the Tsallis-INF algorithm of Zimmert and Seldin (2021) and requires no prior knowledge of the regime or time horizon. In the oblivious adversarial setting it achieves the minimax optimal regret bound of $O\big((\lambda K)^{1/3}T^{2/3} + \sqrt{KT}\big)$, where $T$ is the time horizon and $K$ is the number of arms. In the stochastically constrained adversarial regime, which includes the stochastic regime as a special case, it achieves a regret bound of $O\left(\big((\lambda K)^{2/3} T^{1/3} + \ln T\big)\sum_{i \neq i^*} \Delta_i^{-1}\right)$, where $\Delta_i$ are the suboptimality gaps and $i^*$ is a unique optimal arm. In the special case of $\lambda = 0$ (no switching costs), both bounds are minimax optimal within constants. We also explore variants of the problem, where switching cost is allowed to change over time. We provide experimental evaluation showing competitiveness of our algorithm with the relevant baselines in the stochastic, stochastically constrained adversarial, and adversarial regimes with fixed switching cost.


title: Periodicity of irreducible modular and quantum characters

abstract: For a root system R, a field K and an invertible element q in K let U be the associated quantum group, defined via Lusztig's divided powers construction. We study the irreducible characters of this algebra with integral (but not necessarily dominant) highest weight. If the l-th cyclotomic polynomial vanishes when evaluated at q, then these characters exhibit a certain l-periodicity.


title: KBCNMUJAL@HASOC-Dravidian-CodeMix-FIRE2020: Using Machine Learning for Detection of Hate Speech and Offensive Code-Mixed Social Media text

abstract: This paper describes the system submitted by our team, KBCNMUJAL, for Task 2 of the shared task Hate Speech and Offensive Content Identification in Indo-European Languages (HASOC), at Forum for Information Retrieval Evaluation, December 16-20, 2020, Hyderabad, India. The datasets of two Dravidian languages Viz. Malayalam and Tamil of size 4000 observations, each were shared by the HASOC organizers. These datasets are used to train the machine using different machine learning algorithms, based on classification and regression models. The datasets consist of tweets or YouTube comments with two class labels offensive and not offensive. The machine is trained to classify such social media messages in these two categories. Appropriate n-gram feature sets are extracted to learn the specific characteristics of the Hate Speech text messages. These feature models are based on TFIDF weights of n-gram. The referred work and respective experiments show that the features such as word, character and combined model of word and character n-grams could be used to identify the term patterns of offensive text contents. As a part of the HASOC shared task, the test data sets are made available by the HASOC track organizers. The best performing classification models developed for both languages are applied on test datasets. The model which gives the highest accuracy result on training dataset for Malayalam language was experimented to predict the categories of respective test data. This system has obtained an F1 score of 0.77. Similarly the best performing model for Tamil language has obtained an F1 score of 0.87. This work has received 2nd and 3rd rank in this shared Task 2 for Malayalam and Tamil language respectively. The proposed system is named HASOC_kbcnmujal.


title: On the Orbital Diameter of Groups of Diagonal Type

abstract: The orbital diameter of a primitive permutation group is the maximal diameter of its orbital graphs. There has been a lot of interest in bounds for the orbital diameter. In this paper we provide explicit bounds on the diameters of groups of simple diagonal type. As a consequence we obtain a classification of simple diagonal groups with orbital diameter less than or equal to 4. As part of this, we classify all finite simple groups with covering number and conjugacy width at most 3. We also prove some general bounds on the covering number and conjugacy width of groups of Lie type.


title: Pseudo-synchronous solutions for dissipative non-autonomous systems

abstract: In the framework of KAM theory, the persistence of invariant tori in quasi-integrable systems is proved by assuming a non-resonance condition on the frequencies, such as the standard Diophantine condition or the milder Bryuno condition. In the presence of dissipation, most of the quasi-periodic solutions disappear and one expects, at most, only a few of them to survive together with the periodic attractors. However, to prove that a quasi-periodic solution really exists, usually one assumes that the frequencies still satisfy a Diophantine condition and, furthermore, that some external parameters of the system are suitably tuned with them. In this paper we consider a class of systems on the one-dimensional torus, subject to a periodic perturbation and in the presence of dissipation, and show that, however small the dissipation, if the perturbation is a trigonometric polynomial in the angles and the unperturbed frequencies satisfy a non-resonance condition of finite order, depending on the size of the dissipation, then a quasi-periodic solution exists with slightly perturbed frequencies provided the size of the perturbation is small enough. If on the one hand the maximal size of the perturbation is not uniform in the degree of the trigonometric polynomial, on the other hand all but finitely many frequencies are allowed and there is no restriction arising from the tuning of the external parameters. A physically relevant case, where the result applies, is the spin-orbit model, which describes the rotation of a satellite around its own axis, while revolving on a Keplerian orbit around a planet, in the case in which the dissipation is taken into account through the MacDonald torque.


title: First-principles characterisation of spectroscopic and bonding properties of cationic bismuth carbide clusters

abstract: Vibrational and electronic absorption spectra calculated at the (time-dependent) density functional theory level for the bismuth carbide clusters Bi$_{n}$C$_{2n}$$^+$ ($3 \le n \le 9$) indicate significant differences in types of bonding that depend on cluster geometry. Analysis of the electronic charge densities of these clusters highlighted bonding trends consistent with the spectroscopic information. The combined data suggest that larger clusters ($n > 5$) are likely to be kinetically unstable in agreement with the cluster mass distribution obtained in gas-aggregation source experiments. The spectral fingerprints of the different clusters obtained from our calculations also suggest that identification of specific Bi$_{n}$C$_{2n}$$^+$ isomers of should be possible based on infra-red and optical absorption spectroscopy.


title: Monodromy and Irreducibility of Igusa Varieties

abstract: We determine the irreducible components of Igusa varieties for Shimura varieties of Hodge type and use that to compute the irreducible components of central leaves. In particular, we show that a strong version of the discrete Hecke orbit conjecture is false in general. Our method combines recent work of D'Addezio on monodromy groups of compatible local systems with a generalisation of a method of Hida, using the Honda--Tate theory for Shimura varieties of Hodge type developed by Kisin--Madapusi Pera--Shin. We also determine the irreducible components of Newton strata in Shimura varieties of Hodge type by combining our methods with recent work of Zhou--Zhu.


title: Environment-Aware and Training-Free Beam Alignment for mmWave Massive MIMO via Channel Knowledge Map

abstract: Millimeter wave (mmWave) massive multiple-input multiple-output (MIMO) communication system is expected to achieve enormous transmission rate, provided that the transmit and receive beams are properly aligned with the MIMO channel. However, existing beam alignment techniques rely on either channel estimation or beam sweeping, which incur prohibitively high training overhead, especially for future wireless systems with further increased antenna dimensions and more stringent requirement on cost-effective hardware architectures. In this paper, we propose a new beam alignment technique, which is environment-aware and training-free, by utilizing the emerging concept of channel knowledge map (CKM), together with the user location information that is readily available in contemporary wireless systems. CKM is a site-specific database, tagged with the transmitter/receiver locations, which contains useful channel information to facilitate or even obviate real-time channel state information (CSI) acquistion. Two instances of CKM are proposed for beam alignment in mmWave massive MIMO systems, namely channel path map (CPM) and beam index map (BIM). It is shown that compared with existing training-based beam alignment schemes, the proposed CKM-enabled environment-aware beam alignment is able to drastically improve the effective communication rate, even with moderate user location errors, thanks to its significant saving of the prohibitive training overhead.