title: Electronic Textbook as a Component of Smart Kids Technology of Education of Elementary School Pupils

abstract: The article sets out to analyze national and foreign experience of use of electronic textbooks in the system of education; to justify the use of Smart Kids technology as a system of methods, forms, and electronic educational game resources, electronic textbooks for educational process in the system of elementary school. Four forms of implementation of Smart Kids technology (Smart Case, Smart Teacher, Smart Class, and Smart Kids) were described con-sidering the facilities of every school as well as the level of information and communication technology qualification of the elementary school teacher. The aim of introduction of the technology for each form of teaching, the necessary equipment, and means for its implementation in elementary school environment were determined. Based on the procedural approach to work of an elementary school teacher, six stages of introduction of the technology were justified. Spe-cific aspects of introduction of blended teaching using the principles of Smart Kids technology were defined. The experience of introduction of electronic textbooks to the system of elementary education of Ukraine was described, the choice of electronic textbooks by elementary school teachers was justified, the comments and suggestions of teachers regarding the arrangement of electronic content in E-textbooks were summarized, the main approaches of teachers to the choice of an electronic textbook and development of their information and communication competence were specified. It was identified that the forms, methods, and techniques of use of electronic textbooks in teaching elementary school pupils require further justification.


title: The Model of the Use of Computer Modeling System for Formation Competences of Natural and Mathematical Subject Students

abstract: Lack of methodical support, low level of teachers' awareness of existing effective teaching technologies such as computer modeling does not allow students to form their own individual trajectory for development as well as their competence in natural and mathematical education. The model of use of the computer modeling system for developing students' competences in natural and mathematical subjects has been developed. The peculiarities of this model include its use on the basis of child-centric, systemic, activity, differentiated approaches with the purpose of forming natural and mathematical subject students' competences. An important result of the study is the justification of CMODS selection criteria (variability, accessibility, tooling, interactivity, intuition, complexity, data visuality, scientific ground of models, independence, realism); forms and methods of applying CMODS in the educational process, allocating the aspect of cognitive tasks application (research, creative, applied) for the students competences formation; the justification of such forms of evaluation as reflection, formative evaluation, final evaluation. Computer modeling systems become an alternative to conventional drawings in paper course books and posters. Imitation processes, interactive exercises of various types, animation support as well as formative assessment give each student the opportunity of developing competence and exploring the world with enthusiasm. The use of CMODS diversifies the process of obtaining knowledge, allows transfer from passive to active teaching methods, activates educational and cognitive activity of students, as well as the creation of an individual trajectory for development for each student in the process of studying natural and mathematical subjects.


title: The Karoubi envelope of the mirage of a subshift

abstract: We study a correspondence associating to each subshift $\mathcal X$ of $A^{\mathbb Z}$ a subcategory of the Karoubi envelope of the free profinite semigroup generated by $A$. The objects of this category are the idempotents in the mirage of $\mathcal X$, that is, in the set of pseudowords whose finite factors are blocks of $\mathcal X$. The natural equivalence class of the category is shown to be invariant under flow equivalence. As a corollary of our proof, we deduce the flow invariance of the profinite group that Almeida associated to each irreducible subshift. We also show, in a functorial manner, that the isomorphism class of the category is invariant under conjugacy. Finally, we see that the zeta function of $\mathcal X$ is naturally encoded in the category. These results hold, with obvious translations, for relatively free profinite semigroups over many pseudovarieties, including all of the form $\overline{\mathsf H}$, with $\mathsf H$ a pseudovariety of groups.


title: Revisiting Atomic Collisions Physics with highly charged ions, A tribute to Michel Barat

abstract: Michel Barat passed away in November 2018 at the age of 80 after a rich career in atomic and molecular collisions. He had participated actively in formalizing to the electron promotion model, contributed to low energy reactive collisions at the frontier of chemistry. He investigated electron capture mechanisms by highly charged ions, switched to collision induced cluster dissociation and finally to UV laser excitation induced fragmentation mechanisms of biological molecules. During this highly active time he created a lab, organized ICPEAC and participated actively in the administration of research. This paper covers the ten years where he mentored my scientific activity in the blossoming field of electron capture by highly charge ions (HCI). In spite of an impressive number of open channels, Michel found a way to capture the important parameters and to simplify the description of several electron capture processes; orientation propensity, electron promotion, true double electron capture, Transfer ionisation, Transfer excitation, formation of Rydberg states, and electron capture by metastable states. Each time Michel established fruitful collaborations with other groups.


title: Tailoring a pair of pants: the phase tropical version

abstract: We show that the phase tropical pair-of-pants is (ambient) isotopic to the complex pair-of-pants. This paper can serve as an addendum to the author's joint paper with Ruddat arXiv:2001.08267 where an isotopy between complex and ober-tropical pairs-of-pants was shown. Thus all three versions are isotopic.


title: History for Visual Dialog: Do we really need it?

abstract: Visual Dialog involves "understanding" the dialog history (what has been discussed previously) and the current question (what is asked), in addition to grounding information in the image, to generate the correct response. In this paper, we show that co-attention models which explicitly encode dialog history outperform models that don't, achieving state-of-the-art performance (72 % NDCG on val set). However, we also expose shortcomings of the crowd-sourcing dataset collection procedure by showing that history is indeed only required for a small amount of the data and that the current evaluation metric encourages generic replies. To that end, we propose a challenging subset (VisDialConv) of the VisDial val set and provide a benchmark of 63% NDCG.


title: Close eclipsing binary BD And: a triple system

abstract: BD And is a fairly bright (V = 10.8), active and close (P = 0.9258 days) eclipsing binary. The cyclic variability of the apparent orbital period as well as third light in the light curves indicate the presence of an additional late-type component. The principal aim is the spectroscopic testing of the third-body hypothesis and determination of absolute stellar parameters for both components of the eclipsing binary. First medium and high-resolution spectroscopy of the system was obtained. The broadening-function technique appropriate for heavily-broadened spectra of close binaries was used. The radial velocities were determined fitting the Gaussian functions and rotational profiles to the broadening functions. A limited amount of photometric data has also been obtained. Although the photometric observations were focused on the obtaining the timing information, a cursory light-curve analysis was also performed. Extracted broadening functions clearly show the presence of a third, slowly-rotating component. Its radial velocity is within error of the systemic velocity of the eclipsing pair, strongly supporting the physical bond. The observed systemic radial-velocity and third-component changes do not support the 9 year orbit found from the timing variability. Masses of the components of the eclipsing pair are determined with about 0.5% precision. Further characterization of the system would require long-term photometric and spectroscopic monitoring.


title: Local Gathering of Mobile Robots in Three Dimensions

abstract: In this work, we initiate the research about the Gathering problem for robots with limited viewing range in the three-dimensional Euclidean space. In the Gathering problem, a set of initially scattered robots is required to gather at the same position. The robots' capabilities are very restricted -- they do not agree on any coordinate system or compass, have a limited viewing range, have no memory of the past and cannot communicate. We study the problem in two different time models, in FSYNC (fully synchronized discrete rounds) and the continuous time model. For FSYNC, we introduce the 3D-Go-To-The-Center-strategy and prove a runtime of $\Theta(n^2)$ that matches the currently best runtime bound for the same model in the Euclidean plane [SPAA'11]. Our main result is the generalization of contracting strategies (continuous time) from [Algosensors'17] to three dimensions. In contracting strategies, every robot that is located on the global convex hull of all robots' positions moves with full speed towards the inside of the convex hull. We prove a runtime bound of $O(\Delta \cdot n^{3/2})$ for any three-dimensional contracting strategy, where $\Delta$ denotes the diameter of the initial configuration. This comes up to a factor of $\sqrt{n}$ close to the lower bound of $\Omega (\Delta \cdot n)$ which is already true in two dimensions. In general, it might be hard for robots with limited viewing range to decide whether they are located on the global convex hull and which movement maintains the connectivity of the swarm, rendering the design of concrete contracting strategies a challenging task. We prove that the continuous variant of 3D-Go-To-The-Center is contracting and keeps the swarm connected. Moreover, we give a simple design criterion for three-dimensional contracting strategies that maintains the connectivity of the swarm and introduce an exemplary strategy based on this criterion.


title: Foundations and modelling of dynamic networks using Dynamic Graph Neural Networks: A survey

abstract: Dynamic networks are used in a wide range of fields, including social network analysis, recommender systems, and epidemiology. Representing complex networks as structures changing over time allow network models to leverage not only structural but also temporal patterns. However, as dynamic network literature stems from diverse fields and makes use of inconsistent terminology, it is challenging to navigate. Meanwhile, graph neural networks (GNNs) have gained a lot of attention in recent years for their ability to perform well on a range of network science tasks, such as link prediction and node classification. Despite the popularity of graph neural networks and the proven benefits of dynamic network models, there has been little focus on graph neural networks for dynamic networks. To address the challenges resulting from the fact that this research crosses diverse fields as well as to survey dynamic graph neural networks, this work is split into two main parts. First, to address the ambiguity of the dynamic network terminology we establish a foundation of dynamic networks with consistent, detailed terminology and notation. Second, we present a comprehensive survey of dynamic graph neural network models using the proposed terminology


title: Regional gradient strategic sensors characterizations

abstract: In the present paper, the characterizations of regional gradient strategic sensors notions have been given for different cases of regional gradient observability. The results obtained are applied to two dimensional linear infinite distributed system in Hilbert space where the dynamic is governed by strongly continuous semi-group. Various cases of regional strategic sensors are considered and analyzed in connection with regional gradient strategic sensors concepts. Also, we show that there is a various sensors which are not gradient strategic in usual sense for the considered systems, but may be regionally gradient strategic of this system.


title: Minimizing the Installation Cost of Ground Stations in Satellite Networks: Complexity, Dynamic Programming and Approximation Algorithm

abstract: In this letter, we study the optimum selection of ground stations (GSs) in RF/optical satellite networks (SatNets) in order to minimize the overall installation cost under an outage probability requirement, assuming independent weather conditions between sites. First, we show that the optimization problem can be formulated as a binary-linear-programming problem, and then we give a formal proof of its NP-hardness. Furthermore, we design a dynamic-programming algorithm of pseudo-polynomial complexity with global optimization guarantee as well as an efficient (polynomial-time) approximation algorithm with provable performance guarantee on the distance of the achieved objective value from the global optimum. Finally, the performance of the proposed algorithms is verified through numerical simulations.


title: Alternating Stationary Iterative Methods Based on Double Splittings

abstract: Matrix double splitting iterations are simple in implementation while solving real non-singular (rectangular) linear systems. In this paper, we present two Alternating Double Splitting (ADS) schemes formulated by two double splittings and then alternating the respective iterations. The convergence conditions are then discussed along with comparative analysis. The set of double splittings used in each ADS schemes induce a preconditioned system which helps in showing the convergence of the ADS schemes. We also show that the classes of matrices for which one ADS scheme is better than the other are mutually exclusive. Numerical experiments confirm the proposed ADS schemes are superior to the existing methods in actual implementation. Though the problems are considered in the rectangular matrix settings, the same problems are even new in non-singular matrix settings.


title: Cryogenic second harmonic generation in periodically-poled lithium niobate waveguides

abstract: Prospective integrated quantum optical technologies will combine nonlinear optics and components requiring cryogenic operating temperatures. Despite the prevalence of integrated platforms exploiting $\chi^{(2)}$-nonlinearities for quantum optics, for example used for quantum state generation and frequency conversion, their material properties at low temperatures are largely unstudied. Here, we demonstrate the first second harmonic generation in a fiber-coupled lithium niobate waveguide at temperatures down to 4.4K. We observe a reproducible shift in the phase-matched pump wavelength within the telecom band, in addition to transient discontinuities while temperature cycling. Our results establish lithium niobate as a versatile nonlinear photonic integration platform compatible with cryogenic quantum technologies.


title: The limit empirical spectral distribution of Gaussian monic complex matrix polynomials

abstract: We define the empirical spectral distribution (ESD) of a random matrix polynomial with invertible leading coefficient, and we study it for complex $n \times n$ Gaussian monic matrix polynomials of degree $k$. We obtain exact formulae for the almost sure limit of the ESD in two distinct scenarios: (1) $n \rightarrow \infty$ with $k$ constant and (2) $k \rightarrow \infty$ with $n$ constant. The main tool for our approach is the replacement principle by Tao, Vu and Krishnapur. Along the way, we also develop some auxiliary results of potential independent interest: we slightly extend a result by B\"{u}rgisser and Cucker on the tail bound for the norm of the pseudoinverse of a non-zero mean matrix, and we obtain several estimates on the singular values of certain structured random matrices.


title: Enhancing Perceptual Loss with Adversarial Feature Matching for Super-Resolution

abstract: Single image super-resolution (SISR) is an ill-posed problem with an indeterminate number of valid solutions. Solving this problem with neural networks would require access to extensive experience, either presented as a large training set over natural images or a condensed representation from another pre-trained network. Perceptual loss functions, which belong to the latter category, have achieved breakthrough success in SISR and several other computer vision tasks. While perceptual loss plays a central role in the generation of photo-realistic images, it also produces undesired pattern artifacts in the super-resolved outputs. In this paper, we show that the root cause of these pattern artifacts can be traced back to a mismatch between the pre-training objective of perceptual loss and the super-resolution objective. To address this issue, we propose to augment the existing perceptual loss formulation with a novel content loss function that uses the latent features of a discriminator network to filter the unwanted artifacts across several levels of adversarial similarity. Further, our modification has a stabilizing effect on non-convex optimization in adversarial training. The proposed approach offers notable gains in perceptual quality based on an extensive human evaluation study and a competent reconstruction fidelity when tested on objective evaluation metrics.


title: COVID-Twitter-BERT: A Natural Language Processing Model to Analyse COVID-19 Content on Twitter

abstract: In this work, we release COVID-Twitter-BERT (CT-BERT), a transformer-based model, pretrained on a large corpus of Twitter messages on the topic of COVID-19. Our model shows a 10-30% marginal improvement compared to its base model, BERT-Large, on five different classification datasets. The largest improvements are on the target domain. Pretrained transformer models, such as CT-BERT, are trained on a specific target domain and can be used for a wide variety of natural language processing tasks, including classification, question-answering and chatbots. CT-BERT is optimised to be used on COVID-19 content, in particular social media posts from Twitter.


title: Limits on stellar structures in Lovelock theories of gravity

abstract: We study the bound on the compactness of a stellar object in pure Lovelock theories of arbitrary order in arbitrary spacetime dimensions, involving electromagnetic field. The bound we derive for a generic pure Lovelock theory, reproduces the known results in four dimensional Einstein gravity. Both the case of a charged shell and that of a charge sphere demonstrates that for a given spacetime dimension, stars in general relativity are more compact than the stars in pure Lovelock theories. In addition, as the strength of the Maxwell field increases, the stellar structures become more compact, i.e., the radius of the star decreases. In the context of four dimensional Einstein-Gauss-Bonnet gravity as well, an increase in the strength of the Gauss-Bonnet coupling (behaving as an effective electric charge), increases the compactness of the star. Implications are discussed.


title: Corpus and Models for Lemmatisation and POS-tagging of Classical French Theatre

abstract: This paper describes the process of building an annotated corpus and training models for classical French literature, with a focus on theatre, and particularly comedies in verse. It was originally developed as a preliminary step to the stylometric analyses presented in Cafiero and Camps [2019]. The use of a recent lemmatiser based on neural networks and a CRF tagger allows to achieve accuracies beyond the current state-of-the art on the in-domain test, and proves to be robust during out-of-domain tests, i.e.up to 20th c.novels.


title: Remote Individual Addressing of Quantum Emitters with Chirped Pulses

abstract: We propose to use chirped pulses propagating near a bandgap to remotely address quantum emitters. We introduce a particular family of chirped pulses that dynamically self-compress to sub-wavelength spot sizes during their evolution in a medium with a quadratic dispersion relation. We analytically describe how the compression distance and width of the pulse can be tuned through its initial parameters. We show that the interaction of such pulses with a quantum emitter is highly sensitive to its position due to effective Landau-Zener processes induced by the pulse chirping. Our results propose pulse engineering as a powerful control and probing tool in the field of quantum emitters coupled to structured reservoirs.


title: Measurement of the $B^0$ lifetime using fully reconstructed hadronic decays in the 2019 Belle II dataset

abstract: This document presents the measurement of $B^0$ meson lifetimes using the 2019 Belle II dataset that corresponds to an integrated luminosity of $8.7 \pm 0.2$ fb$^{-1}$. Each candidate is fully reconstructed with hadronic decay final states on the signal side, while the rest-of-event technique allows to infer the decay vertex position on the other (tag) side. $B^0$ lifetime is extracted from an unbinned maximum likelihood fit to the distribution of the difference between the signal side $B^0$ candidate and the tag side decay times. The measured lifetime is $\tau_{B^0} = 1.48 \pm 0.28 \pm 0.06 $ ps, where the first uncertainty is statistical and the second is systematic.


title: A Weyl Entropy of Pure Spacetime Regions

abstract: We focus on the Penrose's Weyl Curvature Hypothesis in a general framework encompassing many specific models discussed in literature. We introduce a candidate density for the Weyl entropy in pure spacetime perfect fluid regions and show that it is monotonically increasing in time under very general assumptions. Then we consider the behavior of the Weyl entropy of compact regions, which is shown to be monotone in time as well under suitable hypotheses, and also maximal in correspondence with vacuum static metrics. The minimal entropy case is discussed too.


title: Monads and Quantitative Equational Theories for Nondeterminism and Probability

abstract: The monad of convex sets of probability distributions is a well-known tool for modelling the combination of nondeterministic and probabilistic computational effects. In this work we lift this monad from the category of sets to the category of metric spaces, by means of the Hausdorff and Kantorovich metric liftings. Our main result is the presentation of this lifted monad in terms of the quantitative equational theory of convex semilattices, using the framework of quantitative algebras recently introduced by Mardare, Panangaden and Plotkin.


title: Coulomb Expansion of Cold Non-Neutral Rubidium Plasma

abstract: We study the expansion of a cold, non-neutral ion plasma into the vacuum. The plasma is made from cold rubidium atoms in a magneto-optical trap (MOT) and is formed via ultraviolet photoionization. We employ time-delayed plasma extraction and imaging onto a position- and time-sensitive micro-channel plate detector to analyze the plasma. We report on the formation and persistence of plasma shock shells, pair correlations in the plasma, and external-field-induced plasma focusing effects. We also develop trajectory and fluid descriptions to model the data and to gain further insight. The simulations verify the formation of shock shells and correlations, and allow us to model time- and position-dependent density, temperature, and Coulomb coupling parameter, $\Gamma({\bf{r}},t)$. This analysis both reaffirms the presence of shock shells and verifies that the experimental plasma is strongly coupled.


title: Excited-State Adiabatic Quantum Computation Started with Vacuum States

abstract: Adiabatic quantum computation (AQC), which is particularly useful for combinatorial optimization, becomes more powerful by using excited states, instead of ground states. However, the excited-state AQC is prone to errors due to dissipation. Here we propose the excited-state AQC started with the most stable state, i.e., the vacuum state. This counterintuitive approach becomes possible by using a driven quantum system, or more precisely, a network of Kerr-nonlinear parametric oscillators (KPOs). By numerical simulations, we show that some hard instances, where standard ground-state AQC with KPOs fails to find their optimal solutions, can be solved by the present approach, where nonadiabatic transitions are rather utilized. We also show that the use of the vacuum state as an initial state leads to robustness against errors due to dissipation, as expected, compared to the use of a really excited (nonvacuum) state as an initial state. Thus, the present work offers new possibilities for quantum computation and driven quantum systems.


title: Particles and the Universe

abstract: The early stages of the universe evolution are discussed according to the hot big bang model and the grand unified theories. The shortcomings of big bang are summarized and their resolution by inflationary cosmology is sketched. Cosmological inflation, the subsequent oscillation and decay of the inflaton field, and the resulting reheating of the universe are studied in some detail. The density perturbations produced by inflation and the temperature fluctuations of the cosmic microwave background radiation are introduced. Baryogenesis via non-thermal leptogenesis is analyzed and dark energy and matter in the universe are presented. Quantum gravity and string theory are very briefly introduced. The problem of initial conditions for inflation is discussed in the light of string theory and the possibly detectable primordial gravity waves from inflation are mentioned.


title: A Distributional View on Multi-Objective Policy Optimization

abstract: Many real-world problems require trading off multiple competing objectives. However, these objectives are often in different units and/or scales, which can make it challenging for practitioners to express numerical preferences over objectives in their native units. In this paper we propose a novel algorithm for multi-objective reinforcement learning that enables setting desired preferences for objectives in a scale-invariant way. We propose to learn an action distribution for each objective, and we use supervised learning to fit a parametric policy to a combination of these distributions. We demonstrate the effectiveness of our approach on challenging high-dimensional real and simulated robotics tasks, and show that setting different preferences in our framework allows us to trace out the space of nondominated solutions.


title: The Non-existence of Perfect Cuboid

abstract: A perfect cuboid, popularly known as a perfect Euler brick/a perfect box, is a cuboid having integer side lengths, integer face diagonals and an integer space diagonal. Euler provided an example where only the body diagonal became deficient for an integer value but it is known as an Euler brick. Nobody has discovered any perfect cuboid, however many of us have tried it. The results of this research paper prove that there exists no perfect cuboid.


title: On The Capacity of Gaussian MIMO Channels Under Interference Constraints (full version)

abstract: Gaussian MIMO channel under total transmit and multiple interference power constraints (TPC and IPCs) is considered. A closed-form solution for its optimal transmit covariance matrix is obtained in the general case (up to dual variables). A number of more explicit closed-form solutions are obtained in some special cases, including full-rank and rank-1 (beamforming) solutions, which differ significantly from the well-known water-filling solutions (e.g. signaling on the channel eigenmodes is not optimal anymore and the capacity can be zero for non-zero transmit power). A whitening filter is shown to be an important part of optimal precoding under interference constraints. Capacity scaling with transmit power is studied: its qualitative behaviour is determined by a natural linear-algebraic structure induced by MIMO channels of multiple users. A simple rank condition is given to characterize the cases where spectrum sharing is possible. An interplay between the TPC and IPCs is investigated, including the transition from power-limited to interference-limited regimes. A number of unusual properties of an optimal covariance matrix under IPCs are pointed out and a bound on its rank is established. Partial null forming known in the adaptive antenna array literature is shown to be optimal from the information-theoretic perspective as well in some cases.


title: How black holes store information in high-order correlations

abstract: We explain how Hawking radiation stores significant amount of information in high-order correlations of quantum fields. This information can be retrieved by multi-time measurements on the quantum fields close to the black hole horizon. This result requires no assumptions about quantum gravity, it takes into account the differences between Gibbs's and Boltzmann's accounts of thermodynamics, and it clarifies misconceptions about key aspects of Hawking radiation and about informational notions in QFT.


title: Moderate bandgap and high carrier mobility simultaneously realized in bilayer silicene by oxidation

abstract: Semiconductors simultaneously possessing high carrier mobility, moderate bandgap, and ambient environment stability are so important for the modern industry, and Si-based semiconducting materials can match well with the previous silicon based electronic components. Thus, searching for such Si-based semiconductors has been one hot project due to the lack of them nowadays. Here, with the help of density functional theory, we found that the oxidized bilayer silicene exhibits high carrier mobility with a moderate direct bandgap of 1.02 eV. The high carrier mobility is caused by the remaining of big pi bond, and the moderate bandgap is opened by the saturation of dangling Si 3p bonds. Originated from the formation of strong Si-O and Si-Si bonds, the sample exhibits strong thermodynamic and dynamical stabilities. Our work indicates that the oxidized bilayer silicene has many potential applications in modern electronic fields.


title: Temperate Fish Detection and Classification: a Deep Learning based Approach

abstract: A wide range of applications in marine ecology extensively uses underwater cameras. Still, to efficiently process the vast amount of data generated, we need to develop tools that can automatically detect and recognize species captured on film. Classifying fish species from videos and images in natural environments can be challenging because of noise and variation in illumination and the surrounding habitat. In this paper, we propose a two-step deep learning approach for the detection and classification of temperate fishes without pre-filtering. The first step is to detect each single fish in an image, independent of species and sex. For this purpose, we employ the You Only Look Once (YOLO) object detection technique. In the second step, we adopt a Convolutional Neural Network (CNN) with the Squeeze-and-Excitation (SE) architecture for classifying each fish in the image without pre-filtering. We apply transfer learning to overcome the limited training samples of temperate fishes and to improve the accuracy of the classification. This is done by training the object detection model with ImageNet and the fish classifier via a public dataset (Fish4Knowledge), whereupon both the object detection and classifier are updated with temperate fishes of interest. The weights obtained from pre-training are applied to post-training as a priori. Our solution achieves the state-of-the-art accuracy of 99.27\% on the pre-training. The percentage values for accuracy on the post-training are good; 83.68\% and 87.74\% with and without image augmentation, respectively, indicating that the solution is viable with a more extensive dataset.


title: Evaluating and Improving Adversarial Robustness of Machine Learning-Based Network Intrusion Detectors

abstract: Machine learning (ML), especially deep learning (DL) techniques have been increasingly used in anomaly-based network intrusion detection systems (NIDS). However, ML/DL has shown to be extremely vulnerable to adversarial attacks, especially in such security-sensitive systems. Many adversarial attacks have been proposed to evaluate the robustness of ML-based NIDSs. Unfortunately, existing attacks mostly focused on feature-space and/or white-box attacks, which make impractical assumptions in real-world scenarios, leaving the study on practical gray/black-box attacks largely unexplored. To bridge this gap, we conduct the first systematic study of the gray/black-box traffic-space adversarial attacks to evaluate the robustness of ML-based NIDSs. Our work outperforms previous ones in the following aspects: (i) practical-the proposed attack can automatically mutate original traffic with extremely limited knowledge and affordable overhead while preserving its functionality; (ii) generic-the proposed attack is effective for evaluating the robustness of various NIDSs using diverse ML/DL models and non-payload-based features; (iii) explainable-we propose an explanation method for the fragile robustness of ML-based NIDSs. Based on this, we also propose a defense scheme against adversarial attacks to improve system robustness. We extensively evaluate the robustness of various NIDSs using diverse feature sets and ML/DL models. Experimental results show our attack is effective (e.g., >97% evasion rate in half cases for Kitsune, a state-of-the-art NIDS) with affordable execution cost and the proposed defense method can effectively mitigate such attacks (evasion rate is reduced by >50% in most cases).


title: Toward inertial confinement fusion energy based on heavy ion beam

abstract: Heavy ion inertial fusion (HIF) energy would be one of promising energy resources securing our future energy in order to sustain our human life for centuries and beyond. The heavy ion beam (HIB) has remarkable preferable features to release the fusion energy in inertial confinement fusion: in particle accelerators HIBs are generated with a high driver efficiency of ~ 30-40%, and the HIB ions deposit their energy inside of materials. Therefore, a requirement for the fusion target energy gain is relatively low, that would be ~50-70 to operate a HIF fusion reactor with the standard energy output of 1GW of electricity. The HIF reactor operation frequency would be ~10~15 Hz or so. Several-MJ HIBs illuminate a fusion fuel target, and the fuel target is imploded to about a thousand times of the solid density. Then the DT fuel is ignited and burned. The HIB ion deposition range would be ~0.5-1 mm or so depending on the material. Therefore, a relatively large density-scale length appears in the fuel target material. The large density-gradient-scale length helps to reduce the Rayleigh-Taylor (R-T) growth rate. The key merits in HIF physics are presented in the article toward our bright future energy resource.


title: Exploring Weak Strategy-Proofness in Voting Theory

abstract: Voting is the aggregation of individual preferences in order to select a winning alternative. Selection of a winner is accomplished via a voting rule, e.g., rank-order voting, majority rule, plurality rule, approval voting. Which voting rule should be used? In social choice theory, desirable properties of voting rules are expressed as axioms to be satisfied. This thesis focuses on axioms concerning strategic manipulation by voters. Sometimes, voters may intentionally misstate their true preferences in order to alter the outcome for their own advantage. For example, in plurality rule, if a voter knows that their top-choice candidate will lose, then they might instead vote for their second-choice candidate just to avoid an even less desirable result. When no coalition of voters can strategically manipulate, then the voting rule is said to satisfy the axiom of Strategy-Proofness. A less restrictive axiom is Weak Strategy-Proofness (as defined by Dasgupta and Maskin (2019)), which allows for strategic manipulation by all but the smallest coalitions. Under certain intuitive conditions, Dasgupta and Maskin (2019) proved that the only voting rules satisfying Strategy-Proofness are rank-order voting and majority rule. In my thesis, I generalize their result, by proving that rank-order voting and majority rule are surprisingly still the only voting rules satisfying Weak Strategy-Proofness.


title: Parallel Data Augmentation for Formality Style Transfer

abstract: The main barrier to progress in the task of Formality Style Transfer is the inadequacy of training data. In this paper, we study how to augment parallel data and propose novel and simple data augmentation methods for this task to obtain useful sentence pairs with easily accessible models and systems. Experiments demonstrate that our augmented parallel data largely helps improve formality style transfer when it is used to pre-train the model, leading to the state-of-the-art results in the GYAFC benchmark dataset.


title: New Constraints on Supersymmetry Using Neutrino Telescopes

abstract: We demonstrate that megaton-mass neutrino telescopes are able to observe the signal from long-lived particles beyond the Standard Model, in particular the stau, the supersymmetric partner of the tau lepton. Its signature is an excess of charged particle tracks with horizontal arrival directions and energy deposits between 0.1 and 1 TeV inside the detector. We exploit this previously-overlooked signature to search for stau particles in the publicly available IceCube data. The data shows no evidence of physics beyond the Standard Model. We derive a new lower limit on the stau mass of $320$ GeV (95\% C.L.) and estimate that this new approach, when applied to the full data set available to the IceCube collaboration, will reach world-leading sensitivity to the stau mass ($m_{\tilde{\tau}}=450\,\mathrm{GeV}$).


title: Scalar quasinormal modes of black holes in Einstein-Yang-Mills gravity

abstract: Quasinormal modes of a scalar field perturbation are investigated in the background spacetime of Einstein-Yang-Mills black holes. The logarithmic term in the metric function of the five-dimensional Einstein-Yang-Mills black hole eliminates the divergence of the Hawking temperature but maintains the charge-dependent behavior of the quasinormal modes. The real and imaginary parts of quasinormal mode frequencies have the same charge-dependent behavior in different dimensions. Similar to the case of high dimensional Schwarzschild black holes, a compact approximate relation, $\omega_{\rm R}\sim D/r_{+}$, also exists between the real part of the quasinormal mode frequencies $\omega_{\rm R}$ and the number of dimensions $D$ in the higher than five dimensional Einstein-Yang-Mills black holes.


title: Matrix Field Theory

abstract: This thesis studies matrix field theories, which are a special type of matrix models. First, the different types of applications are pointed out, from (noncommutative) quantum field theory over 2-dimensional quantum gravity up to algebraic geometry with explicit computation of intersection numbers on the moduli space of complex curves. The Kontsevich model, which has proved the Witten conjecture, is the simplest example of a matrix field theory. Generalisations of this model will be studied, where different potentials and the spectral dimension (defined by the asymptotics of the external matrix) are introduced. Because they are naturally embedded into a Riemann surface, the correlation functions are graded by the genus and the number of boundary components. The renormalisation procedure of quantum field theory leads to finite UV-limit. We provide a method to determine closed Schwinger-Dyson equations with the usage of Ward-Takahashi identities in the continuum limit. The cubic (Kontsevich model) and the quartic (Grosse-Wulkenhaar model) potentials are studied separately. For the cubic potential, we show that the renormalisation procedure is compatible with topological recursion (TR). This means that the exact results computed by TR coincide perturbatively with the graph expansion renormalised by Zimmermann's forest formula. For the quartic model, the first correlation function (2-point function) is computed exactly. We give hints that the quartic model has structurally the same properties as the hermitian 2-matrix model with genus zero spectral curve.


title: Chemical Composition of Bright Stars in the Continuous Viewing Zone of the TESS Space Mission

abstract: Accurate atmospheric parameters and chemical composition of stars play a vital role in characterizing physical parameters of exoplanetary systems and understanding of their formation. A full asteroseismic characterization of a star is also possible if its main atmospheric parameters are known. The NASA Transiting Exoplanet Survey Satellite (TESS) space telescope will play a very important role in searching of exoplanets around bright stars and stellar asteroseismic variability research. We have observed all 302 bright (V < 8 mag) and cooler than F5 spectral class stars in the northern TESS continuous viewing zone with a 1.65 m telescope at the Moletai Astronomical Observatory of Vilnius University and the high-resolution Vilnius University Echelle Spectrograph. We uniformly determined the main atmospheric parameters, ages, orbital parameters, velocity components, and precise abundances of 24 chemical species ( C(C2), N(CN), [O I], Na I, Mg I, Al I, Si I, Si II, Ca I, Ca II, Sc I, Sc II, Ti I, Ti II, V I, Cr I, Cr II, Mn I, Fe I, Fe II, Co I, Ni I, Cu I, and Zn I) for 277 slowly rotating single stars in the field. About 83 % of the sample stars exhibit the Mg/Si ratios greater than 1.0 and may potentially harbor rocky planets in their systems.


title: Lowering tensor-to-scalar ratio by pre-inflationary dynamics

abstract: Pre-inflationary dynamics is known to have left observable imprints via the varied dynamics of the inflaton and the graviton fields during those epochs. It is highlighted here that other particle degrees of freedom, too, are capable of leaving their imprints on primordial observables if they transfer their entropies upon annihilation after becoming non-relativistic during a pre-inflationary epoch. Such annihilations of other particles would result in lowering of the tensor-to-scalar ratio at the pivot scale (and at length scales larger to that) which would help bring those potentials back in accordance with current observations which are otherwise disfavoured for yielding large tensor-to-scalar ratios at present.


title: Neutron-scattering studies of spin dynamics in pure and doped CeB6

abstract: As a simple cubic system with only one f electron per cerium ion, CeB6 is of model character to investigate the interplay of orbital phenomena with magnetism. It is also a textbook example of a compound that exhibits magnetically hidden order -- a low-temperature magnetic phase with ordered quadrupolar moments. It is difficult to identify the symmetry of such hidden-order states in common x-ray or neutron scattering experiments, as there is no signal in zero field, however alternative techniques like neutron diffraction in external field, resonant x-ray scattering, or ultrasonic investigations can be applied. Another possible method for characterizing hidden order is to look at the magnetic excitation spectrum, which carries the imprint of the multipolar interactions and the hidden order parameter in its dispersion relations. Using a specific candidate model, the dispersion is calculated and then compared to that measured with inelastic neutron scattering. Until recently, only a limited amount of data which show the presence of dispersing excitations measured along a few high-symmetry directions in an applied magnetic field were available. Early attempts to compare such calculations with experiments showed that only strongest modes at high-symmetry points could be identified. The present review of the most recent neutron-scattering results is intended to satisfy the need of more accurate inelastic neutron-scattering experiments as a function of field and temperature, giving us the opportunity to identify existing excitation branches in CeB6 and conclusively compare them with the theoretically predicted multipolar excitations.


title: Floquet engineering of topological metal states and hybridization of edge states with bulk states in dimerized two-leg ladders

abstract: We consider asymmetric and symmetric dimerized two-leg ladders, comprising of four different lattice points per unit cell, illuminated by circularly polarized light. In the asymmetric dimerized ladder case, rungs are not perpendicular to the ladder's legs whereas the rungs are perpendicular to the legs for the symmetric one. Using the Floquet theory, we obtain an effective Hamiltonian to study topological properties of the systems. Depending on the dimerization strength and driving amplitude, it is shown that topologically protected edge states manifest themselves not only as a zero-energy band within the gap between conduction and valence band but also as finite-energy curved bands inside the gap of subbands. The latter one can penetrate into bulk states and hybridize with the bulk states revealing hybridized Floquet topological metal phase with delocalized edge states in the asymmetric ladder case. However, in the symmetric ladder, the finite-energy edge states while remaining localized can coexist with the extended bulk states manifesting Floquet topological metal phase.


title: Convolutional neural networks for classification and regression analysis of one-dimensional spectral data

abstract: Convolutional neural networks (CNNs) are widely used for image recognition and text analysis, and have been suggested for application on one-dimensional data as a way to reduce the need for pre-processing steps. Pre-processing is an integral part of multivariate analysis, but determination of the optimal pre-processing methods can be time-consuming due to the large number of available methods. In this work, the performance of a CNN was investigated for classification and regression analysis of spectral data. The CNN was compared with various other chemometric methods, including support vector machines (SVMs) for classification and partial least squares regression (PLSR) for regression analysis. The comparisons were made both on raw data, and on data that had gone through pre-processing and/or feature selection methods. The models were used on spectral data acquired with methods based on near-infrared, mid-infrared, and Raman spectroscopy. For the classification datasets the models were evaluated based on the percentage of correctly classified observations, while for regression analysis the models were assessed based on the coefficient of determination (R$^2$). Our results show that CNNs can outperform standard chemometric methods, especially for classification tasks where no pre-processing is used. However, both CNN and the standard chemometric methods see improved performance when proper pre-processing and feature selection methods are used. These results demonstrate some of the capabilities and limitations of CNNs used on one-dimensional data.


title: 6G Communications: A Vision on the Potential Applications

abstract: 6G communication technology is a revolutionary technology that will revolutionize many technologies and applications. Furthermore, it will be truly AI-driven and will carry on intelligent space. Hence, it will enable Internet of Everything (IoE) which will also impact many technologies and applications. 6G communication technology promises high Quality of Services (QoS) and high Quality of Experiences (QoE). With the combination of IoE and 6G communication technology, number of applications will be exploded in the coming future, particularly, vehicles, drones, homes, cities, hospitals, and so on, and there will be no untouched area. Thence, it is expected that many existing technologies will fully depend on 6G communication technology and enhance their performances. 6G communication technology will prove as game changer communication technology in many fields and will be capable to influence many applications. Therefore, we envision the potential applications of 6G communication technology in the near future.


title: 6G Communication Technology: A Vision on Intelligent Healthcare

abstract: 6G is a promising communication technology that will dominate the entire health market from 2030 onward. It will dominate not only health sector but also diverse sectors. It is expected that 6G will revolutionize many sectors including healthcare. Healthcare will be fully AI-driven and dependent on 6G communication technology, which will change our perception of lifestyle. Currently, time and space are the key barriers to health care and 6G will be able to overcome these barriers. Also, 6G will be proven as a game changing technology for healthcare. Therefore, in this perspective, we envision healthcare system for the era of 6G communication technology. Also, various new methodologies have to be introduced to enhance our lifestyle, which is addressed in this perspective, including Quality of Life (QoL), Intelligent Wearable Devices (IWD), Intelligent Internet of Medical Things (IIoMT), Hospital-to-Home (H2H) services, and new business model. In addition, we expose the role of 6G communication technology in telesurgery, Epidemic and Pandemic.


title: Testing the Equivalence Principle with Strong Lensing Time Delay Variations

abstract: Strong lensing time delay measurements provide a valuable and almost model-independent tool for cosmological investigations. In this work we recognize that they also carry information on the strength of the gravitational coupling at the redshift of the lens, and thus could be in principle used to test the equivalence principle on extragalactic scales. For the case of an extended lens with a static mass distribution we explicitly derive an analytical relation between $\dot{G}/G$ and the relative variation of the time delay. For illustrative purpose, we apply our formula to the light curves of multiple images of the quasar DES J0408-5354 and simulated ones, which results in weak constraints on the variation of $\dot{G}/G$ of order $10^{-1}-10^{-2} \, yr^{-1}$ in the best scenario. Finally, we briefly discuss how those constraints can be improved in the next future.


title: Machine Learning as a Catalyst for Value-Based Health Care

abstract: In this manuscript, we present an argument that machine learning, a subfield of artificial intelligence, can drive improvement in value-based health care through reducing error in clinical decision making. Much of what has been previously published on machine learning in medicine represent single-use or proof-of-concept cases, as well as broad reviews of the advantages and limitations of machine learning. It is timely to look at the broader strategy for artificial intelligence implementation in medicine and emphasize how machine learning can positively influence value-based care.


title: Nullity bounds for certain Hamiltonian delay equations

abstract: In this paper we introduce a class of Hamilton delay equations which arise as critical points of an action functional motivated by orbit interactions. We show that the kernel of the Hessian at each critical point of the action functional satisfies a uniform bound on its dimension.


title: Mergers of Equal-Mass Binaries with Compact Object Companions from Mass Transfer in Triple Star Systems

abstract: In this paper, we consider triple systems composed of main-sequence (MS) stars, and their internal evolution due to stellar and binary evolution. Our focus is on triples that produce white dwarfs (WDs), where Roche lobe overflow of an evolving tertiary triggers accretion onto the inner binary via a circumbinary disk (CBD) driving it toward a mass ratio of unity. We present a combination of analytic- and population synthesis-based calculations performed using the \texttt{SeBa} code to constrain the expected frequency of such systems, given a realistic initial population of MS triples, and provide the predicted distributions of orbital periods. We identify the parameter space for triples that can accommodate a CBD, to inform future numerical simulations of suitable initial conditions. We find that $\lesssim$ 10\% of all MS triples should be able to accommodate a CBD around the inner binary, and compute lower limits for the production rates. This scenario broadly predicts mergers of near equal-mass binaries, producing blue stragglers (BSs), Type Ia supernovae, gamma ray bursts and gravitational wave-induced mergers, along with the presence of an outer WD tertiary companion. We compare our predicted distributions to a sample of field BS binaries, and argue that our proposed mechanism explains the observed range of orbital periods. Finally, the mechanism considered here could produce hypervelocity MS stars, WDs and even millisecond pulsars with masses close to the Chandrasekhar mass limit, and be used to constrain the maximum remnant masses at the time of any supernova explosion.


title: Multiple magnon modes in spin-1/2 Heisenberg antiferromagnet on simple square lattice in strong magnetic field

abstract: We discuss spin-$\frac12$ Heisenberg antiferromagnet on simple square lattice in magnetic field $H$ using recently proposed bond-operator technique. It is well known that magnetically ordered phases of quantum magnets are well described at least qualitatively by the conventional spin-wave theory that only introduces quantum corrections into the classical solution of the problem. We observe that quantum fluctuations change drastically dynamical properties of the considered model at $H$ close to its saturation value: the dynamical structure factor shows anomalies corresponding to Green's function poles which have no counterparts in the spin-wave theory. That is, quantum fluctuations produce multiple short-wavelength magnon modes not changing qualitatively the long-wavelength spin dynamics. Our results are in agreement with previous quantum Monte-Carlo simulations and exact diagonalization of finite clusters.


title: Farmers' situation in agriculture markets and role of public interventions in India

abstract: In our country, majority of agricultural workers (who may include farmers working within a cooperative framework, or those who work individually either as owners or tenants) are shown to be reaping the least amount of profits in the agriculture value chain when compared to the effort they put in. There is a good amount of literature which broadly substantiates this situation in our country. Main objective of this study is to have a broad understanding of the role played by public systems in this value chain, particularly in the segment that interacts with farmers. As a starting point, we first try to get a better understanding of how farmers are placed in a typical agriculture value chain. For this we take the help of recent seminal works on this topic that captured the situation of farmers' within certain types of value chains. Then, we isolate the segment which interacts with farmers and deep-dive into data to understand the role played by public interventions in determining farmers' income from agriculture. NSSO 70th round on Situation Assessment Survey of farmers has data pertaining to the choices of farmers and the type of their interaction with different players in the value chain. Using this data we tried to get a econometric picture of the role played by government interventions and the extent to which they determine the incomes that a typical farming household derives out of agriculture.


title: Context Detection for Advanced Self-Aware Navigation using Smartphone Sensors

abstract: Navigation and positioning systems dependent on both the operating environment and the behaviour of the host vehicle or user. The environment determines the type and quality of radio signals available for positioning and the behaviour can contribute additional information to the navigation solution. In order to operate across different contexts, a context-adaptive navigation solution introduces an element of self-awareness by detecting the operating context and configuring the positioning system accordingly. This paper presents the detection of both environmental and behavioural contexts as a whole, building the foundation of a context-adaptive navigation system. Behavioural contexts are classified using measurements from accelerometers, gyroscopes, magnetometers and the barometer by supervised machine learning algorithms, yielding an overall 95% classification accuracy. A connectivity dependent filter is then implemented to improve the behavioural detection results. Environmental contexts are detected from GNSS measurements. They are classified into indoor, intermediate and outdoor categories using a probabilistic support vector machine (SVM), followed by a hidden Markov model (HMM) used for time-domain filtering. As there will never be completely reliable context detection, the paper also shows how environment and behaviour association can contribute to reducing the chances of the context determination algorithms selecting an incorrect context. Finally, the proposed context-determination algorithms are tested in a series of multi-context scenarios.


title: Large $N_f$ for multiple representations

abstract: We present an extension of the large $N_f$ formalism that allows to study cases with multiple fermion representations. The pole structure in the beta function is traced back to the intrinsic non-abelian nature of the gauge group, independently on the fermion representation. This result validates the conjectured existence of an interactive UV fixed point for non-abelian gauge theories with large fermion multiplicity. Finally, we apply our results to chiral gauge theories and to extended Grand Unified Theories.


title: Simple Sensor Intentions for Exploration

abstract: Modern reinforcement learning algorithms can learn solutions to increasingly difficult control problems while at the same time reduce the amount of prior knowledge needed for their application. One of the remaining challenges is the definition of reward schemes that appropriately facilitate exploration without biasing the solution in undesirable ways, and that can be implemented on real robotic systems without expensive instrumentation. In this paper we focus on a setting in which goal tasks are defined via simple sparse rewards, and exploration is facilitated via agent-internal auxiliary tasks. We introduce the idea of simple sensor intentions (SSIs) as a generic way to define auxiliary tasks. SSIs reduce the amount of prior knowledge that is required to define suitable rewards. They can further be computed directly from raw sensor streams and thus do not require expensive and possibly brittle state estimation on real systems. We demonstrate that a learning system based on these rewards can solve complex robotic tasks in simulation and in real world settings. In particular, we show that a real robotic arm can learn to grasp and lift and solve a Ball-in-a-Cup task from scratch, when only raw sensor streams are used for both controller input and in the auxiliary reward definition.


title: Controlled diffusion Mean Field Games with common noise, and McKean-Vlasov second order backward SDEs

abstract: We consider a mean field game with common noise in which the diffusion coefficients may be controlled. We prove existence of a weak relaxed solution under some continuity conditions on the coefficients. We then show that, when there is no common noise, the solution of this mean field game is characterized by a McKean-Vlasov type second order backward SDE.


title: Elastic execution of checkpointed MPI applications

abstract: MPI applications begin with a fixed number of rank and, by default, the rank remains constant throughout the application's lifetime. The developer can choose to increase the rank by dynamically spawning MPI processes. However doing this manually adds complexity to the MPI application. Making the MPI applications malleable \cite{b20} would allow HPC applications to have the same elasticity as that of cloud applications. We propose multiple approaches to change the rank of an MPI program agnostic to the modification of the user code. We use checkpointing as a tool to achieve mutability of rank by halting the execution and resuming the MPI program with a new state. In this paper, we focus on the scenario of increasing the rank of an MPI program using ExaMPI as the implementation for MPI.


title: Referencing Sources of Molecular Spectroscopic Data in the Era of Data Science: Application to the HITRAN and AMBDAS Databases

abstract: The application described has been designed to create bibliographic entries in large databases with diverse sources automatically, which reduces both the frequency of mistakes and the workload for the administrators. This new system uniquely identifies each reference from its digital object identifier (DOI) and retrieves the corresponding bibliographic information from any of several online services, including the SAO/NASA Astrophysics Data Systems (ADS) and CrossRef APIs. Once parsed into a relational database, the software is able to produce bibliographies in any of several formats, including HTML and BibTeX, for use on websites or printed articles. The application is provided free-of-charge for general use by any scientific database. The power of this application is demonstrated when used to populate reference data for the HITRAN and AMBDAS databases as test cases. HITRAN contains data that is provided by researchers and collaborators throughout the spectroscopic community. These contributors are accredited for their contributions through the bibliography produced alongside the data returned by an online search in HITRAN. Prior to the work presented here, HITRAN and AMBDAS created these bibliographies manually, which is a tedious, time-consuming and error-prone process. The complete code for the new referencing system can be found at \url{https://github.com/hitranonline/refs}.


title: 3D deformable registration of longitudinal abdominopelvic CT images using unsupervised deep learning

abstract: This study investigates the use of the unsupervised deep learning framework VoxelMorph for deformable registration of longitudinal abdominopelvic CT images acquired in patients with bone metastases from breast cancer. The CT images were refined prior to registration by automatically removing the CT table and all other extra-corporeal components. To improve the learning capabilities of VoxelMorph when only a limited amount of training data is available, a novel incremental training strategy is proposed based on simulated deformations of consecutive CT images. In a 4-fold cross-validation scheme, the incremental training strategy achieved significantly better registration performance compared to training on a single volume. Although our deformable image registration method did not outperform iterative registration using NiftyReg (considered as a benchmark) in terms of registration quality, the registrations were approximately 300 times faster. This study showed the feasibility of deep learning based deformable registration of longitudinal abdominopelvic CT images via a novel incremental training strategy based on simulated deformations.


title: On the stabilisers of points in groups with micro-supported actions

abstract: Given a group $G$ of homeomorphism of a first-countable Hausdorff space $\mathcal{X}$, we prove that if the action of $G$ on $\mathcal{X}$ is minimal and has rigid stabilisers that act locally minimally, then the neighbourhood stabilisers of any two points in $\mathcal{X}$ are conjugated by a homeomorphism of $\mathcal{X}$. This allows us to study stabilisers of points in many classes of groups, such as topological full groups of Cantor minimal systems, Thompson groups, branch groups, and groups acting on trees with almost prescribed local actions.


title: Online path sampling control with progressive spatio-temporal filtering

abstract: This work introduces progressive spatio-temporal filtering, an efficient method to build all-frequency approximations to the light transport distribution into a scene by filtering individual samples produced by an underlying path sampler, using online, iterative algorithms and data-structures that exploit both the spatial and temporal coherence of the approximated light field. Unlike previous approaches, the proposed method is both more efficient, due to its use of an iterative temporal feedback loop that massively improves convergence to a noise-free approximant, and more flexible, due to its introduction of a spatio-directional hashing representation that allows to encode directional variations like those due to glossy reflections. We then introduce four different methods to employ the resulting approximations to control the underlying path sampler and/or modify its associated estimator, greatly reducing its variance and enhancing its robustness to complex lighting scenarios. The core algorithms are highly scalable and low-overhead, requiring only minor modifications to an existing path tracer.


title: The stationary Boussinesq problem under singular forcing

abstract: In Lipschitz two and three dimensional domains, we study the existence for the so--called Boussinesq model of thermally driven convection under singular forcing. By singular we mean that the heat source is allowed to belong to $H^{-1}(\varpi,\Omega)$, where $\varpi$ is a weight in the Muckenhoupt class $A_2$ that is regular near the boundary. We propose a finite element scheme and, under the assumption that the domain is convex and $\varpi^{-1} \in A_1$, show its convergence. In the case that the thermal diffusion and viscosity are constants, we propose an a posteriori error estimator and show its reliability and local efficiency.


title: Siamese Neural Networks for Class Activity Detection

abstract: Classroom activity detection (CAD) aims at accurately recognizing speaker roles (either teacher or student) in classrooms. A CAD solution helps teachers get instant feedback on their pedagogical instructions. However, CAD is very challenging because (1) classroom conversations contain many conversational turn-taking overlaps between teachers and students; (2) the CAD model needs to be generalized well enough for different teachers and students; and (3) classroom recordings may be very noisy and low-quality. In this work, we address the above challenges by building a Siamese neural framework to automatically identify teacher and student utterances from classroom recordings. The proposed model is evaluated on real-world educational datasets. The results demonstrate that (1) our approach is superior on the prediction tasks for both online and offline classroom environments; and (2) our framework exhibits robustness and generalization ability on new teachers (i.e., teachers never appear in training data).


title: Assessing the impacts of mutations to the structure of COVID-19 spike protein via sequential Monte Carlo

abstract: Proteins play a key role in facilitating the infectiousness of the 2019 novel coronavirus. A specific spike protein enables this virus to bind to human cells, and a thorough understanding of its 3-dimensional structure is therefore critical for developing effective therapeutic interventions. However, its structure may continue to evolve over time as a result of mutations. In this paper, we use a data science perspective to study the potential structural impacts due to ongoing mutations in its amino acid sequence. To do so, we identify a key segment of the protein and apply a sequential Monte Carlo sampling method to detect possible changes to the space of low-energy conformations for different amino acid sequences. Such computational approaches can further our understanding of this protein structure and complement laboratory efforts.


title: Dual-Signal Transformation LSTM Network for Real-Time Noise Suppression

abstract: This paper introduces a dual-signal transformation LSTM network (DTLN) for real-time speech enhancement as part of the Deep Noise Suppression Challenge (DNS-Challenge). This approach combines a short-time Fourier transform (STFT) and a learned analysis and synthesis basis in a stacked-network approach with less than one million parameters. The model was trained on 500 h of noisy speech provided by the challenge organizers. The network is capable of real-time processing (one frame in, one frame out) and reaches competitive results. Combining these two types of signal transformations enables the DTLN to robustly extract information from magnitude spectra and incorporate phase information from the learned feature basis. The method shows state-of-the-art performance and outperforms the DNS-Challenge baseline by 0.24 points absolute in terms of the mean opinion score (MOS).


title: System of Computer Modeling and Features of their use in the Educational Process of General Secondary Eeducation

abstract: The article analyzes the historical aspect of the formation of computer modeling as one of the perspective directions of educational process development. The notion of "system of computer modeling", conceptual model of system of computer modeling (SCMod), its components (mathematical, animation, graphic, strategic), functions, principles and purposes of use are grounded. The features of the organization of students work using SCMod, individual and group work, the formation of subject competencies are described; the aspect of students' motivation to learning is considered. It is established that educational institutions can use SCMod at different levels and stages of training and in different contexts, which consist of interrelated physical, social, cultural and technological aspects. It is determined that the use of SCMod in general secondary school would increase the capacity of teachers to improve the training of students in natural and mathematical subjects and contribute to the individualization of the learning process, in order to meet the pace, educational interests and capabilities of each particular student. It is substantiated that the use of SCMod in the study of natural-mathematical subjects contributes to the formation of subject competencies, develops the skills of analysis and decision-making, increases the level of digital communication, develops vigilance, raises the level of knowledge, increases the duration of attention of students. Further research requires the justification of the process of forming students' competencies in natural-mathematical subjects and designing cognitive tasks using SCMod.


title: Spatial evidence that language change is not neutral

abstract: The neutral theory of genetic and linguistic evolution holds that the relative frequencies of variants evolve by random drift. Neutral evolution remains a plausible null model of language change. In this paper we provide evidence against the neutral hypothesis by considering the geographical patterns observed in language surveys. We model speakers as neurons in a Hopfield network embedded in space, analogous to one of the classical two dimensional lattice models of statistical physics. The universality class of the model depends on the form of the activation function of the neurons, which encodes learning behaviour of speakers. We view maps generated by the Survey of English Dialects as samples from our network. Maximum likelihood analysis, and comparison of spatial auto-correlations between real and simulated maps, indicates that the maps are more likely to belong to the conformity-driven Ising class, where interfaces are driven by surface tension, rather than the neutral Voter class, where they are driven by noise.


title: Quasi-harmonic oscillations of charged particles in static axially symmetric space-times immersed in a uniform magnetic field

abstract: In continuation of our previous study [Phys. Rev. D 99 (2019) 4, 044012], we investigate the motion of charged particles in the $\gamma$-metric. We provide some examples of curled trajectories in the equatorial plane and escape trajectories outside the equatorial plane. Finally, we consider harmonic oscillations due to small displacements from stable circular orbits on the equatorial plane and compute the epicyclic frequencies for different values of deformation parameter and magnetic field.


title: Stochastic and Robust MPC for Bipedal Locomotion: A Comparative Study on Robustness and Performance

abstract: Linear Model Predictive Control (MPC) has been successfully used for generating feasible walking motions for humanoid robots. However, the effect of uncertainties on constraints satisfaction has only been studied using Robust MPC (RMPC) approaches, which account for the worst-case realization of bounded disturbances at each time instant. In this letter, we propose for the first time to use linear stochastic MPC (SMPC) to account for uncertainties in bipedal walking. We show that SMPC offers more flexibility to the user (or a high level decision maker) by tolerating small (user-defined) probabilities of constraint violation. Therefore, SMPC can be tuned to achieve a constraint satisfaction probability that is arbitrarily close to 100\%, but without sacrificing performance as much as tube-based RMPC. We compare SMPC against RMPC in terms of robustness (constraint satisfaction) and performance (optimality). Our results highlight the benefits of SMPC and its interest for the robotics community as a powerful mathematical tool for dealing with uncertainties.


title: Effective noncommutative Nevanlinna-Pick interpolation in the row ball, and applications

abstract: We provide an effective single-matrix criterion, in terms of what we call the elementary Pick matrix, for the solvability of the noncommutative Nevanlinna-Pick interpolation problem in the row ball, and provide some applications. In particular we show that the so-called "column-row property" fails for the free semigroup algebras, in stark contrast to the analogous commutative case. Additional applications of the elementary Pick matrix include a local dilation theorem for matrix row contractions and interpolating sequences in the noncommutative setting. Finally we present some numerical results related to the failure of the column-row property.


title: On approximation theorems for the Euler characteristic with applications to the bootstrap

abstract: We study approximation theorems for the Euler characteristic of the Vietoris-Rips and Cech filtration. The filtration is obtained from a Poisson or binomial sampling scheme in the critical regime. We apply our results to the smooth bootstrap of the Euler characteristic and determine its rate of convergence in the Kantorovich-Wasserstein distance and in the Kolmogorov distance.


title: Bound on quantum scrambling with all-to-all interactions

abstract: We prove bounds on operator growth and infinite temperature out-of-time-ordered correlators in many-body systems with $N$ spin-$\frac{1}{2}$ degrees of freedom which interact via two-body all-to-all interactions. Our results parametrically improve previous bounds, and sharply constrain when and how quantum simulators, including trapped ion crystals and cavity quantum electrodynamics, can study quantum gravity.


title: Discovery of $\beta$ Cep pulsations in the eclipsing binary V453 Cygni

abstract: V453 Cyg is an eclipsing binary containing 14 Msun and 11 Msun stars in an eccentric short-period orbit. We have discovered $\beta$ Cep-type pulsations in this system using TESS data. We identify seven significant pulsation frequencies, between 2.37 and 10.51 d$^{-1}$, in the primary star. These include six frequencies which are separated by yet significantly offset from harmonics of the orbital frequency, indicating they are tidally-perturbed modes. We have determined the physical properties of the system to high precision: V453 Cyg A is the first $\beta$ Cep pulsator with a precise mass measurement. The system is a vital tracer of the physical processes that govern the evolution of massive single and binary stars.


title: Can students apply the concept of "which-path" information learned in the context of Mach Zehnder Interferometer to the double-slit experiment?

abstract: The ability to use concepts learned in one context to solve problems in a different context (i.e., transfer of learning) is a hallmark of expertise in physics. The majority of the studies on transfer of learning in physics have focused on introductory students. However, compared to advanced students, introductory students have significantly less prior relevant knowledge and skills which may be crucial for promoting effective transfer. Here, we examine upper-level undergraduate and graduate students' ability to transfer their learning about the concept of "which-path" information and its relation to whether or not interference is observed from the context of the Mach Zehnder Interferometer (MZI) to a new context of the double-slit experiment (DSE). Students worked through a tutorial on the MZI in which they learned to use the concept of "which-path" information to reason about interference of single photons when polarizers with various orientations are placed in one or both paths of the MZI. After working on the MZI tutorial, students were asked similar questions in the isomorphic context of the DSE before any instruction about the DSE and we examined the extent to which transfer of learning about "which-path" information occurred from the MZI to the DSE context. We find evidence suggesting that positive transfer of learning from the MZI to the DSE occurred despite the lack of an instructional intervention designed to help students recognize the similarity between the two contexts. The effectiveness of the MZI tutorial in promoting positive transfer of learning from one context to another in quantum mechanics sheds light on the expertise of the advanced physics students. Instructors of advanced physics courses can take advantage of the findings presented here which shows the difference between introductory and advanced students' ability to transfer from one context to another.


title: Faber-Krahn inequalities for Schr\"odinger operators with point and with Coulomb interactions

abstract: We obtain new Faber-Krahn-type inequalities for certain perturbations of the Dirichlet Laplacian on a bounded domain. First, we establish a two- and three-dimensional Faber-Krahn inequality for the Schr\"odinger operator with point interaction: the optimiser is the ball with the point interaction supported at its centre. Next, we establish three-dimensional Faber-Krahn inequalities for one- and two-body Schr\"odinger operator with attractive Coulomb interactions, the optimiser being given in terms of Coulomb attraction at the centre of the ball. The proofs of such results are based on symmetric decreasing rearrangement and Steiner rearrangement techniques; in the first model a careful analysis of certain monotonicity properties of the lowest eigenvalue is also needed.


title: Computing the heat conductivity of fluids from density fluctuations

abstract: Equilibrium molecular dynamics simulations, in combination with the Green-Kubo (GK) method, have been extensively used to compute the thermal conductivity of liquids. However, the GK method relies on an ambiguous definition of the microscopic heat flux, which depends on how one chooses to distribute energies over atoms. This ambiguity makes it problematic to employ the GK method for systems with non-pairwise interactions. In this work, we show that the hydrodynamic description of thermally driven density fluctuations can be used to obtain the thermal conductivity of a bulk fluid unambiguously, thereby bypassing the need to define the heat flux. We verify that, for a model fluid with only pairwise interactions, our method yields estimates of thermal conductivity consistent with the GK approach. We apply our approach to compute the thermal conductivity of a non-pairwise additive water model at supercritical conditions, and then of a liquid hydrogen system described by a machine-learning interatomic potential, at 33 GPa and 2000 K.


title: Energy distribution and equation of state of the early Universe: matching the end of inflation and the onset of radiation domination

abstract: We study the energy distribution and equation of state of the universe between the end of inflation and the onset of radiation domination (RD), considering observationally consistent single-field inflationary scenarios, with a potential 'flattening' at large field values, and a monomial shape $V(\phi) \propto |\phi|^p$ around the origin. As a proxy for (p)reheating, we include a quadratic interaction $g^2\phi^2X^2$ between the inflaton $\phi$ and a light scalar 'daughter' field $X$, with $g^2>0$. We capture the non-perturbative and non-linear nature of the system dynamics with lattice simulations, obtaining that: $i)$ the final energy transferred to $X$ depends only on $p$, not on $g^2$, ; $ii)$ the final transfer of energy is always negligible for $2 \leq p < 4$, and of order $\sim 50\%$ for $p \geq 4$; $iii)$ the system goes at late times to matter-domination for $p = 2$, and always to RD for $p > 2$. In the latter case we calculate the number of e-folds until RD, significantly reducing the uncertainty in the inflationary observables $n_s$ and $r$.


title: Progressive Automatic Design of Search Space for One-Shot Neural Architecture Search

abstract: Neural Architecture Search (NAS) has attracted growing interest. To reduce the search cost, recent work has explored weight sharing across models and made major progress in One-Shot NAS. However, it has been observed that a model with higher one-shot model accuracy does not necessarily perform better when stand-alone trained. To address this issue, in this paper, we propose Progressive Automatic Design of search space, named PAD-NAS. Unlike previous approaches where the same operation search space is shared by all the layers in the supernet, we formulate a progressive search strategy based on operation pruning and build a layer-wise operation search space. In this way, PAD-NAS can automatically design the operations for each layer and achieve a trade-off between search space quality and model diversity. During the search, we also take the hardware platform constraints into consideration for efficient neural network model deployment. Extensive experiments on ImageNet show that our method can achieve state-of-the-art performance.


title: Deposition of particle pollution in turbulent forced-air cooling

abstract: Rotating fans are the prevalent forced cooling method for heat generating equipment and buildings. As the concentration of atmospheric pollutants has increased, the accumulation of microscale and nanoscale particles on surfaces due to advection-diffusion has led to adverse mechanical, chemical and electrical effects that increase cooling demands and reduce the reliability of electronic equipment. Here, we uncover the mechanisms leading to enhanced deposition of particle matter (PM$_{10}$ and PM$_{2.5}$) on surfaces due to turbulent axial fan flows operating at Reynolds numbers, $Re \sim 10^5$. Qualitative observations of long-term particle deposition from the field were combined with \textit{in situ} particle image velocimetry on a telecommunications base station, revealing the dominant role of impingement velocity and angle. Near-wall momentum transport for $10 < y^+ < 50$ were explored using a quadrant analysis to uncover the contributions of turbulent events that promote particle deposition through turbulent diffusion and eddy impaction. By decomposing these events, the local transport behaviour of fine particles from the bulk flow to the surface has been categorised. The transition from deposition to clean surfaces was accompanied by a decrease in shear velocity, turbulent stresses, and particle sweep motions with lower flux in the wall-normal direction. Finally, using these insights, selective filtering of coarse particles was found to promote the conditions that enhance the deposition of fine particle matter.


title: La luz que perciben las abejas

abstract: This project delves into the concepts of electromagnetic waves of light and introduces the concepts of wavelength and polarization, these concepts are related to the ability of bees to perceive ultraviolet light and polarized light. This causal chain of physical phenomena is studied through a detailed description of light sources and the ways in which it can be polarized in the environment in which bees live. In addition, the anatomical mechanisms in which the perception of bees is possible are studied. It is proposed that the different types of light exposure studied are an important part in the experience, interaction, communication and feeding of these insects.


title: Accelerating drug repurposing for COVID-19 via modeling drug mechanism of action with large scale gene-expression profiles

abstract: The novel coronavirus disease, named COVID-19, emerged in China in December 2019, and has rapidly spread around the world. It is clearly urgent to fight COVID-19 at global scale. The development of methods for identifying drug uses based on phenotypic data can improve the efficiency of drug development. However, there are still many difficulties in identifying drug applications based on cell picture data. This work reported one state-of-the-art machine learning method to identify drug uses based on the cell image features of 1024 drugs generated in the LINCS program. Because the multi-dimensional features of the image are affected by non-experimental factors, the characteristics of similar drugs vary greatly, and the current sample number is not enough to use deep learning and other methods are used for learning optimization. As a consequence, this study is based on the supervised ITML algorithm to convert the characteristics of drugs. The results show that the characteristics of ITML conversion are more conducive to the recognition of drug functions. The analysis of feature conversion shows that different features play important roles in identifying different drug functions. For the current COVID-19, Chloroquine and Hydroxychloroquine achieve antiviral effects by inhibiting endocytosis, etc., and were classified to the same community. And Clomiphene in the same community inibited the entry of Ebola Virus, indicated a similar MoAs that could be reflected by cell image.


title: Graphical modeling of stochastic processes driven by correlated errors

abstract: We study a class of graphs that represent local independence structures in stochastic processes allowing for correlated error processes. Several graphs may encode the same local independencies and we characterize such equivalence classes of graphs. In the worst case, the number of conditions in our characterizations grows superpolynomially as a function of the size of the node set in the graph. We show that deciding Markov equivalence is coNP-complete which suggests that our characterizations cannot be improved upon substantially. We prove a global Markov property in the case of a multivariate Ornstein-Uhlenbeck process which is driven by correlated Brownian motions.


title: Two-way Nanoscale automata

abstract: In this paper, we show the all final subclass of two-way Watson-Crick automata have the same computational power as the classical two-way Watson-Crick automata. Here we compare the computational power of two-way Watson-Crick automata and two-way Quantum finite automata and we observe that two-way Watson-Crick automata can accept a language which two-way quantum finite automata cannot accept.


title: More about the Grassmann tensor renormalization group

abstract: We derive a general formula of the tensor network representation for $d$-dimensional lattice fermions with ultra-local interactions, including Wilson fermions, staggered fermions, and domain-wall fermions. The Grassmann tensor is concretely defined with auxiliary Grassmann variables that play a role in bond degrees of freedom. Compared to previous works, our formula does not refer to the details of lattice fermions and is derived by using the singular value decomposition for the given Dirac matrix without any ad-hoc treatment for each fermion. We numerically test our formula for free Wilson and staggered fermions and find that it properly works for them. We also find that Wilson fermions show better performance than staggered fermions in the tensor renormalization group approach, unlike the Monte Carlo method.


title: Three stages in the co-transformation of the energy and mobility sector

abstract: Renewable electricity sources such as wind and solar have shown a remarkable development in terms of efficiency, costs and availability, but system integration still remains a challenge. Realizing a fully renewable electricity supply will require large scale storage technologies and flexible users to overcome long periods of low power generation. At the same time, other sectors such as mobility and industry must be electrified to replace fossil fuels. Power-to-Methane is a promising technology as it enables large-scale energy storage and sector coupling using existing infrastructures. In this work, we analyze the co-transformation of the German electricity, mobility and industry sector taking into account the recent decisions for coal phase out until 2038. We evaluate the necessary capacities of renewables and storage sizes as well as system costs and associated emissions using a techno-economic optimization model with a high technological and temporal resolution in the open source framework OSeMOSYS. We find three rather different stages of the transformation driven by the decreasing emission gap and the coal phase out. Solar power is expanded vastly until 2030, then coal is replaced mainly by fossil natural gas until 2040. Emission caps become very challenging afterwards such that all flexibility options are greatly expanded: Storage, curtailment and flexible Power-to-Methane.


title: Participatory Problem Formulation for Fairer Machine Learning Through Community Based System Dynamics

abstract: Recent research on algorithmic fairness has highlighted that the problem formulation phase of ML system development can be a key source of bias that has significant downstream impacts on ML system fairness outcomes. However, very little attention has been paid to methods for improving the fairness efficacy of this critical phase of ML system development. Current practice neither accounts for the dynamic complexity of high-stakes domains nor incorporates the perspectives of vulnerable stakeholders. In this paper we introduce community based system dynamics (CBSD) as an approach to enable the participation of typically excluded stakeholders in the problem formulation phase of the ML system development process and facilitate the deep problem understanding required to mitigate bias during this crucial stage.


title: Analysis and Simulation of Extremes and Rare Events in Complex Systems

abstract: Rare weather and climate events, such as heat waves and floods, can bring tremendous social costs. Climate data is often limited in duration and spatial coverage, and climate forecasting has often turned to simulations of climate models to make better predictions of rare weather events. However very long simulations of complex models, in order to obtain accurate probability estimates, may be prohibitively slow. It is an important scientific problem to develop probabilistic and dynamical techniques to estimate the probabilities of rare events accurately from limited data. In this paper we compare four modern methods of estimating the probability of rare events: the generalized extreme value (GEV) method from classical extreme value theory; two importance sampling techniques, genealogical particle analysis (GPA) and the Giardina-Kurchan-Lecomte-Tailleur (GKLT) algorithm; as well as brute force Monte Carlo (MC). With these techniques we estimate the probabilities of rare events in three dynamical models: the Ornstein-Uhlenbeck process, the Lorenz '96 system and PlaSim (a climate model). We keep the computational effort constant and see how well the rare event probability estimation of each technique compares to a gold standard afforded by a very long run control. Somewhat surprisingly we find that classical extreme value theory methods outperform GPA, GKLT and MC at estimating rare events.


title: CryptoMaze: Privacy-Preserving Splitting of Off-Chain Payments

abstract: Payment protocols developed to realize off-chain transactions in Payment channel network (PCN) assumes the underlying routing algorithm transfers the payment via a single path. However, a path may not have sufficient capacity to route a transaction. It is inevitable to split the payment across multiple paths. If we run independent instances of the protocol on each path, the execution may fail in some of the paths, leading to partial transfer of funds. A payer has to reattempt the entire process for the residual amount. We propose a secure and privacy-preserving payment protocol, CryptoMaze. Instead of independent paths, the funds are transferred from sender to receiver across several payment channels responsible for routing, in a breadth-first fashion. Payments are resolved faster at reduced setup cost, compared to existing state-of-the-art. Correlation among the partial payments is captured, guaranteeing atomicity. Further, two party ECDSA signature is used for establishing scriptless locks among parties involved in the payment. It reduces space overhead by leveraging on core Bitcoin scripts. We provide a formal model in the Universal Composability framework and state the privacy goals achieved by CryptoMaze. We compare the performance of our protocol with the existing single path based payment protocol, Multi-hop HTLC, applied iteratively on one path at a time on several instances. It is observed that CryptoMaze requires less communication overhead and low execution time, demonstrating efficiency and scalability.


title: Application of Facebook's Prophet Algorithm for Successful Sales Forecasting Based on Real-world Data

abstract: This paper presents a framework capable of accurately forecasting future sales in the retail industry and classifying the product portfolio according to the expected level of forecasting reliability. The proposed framework, that would be of great use for any company operating in the retail industry, is based on Facebook's Prophet algorithm and backtesting strategy. Real-world sales forecasting benchmark data obtained experimentally in a production environment in one of the biggest retail companies in Bosnia and Herzegovina is used to evaluate the framework and demonstrate its capabilities in a real-world use case scenario.


title: Analysis of multipactor effect in parallel-plate and rectangular waveguides

abstract: In this work it is investigated, in the parallel-plate waveguide case, how the 1D, 2D or 3D motion of the electrons inside the waveguide can affect the generalized susceptibility diagrams, by means of a developed model capable of tracking the exact trajectory of multiple effective electrons which includes effects such as the spreading of the secondary electron departure kinetic energies or the dependence on elastic and inelastic electrons. On the other hand, a comparative study of the susceptibility charts in a parallel-plate and in its equivalent rectangular waveguide with the same height is performed, showing how the inhomogeneity of the electric field inside the waveguide modifies the multipactor region with respect to that predicted by the parallel-plate waveguide case. The results of this study are going to be extended to a partially dielectric-loaded rectangular waveguide, which is a problem of great interest in the space industry that has not yet been rigorously investigated in the literature.


title: Batch Codes from Affine Cartesian Codes and Quotient Spaces

abstract: Affine Cartesian codes are defined by evaluating multivariate polynomials at a cartesian product of finite subsets of a finite field. In this work we examine properties of these codes as batch codes. We consider the recovery sets to be defined by points aligned on a specific direction and the buckets to be derived from cosets of a subspace of the ambient space of the evaluation points. We are able to prove that under these conditions, an affine Cartesian code is able to satisfy a query of size up to one more than the dimension of the space of the ambient space.


title: Context-Dependent Acoustic Modeling without Explicit Phone Clustering

abstract: Phoneme-based acoustic modeling of large vocabulary automatic speech recognition takes advantage of phoneme context. The large number of context-dependent (CD) phonemes and their highly varying statistics require tying or smoothing to enable robust training. Usually, classification and regression trees are used for phonetic clustering, which is standard in hidden Markov model (HMM)-based systems. However, this solution introduces a secondary training objective and does not allow for end-to-end training. In this work, we address a direct phonetic context modeling for the hybrid deep neural network (DNN)/HMM, that does not build on any phone clustering algorithm for the determination of the HMM state inventory. By performing different decompositions of the joint probability of the center phoneme state and its left and right contexts, we obtain a factorized network consisting of different components, trained jointly. Moreover, the representation of the phonetic context for the network relies on phoneme embeddings. The recognition accuracy of our proposed models on the Switchboard task is comparable and outperforms slightly the hybrid model using the standard state-tying decision trees.


title: On nilpotency of higher commutator subgroups of a finite soluble group

abstract: Let $G$ be a finite soluble group and $G^{(k)}$ the $k$th term of the derived series of $G$. We prove that $G^{(k)}$ is nilpotent if and only if $|ab|=|a||b|$ for any $\delta_k$-values $a,b\in G$ of coprime orders. In the course of the proof we establish the following result of independent interest: Let $P$ be a Sylow $p$-subgroup of $G$. Then $P\cap G^{(k)}$ is generated by $\delta_k$-values contained in $P$. This is related to the so-called Focal Subgroup Theorem.