title: Stability and collisions of quantum droplets in PT -symmetric dual-core couplers

abstract: We study the effect of the interplay between parity-time ($\mathcal{PT}$) symmetry and optical lattice (OL) potential on dynamics of quantum droplets (QDs) forming in a binary bosonic condensate trapped in a dual-core system. It is found that the stability of symmetric QDs in such non-Hermitian system depends critically on the competition of gain and loss $\gamma$, inter-core coupling $\kappa$, and OL potential. In the absence of OL potential, the $\mathcal{PT}$-symmetric QDs are unstable against symmetry-breaking perturbations with the increase of the total condensate norm $N$, and they retrieve the stability at larger $N$, in the weakly-coupled regime. As expected, the stable region of the $\mathcal{PT}$-symmetric QDs shrinks when $\gamma$ increases, i.e., the $\mathcal{PT}$ symmetry is prone to break the stability of QDs. There is a critical value of $\kappa$ beyond which the $\mathcal{PT}$-symmetric QDs are entirely stable in the unbroken $\mathcal{PT}$-symmetric phase. In the presence of OL potential, the $\mathcal{PT}$-symmetric on-site QDs are still stable for relatively small and large values of $N$. Nevertheless, it is demonstrated that the OL potential can assist stabilization of $\mathcal{PT}$-symmetric on-site QDs for some moderate values of $N$. On the other hand, it is worth noting that the relatively small $\mathcal{PT}$-symmetric off-site QDs are unstable, and only the relatively large ones are stable. Furthermore, collisions between stable $\mathcal{PT}$-symmetric QDs are considered too. It is revealed that the slowly moving $\mathcal{PT}$-symmetric QDs tend to merge into breathers, while the fast-moving ones display quasi-elastic collision and suffer fragmentation for small and large values of $N$, respectively.


title: Lightweight Quantum Security Protocols

abstract: Inspired by the semi-quantum protocols, this paper defines the lightweight quantum security protocols, in which lightweight participants can only operate two out of four very lightweight quantum operations. Subsequently, this study proposes a Lightweight Mediated Quantum Key Distribution (LMQKD) protocol as an example to disclose the feasibility and advantage of the lightweight quantum protocol. In the proposed protocol, a dishonest third party (TP) with complete quantum capabilities helps two lightweight quantum users establish a secure key. The lightweight quantum users are allowed to perform only: (1) unitary operations and (2) reflecting qubits without disturbance. The proposed protocol has been showed to be robust under the collective attack.


title: Intercalation Leads to Inverse Layer Dependence of Friction on Chemically Doped MoS_{2}

abstract: We present results of atomic-force-microscopy-based friction measurements on Re-doped molybdenum disulfide (MoS2). In stark contrast to the widespread observation of decreasing friction with increasing number of layers on two-dimensional (2D) materials, friction on Re-doped MoS2 exhibits an anomalous, i.e., inverse dependence on the number of layers. Raman spectroscopy measurements combined with ab initio calculations reveal signatures of Re intercalation. Calculations suggest an increase in out-of-plane stiffness that inversely correlates with the number of layers as the physical mechanism behind this remarkable observation, revealing a distinctive regime of puckering for 2D materials.


title: Large gyro-orbit model of ion velocity distribution in plasma near a wall in a grazing-angle magnetic field

abstract: A model is presented for the ion distribution function in a plasma at a solid target with a magnetic field $\vec{B}$ inclined at a small angle, $ \alpha \ll 1$ (in radians), to the target. Adiabatic electrons are assumed, requiring $\alpha\gg\sqrt{Zm_{\rm e}/m_{\rm i}} $ where $m_{\rm e}$ and $m_{\rm i}$ are the electron and ion mass respectively, and $Z$ is the charge state of the ion. An electric field $\vec{E}$ is present to repel electrons, and so the characteristic size of the electrostatic potential $\phi$ is set by the electron temperature $T_{\rm e}$, $e\phi \sim T_{\rm e}$, where $e$ is the proton charge. An asymptotic scale separation between the Debye length, $\lambda_{\rm D}=\sqrt{\epsilon_0 T_{\text{e}}/e^2 n_{\text{e}}}$, the ion sound gyroradius $\rho_{\rm s}=\sqrt{ m_{\rm i}(ZT_{\rm e}+T_{\rm i})}/(ZeB)$, and the size of the collisional region $d_{\rm c} = \alpha \lambda_{\rm mfp}$ is assumed, $\lambda_{\rm D} \ll \rho_{\rm s} \ll d_{\rm c}$. Here $\epsilon_0$ is the permittivity of free space, $n_{\rm e}$ is the electron density, $T_{\rm i}$ is the ion temperature, $B= |\vec{B}|$ and $\lambda_{\rm mfp}$ is the collisional mean free path of an ion. The form of the ion distribution function is assumed at distances $x$ from the wall such that $\rho_{\rm s} \ll x \ll d_{\rm c}$. A self-consistent solution of $\phi (x)$ is required to solve for the ion trajectories and for the ion distribution function at the target. The model presented here allows to bypass the numerical solution of $\phi (x)$ and results in an analytical expression for the ion distribution function at the target. It assumes that $\tau=T_{\rm i}/(ZT_{\rm e})\gg 1$, and ignores the electric force on the ion trajectory until close to the target. For $\tau \gtrsim 1$, the model provides a fast approximation to energy-angle distributions of ions at the target. These can be used to make sputtering predictions.


title: Well-posedness of the mean field forest fire age evolution equation

abstract: We prove the well-posedness of a differential equation that describes the evolution of the large-system limit of the empirical age measure in the mean field forest fire model of R\'ath and T\'oth (arXiv:0808.2116). This forest fire model is a random graph process on $n$ vertices, whose dynamics combine the Erd\H{o}s-R\'enyi dynamics with a Poisson rain of lightning strikes. All edges in any connected component are deleted as soon as any of its vertices is struck by lightning. Each vertex has an age, which increases at rate $1$ but is reset to $0$ each time it burns. We consider the asymptotic lightning regime in which the model displays self-organized criticality. Crane, R\'ath and Yeo (arXiv:1811.07981) take the initial state to be an inhomogeneous random graph whose edge probabilities depend on the ages of the vertices. They show that as $n \to \infty$ the empirical age distribution converges as a process to the solution of a deterministic autonomous differential equation. It is a nonlinear age-dependent population dynamics model whose age-specific mortality modulus involves the leading eigenfunction of the branching operator of an associated multitype branching process. The differential equation displays self-organized criticality in the sense that the leading eigenvalue of the branching operator is held at $1$ without this being imposed as a boundary condition.


title: Some new general lower bounds for mixed metric dimension of graphs

abstract: Let $G=(V,E)$ be a connected simple graph. The distance $d(u,v)$ between vertices $u$ and $v$ from $V$ is the number of edges in the shortest $u-v$ path. If $e=uv \in E$ is an edge in $G$ than distance $d(w,e)$ where $w$ is some vertex in $G$ is defined as $d(w,e)=\min(d(w,u),d(w,v))$. Now we can say that vertex $w \in V$ resolves two elements $x,y \in V \cup E$ if $d(w,x) \neq d(w,y)$. The mixed resolving set is a set of vertices $S$, $S\subseteq V$ if and only if any two elements of $E \cup V$ are resolved by some element of $S$. A minimal resolving set related to inclusion is called mixed resolving basis, and its cardinality is called the mixed metric dimension of a graph $G$. This graph invariant is recently introduced and it is of interest to find its general properties and determine its values for various classes of graphs. Since the problem of finding mixed metric dimension is a minimization problem, of interest is also to find lower bounds of good quality. This paper will introduce three new general lower bounds. The exact values of mixed metric dimension for torus graph is determined using one of these lower bounds. Finally, the comparison between new lower bounds and those known in the literature will be presented on two groups of instances: - all 21 conected graphs of order 5; - selected 12 well-known graphs with order from 10 up to 36.


title: Partial Pole Placement via Delay Action: A Python Software for Delayed Feedback Stabilizing Design

abstract: This paper presents a new Python software for the parametric design of stabilizing feedback laws with time delays, called Partial Pole Placement via Delay Action (P3$\delta$). After an introduction recalling recent theoretical results on the multiplicity-induced-dominancy (MID) and coexisting real roots-induced-dominancy (CRRID) properties and their use for the feedback stabilization of control systems operating under time delays, the paper presents the current version of P3$\delta$, which relies on the MID property to compute delayed stabilizing feedback laws for scalar differential equations with a single delay. We detail in particular its graphical user interface (GUI), which allows the user to input the necessary information and obtain the results of the analysis done by the software. These results include the parameters stabilizing the closed-loop system, graphical representations of the spectrum of the closed-loop system, simulations of solutions in the time domain, and a sensitivity analysis with respect to uncertain delays.


title: Comparing X-ray color selection in separating X-ray binary classes using Color-Color-Intensity diagrams

abstract: X-ray binaries exhibit a wide range of properties but there are few accepted methods to determine the nature of the compact object. Color-Color-Intensity diagrams have been suggested as a means of distinguishing between systems containing black holes from those containing neutron stars. However, this technique has been verified with data from only one instrument (RXTE/ASM) with a single set of X-ray colors defined using data available only in pre-determined energy bands. We test a selection of X-ray colors with a more sensitive instrument to determine the reliability of this method. We use data from the MAXI Gas Slit Camera, which allows users to specify energy-bands. We test X-ray colors that have been previously defined in the literature as well as ones that we define specifically in this paper. A representative set of systems are used to construct Color-Color-Intensity diagrams in each set of colors to determine which are best for separating different classes. For studying individual sources certain bands are more effective than others. For a specified energy range, the separation of soft states in black hole binaries was possible only where both soft and hard colors included information from the lowest energy band. We confirm that Color-Color-Intensity diagrams can distinguish between systems containing black holes or neutron stars in all X-ray colors tested; this suggests an universality in the accretion processes governing these different classes. We suggest possible physical processes driving different classes of X-ray binaries to different locations in Color-Color-Intensity diagrams.


title: Efficient List Decoding of Convolutional Polar Codes

abstract: An efficient implementation of min-sum SC/list decoding of convolutional polar codes is proposed. The complexity of the proposed implementation of SC decoding is more than two times smaller than the straightforward implementation. Moreover, the proposed list decoding algorithm does not require to copy any LLRs during decoding.


title: Exact Bayesian inference for diffusion driven Cox processes

abstract: In this paper, we present a novel methodology to perform Bayesian inference for Cox processes in which the intensity function is driven by a diffusion process. The novelty lies in the fact that no discretization error is involved, despite the non-tractability of both the likelihood function and the transition density of the diffusion. The methodology is based on an MCMC algorithm and its exactness is built on retrospective sampling techniques. The efficiency of the methodology is investigated in some simulated examples and its applicability is illustrated in some real data analyzes.


title: Stackelberg Stochastic Differential Game with Asymmetric Noisy Observations

abstract: This paper is concerned with a Stackelberg stochastic differential game with asymmetric noisy observation, with one follower and one leader. In our model, the follower cannot observe the state process directly, but could observe a noisy observation process, while the leader can completely observe the state process. Open-loop Stackelberg equilibrium is considered. The follower first solve an stochastic optimal control problem with partial observation, the maximum principle and verification theorem are obtained. Then the leader turns to solve an optimal control problem for a conditional mean-field forward-backward stochastic differential equation, and both maximum principle and verification theorem are proved. An linear-quadratic Stackelberg stochastic differential game with asymmetric noisy observation is discussed to illustrate the theoretical results in this paper. With the aid of some Riccati equations, the open-loop Stackelberg equilibrium admits its state estimate feedback representation.


title: Greybody factors of black holes in dRGT massive gravity coupled with nonlinear electrodynamics

abstract: In the context of the dRGT massive gravity coupled with nonlinear electrodynamics, we present new dRGT black hole solutions. Together with the thermodynamical properties of the solutions, we study the greybody factor of the corresponding black hole solution. To this end, we compute the rigorous bound on the greybody factor for the obtained dRGT black holes. The obtained results are graphically represented for different values of the theory's physical parameters. Our analysis shows that the charged dRGT black holes of nonlinear electrodynamics evaporate quicker than the charged dRGT black holes originated from linear electrodynamics.


title: On the maximal displacement of catalytic branching random walk

abstract: We study the distribution of the maximal displacement of particles positions for the whole time of the population existence in the model of critical and subcritical catalytic branching random walk on Z. In particular, we prove that in the case of simple symmetric random walk on Z, the distribution of the maximal displacement has "a heavy tail" decreasing as a function of the power 1/2 or 1, when the branching process is critical or subcritical, respectively. These statements describe new effects which do not arise in the corresponding investigations of the maximal displacement of critical and subcritical branching random walks on Z.


title: Recoil Momentum Effects in Quantum Processes Induced by Twisted Photons

abstract: We consider physical processes caused by the twisted photons for a wide range of energy scales, from optical (eV) to nuclear (MeV) to high-energy gamma-rays (TeV). We demonstrate that in order to satisfy angular momentum conservation, absorption of a twisted photon leads to a transverse recoil of the final particle or a system of particles leading to increased threshold energy required for the reaction to proceed. Modification of the threshold energy is predicted for (a) Photo-absorption on colds trapped ions of $^{40}$Ca, along with emerging new transverse-motion sidebands, (b) photo-disintegration of deuterium and (c) photo-production of electron-positron pairs in astrophysics environment.


title: ManiGen: A Manifold Aided Black-box Generator of Adversarial Examples

abstract: Machine learning models, especially neural network (NN) classifiers, have acceptable performance and accuracy that leads to their wide adoption in different aspects of our daily lives. The underlying assumption is that these models are generated and used in attack free scenarios. However, it has been shown that neural network based classifiers are vulnerable to adversarial examples. Adversarial examples are inputs with special perturbations that are ignored by human eyes while can mislead NN classifiers. Most of the existing methods for generating such perturbations require a certain level of knowledge about the target classifier, which makes them not very practical. For example, some generators require knowledge of pre-softmax logits while others utilize prediction scores. In this paper, we design a practical black-box adversarial example generator, dubbed ManiGen. ManiGen does not require any knowledge of the inner state of the target classifier. It generates adversarial examples by searching along the manifold, which is a concise representation of input data. Through extensive set of experiments on different datasets, we show that (1) adversarial examples generated by ManiGen can mislead standalone classifiers by being as successful as the state-of-the-art white-box generator, Carlini, and (2) adversarial examples generated by ManiGen can more effectively attack classifiers with state-of-the-art defenses.


title: On a rationality problem for fields of cross-ratios II

abstract: Let $k$ be a field, $x_1, \dots, x_n$ be independent variables and $L_n = k(x_1, \dots, x_n)$. The symmetric group $\Sigma_n$ acts on $L_n$ by permuting the variables, and the projective linear group $\text{PGL}_2$ acts by \[ \begin{pmatrix} a & b \\ c & d \end{pmatrix} \colon x_i \mapsto \frac{a x_i + b}{c x_i + d} \] for each $i = 1, \ldots, n$. The fixed field $L_n^{\text{PGL}_2}$ is called "the field of cross-ratios". Given a subgroup $S \subset \Sigma_n$, H. Tsunogai asked whether $L_n^S$ rational over $K_n^S$. When $n \geqslant 5$ the second author has shown that $L_n^S$ is rational over $K_n^S$ if and only if $S$ has an orbit of odd order in $\{ 1, \dots, n \}$. In this paper we answer Tsunogai's question for $n \leqslant 4$.


title: Unitary Subgroups of commutative group algebras of characteristic two

abstract: Let $FG$ be the group algebra of a finite $2$-group $G$ over a finite field $F$ of characteristic two and $\circledast$ an involution which arises from $G$. The $\circledast$-unitary subgroup of $FG$, denoted by $V_{\circledast}(FG)$, is defined to be the set of all normalized units $u$ satisfying the property $u^{\circledast}=u^{-1}$. In this paper we establish the order of $V_{\circledast}(FG)$ for all involutions $\circledast$ which arise from $G$, where $G$ is a finite cyclic $2$-group and show that all $\circledast$-unitary subgroups of $FG$ are not isomorphic.


title: Recent Results on Proportional Fair Scheduling for mmWave-based Industrial Wireless Networks

abstract: Millimeter wave (mmWave) communication has recently attracted significant attention from both industrial and academic communities. The large bandwidth availability as well as low interference nature of mmWave spectrum is particularly attractive for industrial communication. However, inherent challenges such as coverage and blockage of mmWave communication cause highly fluctuated channel quality. This paper explores wireless medium access control (MAC) schedulers for mmWave-based industrial wireless applications. Our objective is to design a high-performance and enhanced fairness MAC scheduling algorithm that responds rapidly to channel variations. The key contribution of our work is a method to modify the standard proportional fair (SPF) scheduler. It introduces more flexibility and dynamic properties. Compared to the SPF, our enhanced proportional fair (EPF) scheduler not only improves the priority for users in poor channel conditions but also accelerates the reaction time in fluctuated channel conditions. By providing higher fairness for all users and enhancing system robustness, it particularly adapts to the scatter-rich industrial mmWave communication environment. Through extensive performance evaluation based on the widely accepted network simulator (ns-3), we show that the new scheduler achieves better performance in terms of delivering ultra-low latency and reliable services over mmWave-based industrial communication.


title: Simple Circuit Equivalents for the Constant Phase Element

abstract: The constant phase element (CPE) with a frequency-independent negative phase between current and voltage is used extensively in e.g. the bioimpedance and electrochemistry fields. Its physical meaning is only partially understood. Here we show that the responses of both the common capacitive CPE as well as the inductive CPE are exactly the same as those of simple RL and RC circuits where the inductor's or capacitor's value increases linearly with time. The resulting step and impulse responses are found and verified by simulation with the Micro-Cap simulation program. The realization with time-varying components correlates with known time-varying properties in applications.


title: Comment on "Chern-Simons theory and atypical Hall conductivity in the Varma phase''

abstract: In a recent paper published in this Journal [Phys. Rev. B 97, 075135 (2018)], Menezes et al. analyze the topological behavior of a effective bosonic model defined on the Lieb lattice in presence of an electromagnetic field. In this context, the authors claim to have found an atypical quantum Hall effect for the quasiparticles. However, some inconsistencies related to the treatment of the propagator jeopardizes the main result in this system.

categories: hep-th cond-mat.other math-ph math.MP quant-ph


title: Diophantine approximation with smooth numbers

abstract: We prove a theorem about approximation to an irrational number by rational numbers whose denominator n is free of prime factors bigger than a power of log n. We strengthen the result in version 1 by using an exponential sum over smooth numbers tailored to the application. The new exponent approaches 1/3 as the exponent of log n becomes large.


title: Generalization bound of globally optimal non-convex neural network training: Transportation map estimation by infinite dimensional Langevin dynamics

abstract: We introduce a new theoretical framework to analyze deep learning optimization with connection to its generalization error. Existing frameworks such as mean field theory and neural tangent kernel theory for neural network optimization analysis typically require taking limit of infinite width of the network to show its global convergence. This potentially makes it difficult to directly deal with finite width network; especially in the neural tangent kernel regime, we cannot reveal favorable properties of neural networks beyond kernel methods. To realize more natural analysis, we consider a completely different approach in which we formulate the parameter training as a transportation map estimation and show its global convergence via the theory of the infinite dimensional Langevin dynamics. This enables us to analyze narrow and wide networks in a unifying manner. Moreover, we give generalization gap and excess risk bounds for the solution obtained by the dynamics. The excess risk bound achieves the so-called fast learning rate. In particular, we show an exponential convergence for a classification problem and a minimax optimal rate for a regression problem.


title: Safer working spaces at coronavirus time: A novel use of antibody tests

abstract: The SARS-CoV-2 pandemic has transformed the way that the world functions. Health issues and population safety have driven countries' economies to a critical state; therefore, sustaining economic activity while keeping workers safe has become a worldwide goal. In this paper, we present a novel safety protocol based on rapid antibody testing (ABT). Using discrete event simulation, we evaluated its performance on the cumulative number of infected workers, effective reproductive number ($R_e$), and active work force within a company. Using a synthetic experiment, we showed that ABT twice a week (ABT 3) performed the best, detecting 5.7% of infected workers, compared to 16.9% when no ABT was applied. $R_e$ was reduced from 1.75 to 0.84, with a slight decrease in the active workers within the firm. A sensitivity analysis on the duration of the shedding period and sensitivity of ABT was performed and led to the same qualitative conclusions. We applied this protocol in a Chilean winery: the estimation of the initial $R_e$ of 1.3 was reduced to 0.7 when the ABT 3 protocol was implemented, with a 27% decrease in the number of infected workers. Although ABT is not approved for COVID-19 diagnosis, our study shows that upgraded safety standards can already be implemented in workspaces.


title: Squeezing and multimode entanglement of surface acoustic wave phonons

abstract: Exploiting multiple modes in a quantum acoustic device could enable applications in quantum information in a hardware-efficient setup, including quantum simulation in a synthetic dimension and continuous-variable quantum computing with cluster states.We develop a multimode surface acoustic wave (SAW) resonator with a superconducting quantum interference device (SQUID) integrated in one of the Bragg reflectors. The interaction with the SQUID-shunted mirror gives rise to coupling between the more than 20 accessible resonator modes. We exploit this coupling to demonstrate two-mode squeezing of SAW phonons, as well as four-mode multipartite entanglement. Our results open avenues for continuous-variable quantum computing in a compact hybrid quantum system.


title: Electron Dynamics near Diamagnetic Regions of Comet 67P/Churyumov-Gerasimenko

abstract: The Rosetta spacecraft detected transient and sporadic diamagnetic regions around comet 67P/Churyumov-Gerasimenko. In this paper we present a statistical analysis of bulk and suprathermal electron dynamics, as well as a case study of suprathermal electron pitch angle distributions (PADs) near a diamagnetic region. Bulk electron densities are correlated with the local neutral density and we find a distinct enhancement in electron densities measured over the southern latitudes of the comet. Flux of suprathermal electrons with energies between tens of eV to a couple of hundred eV decreases each time the spacecraft enters a diamagnetic region. We propose a mechanism in which this reduction can be explained by solar wind electrons that are tied to the magnetic field and after having been transported adiabatically in a decaying magnetic field environment, have limited access to the diamagnetic regions. Our analysis shows that suprathermal electron PADs evolve from an almost isotropic outside the diamagnetic cavity to a field-aligned distribution near the boundary. Electron transport becomes chaotic and non-adiabatic when electron gyroradius becomes comparable to the size of the magnetic field line curvature, which determines the upper energy limit of the flux variation. This study is based on Rosetta observations at around 200 km cometocentric distance when the comet was at 1.24 AU from the Sun and during the southern summer cometary season.


title: Understanding Object Detection Through An Adversarial Lens

abstract: Deep neural networks based object detection models have revolutionized computer vision and fueled the development of a wide range of visual recognition applications. However, recent studies have revealed that deep object detectors can be compromised under adversarial attacks, causing a victim detector to detect no object, fake objects, or mislabeled objects. With object detection being used pervasively in many security-critical applications, such as autonomous vehicles and smart cities, we argue that a holistic approach for an in-depth understanding of adversarial attacks and vulnerabilities of deep object detection systems is of utmost importance for the research community to develop robust defense mechanisms. This paper presents a framework for analyzing and evaluating vulnerabilities of the state-of-the-art object detectors under an adversarial lens, aiming to analyze and demystify the attack strategies, adverse effects, and costs, as well as the cross-model and cross-resolution transferability of attacks. Using a set of quantitative metrics, extensive experiments are performed on six representative deep object detectors from three popular families (YOLOv3, SSD, and Faster R-CNN) with two benchmark datasets (PASCAL VOC and MS COCO). We demonstrate that the proposed framework can serve as a methodical benchmark for analyzing adversarial behaviors and risks in real-time object detection systems. We conjecture that this framework can also serve as a tool to assess the security risks and the adversarial robustness of deep object detectors to be deployed in real-world applications.


title: $\Lambda^*$ matter and its stability

abstract: We performed calculations of nuclear systems composed solely of $\Lambda^*$ hyperons, aiming at exploring the possibility of existence of absolutely stable $\Lambda^*$ matter. We considered $\Lambda^*$ interaction strengths compatible with the $\Lambda^*\Lambda^*$ binding energy $B_{\Lambda^*\Lambda^*}$ given by the $\bar{K}N$ interaction model by Yamazaki and Akaishi [1]. We found that the binding energy per $\Lambda^*$ saturates at values well below 100 MeV for mass number $A\geq120$. The $\Lambda^*$ matter is thus highly unstable against strong interaction decay.


title: AutoEmbedder: A semi-supervised DNN embedding system for clustering

abstract: Clustering is widely used in unsupervised learning method that deals with unlabeled data. Deep clustering has become a popular study area that relates clustering with Deep Neural Network (DNN) architecture. Deep clustering method downsamples high dimensional data, which may also relate clustering loss. Deep clustering is also introduced in semi-supervised learning (SSL). Most SSL methods depend on pairwise constraint information, which is a matrix containing knowledge if data pairs can be in the same cluster or not. This paper introduces a novel embedding system named AutoEmbedder, that downsamples higher dimensional data to clusterable embedding points. To the best of our knowledge, this is the first research endeavor that relates to traditional classifier DNN architecture with a pairwise loss reduction technique. The training process is semi-supervised and uses Siamese network architecture to compute pairwise constraint loss in the feature learning phase. The AutoEmbedder outperforms most of the existing DNN based semi-supervised methods tested on famous datasets.


title: MFED: A System for Monitoring Family Eating Dynamics

abstract: Obesity is a risk factor for many health issues, including heart disease, diabetes, osteoarthritis, and certain cancers. One of the primary behavioral causes, dietary intake, has proven particularly challenging to measure and track. Current behavioral science suggests that family eating dynamics (FED) have high potential to impact child and parent dietary intake, and ultimately the risk of obesity. Monitoring FED requires information about when and where eating events are occurring, the presence or absence of family members during eating events, and some person-level states such as stress, mood, and hunger. To date, there exists no system for real-time monitoring of FED. This paper presents MFED, the first of its kind of system for monitoring FED in the wild in real-time. Smart wearables and Bluetooth beacons are used to monitor and detect eating activities and the location of the users at home. A smartphone is used for the Ecological Momentary Assessment (EMA) of a number of behaviors, states, and situations. While the system itself is novel, we also present a novel and efficient algorithm for detecting eating events from wrist-worn accelerometer data. The algorithm improves eating gesture detection F1-score by 19% with less than 20% computation compared to the state-of-the-art methods. To date, the MFED system has been deployed in 20 homes with a total of 74 participants, and responses from 4750 EMA surveys have been collected. This paper describes the system components, reports on the eating detection results from the deployments, proposes two techniques for improving ground truth collection after the system is deployed, and provides an overview of the FED data, generated from the multi-component system, that can be used to model and more comprehensively understand insights into the monitoring of family eating dynamics.


title: Optimizing Prediction Serving on Low-Latency Serverless Dataflow

abstract: Prediction serving systems are designed to provide large volumes of low-latency inferences machine learning models. These systems mix data processing and computationally intensive model inference and benefit from multiple heterogeneous processors and distributed computing resources. In this paper, we argue that a familiar dataflow API is well-suited to this latency-sensitive task, and amenable to optimization even with unmodified black-box ML models. We present the design of Cloudflow, a system that provides this API and realizes it on an autoscaling serverless backend. Cloudflow transparently implements performance-critical optimizations including operator fusion and competitive execution. Our evaluation shows that Cloudflow's optimizations yield significant performance improvements on synthetic workloads and that Cloudflow outperforms state-of-the-art prediction serving systems by as much as 2x on real-world prediction pipelines, meeting latency goals of demanding applications like real-time video analysis.


title: The Hurewicz theorem in Homotopy Type Theory

abstract: We prove the Hurewicz theorem in homotopy type theory, i.e., that for $X$ a pointed, $(n-1)$-connected type $(n \geq 1)$ and $A$ an abelian group, there is a natural isomorphism $\pi_n(X)^{ab} \otimes A \cong \tilde{H}_n(X; A)$ relating the abelianization of the homotopy groups with the homology. We also compute the connectivity of a smash product of types and express the lowest non-trivial homotopy group as a tensor product. Along the way, we study magmas, loop spaces, connected covers and prespectra, and we use $1$-coherent categories to express naturality and for the Yoneda lemma. As homotopy type theory has models in all $\infty$-toposes, our results can be viewed as extending known results about spaces to all other $\infty$-toposes.


title: Analytical modeling of micelle growth. 3. Electrostatic free energy of ionic wormlike micelles -- effects of activity coefficients and spatially confined electric double layers

abstract: Hypotheses: To correctly predict the aggregation number and size of wormlike micelles from ionic surfactants, the molecular-thermodynamic theory has to calculate the free energy per molecule in the micelle with accuracy better than 0.01 kT, which is a serious challenge. The problem could be solved if the effects of mutual confinement of micelle counterion atmospheres, as well as the effects of counterion binding, surface curvature and ionic interactions in the electric double layer (EDL), are accurately described. Theory: The electric field is calculated using an appropriate cell model, which takes into account the aforementioned effects. Expressions for the activity coefficients have been used, which vary across the EDL and describe the electrostatic, hard sphere, and specific interactions between the ions. New approach for fast numerical calculation of the electrostatic free energy is developed. Findings: The numerical results demonstrate the variation of quantities characterizing the EDL of cylindrical and spherical micelles with the rise of electrolyte concentration. The effect of activity coefficients leads to higher values of the free energy per surfactant molecule in the micelle as compared with the case of neglected ionic interactions. The results are essential for the correct prediction of the size of wormlike micelles from ionic surfactants. This study can be extended to mixed micelles of ionic and nonionic surfactants for interpretation of the observed synergistic effects.


title: Lightweight Modules for Efficient Deep Learning based Image Restoration

abstract: Low level image restoration is an integral component of modern artificial intelligence (AI) driven camera pipelines. Most of these frameworks are based on deep neural networks which present a massive computational overhead on resource constrained platform like a mobile phone. In this paper, we propose several lightweight low-level modules which can be used to create a computationally low cost variant of a given baseline model. Recent works for efficient neural networks design have mainly focused on classification. However, low-level image processing falls under the image-to-image' translation genre which requires some additional computational modules not present in classification. This paper seeks to bridge this gap by designing generic efficient modules which can replace essential components used in contemporary deep learning based image restoration networks. We also present and analyse our results highlighting the drawbacks of applying depthwise separable convolutional kernel (a popular method for efficient classification network) for sub-pixel convolution based upsampling (a popular upsampling strategy for low-level vision applications). This shows that concepts from domain of classification cannot always be seamlessly integrated into image-to-image translation tasks. We extensively validate our findings on three popular tasks of image inpainting, denoising and super-resolution. Our results show that proposed networks consistently output visually similar reconstructions compared to full capacity baselines with significant reduction of parameters, memory footprint and execution speeds on contemporary mobile devices.


title: Meta Soft Label Generation for Noisy Labels

abstract: The existence of noisy labels in the dataset causes significant performance degradation for deep neural networks (DNNs). To address this problem, we propose a Meta Soft Label Generation algorithm called MSLG, which can jointly generate soft labels using meta-learning techniques and learn DNN parameters in an end-to-end fashion. Our approach adapts the meta-learning paradigm to estimate optimal label distribution by checking gradient directions on both noisy training data and noise-free meta-data. In order to iteratively update soft labels, meta-gradient descent step is performed on estimated labels, which would minimize the loss of noise-free meta samples. In each iteration, the base classifier is trained on estimated meta labels. MSLG is model-agnostic and can be added on top of any existing model at hand with ease. We performed extensive experiments on CIFAR10, Clothing1M and Food101N datasets. Results show that our approach outperforms other state-of-the-art methods by a large margin.


title: Field emission from two-dimensional GeAs

abstract: GeAs is a layered material of the IV-V groups that is attracting growing attention for possible applications in electronic and optoelectronic devices. In this study, exfoliated multilayer GeAs nanoflakes are structurally characterized and used as the channel of back-gate field-effect transistors. It is shown that their gate-modulated p-type conduction is decreased by exposure to light or electron beam. Moreover, the observation of a field emission current demonstrates the suitability of GeAs nanoflakes as cold cathodes for electron emission and opens up new perspective applications of two-dimensional GeAs in vacuum electronics. Field emission occurs with a turn-on field of ~80 V/{\mu}m and attains a current density higher than 10 A/cm^2, following the general Fowler-Nordheim model with high reproducibility.


title: Control as Hybrid Inference

abstract: The field of reinforcement learning can be split into model-based and model-free methods. Here, we unify these approaches by casting model-free policy optimisation as amortised variational inference, and model-based planning as iterative variational inference, within a `control as hybrid inference' (CHI) framework. We present an implementation of CHI which naturally mediates the balance between iterative and amortised inference. Using a didactic experiment, we demonstrate that the proposed algorithm operates in a model-based manner at the onset of learning, before converging to a model-free algorithm once sufficient data have been collected. We verify the scalability of our algorithm on a continuous control benchmark, demonstrating that it outperforms strong model-free and model-based baselines. CHI thus provides a principled framework for harnessing the sample efficiency of model-based planning while retaining the asymptotic performance of model-free policy optimisation.


title: Analyzing ribosome remodeling in health and disease

abstract: regulation largely unexplored, in part due to methodological limitations. Indeed, we review evidence demonstrating that commonly used methods, such as transcriptomics, are inadequate because the variability in mRNAs coding for ribosomal proteins (RP) does not necessarily correspond to RP variability. Thus protein remodeling of ribosomes should be investigated by methods that allow direct quantification of RPs, ideally of isolated ribosomes. We review such methods, focusing on mass spectrometry and emphasizing method-specific biases and approaches to control these biases. We argue that using multiple complementary methods can help reduce the danger of interpreting reproducible systematic biases as evidence for ribosome remodeling.


title: Representation Learning via Adversarially-Contrastive Optimal Transport

abstract: In this paper, we study the problem of learning compact (low-dimensional) representations for sequential data that captures its implicit spatio-temporal cues. To maximize extraction of such informative cues from the data, we set the problem within the context of contrastive representation learning and to that end propose a novel objective via optimal transport. Specifically, our formulation seeks a low-dimensional subspace representation of the data that jointly (i) maximizes the distance of the data (embedded in this subspace) from an adversarial data distribution under the optimal transport, a.k.a. the Wasserstein distance, (ii) captures the temporal order, and (iii) minimizes the data distortion. To generate the adversarial distribution, we propose a novel framework connecting Wasserstein GANs with a classifier, allowing a principled mechanism for producing good negative distributions for contrastive learning, which is currently a challenging problem. Our full objective is cast as a subspace learning problem on the Grassmann manifold and solved via Riemannian optimization. To empirically study our formulation, we provide experiments on the task of human action recognition in video sequences. Our results demonstrate competitive performance against challenging baselines.


title: Tighter Bounds on the Independence Number of the Birkhoff Graph

abstract: The Birkhoff graph $\mathcal{B}_n$ is the Cayley graph of the symmetric group $S_n$, where two permutations are adjacent if they differ by a single cycle. Our main result is a tighter upper bound on the independence number $\alpha(\mathcal{B}_n)$ of $\mathcal{B}_n$, namely, we show that $\alpha(\mathcal{B}_n) \le O(n!/1.97^n)$ improving on the previous known bound of $\alpha(\mathcal{B}_n) \le O(n!/\sqrt{2}^{n})$ by [Kane-Lovett-Rao, FOCS 2017]. Our approach combines a higher-order version of their representation theoretic techniques with linear programming. With an explicit construction, we also improve their lower bound on $\alpha(\mathcal{B}_n)$ by a factor of $n/2$. This construction is based on a proper coloring of $\mathcal{B}_n$, which also gives an upper bound on the chromatic number $\chi(\mathcal{B}_n)$ of $\mathcal{B}_n$. Via known connections, the upper bound on $\alpha(\mathcal{B}_n)$ implies alphabet size lower bounds for a family of maximally recoverable codes on grid-like topologies.


title: Isotropic conduction and negative photoconduction in ultrathin PtSe$_2$ films

abstract: PtSe$_2$ ultrathin films are used as the channel of back-gated field-effect transistors (FETs) that are investigated at different temperatures and under super-continuous white laser irradiation. The temperature-dependent behavior confirms the semiconducting nature of multilayer PtSe$_2$, with p-type conduction, a hole field-effect mobility up to 40 cm2/(Vs) and significant gate modulation. Electrical conduction measured along different directions shows isotropic transport. A reduction of PtSe$_2$ channel conductance is observed under exposure to light. Such negative photoconductivity is explained by a photogating effect caused by photo-charge accumulation in SiO$_2$ and at the Si/SiO$_2$ interface.


title: The Future of Work Is Here: Toward a Comprehensive Approach to Artificial Intelligence and Labour

abstract: This commentary traces contemporary discourses on the relationship between artificial intelligence and labour and explains why these principles must be comprehensive in their approach to labour and AI. First, the commentary asserts that ethical frameworks in AI alone are not enough to guarantee workers' rights since they lack enforcement mechanisms and the representation of different stakeholders. Secondly, it argues that current discussions on AI and labour focus on the deployment of these technologies in the workplace but ignore the essential role of human labour in their development, particularly in the different cases of outsourced labour around the world. Finally, it recommends using existing human rights frameworks for working conditions to provide more comprehensive ethical principles and regulations. The commentary concludes by arguing that the central question regarding the future of work should not be whether intelligent machines will replace humans, but who will own these systems and have a say in their development and operation.


title: Weak normality properties in $\Psi$-spaces

abstract: Almost disjoint families of true cardinality $\mathfrak{c}$ are used to produce an example of a mildly-normal not partly-normal $\Psi$-space and a quasi-normal not almost-normal $\Psi$-space. This is related with a problem posed by Lufti Kalantan where he asks whether there exists a mad family so that the related Mr\'owka-Isbell space is partly-normal. In addition, a consistent example of a Luzin mad family such that its associated $\Psi$-space is quasi-normal is provided.


title: A Natural Scotogenic Model for Neutrino Mass \& Dark Matter

abstract: In this letter, we propose an extension of the scotogenic model where singlet Majorana particle can be dark matter (DM) without the need of a highly suppressed scalar coupling of the order $O(10^{-10})$. For that, the SM is extended with three singlet Majorana fermions, an inert scalar doublet, and two (a complex and a real) singlet scalars, with a global $Z_{4}$ symmetry that is spontaneously broken into $Z_{2}$ at a scale higher than the electroweak one by the vev of the complex singlet scalar. In this setup, the smallness of neutrino mass is achieved via the cancellation between three diagrams a la scotogenic, a DM candidate that is viable for a large mass range; and the phenomenology is richer than the minimal scotogenic model.


title: Scalar field unification of interacting viscous dark fluid from a geometrical scalar-tensor theory of gravity

abstract: We investigate, in the framework of a recently introduced new class of invariant geometrical scalar-tensor theory of gravity, the possibility that a viscous dark fluid can be described in a unified manner by a single scalar field. Thus we developed a model in which both the metric tensor and the scalar field have geometrical origin. The scalar field is characterized by a non-canonical kinetic term and the scalar viscosity of the dark fluid appears as soon the kinetic energy of the scalar field is no longer canonical. The scalar viscosity is considered as a function of the Hubble and the deceleration parameters. To illustrate the formalism we have considered two cases: a constant and a thermodynamic equation of state parameters. In the both cases we obtain analytic representations for the scalar field and their respective potentials. We delimit free parameters by comparing with some Planck 2018 results.


title: Acoustic-gravity wave propagation characteristics in 3D radiation hydrodynamic simulations of the solar atmosphere

abstract: There has been tremendous progress in the degree of realism of three-dimensional radiation magneto-hydrodynamic simulations of the solar atmosphere in the past decades. Four of the most frequently used numerical codes are Bifrost, CO5BOLD, MANCHA3D, and MURaM. Here we test and compare the wave propagation characteristics in model runs from these four codes by measuring the dispersion relation of acoustic-gravity waves at various heights. We find considerable differences between the various models. The height dependence of wave power, in particular of high-frequency waves, varies by up to two orders of magnitude between the models, and the phase difference spectra of several models show unexpected features, including $\pm180^\circ$ phase jumps.


title: Fighting Disaster Misinformation in Latin America: The #19S Mexican Earthquake Case Study

abstract: Social media platforms have been extensively used during natural disasters. However, most prior work has lacked focus on studying their usage during disasters in the Global South, where Internet access and social media utilization differs from developing countries. In this paper, we study how social media was used in the aftermath of the 7.1-magnitude earthquake that hit Mexico on September 19 of 2017 (known as the #19S earthquake). We conduct an analysis of how participants utilized social media platforms in the #19S aftermath. Our research extends investigations of crisis informatics by: 1) examining how participants used different social media platforms in the aftermath of a natural disaster in a Global South country; 2) uncovering how individuals developed their own processes to verify news reports using an on-the-ground citizen approach; 3) revealing how people developed their own mechanisms to deal with outdated information. For this, we surveyed 356 people. Additionally, we analyze one month of activity from: Facebook (12,606 posts), Twitter (2,909,109 tweets), Slack (28,782 messages), and GitHub (2,602 commits). This work offers a multi-platform view on user behavior to coordinate relief efforts, reduce the spread of misinformation and deal with obsolete information which seems to have been essential to help in the coordination and efficiency of relief efforts. Finally, based on our findings, we make recommendations for technology design to improve the effectiveness of social media use during crisis response efforts and mitigate the spread of misinformation across social media platforms.


title: Properties of the Milky Way's Old Populations Based on Photometric Metallicities of the OGLE RR Lyrae Stars

abstract: We have used photometric data on almost 91 000 fundamental-mode RR Lyrae stars (type RRab) detected by the OGLE survey to investigate properties of old populations in the Milky Way. Based on their metallicity distributions, we demonstrate that the Galaxy is built from three distinct old components: halo, bulge, and disk. The distributions reach their maxima at approximately [Fe/H]_J95 = -1.2, -1.0, and -0.6 dex on the Jurcsik's metallicity scale, respectively. We find that, very likely, the entire halo is formed from infalling dwarf galaxies. It is evident that halo stars penetrate the inner regions of the Galactic bulge. We estimate that about one-third of all RR Lyr stars within the bulge area belong in fact to the halo population. The whole old bulge is dominated by two populations, A and B, represented by a double sequence in the period-amplitude (Bailey) diagram. The boundary in iron abundance between the halo and the disk population is at about [Fe/H]_J95 = -0.8 dex. Using Gaia DR2 for RRab stars in the disk area, we show that the observed dispersion of proper motions along the Galactic latitude decreases smoothly with the increasing metal content excluding a bump around [Fe/H]_J95 = -1.0 dex.


title: Good Fibrations: Packing Rules for Diabolic Domains

abstract: We describe a theory of packing hyperboloid 'diabolic' domains in bend-free textures of liquid crystals. The domains sew together continuously, providing a menagerie of bend-free textures akin to the packing of focal conic domains in smectic liquid crystals. We show how distinct domains may be related to each other by Lorentz transformations, and that this process may lower the elastic energy of the system. We discuss a number of phases that may be formed as a result, including splay-twist analogues of blue phases. We also discuss how these diabolic domains may be subject to "superluminal boosts", yielding defects analogous to shocks waves. We explore the geometry of these textures, demonstrating their relation to Milnor fibrations of the Hopf link. Finally, we show how the theory of these domains is unified in four-dimensional space.


title: Site preference of Fe atoms in the olivine (Fe$_x$Mg$_{2-x}$)SiO$_4$ and its surface

abstract: Olivine is involved in many natural reactions and industrial reactions as a catalyst. The catalytic ability is highly possible rely on the Fe$^{2+}$ in olivine. We use density functional theory calculation and thermodynamics to investigate the site preference of Fe atom in olivine which composition from iron-rich to iron-poor and its surfaces. The Fe$^{2+}$ always shows its high spin (quintet) state which has larger ion radius than Mg$^{2+}$ in olivine crystal and surfaces. The Fe$^{2+}$ inside the surface slab prefers the smaller M1 site than M2 site by enlarging the metal-oxygen octahedra when occupied the metal site as in the bulk system. Energy contribution of entropies accumulation caused temperature raise stops this preference at the temperature where a cation order-disorder distribution energy crossover happen in olivine. Surface exposed site provide Fe$^{2+}$ large space due its unsaturated nature. This lead a higher level of preference of Fe$^{2+}$ to the surface site than any metal site inside the crystal no matter M1 or M2 site is exposed. This indicate the Fe$^{2+}$ in the bulk system can diffuse to a metal site exposed on the surface driven by the energy difference. Many reactions can use the on surface Fe$^{2+}$ as a catalyst because of the active chemical behavior of Fe. Meanwhile this energetics preference should be considered in the future model to explain the natural observed zoning olivine have a high Fe edge and low Fe center. These microscopic understanding can be essential to many olivine related geochemical and astrochemical reactions.


title: Submodular Meta-Learning

abstract: In this paper, we introduce a discrete variant of the meta-learning framework. Meta-learning aims at exploiting prior experience and data to improve performance on future tasks. By now, there exist numerous formulations for meta-learning in the continuous domain. Notably, the Model-Agnostic Meta-Learning (MAML) formulation views each task as a continuous optimization problem and based on prior data learns a suitable initialization that can be adapted to new, unseen tasks after a few simple gradient updates. Motivated by this terminology, we propose a novel meta-learning framework in the discrete domain where each task is equivalent to maximizing a set function under a cardinality constraint. Our approach aims at using prior data, i.e., previously visited tasks, to train a proper initial solution set that can be quickly adapted to a new task at a relatively low computational cost. This approach leads to (i) a personalized solution for each individual task, and (ii) significantly reduced computational cost at test time compared to the case where the solution is fully optimized once the new task is revealed. The training procedure is performed by solving a challenging discrete optimization problem for which we present deterministic and randomized algorithms. In the case where the tasks are monotone and submodular, we show strong theoretical guarantees for our proposed methods even though the training objective may not be submodular. We also demonstrate the effectiveness of our framework on two real-world problem instances where we observe that our methods lead to a significant reduction in computational complexity in solving the new tasks while incurring a small performance loss compared to when the tasks are fully optimized.


title: Complex Wavelet SSIM based Image Data Augmentation

abstract: One of the biggest problems in neural learning networks is the lack of training data available to train the network. Data augmentation techniques over the past few years, have therefore been developed, aiming to increase the amount of artificial training data with the limited number of real world samples. In this paper, we look particularly at the MNIST handwritten dataset an image dataset used for digit recognition, and the methods of data augmentation done on this data set. We then take a detailed look into one of the most popular augmentation techniques used for this data set elastic deformation; and highlight its demerit of degradation in the quality of data, which introduces irrelevant data to the training set. To decrease this irrelevancy, we propose to use a similarity measure called Complex Wavelet Structural Similarity Index Measure (CWSSIM) to selectively filter out the irrelevant data before we augment the data set. We compare our observations with the existing augmentation technique and find our proposed method works yields better results than the existing technique.


title: Efficient resource management in UAVs for Visual Assistance

abstract: There is an increased interest in the use of Unmanned Aerial Vehicles (UAVs) for agriculture, military, disaster management and aerial photography around the world. UAVs are scalable, flexible and are useful in various environments where direct human intervention is difficult. In general, the use of UAVs with cameras mounted to them has increased in number due to their wide range of applications in real life scenarios. With the advent of deep learning models in computer vision many models have shown great success in visual tasks. But most of evaluation models are done on high end CPUs and GPUs. One of major challenges in using UAVs for Visual Assistance tasks in real time is managing the memory usage and power consumption of the these tasks which are computationally intensive and are difficult to be performed on low end processor board of the UAV. This projects describes a novel method to optimize the general image processing tasks like object tracking and object detection for UAV hardware in real time scenarios without affecting the flight time and not tampering the latency and accuracy of these models.


title: Epidemic Models as Scaling Limits of Individual Dynamics

abstract: Infection spread among individuals is modelled with a continuous time Markov chain, in which subject interactions depend on their distance in space. The well known SIR model and non local variants of the latter are then obtained as large scale limits of the individual based model in two different scaling regimes of the interaction.


title: Anomaly Detection-Based Unknown Face Presentation Attack Detection

abstract: Anomaly detection-based spoof attack detection is a recent development in face Presentation Attack Detection (fPAD), where a spoof detector is learned using only non-attacked images of users. These detectors are of practical importance as they are shown to generalize well to new attack types. In this paper, we present a deep-learning solution for anomaly detection-based spoof attack detection where both classifier and feature representations are learned together end-to-end. First, we introduce a pseudo-negative class during training in the absence of attacked images. The pseudo-negative class is modeled using a Gaussian distribution whose mean is calculated by a weighted running mean. Secondly, we use pairwise confusion loss to further regularize the training process. The proposed approach benefits from the representation learning power of the CNNs and learns better features for fPAD task as shown in our ablation study. We perform extensive experiments on four publicly available datasets: Replay-Attack, Rose-Youtu, OULU-NPU and Spoof in Wild to show the effectiveness of the proposed approach over the previous methods. Code is available at: \url{https://github.com/yashasvi97/IJCB2020_anomaly}


title: Reliability of decisions based on tests: Fourier analysis of Boolean decision functions

abstract: Items in a test are often used as a basis for making decisions and such tests are therefore required to have good psychometric properties, like unidimensionality. In many cases the sum score is used in combination with a threshold to decide between pass or fail, for instance. Here we consider whether such a decision function is appropriate, without a latent variable model, and which properties of a decision function are desirable. We consider reliability (stability) of the decision function, i.e., does the decision change upon perturbations, or changes in a fraction of the outcomes of the items (measurement error). We are concerned with questions of whether the sum score is the best way to aggregate the items, and if so why. We use ideas from test theory, social choice theory, graphical models, computer science and probability theory to answer these questions. We conclude that a weighted sum score has desirable properties that (i) fit with test theory and is observable (similar to a condition like conditional association), (ii) has the property that a decision is stable (reliable), and (iii) satisfies Rousseau's criterion that the input should match the decision. We use Fourier analysis of Boolean functions to investigate whether a decision function is stable and to figure out which (set of) items has proportionally too large an influence on the decision. To apply these techniques we invoke ideas from graphical models and use a pseudo-likelihood factorisation of the probability distribution.


title: Pion-nucleus induced Drell-Yan cross section in models inspired by light-front holography

abstract: We evaluate the cross section for the pion induced Drell-Yan process in two different models of the pion light-front wave function, inspired by light-front holographic approaches. We obtain the valence quark distribution functions in those models, which after QCD evolution, are consistent with the experimental data from the E-0615 experiment at Fermilab. Supplemented by the parton distribution functions of the target nuclei, we obtain the cross section consistent with the experimental data for the $\pi^-$ Nucleus $\rightarrow {\mu^+\mu^-X}$ Drell-Yan process.


title: SARS-CoV-2 orthologs of pathogenesis-involved small viral RNAs of SARS-CoV

abstract: Background: The COVID-19 pandemic clock is ticking and the survival of many of mankind's modern institutions and or survival of many individuals is at stake. There is a need for treatments to significantly reduce the morbidity and mortality of COVID-19. Hence, we delved deep into the SARS-CoV-2 genome, which is the virus that has caused COVID-19. SARS-CoV-2 is from the same family as SARS-CoV in which three small viral RNAs (svRNA) were recently identified; those svRNAs play a significant role in the virus pathogenesis in mice. Contribution: In this paper, we report potential orthologs of those three svRNAs in the SARS-CoV-2 genome. Instead of off-the-shelf search and alignment algorithms, which failed to discover the orthologs, we used a special alignment scoring that does not penalize C/T and A/G mismatches as much as the other mutations. RNA bases C and U both can bind to G; similarly, A and G both can bind to U, hence, our scoring. We also validate this hypothesis using a novel, independent computational experiment. To validate our results, we confirmed the discovered orthologs are fully conserved in all the tested publicly available genomes of various strains of SARS-CoV-2; the loci at which the SARS-CoV-2 orthologs occur are close to the loci at which SARS-CoV svRNAs occur. We also report potential targets for these svRNAs. We hypothesize that the discovered orthologs play a role in pathogenesis of SARS-CoV-2, and therefore, antagomir-mediated inhibition of these SARS-CoV-2 svRNAs inhibits COVID-19.


title: Solving Bayesian Risk Optimization via Nested Stochastic Gradient Estimation

abstract: In this paper, we aim to solve Bayesian Risk Optimization (BRO), which is a recently proposed framework that formulates simulation optimization under input uncertainty. In order to efficiently solve the BRO problem, we derive nested stochastic gradient estimators and propose corresponding stochastic approximation algorithms. We show that our gradient estimators are asymptotically unbiased and consistent, and that the algorithms converge asymptotically. We demonstrate the empirical performance of the algorithms on a two-sided market model. Our estimators are of independent interest in extending the literature of stochastic gradient estimation to the case of nested risk functions.


title: On the complexity of binary polynomial optimization over acyclic hypergraphs

abstract: In this work we advance the understanding of the fundamental limits of computation for Binary Polynomial Optimization (BPO), which is the problem of maximizing a given polynomial function over all binary points. In our main result we provide a novel class of BPO that can be solved efficiently both from a theoretical and computational perspective. In fact, we give a strongly polynomial-time algorithm for instances whose corresponding hypergraph is beta-acyclic. We note that the beta-acyclicity assumption is natural in several applications including relational database schemes and the lifted multicut problem on trees. Due to the novelty of our proving technique, we obtain an algorithm which is interesting also from a practical viewpoint. This is because our algorithm is very simple to implement and the running time is a polynomial of very low degree in the number of nodes and edges of the hypergraph. Our result completely settles the computational complexity of BPO over acyclic hypergraphs, since the problem is NP-hard on alpha-acyclic instances. Our algorithm can also be applied to any general BPO problem that contains beta-cycles. For these problems, the algorithm returns a smaller instance together with a rule to extend any optimal solution of the smaller instance to an optimal solution of the original instance.


title: A Dobrushin-Lanford-Ruelle theorem for irreducible sofic shifts

abstract: We show that for a potential with summable variations on an irreducible sofic shift in one dimension, the equilibrium measures are precisely the shift-invariant Gibbs measures. The main tool in the proof is a preservation of Gibbsianness result for almost invertible factor codes on irreducible shifts of finite type, which we then extend to finite-to-one codes by applying the results about equilibrium measures.


title: Thermal entanglement and correlated coherence in two coupled double quantum dots systems

abstract: In this work, we investigate the thermal quantum correlations in two coupled double semiconductor charge qubits. This is carried out by deriving analytical expressions for both the thermal concurrence and the correlated coherence. We study, in detail, the effects of the tunneling parameters, the Coulomb interaction and the temperature on the thermal entanglement and on the correlated coherence. It is found that the Coulomb potential plays an important role in the thermal entanglement and in the correlated coherence of the system. The results also indicate that the Coulomb potential can be used for significant enhancement of the thermal entanglement and quantum coherence. One interesting aspect is that the correlated coherence capture all the thermal entanglement at low temperatures, i.e, the local coherences are totally transferred to the thermal entanglement. Finally, we focus on the role played by thermal entanglement and the correlated coherence responsible for quantum correlations. We show that in all cases, the correlated coherence is more robust than the thermal entanglement so that quantum algorithms based only on correlated coherence may be more robust than those based on entanglement. Our results also show that the entanglement can be tuned by varying the Coulomb interaction between electrons.


title: Bayesian Deep Ensembles via the Neural Tangent Kernel

abstract: We explore the link between deep ensembles and Gaussian processes (GPs) through the lens of the Neural Tangent Kernel (NTK): a recent development in understanding the training dynamics of wide neural networks (NNs). Previous work has shown that even in the infinite width limit, when NNs become GPs, there is no GP posterior interpretation to a deep ensemble trained with squared error loss. We introduce a simple modification to standard deep ensembles training, through addition of a computationally-tractable, randomised and untrainable function to each ensemble member, that enables a posterior interpretation in the infinite width limit. When ensembled together, our trained NNs give an approximation to a posterior predictive distribution, and we prove that our Bayesian deep ensembles make more conservative predictions than standard deep ensembles in the infinite width limit. Finally, using finite width NNs we demonstrate that our Bayesian deep ensembles faithfully emulate the analytic posterior predictive when available, and can outperform standard deep ensembles in various out-of-distribution settings, for both regression and classification tasks.


title: Complexified quantum and classical mechanics

abstract: The anti self-adjoint operators of coordinate and momentum are introduced and applied in discussion of tunneling through the potential barrier where imaginary value of momentum unavoidably appears. Tunneling through temporal barrier is proceeded in a similar way and it is shown that the quantum system can tunnel, while the classical systems are destroyed by such barrier. The imaginary observables of coordinate and momentum are used in a novel treatment of passage through the event horizon. By considering the event horizon as the border of the finite potential barrier, it is found that there is no singularity at the center of a black hole. The imaginary variables of coordinate and momentum are used for the construction of a toy model of the universe. It is shown that the acceleration of the expansion of the universe does not need dark energies to be explained since negative energies are present and characteristic for the imaginary world.


title: Recursive algorithm for the control of output remnant of Preisach hysteresis operator

abstract: We study in this paper the control of hysteresis-based actuator systems where its remanence behavior (e.g., the remaining memory when the actuation signal is set to zero) must follow a desired reference point. We present a recursive algorithm for the output regulation of the hysteresis remnant behavior described by Preisach operators. Under some mild conditions, we prove that our proposed algorithm guarantees that the output remnant converges to a desired value. Simulation result shows the efficacy of our proposed algorithm.


title: Positivity-preserving hybrid DG/FV method with subcell resolution for compressible Euler equations with stiff source terms

abstract: In numerical investigations of stringent problems in science and engineering research, non-physical negative density or pressure may emerge and cause blow-ups of the computation. We build on the realization that the positivity of density and pressure can be preserved in an efficient way of exploiting the advantage of discontinuous Galerkin and finite volume (DG/FV) hybrid computation framework. We thus present an effective and simple method with great practical significance to maintain the positivity of density and pressure in solving the reactive Euler equations. The approach is able to maximize the multiscale capability of the DG method by achieving both positivity-preserving and oscillation-free solution in the subgrid level. In the designed scheme, a priori detection and computation with hyperbolic tangent function prevent the occurrence of negativity in the flux evaluation, while a posteriori detection and computation with the first-order Godunov scheme guarantee the positivity of subcell solution. The a priori computation achieves bounded reconstruction and less oscillatory solution so that the a posteriori computation can be active in few cells where the extremely complex computation condition appears. Furthermore, the valuable information from the reconstruction process is utilized to design the indication strategy that identifies the DG and FV cells, and the technique of adaptively choosing reconstruction candidates is adopted to overcome the excessive numerical dissipation in the shock-capturing scheme. Numerical tests, including demanding examples in stiff detonation simulation, demonstrate the positivity-preserving, non-oscillatory and subcell resolution property of the present method.


title: Deep Learning for Reactive Power Control of Smart Inverters under Communication Constraints

abstract: Aiming for the median solution between cyber-intensive optimal power flow (OPF) solutions and subpar local control, this work advocates deciding inverter injection setpoints using deep neural networks (DNNs). Instead of fitting OPF solutions in a black-box manner, inverter DNNs are naturally integrated with the feeder model and trained to minimize a grid-wide objective subject to inverter and network constraints enforced on the average over uncertain grid conditions. Learning occurs in a quasi-stationary fashion and is posed as a stochastic OPF, handled via stochastic primal-dual updates acting on grid data scenarios. Although trained as a whole, the proposed DNN is operated in a master-slave architecture. Its master part is run at the utility to output a condensed control signal broadcast to all inverters. Its slave parts are implemented by inverters and are driven by the utility signal along with local inverter readings. This novel DNN structure uniquely addresses the small-big data conundrum where utilities collect detailed smart meter readings yet on an hourly basis, while in real time inverters should be driven by local inputs and minimal utility coordination to save on communication. Numerical tests corroborate the efficacy of this physics-aware DNN-based inverter solution over an optimal control policy.


title: Adversarially-Trained Deep Nets Transfer Better: Illustration on Image Classification

abstract: Transfer learning has emerged as a powerful methodology for adapting pre-trained deep neural networks on image recognition tasks to new domains. This process consists of taking a neural network pre-trained on a large feature-rich source dataset, freezing the early layers that encode essential generic image properties, and then fine-tuning the last few layers in order to capture specific information related to the target situation. This approach is particularly useful when only limited or weakly labeled data are available for the new task. In this work, we demonstrate that adversarially-trained models transfer better than non-adversarially-trained models, especially if only limited data are available for the new domain task. Further, we observe that adversarial training biases the learnt representations to retaining shapes, as opposed to textures, which impacts the transferability of the source models. Finally, through the lens of influence functions, we discover that transferred adversarially-trained models contain more human-identifiable semantic information, which explains -- at least partly -- why adversarially-trained models transfer better.


title: A subquadratic algorithm for the simultaneous conjugacy problem

abstract: The $d$-Simultaneous Conjugacy problem in the symmetric group $S_n$ asks whether there exists a permutation $\tau \in S_n$ such that $b_j = \tau^{-1}a_j \tau$ holds for all $j = 1,2,\ldots, d$, where $a_1, a_2,\ldots , a_d$ and $b_1, b_2,\ldots , b_d$ are given sequences of permutations in $S_n$. The time complexity of existing algorithms for solving the problem is $O(dn^2)$. We show that for a given positive integer $d$ the $d$-Simultaneous Conjugacy problem in $S_n$ can be solved in $o(n^2)$ time.


title: Lifted Codes and Lattices from Codes Over Finite Chain Rings

abstract: In this paper we give the generalization of lifted codes over any finite chain ring. This has been done by using the construction of finite chain rings from $p$-adic fields. Further we propose a lattice construction from linear codes over finite chain rings using lifted codes.


title: Is Machine Learning Speaking my Language? A Critical Look at the NLP-Pipeline Across 8 Human Languages

abstract: Natural Language Processing (NLP) is increasingly used as a key ingredient in critical decision-making systems such as resume parsers used in sorting a list of job candidates. NLP systems often ingest large corpora of human text, attempting to learn from past human behavior and decisions in order to produce systems that will make recommendations about our future world. Over 7000 human languages are being spoken today and the typical NLP pipeline underrepresents speakers of most of them while amplifying the voices of speakers of other languages. In this paper, a team including speakers of 8 languages - English, Chinese, Urdu, Farsi, Arabic, French, Spanish, and Wolof - takes a critical look at the typical NLP pipeline and how even when a language is technically supported, substantial caveats remain to prevent full participation. Despite huge and admirable investments in multilingual support in many tools and resources, we are still making NLP-guided decisions that systematically and dramatically underrepresent the voices of much of the world.


title: Reconfigurable Intelligent Surfaces Aided mmWave NOMA: Joint Power Allocation,Phase Shifts, and Hybrid Beamforming Optimization

abstract: In this paper, an reconfigurable intelligent surface (RIS)-aided millimeter wave (mmWave) non-orthogonal multiple access (NOMA) system is considered. In particular, we consider an RIS-aided mmWave-NOMA downlink system with a hybrid beamforming structure. To maximize the achievable sum-rate under a minimum rate constraint for the users and a minimum transmit power constraint, a joint RIS phase shifts, hybrid beamforming, and power allocation problem is formulated. To solve this non-convex optimization problem, we develop an alternating optimization algorithm. Specifically, first, the non-convex problem is transformed into three subproblems, i.e., power allocation, joint phase shifts and analog beamforming optimization, and digital beamforming design. Then, we solve the power allocation problem under fixed phase shifts of the RIS and hybrid beamforming. Finally, given the power allocation matrix, an alternating manifold optimization (AMO)-based method and a successive convex approximation (SCA)-based method are utilized to design the phase shifts, analog beamforming, and transmit beamforming, respectively. Numerical results reveal that the proposed alternating optimization algorithm outperforms state-of-the-art schemes in terms of sum-rate. Moreover, compared to a conventional mmWave-NOMA system without RIS, the proposed RIS-aided mmWave-NOMA system is capable of improving the achievable sum-rate of the system.


title: KARB Solution: Compliance to Quality by Rule Based Benchmarking

abstract: Instead of proofs or logical evaluations, compliance assessment could be done by benchmarking. Benchmarks, in their nature, are applied. So a set of benchmarks could shape an applied solution for compliance assessment. In this paper, we introduce the KARB solution: Keeping away compliance Anomalies by Rule-based Benchmarking. By rule-based benchmarking, we mean evaluation of under-compliance-system by its symbolic specification and by using a set of symbolic rules (on behalf of semantic logic of evaluation). In order to demonstrate and investigate the manner of KARB solution, we conducted a case study. The IR-QUMA study (Iranian Survey on Quality in Messenger Apps) is defined to evaluate the quality of some messenger apps. the results of evaluations suggest that the Hybrid Method of DD-KARB (with combination of semantics-awareness and data-drivenness) is more effective than solo-methods and could compute a somehow good estimation for messenger-apps user quality scores. So DD-KARB could be considered as a method for quality benchmarking in this technical context.


title: An Ultralocal Classical and Quantum Gravity Theory

abstract: An ultralocal form of any classical field theory eliminates all spatial derivatives in its action functional, e.g., in its Hamiltonian functional density. It has been applied to covariant scalar field theories and even to Einstein's general relativity, by Pilati, as an initial term in a perturbation series that aimed to restore all omitted derivatives. Previously, the author has quantized ultralocal scalar fields by affine quantization to show that these non-renormalizanle theories can be correctly quantized by affine quantization; the story of such scalar models is discussed in this paper. The present paper will also show that ultralocal gravity can be successfully quantized by affine quantization. The purpose of this study is that a successful affine quantization of any ultralocal field problem implies that, with properly restored derivatives, the classical theory can, in principle, be guaranteed a successful result using either a canonical quantization or an affine quantization. In particular, Einstein's gravity requires an affine quantization, and it will be successful.


title: On Runtime Software Security of TrustZone-M based IoT Devices

abstract: Internet of Things (IoT) devices have been increasingly integrated into our daily life. However, such smart devices suffer a broad attack surface. Particularly, attacks targeting the device software at runtime are challenging to defend against if IoT devices use resource-constrained microcontrollers (MCUs). TrustZone-M, a TrustZone extension for MCUs, is an emerging security technique fortifying MCU based IoT devices. This paper presents the first security analysis of potential software security issues in TrustZone-M enabled MCUs. We explore the stack-based buffer overflow (BOF) attack for code injection, return-oriented programming (ROP) attack, heap-based BOF attack, format string attack, and attacks against Non-secure Callable (NSC) functions in the context of TrustZone-M. We validate these attacks using the TrustZone-M enabled SAM L11 MCU. Strategies to mitigate these software attacks are also discussed.


title: A Computationally Tractable Framework for Nonlinear Dynamic Multiscale Modeling of Membrane Fabric

abstract: A general-purpose computational homogenization framework is proposed for the nonlinear dynamic analysis of membranes exhibiting complex microscale and/or mesoscale heterogeneity characterized by in-plane periodicity that cannot be effectively treated by a conventional method, such as woven fabrics. The framework is a generalization of the "finite element squared" (or FE2) method in which a localized portion of the periodic subscale structure is modeled using finite elements. The numerical solution of displacement driven problems involving this model can be adapted to the context of membranes by a variant of the Klinkel-Govindjee method[1] originally proposed for using finite strain, three-dimensional material models in beam and shell elements. This approach relies on numerical enforcement of the plane stress constraint and is enabled by the principle of frame invariance. Computational tractability is achieved by introducing a regression-based surrogate model informed by a physics-inspired training regimen in which FE$^2$ is utilized to simulate a variety of numerical experiments including uniaxial, biaxial and shear straining of a material coupon. Several alternative surrogate models are evaluated including an artificial neural network. The framework is demonstrated and validated for a realistic Mars landing application involving supersonic inflation of a parachute canopy made of woven fabric.


title: A modified version of the Koide formula from flavor nonets in a scalar potential model and in a Yukawaon model

abstract: We present a modified version of the Koide formula from a scalar potential model or from a Yukawaon model, based on scalar fields set up in a nonet representation of the SU(3) flavor symmetry in the Standard Model. The Koide's character, which involves the Standard Model fermion mass ratios, is derived from the vacuum expectation value of the nonet field in either model. The scalar potential in the scalar potential model or the superpotential in the Yukawaon model is constructed with all terms invariant under symmetries. The resulting Koide's character, which is modified by two effective parameters, can fit the experimental mass data of charged leptons, up quarks and down quarks. It offers a natural interpretation of the Standard Model fermion mass spectrum.


title: On Improving Hotspot Detection Through Synthetic Pattern-Based Database Enhancement

abstract: Continuous technology scaling and the introduction of advanced technology nodes in Integrated Circuit (IC) fabrication is constantly exposing new manufacturability issues. One such issue, stemming from complex interaction between design and process, is the problem of design hotspots. Such hotspots are known to vary from design to design and, ideally, should be predicted early and corrected in the design stage itself, as opposed to relying on the foundry to develop process fixes for every hotspot, which would be intractable. In the past, various efforts have been made to address this issue by using a known database of hotspots as the source of information. The majority of these efforts use either Machine Learning (ML) or Pattern Matching (PM) techniques to identify and predict hotspots in new incoming designs. However, almost all of them suffer from high false-alarm rates, mainly because they are oblivious to the root causes of hotspots. In this work, we seek to address this limitation by using a novel database enhancement approach through synthetic pattern generation based on carefully crafted Design of Experiments (DOEs). Effectiveness of the proposed method against the state-of-the-art is evaluated on a 45nm process using industry-standard tools and designs.


title: Deep Learning-based Resource Allocation for Infrastructure Resilience

abstract: From an optimization point of view, resource allocation is one of the cornerstones of research for addressing limiting factors commonly arising in applications such as power outages and traffic jams. In this paper, we take a data-driven approach to estimate an optimal nodal restoration sequence for immediate recovery of the infrastructure networks after natural disasters such as earthquakes. We generate data from td-INDP, a high-fidelity simulator of optimal restoration strategies for interdependent networks, and employ deep neural networks to approximate those strategies. Despite the fact that the underlying problem is NP-complete, the restoration sequences obtained by our method are observed to be nearly optimal. In addition, by training multiple models---the so-called estimators---for a variety of resource availability levels, our proposed method balances a trade-off between resource utilization and restoration time. Decision-makers can use our trained models to allocate resources more efficiently after contingencies, and in turn, improve the community resilience. Besides their predictive power, such trained estimators unravel the effect of interdependencies among different nodal functionalities in the restoration strategies. We showcase our methodology by the real-world interdependent infrastructure of Shelby County, TN.


title: Applying recent advances in Visual Question Answering to Record Linkage

abstract: Multi-modal Record Linkage is the process of matching multi-modal records from multiple sources that represent the same entity. This field has not been explored in research and we propose two solutions based on Deep Learning architectures that are inspired by recent work in Visual Question Answering. The neural networks we propose use two different fusion modules, the Recurrent Neural Network + Convolutional Neural Network fusion module and the Stacked Attention Network fusion module, that jointly combine the visual and the textual data of the records. The output of these fusion models is the input of a Siamese Neural Network that computes the similarity of the records. Using data from the Avito Duplicate Advertisements Detection dataset, we train these solutions and from the experiments, we concluded that the Recurrent Neural Network + Convolutional Neural Network fusion module outperforms a simple model that uses hand-crafted features. We also find that the Recurrent Neural Network + Convolutional Neural Network fusion module classifies dissimilar advertisements as similar more frequently if their average description is bigger than 40 words. We conclude that the reason for this is that the longer advertisements have a different distribution then the shorter advertisements who are more prevalent in the dataset. In the end, we also conclude that further research needs to be done with the Stacked Attention Network, to further explore the effects of the visual data on the performance of the fusion modules.


title: Physics Successfully Implements Lagrange Multiplier Optimization

abstract: Optimization is a major part of human effort. While being mathematical, optimization is also built into physics. For example, physics has the principle of Least Action, the principle of Minimum Entropy Generation, and the Variational Principle. Physics also has physical annealing which, of course, preceded computational Simulated Annealing. Physics has the Adiabatic Principle, which in its quantum form is called Quantum Annealing. Thus, physical machines can solve the mathematical problem of optimization, including constraints. Binary constraints can be built into the physical optimization. In that case the machines are digital in the same sense that a flip-flop is digital. A wide variety of machines have had recent success at optimizing the Ising magnetic energy. We demonstrate in this paper that almost all those machines perform optimization according to the Principle of Minimum Entropy Generation as put forth by Onsager. Further, we show that this optimization is in fact equivalent to Lagrange multiplier optimization for constrained problems. We find that the physical gain coefficients which drive those systems actually play the role of the corresponding Lagrange Multipliers.


title: The Waiting-Time Paradox

abstract: Suppose that you're going to school and arrive at a bus stop. How long do you have to wait before the next bus arrives? Surprisingly, it is longer - possibly much longer - than what the bus schedule suggests intuitively. This phenomenon, which is called the waiting-time paradox, has a purely mathematical origin. Different buses arrive with different intervals, leading to this paradox. In this article, we explore the waiting-time paradox, explain why it happens, and discuss some of its implications (beyond the possibility of being late for school).


title: Do Pension Benefits Accelerate Cognitive Decline in Late Adulthood? Evidence from Rural China

abstract: Economists have mainly focused on human capital accumulation rather than on the causes and consequences of human capital depreciation in late adulthood. To investigate how human capital depreciates over the life cycle, we examine how a newly introduced pension program, the National Rural Pension Scheme, affects cognitive performance in rural China. We find significant adverse effects of access to pension benefits on cognitive functioning among the elderly. We detect the most substantial impact of the program on delayed recall, a cognition measure linked to the onset of dementia. In terms of mechanisms, cognitive deterioration in late adulthood is mediated by a substantial reduction in social engagement, volunteering, and activities fostering mental acuity.


title: On Non-standard Models of Arithmetic with Uncountable Standard Systems

abstract: In 1960s, Dana Scott gave a recursion theoretic characterization of standard systems of countable non-standard models of arithmetic, i.e., collections of sets of standard natural numbers coded in non-standard models. Later, Knight and Nadel proved that Scott's characterization also applies to non-standard models of arithmetic with cardinality $\aleph_1$. But the question, whether the limit on cardinality can be removed from the above characterization, remains a long standing question, known as the Scott Set Problem. This article presents two constructions of non-standard models of arithmetic with non-trivial uncountable standard systems. The first one leads to a new proof of the above theorem of Knight and Nadel, and the second proves the existence of models with non-trivial standard systems of cardinality the continuum. A partial answer to the Scott Set Problem under certain set theoretic hypothesis also follows from the second construction.


title: Reflected Backward Stochastic Differential Equation with Rank-based Data

abstract: In this paper, we study reflected backward stochastic differential equation (reflected BSDE in abbreviation) with rank-based data in a Markovian framework; that is, the solution to the reflected BSDE is above a prescribed boundary process in a minimal fashion and the generator and terminal value of the reflected BSDE depend on the solution of another stochastic differential equation (SDE in abbreviation) with rank-based drift and diffusion coefficients. We derive regularity properties of the solution to such reflected BSDE, and show that the solution at the initial starting time $t$ and position $x$, which is a deterministic function, is the unique viscosity solution to some obstacle problem (or variational inequality) for the corresponding parabolic partial differential equation.


title: Train Your Data Processor: Distribution-Aware and Error-Compensation Coordinate Decoding for Human Pose Estimation

abstract: Recently, the leading performance of human pose estimation is dominated by heatmap based methods. While being a fundamental component of heatmap processing, heatmap decoding (i.e. transforming heatmaps to coordinates) receives only limited investigations, to our best knowledge. This work fills the gap by studying the heatmap decoding processing with a particular focus on the errors introduced throughout the prediction process. We found that the errors of heatmap based methods are surprisingly significant, which nevertheless was universally ignored before. In view of the discovered importance, we further reveal the intrinsic limitations of the previous widely used heatmap decoding methods and thereout propose a Distribution-Aware and Error-Compensation Coordinate Decoding (DAEC). Serving as a model-agnostic plug-in, DAEC learns its decoding strategy from training data and remarkably improves the performance of a variety of state-of-the-art human pose estimation models with negligible extra computation. Specifically, equipped with DAEC, the SimpleBaseline-ResNet152-256x192 and HRNet-W48-256x192 are significantly improved by 2.6 AP and 2.9 AP achieving 72.6 AP and 75.7 AP on COCO, respectively. Moreover, the HRNet-W32-256x256 and ResNet-152-256x256 frameworks enjoy even more dramatic promotions of 8.4% and 7.8% on MPII with PCKh0.1 metric. Extensive experiments performed on these two common benchmarks, demonstrates that DAEC exceeds its competitors by considerable margins, backing up the rationality and generality of our novel heatmap decoding idea. The project is available at https://github.com/fyang235/DAEC.


title: A Mach-Zehnder interferometer based tuning fork microwave impedance microscope

abstract: We describe here the implementation of an interferometer-based microwave impedance microscope on a home-built tuning-fork based scanning probe microscope (SPM). Tuning-fork based SPMs, requiring only two electrical contacts for self-actuation and self-detection of the tuning fork oscillation, are especially well suited to operation in extreme environments such as low temperatures, high magnetic fields or restricted geometries where the optical components required for conventional detection of cantilever deflection would be difficult to introduce. Most existing and commercially available systems rely on optical detection of the deflection of specially designed microwave cantilevers, limiting their application. A tuning-fork based microwave impedance microscope with a resonant cavity near the tip was recently implemented: we report here an enhancement that incorporates a microwave interferometer, which affords better signal to noise as well as wider tunability in terms of microwave frequency.