title: An Efficient Model Inference Algorithm for Learning-based Testing of Reactive Systems

abstract: Learning-based testing (LBT) is an emerging methodology to automate iterative black-box requirements testing of software systems. The methodology involves combining model inference with model checking techniques. However, a variety of optimisations on model inference are necessary in order to achieve scalable testing for large systems. In this paper we describe the IKL learning algorithm which is an active incremental learning algorithm for deterministic Kripke structures. We formally prove the correctness of IKL. We discuss the optimisations it incorporates to achieve scalability of testing. We also evaluate a black box heuristic for test termination based on convergence of IKL learning.


title: Landau, Ginzburg, Devonshire and others

abstract: Macroscopic modelling of ferroelectric properties refers usually to Landau-Ginzburg-Devonshire theory. This paper questions the meaningfulness of this term, discussing contributions of the three authors to what is supposed to be a theory. The limitations of every contribution are analyzed. In the main text and, to more extent in the Supplementary Material, the Landau theory is presented from an unusual perspective starting from simple mechanical models of spontaneous symmetry breaking and finishing by the Ising model. The aim of the presentation is to emphasize along with the qualitative breakthroughs the approximate character of macroscopic modelling associated with the above three authors.


title: On the second Gegenbauer moment of $\rho$-meson distribution amplitude

abstract: Using the soft pion theorem, crossing, and the dispersion relations for the two pion distribution amplitude ($2\pi$DA) we argue that the second Gegenbauer moment the $\rho$-meson DA ($a_2^{(\rho)}$) most probably is negative. This result is at variance with the majority of the model calculations for $a_2^{(\rho)}$. Using the instanton theory of the QCD vacuum, we computed $a_2^{(\rho)}$ at a low normalisation point and obtain for the ratio $ a_2^{(\rho)}/M_3^{(\pi)}$ {\it definitely negative value} in the range of $a_2^{(\rho)}/M_3^{(\pi)}\in [-2, -1]$. The range of values corresponds to a generous variation of the parameters of the instanton vacuum. The value of the second Gegenbauer moment of pion DA is positive in the whole range and is compatible with its the most advanced lattice measurement. It seems that the topologically non-trivial field configurations in the QCD vacuum (instantons) lead to qualitatively different shapes of the pion and the $\rho$-meson DAs.


title: Preliminary experimental results of determining the geopotential difference between two synchronized portable hydrogen clocks at different locations

abstract: Here, we provide preliminary experimental results of the geopotential determination based on time elapse comparisons between two remote atomic clocks located at Beijing and Wuhan, respectively. After synchronizing two hydrogen atomic clocks at Beijing 203 Institute Laboratory (BIL) for 20 days as zero-baseline calibration, we transport one clock to Luojiashan Time-Frequency Station (LTS), Wuhan, without stopping its running. Continuous comparisons between the two remote clocks were conducted for 65 days based on the Common View Satellite Time Transfer (CVSTT) technique. The ensemble empirical mode decomposition (EEMD) technique is applied to removing the uninteresting periodic signals contaminated in the original CVSTT observations to obtain the residual clocks-offsets series, from which the time elapse between the two remote clocks was determined. Based on the accumulated time elapse between these two clocks the geopotential difference between these two stations was determined. Given the orthometric height (OH) of BIL, the OH of the LTS was determined based on the determined geopotential difference. Comparisons show that the OH of the LTS determined by time elapse comparisons deviates from that determined by Earth gravity model EGM2008 by about 98 m. The results are consistent with the frequency stabilities of the hydrogen atomic clocks (at the level of $10^{-15}$/day) applied in our experiments. In addition, we used 85-days original observations to determine the geopotential difference between two remote stations based on the CVSTT technique. Using more precise atomic or optical clocks, the CVSTT method for geopotential determination could be applied effectively and extensively in geodesy in the future.


title: Acoustic corner states in topological insulators with built-in Zeeman-like fields

abstract: The higher-order topological insulators (HOTIs), with such as the topological corner states, emerge as a thriving topic in the field of topological physics. But few connections have been found for the HOTIs with the well explored first-order topological insulators described by the Z_2 index. However, most recently, a proposal asserts that a significant bridge can be established between the HOTIs and the Z_2 topological insulators. When subject to an in-plane Zeeman field, the corner states, the signature of the HOTIs, can be induced in a Z_2 topological insulator. Such Zeeman field can be produced, for example, by the ferromagnetic proximity effect or magnetic atom doping, which obviously involves the drastically experimental complexity. Here we show that, a phononic crystal, designed as a bilayer of coupled acoustic cavities, hosts exactly the Kane-Mele model with built-in in-plane Zeeman fields. We observe that the helical edge states along the zigzag edges are gapped, and the corner states, localized spatially at the corners of the samples, appear in the gap, confirming the effect induced by the Zeeman field. We further demonstrate the intriguing contrast properties of the corner states at the outer and inner corners in a hexagonal ring-shaped sample.


title: The Impact of Label Noise on a Music Tagger

abstract: We explore how much can be learned from noisy labels in audio music tagging. Our experiments show that carefully annotated labels result in highest figures of merit, but even high amounts of noisy labels contain enough information for successful learning. Artificial corruption of curated data allows us to quantize this contribution of noisy labels.


title: Graph-based Modeling of Online Communities for Fake News Detection

abstract: Over the past few years, there has been a substantial effort towards automated detection of fake news on social media platforms. Existing research has modeled the structure, style, content, and patterns in dissemination of online posts, as well as the demographic traits of users who interact with them. However, no attention has been directed towards modeling the properties of online communities that interact with the posts. In this work, we propose a novel social context-aware fake news detection framework, SAFER, based on graph neural networks (GNNs). The proposed framework aggregates information with respect to: 1) the nature of the content disseminated, 2) content-sharing behavior of users, and 3) the social network of those users. We furthermore perform a systematic comparison of several GNN models for this task and introduce novel methods based on relational and hyperbolic GNNs, which have not been previously used for user or community modeling within NLP. We empirically demonstrate that our framework yields significant improvements over existing text-based techniques and achieves state-of-the-art results on fake news datasets from two different domains.


title: Numerical time-of-flight analysis of the strong-field photoeffect

abstract: Short-time filtering of the photoionization amplitude extracted straight from the numerical solution of the time-dependent Schr\"{o}dinger equation (TDSE) is used to identify dominant pathways that form photoelectron spectra in strong fields. Thereby, the "black-box nature" of TDSE solvers only giving the final spectrum is overcome, and simpler approaches, e.g., semi-classical based on the strong-field approximation, can be tested and improved. The approach also allows to suppress intercycle quantum interference between pathways removing patterns that are usually washed out in experiments.


title: Simple RGC: ImageJ plugins for counting retinal ganglion cells and determining the transduction efficiency of viral vectors in retinal wholemounts

abstract: Simple RGC consists of a collection of ImageJ plugins to assist researchers investigating retinal ganglion cell (RGC) injury models in addition to helping assess the effectiveness of treatments. The first plugin named RGC Counter accurately calculates the total number of RGCs from retinal wholemount images. The second plugin named RGC Transduction measures the co-localisation between two channels making it possible to determine the transduction efficiencies of viral vectors and transgene expression levels. The third plugin named RGC Batch is a batch image processor to deliver fast analysis of large groups of microscope images. These ImageJ plugins make analysis of RGCs in retinal wholemounts easy, quick, consistent, and less prone to unconscious bias by the investigator. The plugins are freely available from the ImageJ update site https://sites.imagej.net/Sonjoonho/.


title: Measurements of $\pi^-$ production in $^7$Be+$^9$Be collisions at beam momenta from 19$A$ to 150$A$GeV/$c$ in the NA61/SHINE experiment at the CERN SPS

abstract: The NA61/SHINE collaboration studies at the CERN Super Proton Synchrotron (SPS) the onset of deconfinement in hadronic matter by the measurement of particle production in collisions of nuclei with various sizes at a set of energies covering the SPS energy range. This paper presents results on inclusive double-differential spectra and mean multiplicities of $\pi^{-}$ mesons produced in the 5\% most \textit{central} $^7$Be+$^9$Be collisions at beam momenta of 19$A$, 30$A$, 40$A$, 75$A$ and 150$A$ GeV/$c$ obtained by the so-called $h^-$ method which does not require any particle identification. The shape of the transverse mass spectra differs from the shapes measured in central Pb+Pb collisions and inelastic p+p interactions. The normalized width of the rapidity distribution decreases with increasing collision energy and is in between the results for inelastic nucleon-nucleon and central Pb+Pb collisions. The mean multiplicity of pions per wounded nucleon in \textit{central} $^7$Be+$^9$Be collisions is close to that in central Pb+Pb collisions up to 75$A$GeV/$c$. However, at the top SPS energy the result is close to the one for inelastic nucleon-nucleon interactions. The results are discussed in the context of predictions for the onset of deconfinement at the CERN SPS collision energies.


title: Balancing Accuracy and Complexity in Optimisation Models of Distributed Energy Systems and Microgrids with Optimal Power Flow: A Review

abstract: Optimisation and simulation models for the design and operation of grid-connected distributed energy systems (DES) often exclude the inherent nonlinearities related to power flow and generation and storage units, to maintain an accuracy-complexity balance. Such models may provide sub-optimal or even infeasible designs and dispatch schedules. In DES, optimal power flow (OPF) is often misrepresented and treated as a standalone problem. OPF consists of highly nonlinear and nonconvex constraints related to the underlying alternating current (AC) distribution network. This aspect of the optimisation problem has often been overlooked by researchers in the process systems and optimisation area. In this review we address the disparity between OPF and DES models, highlighting the importance of including elements of OPF in DES design and operational models to ensure that the design and operation of microgrids meet the requirements of the electrical grid. By analysing foundational models for both DES and OPF, we identify detailed technical power flow constraints that have been typically represented using oversimplified linear approximations in DES models. We also identify a subset of models, labelled DES-OPF, which include these detailed constraints and use innovative optimisation approaches to solve them. Results of these studies suggest that achieving feasible solutions with high-fidelity models is more important than achieving globally optimal solutions using less-detailed DES models. Recommendations for future work include the need for more comparisons between high-fidelity models and models with linear approximations, and the use of simulation tools to validate DES-OPF models. The review is aimed at a multidisciplinary audience of researchers and stakeholders who are interested in modelling DES to support the development of more robust and accurate optimisation models for the future.


title: Searching for primordial helical magnetic fields

abstract: The presence of non-zero helicity in intergalactic magnetic fields (IGMF) has been suggested as a clear signature for their primordial origin. We extend a previous analysis of diffuse Fermi-LAT gamma-ray data from 2.5 to more than 11 years and show that a hint for helical magnetic fields in the 2.5 year data was a statistical fluctuation. Then we examine the detection prospects of helical magnetic fields using individual sources as, e.g., TeV gamma-ray blazars. We find that a detection is challenging employing realistic models for the cascade evolution, the IGMF and the detector resolution in our simulations.


title: Hermite-Hadamard inequalities for (p,a,b)-convex functions

abstract: A function $f:[a,b] \rightarrow \mathbb{R}$ is called $(p,a,b)$-convex if $f$ is $p$ times continuously differentiable, $f^{(p)}$ is convex and increasing, and $f^{(k)}(a)=0$ for all $k=1,\ldots,p$ where $f^{(j)}$ is the $j$th derivative of $f$. In this note we prove Hermite-Hadamard inequalities for $(p,a,b)$-convex functions that are significantly tighter than the classical Hermite-Hadamard inequality. We also prove inequalities for fractional integrals that involve $(p,a,b)$-convex functions.


title: MIMO SWIPT Systems with Power Amplifier Nonlinearities and Memory Effects

abstract: In this letter, we study the impact of nonlinear high power amplifier (HPA) on simultaneous wireless information and power transfer (SWIPT), for a point-to-point multiple-input multiple-output communication system. We derive the rate-energy (RE) region by taking into account the HPA nonlinearities and its associated memory effects. We show that HPA significantly degrades the achievable RE region, and a predistortion technique is investigated for compensation. The performance of the proposed predistortion scheme is evaluated in terms of RE region enhancement. Numerical results demonstrate that approximately 24% improvement is obtained for both power-splitting and time-splitting SWIPT architectures.


title: Searching for diboson resonances in the boosted all-hadronic final state at $\sqrt{\rm{s}}=13$ TeV with CMS

abstract: This article summarises three searches for diboson resonances in the all-hadronic final state using data collected at a center-of-mass energy of $\sqrt{\rm{s}}=13$ TeV with the CMS experiment at the CERN LHC. The boson decay products are contained in one large-radius jet, resulting in dijet final states which are resolved using jet substructure techniques. The analyses presented use 2.3, 35.9 and 77.3 inverse femtobarns of data collected between 2015 and 2017. These include the first search for diboson resonances using data collected at a 13 TeV collision energy, the introduction of a new algorithm to tag vector bosons in the context of analyzing the data collected in 2016, and the development of a novel multidimensional fit improving on the sensitivity of the previous search method with up to $30\%$. The results presented here are the most sensitive to date of diboson resonance searches in the dijet final state. An emphasis on improvements in technique for vector boson tagging is made.


title: Electro-optic frequency combs for rapid interrogation in cavity optomechanics

abstract: Electro-optic frequency combs were employed to rapidly interrogate an optomechanical sensor, demonstrating spectral resolution substantially exceeding that possible with a mode-locked frequency comb. Frequency combs were generated using an integrated-circuit-based direct digital synthesizer and utilized in a self-heterodyne configuration. Unlike approaches based upon laser locking or sweeping, the present approach allows rapid, parallel measurements of full optical cavity modes, large dynamic range of sensor displacement, and acquisition across a wide frequency range between DC and 500 kHz. In addition to being well suited to measurements of cavity optomechanical sensors, this optical frequency comb-based approach can be utilized for interrogation in a wide range of physical and chemical sensors.


title: Homotopic Gradients of Generative Density Priors for MR Image Reconstruction

abstract: Deep learning, particularly the generative model, has demonstrated tremendous potential to significantly speed up image reconstruction with reduced measurements recently. Rather than the existing generative models that often optimize the density priors, in this work, by taking advantage of the denoising score matching, homotopic gradients of generative density priors (HGGDP) are proposed for magnetic resonance imaging (MRI) reconstruction. More precisely, to tackle the low-dimensional manifold and low data density region issues in generative density prior, we estimate the target gradients in higher-dimensional space. We train a more powerful noise conditional score network by forming high-dimensional tensor as the network input at the training phase. More artificial noise is also injected in the embedding space. At the reconstruction stage, a homotopy method is employed to pursue the density prior, such as to boost the reconstruction performance. Experiment results imply the remarkable performance of HGGDP in terms of high reconstruction accuracy; only 10% of the k-space data can still generate images of high quality as effectively as standard MRI reconstruction with the fully sampled data.


title: Rb-PaStaNet: A Few-Shot Human-Object Interaction Detection Based on Rules and Part States

abstract: Existing Human-Object Interaction (HOI) Detection approaches have achieved great progress on nonrare classes while rare HOI classes are still not well-detected. In this paper, we intend to apply human prior knowledge into the existing work. So we add human-labeled rules to PaStaNet and propose Rb-PaStaNet aimed at improving rare HOI classes detection. Our results show a certain improvement of the rare classes, while the non-rare classes and the overall improvement is more considerable.


title: GeoLayout: Geometry Driven Room Layout Estimation Based on Depth Maps of Planes

abstract: The task of room layout estimation is to locate the wall-floor, wall-ceiling, and wall-wall boundaries. Most recent methods solve this problem based on edge/keypoint detection or semantic segmentation. However, these approaches have shown limited attention on the geometry of the dominant planes and the intersection between them, which has significant impact on room layout. In this work, we propose to incorporate geometric reasoning to deep learning for layout estimation. Our approach learns to infer the depth maps of the dominant planes in the scene by predicting the pixel-level surface parameters, and the layout can be generated by the intersection of the depth maps. Moreover, we present a new dataset with pixel-level depth annotation of dominant planes. It is larger than the existing datasets and contains both cuboid and non-cuboid rooms. Experimental results show that our approach produces considerable performance gains on both 2D and 3D datasets.


title: Fitting continuum wavefunctions with complex Gaussians: Computation of ionization cross sections

abstract: We implement a full nonlinear optimization method to fit continuum states with complex Gaussians. The application to a set of regular scattering Coulomb functions allows us to validate the numerical feasibility, to explore the range of convergence of the approach, and to demonstrate the relative superiority of complex over real Gaussian expansions. We then consider the photoionization of atomic hydrogen, and ionization by electron impact in the first Born approximation, for which the closed form cross sections serve as a solid benchmark. Using the proposed complex Gaussian representation of the continuum combined with a real Gaussian expansion for the initial bound state, all necessary matrix elements within a partial wave approach become analytical. The successful numerical comparison illustrates that the proposed all-Gaussian approach works efficiently for ionization processes of one-center targets.


title: TESS observations of Be stars: general characteristics and the impulsive magnetic rotator model

abstract: In this work, we study the general characteristics of Be star light curves from TESS sectors 1-26 in the light of a model we call the "impulsive magnetic rotator". It is found that 73 percent of 441 classical Be stars are short-period variables. The light curves are characterised by non-coherent periods dominated by the fundamental and first harmonic with variable relative amplitudes. By comparing the equatorial rotational velocities obtained from the photometric fundamental periods with the projected rotational velocities,it is shown that the fundamental period is indistinguishable from the rotation period. The distributions of the projected rotational velocities and the equatorial rotational velocities for Be and non-Be stars are discussed. Using the equatorial rotational velocities of Be stars directly determined from the photometric period, it is found that, on average, Be stars rotate at about 0.66 of critical velocity. This result is independent of assumptions concerning gravity darkening. It is shown that the rotational amplitudes of Be stars increase with effective temperature and are considerably higher than those of non-Be stars. The amplitude distributions of Be and non-Be stars are also significantly different. Of particular interest is a large rise in rotational amplitudes from A0 to B5 for non-Be stars. We suspect that this may be a result of the increasing importance of a line-driven wind. Perhaps the Be stars are just those with greatest surface activity with increased mass loss aided by rapid rotation.


title: A fully coupled numerical model of thermo-hydro-mechanical processes and fracture contact mechanics in porous media

abstract: A range of phenomena in the subsurface is characterised by the interplay between coupled thermal, hydraulic and mechanical processes and deforming structures such as fractures. Modelling subsurface dynamics can provide valuable phenomenological understanding, but requires models which faithfully represent the dynamics involved; these models, therefore are themselves highly complex. This paper presents a mixed-dimensional thermo-hydro-mechanical model designed to capture the process-structure interplay using a discrete-fracture-matrix framework. It incorporates tightly coupled thermo-hydro-mechanical processes based on laws for momentum, mass and entropy in subdomains representing the matrix and the lower-dimensional fractures and fracture intersections. The deformation of explicitly represented fractures is modelled by contact mechanics relations and a Coulomb friction law, with particular attention on coupling of fracture dilation to the governing equations in both fractures and matrix. The model is discretised using multi-point finite volumes for the balance equations and a semismooth Newton scheme for the contact conditions and is implemented in the open source fracture simulation toolbox PorePy. Finally, simulation studies demonstrate the model's convergence, investigate process-structure coupling effects, explore different fracture dilation models and show an application of the model to a 3d geothermal pressure stimulation and long-term cooling scenario.


title: Security evaluation of quantum key distribution with weak basis-choice flaws

abstract: Quantum key distribution (QKD) can share an unconditional secure key between two remote parties, but the deviation between theory and practice will break the security of the generated key. In this paper, we evaluate the security of QKD with weak basis-choice flaws, in which the random bits used by Alice and Bob are weakly controlled by Eve. Based on the definition of Li \textit{et al.} [Sci. Rep. 5, 16200 (2015)] and GLLP's analysis, we obtain a tight and analytical bound to estimate the phase error and key rate for both the single photon source and the weak coherent source. Our approach largely increases the key rate from that of the original approach. Finally, we investigate and confirm the security of BB84-QKD with a practical commercial devices.


title: A Way of Separating Dynamics and Gauge Transformations in Yang-Mills Theory

abstract: A modification of the gauge theory is proposed, in which the set of generalized coordinates is supplemented with symmetry transformation parameters, and a condition is additionally imposed on the latter that ensures the classical character of their dynamics in quantum theory. As a result, additional dynamic variables and transverse physical degrees of freedom in the Hamiltonian are separated. The classical theory of the Yang-Mills field is considered.


title: Transferability of self-energy correction in tight-binding basis constructed from first principles

abstract: We demonstrate in this work the transferability of self-energy(SE) correction(SEC) of Kohn-Sham(KS) single particle states from smaller to larger systems, when mapped through localized orbitals constructed from the KS states. The approach results in a SE corrected TB framework, within which, the mapping of SEC of TB parameters is found to be transferable from smaller to larger systems of similar morphology, leading to a computationally inexpensive approach for estimation of SEC in large systems with reasonably high accuracy. The scheme has been demonstrated in insulating, semiconducting and magnetic nanoribbons of graphene and hexagonal boron nitride, where SEC tends to strengthen the individual pi bonds, leading to transfer of charge from edge to bulk. Additionally in magnetic bipartite systems SEC tends to enhance inter-sublattice spin separation. The proposed scheme thus promises to enable estimation of SEC of band-gaps of large systems without needing to explicitly calculate SEC of KS single particle levels which can be computationally prohibitively expensive.


title: Free Lunch! Retrospective Uplift Modeling for Dynamic Promotions Recommendation within ROI Constraints

abstract: Promotions and discounts have become key components of modern e-commerce platforms. For online travel platforms (OTPs), popular promotions include room upgrades, free meals and transportation services. By offering these promotions, customers can get more value for their money, while both the OTP and its travel partners may grow their loyal customer base. However, the promotions usually incur a cost that, if uncontrolled, can become unsustainable. Consequently, for a promotion to be viable, its associated costs must be balanced by incremental revenue within set financial constraints. Personalized treatment assignment can be used to satisfy such constraints. This paper introduces a novel uplift modeling technique, relying on the Knapsack Problem formulation, that dynamically optimizes the incremental treatment outcome subject to the required Return on Investment (ROI) constraints. The technique leverages Retrospective Estimation, a modeling approach that relies solely on data from positive outcome examples. The method also addresses training data bias, long term effects, and seasonality challenges via online-dynamic calibration. This approach was tested via offline experiments and online randomized controlled trials at Booking .com - a leading OTP with millions of customers worldwide, resulting in a significant increase in the target outcome while staying within the required financial constraints and outperforming other approaches.


title: A Dynamic Deep Neural Network For Multimodal Clinical Data Analysis

abstract: Clinical data from electronic medical records, registries or trials provide a large source of information to apply machine learning methods in order to foster precision medicine, e.g. by finding new disease phenotypes or performing individual disease prediction. However, to take full advantage of deep learning methods on clinical data, architectures are necessary that 1) are robust with respect to missing and wrong values, and 2) can deal with highly variable-sized lists and long-term dependencies of individual diagnosis, procedures, measurements and medication prescriptions. In this work, we elaborate limitations of fully-connected neural networks and classical machine learning methods in this context and propose AdaptiveNet, a novel recurrent neural network architecture, which can deal with multiple lists of different events, alleviating the aforementioned limitations. We employ the architecture to the problem of disease progression prediction in rheumatoid arthritis using the Swiss Clinical Quality Management registry, which contains over 10.000 patients and more than 65.000 patient visits. Our proposed approach leads to more compact representations and outperforms the classical baselines.


title: Proving Almost-Sure Termination of Probabilistic Programs via Incremental Pruning

abstract: The extension of classical imperative programs with real-valued random variables and random branching gives rise to probabilistic programs. The termination problem is one of the most fundamental liveness properties for such programs. The qualitative (aka almost-sure) termination problem asks whether a given program terminates with probability 1. Ranking functions provide a sound and complete approach for termination of non-probabilistic programs, and their extension to probabilistic programs is achieved via ranking supermartingales (RSMs). RSMs have been extended to lexicographic RSMs to handle programs with involved control-flow structure, as well as for compositional approach. There are two key limitations of the existing RSM-based approaches: First, the lexicographic RSM-based approach requires a strong nonnegativity assumption, which need not always be satisfied. The second key limitation of the existing RSM-based algorithmic approaches is that they rely on pre-computed invariants. The main drawback of relying on pre-computed invariants is the insufficiency-inefficiency trade-off: weak invariants might be insufficient for RSMs to prove termination, while using strong invariants leads to inefficiency in computing them. Our contributions are twofold: First, we show how to relax the strong nonnegativity condition and still provide soundness guarantee for almost-sure termination. Second, we present an incremental approach where the process of computing lexicographic RSMs proceeds by iterative pruning of parts of the program that were already shown to be terminating, in cooperation with a safety prover. In particular, our technique does not rely on strong pre-computed invariants. We present experimental results to show the applicability of our approach to examples of probabilistic programs from the literature.


title: Provable More Data Hurt in High Dimensional Least Squares Estimator

abstract: This paper investigates the finite-sample prediction risk of the high-dimensional least squares estimator. We derive the central limit theorem for the prediction risk when both the sample size and the number of features tend to infinity. Furthermore, the finite-sample distribution and the confidence interval of the prediction risk are provided. Our theoretical results demonstrate the sample-wise nonmonotonicity of the prediction risk and confirm "more data hurt" phenomenon.


title: Secure Data Hiding for Contact Tracing

abstract: Contact tracing is an effective tool in controlling the spread of infectious diseases such as COVID-19. It involves digital monitoring and recording of physical proximity between people over time with a central and trusted authority, so that when one user reports infection, it is possible to identify all other users who have been in close proximity to that person during a relevant time period in the past and alert them. One way to achieve this involves recording on the server the locations, e.g. by reading and reporting the GPS coordinates of a smartphone, of all users over time. Despite its simplicity, privacy concerns have prevented widespread adoption of this method. Technology that would enable the "hiding" of data could go a long way towards alleviating privacy concerns and enable contact tracing at a very large scale. In this article we describe a general method to hide data. By hiding, we mean that instead of disclosing a data value x, we would disclose an "encoded" version of x, namely E(x), where E(x) is easy to compute but very difficult, from a computational point of view, to invert. We propose a general construction of such a function E and show that it guarantees perfect recall, namely, all individuals who have potentially been exposed to infection are alerted, at the price of an infinitesimal number of false alarms, namely, only a negligible number of individuals who have not actually been exposed will be wrongly informed that they have.


title: Feature Selection Methods for Cost-Constrained Classification in Random Forests

abstract: Cost-sensitive feature selection describes a feature selection problem, where features raise individual costs for inclusion in a model. These costs allow to incorporate disfavored aspects of features, e.g. failure rates of as measuring device, or patient harm, in the model selection process. Random Forests define a particularly challenging problem for feature selection, as features are generally entangled in an ensemble of multiple trees, which makes a post hoc removal of features infeasible. Feature selection methods therefore often either focus on simple pre-filtering methods, or require many Random Forest evaluations along their optimization path, which drastically increases the computational complexity. To solve both issues, we propose Shallow Tree Selection, a novel fast and multivariate feature selection method that selects features from small tree structures. Additionally, we also adapt three standard feature selection algorithms for cost-sensitive learning by introducing a hyperparameter-controlled benefit-cost ratio criterion (BCR) for each method. In an extensive simulation study, we assess this criterion, and compare the proposed methods to multiple performance-based baseline alternatives on four artificial data settings and seven real-world data settings. We show that all methods using a hyperparameterized BCR criterion outperform the baseline alternatives. In a direct comparison between the proposed methods, each method indicates strengths in certain settings, but no one-fits-all solution exists. On a global average, we could identify preferable choices among our BCR based methods. Nevertheless, we conclude that a practical analysis should never rely on a single method only, but always compare different approaches to obtain the best results.


title: The hot limit of solar-like oscillations from Kepler photometry

abstract: Kepler short-cadence photometry of 2347 stars with effective temperatures in the range 6000-10000 K was used to search for the presence of solar-like oscillations. The aim is to establish the location of the hot end of the stochastic convective excitation mechanism and to what extent it may overlap the delta Scuti/gamma Doradus instability region. A simple but effective autocorrelation method is described which is capable of detecting low-amplitude solar-like oscillations, but with significant risk of a false detection. The location of the frequency of maximum oscillation power, $\nu_{\rm max}$, and the large frequency separation, $\Delta\nu$, is determined for 167 stars hotter than 6000 K, of which 70 are new detections. Results indicate that the hot edge of excitation of solar-like oscillations does not appear to extend into the delta Scuti/gamma Doradus instability strip.


title: Towards a characterization of stretchable aligned graphs

abstract: We consider the problem of stretching pseudolines in a planar straight-line drawing to straight lines while preserving the straightness and the combinatorial embedding of the drawing. We answer open questions by Mchedlidze et al. by showing that not all instances with two pseudolines are stretchable. On the positive side, for $k\geq 2$ pseudolines intersecting in a single point, we prove that in case that some edge-pseudoline intersection-patterns are forbidden, all instances are stretchable. For intersection-free pseudoline arrangements we show that every aligned graph has an aligned drawing. This considerably reduces the gap between stretchable and non-stretchable instances.


title: Engineering room-temperature multiferroicity in Bi and Fe codoped BaTiO3

abstract: Fe doping into BaTiO3, stabilizes the paraelectric hexagonal phase in place of the ferroelectric tetragonal one [P. Pal et al. Phys. Rev. B, 101, 064409 (2020)]. We show that simultaneous doping of Bi along with Fe into BaTiO3 effectively enhances the magnetoelectric (ME) multiferroic response (both ferromagnetism and ferroelectricity) at room-temperature, through careful tuning of Fe valency along with the controlled-recovery of ferroelectric-tetragonal phase. We also report systematic increase in large dielectric constant values as well as reduction in loss tangent values with relatively moderate temperature variation of dielectric constant around room-temperature with increasing Bi doping content in Ba1-xBixTi0.9Fe0.1O3 (0<x<0.1), which makes the higher Bi-Fe codoped sample (x=0.08) promising for the use as room-temperature high-k dielectric material. Interestingly, x=0.08 (Bi-Fe codoped) sample is not only found to be ferroelectrically (~20 times) and ferromagnetically (~6 times) stronger than x=0 (only Fe-doped) at room temperature, but also observed to be better insulating (larger bandgap) with indirect signatures of larger ME coupling as indicated from anomalous reduction of magnetic coercive field with decreasing temperature. Thus, room-temperature ME multiferroicity has been engineered in Bi and Fe codoped BTO (BaTiO3) compounds.


title: Computation Offloading in Heterogeneous Vehicular Edge Networks: On-line and Off-policy Bandit Solutions

abstract: With the rapid advancement of Intelligent Transportation Systems (ITS) and vehicular communications, Vehicular Edge Computing (VEC) is emerging as a promising technology to support low-latency ITS applications and services. In this paper, we consider the computation offloading problem from mobile vehicles/users in a heterogeneous VEC scenario, and focus on the network- and base station selection problems, where different networks have different traffic loads. In a fast-varying vehicular environment, computation offloading experience of users is strongly affected by the latency due to the congestion at the edge computing servers co-located with the base stations. However, as a result of the non-stationary property of such an environment and also information shortage, predicting this congestion is an involved task. To address this challenge, we propose an on-line learning algorithm and an off-policy learning algorithm based on multi-armed bandit theory. To dynamically select the least congested network in a piece-wise stationary environment, these algorithms predict the latency that the offloaded tasks experience using the offloading history. In addition, to minimize the task loss due to the mobility of the vehicles, we develop a method for base station selection. Moreover, we propose a relaying mechanism for the selected network, which operates based on the sojourn time of the vehicles. Through intensive numerical analysis, we demonstrate that the proposed learning-based solutions adapt to the traffic changes of the network by selecting the least congested network, thereby reducing the latency of offloaded tasks. Moreover, we demonstrate that the proposed joint base station selection and the relaying mechanism minimize the task loss in a vehicular environment.


title: Search for new phenomena in top quark interactions

abstract: The study of the processes with the production of top quarks represents a unique possibility to test the standard model (SM) predictions and probe the new physics effects. Potential deviations from the SM expectations are parametrized within the framework of the Effective Field Theory (EFT). The latest EFT results from ATLAS and CMS experiments are presented. Dedicated studies of processes with flavour-changing neutral currents are also discussed.


title: Secret Key Generation for Intelligent Reflecting Surface Assisted Wireless Communication Networks

abstract: We propose and analyze secret key generation using intelligent reflecting surface (IRS) assisted wireless communication networks. To this end, we first formulate the minimum achievable secret key capacity for an IRS acting as a passive beamformer in the presence of multiple eavesdroppers. Next, we develop an optimization framework for the IRS reflecting coefficients based on the secret key capacity lower bound. To derive a tractable and efficient solution, we design and analyze a semidefinite relaxation (SDR) and successive convex approximation (SCA) based algorithm for the proposed optimization. Simulation results show that employing our IRS-based algorithm can significantly improve the secret key generation capacity for a wide-range of wireless channel parameters.


title: Spots and flares in hot main sequence stars

abstract: About 22000 Kepler stars and nearly 60000 TESS stars from sectors 1-24 have been classified according to variability type. A large proportion of stars of all spectral types appear to have periods consistent with the expected rotation periods. A previous analysis of A and late B stars strongly suggests that these stars are indeed rotational variables. In this paper we have accumulated sufficient data to show that rotational modulation is present even among the early B stars. A search for flares in TESS A and B stars resulted in the detection of 110 flares in 68 stars. The flare energies exceed those of typical K and M dwarfs by at least two orders of magnitude. These results, together with severe difficulties of current models to explain stellar pulsations in A and B stars, suggest a need for revision of our current understanding of the outer layers of stars with radiative envelopes.


title: On the Nonlinear $\Psi$-Hilfer Hybrid Fractional Differential Equations

abstract: In this paper, we initially derive the equivalent fractional integral equation to $\Psi$-Hilfer hybrid fractional differential equations and through it, we prove the existence of a solution in the weighted space. The primary objective of the paper is to obtain estimates on $\Psi$-Hilfer derivative and utilize it to derive the hybrid fractional differential inequalities involving $\Psi$-Hilfer derivative. With the assistance of these fractional differential inequalities, we determine the existence of extremal solutions, comparison theorems and uniqueness of the solution.


title: Recognizing $A_7$ by its set of element orders

abstract: Let $G$ be a periodic group, the spectrum $\omega(G) \subseteq \mathbb{N}$ of $G$ is the set of orders of elements in $G$. In this paper we prove that the alternating group $A_{7}$ is uniquely defined by its spectrum in the class of all groups.


title: Time regularity of L\'{e}vy-type evolution in Hilbert spaces and of some $\alpha$-stable processes

abstract: In this paper we consider the existence of weakly c\`adl\`ag versions of a solution to a linear equation in a Hilbert space $H$, driven by a Levy process taking values in a Hilbert space $U$. In particular we are interested in diagonal type processes, where process on coordinates are functionals of independent $\alpha$ stable symmetric process. We give the if and only if characterization in this case. We apply the same techniques to obtain a sufficient condition for existence of a c\`adl\`ag versions of stable processes described as integrals of deterministic functions with respect to symmetric $\alpha$-stable random measures with $\alpha\in[1,2)$.


title: Pursuing quantum difference equations II: 3D-mirror symmetry

abstract: Consider a pair of symplectic varieties dual with respect to 3D-mirror symmetry. The K-theoretic limit of the elliptic duality interface is an equivariant K-theory class of the product. We show that this class provides correspondences in the product mapping the K-theoretic stable envelopes to the K-theoretic stable envelopes. This construction allows us to extend the action of various representation theoretic objects on K(X), such as action of quantum groups, quantum Weyl groups, R-matrices etc., to their action on the K-theory of the variety dual to X. In particular, we relate the wall R-matrices to the R-matrices of the dual variety. As an example, we apply our results to the Hilbert scheme of n points in the complex plane. In this case we arrive at the conjectures of E.Gorsky and A.Negut.

categories: math.AG hep-th math-ph math.KT math.MP math.RT


title: Improving Smart Conference Participation through Socially-Aware Recommendation

abstract: This research addresses recommending presentation sessions at smart conferences to participants. We propose a venue recommendation algorithm, Socially-Aware Recommendation of Venues and Environments (SARVE). SARVE computes correlation and social characteristic information of conference participants. In order to model a recommendation process using distributed community detection, SARVE further integrates the current context of both the smart conference community and participants. SARVE recommends presentation sessions that may be of high interest to each participant. We evaluate SARVE using a real world dataset. In our experiments, we compare SARVE to two related state-of-the-art methods, namely: Context-Aware Mobile Recommendation Services (CAMRS) and Conference Navigator (Recommender) Model. Our experimental results show that in terms of the utilized evaluation metrics: precision, recall, and f-measure, SARVE achieves more reliable and favorable social (relations and context) recommendation results.


title: DINE: A Framework for Deep Incomplete Network Embedding

abstract: Network representation learning (NRL) plays a vital role in a variety of tasks such as node classification and link prediction. It aims to learn low-dimensional vector representations for nodes based on network structures or node attributes. While embedding techniques on complete networks have been intensively studied, in real-world applications, it is still a challenging task to collect complete networks. To bridge the gap, in this paper, we propose a Deep Incomplete Network Embedding method, namely DINE. Specifically, we first complete the missing part including both nodes and edges in a partially observable network by using the expectation-maximization framework. To improve the embedding performance, we consider both network structures and node attributes to learn node representations. Empirically, we evaluate DINE over three networks on multi-label classification and link prediction tasks. The results demonstrate the superiority of our proposed approach compared against state-of-the-art baselines.


title: Judging a Book by Its Cover: The Effect of Facial Perception on Centrality in Social Networks

abstract: Facial appearance matters in social networks. Individuals frequently make trait judgments from facial clues. Although these face-based impressions lack the evidence to determine validity, they are of vital importance, because they may relate to human network-based social behavior, such as seeking certain individuals for help, advice, dating, and cooperation, and thus they may relate to centrality in social networks. However, little to no work has investigated the apparent facial traits that influence network centrality, despite the large amount of research on attributions of the central position including personality and behavior. In this paper, we examine whether perceived traits based on facial appearance affect network centrality by exploring the initial stage of social network formation in a first-year college residential area. We took face photos of participants who are freshmen living in the same residential area, and we asked them to nominate community members linking to different networks. We then collected facial perception data by requiring other participants to rate facial images for three main attributions: dominance, trustworthiness, and attractiveness. Meanwhile, we proposed a framework to discover how facial appearance affects social networks. Our results revealed that perceived facial traits were correlated with the network centrality and that they were indicative to predict the centrality of people in different networks. Our findings provide psychological evidence regarding the interaction between faces and network centrality. Our findings also offer insights in to a combination of psychological and social network techniques, and they highlight the function of facial bias in cuing and signaling social traits. To the best of our knowledge, we are the first to explore the influence of facial perception on centrality in social networks.


title: Interpretable Real-Time Win Prediction for Honor of Kings, a Popular Mobile MOBA Esport

abstract: With the rapid prevalence and explosive development of MOBA esports (Multiplayer Online Battle Arena electronic sports), much research effort has been devoted to automatically predicting game results (win predictions). While this task has great potential in various applications, such as esports live streaming and game commentator AI systems, previous studies fail to investigate the methods to interpret these win predictions. To mitigate this issue, we collected a large-scale dataset that contains real-time game records with rich input features of the popular MOBA game Honor of Kings. For interpretable predictions, we proposed a Two-Stage Spatial-Temporal Network (TSSTN) that can not only provide accurate real-time win predictions but also attribute the ultimate prediction results to the contributions of different features for interpretability. Experiment results and applications in real-world live streaming scenarios showed that the proposed TSSTN model is effective both in prediction accuracy and interpretability.


title: A Note on the Finite Convergence of Alternating Projections

abstract: We establish sufficient conditions for finite convergence of the alternating projections method for two non-intersecting and potentially nonconvex sets. Our results are based on a generalization of the concept of intrinsic transversality, which until now has been restricted to sets with nonempty intersection. In the special case of a polyhedron and closed half space, our sufficient conditions define the minimum distance between the two sets that is required for alternating projections to converge in a single iteration.


title: Resilient Abstraction-Based Controller Design

abstract: We consider the computation of resilient controllers for perturbed non-linear dynamical systems w.r.t. linear-time temporal logic specifications. We address this problem through the paradigm of Abstraction-Based Controller Design (ABCD) where a finite state abstraction of the perturbed system dynamics is constructed and utilized for controller synthesis. In this context, our contribution is twofold: (I) We construct abstractions which model the impact of occasional high disturbance spikes on the system via so called disturbance edges. (II) We show that the application of resilient reactive synthesis techniques to these abstract models results in closed loop systems which are optimally resilient to these occasional high disturbance spikes. We have implemented this resilient ABCD workflow on top of SCOTS and showcase our method through multiple robot planning examples.


title: Cooperation and competition between magnetism and chemisorption

abstract: Chemisorption on ferromagnetic and non-magnetic surfaces is discussed within the Newns-Anderson-Grimley model along with the Stoner model of ferromagnetism. In the case of ferromagnetic surfaces, the adsorption energy is formulated in terms of the change in surface magnetic moments. Using such a formulation, we address the issue of how an adsorbate's binding strength depends on the magnetic moments of the surface and how the adsorption process reduces/enhances the magnetic moments of the surface. Our results indicates a possible adsorption energy scaling relationship in terms surface magnetic moments. In the case of non-magnetic surfaces, we formulate a modified stoner criterion and discuss the condition for the appearance of magnetism due to chemisorption on an otherwise non-magnetic surface.


title: Exact Quantum Query Algorithms Outperforming Parity -- Beyond The Symmetric functions

abstract: In Exact Quantum Query model, almost all of the Boolean functions for which non-trivial query algorithms exist are symmetric in nature. The most well known techniques in this domain exploit parity decision trees, in which the parity of two bits can be obtained by a single query. Thus, exact quantum query algorithms outperforming parity decision trees are rare. In this paper we first obtain optimal exact quantum query algorithms ($Q_{algo}(f)$) for a direct sum based class of $\Omega \left( 2^{\frac{\sqrt{n}}{2}} \right)$ non-symmetric functions. We construct these algorithms by analyzing the algebraic normal form together with a novel untangling strategy. Next we obtain the generalized parity decision tree complexity ($D_{\oplus}(f)$) analysing the Walsh Spectrum. Finally, we show that query complexity of $Q_{algo}$ is $\lceil \frac{3n}{4} \rceil$ whereas $D_{\oplus}(f)$ varies between $n-1$ and $\lceil \frac{3n}{4} \rceil+1$ for different classes, underlining linear separation between the two measures in many cases. To the best of our knowledge, this is the first family of algorithms beyond generalized parity (and thus parity) for a large class of non-symmetric functions. We also implement these techniques for a larger (doubly exponential in $\frac{n}{4}$) class of Maiorana-McFarland type functions, but could only obtain partial results using similar algorithmic techniques.


title: Not 3D Re-ID: a Simple Single Stream 2D Convolution for Robust Video Re-identification

abstract: Video-based person re-identification has received increasing attention recently, as it plays an important role within surveillance video analysis. Video-based Re-ID is an expansion of earlier image-based re-identification methods by learning features from a video via multiple image frames for each person. Most contemporary video Re-ID methods utilise complex CNNbased network architectures using 3D convolution or multibranch networks to extract spatial-temporal video features. By contrast, in this paper, we illustrate superior performance from a simple single stream 2D convolution network leveraging the ResNet50-IBN architecture to extract frame-level features followed by temporal attention for clip level features. These clip level features can be generalised to extract video level features by averaging without any significant additional cost. Our approach uses best video Re-ID practice and transfer learning between datasets to outperform existing state-of-the-art approaches on the MARS, PRID2011 and iLIDS-VID datasets with 89:62%, 97:75%, 97:33% rank-1 accuracy respectively and with 84:61% mAP for MARS, without reliance on complex and memory intensive 3D convolutions or multi-stream networks architectures as found in other contemporary work. Conversely, our work shows that global features extracted by the 2D convolution network are a sufficient representation for robust state of the art video Re-ID.


title: OR-Gym: A Reinforcement Learning Library for Operations Research Problems

abstract: Reinforcement learning (RL) has been widely applied to game-playing and surpassed the best human-level performance in many domains, yet there are few use-cases in industrial or commercial settings. We introduce OR-Gym, an open-source library for developing reinforcement learning algorithms to address operations research problems. In this paper, we apply reinforcement learning to the knapsack, multi-dimensional bin packing, multi-echelon supply chain, and multi-period asset allocation model problems, as well as benchmark the RL solutions against MILP and heuristic models. These problems are used in logistics, finance, engineering, and are common in many business operation settings. We develop environments based on prototypical models in the literature and implement various optimization and heuristic models in order to benchmark the RL results. By re-framing a series of classic optimization problems as RL tasks, we seek to provide a new tool for the operations research community, while also opening those in the RL community to many of the problems and challenges in the OR field.


title: Tunable optomechanically induced transparency by controlling the dark-mode effect

abstract: We study tunable optomechanically induced transparency by controlling the dark-mode effect induced by two mechanical modes coupled to a common cavity field. This is realized by introducing a phase-dependent phonon-exchange interaction, which is used to form a loop-coupled configuration. Combining this phase-dependent coupling with the optomechanical interactions, the dark-mode effect can be controlled by the quantum interference effect. In particular, the dark-mode effect in this two-mechanical-mode optomechanical system can lead to a double-amplified optomechanically induced transparency (OMIT) window and a higher efficiency of the second-order sideband in comparison with the standard optomechanical system. This is because the effective mechanical decay rate related to the linewidth of the OMIT window becomes a twofold increase in the weak-coupling limit. When the dark-mode effect is broken, controllable double transparency windows appear and the second-order sideband, as well as the light delay or advance, is significantly enhanced. For an N-mechanical-mode optomechanical system, we find that in the presence of the dark-mode effect, the amplification multiple of the linewidth of the OMIT window is nearly proportional to the number of mechanical modes, and that the OMIT with a single window becomes the one with N tunable windows by breaking the dark-mode effect. The study will be useful in optical information storage within a large-frequency bandwidth and multichannel optical communication based on optomechanical systems.


title: Light element ($Z=1,2$) production from spontaneous ternary fission of $^{252}$Cf

abstract: The yields of light elements ($Z=1,2$) obtained from spontaneous ternary fission of $^{252}$Cf are treated within a nonequilibrium approach, and the contribution of unstable nuclei and excited bound states is taken into account. These light cluster yields may be used to probe dense matter, and to infer in-medium corrections. Continuum correlations are calculated from scattering phase shifts using the Beth-Uhlenbeck formula, and the effect of medium modification is estimated. The relevant distribution is reconstructed from the measured yields of isotopes. This describes the state of the nucleon system at scission and cluster formation, using only three Lagrange parameters which are the nonequilibrium counterparts of the temperature and chemical potentials, as defined in thermodynamic equilibrium. We concluded that a simple nuclear statistical equilibrium model neglecting continuum correlations and medium effects is not able to describe the measured distribution of H and He isotopes. Moreover, the freeze-out concept may serve as an important ingredient to the nonequilibrium approach using the relevant statistical operator concept.


title: Relative scale setting for two-color QCD with Nf=2 Wilson fermions

abstract: We determine the scale setting function and the pseudo-critical temperature on the lattice in $N_f=2$ two-color QCD using the Iwasaki gauge and Wilson fermion actions. Although two-color QCD does not correspond to the real world, it is very useful as a good testing ground for three-color QCD. The scale setting function gives the relative lattice spacings of simulations performed at different values of the bare coupling. It is a necessary tool for taking the continuum limit. Firstly, we measure the meson spectra for various combinations of ($\beta,\kappa$) and find a line of constant physics in $\beta$--$\kappa$ plane. Next, we determine the scale setting function via $w_0$ scale in the gradient flow method. Furthermore, we estimate the pseudo-critical temperature at zero chemical potential from the chiral susceptibility. Combining these results, we can discuss the QCD phase diagram in which both axes are given by dimensionless quantities, namely, the temperature normalized by the pseudo-critical temperature on the lattice and the chemical potential normalized by the pseudoscalar meson mass. It makes it easy to compare among several lattice studies and also makes it possible to compare theoretical analyses and lattice studies in the continuum limit.


title: Symmetry Analysis for a Fourth-order Noise-reduction Partial Differential Equation

abstract: We apply the theory of Lie symmetries in order to study a fourth-order $1+2$ evolutionary partial differential equation which has been proposed for the image processing noise reduction. In particular we determine the Lie point symmetries for the specific 1+2 partial differential equations and we apply the invariant functions to determine similarity solutions. For the static solutions we observe that the reduced fourth-order ordinary differential equations are reduced to second-order ordinary differential equations which are maximally symmetric. Finally, nonstatic closed-form solutions are also determined.


title: Derivation of Batchelor-Green formula for random suspensions

abstract: This paper is dedicated to the effective viscosity of suspensions without inertia, at low solid volume fraction $\phi$. The goal is to derive rigorously a $o(\phi^2)$ formula for the effective viscosity. In previous works, such formula was given for rigid spheres satisfying the strong separation assumption $ d_{min} \ge c \phi^{-\frac13} r$, where $d_{min}$ is the minimal distance between the spheres and $r$ their radius. It was then applied to both periodic and random configurations with separation, to yield explicit values for the $O(\phi^2)$ coefficient. We consider here complementary (and certainly more realistic) random configurations, satisfying soft assumptions of separation and long range decorrelation. We justify in this setting the famous Batchelor-Green formula. Our result applies for instance to hardcore Poisson point process with almost minimal hardcore assumption $d_{min} > (2+\epsilon) r$, $\epsilon > 0$.


title: Derived Langlands IV:Notes on ${\mathcal M}_{c}(G)$-induced representations

abstract: This is Part IV of a thematic series currently consisting of a monograph and four essays. This essay examines the form of induced representations of locally p-adic Lie groups G which is appropriate for the abelian category of ${\mathcal M}_{c}(G)$-admissible representations. In my non-expert manner, I prove the analogue of Jacquet's Theorem in this category. The final section consists of observations and questions related to this and other concepts introduced in the course of this series.


title: Feature Extraction Functions for Neural Logic Rule Learning

abstract: Combining symbolic human knowledge with neural networks provides a rule-based ante-hoc explanation of the output. In this paper, we propose feature extracting functions for integrating human knowledge abstracted as logic rules into the predictive behavior of a neural network. These functions are embodied as programming functions, which represent the applicable domain knowledge as a set of logical instructions and provide a modified distribution of independent features on input data. Unlike other existing neural logic approaches, the programmatic nature of these functions implies that they do not require any kind of special mathematical encoding, which makes our method very general and flexible in nature. We illustrate the performance of our approach for sentiment classification and compare our results to those obtained using two baselines.


title: Graphical tests of independence for general distributions

abstract: We propose two model-free, permutation-based tests of independence between a pair of random variables. The tests can be applied to samples from any bivariate distribution: continuous, discrete or mixture of those, with light tails or heavy tails, \ldots The tests take advantage of the recent development of the global envelope tests in the context of spatial statistics. Apart from the broad applicability of the tests, their main benefit lies in the graphical interpretation of the test outcome: in case of rejection of the null hypothesis of independence, the combinations of quantiles in the two marginals are indicated for which the deviation from independence is significant. This information can be used to gain more insight into the properties of the observed data and as a guidance for proposing more complicated models and hypotheses. We assess the performance of the proposed tests in a simulation study and compare them to several well-established tests of independence. Furthermore, we illustrate the use of the tests and the interpretation of the test outcome in two real datasets consisting of meteorological reports (daily mean temperature and total daily precipitation, having an atomic component at 0 millimeters) and road accidents reports (type of road and the weather conditions, both variables having categorical distribution).


title: Vortex lattice in rotating neutron spin-triplet superfluid

abstract: In the Ginzburg-Landau limit, a possible texture without singular cores in a rotating neutron spin-triplet superfluid is studied. It is constructed the lattice of non-singular vortices with a vorticity diffusely distributed over the entire unit cell. The upper limit of the free energy associated with this structure is estimated, and the result shows that non-singular vortices are more preferable in the core of rotating neutron stars than ordinary linear singular vortices. The order parameter of the studied neutron system belongs to the unitary class. This implies that the superfluid under consideration does not have spin polarization and the core-less $^{3}$P$_{2}$ vortices do not have magnetization, which makes electron scattering by vortices ineffective. For the same reason, pinning with flux tubes is also suppressed. This can affect the hydrodynamics of superfluid neutron stars.


title: Honeycomb structures in magnetic fields

abstract: We consider reduced-dimensionality models of honeycomb lattices in magnetic fields and report results about the spectrum, the density of states, self-similarity, and metal/insulator transitions under disorder. We perform a spectral analysis by which we discover a fractal Cantor spectrum for irrational magnetic flux through a honeycomb, prove the existence of zero energy Dirac cones for each rational flux, obtain an explicit expansion of the density of states near the conical points, and show the existence of mobility edges under Anderson-type disorder. Our results give a precise description of de Haas-van Alphen and Quantum Hall effects, and provide quantitative estimates on transport properties. In particular, our findings explain experimentally observed asymmetry phenomena by going beyond the perfect cone approximation.


title: Automated detection and quantification of COVID-19 airspace disease on chest radiographs: A novel approach achieving radiologist-level performance using a CNN trained on digital reconstructed radiographs (DRRs) from CT-based ground-truth

abstract: Purpose: To leverage volumetric quantification of airspace disease (AD) derived from a superior modality (CT) serving as ground truth, projected onto digitally reconstructed radiographs (DRRs) to: 1) train a convolutional neural network to quantify airspace disease on paired CXRs; and 2) compare the DRR-trained CNN to expert human readers in the CXR evaluation of patients with confirmed COVID-19. Materials and Methods: We retrospectively selected a cohort of 86 COVID-19 patients (with positive RT-PCR), from March-May 2020 at a tertiary hospital in the northeastern USA, who underwent chest CT and CXR within 48 hrs. The ground truth volumetric percentage of COVID-19 related AD (POv) was established by manual AD segmentation on CT. The resulting 3D masks were projected into 2D anterior-posterior digitally reconstructed radiographs (DRR) to compute area-based AD percentage (POa). A convolutional neural network (CNN) was trained with DRR images generated from a larger-scale CT dataset of COVID-19 and non-COVID-19 patients, automatically segmenting lungs, AD and quantifying POa on CXR. CNN POa results were compared to POa quantified on CXR by two expert readers and to the POv ground-truth, by computing correlations and mean absolute errors. Results: Bootstrap mean absolute error (MAE) and correlations between POa and POv were 11.98% [11.05%-12.47%] and 0.77 [0.70-0.82] for average of expert readers, and 9.56%-9.78% [8.83%-10.22%] and 0.78-0.81 [0.73-0.85] for the CNN, respectively. Conclusion: Our CNN trained with DRR using CT-derived airspace quantification achieved expert radiologist level of accuracy in the quantification of airspace disease on CXR, in patients with positive RT-PCR for COVID-19.


title: Spherically Symmetric de Sitter Solution of Black Holes

abstract: In this study we obtain the solution of the spherically symmetric de Sitter solution of black holes using a general form of distribution functions which include Gaussian, Rayleigh, and Maxwell-Boltzmann distribution as a special case. We investigate the properties of thermodynamics variables such as the Hawking temperature, the entropy, the mass and the heat capacity of black holes. Moreover, we show that the strong energy condition which includes the null energy condition is satisfied. Finally, we show the regularity of the solution by calculating the scalar curvature and invariant curvature in general distribution form.


title: Integrating uncertainty in deep neural networks for MRI based stroke analysis

abstract: At present, the majority of the proposed Deep Learning (DL) methods provide point predictions without quantifying the models uncertainty. However, a quantification of the reliability of automated image analysis is essential, in particular in medicine when physicians rely on the results for making critical treatment decisions. In this work, we provide an entire framework to diagnose ischemic stroke patients incorporating Bayesian uncertainty into the analysis procedure. We present a Bayesian Convolutional Neural Network (CNN) yielding a probability for a stroke lesion on 2D Magnetic Resonance (MR) images with corresponding uncertainty information about the reliability of the prediction. For patient-level diagnoses, different aggregation methods are proposed and evaluated, which combine the single image-level predictions. Those methods take advantage of the uncertainty in image predictions and report model uncertainty at the patient-level. In a cohort of 511 patients, our Bayesian CNN achieved an accuracy of 95.33% at the image-level representing a significant improvement of 2% over a non-Bayesian counterpart. The best patient aggregation method yielded 95.89% of accuracy. Integrating uncertainty information about image predictions in aggregation models resulted in higher uncertainty measures to false patient classifications, which enabled to filter critical patient diagnoses that are supposed to be closer examined by a medical doctor. We therefore recommend using Bayesian approaches not only for improved image-level prediction and uncertainty estimation but also for the detection of uncertain aggregations at the patient-level.


title: On the Equitable Choosability of the Disjoint Union of Stars

abstract: Equitable $k$-choosability is a list analogue of equitable $k$-coloring that was introduced by Kostochka, Pelsmajer, and West in 2003. It is known that if vertex disjoint graphs $G_1$ and $G_2$ are equitably $k$-choosable, the disjoint union of $G_1$ and $G_2$ may not be equitably $k$-choosable. Given any $m \in \mathbb{N}$ the values of $k$ for which $K_{1,m}$ is equitably $k$-choosable are known. Also, a complete characterization of equitably $2$-choosable graphs is not known. With these facts in mind, we study the equitable choosability of $\sum_{i=1}^n K_{1,m_i}$, the disjoint union of $n$ stars. We show that determining whether $\sum_{i=1}^n K_{1,m_i}$ is equitably choosable is NP-complete when the same list of two colors is assigned to every vertex. We completely determine when the disjoint union of two stars (or $n \geq 2$ identical stars) is equitably 2-choosable, and we present results on the equitable $k$-choosability of the disjoint union of two stars for arbitrary $k$.


title: Active Importance Sampling for Variational Objectives Dominated by Rare Events: Consequences for Optimization and Generalization

abstract: Deep neural networks, when optimized with sufficient data, provide accurate representations of high-dimensional functions; in contrast, function approximation techniques that have predominated in scientific computing do not scale well with dimensionality. As a result, many high-dimensional sampling and approximation problems once thought intractable are being revisited through the lens of machine learning. While the promise of unparalleled accuracy may suggest a renaissance for applications that require parameterizing representations of complex systems, in many applications gathering sufficient data to develop such a representation remains a significant challenge. Here we introduce an approach that combines rare events sampling techniques with neural network optimization to optimize objective functions that are dominated by rare events. We show that importance sampling reduces the asymptotic variance of the solution to a learning problem, suggesting benefits for generalization. We study our algorithm in the context of learning dynamical transition pathways between two states of a system, a problem with applications in statistical physics and implications in machine learning theory. Our numerical experiments demonstrate that we can successfully learn even with the compounding difficulties of high-dimension and rare data.


title: Exo-SIR: An Epidemiological Model to Analyze the Impact of Exogenous Infection of COVID-19 in India

abstract: Epidemiological models are the mathematical models that capture the dynamics of epidemics. The spread of the virus has two routes - exogenous and endogenous. The exogenous spread is from outside the population under study, and endogenous spread is within the population under study. Although some of the models consider the exogenous source of infection, they have not studied the interplay between exogenous and endogenous spreads. In this paper, we introduce a novel model - the Exo-SIR model that captures both the exogenous and endogenous spread of the virus. We analyze to find out the relationship between endogenous and exogenous infections during the Covid19 pandemic. First, we simulate the Exo-SIR model without assuming any contact network for the population. Second, simulate it by assuming that the contact network is a scale free network. Third, we implemented the Exo-SIR model on a real dataset regarding Covid19. We found that endogenous infection is influenced by even a minimal rate of exogenous infection. Also, we found that in the presence of exogenous infection, the endogenous infection peak becomes higher, and the peak occurs earlier. This means that if we consider our response to a pandemic like Covid19, we should be prepared for an earlier and higher number of cases than the SIR model suggests if there are the exogenous source(s) of infection.


title: Coherence and path indistinguishability for the interference of multiple single-mode fields

abstract: A well known result for the interference of two single-mode fields is that the degree of coherence and the degree of indistinguishablity are same when we consider the detection of a single photon. In this article we present the relation between degree of coherence, path indistinguishability and the fringe visibility considering interference of multiple number of single-mode fields while being interested in the detection of a single photon only . We will also mention how Born's rule of interference for multiple sources is reflected in these results.


title: Catching a Polygonal Fish with a Minimum Net

abstract: Given a polygon $P$ in the plane that can be translated, rotated and enlarged arbitrarily inside a unit square, the goal is to find a set of lines such that at least one of them always hits $P$ and the number of lines is minimized. We prove the solution is always a regular grid or a set of equidistant parallel lines, whose distance depends on $P$.


title: It's anyon's game: the race to quantum computation

abstract: In 1924, Satyendra Nath Bose dispatched a manuscript introducing the concept now known as Bose statistics to Albert Einstein. Bose could hardly have imagined that the exotic statistics of certain emergent particles of quantum matter would one day suggest a route to fault-tolerant quantum computation. This non-technical Commentary on "anyons," namely particles whose statistics is intermediate between Bose and Fermi, aims to convey the underlying concept as well as its experimental manifestations to the uninitiated.


title: Semiclassical approach for excitonic spectrum of Coulomb coupling between two Dirac particles

abstract: The properties of energy spectrum of excitons in monolayer transition metal dichalcogenides are investigated using a multiband model. In the multiband model we use the excitonic Hamiltonian in the product base of the Dirac single-particle states at the conduction and valence band edges. Following the separation of variables we decouple the corresponding energy eigenvalue system of the first order ODE radial equations rigorously and solve the resulting the second order ODE self-consistently, using the finite difference method, thus we determine the energy eigenvalues of the discrete excitonic spectrum and the corresponding wave functions. We also developed WKB approach to solve the same spectral problem in semiclassical aproximation for the resulting ODE. We compare the results for the energy spectrum and the corresponding eigen-functions forms for WS2 and WSe2 obtained by means of both methods. We also compare our results for the energy spectrum with other theoretical works for excitons, and with available experimental data.


title: On the finite representation of group equivariant operators via permutant measures

abstract: The study of $G$-equivariant operators is of great interest to explain and understand the architecture of neural networks. In this paper we show that each linear $G$-equivariant operator can be produced by a suitable permutant measure, provided that the group $G$ transitively acts on a finite signal domain $X$. This result makes available a new method to build linear $G$-equivariant operators in the finite setting.


title: Probabilistic Cellular Automata for Granular Media in Video Games

abstract: Granular materials are very common in the everyday world. Media such as sand, soil, gravel, food stuffs, pharmaceuticals, etc. all have similar irregular flow since they are composed of numerous small solid particles. In video games, simulating these materials increases immersion and can be used for various game mechanics. Computationally, full scale simulation is not typically feasible except on the most powerful hardware and tends to be reduced in priority to favor other, more integral, gameplay features. Here we study the computational and qualitative aspects of side profile flow of sand-like particles using cellular automata (CA). Our CA uses a standard square lattice that updates via a custom, modified Margolus neighborhood. Each update occurs using a set of probabilistic transitions that can be tuned to simulate friction between particles. We focus on the look of the sandpile structure created from an hourglass shape over time using different transition probabilities and the computational impact of such a simulation.


title: White holes, primordial black holes and Dark Matter

abstract: Strange Quark Nuggets are the relics of the microsecond old universe after the big bang. The universe having experienced a mini inflation of 7-e folding has gone through supercooling leading to a first order phase transition from quark to hadrons. Strange Quark Nuggets, the relics of this phase transition will constitute 12.5% or at the most 25% of the dark matter of the universe. Only 10-3 or 10-4 part of the total number of SQNs form binaries, and only some of the binaries will turn to black holes. Primordial Black Hole (PBH) as a relic is shown to be not a plausible scenario. Simultaneous observation of high energy gamma rays from SQN binaries formed from coalescence of SQNs along with black holes will be the vital cursor of this evolutionary scenario just presented.


title: Generalized Coordinated Multipoint Framework for 5G and Beyond

abstract: The characteristic feature of 5G is the diversity of its services for different user needs. However, the requirements for these services are competing in nature, which impresses the necessity of a coordinated and flexible network architecture. Although coordinated multipoint (CoMP) systems were primarily proposed to improve the cell edge performance in 4G, their collaborative nature can be leveraged to support the diverse requirements and enabling technologies of 5G and beyond networks. To this end, we propose generalization of CoMP to a proactive and efficient resource utilization framework capable of supporting different user requirements such as reliability, latency, throughput, and security while considering network constraints. This article elaborates on the multiple aspects, inputs, and outputs of the generalized CoMP (GCoMP) framework. Apart from user requirements, the GCoMP decision mechanism also considers the CoMP scenario and network architecture to decide upon outputs such as CoMP technique or appropriate coordinating clusters. To enable easier understanding of the concept, popular use cases, such as vehicle-to-everything (V2X) communication and eHealth, are studied. Additionally, interesting challenges and open areas in GCoMP are discussed.


title: COVID-19 mortality analysis from soft-data multivariate curve regression and machine learning

abstract: A multiple objective space-time forecasting approach is presented involving cyclical curve log-regression, and multivariate time series spatial residual correlation analysis. Specifically, the mean quadratic loss function is minimized in the framework of trigonometric regression. While, in our subsequent spatial residual correlation analysis, maximization of the likelihood allows us to compute the posterior mode in a Bayesian multivariate time series soft-data framework. The presented approach is applied to the analysis of COVID-19 mortality in the first wave affecting the Spanish Communities, since March, 8, 2020 until May, 13, 2020. An empirical comparative study with Machine Learning (ML) regression, based on random k-fold cross-validation, and bootstrapping confidence interval and probability density estimation, is carried out. This empirical analysis also investigates the performance of ML regression models in a hard- and soft- data frameworks. The results could be extrapolated to other counts, countries, and posterior COVID-19 waves.


title: Epidemiological projections for COVID-19 considering lockdown policies and social behavior: the case of Bolivia

abstract: We assess the epidemic situation caused by SARS-CoV-2 using Tsallis' proposal for determining the occurrence of the peak, and also the Susceptible-Infected-Recovered-Asymptomatic-Symptomatic and Dead (\textbf{SIRASD}) compartmental model. Using these two models, we determine a range of probable peak dates and study several social distancing scenarios during the epidemic. Due to the socioeconomic situation and the conflictive political climate, we take for our study the case of Bolivia, where a national election was originally scheduled to occur on September 6th and recently rescheduled on October 18th. For this, we analyze both electoral scenarios and show that such an event can largely affect the epidemic's dynamics.


title: An empirical model on the dynamics of Covid-19 spread in human population

abstract: We propose a mathematical model to analyze the time evolution of the total number of infected population with Covid-19 disease at a region in the ongoing pandemic. Using the available data of Covid-19 infected population on various countries we formulate a model which can successfully track the time evolution from early days to the saturation period in a given wave of this infectious disease. It involves a set of effective parameters which can be extracted from the available data. Using those parameters the future trajectories of the disease spread can also be projected. A set of differential equations is also proposed whose solutions are these time evolution trajectories. Using such a formalism we project the future time evolution trajectories of infection spread for a number of countries where the Covid-19 infection is still rapidly rising.


title: A Data-Driven Control-Theoretic Paradigm for Pandemic Mitigation with Application to Covid-19

abstract: In this paper, we introduce a new control-theoretic paradigm for mitigating the spread of a virus. To this end, our discrete-time controller, aims to reduce the number of new daily deaths, and consequently, the cumulative number of deaths. In contrast to much of the existing literature, we do not rely on a potentially complex virus transmission model whose equations must be customized to the "particulars" of the pandemic at hand. For new viruses such as Covid-19, the epidemiology driving the modelling process may not be well known and model estimation with limited data may be unreliable. With this motivation in mind, the new paradigm described here is data-driven and, to a large extent, we avoid modelling difficulties by concentrating on just two key quantities which are common to pandemics: the doubling time, denoted by $d(k)$ and the peak day denoted by $\theta(k)$. Our numerical studies to date suggest that our appealingly simple model can provide a reasonable fit to real data. Given that time is of the essence during the ongoing global health crisis, the intent of this paper is to introduce this new paradigm to control practitioners and describe a number of new research directions suggested by our current results.


title: Multifunctionality in a Reservoir Computer

abstract: Multifunctionality is a well observed phenomenological feature of biological neural networks and considered to be of fundamental importance to the survival of certain species over time. These multifunctional neural networks are capable of performing more than one task without changing any network connections. In this paper we investigate how this neurological idiosyncrasy can be achieved in an artificial setting with a modern machine learning paradigm known as `Reservoir Computing'. A training technique is designed to enable a Reservoir Computer to perform tasks of a multifunctional nature. We explore the critical effects that changes in certain parameters can have on the Reservoir Computers' ability to express multifunctionality. We also expose the existence of several `untrained attractors'; attractors which dwell within the prediction state space of the Reservoir Computer that were not part of the training. We conduct a bifurcation analysis of these untrained attractors and discuss the implications of our results.


title: A family of Horn-Bernstein functions

abstract: A family of recently investigated Bernstein functions is revisited and those functions for which the derivatives are logarithmically completely monotonic are identified. This leads to the definition of a class of Bernstein functions, which we propose to call Horn-Bernstein functions because of the results of Roger A. Horn.


title: On a Fabric of Kissing Circles

abstract: Applying circle inversion on a square grid filled with circles, we obtain a configuration that we call a fabric of kissing circles. The configuration and its components, which are two orthogonal frames and two orthogonal families of chains, are in some way connected to classical geometric configurations such as the arbelos or the Pappus chain, or the Apollonian packing from the 20th century. In this paper, we build the fabric and list some of the obvious properties that result from this construction. Next, we focus on the curvature inside the individual components: we show that the curvatures of the frame circles form a doubly infinite arithmetic sequence (bi-sequence), whereas the curvatures of the circles of each chain are arranged in a quadratic bi-sequence. Because solving geometric sangaku problems was a gateway to our discovery of the fabric, we conclude this paper with two sangaku problems and their solutions using our results on curvatures.


title: Partial Orders, Residuation, and First-Order Linear Logic

abstract: We will investigate proof-theoretic and linguistic aspects of first-order linear logic. We will show that adding partial order constraints in such a way that each sequent defines a unique linear order on the antecedent formulas of a sequent allows us to define many useful logical operators. In addition, the partial order constraints improve the efficiency of proof search.


title: A study of uncompensated latency in ADS-B reports

abstract: The total latency (TL) in ADS-B is the difference between the true TOA of the original position measured by the onboard GPS and the TOA in the ADS-B report at the GS. We processed the ADS-B reports extracted from live-data recorded at the Chicago to produce the results in this report. We observed that 99% of aircraft in our data set were broadcasting in non-UTC coupled mode. For these aircraft, STARS exclusively used ADS-B reports to update tracks when available. The calculated ULs for the non-UTC coupled ADS-B reports were well within the budget (-200 ms to +400 ms) allowed by the DO-260B MOPS. Moreover, the mean latencies from both methods were less than +/-50 ms. The latencies obtained from the MTPES method were observed to be in close agreement with the means from the ATPE method. About 1% of aircraft were broadcasting in UTC coupled mode. The reports from these aircraft were identified to have a non-compliant link version, causing STARS to reject these reports for tracking. Moreover, the reported position and TOA were found to be unsynchronized, which conflicts with the MOPS requirement for UTC coupled operation.


title: Survey of XAI in digital pathology

abstract: Artificial intelligence (AI) has shown great promise for diagnostic imaging assessments. However, the application of AI to support medical diagnostics in clinical routine comes with many challenges. The algorithms should have high prediction accuracy but also be transparent, understandable and reliable. Thus, explainable artificial intelligence (XAI) is highly relevant for this domain. We present a survey on XAI within digital pathology, a medical imaging sub-discipline with particular characteristics and needs. The review includes several contributions. Firstly, we give a thorough overview of current XAI techniques of potential relevance for deep learning methods in pathology imaging, and categorise them from three different aspects. In doing so, we incorporate uncertainty estimation methods as an integral part of the XAI landscape. We also connect the technical methods to the specific prerequisites in digital pathology and present findings to guide future research efforts. The survey is intended for both technical researchers and medical professionals, one of the objectives being to establish a common ground for cross-disciplinary discussions.


title: Standard Model and 4-groups

abstract: We show that a categorical generalization of the the Poincar\'e symmetry which is based on the n-crossed modules becomes natural and simple when n=3 and that the corresponding 3-form and 4-form gauge fields have to be a Dirac spinor and a Lorentz scalar, respectively. Hence by using a Poincar\'e 4-group we naturally incorporate fermionic and scalar matter into the corresponding 4-connection. The internal symmetries can be included into the 4-group structure by using a 3-crossed module based on the $SL(2,\mathbb{C}) \times K$ group, so that for $K=U(1)\times SU(2) \times SU(3)$ we can include the Standard Model into this categorification scheme.


title: Increasing effective intensity of soft strong interactions

abstract: We suggest definition of effective interaction intensity for soft hadron collisions and discuss its energy dependence in the preasymptotic region. Practical importance of this quantity consists in separation of rising interaction radius from effective interaction intensity increase both contributing to the total cross--section growth. It would be helpful for understanding the origin of this growth at the accelerator energies. The essential feature is that the effective interaction intensity is an experimentally measurable quantity.


title: Giant Seebeck effect across the field-induced metal-insulator transition of InAs

abstract: Lightly doped III-V semiconductor InAs is a dilute metal, which can be pushed beyond its extreme quantum limit upon the application of a modest magnetic field. In this regime, a Mott-Anderson metal-insulator transition, triggered by the magnetic field, leads to a depletion of carrier concentration by more than one order of magnitude. Here, we show that this transition is accompanied by a two-hundred-fold enhancement of the Seebeck coefficient which becomes as large as 11.3mV.K$^{-1}\approx 130\frac{k_B}{e}$ at T=8K and B=29T. We find that the magnitude of this signal depends on sample dimensions and conclude that it is caused by phonon drag, resulting from a large difference between the scattering time of phonons (which are almost ballistic) and electrons (which are almost localized in the insulating state). Our results reveal a path to distinguish between possible sources of large thermoelectric response in other low density systems pushed beyond the quantum limit.


title: Manipulation of vector solitons in a system of inhomogeneous coherently coupled nonlinear Schr\"odinger models with variable nonlinearities

abstract: We investigate non-autonomous solitons in a general coherently coupled nonlinear Schr\"odinger (CCNLS) system with temporally modulated nonlinearities and with an external harmonic oscillator potential. This general CCNLS system encompasses three distinct types of CCNLS equations that describe the dynamics of beam propagation in an inhomogeneous Kerr-like nonlinear optical medium for different choices of nonlinear polarizations owing to the anisotropy of the medium. We identify a generalized similarity transformation to relate the considered model into the standard integrable homogeneous coupled nonlinear evolution equations with constant nonlinearities, accompanied by a constraint relation expressed in the form of the Riccati equation. With the help of a non-standard Hirota's bilinearization method and exact soliton solutions, we explore the impact of varying nonlinearities and refractive index in the propagation and collisions analytically by reverse engineering. Interestingly, we show the emergence of several modulated solitonic phenomena such as periodic oscillation, amplification, compression, tunneling/cross-over, excitons, as well as their combined effect in the single-soliton propagation and two-soliton collisions with appropriate forms of nonlinearity. Notably, we identify a tool to transform the nature of soliton collisions with certain type of inhomogeneous nonlinearities. The results could be of significant interest to the studies on management of nonlinear waves in the contexts like nonlinear optics and can also be extended to Bose-Einstein condensates and super-fluids.


title: Semi-supervised learning using teacher-student models for vocal melody extraction

abstract: The lack of labeled data is a major obstacle in many music information retrieval tasks such as melody extraction, where labeling is extremely laborious or costly. Semi-supervised learning (SSL) provides a solution to alleviate the issue by leveraging a large amount of unlabeled data. In this paper, we propose an SSL method using teacher-student models for vocal melody extraction. The teacher model is pre-trained with labeled data and guides the student model to make identical predictions given unlabeled input in a self-training setting. We examine three setups of teacher-student models with different data augmentation schemes and loss functions. Also, considering the scarcity of labeled data in the test phase, we artificially generate large-scale testing data with pitch labels from unlabeled data using an analysis-synthesis method. The results show that the SSL method significantly increases the performance against supervised learning only and the improvement depends on the teacher-student models, the size of unlabeled data, the number of self-training iterations, and other training details. We also find that it is essential to ensure that the unlabeled audio has vocal parts. Finally, we show that the proposed SSL method enables a baseline convolutional recurrent neural network model to achieve performance comparable to state-of-the-arts.