title: Social Cost Optimization for Prosumer Community with Two Price-Package Incentives in Two-Settlement Based Electricity Market

abstract: In this paper, we consider a future electricity market consisting of aggregated energy prosumers, who are equipped with local wind power plants (WPPs) to support (part of) their energy demands and can also trade energy with day-ahead market (DAM) and energy balancing market (EBM). In addition, an energy aggregator (EA) is established, who can provide the trading gateways between prosumers and the markets. The EA is responsible for making pricing strategies on the prosumers to influence their trading behaviours such that the social benefit of the prosumer community is improved. Specifically, two price packages are provided by the EA: wholesale price (WP) package and lump-sum (LS) package, which can be flexibly selected by prosumers based on their own preferences. Analytical energy-trading strategies will be derived for WP prosumers and LS prosumers based on non-cooperative games and Nash resource allocation strategies, respectively. In this work, a social cost optimization problem will be formulated for the EA, where the detailed WP/LS selection plans are unknown in advance. Consequently, a stochastic Stackelberg game between prosumers and the EA is formulated, and a two-level stochastic convex programming algorithm is proposed to minimize the expectation of the social cost. The performance of the proposed algorithm is demonstrated with a two-settlement based market model in the simulation.


title: Sustainable bioplastics from amyloid fibril-biodegradable polymer blends

abstract: Plastic waste production is a global challenging problem since its accumulation in the environment is causing devastating effects on the planet's ecosystem. Sustainable and green solutions are urgently needed, and this pairs with increasingly stronger regulations combined with improved ecological awareness. This study proposes a simple, scalable and water-based process to produce free-standing, transparent and flexible bioplastic films by combining amyloid fibrils with biodegradable polymers as two main building blocks. Amyloid fibrils can be obtained through denaturation and self-assembly from a broad class of food proteins found in milk, soy, and egg, for example. Whey is used here as a model protein, since it is the major by-product of dairy industries, and its valorization creates a valuable opportunity to produce sustainable, biodegradable, and environmentally friendly bioplastics perfectly integrated within a circular economy. Against this background, we highlight the sustainability superiority of these bioplastics over common plastics and bioplastic via a detailed life cycle assessment, anticipating an important role of this new class of bioplastics in mitigating the pressing plastic pollution challenge.


title: Magnetic Impurity Effects on Ferromagnetic Fluctuations in Heavily Overdoped (Bi,Pb)$_2$Sr$_2$Cu$_{1-y}$Fe$_y$O$_{6+\delta}$ Cuprates

abstract: We investigated Fe-substitution effects on ferromagnetic fluctuations in the superconducting overdoped and non-superconducting heavily overdoped regimes of the Bi-2201 cuprates by the magnetization and electrical-resistivity measurements. It was found that the spin-glass state was induced at low temperatures by the Fe substitution. The Curie constant and the effective Bohr magneton, estimated from the magnetic susceptibility, as well as the dimensionality of the ferromagnetic fluctuations from the resistivity, suggest the enhancement of the ferromagnetic fluctuations owing to the Fe substitution. A ferromagnetic spin-cluster model is proposed in the heavily overdoped regime of Bi-2201, while an antiferromagnetic spin-cluster model has been proposed in the overdoped regime of Bi-2201 [Hiraka et al., Phys. Rev. B 81, 144501 (2010)].


title: Modeling Discriminative Representations for Out-of-Domain Detection with Supervised Contrastive Learning

abstract: Detecting Out-of-Domain (OOD) or unknown intents from user queries is essential in a task-oriented dialog system. A key challenge of OOD detection is to learn discriminative semantic features. Traditional cross-entropy loss only focuses on whether a sample is correctly classified, and does not explicitly distinguish the margins between categories. In this paper, we propose a supervised contrastive learning objective to minimize intra-class variance by pulling together in-domain intents belonging to the same class and maximize inter-class variance by pushing apart samples from different classes. Besides, we employ an adversarial augmentation mechanism to obtain pseudo diverse views of a sample in the latent space. Experiments on two public datasets prove the effectiveness of our method capturing discriminative representations for OOD detection.


title: Magnetic ordering tendencies in hexagonal boron nitride-bilayer graphene moir\'e structures

abstract: When hexagonal boron nitride (hBN) and graphene are aligned at zero or small twist angle, a moir\'e structure is formed due to the small lattice constant mismatch between the two structures. In this work, we analyze magnetic ordering tendencies, driven by onsite Coulomb interactions, of encapsulated bilayer graphene (BG) forming a moir\'e structure with one (hBN-BG) or both hBN layers (hBN-BG-hBN), using the random phase approximation. The calculations are performed in a fully atomistic Hubbard model that takes into account all $\pi$-electrons of the carbon atoms in one moir\'e unit cell. We analyze the charge neutral case and find that the dominant magnetic ordering instability is uniformly antiferromagnetic. Furthermore, at low temperatures, the critical Hubbard interaction $U_c$ required to induce magnetic order is slightly larger in those systems where the moir\'e structure has caused a band gap opening in the non-interacting picture, although the difference is less than 6%. Mean-field calculations are employed to estimate how such an interaction-induced magnetic order may change the observable single-particle gap sizes.


title: Deep Learning on Monocular Object Pose Detection and Tracking: A Comprehensive Overview

abstract: Object pose detection and tracking has recently attracted increasing attention due to its wide applications in many areas, such as autonomous driving, robotics, and augmented reality. Among methods for object pose detection and tracking, deep learning is the most promising one that has shown better performance than others. However, survey study about the latest development of deep learning-based methods is lacking. Therefore, this study presents a comprehensive review of recent progress in object pose detection and tracking that belongs to the deep learning technical route. To achieve a more thorough introduction, the scope of this study is limited to methods taking monocular RGB/RGBD data as input and covering three kinds of major tasks: instance-level monocular object pose detection, category-level monocular object pose detection, and monocular object pose tracking. In our work, metrics, datasets, and methods of both detection and tracking are presented in detail. Comparative results of current state-of-the-art methods on several publicly available datasets are also presented, together with insightful observations and inspiring future research directions.


title: Modulus $\tau$ linking leptonic CP violation to baryon asymmetry in $A_4$ modular invariant flavor model

abstract: We propose an $A_4$ modular invariant flavor model of leptons, in which both CP and modular symmetries are broken spontaneously by the vacuum expectation value of the modulus $\tau$. The value of the modulus $\tau$ is restricted by the observed lepton mixing angles and lepton masses for the normal hierarchy of neutrino masses at $3\sigma$ confidence level. The predictive Dirac CP phase $\delta_{CP}$ is in the ranges $[0^\circ,50^\circ]$, $[170^\circ,175^\circ]$ and $[280^\circ,360^\circ]$ for ${\rm Re}\, [\tau]<0$, and $[0^\circ,80^\circ]$, $[185^\circ,190^\circ]$ and $[310^\circ,360^\circ]$ for ${\rm Re}\,[\tau]>0$ at $3\sigma$ confidence level. The sum of three neutrino masses is predicted in $[60, 84]$ meV, and the effective mass for the $0\nu\beta\beta$ decay is in [0.003, 3] meV. On the other hand, there is no allowed region of the modulus $\tau$ for the inverted hierarchy of neutrino masses at $3\sigma$ confidence level. The modulus $\tau$ links the Dirac CP phase to the cosmological baryon asymmetry (BAU) via the leptogenesis. Due to the strong wash-out effect, the predictive baryon asymmetry $Y_B$ can be at most the same order of the observed value. Then, the lightest right-handed neutrino mass is restricted in the range of $M_1 =[1.5,\,6.5] \times 10^{13}$ GeV. We find the correlation between the predictive $Y_B$ and the Dirac CP phase $\delta_{CP}$. Only two predictive $\delta_{CP}$ ranges, $[5^\circ,40^\circ]$ (${\rm Re}\,[\tau]>0$) and $[320^\circ,355^\circ]$ (${\rm Re}\,[\tau]<0$) are consistent with the BAU.


title: Probing the evolution of the EBL photon density out to $z~\sim 1$ via $\gamma$-ray propagation measurements with Fermi

abstract: The redshift ($z$) evolution of the Extragalactic Background Light (EBL) photon density is very important to understand the history of cosmological structure formation of galaxies and stars since the epoch of recombination. The EBL photons with the characteristic spectral energy distribution ranging from ultraviolet/optical to far-infrared provide a major source of opacity of the Universe to the GeV-TeV $\gamma$-rays travelling over cosmological distances. The effect of the EBL is very significant through $\gamma \gamma \rightarrow e^- e^+$ absorption process on the propagation of the $\gamma$-ray photons with energy $E >$ 50 GeV emitted from the sources at $z \sim 1$. This effect is characterized by the optical depth ($\tau$) which strongly depends on $E$, $z$ and density of the EBL photons. The proper density of the EBL photons increases with $z$ due to expansion of the Universe whereas evolution of radiation sources contributing to the EBL leads to a decrease in the density with increasing $z$. Therefore, the resultant volumetric evolution of the EBL photon density is approximated by a modified redshift dependence. In this work, we probe evolution of the EBL photon density predicted by two prominent models using cosmic gamma-ray horizon ($\tau (E,z)=$ 1) determined by the measurements from the \emph{Fermi}-Large Area Telescope (LAT) observations. The modified redshift dependence of the EBL photon density is optimized for a given EBL model by estimating the same gamma-ray horizon as predicted by the \emph{Fermi}-LAT observations. We further compare the optical depth estimates in the energy range $E =$ 4 GeV-1 TeV and redshift range $z =0.01-1$ from the \emph{Fermi}-LAT observations with the values derived from the two EBL models to further constrain the evolution of the EBL photon density in the $z~\sim 1$ Universe.


title: Holographic multi-condensate with nonlinear terms

abstract: We study the influence of nonlinear terms quartic of the charged fields, which do not change the critical points of single condensate solutions, on the phase structure of a holographic model with multi-condensate in probe limit. We include one s-wave order and one p-wave order charged under the same U(1) gauge field in the holographic model and study the influence of the three quartic nonlinear terms of the charged fields with coefficients $\lambda_s$, $\lambda_p$ and $\lambda_{sp}$ on the phase structure. We show the influence of each of the three parameters on the phase diagram with other two set to zero, respectively. With these nonlinear terms, we get more power on tuning the phase structure of the holographic system showing multi-condensate, and show how to get a reentrant phase transition as an example.


title: ECMO: Peripheral Transplantation to Rehost Embedded Linux Kernels

abstract: Dynamic analysis based on the full-system emulator QEMU is widely used for various purposes. However, it is challenging to run firmware images of embedded devices in QEMU, especially the process to boot the Linux kernel (we call this process rehosting the Linux kernel.) That's because embedded devices usually use different system-on-chips (SoCs) from multiple vendors and only a limited number of SoCs are currently supported in QEMU. In this work, we propose a technique called peripheral transplantation. The main idea is to transplant the device drivers of designated peripherals into the Linux kernel. By doing so, it can replace the peripherals in the kernel that are currently unsupported in QEMU with supported ones, thus making the Linux kernel rehostable. After that, various applications can be built upon. We implemented this technique inside a prototype system called ECMO and applied it to 815 firmware images, which consist of 20 kernel versions, 37 device models, and 24 vendors. The result shows that ECMO can successfully transplant peripherals for all the 815 Linux kernels. Among them,710 kernels can be successfully rehosted, i.e., launching a user-space shell (87.1% success rate). The failed cases are mainly because the root file system format (ramfs) is not supported by the kernel. We further build three applications, i.e., kernel crash analysis, rootkit forensic analysis, and kernel fuzzing, based on the rehosted kernels to demonstrate the usage scenarios of ECMO


title: Heavy quark transport coefficients in a viscous QCD medium with collisional and radiative processes

abstract: The heavy quark drag and momentum diffusion coefficients in the presence of both the collisional and radiative processes have been studied in a hot viscous QCD medium. The thermal medium effects are incorporated by employing the effective fugacity quasiparticle model based on the lattice QCD equation of state. Viscous effects are embedded into the heavy quark transport through the near-equilibrium distribution functions of the constituent medium particles of the quark-gluon plasma. The viscous corrections to the momentum distributions have been estimated from the effective Boltzmann equation. The effect of shear viscous correction to drag and diffusion is investigated by considering the soft gluon radiation by heavy quarks along with the elastic collisional processes of the heavy quark with the light quarks and gluons within the QGP medium. The momentum and temperature dependence of the heavy quark transport coefficients are seen to be sensitive to the viscous coefficient of the QGP for the collisional and radiative processes. The collisional and radiative energy loss of the heavy quark in the viscous quark-gluon plasma has also been explored.


title: Shadow wave solutions for a scalar two-flux conservation law with Rankine-Hugoniot deficit

abstract: The paper deals with scalar conservation laws having a flux discontinuity at $x=0$ without a weak solution that satisfies the classical Rankine--Hugoniot jump condition at $x=0$. We are using unbounded solutions in the form of shadow waves supported by the origin for solving that problem. The shadow waves are nets of piecewise constant functions approximating a shock wave with added a delta function and sometimes another unbounded part.


title: A Measurement Study on the (In)security of End-of-Life (EoL) Embedded Devices

abstract: Embedded devices are becoming popular. Meanwhile, researchers are actively working on improving the security of embedded devices. However, previous work ignores the insecurity caused by a special category of devices, i.e., the End-of-Life (EoL in short) devices. Once a product becomes End-of-Life, vendors tend to no longer maintain its firmware or software, including providing bug fixes and security patches. This makes EoL devices susceptible to attacks. For instance, a report showed that an EoL model with thousands of active devices was exploited to redirect web traffic for malicious purposes. In this paper, we conduct the first measurement study to shed light on the (in)security of EoL devices. To this end, our study performs two types of analysis, including the aliveness analysis and the vulnerability analysis. The first one aims to detect the scale of EoL devices that are still alive. The second one is to evaluate the vulnerabilities existing in (active) EoL devices. We have applied our approach to a large number of EoL models from three vendors (i.e., D-Link, Tp-Link, and Netgear) and detect the alive devices in a time period of ten months. Our study reveals some worrisome facts that were unknown by the community. For instance, there exist more than 2 million active EoL devices. Nearly 300,000 of them are still alive even after five years since they became EoL. Although vendors may release security patches after the EoL date, however, the process is ad hoc and incomplete. As a result, more than 1 million active EoL devices are vulnerable, and nearly half of them are threatened by high-risk vulnerabilities. Attackers can achieve a minimum of 2.79 Tbps DDoS attack by compromising a large number of active EoL devices. We believe these facts pose a clear call for more attention to deal with the security issues of EoL devices.


title: An algorithm for identifying eigenvectors exhibiting strong spatial localization

abstract: We introduce an approach for exploring eigenvector localization phenomena for a class of (unbounded) selfadjoint operators. More specifically, given a target region and a tolerance, the algorithm identifies candidate eigenpairs for which the eigenvector is expected to be localized in the target region to within that tolerance. Theoretical results, together with detailed numerical illustrations of them, are provided that support our algorithm. A partial realization of the algorithm is described and tested, providing a proof of concept for the approach.


title: LPF: A Language-Prior Feedback Objective Function for De-biased Visual Question Answering

abstract: Most existing Visual Question Answering (VQA) systems tend to overly rely on language bias and hence fail to reason from the visual clue. To address this issue, we propose a novel Language-Prior Feedback (LPF) objective function, to re-balance the proportion of each answer's loss value in the total VQA loss. The LPF firstly calculates a modulating factor to determine the language bias using a question-only branch. Then, the LPF assigns a self-adaptive weight to each training sample in the training process. With this reweighting mechanism, the LPF ensures that the total VQA loss can be reshaped to a more balanced form. By this means, the samples that require certain visual information to predict will be efficiently used during training. Our method is simple to implement, model-agnostic, and end-to-end trainable. We conduct extensive experiments and the results show that the LPF (1) brings a significant improvement over various VQA models, (2) achieves competitive performance on the bias-sensitive VQA-CP v2 benchmark.


title: A Theory of Neural Tangent Kernel Alignment and Its Influence on Training

abstract: The training dynamics and generalization properties of neural networks (NN) can be precisely characterized in function space via the neural tangent kernel (NTK). Structural changes to the NTK during training reflect feature learning and underlie the superior performance of networks outside of the static kernel regime. In this work, we seek to theoretically understand kernel alignment, a prominent and ubiquitous structural change that aligns the NTK with the target function. We first study a toy model of kernel evolution in which the NTK evolves to accelerate training and show that alignment naturally emerges from this demand. We then study alignment mechanism in deep linear networks and two layer ReLU networks. These theories provide good qualitative descriptions of kernel alignment and specialization in practical networks and identify factors in network architecture and data structure that drive kernel alignment. In nonlinear networks with multiple outputs, we identify the phenomenon of kernel specialization, where the kernel function for each output head preferentially aligns to its own target function. Together, our results provide a mechanistic explanation of how kernel alignment emerges during NN training and a normative explanation of how it benefits training.


title: Comment on "Ab initio calculation of the shift photocurrent by Wannier interpolation"

abstract: In a recent paper, Iba\~nez-Azpiroz et al. [Phys. Rev. B 97, 245143 (2018)] derive a band-truncation-error-free formula for calculating the generalized derivative of the interband dipole matrix using Wannier interpolation. In practice, the denominators involving intermediate states are regularized by introducing a finite broadening parameter. In this Comment, I show that when a finite broadening parameter is used, a correction term must be added to the generalized derivative to obtain results that are independent of the phase convention for the Bloch sums.


title: Strangeness Enhancement at LHC Energies using the thermal model and EPOSLHC event-generator

abstract: The strangeness enhancement signature of QGP formation at LHC energies is carefully tackled in the present study. Based on HRG, the particle ratios of mainly strange and multi-strange particles are studied at energies from lower $\sqrt{s}\sim $ 0.001 up to 13 TeV. The strangeness enhancement clearly appeared at more higher energies, and the ratios are confronted to the available experimental data. The particle ratios are also studied using the Cosmic Ray Monte Carlo (CRMC) interface model with its two different event generators namely; EPOS $1.99$ and EPOSlhc which show a good agreement with the model calculations at the whole range of the energy. We utilize to produce some ratios. EPOS $1.99$ is used to estimate particle ratios at lower energies from AGS up to the Relativistic Heavy Ion Collider (RHIC) while EPOSlhc is used at LHC energies. The production of kaons and lambda particles is studied in terms of the mean multiplicity in p-p collisions at energies ranging from 4 - 26 GeV. We find that both HRG model and the used event generators, EPOS $1.99$ and EPOSlhc, can describe the particle ratios very well. Additionally, the freeze-out parameters are estimated for different collision systems, such as p-p and Pb-Pb, at LHC energies using both models.


title: Stability and Super-resolution of MUSIC and ESPRIT for Multi-snapshot Spectral Estimation

abstract: This paper studies the spectral estimation problem of estimating the locations of a fixed number of point sources given multiple snapshots of Fourier measurements collected by a uniform array of sensors. We prove novel stability bounds for MUSIC and ESPRIT as a function of the noise standard deviation, number of snapshots, source amplitudes, and support. Our most general result is a perturbation bound of the signal space in terms of the minimum singular value of Fourier matrices. When the point sources are located in several separated clumps, we provide an explicit upper bound of the noise-space correlation perturbation error in MUSIC and the support error in ESPRIT in terms of a Super-Resolution Factor (SRF). The upper bound for ESPRIT is then compared with a new Cram\'er-Rao lower bound for the clumps model. As a result, we show that ESPRIT is comparable to that of the optimal unbiased estimator(s) in terms of the dependence on noise, number of snapshots and SRF. As a byproduct of our analysis, we discover several fundamental differences between the single-snapshot and multi-snapshot problems. Our theory is validated by numerical experiments.


title: Efficient Folding Algorithms for Regular Polyhedra

abstract: We investigate the folding problem that asks if a polygon P can be folded to a polyhedron Q for given P and Q. Recently, an efficient algorithm for this problem has been developed when Q is a box. We extend this idea to regular polyhedra, also known as Platonic solids. The basic idea of our algorithms is common, which is called stamping. However, the computational complexities of them are different depending on their geometric properties. We developed four algorithms for the problem as follows. (1) An algorithm for a regular tetrahedron, which can be extended to a tetramonohedron. (2) An algorithm for a regular hexahedron (or a cube), which is much efficient than the previously known one. (3) An algorithm for a general deltahedron, which contains the cases that Q is a regular octahedron or a regular icosahedron. (4) An algorithm for a regular dodecahedron. Combining these algorithms, we can conclude that the folding problem can be solved pseudo-polynomial time when Q is a regular polyhedron and other related solid.


title: On the hollow enclosed by convex sets

abstract: For $n\leq d$, a family ${\cal F}=\{C_0,C_1,\ldots, C_n\}$ of compact convex sets in $R^d$ is called an $n$-critical family provided any $n$ members of ${\cal F}$ have a non-empty intersection, but $\bigcap_{i=0}^n C_i=\varnothing$. If $n=d$ then a lemma on the intersection of convex sets due to Klee implies that the $d+1$ members of the $d$-critical family enclose a `hollow' in $R^d$, a bounded connected component of $R^d\setminus\bigcup_{i=0}^n C_i.$ Here we prove that the closure of the convex hull of a hollow in $R^d$ is a $d$-simplex.


title: Minimally Factorizing the Provenance of Self-join Free Conjunctive Queries

abstract: We consider the problem of finding the minimal-size factorization of the provenance of self-join-free conjunctive queries, i.e., we want to find a formula that minimizes the number of variable repetitions. This problem is equivalent to solving the fundamental Boolean formula factorization problem for the restricted setting of the provenance formulas of self-join free queries. While general Boolean formula minimization is $\Sigma^p_2$-complete, we show that the problem is NP-C in our case. Additionally, we identify a large category of queries that can be solved in PTIME, expanding beyond the previously known tractable cases of read-once formulas and hierarchical queries. We describe connections between factorizations, Variable Elimination Orders (VEOs), and minimal query plans. We leverage these insights to create an Integer Linear Program (ILP) that can solve the minimal factorization problem exactly. We also propose a Max-Flow Min-Cut (MFMC) based algorithm that gives an efficient approximate solution. Importantly, we show that both the Linear Programming (LP) relaxation of our ILP, and our MFMC-based algorithm are always correct for all currently known PTIME cases. Thus, we present two unified algorithms (ILP and MFMC) that can both recover all known PTIME cases in PTIME, yet also solve NP-complete cases either exactly (ILP) or approximately (MFMC), as desired.


title: Structure theorem for projective klt pairs with nef anti-canonical divisor

abstract: In this paper, we establish a structure theorem for projective klt pairs $(X,\Delta)$ with nef anti-log canonical divisor; specifically, we prove that, up to replacing $X$ with a finite quasi-\'etale cover, $X$ admits a locally trivial rationally connected fibration onto a projective klt variety with numerically trivial canonical divisor. This structure theorem generalizes previous works for smooth projective varieties and reduces several structure problems to the singular Beauville-Bogomolov decomposition for Calabi-Yau varieties. As an application, projective varieties of klt Calabi-Yau type, which naturally appear as an outcome of the Log Minimal Model Program, are decomposed into building block varieties: rationally connected varieties and Calabi-Yau varieties.


title: A Simple Voting Mechanism for Online Sexist Content Identification

abstract: This paper presents the participation of the MiniTrue team in the EXIST 2021 Challenge on the sexism detection in social media task for English and Spanish. Our approach combines the language models with a simple voting mechanism for the sexist label prediction. For this, three BERT based models and a voting function are used. Experimental results show that our final model with the voting function has achieved the best results among our four models, which means that our voting mechanism brings an extra benefit to our system. Nevertheless, we also observe that our system is robust to data sources and languages.


title: Measurement of the doubly Cabibbo-suppressed decay $D^+\to K^+\pi^+\pi^-\pi^0$ with semileptonic tags

abstract: Using an $e^+e^-$ annihilation data sample corresponding to an integrated luminosity of $2.93\,\rm fb^{-1}$ collected at a center-of-mass energy of 3.773 GeV with the BESIII detector, the doubly Cabibbo-suppressed decay $D^+\to K^+\pi^+\pi^-\pi^0$ is studied with a semileptonic tag method. After removing the decays containing narrow intermediate resonances, $D^+\to K^+\eta$, $D^+\to K^+\omega$, and $D^+\to K^+\phi$, the branching fraction for the decay $D^+\to K^+\pi^+\pi^-\pi^0$ is determined to be $(1.03 \pm 0.12_{\rm stat} \pm 0.06_{\rm syst})\times 10^{-3}$. The ratio of the branching fraction for $D^+\to K^+\pi^+\pi^-\pi^0$ to its Cabibbo-favored counterpart $D^+\to K^-\pi^+\pi^+\pi^0$ is measured to be $ (1.65\pm0.21)\%$, corresponding to $(5.73\pm0.73)\tan^4\theta_C$, where $\theta_C$ is the Cabibbo mixing angle. These results are consistent with our previous measurement with hadronic tags but are significantly larger than other doubly Cabibbo-suppressed decays in the charm sector.


title: Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

abstract: A barrier certificate often serves as an inductive invariant that isolates an unsafe region from the reachable set of states, and hence is widely used in proving safety of hybrid systems possibly over the infinite time horizon. We present a novel condition on barrier certificates, termed the invariant barrier-certificate condition, that witnesses unbounded-time safety of differential dynamical systems. The proposed condition is by far the least conservative one on barrier certificates, and can be shown as the weakest possible one to attain inductive invariance. We show that discharging the invariant barrier-certificate condition -- thereby synthesizing invariant barrier certificates -- can be encoded as solving an optimization problem subject to bilinear matrix inequalities (BMIs). We further propose a synthesis algorithm based on difference-of-convex programming, which approaches a local optimum of the BMI problem via solving a series of convex optimization problems. This algorithm is incorporated in a branch-and-bound framework that searches for the global optimum in a divide-and-conquer fashion. We present a weak completeness result of our method, in the sense that a barrier certificate is guaranteed to be found (under some mild assumptions) whenever there exists an inductive invariant (in the form of a given template) that suffices to certify safety of the system. Experimental results on benchmark examples demonstrate the effectiveness and efficiency of our approach.


title: A Perturbation Approach to Vector Optimization Problems: Lagrange and Fenchel-Lagrange Duality

abstract: In this paper we study the general minimization vector problem (P), concerning a perturbation mapping, defined in locally convex Hausdorff topological vector spaces where the "WInf" stands for the weak infimum with respect to an ordering generated by a convex cone $K$. Several representations of the epigraph of the conjugate mapping of the perturbation mapping are established. From these, variants vector Farkas lemmas are then proved. Armed with these basic tools, the {\it dual} and the so-called {\it loose dual problem} of (P) are defined, and then stable strong duality results between these pairs of primal-dual problems are established. The results just obtained are then applied to a general class (CCCV) of composed vector optimization problems with cone-constrained. For this classes of problems, four perturbation mappings are suggested. Each of these mappings yields several forms of vector Farkas lemmas and two forms of dual problems for (CCVP). Concretely, one of the suggested perturbation mapping give rises to well-known {\it Lagrange} and {\it loose Lagrange dual problems} for (CCVP) while each of the three others, yields two kinds of Fenchel-Lagrange dual problems for (CCVP). Stable strong duality for these pairs of primal-dual problems are proved. Several special cases of (CCVP) are also considered at the end of the paper, including: vector composite problems (without constraints), cone-constrained vector problems, and scalar composed problems. The results obtained in this papers when specified to the two concrete mentioned vector problems go some Lagrange duality results appeared recently, and also lead to new results on stable strong Fenchel-Lagrange duality results, which, to the best knowledge of the authors, appear for the first time in the literature.


title: Novel Slot Detection: A Benchmark for Discovering Unknown Slot Types in the Task-Oriented Dialogue System

abstract: Existing slot filling models can only recognize pre-defined in-domain slot types from a limited slot set. In the practical application, a reliable dialogue system should know what it does not know. In this paper, we introduce a new task, Novel Slot Detection (NSD), in the task-oriented dialogue system. NSD aims to discover unknown or out-of-domain slot types to strengthen the capability of a dialogue system based on in-domain training data. Besides, we construct two public NSD datasets, propose several strong NSD baselines, and establish a benchmark for future work. Finally, we conduct exhaustive experiments and qualitative analysis to comprehend key challenges and provide new guidance for future directions.


title: Automatic CT Segmentation from Bounding Box Annotations using Convolutional Neural Networks

abstract: Accurate segmentation for medical images is important for clinical diagnosis. Existing automatic segmentation methods are mainly based on fully supervised learning and have an extremely high demand for precise annotations, which are very costly and time-consuming to obtain. To address this problem, we proposed an automatic CT segmentation method based on weakly supervised learning, by which one could train an accurate segmentation model only with weak annotations in the form of bounding boxes. The proposed method is composed of two steps: 1) generating pseudo masks with bounding box annotations by k-means clustering, and 2) iteratively training a 3D U-Net convolutional neural network as a segmentation model. Some data pre-processing methods are used to improve performance. The method was validated on four datasets containing three types of organs with a total of 627 CT volumes. For liver, spleen and kidney segmentation, it achieved an accuracy of 95.19%, 92.11%, and 91.45%, respectively. Experimental results demonstrate that our method is accurate, efficient, and suitable for clinical use.


title: Lectures on Nonnegative Polynomials and Sums of Squares

abstract: These lecture notes provide an informal introduction to the theory of nonnegative polynomials and sums of squares. We highlight the history and some recent developments, especially the new connections with classical (complex) algebraic geometry and commutative algebra. We briefly discuss the connection to semidefinite programming and applications. We expect the reader to be familiar with algebra and fundamentals of algebraic geometry, on the level of a graduate course, and know basic facts about positive semidefinite matrices.


title: Varieties defined by linear equations have the amalgamation property

abstract: A variety is a class of algebraic structures axiomatized by a set of equations. An equation is linear if there is at most one occurrence of an operation symbol on each side. We show that a variety axiomatized by linear equations has the strong amalgamation property. Suppose further that the language has no constant symbol and, for each equation, either one side is operation-free, or exactly the same variables appear on both sides. Then also the joint embedding property holds. Examples include most varieties defining classical Maltsev conditions. In a few special cases, the above properties are preserved when further unary operations appear in the equations.


title: New insight on the quark condensate beyond chiral limit

abstract: With analyzing the mass function obtained by solving Dyson-Schwinger Equations, we propose a cut-off independent definition of quark condensate beyond chiral limit. With this well-defined condensate, we then analyze the evolution of the condensate and its susceptibility with the current quark mass. The susceptibility shows a critical mass in the neighborhood of the s-quark current mass, which defines a transition boundary for internal hadron dynamics.


title: Estimating air quality co-benefits of energy transition using machine learning

abstract: Estimating health benefits of reducing fossil fuel use from improved air quality provides important rationales for carbon emissions abatement. Simulating pollution concentration is a crucial step of the estimation, but traditional approaches often rely on complicated chemical transport models that require extensive expertise and computational resources. In this study, we develop a novel and succinct machine learning framework that is able to provide precise and robust annual average fine particle (PM2.5) concentration estimations directly from a high-resolution fossil energy use data set. The accessibility and applicability of this framework show great potentials of machine learning approaches for integrated assessment studies. Applications of the framework with Chinese data reveal highly heterogeneous health benefits of reducing fossil fuel use in different sectors and regions in China with a mean of \$34/tCO2 and a standard deviation of \$84/tCO2. Reducing rural and residential coal use offers the highest co-benefits with a mean of \$360/tCO2. Our findings prompt careful policy designs to maximize cost-effectiveness in the transition towards a carbon-neutral energy system.


title: A slightly better bound on the crossing number in terms of the pair-crossing number

abstract: The crossing number of a graph $G$, ${\mbox{cr}}(G)$, is the minimum number of crossings, the pair-crossing number, ${\mbox{pcr}}(G)$, is the minimum number of pairs of crossing edges over all drawings of $G$. In this note we show that ${\mbox{cr}}(G)=O({\mbox{pcr}}(G)^{3/2}\log{\mbox{pcr}}(G))$, which is an improvement of the result of Matou\v{s}ek, by a log factor.


title: Self-Supervised Nonlinear Transform-Based Tensor Nuclear Norm for Multi-Dimensional Image Recovery

abstract: In this paper, we study multi-dimensional image recovery. Recently, transform-based tensor nuclear norm minimization methods are considered to capture low-rank tensor structures to recover third-order tensors in multi-dimensional image processing applications. The main characteristic of such methods is to perform the linear transform along the third mode of third-order tensors, and then compute tensor nuclear norm minimization on the transformed tensor so that the underlying low-rank tensors can be recovered. The main aim of this paper is to propose a nonlinear multilayer neural network to learn a nonlinear transform via the observed tensor data under self-supervision. The proposed network makes use of low-rank representation of transformed tensors and data-fitting between the observed tensor and the reconstructed tensor to construct the nonlinear transformation. Extensive experimental results on tensor completion, background subtraction, robust tensor completion, and snapshot compressive imaging are presented to demonstrate that the performance of the proposed method is better than that of state-of-the-art methods.


title: Magnetic Field and Frequency Dependent AC Susceptibility of High-Tc YBCO Single Crystal

abstract: The temperature dependence of AC susceptibility (ACS) has been measured for a very high-quality plate-like slightly overdoped YBCO single crystal for different frequencies and AC magnetic field amplitudes. Frequency dependence of the ACS is weak irrespective of the magnetic field orientation but significant effects of field orientation with respect to the CuO2 planes and field magnitude on real and imaginary components of fundamental ACS were observed. The height of the loss peak saturates as full penetration of magnetic field is achieved. The peak temperature, Tp, in \c{hi}" shifts to lower temperatures with increasing magnetic field amplitude for both HIIc and HIIab. The value of Tp depends on the orientation of the magnetic field with respect to the crystallographic axes, illustrating the anisotropy in the magnetic flux dynamics. The superconducting transition width increases weakly with increasing magnetic field. The Cole-Cole plot [\c{hi}"(\c{hi}')] shows qualitatively and quantitatively identical features for HIIc and HIIab, independent of the orientation of the magnetic field with respect to the sample geometry and shielding current paths. The general features of \c{hi}"(\c{hi}') implies that, there is no flux creep for the range of frequencies and AC fields employed in this investigation. The maximum value of the loss peak and its position with respect to \c{hi}' in the Cole-Cole plot are largely consistent with the Bean critical state model. Slightly increased peak value in comparison to the predicted peak value within the Bean critical state model is probably due to a weak field dependence of Jc. The results obtained here are compared with various theoretical models and experimental findings. Prominent differences are noted and discussed in details in this study.


title: RPG: Learning Recursive Point Cloud Generation

abstract: In this paper we propose a novel point cloud generator that is able to reconstruct and generate 3D point clouds composed of semantic parts. Given a latent representation of the target 3D model, the generation starts from a single point and gets expanded recursively to produce the high-resolution point cloud via a sequence of point expansion stages. During the recursive procedure of generation, we not only obtain the coarse-to-fine point clouds for the target 3D model from every expansion stage, but also unsupervisedly discover the semantic segmentation of the target model according to the hierarchical/parent-child relation between the points across expansion stages. Moreover, the expansion modules and other elements used in our recursive generator are mostly sharing weights thus making the overall framework light and efficient. Extensive experiments are conducted to demonstrate that our proposed point cloud generator has comparable or even superior performance on both generation and reconstruction tasks in comparison to various baselines, as well as provides the consistent co-segmentation among 3D instances of the same object class.


title: Do we need to use regularization on the thermal part in the NJL model?

abstract: The Nambu--Jona-Lasinio (NJL) model is one of the most useful tools to study non-perturbative strong interaction matter. Because it is a nonrenormalizable model, the choosing of regularization is a subtle issue. In this paper, we discuss one of the general things of the regularization in the NJL model, which is whether we need to use the regularization on the thermal part by evaluating the quark chiral condensate and thermal properties in the two-flavor NJL model. The calculations in this work include three regularization schemes that contain both gauge covariant and invariant schemes. We found no matter which regularization scheme we choose, it is necessary to use the regularization on the thermal part when calculating the chiral condensate related physics quantities and do not use the regularization on the thermal part when calculating the grand potential related physical quantities.


title: Analytic Core Envelope Models for the Crab and the Vela Pulsars

abstract: We study analytic core-envelope models obtained in Negi et al. (1989) under slow rotation. We have regarded in the present study, the lower bound on the estimate of moment of inertia of the Crab pulsar, $I_{\rm Crab,45} \geq 2$ (where $I_{45}=I/10^{45}\rm g{cm}^2$) obtained by Gunn and Ostriker (1969) as a round off value of the recently estimated value of $I_{\rm Crab,45} \geq 1.93$ (Bejger \& Haensel 2003) for the Crab pulsar. If this value of lower bound is combined with the other observational constraint obtained for the Crab pulsar (Crawford \& Demiansky 2003), $G_h = I_{\rm core}/I_{\rm total} \geq 0.7$ ( where $G_h$ is called the glitch healing parameter and represents the fractional moment of inertia of the core component in the starquake mechanism of glitch generation), the models yield the mass, $M$, and surface redshift, $z_a$, for the Crab pulsar in the range, $M = 1.79M_\odot - 1.88M_\odot$; $z_a = 0.374 - 0.393$ ($I_{45} = 2$) for an assigned value of the surface density, $E_a = 2\times 10^{14}\rm g{cm}^{-3}$ (like, Brecher and Caporaso 1976). This assigned value of surface density, in fact, is an outcome of the first observational constraint imposed on our models that further yields the mass $M = 1.96M_\odot $ and surface redshift $z_a=$ 0.414 ($I_{45}= 2$) for the values of $G_h \approx 0.12$, which actually belongs to the observed `central' weighted mean value for the Vela pulsar. These values of mass and surface redshift predict the energy of a gravitationally redshifted electron-positron annihilation line, $E (\rm {MeV}) = 0.511/(1+z_a)$ (Lindblom 1984) in the range about 0.396 - 401 MeV from the Crab and about 0.389 MeV from the Vela pulsar. The evidence of a line feature at about 0.40MeV from the Crab pulsar (Leventhal et al. 1977) agrees quite well with the finding of this study.


title: A tensor-based unified approach for clustering coefficients in financial multiplex networks

abstract: Big data and the use of advanced technologies are relevant topics in the financial market. In this context, complex networks became extremely useful in describing the structure of complex financial systems. In particular, the time evolution property of the stock markets have been described by temporal networks. However, these approaches fail to consider the interactions over time between assets. To overcome this drawback, financial markets can be described by multiplex networks where the different relations between nodes can be conveniently expressed structuring the network through different layers. To catch this kind of interconnections we provide new local clustering coefficients for multiplex networks, looking at the network from different perspectives depending on the node position, as well as a global clustering coefficient for the whole network. We also prove that all the well-known expressions for clustering coefficients existing in the literature, suitably extended to the multiplex framework, may be unified into our proposal. By means of an application to the multiplex temporal financial network, based on the returns of the S\&P100 assets, we show that the proposed measures prove to be effective in describing dependencies between assets over time.


title: Implementing a foveal-pit inspired filter in a Spiking Convolutional Neural Network: a preliminary study

abstract: We have presented a Spiking Convolutional Neural Network (SCNN) that incorporates retinal foveal-pit inspired Difference of Gaussian filters and rank-order encoding. The model is trained using a variant of the backpropagation algorithm adapted to work with spiking neurons, as implemented in the Nengo library. We have evaluated the performance of our model on two publicly available datasets - one for digit recognition task, and the other for vehicle recognition task. The network has achieved up to 90% accuracy, where loss is calculated using the cross-entropy function. This is an improvement over around 57% accuracy obtained with the alternate approach of performing the classification without any kind of neural filtering. Overall, our proof-of-concept study indicates that introducing biologically plausible filtering in existing SCNN architecture will work well with noisy input images such as those in our vehicle recognition task. Based on our results, we plan to enhance our SCNN by integrating lateral inhibition-based redundancy reduction prior to rank-ordering, which will further improve the classification accuracy by the network.


title: A Spectral-Spatial-Dependent Global Learning Framework for Insufficient and Imbalanced Hyperspectral Image Classification

abstract: Deep learning techniques have been widely applied to hyperspectral image (HSI) classification and have achieved great success. However, the deep neural network model has a large parameter space and requires a large number of labeled data. Deep learning methods for HSI classification usually follow a patchwise learning framework. Recently, a fast patch-free global learning (FPGA) architecture was proposed for HSI classification according to global spatial context information. However, FPGA has difficulty extracting the most discriminative features when the sample data is imbalanced. In this paper, a spectral-spatial dependent global learning (SSDGL) framework based on global convolutional long short-term memory (GCL) and global joint attention mechanism (GJAM) is proposed for insufficient and imbalanced HSI classification. In SSDGL, the hierarchically balanced (H-B) sampling strategy and the weighted softmax loss are proposed to address the imbalanced sample problem. To effectively distinguish similar spectral characteristics of land cover types, the GCL module is introduced to extract the long short-term dependency of spectral features. To learn the most discriminative feature representations, the GJAM module is proposed to extract attention areas. The experimental results obtained with three public HSI datasets show that the SSDGL has powerful performance in insufficient and imbalanced sample problems and is superior to other state-of-the-art methods. Code can be obtained at: https://github.com/dengweihuan/SSDGL.


title: Transfer Learning under High-dimensional Generalized Linear Models

abstract: In this work, we study the transfer learning problem under high-dimensional generalized linear models (GLMs), which aim to improve the fit on target data by borrowing information from useful source data. Given which sources to transfer, we propose a transfer learning algorithm on GLM, and derive its $\ell_1/\ell_2$-estimation error bounds as well as a bound for a prediction error measure. The theoretical analysis shows that when the target and source are sufficiently close to each other, these bounds could be improved over those of the classical penalized estimator using only target data under mild conditions. When we don't know which sources to transfer, an algorithm-free transferable source detection approach is introduced to detect informative sources. The detection consistency is proved under the high-dimensional GLM transfer learning setting. We also propose an algorithm to construct confidence intervals of each coefficient component, and the corresponding theories are provided. Extensive simulations and a real-data experiment verify the effectiveness of our algorithms. We implement the proposed GLM transfer learning algorithms in a new R package glmtrans, which is available on CRAN.


title: GINA: Neural Relational Inference From Independent Snapshots

abstract: Dynamical systems in which local interactions among agents give rise to complex emerging phenomena are ubiquitous in nature and society. This work explores the problem of inferring the unknown interaction structure (represented as a graph) of such a system from measurements of its constituent agents or individual components (represented as nodes). We consider a setting where the underlying dynamical model is unknown and where different measurements (i.e., snapshots) may be independent (e.g., may stem from different experiments). We propose GINA (Graph Inference Network Architecture), a graph neural network (GNN) to simultaneously learn the latent interaction graph and, conditioned on the interaction graph, the prediction of a node's observable state based on adjacent vertices. GINA is based on the hypothesis that the ground truth interaction graph -- among all other potential graphs -- allows to predict the state of a node, given the states of its neighbors, with the highest accuracy. We test this hypothesis and demonstrate GINA's effectiveness on a wide range of interaction graphs and dynamical processes.


title: Equilibration of the planar modes of ultracold two dimensional ion crystals in a Penning trap

abstract: Planar thermal equilibration is studied using direct numerical simulations of ultracold two-dimensional (2D) ion crystals in a Penning trap with a rotating wall. The large magnetic field of the trap splits the modes that describe in-plane motion of the ions into two branches: High frequency cyclotron modes dominated by kinetic energy and low frequency $\mathbf{E \times B}$ modes dominated by potential energy associated with thermal position displacements. Using an eigenmode analysis we extract the equilibration rate between these two branches as a function of the ratio of the frequencies that characterize the two branches and observe this equilibration rate to be exponentially suppressed as the ratio increases. Under experimental conditions relevant for current work at NIST, the predicted equilibration time is orders of magnitude longer than any relevant experimental timescales. We also study the coupling rate dependence on the thermal temperature and the number of ions. Besides, we show how increasing the rotating wall strength improves crystal stability. These details of in-plane mode dynamics help set the stage for developing strategies to efficiently cool the in-plane modes and improve the performance of single-plane ion crystals for quantum information processing.


title: Foveal-pit inspired filtering of DVS spike response

abstract: In this paper, we present results of processing Dynamic Vision Sensor (DVS) recordings of visual patterns with a retinal model based on foveal-pit inspired Difference of Gaussian (DoG) filters. A DVS sensor was stimulated with varying number of vertical white and black bars of different spatial frequencies moving horizontally at a constant velocity. The output spikes generated by the DVS sensor were applied as input to a set of DoG filters inspired by the receptive field structure of the primate visual pathway. In particular, these filters mimic the receptive fields of the midget and parasol ganglion cells (spiking neurons of the retina) that sub-serve the photo-receptors of the foveal-pit. The features extracted with the foveal-pit model are used for further classification using a spiking convolutional neural network trained with a backpropagation variant adapted for spiking neural networks.


title: Performance of Non-Parametric Reconstruction Techniques in the Late-Time Universe

abstract: In the context of a Hubble tension problem that is growing in its statistical significance, we reconsider the effectiveness of non-parametric reconstruction techniques which are independent of prescriptive cosmological models. By taking cosmic chronometers, Type Ia Supernovae and baryonic acoustic oscillation data, we compare and contrast two important reconstruction approaches, namely Gaussian processes (GP) and the \textbf{Lo}cally w\textbf{e}ighted \textbf{S}catterplot \textbf{S}moothing together with \textbf{Sim}ulation and \textbf{ex}trapolation method (LOESS-Simex or LS). In the context of these methods, besides not requiring a cosmological model, they also do not require physical parameters in their approach to their reconstruction of data (but they do depend on statistical hyperparameters). We firstly show how both GP and LOESS-Simex can be used to successively reconstruct various data sets to a high level of precision. We then directly compare both approaches in a quantitative manner by considering several factors, such as how well the reconstructions approximate the data sets themselves to how their respective uncertainties evolve. In light of the puzzling Hubble tension, it is important to consider how the uncertain regions evolve over redshift and the methods compare for estimating cosmological parameters at current times. For cosmic chronometers and baryonic acoustic oscillation compiled data sets, we find that GP generically produce smaller variances for the reconstructed data with a minimum value of $\sigma_{\rm GP-min} = 1.1$, while the situation for LS is totally different with a minimum of $\sigma_{\rm LS-min} = 50.8$. Moreover, some of these characteristics can be alleviate at low $z$, where LS presents less underestimation in comparison to GP.


title: Covid-19 diagnosis from x-ray using neural networks

abstract: Corona virus or COVID-19 is a pandemic illness, which has influenced more than million of causalities worldwide and infected a few large number of individuals .Innovative instrument empowering quick screening of the COVID-19 contamination with high precision can be critically useful to the medical care experts. The primary clinical device presently being used for the analysis of COVID-19 is the Reverse record polymerase chain response as known as RT-PCR, which is costly, less-delicate and requires specific clinical work force. X-Ray imaging is an effectively available apparatus that can be a great option in the COVID-19 conclusion. This exploration was taken to examine the utility of computerized reasoning in the quick and exact recognition of COVID-19 from chest X-Ray pictures. The point of this paper is to propose a procedure for programmed recognition of COVID-19 from advanced chest X-Ray images applying pre-prepared profound learning calculations while boosting the discovery exactness. The point is to give over-focused on clinical experts a second pair of eyes through a learning picture characterization models. We distinguish an appropriate Convolutional Neural Network-CNN model through beginning similar investigation of a few mainstream CNN models.


title: Design of an Instrumentation Unit with Datalogger for Heat Flow Measurement in Solid Metals

abstract: An instrumentation unit that measures heat flow along the test column of solid metal samples is described. The study also describes the design of a datalogger using Arduino Mega Microcontroller. The designed instrumentation unit incorporates current and voltage sensing unit, ten thermocouple sensors and amplifiers, microSD card shield, two LCDs, four microcontrolled switching relays and a 12 V DC water pump motor. The heat flow parameters measured by the instrumentation unit includes temperature gradient, heater current and heater voltage. The designed datalogger logs the measured value of temperature, current and voltage at a time of ten minutes. An area of application for this study is in the development of a device for measurement of thermal conductivity of solid metals. It is an improvement over existing heat flow measurement techniques.


title: Metastability for the degenerate Potts Model with negative external magnetic field under Glauber dynamics

abstract: We consider the ferromagnetic q-state Potts model on a finite grid graph with non-zero external field and periodic boundary conditions. The system evolves according to Glauber-type dynamics described by the Metropolis algorithm, and we focus on the low temperature asymptotic regime. We analyze the case of negative external magnetic field. In this scenario there are $q-1$ stable configurations and a unique metastable state. We describe the asymptotic behavior of the first hitting time from the metastable to the set of the stable states as $\beta\to\infty$ in probability, in expectation, and in distribution. We also identify the exponent of the mixing time and find an upper and a lower bound for the spectral gap. We identify the union of all minimal gates for the transition from the metastable state both to the set of the stable states and to a fixed stable state. Furthermore, we identify the tube of typical trajectories for these two transitions. The accurate knowledge of the energy landscape allows us to give precise asymptotics for the expected transition time from the unique metastable state to the set of the stable configurations.


title: Gravitational lensing by two photon spheres in a black-bounce spacetime in strong deflection limits

abstract: We investigate gravitational lensing by a primary photon sphere which is a sphere filled with unstable circular light orbits, and by a secondary photon sphere on a wormhole throat in a black-bounce spacetime which is suggested in [F. S. N. Lobo, M. E. Rodrigues, M. V. d. S. Silva, A. Simpson, and M. Visser, Phys. Rev. D 103, 084052 (2021)] in strong deflection limits. There is an antiphoton sphere between the primary photon sphere and the secondary photon sphere. If a light source and an observer are on the same side of the wormhole throat, in addition to an infinite number of images slightly outside of both the primary and secondary photon spheres, an infinite number of images formed by light rays reflected by the potential barrier near the antiphoton sphere, slightly inside the primary photon sphere, might be observed.


title: Optimal transport with $f$-divergence regularization and generalized Sinkhorn algorithm

abstract: Entropic regularization provides a generalization of the original optimal transport problem. It introduces a penalty term defined by the Kullback-Leibler divergence, making the problem more tractable via the celebrated Sinkhorn algorithm. Replacing the Kullback-Leibler divergence with a general $f$-divergence leads to a natural generalization. The case of divergences defined by superlinear functions was recently studied by Di Marino and Gerolin. Using convex analysis, we extend the theory developed so far to include all $f$-divergences defined by functions of Legendre type, and prove that under some mild conditions, strong duality holds, optimums in both the primal and dual problems are attained, the generalization of the $c$-transform is well-defined, and we give sufficient conditions for the generalized Sinkhorn algorithm to converge to an optimal solution. We propose a practical algorithm for computing an approximate solution of the optimal transport problem with $f$-divergence regularization via the generalized Sinkhorn algorithm. Finally, we present experimental results on synthetic 2-dimensional data, demonstrating the effects of using different $f$-divergences for regularization, which influences convergence speed, numerical stability and sparsity of the optimal coupling.

categories: math.OC cs.IT cs.LG math.FA math.IT stat.ML


title: Conditional Deep Convolutional Neural Networks for Improving the Automated Screening of Histopathological Images

abstract: Semantic segmentation of breast cancer metastases in histopathological slides is a challenging task. In fact, significant variation in data characteristics of histopathology images (domain shift) make generalization of deep learning to unseen data difficult. Our goal is to address this challenge by using a conditional Fully Convolutional Network (co-FCN) whose output can be conditioned at run time, and which can improve its performance when a properly selected set of reference slides are used to condition the output. We adapted to our task a co-FCN originally applied to organs segmentation in volumetric medical images and we trained it on the Whole Slide Images (WSIs) from three out of five medical centers present in the CAMELYON17 dataset. We tested the performance of the network on the WSIs of the remaining centers. We also developed an automated selection strategy for selecting the conditioning subset, based on an unsupervised clustering process applied to a target-specific set of reference patches, followed by a selection policy that relies on the cluster similarities with the input patch. We benchmarked our proposed method against a U-Net trained on the same dataset with no conditioning. The conditioned network shows better performance that the U-Net on the WSIs with Isolated Tumor Cells and micro-metastases from the medical centers used as test. Our contributions are an architecture which can be applied to the histopathology domain and an automated procedure for the selection of conditioning data.


title: Graphs whose all maximal induced forests are of the same order

abstract: In this paper, a new concept in graphs namely well-f-coveredness is introduced. We characterize all graphs with such property, whose maximum induced forests are of boundary order. Also we prove several propositions concerning with obtaining large well-f-covered graphs from smaller ones. By the way, some interesting classes of well-f-covered graphs are characterized.


title: Resolving a challenging supersymmetric low-scale seesaw scenario at the ILC

abstract: We investigate a scenario inspired by natural supersymmetry, where neutrino data is explained within a low-scale seesaw scenario. For this the Minimal Supersymmetric Standard Model is extended by adding light right-handed neutrinos and their superpartners, the R-sneutrinos. Moreover, we consider the lightest electroweakinos to be higgsino-like. We demonstrate that a prospective international $e^+ e^-$ linear collider with a center of mass energy of 1 TeV will be able to discover sleptons in scenarios which can be difficult for current colliders. Moreover, we also show that a measurement of the spectrum will be possible within 1-3 per-cent accuracy.


title: Distribution dependent SDEs driven by fractional Brownian motions

abstract: In this paper we study a class of distribution dependent stochastic differential equations driven by fractional Brownian motions with Hurst parameter H\in(1/2,1). We prove the well-posedness of this type equations, and then establish a general result on the Bismut formula for the Lions derivative by using Malliavin calculus. As applications, we provide the Bismut formulas of this kind for both non-degenerate and degenerate cases, and obtain the estimates of the Lions derivative and the total variation distance between the laws of two solutions.


title: String theory, Einstein, and the identity of physics: Theory assessment in absence of the empirical

abstract: String theorists are certain that they are practicing physicists. Yet, some of their recent critics deny this. This paper argues that this conflict is really about who holds authority in making rational judgment in theoretical physics. At bottom, the conflict centers on the question: who is a proper physicist? To illustrate and understand the differing opinions about proper practice and identity, we discuss different appreciations of epistemic virtues and explanation among string theorists and their critics, and how these have been sourced in accounts of Einstein's biography. Just as Einstein is claimed by both sides, historiography offers examples of both successful and unsuccessful non-empirical science. History of science also teaches that times of conflict are often times of innovation, in which novel scholarly identities may come into being. At the same time, since the contributions of Thomas Kuhn historians have developed a critical attitude towards formal attempts and methodological recipes for epistemic demarcation and justification of scientific practice. These are now, however, being considered in the debate on non-empirical physics.

categories: physics.hist-ph gr-qc hep-ex hep-ph hep-th


title: Comparative Analysis of the Model for Exoplanet Atmosphere Outflow

abstract: Modeling the outflow of planetary atmospheres is important for understanding the evolution of exoplanet systems and for interpreting their observations. Modern theoretical models of exoplanet atmospheres become increasingly detailed and multicomponent, and this makes difficulties for engaging new researchers in the scope. Here, for the first time, we present the results of testing the gas-dynamic method incorporated in our aeronomic model, which has been proposed earlier. Undertaken tests support the correctness of the method and validate its applicability. For modeling the planetary wind, we propose a new hydrodynamic model equipped with a phenomenological function of heating by stellar UV radiation. The general flow in this model well agrees with results obtained in more detailed aeronomic models. The proposed model can be used for both methodical purposes and testing the gas-dynamic modules of self-consistent chemical-dynamic models of the planetary wind.


title: BPFroid: Robust Real Time Android Malware Detection Framework

abstract: We present BPFroid -- a novel dynamic analysis framework for Android that uses the eBPF technology of the Linux kernel to continuously monitor events of user applications running on a real device. The monitored events are collected from different components of the Android software stack: internal kernel functions, system calls, native library functions, and the Java API framework. As BPFroid hooks these events in the kernel, a malware is unable to trivially bypass monitoring. Moreover, using eBPF doesn't require any change to the Android system or the monitored applications. We also present an analytical comparison of BPFroid to other malware detection methods and demonstrate its usage by developing novel signatures to detect suspicious behavior that are based on it. These signatures are then evaluated using real apps. We also demonstrate how BPFroid can be used to capture forensic artifacts for further investigation. Our results show that BPFroid successfully alerts in real time when a suspicious behavioral signature is detected, without incurring a significant runtime performance overhead.


title: On momentum operators given by Killing vectors whose integral curves are geodesics

abstract: We consider momentum operators on intrinsically curved manifolds. Given that the momentum operators are Killing vector fields whose integral curves are geodesics, it is shown that the corresponding manifold is either flat, or otherwise of compact type with positive constant sectional curvature and dimension equal to 1, 3 or 7. Explicit representations of momentum operators and the associated Casimir element will be discussed for the 3-sphere $S^3$. It will be verified that the structure constants of the underlying Lie algebra are proportional to $2\hbar/R$, where $R$ is the curvature radius of $S^3$. This results in a countable energy and momentum spectrum of freely moving particles in $S^3$. It is shown that the maximum resolution of the possible momenta is given by the de-Broglie wave length $\lambda_R=\pi R$, which is identical to the diameter of the manifold. The corresponding covariant position operators are defined in terms of geodesic normal coordinates and the associated commutator relations of position and momentum are established.


title: w(1+infinity) and the Celestial Sphere

abstract: It is shown that the infinite tower of tree-level soft graviton symmetries in asymptotically flat 4D quantum gravity can be organized into a single chiral 2D Kac-Moody symmetry based on the wedge algebra of w(1+infinity). The infinite towers of soft photon or gluon symmetries also transform irreducibly under w(1+infinity).


title: Is Sluice Resolution really just Question Answering?

abstract: Sluice resolution is a problem where a system needs to output the corresponding antecedents of wh-ellipses. The antecedents are elided contents behind the wh-words but are implicitly referred to using contexts. Previous work frames sluice resolution as question answering where this setting outperforms all its preceding works by large margins. Ellipsis and questions are referentially dependent expressions (anaphoras) and retrieving the corresponding antecedents are like answering questions to output pieces of clarifying information. However, the task is not fully solved. Therefore, we want to further investigate what makes sluice resolution differ to question answering and fill in the error gaps. We also present some results using recent state-of-the-art question answering systems which improve the previous work (86.01 to 90.39 F1).


title: Robust Hypothesis Testing with Wasserstein Uncertainty Sets

abstract: We consider a data-driven robust hypothesis test where the optimal test will minimize the worst-case performance regarding distributions that are close to the empirical distributions with respect to the Wasserstein distance. This leads to a new non-parametric hypothesis testing framework based on distributionally robust optimization, which is more robust when there are limited samples for one or both hypotheses. Such a scenario often arises from applications such as health care, online change-point detection, and anomaly detection. We study the computational and statistical properties of the proposed test by presenting a tractable convex reformulation of the original infinite-dimensional variational problem exploiting Wasserstein's properties and characterizing the radii selection for the uncertainty sets. We also demonstrate the good performance of our method on synthetic and real data.


title: Ultrafast circularly polarized pulses tunable from the vacuum to deep ultraviolet

abstract: We experimentally demonstrate the efficient generation of circularly polarized pulses tunable from the vacuum to deep ultraviolet (160-380 nm) through resonant dispersive wave emission from optical solitons in a gas-filled hollow capillary fiber. In the deep ultraviolet we measure up to 13 microjoule of pulse energy, and from numerical simulations, we estimate the shortest output pulse duration to be 8.5 fs. We also experimentally verify that simply scaling the pulse energy by 3/2 between linearly and circularly polarized pumping closely reproduces the soliton and dispersive wave dynamics. Based on previous results with linearly polarized self-compression and resonant dispersive wave emission, we expect our technique to be extended to produce circularly polarized few-fs pulses further into the vacuum ultraviolet, and few to sub-fs circularly polarized pulses in the near-infrared.


title: Temporal interfaces by instantaneously varying boundary conditions

abstract: Temporal metamaterials have been recently exploited as a novel platform for conceiving several electromagnetic and optical devices based on the anomalous scattering response arising at a single or multiple sudden changes of the material properties. However, they are difficult to implement in realistic scenarios by switching the permittivity of a material in time, and new strategies to achieve time interfaces in a feasible manner must be identified. In this paper, we investigate the possibility to realize a temporal metamaterial without acting on the material properties, but rather on the effective refractive index and wave impedance perceived by the wave during the propagation in an empty guiding structure by varying the boundaries in time. We demonstrate analytically and through numerical experiments that suddenly changing the physical distance between the metallic plates of a parallel-plate waveguide will induce an effective temporal interface. In addition to the standard backward and forward scattered fields at different frequencies due to the temporal interface, we also identify the presence of a static field necessary to satisfy the continuity of the electromagnetic field across the interface. The proposed concept can be extended to temporally controlled metasurfaces, opening an easier path to the design and realization of novel devices based on time-varying metamaterials at microwave and optical frequencies.


title: Corn Yield Prediction with Ensemble CNN-DNN

abstract: We investigate the predictive performance of two novel CNN-DNN machine learning ensemble models in predicting county-level corn yields across the US Corn Belt (12 states). The developed data set is a combination of management, environment, and historical corn yields from 1980-2019. Two scenarios for ensemble creation are considered: homogenous and heterogeneous ensembles. In homogenous ensembles, the base CNN-DNN models are all the same, but they are generated with a bagging procedure to ensure they exhibit a certain level of diversity. Heterogenous ensembles are created from different base CNN-DNN models which share the same architecture but have different levels of depth. Three types of ensemble creation methods were used to create several ensembles for either of the scenarios: Basic Ensemble Method (BEM), Generalized Ensemble Method (GEM), and stacked generalized ensembles. Results indicated that both designed ensemble types (heterogenous and homogenous) outperform the ensembles created from five individual ML models (linear regression, LASSO, random forest, XGBoost, and LightGBM). Furthermore, by introducing improvements over the heterogeneous ensembles, the homogenous ensembles provide the most accurate yield predictions across US Corn Belt states. This model could make 2019 yield predictions with a root mean square error of 866 kg/ha, equivalent to 8.5% relative root mean square, and could successfully explain about 77% of the spatio-temporal variation in the corn grain yields. The significant predictive power of this model can be leveraged for designing a reliable tool for corn yield prediction which will, in turn, assist agronomic decision-makers.


title: WfCommons: A Framework for Enabling Scientific Workflow Research and Development

abstract: Scientific workflows are a cornerstone of modern scientific computing. They are used to describe complex computational applications that require efficient and robust management of large volumes of data, which are typically stored/processed on heterogeneous, distributed resources. The workflow research and development community has employed a number of methods for the quantitative evaluation of existing and novel workflow algorithms and systems. In particular, a common approach is to simulate workflow executions. In previous works, we have presented a collection of tools that have been adopted by the community for conducting workflow research. Despite their popularity, they suffer from several shortcomings that prevent easy adoption, maintenance, and consistency with the evolving structures and computational requirements of production workflows. In this work, we present WfCommons, a framework that provides a collection of tools for analyzing workflow executions, for producing generators of synthetic workflows, and for simulating workflow executions. We demonstrate the realism of the generated synthetic workflows by comparing their simulated executions to real workflow executions. We also contrast these results with results obtained when using the previously available collection of tools. We find that the workflow generators that are automatically constructed by our framework not only generate representative same-scale workflows (i.e., with structures and task characteristics distributions that resemble those observed in real-world workflows), but also do so at scales larger than that of available real-world workflows. Finally, we conduct a case study to demonstrate the usefulness of our framework for estimating the energy consumption of large-scale workflow executions.


title: A coupled discontinuous Galerkin-Finite Volume framework for solving gas dynamics over embedded geometries

abstract: We present a computational framework for solving the equations of inviscid gas dynamics using structured grids with embedded geometries. The novelty of the proposed approach is the use of high-order discontinuous Galerkin (dG) schemes and a shock-capturing Finite Volume (FV) scheme coupled via an $hp$ adaptive mesh refinement ($hp$-AMR) strategy that offers high-order accurate resolution of the embedded geometries. The $hp$-AMR strategy is based on a multi-level block-structured domain partition in which each level is represented by block-structured Cartesian grids and the embedded geometry is represented implicitly by a level set function. The intersection of the embedded geometry with the grids produces the implicitly-defined mesh that consists of a collection of regular rectangular cells plus a relatively small number of irregular curved elements in the vicinity of the embedded boundaries. High-order quadrature rules for implicitly-defined domains enable high-order accuracy resolution of the curved elements with a cell-merging strategy to address the small-cell problem. The $hp$-AMR algorithm treats the system with a second-order finite volume scheme at the finest level to dynamically track the evolution of solution discontinuities while using dG schemes at coarser levels to provide high-order accuracy in smooth regions of the flow. On the dG levels, the methodology supports different orders of basis functions on different levels. The space-discretized governing equations are then advanced explicitly in time using high-order Runge-Kutta algorithms. Numerical tests are presented for two-dimensional and three-dimensional problems involving an ideal gas. The results are compared with both analytical solutions and experimental observations and demonstrate that the framework provides high-order accuracy for smooth flows and accurately captures solution discontinuities.


title: Detecting an Itinerant Optical Photon Twice without Destroying It

abstract: Nondestructive quantum measurements are central for quantum physics applications ranging from quantum sensing to quantum computing and quantum communication. Employing the toolbox of cavity quantum electrodynamics, we here concatenate two identical nondestructive photon detectors to repeatedly detect and track a single photon propagating through a $60\,\mathrm{m}$ long optical fiber. By demonstrating that the combined signal-to-noise ratio of the two detectors surpasses each single one by about two orders of magnitude, we experimentally verify a key practical benefit of cascaded non-demolition detectors compared to conventional absorbing devices.


title: Three-dimensional multimodal medical imaging system based on free-hand ultrasound and structured light

abstract: We propose a three-dimensional (3D) multimodal medical imaging system that combines freehand ultrasound and structured light 3D reconstruction in a single coordinate system without requiring registration. To the best of our knowledge, these techniques have not been combined before as a multimodal imaging technique. The system complements the internal 3D information acquired with ultrasound, with the external surface measured with the structure light technique. Moreover, the ultrasound probe's optical tracking for pose estimation was implemented based on a convolutional neural network. Experimental results show the system's high accuracy and reproducibility, as well as its potential for preoperative and intraoperative applications. The experimental multimodal error, or the distance from two surfaces obtained with different modalities, was 0.12 mm. The code is available as a Github repository.


title: Exploring multimessenger signals from heavy dark matter decay with EDGES 21-cm result and IceCube

abstract: The primordial heavy or superheavy dark matter that could be created during the reheating or preheating stage of the Universe can undergo QCD cascade decay process to produce leptons or $\gamma$ as end products. Although these could be rare decays, the energy involved in such decay process can influence 21-cm signal of hyperfine transition of neutral hydrogen during the reionization era. We explore in this work, possible multimessenger signals of such heavy dark matter decays. One of which could be the source of ultra high energy neutrino (of $\sim$ PeV energy regime) signals at IceCube detector whereas the other signal attributes to the cooling/heating of the baryons by the exchange of energy involved in this decay process and its consequent influence on 21-cm signal. The effect of evaporation of primordial black holes and baryon scattering with light cold dark matter are also included in relation to the evolution of the 21-cm signal temperature and their influence are also discussed.


title: Constructing Flow Graphs from Procedural Cybersecurity Texts

abstract: Following procedural texts written in natural languages is challenging. We must read the whole text to identify the relevant information or identify the instruction flows to complete a task, which is prone to failures. If such texts are structured, we can readily visualize instruction-flows, reason or infer a particular step, or even build automated systems to help novice agents achieve a goal. However, this structure recovery task is a challenge because of such texts' diverse nature. This paper proposes to identify relevant information from such texts and generate information flows between sentences. We built a large annotated procedural text dataset (CTFW) in the cybersecurity domain (3154 documents). This dataset contains valuable instructions regarding software vulnerability analysis experiences. We performed extensive experiments on CTFW with our LM-GNN model variants in multiple settings. To show the generalizability of both this task and our method, we also experimented with procedural texts from two other domains (Maintenance Manual and Cooking), which are substantially different from cybersecurity. Our experiments show that Graph Convolution Network with BERT sentence embeddings outperforms BERT in all three domains


title: Enhancing energy transfer in quantum systems via periodic driving: Floquet master equations

abstract: We provide a comprehensive study of the energy transfer phenomenon -- populating a given energy level -- in 3- and 4-level quantum systems coupled to two thermal baths. In particular, we examine the effects of an external periodic driving and the coherence induced by the baths on the efficiency of the energy transfer. We consider the Floquet-Lindblad and the Floquet-Redfield scenarios, which both are in the Born-Markov, weak-coupling regime but differ in the treatment of the secular approximation, and for the latter, we develop an appropriate Floquet-type master equation by employing a partial secular approximation. Throughout the whole analysis we keep Lamb-shift corrections in the master equations. We observe that, especially in the Floquet-Redfield scenario, the driving field can enhance the energy transfer efficiency compared to the nondriven scenario. In addition, unlike degenerate systems where Lamb-shift corrections do not contribute significantly on the energy transfer, in the Redfield and the Floquet-Redfield scenarios these corrections have nonnegligible effects.


title: Green Tethered UAVs for EMF-Aware Cellular Networks

abstract: A prevalent theory circulating among the non-scientific community is that the intensive deployment of base stations over the territory significantly increases the level of electromagnetic field (EMF) exposure and affects population health. To alleviate this concern, in this work, we propose a network architecture that introduces tethered unmanned aerial vehicles (TUAVs) carrying green antennas to minimize the EMF exposure while guaranteeing a high data rate for users. In particular, each TUAV can attach itself to one of the possible ground stations at the top of some buildings. The location of the TUAVs, transmit power of user equipment and association policy are optimized to minimize the EMF exposure. Unfortunately, the problem turns out to be mixed-integer non-linear programming (MINLP), which is non-deterministic polynomial-time (NP) hard. We propose an efficient low-complexity algorithm composed of three submodules. Firstly, we propose an algorithm based on the greedy principle to determine the optimal association matrix between the users and base stations. Then, we offer two approaches, a modified K-mean and shrink and realign (SR) process, to associate each TUAV with a ground station. Finally, we put forward two algorithms based on the golden search and SR process to adjust the TUAV's position within the hovering area over the building. After that, we consider the dual problem that maximizes the sum rate while keeping the exposure below a predefined value, such as the level enforced by the regulation. Next, we perform extensive simulations to show the effectiveness of the proposed TUAVs to reduce the exposure compared to various architectures. Eventually, we show that TUAVs with green antennas can effectively mitigate the EMF exposure by more than 20% compared to fixed green small cells while achieving a higher data rate.


title: Calibration of flux crosstalk in large-scale flux-tunable superconducting quantum circuits

abstract: Magnetic flux tunability is an essential feature in most approaches to quantum computing based on superconducting qubits. Independent control of the fluxes in multiple loops is hampered by crosstalk. Calibrating flux crosstalk becomes a challenging task when the circuit elements interact strongly. We present a novel approach to flux crosstalk calibration, which is circuit model independent and relies on an iterative process to gradually improve calibration accuracy. This method allows us to reduce errors due to the inductive coupling between loops. The calibration procedure is automated and implemented on devices consisting of tunable flux qubits and couplers with up to 27 control loops. We devise a method to characterize the calibration error, which is used to show that the errors of the measured crosstalk coefficients are all below 0.17%.


title: Integer Dynamics

abstract: Let $b \geq 2$ be an integer, and write the base $b$ expansion of any non-negative integer $n$ as $n=x_0+x_1b+\dots+ x_{d}b^{d}$, with $x_d>0$ and $ 0 \leq x_i < b$ for $i=0,\dots,d$. Let $\phi(x)$ denote an integer polynomial such that $\phi(n) >0$ for all $n>0$. Consider the map $S_{\phi,b}: {\mathbb Z}_{\geq 0} \to {\mathbb Z}_{\geq 0}$, with $ S_{\phi,b}(n) := \phi(x_0)+ \dots + \phi(x_d)$. It is known that the orbit set $\{n,S_{\phi,b}(n), S_{\phi,b}(S_{\phi,b}(n)), \dots \}$ is finite for all $n>0$. Each orbit contains a finite cycle, and for a given $b$, the union of such cycles over all orbit sets is finite. Fix now an integer $\ell\geq 1$ and let $\phi(x)=x^2$. We show that the set of bases $b\geq 2$ which have at least one cycle of length $\ell$ always contains an arithmetic progression and thus has positive lower density. We also show that a 1978 conjecture of Hasse and Prichett on the set of bases with exactly two cycles needs to be modified, raising the possibility that this set might not be finite.


title: Dash Sylvereye: A WebGL-powered Library for Dashboard-driven Visualization of Large Street Networks

abstract: State-of-the-art open network visualization tools like Gephi, KeyLines, and Cytoscape are not suitable for studying street networks with thousands of roads since they do not support simultaneously polylines for edges, navigable maps, GPU-accelerated rendering, interactivity, and the means for visualizing multivariate data. To fill this gap, the present paper presents Dash Sylvereye: a new Python library to produce interactive visualizations of primal street networks on top of tiled web maps. Thanks to its integration with the Dash framework, Dash Sylvereye can be used to develop web dashboards around temporal and multivariate street data by coordinating the various elements of a Dash Sylvereye visualization with other plotting and UI components provided by the Dash framework. Additionally, Dash Sylvereye provides convenient functions to easily import OpenStreetMap street topologies obtained with the OSMnx library. Moreover, Dash Sylvereye uses WebGL for GPU-accelerated rendering when redrawing the road network. We conduct experiments to assess the performance of Dash Sylvereye on a commodity computer when exploiting software acceleration in terms of frames per second, CPU time, and frame duration. We show that Dash Sylvereye can offer fast panning speeds, close to 60 FPS, and CPU times below 20 ms, for street networks with thousands of edges, and above 24 FPS, and CPU times below 40 ms, for networks with dozens of thousands of edges. Additionally, we conduct a performance comparison against two state-of-the-art street visualization tools. We found Dash Sylvereye to be competitive when compared to the state-of-the-art visualization libraries Kepler.gl and city-roads. Finally, we describe a web dashboard application that exploits Dash Sylvereye for the analysis of a SUMO vehicle traffic simulation.


title: On the Theory of Reinforcement Learning with Once-per-Episode Feedback

abstract: We study a theory of reinforcement learning (RL) in which the learner receives binary feedback only once at the end of an episode. While this is an extreme test case for theory, it is also arguably more representative of real-world applications than the traditional requirement in RL practice that the learner receive feedback at every time step. Indeed, in many real-world applications of reinforcement learning, such as self-driving cars and robotics, it is easier to evaluate whether a learner's complete trajectory was either "good" or "bad," but harder to provide a reward signal at each step. To show that learning is possible in this more challenging setting, we study the case where trajectory labels are generated by an unknown parametric model, and provide a statistically and computationally efficient algorithm that achieves sublinear regret.


title: Graph Similarity Description: How Are These Graphs Similar?

abstract: How do social networks differ across platforms? How do information networks change over time? Answering questions like these requires us to compare two or more graphs. This task is commonly treated as a measurement problem, but numerical answers give limited insight. Here, we argue that if the goal is to gain understanding, we should treat graph similarity assessment as a description problem instead. We formalize this problem as a model selection task using the Minimum Description Length principle, capturing the similarity of the input graphs in a common model and the differences between them in transformations to individual models. To discover good models, we propose Momo, which breaks the problem into two parts and introduces efficient algorithms for each. Through an extensive set of experiments on a wide range of synthetic and real-world graphs, we confirm that Momo works well in practice.


title: Exclusions of smooth actions on spheres of the non-split extension of $C_2$ by $SL(2,5)$

abstract: There are four groups $G$ fitting into a short exact sequence $ 1\rightarrow SL(2,5)\rightarrow G\rightarrow C_2\rightarrow 1, $ where $SL(2,5)$ is the special linear group of $(2\times 2)$-matrices with entries in the field of five elements. Except for the direct product of $SL(2,5)$ and $C_2$, there are two other semidirect products of these two groups and just one non-semidirect product $SL(2,5).C_2$, considered in this paper. It is known that each finite nonsolvable group can act on spheres with arbitrary positive number of fixed points. Clearly, $SL(2,5).C_2$ is a nonsolvable group. Moreover, it turns out that $SL(2,5).C_2$ possesses a free representation and as such, can potentially act pseudofreely with nonempty fixed point set on manifolds of arbitrarily large dimension. We prove that $SL(2,5).C_2$ cannot act effectively with odd number of fixed points on low-dimensional spheres. In the special case of effective one fixed point actions, we are able to exclude a wider class of spheres. Moreover, we prove that specific pseudofree one fixed point actions of $SL(2,5).C_2$ on spheres do not exist.


title: Optimality conditions for robust nonsmooth multiobjective optimization problems in Asplund spaces

abstract: We employ a fuzzy optimality condition for the Frechet subdifferential and some advanced techniques of variational analysis such as formulae for the subdifferentials of an infinite family of nonsmooth functions and the coderivative scalarization to investigate robust optimality condition and robust duality for a nonsmooth/nonconvex multiobjective optimization problem dealing with uncertain constraints in arbitrary Asplund spaces. We establish necessary optimality conditions for weakly and properly robust efficient solutions of the problem in terms of the Mordukhovich subdifferentials of the related functions. Further, sufficient conditions for weakly and properly robust efficient solutions as well as for robust efficient solutions of the problem are provided by presenting new concepts of generalized convexity. Finally we formulate a Mond-Weir-type robust dual problem to the reference problem, and examine weak, strong, and converse duality relations between them under the pseudo convexity assumptions.


title: Deconvolutional Density Network: Modeling Free-Form Conditional Distributions

abstract: Conditional density estimation (CDE) is the task of estimating the probability of an event conditioned on some inputs. A neural network (NN) can also be used to compute the output distribution for continuous-domain, which can be viewed as an extension of regression task. Nevertheless, it is difficult to explicitly approximate a distribution without knowing the information of its general form a priori. In order to fit an arbitrary conditional distribution, discretizing the continuous domain into bins is an effective strategy, as long as we have sufficiently narrow bins and very large data. However, collecting enough data is often hard to reach and falls far short of that ideal in many circumstances, especially in multivariate CDE for the curse of dimensionality. In this paper, we demonstrate the benefits of modeling free-form conditional distributions using a deconvolution-based neural net framework, coping with data deficiency problems in discretization. It has the advantage of being flexible but also takes advantage of the hierarchical smoothness offered by the deconvolution layers. We compare our method to a number of other density-estimation approaches and show that our Deconvolutional Density Network (DDN) outperforms the competing methods on many univariate and multivariate tasks. The code of DDN is available at https://github.com/NBICLAB/DDN.