title: Few-Layered Graphyne Growth by an On-Surface Coupling Reaction via Alkynyl Vapour Deposition

abstract: A graphyne (GY) family composed of the triple (sp) and double (sp2) bonds-hybridized carbon atoms is a promising allotrope of carbon for the development of nanoscale electronic devices. Unlike graphene, the GY family containing carbon sp bonds remains an unsolved problem in efficient two-dimensional (2D) growth due to monomer instability and side reactions. Herein, we synthesize GY into a single 2D layer by chemical vapor deposition (CVD) at low temperatures preventing unexpected reactions, using 1,3,5-tribromo-2,4,6-triethynylbenzene (TBTEB). The CVD-grown GY via a surface-confined coupling between TBTEB monomers on a copper surface can be rid of either one-dimensional (1D) or three-dimensional (3D) growths via side reactions. The CVD-grown GY exhibits a hexagonal lattice structure containing a single sp-carbon bond in a link between two adjacent hexagons, consisting with the structure of gamma-GY. This work opens a new avenue for synthesizing large-scale and single-crystalline GY that can be capable of versatile applications with theoretically expected properties.


title: How to Measure the Reproducibility of System-oriented IR Experiments

abstract: Replicability and reproducibility of experimental results are primary concerns in all the areas of science and IR is not an exception. Besides the problem of moving the field towards more reproducible experimental practices and protocols, we also face a severe methodological issue: we do not have any means to assess when reproduced is reproduced. Moreover, we lack any reproducibility-oriented dataset, which would allow us to develop such methods. To address these issues, we compare several measures to objectively quantify to what extent we have replicated or reproduced a system-oriented IR experiment. These measures operate at different levels of granularity, from the fine-grained comparison of ranked lists, to the more general comparison of the obtained effects and significant differences. Moreover, we also develop a reproducibility-oriented dataset, which allows us to validate our measures and which can also be used to develop future measures.


title: Signal Separation Based on Adaptive Continuous Wavelet Transform and Analysis

abstract: Recently the synchrosqueezed transform (SST) was developed as an empirical mode decomposition (EMD)-like tool to enhance the time-frequency resolution and energy concentration of a multi-component non-stationary signal and provides more accurate component recovery. To recover individual components, the SST method consists of two steps. First the instantaneous frequency (IF) of a component is estimated from the SST plane. Secondly, after IF is recovered, the associated component is computed by a definite integral along the estimated IF curve on the SST plane. The reconstruction accuracy for a component depends heavily on the accuracy of the IFs estimation carried out in the first step. More recently, a direct method of the time-frequency approach, called signal separation operation (SSO), was introduced for multi-component signal separation. While both SST and SSO are mathematically rigorous on IF estimation, SSO avoids the second step of the two-step SST method in component recovery (mode retrieval). The SSO method is based on some variant of the short-time Fourier transform. In the present paper, we propose a direct method of signal separation based on the adaptive continuous wavelet-like transform (CWLT) by introducing two models of the adaptive CWLT-based approach for signal separation: the sinusoidal signal-based model and the linear chirp-based model, which are derived respectively from sinusoidal signal approximation and the linear chirp approximation at any time instant. A more accurate component recovery formula is derived from linear chirp local approximation. We present the theoretical analysis of our approach. For each model, we establish the error bounds for IF estimation and component recovery.


title: Geo-Graph-Indistinguishability: Location Privacy on Road Networks Based on Differential Privacy

abstract: In recent years, concerns about location privacy are increasing with the spread of location-based services (LBSs). Many methods to protect location privacy have been proposed in the past decades. Especially, perturbation methods based on Geo-Indistinguishability (Geo-I), which randomly perturb a true location to a pseudolocation, are getting attention due to its strong privacy guarantee inherited from differential privacy. However, Geo-I is based on the Euclidean plane even though many LBSs are based on road networks (e.g. ride-sharing services). This causes unnecessary noise and thus an insufficient tradeoff between utility and privacy for LBSs on road networks. To address this issue, we propose a new privacy notion, Geo-Graph-Indistinguishability (GG-I), for locations on a road network to achieve a better tradeoff. We propose Graph-Exponential Mechanism (GEM), which satisfies GG-I. Moreover, we formalize the optimization problem to find the optimal GEM in terms of the tradeoff. However, the computational complexity of a naive method to find the optimal solution is prohibitive, so we propose a greedy algorithm to find an approximate solution in an acceptable amount of time. Finally, our experiments show that our proposed mechanism outperforms a Geo-I's mechanism with respect to the tradeoff.


title: Structure and magnetism of the skyrmion hosting family GaV$_4$S$_{8-y}$Se$_y$ with low levels of substitutions between $0 \leq y \leq 0.5$ and $7.5 \leq y\leq 8$

abstract: Polycrystalline members of the GaV$_4$S$_{8-y}$Se$_y$ family of materials with small levels of substitution between $0 \leq y \leq 0.5$ and $7.5 \leq y\leq 8$ have been synthesized in order to investigate their magnetic and structural properties. Substitutions to the skyrmion hosting parent compounds GaV$_4$S$_8$ and GaV$_4$Se$_8$, are found to suppress the temperature of the cubic to rhombohedral structural phase transition that occurs in both end compounds and to create a temperature region around the transition where there is a coexistence of these two phases. Similarly, the magnitude of the magnetization and temperature of the magnetic transition are both suppressed in all substituted compounds until a glassy-like magnetic state is realized. There is evidence from the $ac$ susceptibility data that skyrmion lattices with similar dynamics to those in GaV$_4$S$_8$ and GaV$_4$Se$_8$ are present in compounds with very low levels of substitution, $0 < y< 0.2$ and $7.8 < y < 8$, however, these states vanish at higher levels of substitution. The magnetic properties of these substituted materials are affected by the substitution altering exchange pathways and resulting in the creation of increasingly disordered magnetic states.


title: Potential linear and angular momentum in the scalar diquark model

abstract: We present an analytic two-loop calculation within the scalar diquark model of the potential linear and angular momenta, defined as the difference between the Jaffe-Manohar and Ji notions of linear and angular momenta. As expected by parity and time-reversal symmetries, a direct calculation confirms that the potential transverse momentum coincides with the Jaffe-Manohar (or canonical) definition of average quark transverse momentum, also known as the quark Sivers shift. We examine whether initial/final-state interactions at the origin of the Sivers asymmetry can also generate a potential angular momentum in the scalar diquark model.


title: BayCANN: Streamlining Bayesian Calibration with Artificial Neural Network Metamodeling

abstract: Purpose: Bayesian calibration is theoretically superior to standard direct-search algorithm because it can reveal the full joint posterior distribution of the calibrated parameters. However, to date, Bayesian calibration has not been used often in health decision sciences due to practical and computational burdens. In this paper we propose to use artificial neural networks (ANN) as one solution to these limitations. Methods: Bayesian Calibration using Artificial Neural Networks (BayCANN) involves (1) training an ANN metamodel on a sample of model inputs and outputs, and (2) then calibrating the trained ANN metamodel instead of the full model in a probabilistic programming language to obtain the posterior joint distribution of the calibrated parameters. We demonstrate BayCANN by calibrating a natural history model of colorectal cancer to adenoma prevalence and cancer incidence data. In addition, we compare the efficiency and accuracy of BayCANN against performing a Bayesian calibration directly on the simulation model using an incremental mixture importance sampling (IMIS) algorithm. Results: BayCANN was generally more accurate than IMIS in recovering the "true" parameter values. The ratio of the absolute ANN deviation from the truth compared to IMIS for eight out of the nine calibrated parameters were less than one indicating that BayCANN was more accurate than IMIS. In addition, BayCANN took about 15 minutes total compared to the IMIS method which took 80 minutes. Conclusions: In our case study, BayCANN was more accurate than IMIS and was five-folds faster. Because BayCANN does not depend on the structure of the simulation model, it can be adapted to models of various levels of complexity with minor changes to its structure. We provide BayCANN's open-source implementation in R.


title: Schwinger Effect in Compact Space

abstract: We consider a theory of scalar QED on a spatially compact 1+1-dimensional spacetime. By considering a constant electric field pointing down the compact dimension, we compute the quantum effective action by integrating out the scalar degrees of freedom in the Euclidean sector. Working in the saddle-point approximation we uncover two novel branches/physical regimes upon analytically continuing back to real time and discover a new result, hitherto unreported in previous literature. Implications of our results are discussed.


title: Matthews Correlation Coefficient Loss for Deep Convolutional Networks: Application to Skin Lesion Segmentation

abstract: The segmentation of skin lesions is a crucial task in clinical decision support systems for the computer aided diagnosis of skin lesions. Although deep learning-based approaches have improved segmentation performance, these models are often susceptible to class imbalance in the data, particularly, the fraction of the image occupied by the background healthy skin. Despite variations of the popular Dice loss function being proposed to tackle the class imbalance problem, the Dice loss formulation does not penalize misclassifications of the background pixels. We propose a novel metric-based loss function using the Matthews correlation coefficient, a metric that has been shown to be efficient in scenarios with skewed class distributions, and use it to optimize deep segmentation models. Evaluations on three skin lesion image datasets: the ISBI ISIC 2017 Skin Lesion Segmentation Challenge dataset, the DermoFit Image Library, and the PH2 dataset, show that models trained using the proposed loss function outperform those trained using Dice loss by 11.25%, 4.87%, and 0.76% respectively in the mean Jaccard index. The code is available at https://github.com/kakumarabhishek/MCC-Loss.


title: Prescribed signal concentration on the boundary: Weak solvability in a chemotaxis-Stokes system with proliferation

abstract: We study a chemotaxis-Stokes system with signal consumption and logistic source terms of the form \noindent \begin{align*} \left\{ \begin{array}{r@{\ }l@{\quad}l@{\quad}l@{\,}c} n_{t}+u\cdot\!\nabla n&=\Delta n-\nabla\!\cdot(n\nabla c)+\kappa n-\mu n^{2},\ &x\in\Omega,& t>0,\\ c_{t}+u\cdot\!\nabla c&=\Delta c-nc,\ &x\in\Omega,& t>0,\\ u_{t}&=\Delta u+\nabla P+n\nabla\phi,\ &x\in\Omega,& t>0,\\ \nabla\cdot u&=0,\ &x\in\Omega,& t>0,\\ \big(\nabla n-n\nabla c\big)\cdot\nu&=0,\quad c=c_{\star}(x),\quad u=0, &x\in\partial\Omega,& t>0, \end{array}\right. \end{align*} where $\kappa\geq0$, $\mu>0$ and, in contrast to the commonly investigated variants of chemotaxis-fluid systems, the signal concentration on the boundary of the domain $\Omega\subset\mathbb{R}^N$ with $N\in\{2,3\}$, is a prescribed time-independent nonnegative function $c_{\star}\in C^{2}\!\big(\overline{\Omega}\big)$. Making use of the boundedness information entailed by the quadratic decay term of the first equation, we will show that the system above has at least one global weak solution for any suitably regular triplet of initial data.


title: Robust Bayesian Inference for Discrete Outcomes with the Total Variation Distance

abstract: Models of discrete-valued outcomes are easily misspecified if the data exhibit zero-inflation, overdispersion or contamination. Without additional knowledge about the existence and nature of this misspecification, model inference and prediction are adversely affected. Here, we introduce a robust discrepancy-based Bayesian approach using the Total Variation Distance (TVD). In the process, we address and resolve two challenges: First, we study convergence and robustness properties of a computationally efficient estimator for the TVD between a parametric model and the data-generating mechanism. Second, we provide an efficient inference method adapted from Lyddon et al. (2019) which corresponds to formulating an uninformative nonparametric prior directly over the data-generating mechanism. Lastly, we empirically demonstrate that our approach is robust and significantly improves predictive performance on a range of simulated and real world data.


title: Speaker Anonymization with Distribution-Preserving X-Vector Generation for the VoicePrivacy Challenge 2020

abstract: In this paper, we present a Distribution-Preserving Voice Anonymization technique, as our submission to the VoicePrivacy Challenge 2020. We observe that the challenge baseline system generates fake X-vectors which are very similar to each other, significantly more so than those extracted from organic speakers. This difference arises from averaging many X-vectors from a pool of speakers in the anonymization process, causing a loss of information. We propose a new method to generate fake X-vectors which overcomes these limitations by preserving the distributional properties of X-vectors and their intra-similarity. We use population data to learn the properties of the X-vector space, before fitting a generative model which we use to sample fake X-vectors. We show how this approach generates X-vectors that more closely follow the expected intra-similarity distribution of organic speaker X-vectors. Our method can be easily integrated with others as the anonymization component of the system and removes the need to distribute a pool of speakers to use during the anonymization. Our approach leads to an increase in EER of up to $19.4\%$ in males and $11.1\%$ in females in scenarios where enrollment and trial utterances are anonymized versus the baseline solution, demonstrating the diversity of our generated voices.


title: Structural Brain Asymmetries in Youths with Combined and Inattentive Presentations of Attention Deficit Hyperactivity Disorder

abstract: Alterations in structural brain laterality are reported in attention-deficit/hyperactivity disorder (ADHD). However, few studies examined differences within presentations of ADHD. We investigate asymmetry index (AI) across 13 subcortical and 33 cortical regions from anatomical metrics of volume, surface area, and thickness. Structural T1-weighted MRI data were obtained from youths with inattentive (n = 64) and combined (n = 51) presentations, and aged-matched controls (n = 298). We used a linear mixed effect model that accounts for data site heterogeneity, while studying associations between AI and covariates of presentation and age. Our paper contributes to the functional results seen among ADHD presentations evidencing disrupted connectivity in motor networks from ADHD-C and cingulo-frontal networks from ADHD-I, as well as new findings in the temporal cortex and default mode subnetworks. Age patterns of structural asymmetries vary with presentation type. Linear mixed effects model is a practical tool for characterizing associations between brain asymmetries, diagnosis, and neurodevelopment.


title: BCI learning induces core-periphery reorganization in M/EEG multiplex brain networks

abstract: Brain-computer interfaces (BCIs) constitute a promising tool for communication and control. However, mastering non-invasive closed-loop systems remains a learned skill that is difficult to develop for a non-negligible proportion of users. The involved learning process induces neural changes associated with a brain network reorganization that remains poorly understood. To address this inter-subject variability, we adopted a multilayer approach to integrate brain network properties from electroencephalographic (EEG) and magnetoencephalographic (MEG) data resulting from a four-session BCI training program followed by a group of healthy subjects. Our method gives access to the contribution of each layer to multilayer network that tends to be equal with time. We show that regardless the chosen modality, a progressive increase in the integration of somatosensory areas in the alpha band was paralleled by a decrease of the integration of visual processing and working memory areas in the beta band. Notably, only brain network properties in multilayer network correlated with future BCI scores in the alpha2 band: positively in somatosensory and decision-making related areas and negatively in associative areas. Our findings cast new light on neural processes underlying BCI training. Integrating multimodal brain network properties provides new information that correlates with behavioral performance and could be considered as a potential marker of BCI learning.


title: Does anatomical contextual information improve 3D U-Net based brain tumor segmentation?

abstract: Effective, robust, and automatic tools for brain tumor segmentation are needed for the extraction of information useful in treatment planning from magnetic resonance (MR) images. Context-aware artificial intelligence is an emerging concept for the development of deep learning applications for computer-aided medical image analysis. In this work, it is investigated whether the addition of contextual information from the brain anatomy in the form of white matter, gray matter, and cerebrospinal fluid masks and probability maps improves U-Net-based brain tumor segmentation. The BraTS2020 dataset was used to train and test two standard 3D U-Net models that, in addition to the conventional MR image modalities, used the anatomical contextual information as extra channels in the form of binary masks (CIM) or probability maps (CIP). A baseline model (BLM) that only used the conventional MR image modalities was also trained. The impact of adding contextual information was investigated in terms of overall segmentation accuracy, model training time, domain generalization, and compensation for fewer MR modalities available for each subject. Results show that there is no statistically significant difference when comparing Dice scores between the baseline model and the contextual information models, even when comparing performances for high- and low-grade tumors independently. Only in the case of compensation for fewer MR modalities available for each subject did the addition of anatomical contextual information significantly improve the segmentation of the whole tumor. Overall, there is no overall significant improvement in segmentation performance when using anatomical contextual information in the form of either binary masks or probability maps as extra channels.


title: The family of quantum droplets keeps expanding

abstract: This is an item in the "View and Perspective" category, which presents a brief overview of particular aspects of the topic of "quantum droplets". It is linked to a new theoretical paper, "Quantum droplets in two-dimensional optical lattices", which will be published in Frontiers of Physics (Ref. [21] in the current preprint).


title: Another Look at Privacy-Preserving Automated Contact Tracing

abstract: In the current COVID-19 pandemic, manual contact tracing has been proven very helpful to reach close contacts of infected users and slow down virus spreading. To improve its scalability, a number of automated contact tracing (ACT) solutions have proposed and some of them have been deployed. Despite the dedicated efforts, security and privacy issues of these solutions are still open and under intensive debate. In this paper, we examine the ACT concept from a broader perspective, by focusing on not only security and privacy issues but also functional issues such as interface, usability and coverage. We first elaborate on these issues and particularly point out the inevitable privacy leakages in existing BLE-based ACT solutions. Then, we propose a venue-based ACT concept, which only monitors users' contacting history in virus-spreading-prone venues and is able to incorporate different location tracking technologies such as BLE and WIFI. Finally, we instantiate the venue-based ACT concept and show that our instantiation can mitigate most of the issues we have identified in our analysis.


title: High-Performance Spectral Element Methods on Field-Programmable Gate Arrays

abstract: Improvements in computer systems have historically relied on two well-known observations: Moore's law and Dennard's scaling. Today, both these observations are ending, forcing computer users, researchers, and practitioners to abandon the general-purpose architectures' comforts in favor of emerging post-Moore systems. Among the most salient of these post-Moore systems is the Field-Programmable Gate Array (FPGA), which strikes a convenient balance between complexity and performance. In this paper, we study modern FPGAs' applicability in accelerating the Spectral Element Method (SEM) core to many computational fluid dynamics (CFD) applications. We design a custom SEM hardware accelerator operating in double-precision that we empirically evaluate on the latest Stratix 10 GX-series FPGAs and position its performance (and power-efficiency) against state-of-the-art systems such as ARM ThunderX2, NVIDIA Pascal/Volta/Ampere Tesla-series cards, and general-purpose manycore CPUs. Finally, we develop a performance model for our SEM-accelerator, which we use to project future FPGAs' performance and role to accelerate CFD applications, ultimately answering the question: what characteristics would a perfect FPGA for CFD applications have?


title: What It Would Take to Use Mutation Testing in Industry--A Study at Facebook

abstract: Traditionally, mutation testing generates an abundance of small deviations of a program, called mutants. At industrial systems the scale and size of Facebook's, doing this is infeasible. We should not create mutants that the test suite would likely fail on or that give no actionable signal to developers. To tackle this problem, in this paper, we semi-automatically learn error-inducing patterns from a corpus of common Java coding errors and from changes that caused operational anomalies at Facebook specifically. We combine the mutations with instrumentation that measures which tests exactly visited the mutated piece of code. Results on more than 15,000 generated mutants show that more than half of the generated mutants survive Facebook's rigorous test suite of unit, integration, and system tests. Moreover, in a case study with 26 developers, all but two found information of automatically detected test holes interesting in principle. As such, almost half of the 26 would actually act on the mutant presented to them by adapting an existing or creating a new test. The others did not for a variety of reasons often outside the scope of mutation testing. It remains a practical challenge how we can include such external information to increase the true actionability rate on mutants.


title: Distribution of Energy-Momentum Tensor around a Static Quark in the Deconfined Phase of SU(3) Yang-Mills Theory

abstract: Energy momentum tensor (EMT) characterizes the response of the vacuum as well as the thermal medium under the color electromagnetic fields. We define the EMT by means of the gradient flow formalism and study its spatial distribution around a static quark in the deconfined phase of SU(3) Yang-Mills theory on the lattice. Although no significant difference can be seen between the EMT distributions in the radial and transverse directions except for the sign, the temporal component is substantially different from the spatial ones near the critical temperature $T_c$. This is in contrast to the prediction of the leading-order thermal perturbation theory. The lattice data of the EMT distribution also indicate the thermal screening at long distance and the perturbative behavior at short distance.


title: Optimization of coupling and global collapse in diffusively coupled socio-ecological resource exploitation networks

abstract: Single- and multi-layer complex networks have been proven as a powerful tool to study the dynamics within social, technological,or natural systems. An often observed common goal there is to optimize these systems for specific purposes by minimizing certain costs while maximizing a desired output. Acknowledging that especially real-world systems from the coupled socio-ecological realm are highly intertwined this work exemplifies that in such systems the optimization of a certain subsystem, e.g., to increase the resilience against external pressure in an ecological network, may unexpectedly diminish the stability of the whole coupled system. For this purpose we utilize an adaptation of a previously proposed conceptual bilayer network model composed of an ecological network of diffusively coupled resources co-evolving with a social network of interacting agents that harvest these resources and learn each other's strategies depending on individual success. We derive an optimal coupling strength that prevents a collapse in as many resources as possible if one assumes that the agents' strategies remain constant over time. However, we then show that if agents socially learn and adapt strategies according to their neighbors' success, this optimal coupling strength is revealed to be a critical parameter above which the probability for a global collapse in terms of irreversibly depleted resources is high -- an effect that we denote the tragedy of the optimizer. We thus find that measures which stabilize the dynamics within a certain part of a larger co-evolutionary system may unexpectedly cause the emergence of novel undesired globally stable states. Our results therefore underline the importance of holistic approaches for managing socio-ecological systems because stabilizing effects which focus on single subsystems may be counter-beneficial for the system as a whole.


title: Domination versus independent domination in regular graphs

abstract: A set $S$ of vertices in a graph $G$ is a dominating set if every vertex of $G$ is in $S$ or is adjacent to a vertex in $S$. If, in addition, $S$ is an independent set, then $S$ is an independent dominating set. The domination number $\gamma(G)$ of $G$ is the minimum cardinality of a dominating set in $G$, while the independent domination number $i(G)$ of $G$ is the minimum cardinality of an independent dominating set in $G$. We prove that for all integers $k \geq 3$ it holds that if $G$ is a connected $k$-regular graph, then $\frac{i(G)}{\gamma(G)} \leq \frac{k}{2}$, with equality if and only if $G = K_{k,k}$. The result was previously known only for $k\leq 6$. This affirmatively answers a recent question of Babikir and Henning.


title: Melody Harmonization Using Orderless NADE, Chord Balancing, and Blocked Gibbs Sampling

abstract: Coherence and interestingness are two criteria for evaluating the performance of melody harmonization, which aims to generate a chord progression from a symbolic melody. In this study, we apply the concept of orderless NADE, which takes the melody and its partially masked chord sequence as the input of the BiLSTM-based networks to learn the masked ground truth, to the training process. In addition, the class weights are used to compensate for some reasonable chord labels that are rarely seen in the training set. Consistent with the stochasticity in training, blocked Gibbs sampling with proper numbers of masking/generating loops is used in the inference phase to progressively trade the coherence of the generated chord sequence off against its interestingness. The experiments were conducted on a dataset of 18,005 melody/chord pairs. Our proposed model outperforms the state-of-the-art system MTHarmonizer in five of six different objective metrics based on chord/melody harmonicity and chord progression. The subjective test results with more than 100 participants also show the superiority of our model.


title: Morphology for Jet Classification

abstract: We introduce a jet tagger based on a neural network analyzing the Minkowski Functionals (MFs) of pixellated jet images. The MFs are geometric measures of binary images, and they can be regarded as a generalization of the particle multiplicity, which is an important quantity in jet tagging. Their changes by dilation encode the jet constituents' geometric structures that appear at various angular scales. We explicitly show that this analysis using the MFs together with mathematical morphology can be considered a constrained convolutional neural network (CNN). Conversely, CNN could model the MFs in a certain limit, and we show their correlation in the example of tagging semi-visible jets emerging from the strong interaction of a hidden valley scenario. The MFs are independent of the IRC-safe observables commonly used in jet physics. We combine this morphological analysis with an IRC-safe relation network which models two-point energy correlations. While the resulting network uses constrained input parameters, it shows comparable dark jet and top jet tagging performances to the CNN. The architecture has significant computational advantages when the available data is limited. We show that its tagging performance is much better than that of the CNN with a small number of training samples. We also qualitatively discuss their parton-shower model dependency. The results suggest that the MFs can be an efficient parameterization of the IRC-unsafe feature space of jets.


title: Percolation and Reynolds flow in elastic contacts of isotropic and anisotropic, randomly rough surface

abstract: In this work, we numerically study the elastic contact between isotropic and anisotropic, rigid, randomly rough surfaces and linearly elastic counterfaces as well as the subsequent Reynolds flow through the gap between the two contacting solids. We find the percolation threshold to depend on the fluid-flow direction when the Peklenik number indicates anisotropy unless the system size clearly exceeds the roll-off wave length parallel to the easy flow direction. A critical contact area near 0.415 is confirmed. Heuristically corrected effective-medium treatments satisfactorily provide Reynolds fluid-flow conductances, e.g., for isotropic roughness, we identify accurate closed-form expressions, which only depend on the mean gap and the relative contact area.


title: Deep reinforced learning enables solving rich discrete-choice life cycle models to analyze social security reforms

abstract: Discrete-choice life cycle models of labor supply can be used to estimate how social security reforms influence employment rate. In a life cycle model, optimal employment choices during the life course of an individual must be solved. Mostly, life cycle models have been solved with dynamic programming, which is not feasible when the state space is large, as often is the case in a realistic life cycle model. Solving a complex life cycle model requires the use of approximate methods, such as reinforced learning algorithms. We compare how well a deep reinforced learning algorithm ACKTR and dynamic programming solve a relatively simple life cycle model. To analyze results, we use a selection of statistics and also compare the resulting optimal employment choices at various states. The statistics demonstrate that ACKTR yields almost as good results as dynamic programming. Qualitatively, dynamic programming yields more spiked aggregate employment profiles than ACKTR. The results obtained with ACKTR provide a good, yet not perfect, approximation to the results of dynamic programming. In addition to the baseline case, we analyze two social security reforms: (1) an increase of retirement age, and (2) universal basic income. Our results suggest that reinforced learning algorithms can be of significant value in developing social security reforms.


title: Scalable Gaussian Process Variational Autoencoders

abstract: Conventional variational autoencoders fail in modeling correlations between data points due to their use of factorized priors. Amortized Gaussian process inference through GP-VAEs has led to significant improvements in this regard, but is still inhibited by the intrinsic complexity of exact GP inference. We improve the scalability of these methods through principled sparse inference approaches. We propose a new scalable GP-VAE model that outperforms existing approaches in terms of runtime and memory footprint, is easy to implement, and allows for joint end-to-end optimization of all components.


title: A note on optimal degree-three spanners of the square lattice

abstract: In this short note, we prove that the degree-three dilation of the square lattice $\mathbb{Z}^2$ is $1+\sqrt{2}$. This disproves a conjecture of Dumitrescu and Ghosh. We give a computer-assisted proof of a local-global property for the uncountable set of geometric graphs achieving the optimal dilation.


title: Testing the Kerr Black Hole Hypothesis with GX 339-4 by a combined analysis of its thermal spectrum and reflection features

abstract: We analyze simultaneous observations with NuSTAR and Swift of the black hole binary GX 339-4 in which we clearly detect both a strong thermal component and prominent relativistic reflection features. We employ NKBB and RELXILL_NK, which are the state of the art of, respectively, the thermal and reflection models to test the Kerr black hole hypothesis. We obtain unprecedented precise measurements of the Johannsen deformation parameter $\alpha_{13}$: $\alpha_{13} = -0.012_{-0.039}^{+0.011}$ (lamppost coronal geometry) and $\alpha_{13} = -0.010_{-0.018}^{+0.024}$ (broken power-law emissivity profile) at a 90% confidence level, where the Kerr metric corresponds to $\alpha_{13} = 0$. We investigate the systematic uncertainties by fitting the data with different models.


title: On the Non-Commuting Graph of the Group $U_{6n}$

abstract: A non-commuting graph of a finite group $G$ is a graph whose vertices are non-central elements of $G$ and two vertices are adjacent if they don't commute in $G$. In this paper, we study the non-commuting graph of the group $U_{6n}$ and explore some of its properties including the independent number, clique and chromatic numbers. Also, the general formula of the resolving polynomial of the non-commuting graph of the group $U_{6n}$ are provided. Furthermore, we find the detour index, eccentric connectivity, total eccentricity and independent polynomials of the graph.


title: Reducing the Computational Cost of Deep Generative Models with Binary Neural Networks

abstract: Deep generative models provide a powerful set of tools to understand real-world data. But as these models improve, they increase in size and complexity, so their computational cost in memory and execution time grows. Using binary weights in neural networks is one method which has shown promise in reducing this cost. However, whether binary neural networks can be used in generative models is an open problem. In this work we show, for the first time, that we can successfully train generative models which utilize binary neural networks. This reduces the computational cost of the models massively. We develop a new class of binary weight normalization, and provide insights for architecture designs of these binarized generative models. We demonstrate that two state-of-the-art deep generative models, the ResNet VAE and Flow++ models, can be binarized effectively using these techniques. We train binary models that achieve loss values close to those of the regular models but are 90%-94% smaller in size, and also allow significant speed-ups in execution time.


title: COL0RME: COvariance-based $\ell_0$ super-Resolution Microscopy with intensity Estimation

abstract: Super-resolution light microscopy overcomes the physical barriers due to light diffraction, allowing for the observation of otherwise indistinguishable subcellular entities. However, the specific acquisition conditions required by state-of-the-art super-resolution methods to achieve adequate spatio-temporal resolution are often very challenging. Exploiting molecules fluctuations allows good spatio-temporal resolution live-cell imaging by means of common microscopes and conventional fluorescent dyes. In this work, we present the method COL0RME for COvariance-based $\ell_0$ super-Resolution Microscopy with intensity Estimation. It codifies the assumption of sparse distribution of the fluorescent molecules as well as the temporal and spatial independence between emitters via a non-convex optimization problem formulated in the covariance domain. In order to deal with real data, the proposed approach also estimates background and noise statistics. It also includes a final estimation step where intensity information is retrieved, which is valuable for biological interpretation and future applications to super-resolution imaging.


title: Pairwise heuristic sequence alignment algorithm based on deep reinforcement learning

abstract: Various methods have been developed to analyze the association between organisms and their genomic sequences. Among them, sequence alignment is the most frequently used for comparative analysis of biological genomes. However, the traditional sequence alignment method is considerably complicated in proportion to the sequences' length, and it is significantly challenging to align long sequences such as a human genome. Currently, several multiple sequence alignment algorithms are available that can reduce the complexity and improve the alignment performance of various genomes. However, there have been relatively fewer attempts to improve the alignment performance of the pairwise alignment algorithm. After grasping these problems, we intend to propose a new sequence alignment method using deep reinforcement learning. This research shows the application method of the deep reinforcement learning to the sequence alignment system and the way how the deep reinforcement learning can improve the conventional sequence alignment method.


title: Well-Balanced and Asymptotic Preserving IMEX-Peer Methods

abstract: Peer methods are a comprehensive class of time integrators offering numerous degrees of freedom in their coefficient matrices that can be used to ensure advantageous properties, e.g. A-stability or super-convergence. In this paper, we show that implicit-explicit (IMEX) Peer methods are well-balanced and asymptotic preserving by construction without additional constraints on the coefficients. These properties are relevant when solving (the space discretisation of) hyperbolic systems of balance laws, for example. Numerical examples confirm the theoretical results and illustrate the potential of IMEX-Peer methods.


title: Effective Quantum Dust Collapse via Surface Matching

abstract: The fate of matter forming a black hole is still an open problem, although models of quantum gravity corrected black holes are available. In loop quantum gravity (LQG) models were presented, which resolve the classical singularity in the centre of the black hole by means of a black-to-white hole transition, but neglect the collapse process. The situation is similar in other quantum gravity approaches, where eternal non-singular models are available. In this paper, a strategy is presented to generalise these eternal models to dynamical collapse models by surface matching. Assuming 1) the validity of a static quantum black hole spacetime outside the collapsing matter, 2) homogeneity of the collapsing matter, and 3) differentiability at the surface of the matter fixes the dynamics of the spacetime uniquely. It is argued that these assumptions resemble a collapse of pressure-less dust and thus generalises the Oppenheimer-Snyder-Datt model, although no precise model of the matter has to be assumed. Hawking radiation is systematically neglected in this approach. The junction conditions and the spacetime dynamics are discussed generically for bouncing black hole spacetimes, as proposed by LQG, although the scheme is approach independent. Further, the equations are explicitly solved for the recent model [1] and a global spacetime picture of the collapse is achieved. The causal structure is discussed in detail and the Penrose diagram is constructed. The trajectory of the collapsing matter is completely constructed from an inside and outside observer point of view. The general analysis shows that the matter is collapsing and re-expanding and crosses the Penrose diagram diagonally. This way the infinite tower of Penrose diagrams, as proposed by several LQG models, is generically not cut out. Questions about different timescales of the collapse for in- and outside observers can be answered.


title: Application of Deep Learning to Sphere Decoding for Large MIMO Systems

abstract: Although the sphere decoder (SD) is a powerful detector for multiple-input multiple-output (MIMO) systems, it has become computationally prohibitive in massive MIMO systems, where a large number of antennas are employed. To overcome this challenge, we propose fast deep learning (DL)-aided SD (FDL-SD) and fast DL-aided $K$-best SD (KSD, FDL-KSD) algorithms. Therein, the major application of DL is to generate a highly reliable initial candidate to accelerate the search in SD and KSD in conjunction with candidate/layer ordering and early rejection. Compared to existing DL-aided SD schemes, our proposed schemes are more advantageous in both offline training and online application phases. Specifically, unlike existing DL-aided SD schemes, they do not require performing the conventional SD in the training phase. For a $24 \times 24$ MIMO system with QPSK, the proposed FDL-SD achieves a complexity reduction of more than $90\%$ without any performance loss compared to conventional SD schemes. For a $32 \times 32$ MIMO system with QPSK, the proposed FDL-KSD only requires $K = 32$ to attain the performance of the conventional KSD with $K=256$, where $K$ is the number of survival paths in KSD. This implies a dramatic improvement in the performance--complexity tradeoff of the proposed FDL-KSD scheme.


title: Understanding understanding: a renormalization group inspired model of (artificial) intelligence

abstract: This paper is about the meaning of understanding in scientific and in artificial intelligent systems. We give a mathematical definition of the understanding, where, contrary to the common wisdom, we define the probability space on the input set, and we treat the transformation made by an intelligent actor not as a loss of information, but instead a reorganization of the information in the framework of a new coordinate system. We introduce, following the ideas of physical renormalization group, the notions of relevant and irrelevant parameters, and discuss, how the different AI tasks can be interpreted along these concepts, and how the process of learning can be described. We show, how scientific understanding fits into this framework, and demonstrate, what is the difference between a scientific task and pattern recognition. We also introduce a measure of relevance, which is useful for performing lossy compression.


title: High Acceleration Reinforcement Learning for Real-World Juggling with Binary Rewards

abstract: Robots that can learn in the physical world will be important to en-able robots to escape their stiff and pre-programmed movements. For dynamic high-acceleration tasks, such as juggling, learning in the real-world is particularly challenging as one must push the limits of the robot and its actuation without harming the system, amplifying the necessity of sample efficiency and safety for robot learning algorithms. In contrast to prior work which mainly focuses on the learning algorithm, we propose a learning system, that directly incorporates these requirements in the design of the policy representation, initialization, and optimization. We demonstrate that this system enables the high-speed Barrett WAM manipulator to learn juggling two balls from 56 minutes of experience with a binary reward signal. The final policy juggles continuously for up to 33 minutes or about 4500 repeated catches. The videos documenting the learning process and the evaluation can be found at https://sites.google.com/view/jugglingbot


title: VoteNet++: Registration Refinement for Multi-Atlas Segmentation

abstract: Multi-atlas segmentation (MAS) is a popular image segmentation technique for medical images. In this work, we improve the performance of MAS by correcting registration errors before label fusion. Specifically, we use a volumetric displacement field to refine registrations based on image anatomical appearance and predicted labels. We show the influence of the initial spatial alignment as well as the beneficial effect of using label information for MAS performance. Experiments demonstrate that the proposed refinement approach improves MAS performance on a 3D magnetic resonance dataset of the knee.


title: Pulay forces in density-functional theory with extended Hubbard functionals: From nonorthogonalized to orthogonalized manifolds

abstract: We present a derivation of the exact expression for Pulay forces in density-functional theory calculations augmented with extended Hubbard functionals, and arising from the use of orthogonalized atomic orbitals as projectors for the Hubbard manifold. The derivative of the inverse square root of the orbital overlap matrix is obtained as a closed-form solution of the associated Lyapunov (Sylvester) equation. The expression for the resulting contribution to the forces is presented in the framework of ultrasoft pseudopotentials and the projector-augmented-wave method, and using a plane wave basis set. We have benchmarked the present implementation with respect to finite differences of total energies for the case of NiO, finding excellent agreement. Owing to the accuracy of Hubbard-corrected density-functional theory calculations - provided the Hubbard parameters are computed for the manifold under consideration - the present work paves the way for systematic studies of solid-state and molecular transition-metal and rare-earth compounds.


title: Adaptive Optimal Trajectory Tracking Control Applied to a Large-Scale Ball-on-Plate System

abstract: While many theoretical works concerning Adaptive Dynamic Programming (ADP) have been proposed, application results are scarce. Therefore, we design an ADP-based optimal trajectory tracking controller and apply it to a large-scale ball-on-plate system. Our proposed method incorporates an approximated reference trajectory instead of using setpoint tracking and allows to automatically compensate for constant offset terms. Due to the off-policy characteristics of the algorithm, the method requires only a small amount of measured data to train the controller. Our experimental results show that this tracking mechanism significantly reduces the control cost compared to setpoint controllers. Furthermore, a comparison with a model-based optimal controller highlights the benefits of our model-free data-based ADP tracking controller, where no system model and manual tuning are required but the controller is tuned automatically using measured data.


title: $\beta$-decay rates of $^{(115,117)}$Rh into $^{(115,117)}$Pd isotopes in the microscopic IBFM-2

abstract: The structure of odd-$A$ $^{(115,117)}$Rh and $^{(115,117)}$Pd isotopes is studied by means of the neutron-proton Interacting Boson-Fermion Model (IBFM-2). $J^P = \frac{1}{2}^+$ quantum number assignment for the $^{(115,117)}$Pd ground-states is critically discussed and the predicted energy levels are compared to the existing experimental data. The resulting nuclear wave functions are used to compute the $\beta$-decay $ft$ values of the transitions from $^{(115,117)}$Rh to $^{(115,117)}$Pd in the microscopic IBFM-2 and the results compared with the data.


title: Kinetic and Chemical Equilibration of Quark-Gluon Plasma

abstract: We solve a leading-order QCD kinetic theory with light quarks and gluon degrees of freedom to study the non-equilibrium dynamics of the quark-gluon plasma (QGP). By including both elastic and inelastic scatterings for quarks and gluon, the model is proficient to describe kinetic and chemical equilibration of the QGP, and thus connects the initial (semi-) hard production of partons at early times with the hydrodynamic description of a near-thermalized quark-gluon plasma after the first fm/c of the collision. Within this approach, we investigate the time scales and mechanisms for kinetic and chemical equilibration of the QGP at zero and non-zero net-baryon density and elaborate on the connections to jet quenching physics and hydrodynamics.


title: Upper bound on the number of extensions of a given number field

abstract: In this paper we improve the upper bound of the number $N_{K, n}(X)$ of degree $n$ extensions of a number field $K$ with absolute discriminant bounded by $X$. This is achieved by giving a short $\mathcal{O}_K$-basis of an order of an extension $L$ of $K$. Our result generalizes the best known upper bound on $N_{\mathbb{Q}, n}(X)$ by Lemke Oliver and Thorne to all number fields $K$. Precisely, we prove that $N_{K, n}(X) \ll_{K, n} X^{c (\log n)^2}$ for an explicit constant $c$ independent on $K$ and $n$. We also improve the upper bound of the number of maximal arithmetic subgroups in certain connected semisimple Lie groups.


title: Learning Fast Approximations of Sparse Nonlinear Regression

abstract: The idea of unfolding iterative algorithms as deep neural networks has been widely applied in solving sparse coding problems, providing both solid theoretical analysis in convergence rate and superior empirical performance. However, for sparse nonlinear regression problems, a similar idea is rarely exploited due to the complexity of nonlinearity. In this work, we bridge this gap by introducing the Nonlinear Learned Iterative Shrinkage Thresholding Algorithm (NLISTA), which can attain a linear convergence under suitable conditions. Experiments on synthetic data corroborate our theoretical results and show our method outperforms state-of-the-art methods.


title: Query Complexity of k-NN based Mode Estimation

abstract: Motivated by the mode estimation problem of an unknown multivariate probability density function, we study the problem of identifying the point with the minimum k-th nearest neighbor distance for a given dataset of n points. We study the case where the pairwise distances are apriori unknown, but we have access to an oracle which we can query to get noisy information about the distance between any pair of points. For two natural oracle models, we design a sequential learning algorithm, based on the idea of confidence intervals, which adaptively decides which queries to send to the oracle and is able to correctly solve the problem with high probability. We derive instance-dependent upper bounds on the query complexity of our proposed scheme and also demonstrate significant improvement over the performance of other baselines via extensive numerical evaluations.


title: Di-lepton production from a single photon in strong magnetic fields: Vacuum dichroism

abstract: We study di-lepton production from a single photon in the presence of a strong constant magnetic field. By the use of the Ritus-basis formalism, we analytically evaluate the photon--to--di-lepton conversion vertex with fully taking into account the non-perturbative interactions between the produced fermions and the strong magnetic field. We show that the di-lepton spectrum becomes anisotropic with respect to the magnetic-field direction and depends on the photon polarization as a manifestation of the vacuum dichroism in a strong magnetic field. According to the energy conservation in the presence of the Landau quantization, not only the transverse momentum of the produced fermions but also the longitudinal momentum is discretized, and the di-lepton spectrum exhibits spike structures as functions of the incident photon energy and the magnetic field strength. We also show that the di-lepton production is strictly prohibited for massless fermions in the lowest Landau levels as an analogue of the so-called helicity suppression.


title: Enhancement of the optomechanical coupling and Kerr nonlinearity using the Josephson Capacitance of Cooper-pair box

abstract: We propose a scheme for enhancing the optomechanical coupling between microwave and mechanical resonators by up to seven orders of magnitude to the ultrastrong coupling limit in a circuit optomechanical setting. The tripartite system considered here consists of a Josephson junction Cooper-pair box that mediates the coupling between the microwave cavity and the mechanical resonator. The optomechanical coupling can be modified by tuning the gate charge and the magnetic flux bias of the Cooper-pair box which in turn affect the Josephson capacitance of the Cooper-pair box. We additionally show that with suitable choice of tuning parameters, the optomechanical coupling vanishes and the system exhibits purely a cross-Kerr type of nonlinearity between the cavity and the mechanical resonator. This allows the system to be used for phonon counting.


title: One-vs.-One Mitigation of Intersectional Bias: A General Method to Extend Fairness-Aware Binary Classification

abstract: With the widespread adoption of machine learning in the real world, the impact of the discriminatory bias has attracted attention. In recent years, various methods to mitigate the bias have been proposed. However, most of them have not considered intersectional bias, which brings unfair situations where people belonging to specific subgroups of a protected group are treated worse when multiple sensitive attributes are taken into consideration. To mitigate this bias, in this paper, we propose a method called One-vs.-One Mitigation by applying a process of comparison between each pair of subgroups related to sensitive attributes to the fairness-aware machine learning for binary classification. We compare our method and the conventional fairness-aware binary classification methods in comprehensive settings using three approaches (pre-processing, in-processing, and post-processing), six metrics (the ratio and difference of demographic parity, equalized odds, and equal opportunity), and two real-world datasets (Adult and COMPAS). As a result, our method mitigates the intersectional bias much better than conventional methods in all the settings. With the result, we open up the potential of fairness-aware binary classification for solving more realistic problems occurring when there are multiple sensitive attributes.


title: Mimetic Inflation

abstract: We study inflationary solution in an extension of mimetic gravity with the higher derivative interactions coupled to gravity. Because of the higher derivative interactions, the setup is free from the ghost and gradient instabilities while it hosts a number of novel properties. The dispersion relation of scalar perturbations develops quartic momentum correction similar to the setup of ghost inflation. Furthermore, the tilt of tensor perturbations can take either signs with a modified consistency relation between the tilt and the amplitude of tensor perturbations. Despite the presence of higher derivative interactions coupled to gravity, the tensor perturbations propagate with a speed equal to the speed of light as required by the LIGO observations. Furthermore, the higher derivative interactions induce non-trivial interactions in cubic Hamiltonian, generating non-Gaussianities in various shapes such as the equilateral, orthogonal, and squeezed configurations with observable amplitudes.


title: Unsupervised discovery of interpretable hyperelastic constitutive laws

abstract: We propose a new approach for data-driven automated discovery of isotropic hyperelastic constitutive laws. The approach is unsupervised, i.e., it requires no stress data but only displacement and global force data, which are realistically available through mechanical testing and digital image correlation techniques; it delivers interpretable models, i.e., models that are embodied by parsimonious mathematical expressions discovered through sparse regression of a large catalogue of candidate functions; it is one-shot, i.e., discovery only needs one experiment - but can use more if available. The problem of unsupervised discovery is solved by enforcing equilibrium constraints in the bulk and at the loaded boundary of the domain. Sparsity of the solution is achieved by l_p regularization combined with thresholding, which calls for a non-linear optimization scheme. The ensuing fully automated algorithm leverages physics-based constraints for the automatic determination of the penalty parameter in the regularization term. Using numerically generated data including artificial noise, we demonstrate the ability of the approach to accurately discover five hyperelastic models of different complexity. We also show that, if a "true" feature is missing in the function library, the proposed approach is able to surrogate it in such a way that the actual response is still accurately predicted.


title: Jump diffusion approximation for the price dynamics of a fully state dependent limit order book model

abstract: We study a microscopic limit order book model, in which the order dynamics depend on the current best bid and ask price and the current volume density functions, simultaneously, and derive its macroscopic high-frequency dynamics. As opposed to the existing literature on scaling limits for limit order book models, we include price changes which do not scale with the tick size in our model to account for large price movement, being for example triggered by highly unforeseen events. Our main result states that, when the size of an individual limit order and the tick size tend to zero while the order arrival rate tends to infinity, the microscopic limit order book model dynamics converge to two one-dimensional jump diffusion processes describing the prices coupled with two infinite dimensional fluid processes describing the standing volumes at the buy and sell side.


title: Scalable Bayesian neural networks by layer-wise input augmentation

abstract: We introduce implicit Bayesian neural networks, a simple and scalable approach for uncertainty representation in deep learning. Standard Bayesian approach to deep learning requires the impractical inference of the posterior distribution over millions of parameters. Instead, we propose to induce a distribution that captures the uncertainty over neural networks by augmenting each layer's inputs with latent variables. We present appropriate input distributions and demonstrate state-of-the-art performance in terms of calibration, robustness and uncertainty characterisation over large-scale, multi-million parameter image classification tasks.


title: Optimization for Medical Image Segmentation: Theory and Practice when evaluating with Dice Score or Jaccard Index

abstract: In many medical imaging and classical computer vision tasks, the Dice score and Jaccard index are used to evaluate the segmentation performance. Despite the existence and great empirical success of metric-sensitive losses, i.e. relaxations of these metrics such as soft Dice, soft Jaccard and Lovasz-Softmax, many researchers still use per-pixel losses, such as (weighted) cross-entropy to train CNNs for segmentation. Therefore, the target metric is in many cases not directly optimized. We investigate from a theoretical perspective, the relation within the group of metric-sensitive loss functions and question the existence of an optimal weighting scheme for weighted cross-entropy to optimize the Dice score and Jaccard index at test time. We find that the Dice score and Jaccard index approximate each other relatively and absolutely, but we find no such approximation for a weighted Hamming similarity. For the Tversky loss, the approximation gets monotonically worse when deviating from the trivial weight setting where soft Tversky equals soft Dice. We verify these results empirically in an extensive validation on six medical segmentation tasks and can confirm that metric-sensitive losses are superior to cross-entropy based loss functions in case of evaluation with Dice Score or Jaccard Index. This further holds in a multi-class setting, and across different object sizes and foreground/background ratios. These results encourage a wider adoption of metric-sensitive loss functions for medical segmentation tasks where the performance measure of interest is the Dice score or Jaccard index.


title: Activation Map Adaptation for Effective Knowledge Distillation

abstract: Model compression becomes a recent trend due to the requirement of deploying neural networks on embedded and mobile devices. Hence, both accuracy and efficiency are of critical importance. To explore a balance between them, a knowledge distillation strategy is proposed for general visual representation learning. It utilizes our well-designed activation map adaptive module to replace some blocks of the teacher network, exploring the most appropriate supervisory features adaptively during the training process. Using the teacher's hidden layer output to prompt the student network to train so as to transfer effective semantic information.To verify the effectiveness of our strategy, this paper applied our method to cifar-10 dataset. Results demonstrate that the method can boost the accuracy of the student network by 0.6% with 6.5% loss reduction, and significantly improve its training speed.


title: Hierarchical Neural Architecture Search for Deep Stereo Matching

abstract: To reduce the human efforts in neural network design, Neural Architecture Search (NAS) has been applied with remarkable success to various high-level vision tasks such as classification and semantic segmentation. The underlying idea for the NAS algorithm is straightforward, namely, to enable the network the ability to choose among a set of operations (e.g., convolution with different filter sizes), one is able to find an optimal architecture that is better adapted to the problem at hand. However, so far the success of NAS has not been enjoyed by low-level geometric vision tasks such as stereo matching. This is partly due to the fact that state-of-the-art deep stereo matching networks, designed by humans, are already sheer in size. Directly applying the NAS to such massive structures is computationally prohibitive based on the currently available mainstream computing resources. In this paper, we propose the first end-to-end hierarchical NAS framework for deep stereo matching by incorporating task-specific human knowledge into the neural architecture search framework. Specifically, following the gold standard pipeline for deep stereo matching (i.e., feature extraction -- feature volume construction and dense matching), we optimize the architectures of the entire pipeline jointly. Extensive experiments show that our searched network outperforms all state-of-the-art deep stereo matching architectures and is ranked at the top 1 accuracy on KITTI stereo 2012, 2015 and Middlebury benchmarks, as well as the top 1 on SceneFlow dataset with a substantial improvement on the size of the network and the speed of inference. The code is available at https://github.com/XuelianCheng/LEAStereo.


title: Optical properties of yttrium oxyhydrides: A comparative analysis with experiment

abstract: Based on the results of computational simulations, the research addresses a broad range of electronic and optical properties which are typical for two most stable compositions of the yttrium oxyhydride, Y4H10O and YHO. Emphasis was placed on characteristics of thin films of different structural phases. Macroscopic optical properties were deduced and analyzed within the conventional scheme that utilizes the knowledge of refractive index, absorption, transmittance and reflectance spectra. Our major goal was two-fold: First, to provide modeling and description of optical spectra for various single- and bi-phase oxyhydride compositions, and second, to conduct comparative analysis that would be powerful enough to explain the features of the experimentally measured transmittance spectra. In the context of nonlinear optics, for the P-43m noncentrosymmetric cubic structure of Y4H10O we evaluated a frequency profile of the second-order susceptibility ${\chi}^{(2)}(2\omega)$ and showed that the bulk Y4H10O may exhibit a rather considerable optical nonlinearity.


title: The role of the magnetic field in the fragmentation process: the case of G14.225-0.506

abstract: B-fields are predicted to play a role in the formation of filamentary structures and their fragmentation process. We aim at investigating the role of the B-field in the process of core fragmentation toward the hub-filament systems in the IRDC G14.2, which present different fragmentation level. We performed observations of the thermal dust polarization at 350 {\mu}m using the CSO toward the hubs. We applied the polarization--intensity-gradient method to estimate the significance of the B-field over the G-force. The B-field in Hub-N shows a uniform structure along the E-W orientation, perpendicular to the major axis of the hub-filament system. The I-gradient in Hub-N displays a local minimum coinciding with the dust core MM1a detected with interferometric observations. The B-field orientation is perturbed when approaching the dust core. Hub-S shows 2 local minima, reflecting the bimodal distribution of the B-field. In Hub-N, both E and W of the hub-filament system, the I-gradient and the B-field are parallel whereas they tend to be perpendicular when penetrating the filaments and hub. The analysis of the {\delta}- and {\Sigma} B-maps indicate that, the B-field cannot prevent the collapse, suggesting that the B-field is initially dragged by the infalling motion and aligned with it, or is channeling material toward the central ridge from both sides. Values of {\Sigma} B > 1 are found toward a N-S ridge encompassing the dust emission peak, indicating that in this region B-field dominates over G-force, or that with the current angular resolution we cannot resolve an hypothetical more complex structure. We estimated the B-field strength, the MtF ratio and the A-M number, and found differences between the 2 hubs. The different levels of fragmentation observed in these 2 hubs could arise from the differences in the B-field properties rather than from different intensity of the G-field.


title: Probing Oscillons of Ultra-Light Axion-like Particle by 21cm Forest

abstract: Ultra-Light Axion-like Particle (ULAP) is motivated as one of the solutions to the small scale problems in astrophysics. When such a scalar particle oscillates with an $\mathcal{O}(1)$ amplitude in a potential shallower than quadratic, it can form a localized dense object, oscillon. Because of its longevity due to the approximate conservation of the adiabatic invariant, it can survive up to the recent universe as redshift $z \sim \mathcal{O}(10)$. The scale affected by these oscillons is determined by the ULAP mass $m$ and detectable by observations of 21cm line. In this paper, we examine the possibility to detect ULAP by 21cm line and find that the oscillon can enhance the signals of 21cm line observations when $m \lesssim 10^{-19}\ {\rm eV}$ and the fraction of ULAP to dark matter is much larger than $10^{-2}$ depending on the form of the potential.


title: A measure concentration effect for matrices of high, higher, and even higher dimension

abstract: Let $n>m$, and let $A$ be an $(m\times n)$-matrix of full rank. Then obviously the estimate $\|Ax\|\leq\|A\|\|x\|$ holds for the euclidean norm of $x$ and $Ax$ and the spectral norm as the assigned matrix norm. We study the sets of all $x$ for which, for fixed $\delta<1$, conversely $\|Ax\|\geq\delta\,\|A\|\|x\|$ holds. It turns out that these sets fill, in the high-dimensional case, almost the complete space once $\delta$ falls below a bound that depends on the extremal singular values of $A$ and on the ratio of the dimensions. This effect has much to do with the random projection theorem, which plays an important role in the data sciences. As a byproduct, we calculate the probabilities this theorem deals with exactly.


title: Driving bifurcating parametrized nonlinear PDEs by optimal control strategies: application to Navier-Stokes equations with model order reduction

abstract: This work deals with optimal control problems as a strategy to drive bifurcating solution of nonlinear parametrized partial differential equations towards a desired branch. Indeed, for these governing equations, multiple solution configurations can arise from the same parametric instance. We thus aim at describing how optimal control allows to change the solution profile and the stability of state solution branches. First of all, a general framework for nonlinear optimal control problem is presented in order to reconstruct each branch of optimal solutions, discussing in detail the stability properties of the obtained controlled solutions. Then, we apply the proposed framework to several optimal control problems governed by bifurcating Navier-Stokes equations in a sudden-expansion channel, describing the qualitative and quantitative effect of the control over a pitchfork bifurcation, and commenting in detail the stability eigenvalue analysis of the controlled state. Finally, we propose reduced order modeling as a tool to efficiently and reliably solve parametric stability analysis of such optimal control systems, which can be challenging to perform with standard discretization techniques such as Finite Element Method.


title: Transition Temperature of Superconductivity in Sodium Tungsten Bronze -Theoretical Study Based on First-principles Calculations-

abstract: Using first-principles calculations, we examine the transition temperature $T_{\rm c}$ of superconductivity in sodium tungsten bronze ( Na$_x$WO$_3$, where $x$ is equal to or less than unity ). Although $T_{\rm c}$ is relatively low $T_{\rm c}( <\sim 3 {\rm K})$, it is interesting that its characteristic exponential dependence on $x$ has been experimentally observed at $\sim 0.2 < x < \sim 0.4$. On the basis of the McMillan equation for $T_{\rm c}$ including the effect of plasmons, we succeed in reproducing the absolute values of $T_{\rm c}$ and its $x$ dependence. We also find that the plasmon effect is crucial for the estimation of $T_{\rm c}$ as well as phonons. Since the calculated $T_{\rm c}$ may not exceed $\sim 20$ K even for $x <\sim 0.1$, the superconductivity at a low $T_{\rm c}$ can be interpreted by the usual phonon mechanism, including the plasmon effect. On the other hand, a high $T_{\rm c}$ up to about 90 K, which is found on the surface of a Na$_x$WO$_3$ system at $x\sim 0.05$ by recent experiments, cannot be explained by our results. This discrepancy suggests that another mechanism is required to clarify the nature of the high-$T_{\rm c}$ superconductivity of Na$_x$WO$_3$.


title: SHARP 2020: The 1st Shape Recovery from Partial Textured 3D Scans Challenge Results

abstract: The SHApe Recovery from Partial textured 3D scans challenge, SHARP 2020, is the first edition of a challenge fostering and benchmarking methods for recovering complete textured 3D scans from raw incomplete data. SHARP 2020 is organised as a workshop in conjunction with ECCV 2020. There are two complementary challenges, the first one on 3D human scans, and the second one on generic objects. Challenge 1 is further split into two tracks, focusing, first, on large body and clothing regions, and, second, on fine body details. A novel evaluation metric is proposed to quantify jointly the shape reconstruction, the texture reconstruction and the amount of completed data. Additionally, two unique datasets of 3D scans are proposed, to provide raw ground-truth data for the benchmarks. The datasets are released to the scientific community. Moreover, an accompanying custom library of software routines is also released to the scientific community. It allows for processing 3D scans, generating partial data and performing the evaluation. Results of the competition, analysed in comparison to baselines, show the validity of the proposed evaluation metrics, and highlight the challenging aspects of the task and of the datasets. Details on the SHARP 2020 challenge can be found at https://cvi2.uni.lu/sharp2020/.


title: Unleashing the Potential of Networked Tethered Flying Platforms for B5G/6G: Prospects, Challenges, and Applications

abstract: Researchers are currently speculating about what the role of beyond fifth-generation (B5G) or sixth generation (6G) wireless systems will be. Several use cases and applications are proposed, ranging from enhanced mobile broadband communications and massive ultra-reliable low-latency Communication to holographic telepresence and tactile communications. One crucial and pivotal prospect of 6G is worldwide connectivity. Today, nearly 4 billion people do not have access to an internet connection. 6G not only intends to hyper-connect the already connected, but to bridge the digital divide by connecting the unconnected. For that purpose, 6G architectures will integrate airborne communications as they are considered key enablers for the next generation of wireless systems. Airborne communications can be done via free-flying platforms and tethered flying platforms. Free-flying platforms, such as unmanned aerial vehicles (UAVs) and high-altitude platforms (HAPs) have received great interest during the last decade. However, they lack endurance and backhaul capacity. Networked Tethered Flying Platforms (NTFPs), on the other hand, are enjoying the benefits of free-flying platforms while overcoming their limitations by providing a continuous supply of power and data via the tether. They are also cost-efficient and have good green credentials. Tether platforms have a wide range of applications beyond communications, such as energy harvesting, entertainment, science, research, public safety, disaster relief, government, and defense. In this survey paper, we intend to provide an extensive and comprehensive overview of NTFPs.


title: Optical Excitations with Electron Beams: Challenges and Opportunities

abstract: Free electron beams such as those employed in electron microscopes have evolved into powerful tools to investigate photonic nanostructures with an unrivaled combination of spatial and spectral precision through the analysis of electron energy losses and cathodoluminescence light emission. In combination with ultrafast optics, the emerging field of ultrafast electron microscopy utilizes synchronized femtosecond electron and light pulses that are aimed at the sampled structures, holding the promise to bring simultaneous sub-Angstrom--sub-fs--sub-meV space-time-energy resolution to the study of material and optical-field dynamics. In addition, these advances enable the manipulation of the wave function of individual free electrons in unprecedented ways, opening sound prospects to probe and control quantum excitations at the nanoscale. Here, we provide an overview of photonics research based on free electrons, supplemented by original theoretical insights, and discussion of challenges and opportunities. In particular, we show that the excitation probability by a single electron is independent of its wave function, apart from a classical average over the transverse beam density profile, whereas the probability for two or more modulated electrons depends on their relative spatial arrangement, thus reflecting the quantum nature of their interactions. We derive first-principles analytical expressions that embody these results and have general validity for arbitrarily shaped electrons and any type of electron-sample interaction. We conclude with perspectives on various exciting directions for disruptive approaches to non-invasive spectroscopy and microscopy, the possibility of sampling the nonlinear optical response at the nanoscale, the manipulation of the density matrices associated with free electrons and optical sample modes, and applications in optical modulation of electron beams.


title: Efficient Optimization Methods for Extreme Similarity Learning with Nonlinear Embeddings

abstract: We study the problem of learning similarity by using nonlinear embedding models (e.g., neural networks) from all possible pairs. This problem is well-known for its difficulty of training with the extreme number of pairs. For the special case of using linear embeddings, many studies have addressed this issue of handling all pairs by considering certain loss functions and developing efficient optimization algorithms. This paper aims to extend results for general nonlinear embeddings. First, we finish detailed derivations and provide clean formulations for efficiently calculating some building blocks of optimization algorithms such as function, gradient evaluation, and Hessian-vector product. The result enables the use of many optimization methods for extreme similarity learning with nonlinear embeddings. Second, we study some optimization methods in detail. Due to the use of nonlinear embeddings, implementation issues different from linear cases are addressed. In the end, some methods are shown to be highly efficient for extreme similarity learning with nonlinear embeddings.


title: Spin Insulatronics

abstract: Spin insulatronics covers efforts to generate, detect, control, and utilize high-fidelity pure spin currents and excitations inside magnetic insulators. Ultimately, the new findings may open doors for pure spin-based information and communication technologies. The aim is to replace moving charges with dynamical entities that utilize low-dissipation coherent and incoherent spin excitations in antiferromagnetic and ferromagnetic insulators. The ambition is that the new pure spin-based system will suffer reduced energy losses and operate at high frequencies. In magnetic insulators, there are no mobile charge carriers that can dissipate energy. Integration with conventional electronics is possible via interface exchange interactions and spin-orbit couplings. In this way, the free electrons in the metals couple to the localized spins in the magnetic insulators. In turn, these links facilitate spin-transfer torques and spin-orbit torques across metal-insulator interfaces and the associated phenomena of spin-pumping and charge-pumping. The interface couplings also connect the electron motion inside the metals with the spin fluctuations inside the magnetic insulators. These features imply that the system can enable unprecedented control of correlations resulting from the electron-magnon interactions. We review recent developments to realize electric and thermal generation, manipulation, detection, and control of pure spin information in insulators.


title: Textbook efficiency: massively parallel matrix-free multigrid for the Stokes system

abstract: We employ textbook multigrid efficiency (TME), as introduced by Achi Brandt, to construct an asymptotically optimal monolithic multigrid solver for the Stokes system. The geometric multigrid solver builds upon the concept of hierarchical hybrid grids (HHG), which is extended to higher-order finite-element discretizations, and a corresponding matrix-free implementation. The computational cost of the full multigrid (FMG) iteration is quantified, and the solver is applied to multiple benchmark problems. Through a parameter study, we suggest configurations that achieve TME for both, stabilized equal-order, and Taylor-Hood discretizations. The excellent node-level performance of the relevant compute kernels is presented via a roofline analysis. Finally, we demonstrate the weak and strong scalability to up to $147,456$ parallel processes and solve Stokes systems with more than $3.6 \times 10^{12}$ (trillion) unknowns.


title: Delta-STN: Efficient Bilevel Optimization for Neural Networks using Structured Response Jacobians

abstract: Hyperparameter optimization of neural networks can be elegantly formulated as a bilevel optimization problem. While research on bilevel optimization of neural networks has been dominated by implicit differentiation and unrolling, hypernetworks such as Self-Tuning Networks (STNs) have recently gained traction due to their ability to amortize the optimization of the inner objective. In this paper, we diagnose several subtle pathologies in the training of STNs. Based on these observations, we propose the $\Delta$-STN, an improved hypernetwork architecture which stabilizes training and optimizes hyperparameters much more efficiently than STNs. The key idea is to focus on accurately approximating the best-response Jacobian rather than the full best-response function; we achieve this by reparameterizing the hypernetwork and linearizing the network around the current parameters. We demonstrate empirically that our $\Delta$-STN can tune regularization hyperparameters (e.g. weight decay, dropout, number of cutout holes) with higher accuracy, faster convergence, and improved stability compared to existing approaches.


title: Syllabification of the Divine Comedy

abstract: We provide a syllabification algorithm for the Divine Comedy using techniques from probabilistic and constraint programming. We particularly focus on the synalephe, addressed in terms of the "propensity" of a word to take part in a synalephe with adjacent words. We jointly provide an online vocabulary containing, for each word, information about its syllabification, the location of the tonic accent, and the aforementioned synalephe propensity, on the left and right sides. The algorithm is intrinsically nondeterministic, producing different possible syllabifications for each verse, with different likelihoods; metric constraints relative to accents on the 10th, 4th and 6th syllables are used to further reduce the solution space. The most likely syllabification is hence returned as output. We believe that this work could be a major milestone for a lot of different investigations. From the point of view of digital humanities it opens new perspectives on computer assisted analysis of digital sources, comprising automated detection of anomalous and problematic cases, metric clustering of verses and their categorization, or more foundational investigations addressing e.g. the phonetic roles of consonants and vowels. From the point of view of text processing and deep learning, information about syllabification and the location of accents opens a wide range of exciting perspectives, from the possibility of automatic learning syllabification of words and verses, to the improvement of generative models, aware of metric issues, and more respectful of the expected musicality.


title: Operational experience and evolution of the ATLAS Tile Hadronic Calorimeter Read-Out Drivers

abstract: TileCal is the central hadronic calorimeter of the ATLAS experiment at the Large Hadron Collider (LHC). It is a sampling detector where scintillating tiles are embedded in steel absorber plates. The tiles are grouped forming cells, which are read-out on both sides by photomultiplier tubes (PMTs). The PMT digital samples are transmitted to the Read-Out Drivers (ROD) located in the back-end system for the events accepted by the Level 1 trigger system. The ROD is the core element of the back-end electronics and it represents the interface between the front-end electronics and the ATLAS overall Data AcQuisition (DAQ) system. It is responsible for energy and time reconstruction, trigger and data synchronization, busy handling, data integrity checking and lossless data compression. The TileCal ROD is a standard 9U VME board equipped with DSP based Processing Units mezzanine cards. A total of 32 ROD modules are required to read-out the entire TileCal detector. Each ROD module has to process the data from up to 360 PMTs in real time in less than 10 microseconds. The commissioning of the RODs was completed in 2008 before the first LHC collisions. Since then, several hardware and firmware updates have been implemented to accommodate the RODs to the evolving ATLAS Trigger and DAQ conditions adjusted to follow the LHC parameters. The initial ROD system, the different updates implemented and the operational experience during the LHC Run 1 and Run 2 are presented.


title: A Novel Machine Learning Method for Preference Identification

abstract: Human preference or taste within any domain is usually a difficult thing to identify or predict with high probability. In the domain of chess problem composition, the same is true. Traditional machine learning approaches tend to focus on the ability of computers to process massive amounts of data and continuously adjust 'weights' within an artificial neural network to better distinguish between say, two groups of objects. Contrasted with chess compositions, there is no clear distinction between what constitutes one and what does not; even less so between a good one and a poor one. We propose a computational method that is able to learn from existing databases of 'liked' and 'disliked' compositions such that a new and unseen collection can be sorted with increased probability of matching a solver's preferences. The method uses a simple 'change factor' relating to the Forsyth-Edwards Notation (FEN) of each composition's starting position, coupled with repeated statistical analysis of sample pairs from both databases. Tested using the author's own collections of computer-generated chess problems, the experimental results showed that the method was able to sort a new and unseen collection of compositions such that, on average, over 70% of the preferred compositions were in the top half of the collection. This saves significant time and energy on the part of solvers as they are likely to find more of what they like sooner. The method may even be applicable to other domains such as image processing because it does not rely on any chess-specific rules but rather just a sufficient and quantifiable 'change' in representation from one object to the next.


title: Aspects of the dyonic Kerr-Sen-AdS$_4$ black hole and its ultraspinning version

abstract: We explore some (especially, thermodynamical) properties of the dyonic Kerr-Sen-AdS$_4$ black hole and its ultraspinning counterpart, and check whether or not both black holes satisfy the first law and Bekenstein-Smarr mass formulas. To this end, new Christodoulou-Ruffini-like squared-mass formulae for the usual dyonic Kerr-Sen-AdS$_4$ solution and its ultraspinning cousin are deduced. Similar to the ultraspinning Kerr-Sen-AdS$_4$ black hole case, we demonstrate that the ultraspinning dyonic Kerr-Sen-AdS$_4$ black hole does not always violate the reverse isoperimetric inequality (RII) since the value of the isoperimetric ratio can either be larger/smaller than, or equal to unity, depending upon the range of the solution parameters, as is the case only with an electric charge. This property is apparently distinct from that of the superentropic dyonic Kerr-Newman-AdS$_4$ black hole, which always strictly violates the RII, although both of them have some similar properties in other aspects, such as the horizon geometry and conformal boundary.


title: Li-ion Battery Fault Detection in Large Packs Using Force and Gas Sensors

abstract: Internal short circuits are a leading cause of battery thermal runaway, and hence a major safety issue for electric vehicles. An internal short circuit with low resistance is called a hard internal short, which causes a high internal current flow that leads to an extremely fast temperature rise, gas generation, cell swelling, and ultimately battery rupture and failure. Thus it is crucial to detect these faults immediately after they get triggered. In large battery packs with many cells in parallel, detecting an internal short circuit event using voltage is difficult due to suppression of the voltage signal from the faulty cell by the other healthy cells connected in parallel. In contrast, analyzing the gas composition in the pack enclosure can provide a robust single cell failure detection method. At elevated temperature, decomposition of the battery materials results in gas generation and cell swelling. The cell structure is designed to rupture at a critical gas pressure and vent the accumulated $CO_2$ gas, in order to prevent explosive forces. In this paper, we extend our previous work by combining the models of cell thermal dynamics, swelling, and $CO_2$ gas generation. In particular, we developed a fast and high confidence level detection method of hard internal short circuit events for a battery pack by measuring cell expansion force and monitoring $CO_2$ concentrations in a pack enclosure.


title: Differentially Private (Gradient) Expectation Maximization Algorithm with Statistical Guarantees

abstract: (Gradient) Expectation Maximization (EM) is a widely used algorithm for estimating the maximum likelihood of mixture models or incomplete data problems. A major challenge facing this popular technique is how to effectively preserve the privacy of sensitive data. Previous research on this problem has already lead to the discovery of some Differentially Private (DP) algorithms for (Gradient) EM. However, unlike in the non-private case, existing techniques are not yet able to provide finite sample statistical guarantees. To address this issue, we propose in this paper the first DP version of (Gradient) EM algorithm with statistical guarantees. Moreover, we apply our general framework to three canonical models: Gaussian Mixture Model (GMM), Mixture of Regressions Model (MRM) and Linear Regression with Missing Covariates (RMC). Specifically, for GMM in the DP model, our estimation error is near optimal in some cases. For the other two models, we provide the first finite sample statistical guarantees. Our theory is supported by thorough numerical experiments.


title: Finite non-metabelian Schur sigma-Galois groups of class field towers

abstract: For each odd prime p>=5, there exist finite p-groups G with derived quotient G/D(G)=C(p)xC(p) and nearly constant transfer kernel type k(G)=(1,2,...,2) having two fixed points. It is proved that, for p=7, this type k(G) with the simplest possible case of logarithmic abelian quotient invariants t(G)=(11111,111,21,21,21,21,21,21) of the eight maximal subgroups is realized by exactly 98 non-metabelian Schur sigma-groups S of order 7^11 with fixed derived length dl(S)=3 and metabelianizations S/D(D(S)) of order 7^7. For p=5, the type k(G) with t(G)=(2111,111,21,21,21,21) leads to infinitely many non-metabelian Schur sigma-groups S of order at least 5^14 with unbounded derived length dl(S)>=3 and metabelianizations S/D(D(S)) of fixed order 5^7. These results admit the conclusion that d=-159592 is the first known discriminant of an imaginary quadratic field with 7-class field tower of precise length L=3, and d=-90868 is a discriminant of an imaginary quadratic field with 5-class field tower of length L>=3, whose exact length remains unknown.


title: How to deform an egg yolk? On the Study of Soft Matter Deformation in a Liquid Environment

abstract: In this paper, we report a novel experimental and theoretical study to examine the response of a soft capsule bathed in a liquid environment to sudden external impacts. Taking an egg yolk as an example, we found that the soft matter is not sensitive to translational impacts, but is very sensitive to rotational, especially decelerating-rotational impacts, during which the centrifugal force and the shape of the membrane together play a critical role causing the deformation of the soft object. This finding, as the first study of its kind, reveals the fundamental physics behind the motion and deformation of a membrane-bound soft object, e.g., egg yolk, cells, soft brain matter, etc., in response to external impacts.


title: Kernel Smoothing, Mean Shift, and Their Learning Theory with Directional Data

abstract: Directional data consist of observations distributed on a (hyper)sphere, and appear in many applied fields, such as astronomy, ecology, and environmental science. This paper studies both statistical and computational problems of kernel smoothing for directional data. We generalize the classical mean shift algorithm to directional data, which allows us to identify local modes of the directional kernel density estimator (KDE). The statistical convergence rates of the directional KDE and its derivatives are derived, and the problem of mode estimation is examined. We also prove the ascending property of the directional mean shift algorithm and investigate a general problem of gradient ascent on the unit hypersphere. To demonstrate the applicability of the algorithm, we evaluate it as a mode clustering method on both simulated and real-world data sets.


title: EPIC 216747137: a new HW Vir eclipsing binary with a massive sdOB primary and a low-mass M-dwarf companion

abstract: EPIC 216747137 is a new HW~Virginis system discovered by the Kepler spacecraft during its K2 "second life". Like the other HW Vir systems, EPIC 216747137 is a post-common-envelope eclipsing binary consisting of a hot subluminous star and a cool low-mass companion. The short orbital period of 3.87 hours produces a strong reflection effect from the secondary (~9% in the R band). Together with AA Dor and V1828 Aql, EPIC 216747137 belongs to a small subgroup of HW Vir systems with a hot evolved sdOB primary. We find the following atmospheric parameters for the hot component: Teff=40400$\pm$1000 K, logg=5.56$\pm$0.06, log(N(He)/N(H))=$-$2.59$\pm$0.05. The sdOB rotational velocity vsini=51$\pm$10 km/s implies that the stellar rotation is slower than the orbital revolution and the system is not synchronized. When we combine photometric and spectroscopic results with the Gaia parallax, the best solution for the system corresponds to a primary with a mass of about 0.62 Msun close to, and likely beyond, the central helium exhaustion, while the cool M-dwarf companion has a mass of about 0.11 Msun.


title: Power Scaling Law Analysis and Phase Shift Optimization of RIS-aided Massive MIMO Systems with Statistical CSI

abstract: This paper considers an uplink reconfigurable intelligent surface (RIS)-aided massive multiple-input multiple-output (MIMO) system with statistical channel state information (CSI). The RIS is deployed to help conventional massive MIMO networks serve the users in the dead zone. We consider the Rician channel model and exploit the long-time statistical CSI to design the phase shifts of the RIS, while the maximum ratio combination (MRC) technique is applied for the active beamforming at the base station (BS) relying on the instantaneous CSI. Firstly, we reveal the power scaling laws and derive the closed-form expressions for the uplink achievable rate which holds for arbitrary numbers of base station (BS) antennas. Based on the theoretical expressions, we discuss the rate performance under some special cases and provide the average asymptotic rate when using random phase shifts. Then, we consider the sum-rate maximization and the minimum user rate maximization problems by optimizing the phase shifts at the RIS. However, these two optimization problems are challenging to solve due to the complicated data rate expression. To solve these problems, we propose a novel genetic algorithm (GA) with low complexity but can achieve considerable performance. Finally, extensive simulations are provided to validate the benefits by integrating RIS into conventional massive MIMO systems. Besides, our simulations demonstrate the feasibility of deploying large-size but low-resolution RIS in massive MIMO systems.


title: $q$-Analogues of some supercongruences related to Euler numbers

abstract: Let $E_n$ be the $n$-th Euler number and $(a)_n=a(a+1)\cdots (a+n-1)$ the rising factorial. Let $p>3$ be a prime. In 2012, Sun proved the that $$ \sum^{(p-1)/2}_{k=0}(-1)^k(4k+1)\frac{(\frac{1}{2})_k^3}{k!^3} \equiv p(-1)^{(p-1)/2}+p^3E_{p-3} \pmod{p^4}, $$ which is a refinement of a famous supercongruence of Van Hamme. In 2016, Chen, Xie, and He established the following result: $$ \sum_{k=0}^{p-1}(-1)^k (3k+1)\frac{(\frac{1}{2})_k^3}{k!^3} 2^{3k} \equiv p(-1)^{(p-1)/2}+p^3E_{p-3} \pmod{p^4}, $$ which was originally conjectured by Sun. In this paper we give $q$-analogues of the above two supercongruences by employing the $q$-WZ method. As a conclusion, we provide a $q$-analogue of the following supercongruence of Sun: $$ \sum_{k=0}^{(p-1)/2}\frac{(\frac{1}{2})_k^2}{k!^2} \equiv (-1)^{(p-1)/2}+p^2 E_{p-3} \pmod{p^3}. $$


title: Robust Disentanglement of a Few Factors at a Time

abstract: Disentanglement is at the forefront of unsupervised learning, as disentangled representations of data improve generalization, interpretability, and performance in downstream tasks. Current unsupervised approaches remain inapplicable for real-world datasets since they are highly variable in their performance and fail to reach levels of disentanglement of (semi-)supervised approaches. We introduce population-based training (PBT) for improving consistency in training variational autoencoders (VAEs) and demonstrate the validity of this approach in a supervised setting (PBT-VAE). We then use Unsupervised Disentanglement Ranking (UDR) as an unsupervised heuristic to score models in our PBT-VAE training and show how models trained this way tend to consistently disentangle only a subset of the generative factors. Building on top of this observation we introduce the recursive rPU-VAE approach. We train the model until convergence, remove the learned factors from the dataset and reiterate. In doing so, we can label subsets of the dataset with the learned factors and consecutively use these labels to train one model that fully disentangles the whole dataset. With this approach, we show striking improvement in state-of-the-art unsupervised disentanglement performance and robustness across multiple datasets and metrics.