title: Atomistic simulation of martensite microstructural evolution during temperature driven $\beta \rightarrow \alpha$ transition in pure titanium

abstract: Titanium and its alloys undergo temperature-driven martensitic phase transformation leading to the development of complex microstructures at mesoscale. Optimizing the mechanical properties of these materials requires an understanding of the correlations between the processing parameters and the mechanisms involved in the microstructure formation and evolution. In this work, we study the temperature-induced phase transition from BCC to HCP in pure titanium by atomistic modeling and investigate the influence of local stress conditions on the final martensite morphology. We simulate the transition under different stress conditions and carry a detailed analysis of the microstructural evolution during transition using a deformation gradient map that characterizes the local lattice distortion. The analysis of final martensite morphologies shows how mechanical constraints influence the number of selected variants and the number/type of defects in the final microstructure. We give insight on the origin and structure of different interfaces experimentally observed, such as inter-variant boundaries and antiphase defects. In particular, we show how antiphase defects originate from the two-fold degeneracy shuffling displacement arriving during the transition and how the triple junction formation drives the texture evolution when local stresses prevent a free shape change of the matrix surrounding the growing martensite nuclei.


title: Self-supervised Temporal Discriminative Learning for Video Representation Learning

abstract: Temporal cues in videos provide important information for recognizing actions accurately. However, temporal-discriminative features can hardly be extracted without using an annotated large-scale video action dataset for training. This paper proposes a novel Video-based Temporal-Discriminative Learning (VTDL) framework in self-supervised manner. Without labelled data for network pretraining, temporal triplet is generated for each anchor video by using segment of the same or different time interval so as to enhance the capacity for temporal feature representation. Measuring temporal information by time derivative, Temporal Consistent Augmentation (TCA) is designed to ensure that the time derivative (in any order) of the augmented positive is invariant except for a scaling constant. Finally, temporal-discriminative features are learnt by minimizing the distance between each anchor and its augmented positive, while the distance between each anchor and its augmented negative as well as other videos saved in the memory bank is maximized to enrich the representation diversity. In the downstream action recognition task, the proposed method significantly outperforms existing related works. Surprisingly, the proposed self-supervised approach is better than fully-supervised methods on UCF101 and HMDB51 when a small-scale video dataset (with only thousands of videos) is used for pre-training. The code has been made publicly available on https://github.com/FingerRec/Self-Supervised-Temporal-Discriminative-Representation-Learning-for-Video-Action-Recognition.


title: Effect of dc voltage pulsing on high-vacuum electrical breakdowns near Cu surfaces

abstract: Vacuum electrical breakdowns, also known as vacuum arcs, are a limiting factor in many devices that are based on application of high electric fields near their component surfaces. Understanding of processes that lead to breakdown events may help mitigating their appearance and suggest ways for improving operational efficiency of power-consuming devices. Stability of surface performance at a given value of the electric field is affected by the conditioning state, i.e. how long the surface was exposed to this field. Hence, optimization of the surface conditioning procedure can significantly speed up the preparatory steps for high-voltage applications. In this article, we use pulsed dc systems to optimize the surface conditioning procedure of copper electrodes, focusing on the effects of voltage recovery after breakdowns, variable repetition rates as well as long waiting times between pulsing runs. Despite the differences in the experimental scales, ranging from $10^{-4}$ s between pulses, up to pulsing breaks of $10^5$ s, the experiments show that the longer the idle time between the pulses, the more probable it is that the next pulse produces a breakdown. We also notice that secondary breakdowns, i.e. those which correlate with the previous ones, take place mainly during the voltage recovery stage. We link these events with deposition of residual atoms from vacuum on the electrode surfaces. Minimizing the number of pauses during the voltage recovery stage reduces power losses due to secondary breakdown events improving efficiency of the surface conditioning.


title: Fixing the functoriality of Khovanov homology: a simple approach

abstract: Khovanov homology is functorial up to sign with respect to link cobordisms. The sign indeterminacy has been fixed by several authors, by extending the original theory both conceptually and algebraically. In this paper we propose an alternative approach: we stay in the classical setup and fix the functoriality by simply adjusting the signs of the morphisms associated to the Reidemeister moves and the Morse moves.


title: Search@Home: A Commercial Off-the-Shelf Environment for Investigating Optimization Problems

abstract: Search heuristics, particularly those that are evaluation-driven (e.g., evolutionary computation), are often performed in simulation, enabling exploration of large solution spaces. Yet simulation may not truly replicate real-world conditions. However, search heuristics have been proven to be successful when executed in real-world constrained environments that limit searching ability even with broad solution spaces. Moreover, searching in situ provides the added benefit of exposing the search heuristic to the exact conditions and uncertainties that the deployed application will face. Software engineering problems can benefit from in situ search via instantiation and analysis in real-world environments. This paper introduces Search@Home, an environment comprising heterogeneous commercial off-the-shelf devices enabling rapid prototyping of optimization strategies for real-world problems.


title: Constant Congestion Brambles

abstract: A bramble in an undirected graph $G$ is a family of connected subgraphs of $G$ such that for every two subgraphs $H_1$ and $H_2$ in the bramble either $V(H_1) \cap V(H_2) \neq \emptyset$ or there is an edge of $G$ with one endpoint in $V(H_1)$ and the second endpoint in $V(H_2)$. The order of the bramble is the minimum size of a vertex set that intersects all elements of a bramble. Brambles are objects dual to treewidth: As shown by Seymour and Thomas, the maximum order of a bramble in an undirected graph $G$ equals one plus the treewidth of $G$. However, as shown by Grohe and Marx, brambles of high order may necessarily be of exponential size: In a constant-degree $n$-vertex expander a bramble of order $\Omega(n^{1/2+\delta})$ requires size exponential in $\Omega(n^{2\delta})$ for any fixed $\delta \in (0,\frac{1}{2}]$. On the other hand, the combination of results of Grohe and Marx and Chekuri and Chuzhoy shows that a graph of treewidth $k$ admits a bramble of order $\widetilde{\Omega}(k^{1/2})$ and size $\widetilde{\mathcal{O}}(k^{3/2})$. ($\widetilde{\Omega}$ and $\widetilde{\mathcal{O}}$ hide polylogarithmic factors and divisors, respectively.) In this note, we first sharpen the second bound by proving that every graph $G$ of treewidth at least $k$ contains a bramble of order $\widetilde{\Omega}(k^{1/2})$ and congestion $2$, i.e., every vertex of $G$ is contained in at most two elements of the bramble (thus the bramble is of size linear in its order). Second, we provide a tight upper bound for the lower bound of Grohe and Marx: For every $\delta \in (0,\frac{1}{2}]$, every graph $G$ of treewidth at least $k$ contains a bramble of order $\widetilde{\Omega}(k^{1/2+\delta})$ and size $2^{\widetilde{\mathcal{O}}(k^{2\delta})}$.


title: Intensive disc-reverberation mapping of Fairall 9: 1st year of Swift & LCO monitoring

abstract: We present results of time-series analysis of the first year of the Fairall 9 intensive disc-reverberation campaign. We used Swift and the Las Cumbres Observatory global telescope network to continuously monitor Fairall 9 from X-rays to near-infrared at a daily to sub-daily cadence. The cross-correlation function between bands provides evidence for a lag spectrum consistent with the $\tau\propto\lambda^{4/3}$ scaling expected for an optically thick, geometrically thin blackbody accretion disc. Decomposing the flux into constant and variable components, the variable component's spectral energy distribution is slightly steeper than the standard accretion disc prediction. We find evidence at the Balmer edge in both the lag and flux spectra for an additional bound-free continuum contribution that may arise from reprocessing in the broad-line region. The inferred driving light curve suggests two distinct components, a rapidly variable ($<4$ days) component arising from X-ray reprocessing, and a more slowly varying ($>100$ days) component with an opposite lag to the reverberation signal.


title: Temporary Singularities and Axions: an analytic solution that challenges charge conservation

abstract: We construct an analytic solution to Maxwell's equations that violates global charge conservation, by building on the possibilities demonstrated in [Foundations of Physics 49, 330 (2019)]. The construction is valid for a spacetime containing a temporary singularity and a Maxwellian electrodynamics containing a proposed "topological" axion field. As such, it demonstrates that although "physics breaks down" at a singularity, the physical laws on the spacetime still impose constraints on what can happen. Further, the concepts of transformation optics can be applied to show that our specific mathematical solution has a much wider applicability.


title: Gravitational collapse of a fluid with torsion into a universe in a black hole

abstract: We consider gravitational collapse of a spherically symmetric sphere of a fluid with spin and torsion into a black hole. We use the Tolman metric and the Einstein--Cartan field equations with a relativistic spin fluid as a source. We show that gravitational repulsion of torsion prevents a singularity and replaces it with a nonsingular bounce. Quantum particle production during contraction helps torsion to dominate over shear. Particle production during expansion can generate a finite period of inflation and produce enormous amounts of matter. The resulting closed universe on the other side of the event horizon may have several bounces. Such a universe is oscillatory, with each cycle larger in size then the previous cycle, until it reaches the cosmological size and expands indefinitely. Our universe might have therefore originated from a black hole.


title: Applying Modified Gravity (MOG) to the Lensing and Einstein Ring in Abell 3827

abstract: The lensing and Einstein ring at the core of the galaxy cluster Abell 3827 are reproduced in the modified gravity theory MOG. The estimated effective lensing mass $M_L=(1+\alpha)M_b=5.2\times 10^{12} M_\odot$ within $R=18.3$~kpc for a baryon mass $M_b=1.0\times 10^{12} M_\odot$ within the same radius produces the observed Einstein ring angular radius $\theta_E=10''$. A detailed derivation of the total lensing mass is based on modeling of the cluster configuration of galaxies, intracluster light and X-ray emission. The MOG can fit the lensing and Einstein ring in Abell 3827 without dark matter as well as General Relativity with dark matter.


title: Proof complexity and the binary encoding of combinatorial principles

abstract: We consider Proof Complexity in light of the unusual binary encoding of certain combinatorial principles. We contrast this Proof Complexity with the normal unary encoding in several refutation systems, based on Resolution and Integer Linear Programming. Please consult the article for the full abstract.


title: New nodes attack strategies for real complex weighted networks

abstract: In this work we introduce a new nodes attack strategy removing nodes with highest conditional weighted betweenness centrality (CondWBet). We compare its efficacy with well-known attack strategies from literature over five real-world complex weighted networks. We use the network weighted efficiency (WEFF) like a measure encompassing the weighted structure of the network in addition to the commonly used binary-topological measure, the largest connected cluster (LCC). We find that the recently proposed conditional betweenness strategy (CondBet) (Nguyen et al. 2019) is the best to fragment the LCC in all cases. Further, we find that the introduced CondWBet strategy is the best to decrease the network efficiency (WEFF) in 3 out of 5 cases. Last, CondWBet is be the most effective strategy to reduce WEFF at the beginning of the removal process whereas the Strength that removes nodes with highest link weights first, shows the highest efficacy in the final phase of the removal process when the network is broken in many small clusters. These last outcomes would suggest that a better attacking strategy could be a combination of the CondWBet and Strength strategies


title: Flexible coinductive logic programming

abstract: Recursive definitions of predicates are usually interpreted either inductively or coinductively. Recently, a more powerful approach has been proposed, called flexible coinduction, to express a variety of intermediate interpretations, necessary in some cases to get the correct meaning. We provide a detailed formal account of an extension of logic programming supporting flexible coinduction. Syntactically, programs are enriched by coclauses, clauses with a special meaning used to tune the interpretation of predicates. As usual, the declarative semantics can be expressed as a fixed point which, however, is not necessarily the least, nor the greatest one, but is determined by the coclauses. Correspondingly, the operational semantics is a combination of standard SLD resolution and coSLD resolution. We prove that the operational semantics is sound and complete with respect to declarative semantics restricted to finite comodels. This paper is under consideration for acceptance in TPLP.


title: Entropy production rates of the climate

abstract: There is ongoing interest in the global entropy production rate as a climate diagnostic and predictor, but progress has been limited by ambiguities in its definition; different conceptual boundaries of the climate system give rise to different internal production rates. Three viable options are described, estimated and investigated here, two of which -- the material and the total radiative (here 'planetary') entropy production rates -- are well-established and a third which has only recently been considered but appears very promising. This new option is labelled the 'transfer' entropy production rate and includes all irreversible processes that transfer heat within the climate, radiative and material, but not those involved in the exchange of radiation with space. Estimates in three model climates put the material rate in the range $27$-$48$ mW/m$^2$K, the transfer rate $67$-$76$ mW/m$^2$K, and the planetary rate $1279$-$1312$ mW/m$^2$K. The climate-relevance of each rate is probed by calculating their responses to climate changes in a simple radiative-convective model. An increased greenhouse effect causes a significant increase in the material and transfer entropy production rates but has no direct impact on the planetary rate. When the same surface temperature increase is forced by changing the albedo instead, the material and transfer entropy production rates increase less dramatically and the planetary rate also registers an increase. This is pertinent to solar radiation management as it demonstrates the difficulty of reversing greenhouse gas-mediated climate changes by albedo alterations. It is argued that the transfer perspective has particular significance in the climate system and warrants increased prominence.


title: Quantum effects on radiation friction driven magnetic field generation

abstract: Radiation losses in the interaction of superintense circularly polarized laser pulses with high-density plasmas can lead to the generation of strong quasistatic magnetic fields via absorption of the photon angular momentum (so called inverse Faraday effect). To achieve the magnetic field strength of several Giga Gauss laser intensities $\simeq 10^{24}$W/cm$^2$ are required which brings the interaction to the border between the classical and the quantum regimes. We improve the classical modeling of the laser interaction with overcritical plasma in the "hole boring" regime by using a modified radiation friction force accounting for quantum recoil and spectral cut-off at high energies. The results of analytical calculations and three-dimensional particle-in-cell simulations show that, in foreseeable scenarios, the quantum effects may lead to a decrease of the conversion rate of laser radiation into high-energy photons by a factor 2-3. The magnetic field amplitude is suppressed accordingly, and the magnetic field energy - by more than one order in magnitude. This quantum suppression is shown to reach a maximum at a certain value of intensity, and does not grow with the further increase of intensities. The non monotonic behavior of the quantum suppression factor results from the joint effect of the longitudinal plasma acceleration and the radiation reaction force. The predicted features could serve as a suitable diagnostic for radiation friction theories.


title: On the correctness of monadic backward induction

abstract: In control theory, to solve a finite-horizon sequential decision problem (SDP) commonly means to find a list of decision rules that result in an optimal expected total reward (or cost) when taking a given number of decision steps. SDPs are routinely solved using Bellman's backward induction. Textbook authors (e.g. Bertsekas or Puterman) typically give more or less formal proofs to show that the backward induction algorithm is correct as solution method for deterministic and stochastic SDPs. Botta, Jansson and Ionescu propose a generic framework for finite horizon, monadic SDPs together with a monadic version of backward induction for solving such SDPs. In monadic SDPs, the monad captures a generic notion of uncertainty, while a generic measure function aggregates rewards. In the present paper we define a notion of correctness for monadic SDPs and identify three conditions that allow us to prove a correctness result for monadic backward induction that is comparable to textbook correctness proofs for ordinary backward induction. The conditions that we impose are fairly general and can be cast in category-theoretical terms using the notion of Eilenberg-Moore-algebra. They hold in familiar settings like those of deterministic or stochastic SDPs but we also give examples in which they fail. Our results show that backward induction can safely be employed for a broader class of SDPs than usually treated in textbooks. However, they also rule out certain instances that were considered admissible in the context of Botta et al.'s generic framework. Our development is formalised in Idris as an extension of the Botta et al. framework and the sources are available as supplementary material.


title: FRMDN: Flow-based Recurrent Mixture Density Network

abstract: The class of recurrent mixture density networks is an important class of probabilistic models used extensively in sequence modeling and sequence-to-sequence mapping applications. In this class of models, the density of a target sequence in each time-step is modeled by a Gaussian mixture model with the parameters given by a recurrent neural network. In this paper, we generalize recurrent mixture density networks by defining a Gaussian mixture model on a non-linearly transformed target sequence in each time-step. The non-linearly transformed space is created by normalizing flow. We observed that this model significantly improves the fit to image sequences measured by the log-likelihood. We also applied the proposed model on some speech and image data, and observed that the model has significant modeling power outperforming other state-of-the-art methods in terms of the log-likelihood.


title: Interprocess Communication in FreeBSD 11: Performance Analysis

abstract: Interprocess communication, IPC, is one of the most fundamental functions of a modern operating system, playing an essential role in the fabric of contemporary applications. This report conducts an investigation in FreeBSD of the real world performance considerations behind two of the most common IPC mechanisms; pipes and sockets. A simple benchmark provides a fair sense of effective bandwidth for each, and analysis using DTrace, hardware performance counters and the operating system's source code is presented. We note that pipes outperform sockets by 63% on average across all configurations, and further that the size of userspace transmission buffers has a profound effect on performance - larger buffers are beneficial up to a point (~32-64 KiB) after which performance collapses as a result of devastating cache exhaustion. A deep scrutiny of the probe effects at play is also presented, justifying the validity of conclusions drawn from these experiments.


title: Reducing Isotropy and Volume to KLS: An $O(n^3\psi^2)$ Volume Algorithm

abstract: We show that the volume of a convex body in ${\bf R}^{n}$ in the general membership oracle model can be computed to within relative error $\varepsilon$ using $\widetilde{O}(n^{3}\psi^{2} + n^{3}/\varepsilon^{2})$ oracle queries, where $\psi$ is the KLS constant. With the current bound of $\psi=\widetilde{O}(1)$, this gives an $\widetilde{O}(n^{3}/\varepsilon^{2})$ algorithm, improving on the Lov\'{a}sz-Vempala $\widetilde{O}(n^{4}/\varepsilon^{2})$ algorithm from 2003. The main new ingredient is an $\widetilde{O}(n^{3}\psi^{2})$ algorithm for isotropic transformation, following which we can apply the $\widetilde{O}(n^{3}/\varepsilon^{2})$ volume algorithm of Cousins and Vempala for well-rounded convex bodies. We also give an efficient implementation of the new algorithm for convex polytopes defined by $m$ inequalities in ${\bf R}^{n}$: polytope volume can be estimated in time $\widetilde{O}(mn^{c}/\varepsilon^{2})$ where $c<3.2$ depends on the current matrix multiplication exponent; this improves known bounds.


title: Low Energy Spread Attosecond Bunching and Coherent Electron Acceleration in Dielectric Nanostructures

abstract: We demonstrate a compact technique to compress electron pulses to attosecond length, while keeping the energy spread reasonably small. The technique is based on Dielectric Laser Acceleration (DLA) in nanophotonic silicon structures. Unlike previous ballistic optical microbunching demonstrations, we use a modulator-demodulator scheme to compress phase space in the time and energy coordinates. With a second stage, we show that these pulses can be coherently accelerated, producing a net energy gain of $1.5\pm0.1$ keV, which is significantly larger than the remaining energy spread of $0.88 \,_{-0.2}^{+0.0}$ keV FWHM. We show that by linearly sweeping the phase between the two stages, the energy spectrum can be coherently moved in a periodic manner, while keeping the energy spread roughly constant. After leaving the buncher, the electron pulse is also transversely focused, and can be matched into a following accelerator lattice. Thus, this setup is the prototype injector into a scalable DLA based on Alternating Phase Focusing (APF).


title: MIMIC modelling with instrumental variables: A 2SLS-MIMIC approach

abstract: Multiple Indicators Multiple Causes (MIMIC) models are type of structural equation models, a theory-based approach to confirm the influence of a set of exogenous causal variables on the latent variable, and also the effect of the latent variable on observed indicator variables. In a common MIMIC model, multiple indicators reflect the underlying latent variables/factors, and the multiple causes (observed predictors) affect latent variables/factors. Basic assumptions of MIMIC are clearly violated in case of a variable being both an indicator and a cause, i.e. in the presence of reverse causality. Furthermore, the model is then unidentified. To resolve the situation, which can arise frequently, and as MIMIC estimation lacks closed form solutions for parameters we utilize a version of Bollen's (1996) 2SLS estimator for structural equation models combined with J\"oreskog (1970)'s method of the analysis of covariance structures to derive a new, 2SLS estimator for MIMIC models. Our 2SLS empirical estimation is based on static MIMIC specification but we point also to dynamic/error-correction MIMIC specification and 2SLS solution for it. We derive basic asymptotic theory for static 2SLS-MIMIC, present a simulation study and apply findings to an interesting empirical case of estimating precarious status of older workers (using dataset of Survey of Health, Ageing and Retirement in Europe) which solves an important issue of the definition of precarious work as a multidimensional concept, not modelled adequately so far.


title: Pandemic modeling and the renormalization group equations: Effect of contact matrices, fixed points and nonspecific vaccine waning

abstract: In this paper we find common features between the equations that are used for pandemic or epidemic modeling and the renormalization group equations that are used in high energy physics. Some of these features include the relation of contact matrices in pandemic modeling and operator mixing in the renormalization group equations. Another common feature are the use of flow diagrams and the study of fixed points both in pandemic modeling and in evolution under renormalization group equations. We illustrate these relations through the study of some cases of interest to the current COVID-19 pandemic. These include pandemic modeling with mixing between different age groups and also contact matrices associated with contact between countries. For the final example we study the effect on mortality of waning from nonspecific vaccines which are designed to combat different pathogens but nevertheless may lessen the severity and mortality of COVID-19 infections.


title: COVID-19 in CXR: from Detection and Severity Scoring to Patient Disease Monitoring

abstract: In this work, we estimate the severity of pneumonia in COVID-19 patients and conduct a longitudinal study of disease progression. To achieve this goal, we developed a deep learning model for simultaneous detection and segmentation of pneumonia in chest Xray (CXR) images and generalized to COVID-19 pneumonia. The segmentations were utilized to calculate a "Pneumonia Ratio" which indicates the disease severity. The measurement of disease severity enables to build a disease extent profile over time for hospitalized patients. To validate the model relevance to the patient monitoring task, we developed a validation strategy which involves a synthesis of Digital Reconstructed Radiographs (DRRs - synthetic Xray) from serial CT scans; we then compared the disease progression profiles that were generated from the DRRs to those that were generated from CT volumes.


title: Large deviations, asymptotic bounds on the number of positive individuals in a Bernoulli sample via the number of positive pool samples drawn on the bernoulli sample

abstract: In this paper we define for a Bernoulli samples the \emph{ empirical infection measure}, which counts the number of positives (infections) in the Bernoulli sample and for the \emph{ pool samples} we define the empirical pool infection measure, which counts the number of positive (infected) pool samples. For this empirical measures we prove a joint large deviation principle for Bernoulli samples. We also found an asymptotic relationship between the \emph{ proportion of infected individuals } with respect to the samples size, $n$ and the \emph{ proportion of infected pool samples} with respect to the number of pool samples, $k(n).$ All rate functions are expressed in terms of relative entropies.


title: Stabilization of Cascaded Two-Port Networked Systems with Simultaneous Nonlinear Uncertainties

abstract: We introduce a versatile framework to model and study networked control systems (NCSs). An NCS is described as a feedback interconnection of a plant and a controller communicating through a bidirectional channel modelled by cascaded nonlinear two-port networks. This model is sufficiently rich to capture various properties of a real-world communication channel, such as distortion, interference, and nonlinearity. Uncertainties in the plant, controller and communication channels can be handled simultaneously in the framework. We provide a necessary and sufficient condition for the robust finite-gain stability of an NCS when the model uncertainties in the plant and controller are measured by the gap metric and those in the nonlinear communication channels are measured by operator norms of the uncertain elements. This condition is given by an inequality involving "arcsine" of the uncertainty bounds and is derived from novel geometric insights underlying the robustness of a standard closed-loop system in the presence of conelike nonlinear perturbations on the system graphs.


title: Quantum corrections to the entropy in a driven quantum Brownian motion model

abstract: Quantum Brownian motion model is a typical model in the study of nonequilibrium quantum thermodynamics. Entropy is one of the most fundamental physical concepts in thermodynamics. In this work, by solving the quantum Langevin equation, we study the von Neumann entropy of a particle undergoing quantum Brownian motion. In both the strong and the weak coupling regimes, we obtain the analytical expression of the time evolution of the Wigner function in terms of the initial Wigner function. The result is applied to the thermodynamic equilibrium initial state, which reproduces its classical counterpart in the high-temperature limit. Based on these results, for those initial states having well-defined classical counterparts, we obtain the explicit expression of the quantum corrections to the entropy of the system. Moreover, under the Markovian approximation, we obtain the expression of the quantum corrections to the total entropy production rate ${e_{\rm p}}$ and the heat dissipation rate ${h_{\rm d}}$. Our results bring important insights to the understanding of entropy in open quantum systems.


title: A Data-Driven Bayesian Nonparametric Approach for Black-Box Optimization

abstract: We present a data-driven Bayesian nonparametric approach for global optimization (DaBNO) of stochastic black-box function. The function value depends on the distribution of a random vector. However, this distribution is usually complex and hardly known in practice, and is often inferred from data (realizations of random vectors). The DaBNO accounts for the finite-data error that arises when estimating the distribution and relaxes the commonly-used parametric assumption to reduce the distribution-misspecified error. We show that the DaBNO objective formulation can converge to the true objective asymptotically. We further develop a surrogate-assisted algorithm DaBNO-K to efficiently optimize the proposed objective function based on a carefully designed kernel. Numerical experiments are conducted with several synthetic and practical problems, demonstrating the empirical global convergence of this algorithm and its finite-sample performance.


title: Multiscale Stochastic Simulation of the US Pacific Northwest Using Distributed Computing and Databases with Integrated Inflow and Variable Renewable Energy

abstract: Modelling challenges of the United States Pacific Northwest system have grown in the last decade. Besides classical modelling difficulties such as a complex hydro cascade with many operational constraints, we have seen higher penetration of variable renewable energy inside and outside the system leading to internal issues and completely different power exchanges with the West Coast System. The analysis of adequacy and reliability of this system motivated the design and implementation of a five-step simulator including four planning phases and an operation step. The five levels were modeled as mathematical programs that are linked from top to bottom by fixed decisions and improvements in forecasts, on the other hand they are also linked from bottom to top by system updated states. The solution of the millions of resulting mathematical programs was made possible by applying state of the art optimization techniques and high performance data bases in a massively parallel environment.


title: On geometrical characterizations of $\mathbb R$-linear mappings

abstract: We consider several characterizations of $\mathbb R$-linear mappings. In particular, we give a characterization of linear mappings whose range is $\geq$ 2 dimensional, in terms of preservation of lines (and contraction of lines to a point) by the mappings. This characterization and its affine version generalize the Fundamental Theorem of Affine Geometry. While the algebraic characterization of $\mathbb R$-linear mappings as additive functions depend on the axiom of set theory, our results are provable in (the modern version of) Zermelo's axiom system without Axiom of Choice.


title: Spatial optical mode demultiplexing as a practical tool for optimal transverse distance estimation

abstract: We present the experimental implementation of simultaneous spatial multimode demultiplexing as a distance measurement tool. We first show a simple and intuitive derivation of the Fisher information in the presence of Poissonian noise. We then estimate the distance between two incoherent beams in both directions of the transverse plane, and find a perfect accordance with theoretical prediction, given a proper calibration of the demultiplexer. We find that, even though sensitivity is limited by the cross-talks between channels, we can perform measurements in 2 dimensions much beyond Rayleigh limit with a large dynamic.


title: Topological polarization, dual invariants, and surface flat band in crystalline insulators

abstract: We describe a three-dimensional crystalline topological insulator (TI) phase of matter that exhibits spontaneous polarization. This polarization results from the presence of (approximately) flat bands on the surface of such TIs. These flat bands are a consequence of the bulk-boundary correspondence of polarized topological media, and contrary to related nodal line semimetal phases also containing surface flat bands, they span the entire surface Brillouin zone. We also present an example Hamiltonian exhibiting a Lifshitz transition from the nodal line phase to the TI phase with polarization. Utilizing elasticity tetrads, we show a complete classification of 3D crystalline TI phases and invariants. The phase with polarization naturally arises from this classification as a dual to the previously better-known 3D TI phase exhibiting quantum (spin) Hall effect. Besides polarization, another implication of the large surface flat band is the susceptibility to interaction effects such as superconductivity: the mean-field critical temperature is proportional to the size of the flat bands, and this type of systems may hence exhibit superconductivity with a very high critical temperature.


title: Learning from Sparse Demonstrations

abstract: This paper develops the method of Continuous Pontryagin Differentiable Programming (Continuous PDP), which enables a robot to learn an objective function from a few sparsely demonstrated keyframes. The keyframes, labeled with some time stamps, are the desired task-space outputs, which a robot is expected to follow sequentially. The time stamps of the keyframes can be different from the time of the robot's actual execution. The method jointly finds an objective function and a time-warping function such that the robot's resulting trajectory sequentially follows the keyframes with minimal discrepancy loss. The Continuous PDP minimizes the discrepancy loss using projected gradient descent, by efficiently solving the gradient of the robot trajectory with respect to the unknown parameters. The method is first evaluated on a simulated robot arm and then applied to a 6-DoF quadrotor to learn an objective function for motion planning in unmodeled environments. The results show the efficiency of the method, its ability to handle time misalignment between keyframes and robot execution, and the generalization of objective learning into unseen motion conditions.


title: Early light curves of Type II supernovae interacting with a circumstellar disk

abstract: Type II supernovae (SNe) interacting with disklike circumstellar matter (CSM) have been suggested as an explanation of some unusual Type II SNe, e.g., the so-called "impossible" SN, iPTF14hls. There are some radiation hydrodynamics simulations for such SNe interacting with a CSM disk. However, such disk interaction models so far have not included the effect of the ionization and recombination processes in the SN ejecta, i.e., the fact that the photosphere of Type IIP SNe between $\sim 10$-$\sim 100$ days is regulated by the hydrogen recombination front. We calculate light curves for Type IIP SNe interacting with a CSM disk viewed from the polar direction, and examine the effects of the disk density and opening angle on their bolometric light curves. This work embeds the shock interaction model of Moriya, et al. (2013) within the Type IIP SN model of Kasen & Woosley (2009), for taking into account the effects of the ionization and recombination in the SN ejecta. We demonstrate that such interacting SNe show three phases with different photometric and spectroscopic properties, following the change in the energy source: First few tens days after explosion (Phase 1), $\sim 10 - \sim 100$ days (Phase 2) and days after that (Phase 3). From the calculations, we conclude that such hidden CSM disk cannot account for overluminous Type IIP SNe. We find that the luminosity ratio between Phase 1 and Phase 2 has information on the opening angle of the CSM disk. We thus encourage early photometric and spectroscopic observations of interacting SNe for investigating their CSM geometry.


title: Collatz Conjecture: Exposition and Proof Through A Structured Approach

abstract: A structured approach for the Collatz conjecture is presented using just the odd integers that are, in turn, divided into categories based on the roles they play such as Starter, Intermediary and Terminal. The expression 4x+1 is used as a tool to expose all the hidden and significant characteristics of the conjecture that lead us to its proof. The mixing properties of the iterates are addressed by showing that the Collatz iterates of half of all the odd integers that are of the form 4m+3, on the average, increase by three times the value of the odd integer that was used to start with, while the iterates of those of 4m+1, on the average, decrease by a factor of four. Further, expressions are provided to generate all the sets of odd integers where the Collatz iterate of all the integers in each set is an integer of the of form 6m+1 or 6m+5. The significance of the Collatz net (tree) becomes obvious since it encompasses all the Collatz trajectories.


title: Extremality of the unique translation-invariant Gibbs measure for HC models on the Cayley tree of order three

abstract: We consider fertile three-state hard core models with the activity parameter on an order-three Cayley tree. It is known that there exist four types of such models: in two of them the regions of extremality of the unique translation-invariant Gibbs measure were found.


title: On the intersection of two longest paths in $k$-connected graphs

abstract: We show that every pair of longest paths in a $k$-connected graph on $n$ vertices intersect each other in at least $(8k-n+2)/5$ vertices. We also show that, in a 4-connected graph, every pair of longest paths intersect each other in at least four vertices. This confirms a conjecture of Hippchen for $k$-connected graphs when $k\leq 4$ or $k\geq (n-2)/3$.


title: Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering

abstract: The wide use of robotic systems contributed to developing robotic software highly coupled to the hardware platform running the robotic system. Due to increased maintenance cost or changing business priorities, the robotic hardware is infrequently upgraded, thus increasing the risk for technology stagnation. Reducing this risk entails migrating the system and its software to a new hardware platform. Conventional software engineering practices such as complete re-development and code-based migration, albeit useful in mitigating these obsolescence issues, they are time-consuming and overly expensive. Our RoboSMi model-driven approach supports the migration of the software controlling a robotic system between hardware platforms. First, RoboSMi executes static analysis on the robotic software of the source hardware platform to identify platform-dependent and platform-agnostic software constructs. By analysing a model that expresses the architecture of robotic components on the target platform, RoboSMi establishes the hardware configuration of those components and suggests software libraries for each component whose execution will enable the robotic software to control the components. Finally, RoboSMi through code-generation produces software for the target platform and indicates areas that require manual intervention by robotic engineers to complete the migration. We evaluate the applicability of RoboSMi and analyse the level of automation and performance provided from its use by migrating two robotic systems deployed for an environmental monitoring and a line following mission from a Propeller Activity Board to an Arduino Uno.


title: Effective Static Approximation: A Fast and Reliable Tool for Warm Dense Matter Theory

abstract: We present an \emph{Effective Static Approximation} (ESA) to the local field correction (LFC) of the electron gas that enables highly accurate calculations of electronic properties like the dynamic structure factor $S(q,\omega)$, the static structure factor $S(q)$, and the interaction energy $v$. The ESA combines the recent neural-net representation [\textit{J. Chem. Phys.} \textbf{151}, 194104 (2019)] of the temperature dependent LFC in the exact static limit with a consistent large wave-number limit obtained from Quantum Monte-Carlo data of the on-top pair distribution function $g(0)$. It is suited for a straightforward integration into existing codes. We demonstrate the importance of the LFC for practical applications by re-evaluating the results of the recent {X-ray Thomson scattering experiment on aluminum} by Sperling \textit{et al.}~[\textit{Phys. Rev. Lett.} \textbf{115}, 115001 (2015)]. We find that an accurate incorporation of electronic correlations {in terms of the ESA} leads to a different prediction of the inelastic scattering spectrum than obtained from state-of-the-art models like the Mermin approach or linear-response time-dependent density functional theory. Furthermore, the ESA scheme is particularly relevant for the development of advanced exchange-correlation functionals in density functional theory.


title: The impact of financial risks on economic growth in EU-15

abstract: This paper examines the impact of financial risks on economic growth in the first 15 Member States of the European Union, considering 1995-2014 period and aims to lay down a new explanatory model of economic growth, based mainly on the behavioral reactivity of the financial disruptions mentioned above. The model was estimated through the panel estimated generalized least squares method and included additional control variables in order to strengthen the research conducted. Our goal consists in the examination of the financial risks in the European Union and in the estimation of their impact on economic growth.


title: GeoTree: a data structure for constant time geospatial search enabling a real-time mix-adjusted median property price index

abstract: A common problem appearing across the field of data science is $k$-NN ($k$-nearest neighbours), particularly within the context of Geographic Information Systems. In this article, we present a novel data structure, the GeoTree, which holds a collection of geohashes (string encodings of GPS co-ordinates). This enables a constant $O\left(1\right)$ time search algorithm that returns a set of geohashes surrounding a given geohash in the GeoTree, representing the approximate $k$-nearest neighbours of that geohash. Furthermore, the GeoTree data structure retains $O\left(n\right)$ memory requirement. We apply the data structure to a property price index algorithm focused on price comparison with historical neighbouring sales, demonstrating an enhanced performance. The results show that this data structure allows for the development of a real-time property price index, and can be scaled to larger datasets with ease.


title: Spatially Adaptive Regularization in Image Segmentation

abstract: We modify the total-variation-regularized image segmentation model proposed by Chan, Esedoglu and Nikolova [SIAM Journal on Applied Mathematics 66, 2006] by introducing local regularization that takes into account spatial image information. We propose some techniques for defining local regularization parameters, based on the cartoon-texture decomposition of the given image, on the mean and median filters, and on a thresholding technique, with the aim of preventing excessive regularization in piecewise-constant or smooth regions and preserving spatial features in nonsmooth regions. We solve the modified model by using split Bregman iterations. Numerical experiments show the effectiveness of our approach.


title: Algorithmic resolution via weighted blowings up

abstract: In this paper we describe a computer implementation of Abramovich, Temkin, and Wlodarczyk's algorithm for resolving singularities in characteristic zero. Their "weighted resolution" algorithm proceeds by repeatedly blowing up along centers that are independent of the history of the past blowing ups, distinguishing weighted resolution from previous resolution algorithms, which all rely on history. We compare our implementation of weighted resolution with that of Villamayor's resolution algorithm, experimentally verifying that weighted resolution is remarkably efficient.


title: Tiny-YOLO object detection supplemented with geometrical data

abstract: We propose a method of improving detection precision (mAP) with the help of the prior knowledge about the scene geometry: we assume the scene to be a plane with objects placed on it. We focus our attention on autonomous robots, so given the robot's dimensions and the inclination angles of the camera, it is possible to predict the spatial scale for each pixel of the input frame. With slightly modified YOLOv3-tiny we demonstrate that the detection supplemented by the scale channel, further referred as S, outperforms standard RGB-based detection with small computational overhead.


title: A Causal-based Framework for Multimodal Multivariate Time Series Validation Enhanced by Unsupervised Deep Learning as an Enabler for Industry 4.0

abstract: An advanced conceptual validation framework for multimodal multivariate time series defines a multi-level contextual anomaly detection ranging from an univariate context definition, to a multimodal abstract context representation learnt by an Autoencoder from heterogeneous data (images, time series, sounds, etc.) associated to an industrial process. Each level of the framework is either applicable to historical data and/or live data. The ultimate level is based on causal discovery to identify causal relations in observational data in order to exclude biased data to train machine learning models and provide means to the domain expert to discover unknown causal relations in the underlying process represented by the data sample. A Long Short-Term Memory Autoencoder is successfully evaluated on multivariate time series to validate the learnt representation of abstract contexts associated to multiple assets of a blast furnace. A research roadmap is identified to combine causal discovery and representation learning as an enabler for unsupervised Root Cause Analysis applied to the process industry.


title: Configurable heralded two-photon Fock-states on a chip

abstract: Progress in integrated photonics enables combining several elementary functions on single substrates for realizing advanced functionnalized chips. We report a monolithic integrated quantum photonic realization on lithium niobate, where nonlinear optics and electro-optics properties have been harnessed simultaneously for generating heralded configurable, two-photon states. Taking advantage of a picosecond pump laser and telecom components, we demonstrate the production of various path-coded heralded two-photon states, showing 94\% raw visibility for Hong-Ou-Mandel interference. The versatility and performance of such a highly integrated photonic entanglement source enable exploring more complex quantum information processing protocols finding application in communication, metrology and processing tasks.


title: Characterization and a 2D Visualization of B$_0$-VPG Cocomparability Graphs

abstract: B$_0$-VPG graphs are intersection graphs of vertical and horizontal line segments on a plane. Cohen, Golumbic, Trotter, and Wang [Order, 2016] pose the question of characterizing B$_0$-VPG permutation graphs. We respond here by characterizing B$_0$-VPG cocomparability graphs. This characterization also leads to a polynomial time recognition and B$_0$-VPG drawing algorithm for the class. Our B$_0$-VPG drawing algorithm starts by fixing any one of the many posets $P$ whose cocomparability graph is the input graph $G$. The drawing we obtain not only visualizes $G$ in that one can distinguish comparable pairs from incomparable ones, but one can also identify which among a comparable pair is larger in $P$ from this visualization.


title: Random M\"obius dynamics on the unit disc and perturbation theory for Lyapunov exponents

abstract: Randomly drawn $2\times 2$ matrices induce a random dynamics on the Riemann sphere via the M\"obius transformation. Considering a situation where this dynamics is restricted to the unit disc and given by a random rotation perturbed by further random terms depending on two competing small parameters, the invariant (Furstenberg) measure of the random dynamical system is determined. The results have applications to the perturbation theory of Lyapunov exponents which are of relevance for one-dimensional discrete random Schr\"odinger operators.


title: Is extended hard X-ray emission ubiquitous in Compton-thick AGN?

abstract: The recent Chandra discovery of extended $\sim$kpc-scale hard ($>$ 3 keV) X-ray emission in nearby Compton-thick (CT) active galactic nuclei (AGN) opens a new window to improving AGN torus modeling and investigating how the central super massive black hole interacts with and impacts the host galaxy. Since there are only a handful of detections so far, we need to establish a statistical sample to determine the ubiquity of the extended hard X-ray emission in CT AGN, and quantify the amount and extent of this component. In this paper, we present the spatial analysis results of a pilot Chandra imaging survey of 7 nearby ($0.006 < z < 0.013$) CT AGN selected from the Swift-BAT spectroscopic AGN survey. We find that five out of the seven CT AGN show extended emission in the 3-7 keV band detected at $>$ 3$\sigma$ above the Chandra PSF with $\sim$12% to 22% of the total emission in the extended components. ESO 137-G034 and NGC 3281 display biconical ionization structures with extended hard X-ray emission reaching kpc-scales ($\sim$ 1.9 kpc and 3.5 kpc in diameter). The other three show extended hard X-ray emission above the PSF out to at least $\sim$360 pc in radius. We find a trend that a minimum 3-7 keV count rate of 0.01 cts/s and total excess fraction $>$20% is required to detect a prominent extended hard X-ray component. Given that this extended hard X-ray component appears to be relatively common in this uniformly selected CT AGN sample, we further discuss the implications for torus modeling and AGN feedback.


title: Super-robust nonadiabatic geometric quantum control

abstract: Nonadiabatic geometric quantum computation (NGQC) and nonadiabatic holonomic quantum computation (NHQC) have been proposed to reduce the run time of geometric quantum gates. However, in terms of robustness against experimental control errors, the existing NGQC and NHQC scenarios have no advantage over standard dynamical gates in most cases. Here, we give the reasons why nonadiabatic geometric gates are sensitive to the control errors and, further, we propose a scheme of super-robust nonadiabatic geometric quantum control, in which the super-robust condition can guarantee both high speed and robustness of the geometric gate. To illustrate the working mechanism of super-robust geometric quantum gates, we give two simple examples of SR-NGQC and SR-NHQC for two- and three-level quantum systems, respectively. Theoretical and numerical results with the experimental parameters indicate that our scheme can significantly improve the gate performance compared to the previous NGQC, NHQC, and standard dynamical schemes. Super-robust geometric quantum computation can be applied to various physical platforms such as superconducting qubits, quantum dots, and trapped ions. All of these sufficiently show that our scheme provides a promising way towards robust geometric quantum computation.


title: Band edge limit of the scattering matrix for quasi-one-dimensional discrete Schr\"odinger operators

abstract: This paper is about the scattering theory for one-dimensional matrix Schr\"odinger operators with a matrix potential having a finite first moment. The transmission coefficients are analytically continued and extended to the band edges. An explicit expression is given for these extensions. The limits of the reflection coefficients at the band edges is also calculated.


title: An extreme Ultraluminous X-ray source X-1 in NGC 5055

abstract: Aims. We analyzed multi-epoch X-ray data of the Ultraluminous X-ray source (ULX) NGC 5055 X-1, with luminosity up to $2.32\times10^{40}\ \rm erg\ s^{-1}$, in order to constrain the physical parameters of the source. Methods. We performed timing and spectral analysis of Chandra and XMM-Newton observations. We used spectral models which assume the emission is from an accreting black hole system. We fit the data with a multicolor disk (MCD) combined with a powerlaw (PL) or a thermal Comptonization (NTHCOMP) component, and compared those fits with a slim disk model. Results. The lightcurves of the source do not show significant variability. From the hardness ratios (3-10 keV/0.3-3 keV flux) we infer that the source is not spectrally variable. We found that the photon index is tightly, positively correlated with the unabsorbed 0.3-10 keV flux and the hydrogen column density. Furthermore, the temperature emissivity profile indicates a deviation from the standard sub-Eddington thin disk model. The source shows an inverse correlation between luminosity and inner disk temperature in all fitted models. Conclusions. Our analysis favors the source to be in an ultraluminous soft state. The positive correlations between the photon index and the flux, and between the photon index and the hydrogen column density may suggest the source is accreting at high Eddington ratios and might indicate the presence of a wind. The inverse luminosity relation with the inner disk temperature for all spectral models may indicate that the emission is geometrically beamed by an optically thick outflow.


title: Quantum Many-Body Simulations of the 2D Fermi-Hubbard Model in Ultracold Optical Lattices

abstract: Understanding quantum many-body states of correlated electrons is one main theme in modern condensed matter physics. Given that the Fermi-Hubbard model, the prototype of correlated electrons, has been recently realized in ultracold optical lattices, it is highly desirable to have controlled numerical methodology to provide precise finite-temperature results upon doping, to directly compare with experiments. Here, we demonstrate the exponential tensor renormalization group (XTRG) algorithm [Phys. Rev. X 8, 031082 (2018)], complemented with independent determinant quantum Monte Carlo (DQMC) offer a powerful combination of tools for this purpose. XTRG provides full and accurate access to the density matrix and thus various spin and charge correlations, down to unprecedented low temperature of few percents of the fermion tunneling energy scale. We observe excellent agreement with ultracold fermion measurements at both half-filling and finite-doping, including the sign-reversal behavior in spin correlations due to formation of magnetic polarons, and the attractive hole-doublon and repulsive hole-hole pairs that are responsible for the peculiar bunching and antibunching behavior of the antimoments.


title: Morphology Control in van der Waals Epitaxy of Bismuth Telluride Topological Insulators

abstract: Bismuth telluride have regained significant attention as a prototype of topological insulator. Thin films of high quality have been investigated as a basic platform for novel spintronic devices. Low mobility of bismuth and high desorption coefficient of telluride compose a scenario where growth parameters have drastic effects on structural and electronic properties of the films. Recently [J. Phys. Chem. C 2019, 123, 24818-24825], a detailed investigation has been performed on the dynamics of defects in epitaxial films of this material, revealing the impact of film/substrate lattice misfit on the films' lateral coherence. Very small lattice misfit (<0.05%) are expected to have no influence on quality of epitaxial system with atomic layers weakly bonded to each other by van der Waals forces, contrarily to what was observed. In this work, we investigate the correlation between lattice misfit and size and morphology of the film crystalline domains. Three-dimensional reciprocal-space maps of film Bragg reflections obtained with synchrotron X-rays are used to visualize the spatial conformation of the crystallographic domains through film thickness, while atomic force microscopy images provide direct information of the domains morphology at the film surface.


title: Novel High-Throughput Decoding Algorithms for Product and Staircase Codes based on Error-and-Erasure Decoding

abstract: Product codes (PCs) and staircase codes (SCCs) are conventionally decoded based on bounded distance decoding (BDD) of the component codes and iterating between row and column decoders. The performance of iterative BDD (iBDD) can be improved using soft-aided (hybrid) algorithms. Among these, iBDD with combined reliability (iBDD-CR) has been recently proposed for PCs, yielding sizeable performance gains at the expense of a minor increase in complexity compared to iBDD. In this paper, we first extend iBDD-CR to SCCs. We then propose two novel decoding algorithms for PCs and SCCs which improve upon iBDD-CR. The new algorithms use an extra decoding attempt based on error and erasure decoding of the component codes. The proposed algorithms require only the exchange of hard messages between component decoders, making them an attractive solution for ultra high-throughput fiber-optic systems. Simulation results show that our algorithms based on two decoding attempts achieve gains of up to $0.88$ dB for both PCs and SCCs. This corresponds to a $33\%$ optical reach enhancement over iBDD with bit-interleaved coded modulation using $256$ quadrature amplitude modulation.


title: Personal Identification Using Ultrawideband Radar Measurement of Walking and Sitting Motions and a Convolutional Neural Network

abstract: This study proposes a personal identification technique that applies machine learning with a two-layered convolutional neural network to spectrogram images obtained from radar echoes of a target person in motion. The walking and sitting motions of six participants were measured using an ultrawideband radar system. Time-frequency analysis was applied to the radar signal to generate spectrogram images containing the micro-Doppler components associated with limb movements. A convolutional neural network was trained using the spectrogram images with personal labels to achieve radar-based personal identification. The personal identification accuracies were evaluated experimentally to demonstrate the effectiveness of the proposed technique.


title: Maximal gonality on strata of differentials and uniruledness of strata in low genus

abstract: We prove that for a generic element in a nonhyperelliptic component of an abelian stratum $\mathcal{H}_g(\mu)$ in genus $g$, the underlying curve has maximal gonality. We extend this result to the case of quadratic strata when the partition $\mu$ has positive entries. As a consequence we deduce that all nonhyperelliptic components of $\mathcal{H}_9(\mu)$ are uniruled when $\mu$ is a positive partition of 16 and all nonhyperelliptic components of $\mathcal{H}^2_g(\mu)$ are uniruled when $\mu$ is a positive partition of $4g-4$ and either $3\leq g\leq5$ or $g=6$ and $l(\mu)\geq 4$.


title: Quantum systems correlated with a finite bath: nonequilibrium dynamics and thermodynamics

abstract: Describing open quantum systems far from equilibrium is challenging, in particular when the environment is mesoscopic, when it develops nonequilibrium features during the evolution, or when the memory effects cannot be disregarded. Here, we derive a master equation that explicitly accounts for system-bath correlations and includes, at a coarse-grained level, a dynamically evolving bath. Such a master equation applies to a wide variety of physical systems including those described by Random Matrix Theory or the Eigenstate Thermalization Hypothesis. We obtain a local detailed balance condition which, interestingly, does not forbid the emergence of stable negative temperature states in unison with the definition of temperature through the Boltzmann entropy. We benchmark the master equation against the exact evolution and observe a very good agreement in a situation where the conventional Born-Markov-secular master equation breaks down. Interestingly, the present description of the dynamics is robust and it remains accurate even if some of the assumptions are relaxed. Even though our master equation describes a dynamically evolving bath not described by a Gibbs state, we provide a consistent nonequilibrium thermodynamic framework and derive the first and second law as well as the Clausius inequality. Our work paves the way for studying a variety of nanoscale quantum technologies including engines, refrigerators, or heat pumps beyond the conventionally employed assumption of a static thermal bath.


title: Effect of latitudinal differential rotation on solar Rossby waves: Critical layers, eigenfunctions, and momentum fluxes in the equatorial $\beta$ plane

abstract: Retrograde-propagating waves of vertical vorticity with longitudinal wavenumbers between 3 and 15 have been observed on the Sun with a dispersion relation close to that of classical sectoral Rossby waves. The observed vorticity eigenfunctions are symmetric in latitude, peak at the equator, switch sign near $20^\circ$-$30^\circ$, and decrease at higher latitudes. We search for an explanation that takes into account solar latitudinal differential rotation. In the equatorial $\beta$ plane, we study the propagation of linear Rossby waves (phase speed $c <0$) in a parabolic zonal shear flow, $U = - \overline{U}\ \xi^2<0$, where $\overline{U} = 244$ m/s and $\xi$ is the sine of latitude. In the inviscid case, the eigenvalue spectrum is real and continuous and the velocity stream functions are singular at the critical latitudes where $U = c$. We add eddy viscosity in the problem to account for wave attenuation. In the viscous case, the stream functions are solution of a fourth-order modified Orr-Sommerfeld equation. Eigenvalues are complex and discrete. For reasonable values of the eddy viscosity corresponding to supergranular scales and above (Reynolds number $100 \le Re \le 700$), all modes are stable. At fixed longitudinal wavenumber, the least damped mode is a symmetric mode with a real frequency close to that of the classical Rossby mode, which we call the R mode. For $Re \approx 300$, the attenuation and the real part of the eigenfunction is in qualitative agreement with the observations (unlike the imaginary part of the eigenfunction, which has a larger amplitude in the model. Conclusion: Each longitudinal wavenumber is associated with a latitudinally symmetric R mode trapped at low latitudes by solar differential rotation. In the viscous model, R modes transport significant angular momentum from the dissipation layers towards the equator.


title: A Novel Method For Designing Transferable Soft Sensors And Its Application

abstract: In this paper, a new approach is proposed for designing transferable soft sensors. Soft sensing is one of the significant applications of data-driven methods in the condition monitoring of plants. While hard sensors can be easily used in various plants, soft sensors are confined to the specific plant they are designed for and cannot be used in a new plant or even used in some new working conditions in the same plant. In this paper, a solution is proposed for this underlying obstacle in data-driven condition monitoring systems. Data-driven methods suffer from the fact that the distribution of the data by which the models are constructed may not be the same as the distribution of the data to which the model will be applied. This ultimately leads to the decline of models accuracy. We proposed a new transfer learning (TL) based regression method, called Domain Adversarial Neural Network Regression (DANN-R), and employed it for designing transferable soft sensors. We used data collected from the SCADA system of an industrial power plant to comprehensively investigate the functionality of the proposed method. The result reveals that the proposed transferable soft sensor can successfully adapt to new plants.


title: Breaking BEC: Quantum evolution of unstable condensates

abstract: In this work we numerically explore the quantum behavior of a classically unstable relativistic Bose-Einstein condensate (BEC). The main goal is to study the phenomenon of so-called quantum break time which amounts to a significant departure from a semiclassical mean-field description. It has been suggested previously that the existence of Lyapunov instability is crucial for a fast quantum breaking, chaos, and scrambling. In order to clarify the issue, we work within the 2-PI effective action formalism and introduce a simple and very widely applicable dynamical criterion for identifying the timescale of quantumbreaking. We indeed observe that the fast quantum break time is controlled by the Lyapunov exponent of the unstable BEC.


title: Resource Allocation in 6G Optical Wireless Systems

abstract: The abundant optical spectrum is a promising part of the electromagnetic spectrum for 6G communication systems. The visible light spectrum which is a part of the optical spectrum, can be used to provide communication and illumination simultaneously. Visible light communication (VLC) systems have been widely researched, however, little work has focused on the area of multiple access. This chapter studies wavelength division multiple access (WDMA) techniques in VLC systems to support multiple users. In addition, the optimization of resource allocation is considered in this chapter by developing a mixed-integer linear programming (MILP) model that can be used to maximize the signal to noise and interference ratio (SINR) while supporting multiple users. The optimized resource allocation results in the best assignment of access points (APs) and wavelengths to users. Different indoor environments such as office, data center and aircraft cabins are evaluated in this chapter. A laser diode (LD) with four wavelengths (red, green, yellow and blue) is used to provide high bandwidth for communication and white light for illumination. Also, an angle diversity receiver (ADR) is utilized to receive signals and reduce noise and interference by exploiting the spatial domain.


title: SpinAPS: A High-Performance Spintronic Accelerator for Probabilistic Spiking Neural Networks

abstract: We discuss a high-performance and high-throughput hardware accelerator for probabilistic Spiking Neural Networks (SNNs) based on Generalized Linear Model (GLM) neurons, that uses binary STT-RAM devices as synapses and digital CMOS logic for neurons. The inference accelerator, termed "SpinAPS" for Spintronic Accelerator for Probabilistic SNNs, implements a principled direct learning rule for first-to-spike decoding without the need for conversion from pre-trained ANNs. The proposed solution is shown to achieve comparable performance with an equivalent ANN on handwritten digit and human activity recognition benchmarks. The inference engine, SpinAPS, is shown through software emulation tools to achieve 4x performance improvement in terms of GSOPS/W/mm2 when compared to an equivalent SRAM-based design. The architecture leverages probabilistic spiking neural networks that employ first-to-spike decoding rule to make inference decisions at low latencies, achieving 75% of the test performance in as few as 4 algorithmic time steps on the handwritten digit benchmark. The accelerator also exhibits competitive performance with other memristor-based DNN/SNN accelerators and state-of-the-art GPUs.


title: Discreteness and Integrality in Conformal Field Theory

abstract: Various observables in compact CFTs are required to obey positivity, discreteness, and integrality. Positivity forms the crux of the conformal bootstrap, but understanding of the abstract implications of discreteness and integrality for the space of CFTs is lacking. We systematically study these constraints in two-dimensional, non-holomorphic CFTs, making use of two main mathematical results. First, we prove a theorem constraining the behavior near the cusp of integral, vector-valued modular functions. Second, we explicitly construct non-factorizable, non-holomorphic cuspidal functions satisfying discreteness and integrality, and prove the non-existence of such functions once positivity is added. Application of these results yields several bootstrap-type bounds on OPE data of both rational and irrational CFTs, including some powerful bounds for theories with conformal manifolds, as well as insights into questions of spectral determinacy. We prove that in rational CFT, the spectrum of operator twists $t\geq {c \over 12}$ is uniquely determined by its complement. Likewise, we argue that in generic CFTs, the spectrum of operator dimensions $\Delta > {c-1\over 12}$ is uniquely determined by its complement, absent fine-tuning in a sense we articulate. Finally, we discuss implications for black hole physics and the (non-)uniqueness of a possible ensemble interpretation of AdS$_3$ gravity.


title: Active Perception using Light Curtains for Autonomous Driving

abstract: Most real-world 3D sensors such as LiDARs perform fixed scans of the entire environment, while being decoupled from the recognition system that processes the sensor data. In this work, we propose a method for 3D object recognition using light curtains, a resource-efficient controllable sensor that measures depth at user-specified locations in the environment. Crucially, we propose using prediction uncertainty of a deep learning based 3D point cloud detector to guide active perception. Given a neural network's uncertainty, we derive an optimization objective to place light curtains using the principle of maximizing information gain. Then, we develop a novel and efficient optimization algorithm to maximize this objective by encoding the physical constraints of the device into a constraint graph and optimizing with dynamic programming. We show how a 3D detector can be trained to detect objects in a scene by sequentially placing uncertainty-guided light curtains to successively improve detection accuracy. Code and details can be found on the project webpage: http://siddancha.github.io/projects/active-perception-light-curtains.


title: From the CMF to the IMF: Beyond the Core-Collapse Model

abstract: Observations have indicated that the prestellar core mass function (CMF) is similar to the stellar initial mass function (IMF), except for an offset towards larger masses. This has led to the idea that there is a one-to-one relation between cores and stars, such that the whole stellar mass reservoir is contained in a gravitationally-bound prestellar core, as postulated by the core-collapse model, and assumed in recent theoretical models of the stellar IMF. We test the validity of this assumption by comparing the final mass of stars with the mass of their progenitor cores in a high-resolution star-formation simulation that generates a realistic IMF under physical conditions characteristic of observed molecular clouds. Using a definition of bound cores similar to previous works we obtain a CMF that converges with increasing numerical resolution. We find that the CMF and the IMF are closely related in a statistical sense only; for any individual star there is only a weak correlation between the progenitor core mass and the final stellar mass. In particular, for high mass stars only a small fraction of the final stellar mass comes from the progenitor core, and even for low mass stars the fraction is highly variable, with a median fraction of only about 50%. We conclude that the core-collapse scenario and related models for the origin of the IMF are incomplete. We also show that competitive accretion is not a viable alternative.


title: An optimization problem in thermal insulation with Robin boundary conditions

abstract: We study thermal insulating of a bounded body $\Omega\subset \mathbb{R}^n$. Under a prescribed heat source $f\geq 0$, we consider a model of heat transfer between $\Omega$ and the environment determined by convection; this corresponds, before insulation, to Robin boundary conditions. The body is then surrounded by a layer of insulating material of thickness of size $\varepsilon>0$, and whose conductivity is also proportional to $\varepsilon$. This corresponds to the case of a small amount of insulating material, with excellent insulating properties. We then compute the $\Gamma$-limit of the energy functional $F_\varepsilon$ and prove that this is a functional $F$ whose minimizers still satisfy an elliptic PDEs system with a non uniform Robin boundary condition depending on the distribution of insulating layer around $\Omega$. In a second step we study the maximization of heat content (which measures the goodness of the insulation) among all the possible distributions of insulating material with fixed mass, and prove an optimal upper bound in terms of geometric properties. Eventually we prove a conjecture which states that the ball surrounded by a uniform distribution of insulating material maximizes the heat content.


title: On the Characterization of Expressive Performance in Classical Music: First Results of the Con Espressione Game

abstract: A piece of music can be expressively performed, or interpreted, in a variety of ways. With the help of an online questionnaire, the Con Espressione Game, we collected some 1,500 descriptions of expressive character relating to 45 performances of 9 excerpts from classical piano pieces, played by different famous pianists. More specifically, listeners were asked to describe, using freely chosen words (preferably: adjectives), how they perceive the expressive character of the different performances. In this paper, we offer a first account of this new data resource for expressive performance research, and provide an exploratory analysis, addressing three main questions: (1) how similarly do different listeners describe a performance of a piece? (2) what are the main dimensions (or axes) for expressive character emerging from this?; and (3) how do measurable parameters of a performance (e.g., tempo, dynamics) and mid- and high-level features that can be predicted by machine learning models (e.g., articulation, arousal) relate to these expressive dimensions? The dataset that we publish along with this paper was enriched by adding hand-corrected score-to-performance alignments, as well as descriptive audio features such as tempo and dynamics curves.


title: Machine Learning in Nano-Scale Biomedical Engineering

abstract: Machine learning (ML) empowers biomedical systems with the capability to optimize their performance through modeling of the available data extremely well, without using strong assumptions about the modeled system. Especially in nano-scale biosystems, where the generated data sets are too vast and complex to mentally parse without computational assist, ML is instrumental in analyzing and extracting new insights, accelerating material and structure discoveries, and designing experience as well as supporting nano-scale communications and networks. However, despite these efforts, the use of ML in nano-scale biomedical engineering remains still under-explored in certain areas and research challenges are still open in fields such as structure and material design and simulations, communications and signal processing, and bio-medicine applications. In this article, we review the existing research regarding the use of ML in nano-scale biomedical engineering. In more detail, we first identify and discuss the main challenges that can be formulated as ML problems. These challenges are classified into the three aforementioned main categories. Next, we discuss the state of the art ML methodologies that are used to countermeasure the aforementioned challenges. For each of the presented methodologies, special emphasis is given to its principles, applications, and limitations. Finally, we conclude the article with insightful discussions, that reveal research gaps and highlight possible future research directions.


title: Densely Connected Residual Network for Attack Recognition

abstract: High false alarm rate and low detection rate are the major sticking points for unknown threat perception. To address the problems, in the paper, we present a densely connected residual network (Densely-ResNet) for attack recognition. Densely-ResNet is built with several basic residual units, where each of them consists of a series of Conv-GRU subnets by wide connections. Our evaluation shows that Densely-ResNet can accurately discover various unknown threats that appear in edge, fog and cloud layers and simultaneously maintain a much lower false alarm rate than existing algorithms.


title: One word at a time: adversarial attacks on retrieval models

abstract: Adversarial examples, generated by applying small perturbations to input features, are widely used to fool classifiers and measure their robustness to noisy inputs. However, little work has been done to evaluate the robustness of ranking models through adversarial examples. In this work, we present a systematic approach of leveraging adversarial examples to measure the robustness of popular ranking models. We explore a simple method to generate adversarial examples that forces a ranker to incorrectly rank the documents. Using this approach, we analyze the robustness of various ranking models and the quality of perturbations generated by the adversarial attacker across two datasets. Our findings suggest that with very few token changes (1-3), the attacker can yield semantically similar perturbed documents that can fool different rankers into changing a document's score, lowering its rank by several positions.


title: Domain-Specific Mappings for Generative Adversarial Style Transfer

abstract: Style transfer generates an image whose content comes from one image and style from the other. Image-to-image translation approaches with disentangled representations have been shown effective for style transfer between two image categories. However, previous methods often assume a shared domain-invariant content space, which could compromise the content representation power. For addressing this issue, this paper leverages domain-specific mappings for remapping latent features in the shared content space to domain-specific content spaces. This way, images can be encoded more properly for style transfer. Experiments show that the proposed method outperforms previous style transfer methods, particularly on challenging scenarios that would require semantic correspondences between images. Code and results are available at https://acht7111020.github.io/DSMAP-demo/.


title: Magnetic structure of a new quantum magnet SrCuTe$_2$O$_6$

abstract: SrCuTe$_2$O$_6$ consists of a 3-dimensional arrangement of spin-$\frac{1}{2}$ Cu$^{2+}$ ions. The 1st, 2nd and 3rd neighbor interactions respectively couple Cu$^{2+}$ moments into a network of isolated triangles, a highly frustrated hyperkagome lattice consisting of corner sharing triangles and antiferromagnetic chains. Of these, the chain interaction dominates in SrCuTe$_2$O$_6$ while the other two interactions lead to frustrated inter-chain coupling giving rise to long range magnetic order at suppressed temperatures. In this paper, we investigate the magnetic properties in SrCuTe$_2$O$_6$ using muon relaxation spectroscopy and neutron diffraction and present the low temperature magnetic structure.


title: Wasserstein-based Projections with Applications to Inverse Problems

abstract: Inverse problems consist of recovering a signal from a collection of noisy measurements. These are typically cast as optimization problems, with classic approaches using a data fidelity term and an analytic regularizer that stabilizes recovery. Recent Plug-and-Play (PnP) works propose replacing the operator for analytic regularization in optimization methods by a data-driven denoiser. These schemes obtain state of the art results, but at the cost of limited theoretical guarantees. To bridge this gap, we present a new algorithm that takes samples from the manifold of true data as input and outputs an approximation of the projection operator onto this manifold. Under standard assumptions, we prove this algorithm generates a learned operator, called Wasserstein-based projection (WP), that approximates the true projection with high probability. Thus, WPs can be inserted into optimization methods in the same manner as PnP, but now with theoretical guarantees. Provided numerical examples show WPs obtain state of the art results for unsupervised PnP signal recovery.


title: On Julia limiting directions in higher dimensions

abstract: In this paper we study, for the first time, Julia limiting directions of quasiregular mappings in $\mathbb{R}^n$ of transcendental-type. First, we give conditions under which every direction is a Julia limiting direction. Along the way, our methods show that if a quasi-Fatou component contains a sectorial domain, then there is a polynomial bound on the growth in the sector. Second, we give a contribution to the inverse problem in $\mathbb{R}^3$ of determining which compact subsets of $S^2$ can give rise to Julia limiting directions. The methods here will require showing that certain sectorial domains in $\mathbb{R}^3$ are ambient quasiballs, which is a contribution to the notoriously hard problem of determining which domains are the image of the unit ball $\mathbb{B}^3$ under an ambient quasiconformal map of $\mathbb{R}^3$ to itself.


title: Anomalous Hall and Nernst effects in epitaxial films of topological kagome magnet Fe3Sn2

abstract: The topological kagome magnet (TKM) Fe3Sn2 exhibits unusual topological properties, flat electronic bands, and chiral spin textures, making it an exquisite materials platform to explore the interplay between topological band structure, strong electron correlations, and magnetism. Here we report the first synthesis of high-quality epitaxial (0001) Fe3Sn2 films with large intrinsic anomalous Hall effect close to that measured in bulk single crystals. In addition, we measured a large, anisotropic anomalous Nernst coefficient Syx of 1.26 {\mu}V/K, roughly 2-5x greater than that of common ferromagnets, suggesting the presence of Berry curvature sources near the Fermi level in this system. Crucially, the realization of high-quality Fe3Sn2 films opens the door to explore emergent interfacial physics and create novel spintronic devices based on TKMs by interfacing Fe3Sn2 with other quantum materials and by nanostructure patterning.


title: Inertia-gravity-wave scattering by geostrophic turbulence

abstract: In rotating stratified flows including in the atmosphere and ocean, inertia-gravity waves (IGWs) often coexist with a geostrophically balanced turbulent flow. Advection and refraction by this flow lead to wave scattering, redistributing IGW energy in the position--wavenumber phase space. We give a detailed description of this process by deriving a kinetic equation governing the evolution of the IGW phase-space energy density. The derivation relies on the smallness of the Rossby number characterising the geostrophic flow, which is treated as a random field with known statistics, and makes no assumption of spatial scale separation. The kinetic equation describes energy transfers that are restricted to IGWs with the same frequency, as a result of the timescale separation between waves and flow. We formulate the kinetic equation on the constant-frequency surface -- a double cone in wavenumber space -- using polar spherical coordinates, and we examine the form of the two scattering cross sections involved, which quantify energy transfers between IGWs with, respectively, the same and opposite directions of vertical propagation. The kinetic equation captures both the horizontal isotropisation and the cascade of energy across scales that result from scattering. We focus our attention on the latter to assess the predictions of the kinetic equation against direct simulations of the three-dimensional Boussinesq equations, finding good agreement.


title: Bayesian Survival Analysis Using Gamma Processes with Adaptive Time Partition

abstract: In Bayesian semi-parametric analyses of time-to-event data, non-parametric process priors are adopted for the baseline hazard function or the cumulative baseline hazard function for a given finite partition of the time axis. However, it would be controversial to suggest a general guideline to construct an optimal time partition. While a great deal of research has been done to relax the assumption of the fixed split times for other non-parametric processes, to our knowledge, no methods have been developed for a gamma process prior, which is one of the most widely used in Bayesian survival analysis. In this paper, we propose a new Bayesian framework for proportional hazards models where the cumulative baseline hazard function is modeled a priori by a gamma process. A key feature of the proposed framework is that the number and position of interval cutpoints are treated as random and estimated based on their posterior distributions.


title: Meshless discretization of the discrete-ordinates transport equation with integration based on Voronoi cells

abstract: The time-dependent radiation transport equation is discretized using the meshless-local Petrov-Galerkin method with reproducing kernels. The integration is performed using a Voronoi tessellation, which creates a partition of unity that only depends on the position and extent of the kernels. The resolution of the integration automatically follows the particles and requires no manual adjustment. The discretization includes streamline-upwind Petrov-Galerkin stabilization to prevent oscillations and improve numerical conditioning. The angular quadrature is selectively refineable to increase angular resolution in chosen directions. The time discretization is done using backward Euler. The transport solve for each direction and the solve for the scattering source are both done using Krylov iterative methods. Results indicate first-order convergence in time and second-order convergence in space for linear reproducing kernels.


title: String Memories ... Lost and Regained

abstract: We discuss stringy ${\alpha'}$ corrections to the gravitational wave signal generated in the merging of two black holes. We model the merging with two BPS compact massive objects in the heterotic string, described by standard vertex operators or coherent states. Despite the expected cubic suppression in ${\alpha'}$ w.r.t. the General Relativity result, at tree level the string corrections seem to leave a footprint or a memory on the gravitational wave signals within the sensitivity region of aLIGO/VIRGO and future interferometers. Including loop effects that broaden and destabilise the string resonances suggests a sort of lost stringy memory effect that can be regained through the analysis of the quasi normal modes in the ring-down phase.


title: Traffic Prediction Based Fast Uplink Grant for Massive IoT

abstract: This paper presents a novel framework for traffic prediction of IoT devices activated by binary Markovian events. First, we consider a massive set of IoT devices whose activation events are modeled by an On-Off Markov process with known transition probabilities. Next, we exploit the temporal correlation of the traffic events and apply the forward algorithm in the context of hidden Markov models (HMM) in order to predict the activation likelihood of each IoT device. Finally, we apply the fast uplink grant scheme in order to allocate resources to the IoT devices that have the maximal likelihood for transmission. In order to evaluate the performance of the proposed scheme, we define the regret metric as the number of missed resource allocation opportunities. The proposed fast uplink scheme based on traffic prediction outperforms both conventional random access and time division duplex in terms of regret and efficiency of system usage, while it maintains its superiority over random access in terms of average age of information for massive deployments.


title: Light Induced Electron Spin Resonance Properties of van der Waals CrX3 (X = Cl, I) Crystals

abstract: The research on layered van der Waals (vdW) magnets is rapidly progressing owing to exciting fundamental science and potential applications. In bulk crystal form, CrCl3 is a vdW antiferromagnet with in-plane ferromagnetic ordering below 17 K, and CrI3 is a vdW ferromagnet below 61 K. Here, we report on the electron spin resonance (ESR) properties of CrCl3 and CrI3 single crystals upon photo-excitation in the visible range. We noticed remarkable changes in the ESR spectra upon illumination. In the case of CrCl3, at 10 K, the ESR signal is shifted from g = 1.492 (dark) to 1.661 (light), line width increased from 376 to 506 Oe, and the signal intensity is reduced by 1.5 times. Most interestingly, the observed change in the signal intensity is reversible when the light is cycled on/off. We observed almost no change in the ESR spectral parameters in the paramagnetic phase (>20 K) upon illumination. Upon photo-excitation of CrI3, the ESR signal intensity is reduced by 1.9 times; the g-value increased from 1.956 to 1.990; the linewidth increased from 1170 to 1260 Oe at 60 K. These findings are discussed by taking into account the skin depth, the slow relaxation mechanism and the appearance of low-symmetry fields at the photo-generated Cr2+ Jahn-Teller centers. Such an increase in the g-value as a result of photo-generated Cr2+ ions is further supported by our many-body wavefunction calculations. This work has the potential to extend to monolayer vdWs magnets by combining ESR spectroscopy with optical excitation and detection.


title: Constraining hidden photons via atomic force microscope measurements and the Plimpton-Lawton experiment

abstract: Modifications to electrodynamics from physics beyond the Standard Model can be tested to a high accuracy. Here we use two setups to place bounds on hidden photons, an Abelian boson kinetically mixed with the photon. The first setup involves atomic force microscope measurements, originally designed to study the Casimir effect at sub-$\mu$m distances. The second setup consists of two concentric metal shells with the outer one exposed to a high voltage. By measuring the potential difference between the shells it is possible to test Coulomb's law. The limits obtained here cover regions already excluded, in particular by astrophysical observations, but provide a more direct, laboratory-based confirmation of these bounds.


title: The degenerate parts of spaces of meromorphic cusp forms under a regularized inner product

abstract: We investigate the inner product between meromorphic modular forms from certain distinguished subspaces. In particular, we compute the degenerate parts of these subspaces and further compute the inner product on some of the remaining quotient spaces.


title: Robust Tensor Principal Component Analysis: Exact Recovery via Deterministic Model

abstract: Tensor, also known as multi-dimensional array, arises from many applications in signal processing, manufacturing processes, healthcare, among others. As one of the most popular methods in tensor literature, Robust tensor principal component analysis (RTPCA) is a very effective tool to extract the low rank and sparse components in tensors. In this paper, a new method to analyze RTPCA is proposed based on the recently developed tensor-tensor product and tensor singular value decomposition (t-SVD). Specifically, it aims to solve a convex optimization problem whose objective function is a weighted combination of the tensor nuclear norm and the l1-norm. In most of literature of RTPCA, the exact recovery is built on the tensor incoherence conditions and the assumption of a uniform model on the sparse support. Unlike this conventional way, in this paper, without any assumption of randomness, the exact recovery can be achieved in a completely deterministic fashion by characterizing the tensor rank-sparsity incoherence, which is an uncertainty principle between the low-rank tensor spaces and the pattern of sparse tensor.


title: Inverted metallicity gradients in two Virgo cluster star-forming dwarf galaxies: evidence of recent merging?

abstract: We present integral field spectroscopy observations of two star-forming dwarf galaxies in the Virgo cluster (VCC135 and VCC324) obtained with PMAS/PPak at the Calar Alto 3.5 meter telescope. We derive metallicity maps using the N2 empirical calibrator. The galaxies show positive gas metallicity gradients, contrarily to what is usually found in other dwarfs or in spiral galaxies. We measure gradient slopes of 0.20 $\pm$ 0.06 and 0.15 $\pm$ 0.03 dex/$R_e$ for VCC135 and VCC324, respectively. Such a trend has been only observed in few, very isolated galaxies, or at higher redshifts ($z >$ 1). It is thought to be associated with accretion of metal-poor gas from the intergalactic medium, a mechanism that would be less likely to occur in a high-density environment like Virgo. We combine emission line observations with deep optical images to investigate the origin of the peculiar metallicity gradient. The presence of weak underlying substructures in both galaxies and the analysis of morphological diagnostics and of ionised gas kinematics suggest that the inflow of metal-poor gas to the central regions of the dwarfs may be related to a recent merging event with a gas-rich companion.


title: 6VecLM: Language Modeling in Vector Space for IPv6 Target Generation

abstract: Fast IPv6 scanning is challenging in the field of network measurement as it requires exploring the whole IPv6 address space but limited by current computational power. Researchers propose to obtain possible active target candidate sets to probe by algorithmically analyzing the active seed sets. However, IPv6 addresses lack semantic information and contain numerous addressing schemes, leading to the difficulty of designing effective algorithms. In this paper, we introduce our approach 6VecLM to explore achieving such target generation algorithms. The architecture can map addresses into a vector space to interpret semantic relationships and uses a Transformer network to build IPv6 language models for predicting address sequence. Experiments indicate that our approach can perform semantic classification on address space. By adding a new generation approach, our model possesses a controllable word innovation capability compared to conventional language models. The work outperformed the state-of-the-art target generation algorithms on two active address datasets by reaching more quality candidate sets.


title: Machine Learning Fairness in Justice Systems: Base Rates, False Positives, and False Negatives

abstract: Machine learning best practice statements have proliferated, but there is a lack of consensus on what the standards should be. For fairness standards in particular, there is little guidance on how fairness might be achieved in practice. Specifically, fairness in errors (both false negatives and false positives) can pose a problem of how to set weights, how to make unavoidable tradeoffs, and how to judge models that present different kinds of errors across racial groups. This paper considers the consequences of having higher rates of false positives for one racial group and higher rates of false negatives for another racial group. The paper examines how different errors in justice settings can present problems for machine learning applications, the limits of computation for resolving tradeoffs, and how solutions might have to be crafted through courageous conversations with leadership, line workers, stakeholders, and impacted communities.


title: A Time Leap Challenge for SAT Solving

abstract: We compare the impact of hardware advancement and algorithm advancement for SAT solving over the last two decades. In particular, we compare 20-year-old SAT-solvers on new computer hardware with modern SAT-solvers on 20-year-old hardware. Our findings show that the progress on the algorithmic side has at least as much impact as the progress on the hardware side.