title: Chemical variation with altitude and longitude on exo-Neptunes: Predictions for Ariel phase-curve observations

abstract: Using 2D thermal structure models and pseudo-2D chemical kinetics models, we explore how atmospheric temperatures and composition change as a function of altitude and longitude within the equatorial regions of close-in transiting Neptune-class exoplanets at different distances from their host stars. Our models predict that the day-night stratospheric temperature contrasts increase with increasing planetary effective temperatures T_eff; atmospheric composition also changes significantly with T_eff. Horizontal transport-induced quenching is very effective in our simulated exo-Neptune atmospheres, acting to homogenize the vertical profiles of species abundances with longitude at stratospheric pressures where infrared observations are sensitive. Our models have important implications for planetary emission observations as a function of orbital phase with the Ariel mission. Cooler solar-composition exo-Neptunes with T_eff = 500-700 K are predicted to have small variations in infrared emission spectra with orbital phase, making them less robust phase-curve targets for Ariel. Hot solar-composition exo-Neptunes with T_eff > 1300 K exhibit strong variations in infrared emission with orbital phase but are arguably less interesting from an atmospheric chemistry standpoint, with spectral signatures being dominated by a small number of species whose abundances are expected to be constant with longitude and consistent with thermochemical equilibrium. Solar-composition exo-Neptunes with T_eff = 900-1100 K reside in an interesting intermediate regime, with infrared phase curve variations being affected by both temperature and composition variations. This interesting intermediate regime shifts to smaller temperatures as atmospheric metallicity is increased, making cool higher-metallicity Neptune-class planets appropriate targets for Ariel phase-curve observations.


title: Robustness of Neural Network Emulations of Radiative Transfer Parameterizations in a State-of-the-Art General Circulation Model

abstract: The ability of Machine-Learning (ML) based model components to generalize to the previously unseen inputs, and the resulting stability of the models that use these components, has been receiving a lot of recent attention, especially when it comes to ML-based parameterizations. At the same time, ML-based emulators of existing parameterizations can be stable, accurate, and fast when used in the model they were specifically designed for. In this work we show that shallow-neural-network-based emulators of radiative transfer parameterizations developed almost a decade ago for a state-of-the-art GCM are robust with respect to the substantial structural and parametric change in the host model: when used in the AMIP-like experiment with the new model, they not only remain stable, but generate realistic output. Aspects of neural network architecture and training set design potentially contributing to stability of ML-based model components are discussed.


title: Nanodevices engineering and spin transport properties of MnBi2Te4 monolayer

abstract: Two-dimensional (2D) magnetic materials are essential for the development of the next-generation spintronic technologies. Recently, layered van der Waals (vdW) compound MnBi2Te4 (MBT) has attracted great interest, and its 2D structure has been reported to host coexisting magnetism and topology. Here, we design several conceptual nanodevices based on MBT monolayer (MBT-ML) and reveal their spin-dependent transport properties by means of the first-principles calculations. The pn-junction diodes and sub-3-nm pin-junction field-effect transistors (FETs) show a strong rectifying effect and a spin filtering effect, with an ideality factor n close to 1 even at a reasonably high temperature. In addition, the pip- and nin-junction FETs give an interesting negative differential resistive (NDR) effect. The gate voltages can tune currents through these FETs in a large range. Furthermore, the MBT-ML has a strong response to light. Our results uncover the multifunctional nature of MBT-ML, pave the road for its applications in diverse next-generation semiconductor spin electric devices.


title: Nonexistence, existence and symmetry of normalized ground states to Choquard equations with a local perturbation

abstract: We study the Choquard equation with a local perturbation \begin{equation*} -\Delta u=\lambda u+(I_\alpha\ast|u|^p)|u|^{p-2}u+\mu|u|^{q-2}u,\ x\in \mathbb{R}^{N} \end{equation*} having prescribed mass \begin{equation*} \int_{\mathbb{R}^N}|u|^2dx=a^2. \end{equation*} For a $L^2$-critical or $L^2$-supercritical perturbation $\mu|u|^{q-2}u$, we prove nonexistence, existence and symmetry of normalized ground states, by using the mountain pass lemma, the Poho\v{z}aev constraint method, the Schwartz symmetrization rearrangements and some theories of polarizations. In particular, our results cover the Hardy-Littlewood-Sobolev upper critical exponent case $p=(N+\alpha)/(N-2)$. Our results are a nonlocal counterpart of the results in \cite{{Li 2021-4},{Soave JFA},{Wei-Wu 2021}}.


title: Robust Lower Bounds for Graph Problems in the Blackboard Model of Communication

abstract: We give lower bounds on the communication complexity of graph problems in the multi-party blackboard model. In this model, the edges of an $n$-vertex input graph are partitioned among $k$ parties, who communicate solely by writing messages on a shared blackboard that is visible to every party. We show that any non-trivial graph problem on $n$-vertex graphs has blackboard communication complexity $\Omega(n)$ bits, even if the edges of the input graph are randomly assigned to the $k$ parties. We say that a graph problem is non-trivial if the output cannot be computed in a model where every party holds at most one edge and no communication is allowed. Our lower bound thus holds for essentially all key graph problems relevant to distributed computing, including Maximal Independent Set (MIS), Maximal Matching, ($\Delta+1$)-coloring, and Dominating Set. In many cases, e.g., MIS, Maximal Matching, and $(\Delta+1)$-coloring, our lower bounds are optimal, up to poly-logarithmic factors.


title: Stable Emulation of an Entire Suite of Model Physics in a State-of-the-Art GCM using a Neural Network

abstract: There has been a lot of recent interest in developing hybrid models that couple deterministic numerical model components to statistical model components derived using machine learning techniques. One approach that we follow in this pilot study is to replace an existing computationally expensive deterministic model component with its fast machine-learning-based emulator, leading to the model speed-up and/or improvement. We developed a shallow neural network-based emulator of a complete suite of atmospheric physics parameterizations in NCEP Global Forecast System (GFS) general circulation model (GCM). The suite emulated by a single NN includes radiative transfer, cloud macro- and micro-physics, shallow and deep convection, boundary layer processes, gravity wave drag, land model, etc. NCEP GFS with the neural network replacing the original suite of atmospheric parameterizations produces stable and realistic medium range weather forecasts for 24 initial conditions spanning all months of 2018. It also remains stable in a year-long AMIP-like experiment and in the run with a quadrupled horizontal resolution. We present preliminary results of parallel runs, evaluating the accuracy and speedup of the resulting hybrid GCM.


title: Sensor selection for detecting deviations from a planned itinerary

abstract: Suppose an agent asserts that it will move through an environment in some way. When the agent executes its motion, how does one verify the claim? The problem arises in a range of contexts including in validating safety claims about robot behavior, applications in security and surveillance, and for both the conception and the (physical) design and logistics of scientific experiments. Given a set of feasible sensors to select from, we ask how to choose sensors optimally in order to ensure that the agent's execution does indeed fit its pre-disclosed itinerary. Our treatment is distinguished from prior work in sensor selection by two aspects: the form the itinerary takes (a regular language of transitions) and that families of sensor choices can be grouped as a single choice. Both are intimately tied together, permitting construction of a product automaton because the same physical sensors (i.e., the same choice) can appear multiple times. This paper establishes the hardness of sensor selection for itinerary validation within this treatment, and proposes an exact algorithm based on an ILP formulation that is capable of solving problem instances of moderate size. We demonstrate its efficacy on small-scale case studies, including one motivated by wildlife tracking.


title: Floating tunable coupler for scalable quantum computing architectures

abstract: We propose a floating tunable coupler that does not rely on direct qubit-qubit coupling capacitances to achieve the zero-coupling condition. We show that the polarity of the qubit-coupler couplings can be engineered to offset the otherwise constant qubit-qubit coupling and attain the zero-coupling condition when the coupler frequency is above or below the qubit frequencies. We experimentally demonstrate these two operating regimes of the tunable coupler by implementing symmetric and asymmetric configurations of the coupler's superconducting pads with respect to the qubits. Such a floating tunable coupler provides flexibility in designing large-scale quantum processors while reducing the always-on residual couplings.


title: Revealing the Br{\o}nsted-Evans-Polanyi Relation in Halide-Activated Fast MoS2 Growth Towards Millimeter-Sized 2D Crystals

abstract: Achieving large-size two-dimensional (2D) crystals is key to fully exploiting their remarkable functionalities and application potentials. Chemical vapor deposition (CVD) growth of 2D semiconductors such as monolayer MoS2 has been reported to be activated by halide salts, yet clear identification of the underlying mechanism remains elusive. Here we provide unambiguous experimental evidence showing that the MoS2 growth dynamics are halogen-dependent through the Br{\o}nsted-Evans-Polanyi relation, based on which we build a growth model by considering MoS2 edge passivation by halogens, and theoretically reproduces the trend of our experimental observations. These mechanistic understandings enable us to further optimize the fast growth of MoS2 and reach record-large domain sizes that should facilitate practical applications.


title: Impulsive fishery resource transporting strategies based on an open-ended stochastic growth model having a latent variable

abstract: In inland fisheries, transporting fishery resource individuals from a habitat to spatially apart habitat(s) has recently been considered for fisheries stock management in the natural environment. However, its mathematical optimization, especially finding when and how much of the population should be transported, is still a fundamental unresolved issue. We propose a new impulse control framework to tackle this issue based on a simple but new stochastic growth model of individual fishes. The novel growth model governing individuals' body weights uses a Wright-Fisher model as a latent driver to reproduce plausible growth dynamics. The optimization problem is formulated as an impulse control problem of a cost-benefit functional constrained by a degenerate parabolic Fokker-Planck equation of the stochastic growth dynamics. Because the growth dynamics have an observable variable and an unobservable variable (a variable difficult or impossible to observe), we consider both full-information and partial-information cases. The latter is more involved but more realistic because of not explicitly using the unobservable variable in designing the controls. In both cases, resolving an optimization problem reduces to solving the associated Fokker-Planck and its adjoint equations, the latter being non-trivial. We present a derivation procedure of the adjoint equation and its internal boundary conditions in time to efficiently derive the optimal transporting strategy. We finally provide a demonstrative computational example of a transporting problem of Ayu sweetfish (Plecoglossus altivelis altivelis) based on the latest real data set.


title: Dynamics of a Fermi gas quenched to unitarity

abstract: We present an experimental study of a two component Fermi gas following an interaction quench into the superfluid phase. Starting with a weakly attractive gas in the normal phase, interactions are ramped to unitarity at a range of rates and we measure the subsequent dynamics as the gas approaches equilibrium. Both the formation and condensation of fermion pairs are mapped via measurements of the pair momentum distribution and can take place on very different timescales, depending on the adiabaticity of the quench. The contact parameter is seen to respond very quickly to changes in the interaction strength, indicating that short-range correlations, based on the occupation of high-momentum modes, evolve far more rapidly than the correlations in low-momentum modes necessary for pair condensation.


title: Design of a 200-MHz Continuous-Wave Radio Frequency Quadrupole Accelerator for Boron Neutron Capture Therapy

abstract: A high-intensity continuous wave (CW) radio frequency quadrupole (RFQ) accelerator is designed for boron neutron capture therapy (BNCT). The transmission efficiency of a 20-mA proton beam accelerated from 30 keV to 2.5 MeV can reach 98.7% at an operating frequency of 200 MHz. The beam dynamics has good tolerance to errors. By comparing the high-frequency parameters of quadrilateral and octagonal RFQ cross-sections, the quadrilateral structure of the four-vane cavity is selected owing to its multiple advantages, such as a smaller cross section at the same frequency and easy processing. In addition, tuners and undercuts are designed to tune the frequency of the cavity and achieve a flat electric field distribution along the cavity. In this paper, the beam dynamics simulation and electromagnetic design are presented in detail.


title: Fourvolutions and automorphism groups of orbifold lattice vertex operator algebras

abstract: Let $L$ be an even positive definite lattice with no roots, i.e., $L(2)=\{x\in L\mid (x|x)=2\}=\emptyset$. Let $g\in O(L)$ be an isometry of order $4$ such that $g^2=-1$ on $L$. In this article, we determine the full automorphism group of the orbifold vertex operator algebra $V_L^{\hat{g}}$. As our main result, we show that $Aut(V_L^{\hat{g}})$ is isomorphic to $N_{Aut(V_L)}(\langle \hat{g}\rangle)/ \langle\hat{g}\rangle $ unless $L\cong \sqrt{2}E_8$ or $BW_{16}$.


title: Perils of Embedding for Quantum Sampling

abstract: Given quantum hardware that enables sampling from a family of natively implemented Hamiltonians, how well can one use that hardware to sample from a Hamiltonian outside that family? A common approach is to minor embed the desired Hamiltonian in a native Hamiltonian. In Phys. Rev. Research 2, 023020 (2020) it was shown that minor embedding can be detrimental for classical thermal sampling. Here, we generalize these results by considering quantum thermal sampling in the transverse-field Ising model, i.e. sampling a Hamiltonian with non-zero off diagonal terms. To study these systems numerically we introduce a modification to standard cluster update quantum Monte-Carlo (QMC) techniques, which allows us to much more efficiently obtain thermal samples of an embedded Hamiltonian, enabling us to simulate systems of much larger sizes and larger transverse-field strengths than would otherwise be possible. Our numerics focus on models that can be implemented on current quantum devices using planar two-dimensional lattices, which exhibit finite-temperature quantum phase transitions. Our results include: i) An estimate on the probability to sample the logical subspace directly as a function of transverse-field, temperature, and total system size, which agrees with QMC simulations. ii) We show that typically measured observables (diagonal energy and magnetization) are biased by the embedding process, in the regime of intermediate transverse field strength, meaning that the extracted values are not the same as in the native model. iii) By considering individual embedding realizations akin to 'realizations of disorder', we provide numerical evidence suggesting that as the embedding size is increased, the critical point shifts to increasingly large values of the transverse-field.


title: Reptile: Aggregation-level Explanations for Hierarchical Data

abstract: Recent query explanation systems help users understand anomalies in aggregation results by proposing predicates that describe input records that, if deleted, would resolve the anomalies. However, it can be difficult for users to understand how a predicate was chosen, and these approaches are limited to errors that can be resolved through deletion. In contrast, data errors may be due to group-wise errors, such as missing records or systematic value errors. This paper presents Reptile, an explanation system for hierarchical data. Given an anomalous aggregate query result, Reptile recommends the next drill-down attribute,and ranks the drill-down groups based on the extent repairing the group's statistics to its expected values resolves the anomaly. Reptile efficiently trains a multi-level model that leverages the data's hierarchy to estimate the expected values, and uses a factorised representation of the feature matrix to remove redundancies due to the data's hierarchical structure. We further extend model training to support factorised data, and develop a suite of optimizations that leverage the data's hierarchical structure. Reptile reduces end-to-end runtimes by more than 6 times compared to a Matlab-based implementation, correctly identifies 21/30 data errors in John Hopkin's COVID-19 data, and correctly resolves 20/22 complaints in a user study using data and researchers from Columbia University's Financial Instruments Sector Team.


title: Bidirectional elastic diode with frequency-preserved nonreciprocity

abstract: The study of nonreciprocal wave propagation is of great interests for both fundamental research and engineering applications. Here we demonstrate theoretically and experimentally a bidirectional, nonreciprocal, and high-quality diode that can rectify elastic waves in both forward and backward directions in an elastic metamaterial designed to exhibit enhanced nonlinearity of resonances. This diode can preserve or vary frequency, rectify low-frequency long wave with small system size, offer high-quality insulation, can be modulated by amplitude, and break reciprocity of both the total energy and fundamental wave. We report three mechanisms to break reciprocity: the amplitude-dependent bandgap combining interface reflection, chaotic response combining linear bandgap, amplitude-dependent attenuation rate in damping diode. The bidirectional diode paves ways for mutually controlling information/energy transport between two sources, which can be used as new wave insulators.


title: Parametric quantile regression models for fitting double bounded response with application to COVID-19 mortality rate data

abstract: In this paper, we develop two fully parametric quantile regression models, based on power Johnson SB distribution Cancho et al. (2020), for modeling unit interval response at different quantiles. In particular, the conditional distribution is modelled by the power Johnson SB distribution. The maximum likelihood method is employed to estimate the model parameters. Simulation studies are conducted to evaluate the performance of the maximum likelihood estimators in finite samples. Furthermore, we discuss residuals and influence diagnostic tools. The effectiveness of our proposals is illustrated with two data set given by the mortality rate of COVID-19 in different countries.


title: Bilingual Dictionary-based Language Model Pretraining for Neural Machine Translation

abstract: Recent studies have demonstrated a perceivable improvement on the performance of neural machine translation by applying cross-lingual language model pretraining (Lample and Conneau, 2019), especially the Translation Language Modeling (TLM). To alleviate the need for expensive parallel corpora by TLM, in this work, we incorporate the translation information from dictionaries into the pretraining process and propose a novel Bilingual Dictionary-based Language Model (BDLM). We evaluate our BDLM in Chinese, English, and Romanian. For Chinese-English, we obtained a 55.0 BLEU on WMT-News19 (Tiedemann, 2012) and a 24.3 BLEU on WMT20 news-commentary, outperforming the Vanilla Transformer (Vaswani et al., 2017) by more than 8.4 BLEU and 2.3 BLEU, respectively. According to our results, the BDLM also has advantages on convergence speed and predicting rare words. The increase in BLEU for WMT16 Romanian-English also shows its effectiveness in low-resources language translation.


title: Circular evolutes and involutes of framed curves in the Euclidean space

abstract: We introduce circular evolutes and involutes of framed curves in the Euclidean space. Circular evolutes of framed curves stem from the curvature circles of Bishop directions and singular value sets of normal surfaces of Bishop directions. On the other hand, involutes of framed curves are direct generalizations of involutes of regular space curves and frontals in the Euclidean plane. We investigate properties of normal surfaces, circular evolutes, and involutes of framed curves. We can observe that taking circular evolutes and involutes of framed curves are opposite operations under suitable assumptions, similarly to evolutes and involutes of fronts in the Euclidean plane. Furthermore, we investigate the relations among singularities of normal surfaces, circular evolutes, and involutes of framed curves.


title: Modeling Heterogeneous Edges to Represent Networks with Graph Auto-Encoder

abstract: In the real world, networks often contain multiple relationships among nodes, manifested as the heterogeneity of the edges in the networks. We convert the heterogeneous networks into multiple views by using each view to describe a specific type of relationship between nodes, so that we can leverage the collaboration of multiple views to learn the representation of networks with heterogeneous edges. Given this, we propose a \emph{regularized graph auto-encoders} (RGAE) model, committed to utilizing abundant information in multiple views to learn robust network representations. More specifically, RGAE designs shared and private graph auto-encoders as main components to capture high-order nonlinear structure information of the networks. Besides, two loss functions serve as regularization to extract consistent and unique information, respectively. Concrete experimental results on realistic datasets indicate that our model outperforms state-of-the-art baselines in practical applications.


title: On Satisfying the Android OS Community: User Feedback Still Central to Developers' Portfolios

abstract: End-users play an integral role in identifying requirements, validating software features' usefulness, locating defects, and in software product evolution in general. Their role in these activities is especially prominent in online application distribution platforms (OADPs), where software is developed for many potential users, and for which the traditional processes of requirements gathering and negotiation with a single group of end-users do not apply. With such vast access to end-users, however, comes the challenge of how to prioritize competing requirements in order to satisfy previously unknown user groups, especially with early releases of a product. One highly successful product that has managed to overcome this challenge is the Android Operating System (OS). While the requirements of early versions of the Android OS likely benefited from market research, new features in subsequent releases appear to have benefitted extensively from user reviews. Thus, lessons learned about how Android developers have managed to satisfy the user community over time could usefully inform other software products. We have used data mining and natural language processing (NLP) techniques to investigate the issues that were logged by the Android community, and how Google's remedial efforts correlated with users' requests. We found very strong alignment between end-users' top feature requests and Android developers' responses, particularly for the more recent Android releases. Our findings suggest that effort spent responding to end-users' loudest calls may be integral to software systems' survival, and a product's overall success.


title: BPHZ Renormalization in Gaussian Rough Paths

abstract: We construct a procedure for Bogoliubov-Parasiuk-Hepp-Zimmermann (BPHZ) renormalization of a rough path in view of the relation between rough path theory and regularity structure. We also provide a plain expression of the BPHZ-renormalized model in a rough path. BPHZ renormalization plays a central role in the theory of singular stochastic partial differential equations and assures the convergence of the model in the regularity structure. Here we demonstrate that the renormalization is also effective in a rough path setting by considering its application to rough path theory and mathematical finance.


title: Asymptotic Theory of $\ell_1$-Regularized PDE Identification from a Single Noisy Trajectory

abstract: We prove the support recovery for a general class of linear and nonlinear evolutionary partial differential equation (PDE) identification from a single noisy trajectory using $\ell_1$ regularized Pseudo-Least Squares model~($\ell_1$-PsLS). In any associative $\mathbb{R}$-algebra generated by finitely many differentiation operators that contain the unknown PDE operator, applying $\ell_1$-PsLS to a given data set yields a family of candidate models with coefficients $\mathbf{c}(\lambda)$ parameterized by the regularization weight $\lambda\geq 0$. The trace of $\{\mathbf{c}(\lambda)\}_{\lambda\geq 0}$ suffers from high variance due to data noises and finite difference approximation errors. We provide a set of sufficient conditions which guarantee that, from a single trajectory data denoised by a Local-Polynomial filter, the support of $\mathbf{c}(\lambda)$ asymptotically converges to the true signed-support associated with the underlying PDE for sufficiently many data and a certain range of $\lambda$. We also show various numerical experiments to validate our theory.


title: Smart and Reconfigurable Wireless Communications: From IRS Modeling to Algorithm Design

abstract: Intelligent reflecting surfaces (IRSs) have been introduced into wireless communications systems due to their great potential to smartly customize and reconfigure radio propagation environments in a cost-effective manner. Despite the promising advantages of IRSs, academic research on IRSs is still in its infancy. In particular, the design and analysis of IRS-assisted wireless communication systems critically depend on an accurate and tractable modeling of the IRS. In this article, we first present and compare three IRS models, namely the conventional independent diffusive scatterer-based model, physics-based model, and impedance network-based model, in terms of their accuracy, tractability, and hardware complexity. Besides, a new framework based on partitioning the IRS into tiles and employing codebooks of transmission modes is introduced to enable scalable IRS optimization. Then, we investigate the impact of the three considered IRS models on system design, where several crucial technical challenges for the efficient design of IRS-assisted wireless systems are identified and the corresponding solutions are unraveled. Furthermore, to illustrate the properties of the considered models and the efficiency of the proposed solution concepts, IRS-assisted secure wireless systems and simultaneous wireless information and power transfer (SWIPT) systems are studied in more detail. Finally, several promising future research directions for IRS-assisted wireless systems are highlighted.


title: Inducibility of 4-vertex tournaments

abstract: We determine the inducibility of all tournaments with at most $4$ vertices together with the extremal constructions. The $4$-vertex tournament containing an oriented $C_3$ and one source vertex has a particularly interesting extremal construction. It is an unbalanced blow-up of an edge, where the sink vertex is replaced by a quasi-random tournament and the source vertex is iteratively replaced by a copy of the construction itself.


title: On the timescale of quasi fission and Coulomb fission

abstract: Coulomb fission mechanism may take place if the maximum Coulomb-excitation energy transfer in a reaction exceeds the fission barrier of either the projectile or target. This condition is satisfied by all the reactions used for the earlier blocking measurements except one reaction 208 Pb + Natural Ge crystal, where the measured timescale was below the measuring limit of the blocking measurements < 1 as. Hence, inclusion of the Coulomb fission in the data analysis of the blocking experiments leads us to interpret that the measured time longer than a few attoseconds (about 2-2.5 as) is nothing but belonging to the Coulomb fission timescale and shorter than 1 as are due to the quasifission. Consequently, this finding resolves the critical discrepancies between the fission timescale measurements using the nuclear and blocking techniques. This, in turn, validates the fact that the quasifission timescale is indeed of the order of zeptoseconds in accordance with the nuclear experiments and theories. It thus provides a radical input in understanding the reaction mechanism for heavy element formation via fusion evaporation processes


title: Topological superconducting transition driven by time-reversal-symmetry breaking

abstract: Three-dimensional line-nodal superconductors exhibit nontrivial topology, which is protected by the time-reversal symmetry. Here we investigate four types of short-range interaction between the gapless line-nodal fermionic quasiparticles by carrying renormalization group analysis. We find that such interactions can induce the dynamical breaking of time-reversal symmetry, which alters the topology and might lead to six possible distinct superconducting states, distinguished by the group representations. After computing the susceptibilities for all the possible phase-transition instabilities, we establish that the superconducting pairing characterized by $id_{xz}$-wave gap symmetry is the leading instability in noncentrosymmetric superconductors. Appropriate extension of this approach is promising to pick out the most favorable superconducting pairing during similar topology-changing transition in the polar phase of $^3$He.


title: SCEI: A Smart-Contract Driven Edge Intelligence Framework for IoT Systems

abstract: Federated learning (FL) enables collaborative training of a shared model on edge devices while maintaining data privacy. FL is effective when dealing with independent and identically distributed (iid) datasets, but struggles with non-iid datasets. Various personalized approaches have been proposed, but such approaches fail to handle underlying shifts in data distribution, such as data distribution skew commonly observed in real-world scenarios (e.g., driver behavior in smart transportation systems changing across time and location). Additionally, trust concerns among unacquainted devices and security concerns with the centralized aggregator pose additional challenges. To address these challenges, this paper presents a dynamically optimized personal deep learning scheme based on blockchain and federated learning. Specifically, the innovative smart contract implemented in the blockchain allows distributed edge devices to reach a consensus on the optimal weights of personalized models. Experimental evaluations using multiple models and real-world datasets demonstrate that the proposed scheme achieves higher accuracy and faster convergence compared to traditional federated and personalized learning approaches.


title: Dual Attention-in-Attention Model for Joint Rain Streak and Raindrop Removal

abstract: Rain streaks and rain drops are two natural phenomena, which degrade image capture in different ways. Currently, most existing deep deraining networks take them as two distinct problems and individually address one, and thus cannot deal adequately with both simultaneously. To address this, we propose a Dual Attention-in-Attention Model (DAiAM) which includes two DAMs for removing both rain streaks and raindrops. Inside the DAM, there are two attentive maps - each of which attends to the heavy and light rainy regions, respectively, to guide the deraining process differently for applicable regions. In addition, to further refine the result, a Differential-driven Dual Attention-in-Attention Model (D-DAiAM) is proposed with a "heavy-to-light" scheme to remove rain via addressing the unsatisfying deraining regions. Extensive experiments on one public raindrop dataset, one public rain streak and our synthesized joint rain streak and raindrop (JRSRD) dataset have demonstrated that the proposed method not only is capable of removing rain streaks and raindrops simultaneously, but also achieves the state-of-the-art performance on both tasks.


title: Improving Authorship Verification using Linguistic Divergence

abstract: We propose an unsupervised solution to the Authorship Verification task that utilizes pre-trained deep language models to compute a new metric called DV-Distance. The proposed metric is a measure of the difference between the two authors comparing against pre-trained language models. Our design addresses the problem of non-comparability in authorship verification, frequently encountered in small or cross-domain corpora. To the best of our knowledge, this paper is the first one to introduce a method designed with non-comparability in mind from the ground up, rather than indirectly. It is also one of the first to use Deep Language Models in this setting. The approach is intuitive, and it is easy to understand and interpret through visualization. Experiments on four datasets show our methods matching or surpassing current state-of-the-art and strong baselines in most tasks.


title: Rank properties and computational methods for orthogonal tensor decompositions

abstract: The orthogonal decomposition factorizes a tensor into a sum of an orthogonal list of rankone tensors. We present several properties of orthogonal rank. We find that a subtensor may have a larger orthogonal rank than the whole tensor and prove the lower semicontinuity of orthogonal rank. The lower semicontinuity guarantees the existence of low orthogonal rank approximation. To fit the orthogonal decomposition, we propose an algorithm based on the augmented Lagrangian method and guarantee the orthogonality by a novel orthogonalization procedure. Numerical experiments show that the proposed method has a great advantage over the existing methods for strongly orthogonal decompositions in terms of the approximation error.


title: FS-Net: Fast Shape-based Network for Category-Level 6D Object Pose Estimation with Decoupled Rotation Mechanism

abstract: In this paper, we focus on category-level 6D pose and size estimation from monocular RGB-D image. Previous methods suffer from inefficient category-level pose feature extraction which leads to low accuracy and inference speed. To tackle this problem, we propose a fast shape-based network (FS-Net) with efficient category-level feature extraction for 6D pose estimation. First, we design an orientation aware autoencoder with 3D graph convolution for latent feature extraction. The learned latent feature is insensitive to point shift and object size thanks to the shift and scale-invariance properties of the 3D graph convolution. Then, to efficiently decode category-level rotation information from the latent feature, we propose a novel decoupled rotation mechanism that employs two decoders to complementarily access the rotation information. Meanwhile, we estimate translation and size by two residuals, which are the difference between the mean of object points and ground truth translation, and the difference between the mean size of the category and ground truth size, respectively. Finally, to increase the generalization ability of FS-Net, we propose an online box-cage based 3D deformation mechanism to augment the training data. Extensive experiments on two benchmark datasets show that the proposed method achieves state-of-the-art performance in both category- and instance-level 6D object pose estimation. Especially in category-level pose estimation, without extra synthetic data, our method outperforms existing methods by 6.3% on the NOCS-REAL dataset.


title: Vision Transformer for COVID-19 CXR Diagnosis using Chest X-ray Feature Corpus

abstract: Under the global COVID-19 crisis, developing robust diagnosis algorithm for COVID-19 using CXR is hampered by the lack of the well-curated COVID-19 data set, although CXR data with other disease are abundant. This situation is suitable for vision transformer architecture that can exploit the abundant unlabeled data using pre-training. However, the direct use of existing vision transformer that uses the corpus generated by the ResNet is not optimal for correct feature embedding. To mitigate this problem, we propose a novel vision Transformer by using the low-level CXR feature corpus that are obtained to extract the abnormal CXR features. Specifically, the backbone network is trained using large public datasets to obtain the abnormal features in routine diagnosis such as consolidation, glass-grass opacity (GGO), etc. Then, the embedded features from the backbone network are used as corpus for vision transformer training. We examine our model on various external test datasets acquired from totally different institutions to assess the generalization ability. Our experiments demonstrate that our method achieved the state-of-art performance and has better generalization capability, which are crucial for a widespread deployment.


title: Sulfur-induced magnetism in FeSe$_{1-x}$S$_x$ thin films on LaAlO$_3$ revealed by muon spin rotation/relaxation

abstract: Muon spin rotation/relaxation measurements were performed to investigate magnetic properties of FeSe$_{1-x}$S$_x$ thin films on LaAlO$_3$. A drastic decrease of the initial asymmetry was observed together with the peak structure in the temperature dependence of the relaxation rate of muon spins almost at the same temperature where kink anomalies were observed in the temperature dependent resistivity. With increasing S content, the anomaly temperature increased and the magnetic fluctuations at the lowest temperature were suppressed. These results show that the S substitution induces magnetism at low temperatures in FeSe$_{1-x}$S$_x$ thin films. Although the behaviors of the magnetic and nematic phases in FeSe films towards chemical pressure by S substitution are similar to those for bulk FeSe towards hydrostatic pressure, the behavior of $T_{\mathrm c}$ is significantly different between these systems. Our results demonstrate that the detailed comparative investigation among physical and chemical pressure effects is essentially important to understand the interplay of the magnetism, the nematicity and the superconductivity in iron chalcogenides.


title: Frobenius Structures and Generalized Deformation of Kodaira Manifolds

abstract: It is known that generalized deformation in the sense of Hitchin-Gaultieri is a geometric realization of the degree-2 component of Kontsevich-Barannikov's homological approach to extended deformation. Through extended deformation, one associates a Frobenius structure to the extended moduli space. In this notes, we prove that on primary Kodaira manifolds the restriction of the Frobenius structure on the degree-2 component of the extended moduli space is trivial. It generalizes the author's past observation on Kodaira surface.


title: $\mathcal{PT}$-symmetry breaking in a Kitaev chain with one pair of gain-loss potentials

abstract: Parity-time ($\mathcal{PT}$) symmetric systems are classical, gain-loss systems whose dynamics are governed by non-Hermitian Hamiltonians with exceptional-point (EP) degeneracies. The eigenvalues of a $\mathcal{PT}$-symmetric Hamiltonian change from real to complex conjugates at a critical value of gain-loss strength that is called the $\mathcal{PT}$ breaking threshold. Here, we obtain the $\mathcal{PT}$-threshold for a one-dimensional, finite Kitaev chain -- a prototype for a p-wave superconductor -- in the presence of a single pair of gain and loss potentials as a function of the superconducting order parameter, on-site potential, and the distance between the gain and loss sites. In addition to a robust, non-local threshold, we find a rich phase diagram for the threshold that can be qualitatively understood in terms of the band-structure of the Hermitian Kitaev mo del. In particular, for an even chain with zero on-site potential, we find a re-entrant $\mathcal{PT}$-symmetric phase bounded by second-order EP contours. Our numerical results are supplemented by analytical calculations for small system sizes.


title: Two Mirroring And Interpolating Methods To Estimate Peak Position For Symmetric Signals With Single Peak

abstract: Signals with single peak and symmetry property are very common in various fields, such as probability density function of normal distribution. Among the information contained in such signals, peak position is the most important, sometimes even the only parameter concerned. Current methods for peak position estimation are always with low precision and bad noise resistance, perform badly for sparse spectrum. This manuscript proposes two new algorithms that take advantage of symmetry property, conduct mirroring and interpolating operations to condense signal spectrum. From tests done in this paper, these two algorithms indicate outstanding advantages compared with current methods.


title: A Novel Probability Weighting Method To Fit Gaussian Functions

abstract: Gaussian functions are commonly used in different fields, many real signals can be modeled into such form. Research aiming to obtain a precise fitting result for these functions is very meaningful. This manuscript intends to introduce a new algorithm used to estimate the full parameters of the Gaussian-shaped function. It is basically a weighting method, starting from Caruana's method, while the selection of weighting factors is from the statistics view and based on the estimation of the confidence level for the samples. Tests designed for comparison with current similar methods have been conducted. The simulation results indicate a good performance for this new method, mainly in precision and robustness.


title: How will mass-vaccination change COVID-19 lockdown requirements in Australia?

abstract: Background: To prevent future outbreaks of COVID-19, Australia is pursuing a mass-vaccination approach in which a targeted group of the population comprising healthcare workers, aged-care residents and other individuals at increased risk of exposure will receive a highly effective priority vaccine. The rest of the population will instead have access to a less effective vaccine. Methods: We apply a large-scale agent-based model of COVID-19 in Australia to investigate the possible implications of this hybrid approach to mass-vaccination. The model is calibrated to recent epidemiological and demographic data available in Australia, and accounts for several components of vaccine efficacy. Findings: Within a feasible range of vaccine efficacy values, our model supports the assertion that complete herd immunity due to vaccination is not likely in the Australian context. For realistic scenarios in which herd immunity is not achieved, we simulate the effects of mass-vaccination on epidemic growth rate, and investigate the requirements of lockdown measures applied to curb subsequent outbreaks. In our simulations, Australia's vaccination strategy can feasibly reduce required lockdown intensity and initial epidemic growth rate by 43% and 52%, respectively. The severity of epidemics, as measured by the peak number of daily new cases, decreases by up to two orders of magnitude under plausible mass-vaccination and lockdown strategies. Interpretation: The study presents a strong argument for a large-scale vaccination campaign in Australia, which would substantially reduce both the intensity of future outbreaks and the stringency of non-pharmaceutical interventions required for their suppression.


title: Severity Quantification and Lesion Localization of COVID-19 on CXR using Vision Transformer

abstract: Under the global pandemic of COVID-19, building an automated framework that quantifies the severity of COVID-19 and localizes the relevant lesion on chest X-ray images has become increasingly important. Although pixel-level lesion severity labels, e.g. lesion segmentation, can be the most excellent target to build a robust model, collecting enough data with such labels is difficult due to time and labor-intensive annotation tasks. Instead, array-based severity labeling that assigns integer scores on six subdivisions of lungs can be an alternative choice enabling the quick labeling. Several groups proposed deep learning algorithms that quantify the severity of COVID-19 using the array-based COVID-19 labels and localize the lesions with explainability maps. To further improve the accuracy and interpretability, here we propose a novel Vision Transformer tailored for both quantification of the severity and clinically applicable localization of the COVID-19 related lesions. Our model is trained in a weakly-supervised manner to generate the full probability maps from weak array-based labels. Furthermore, a novel progressive self-training method enables us to build a model with a small labeled dataset. The quantitative and qualitative analysis on the external testset demonstrates that our method shows comparable performance with radiologists for both tasks with stability in a real-world application.


title: Effects of external flow on resonant absorption of coronal loop kink oscillations driven by an external fast wave: Selective excitation problem

abstract: Resonant absorption is considered as a crucial mechanism for the damping of the coronal loop oscillations and plasma heating. We study resonant absorption of the coronal loop kink oscillations excited by such external drivers as flares on the assumption that there is an intermediate shear flow region surrounding the loop. We find that for long coronal loops resonant absorption can be highly enhanced or reduced depending sensitively on the magnitude and direction of the flow and the spatial extent of the flow region when the transitional layer is thin. For short coronal loops, high flow speed and thick transitional layer are needed to have a substantial resonant absorption. We provide a potential picture to explain the results where the external Alfv\'{e}n speed and phase speed of the wave are important parameters. These results imply that the transport of the external wave energy into the loop is significantly changed by the shear flow region, which may cause the selective excitation of the coronal loop oscillations.


title: First Lattice QCD determination of semileptonic decays of charmed-strange baryons $\Xi_c$

abstract: While the standard model is the most successfully theory to describe all interactions and constituents in elementary particle physics, it has been constantly examined for over four decades. Weak decays of charm quarks can measure the coupling strength of quarks in different families and serve as an ideal probe for CP violation. As the lowest charm-strange baryons with three different flavors, $\Xi_c$ baryons (made of $csu$ or $csd$) have been extensively studied in experiments at the large hadron collider and in electron-positron collision. However the lack of reliable knowledge in theory becomes the unavoidable obstacle in the way. In this work, we use the state-of-the-art Lattice QCD techniques, and generate 2+1 clover fermion ensembles with two lattice spacings, $a=(0.108{\rm fm},0.080{\rm fm})$. We then present the first {\it ab-initio} lattice QCD determination of form factors governing $\Xi_{c}\to \Xi \ell^+\nu_{\ell}$, analogous with the notable $\beta$-decay of nuclei. Our theoretical results for decay widths are consistent with and about two times more precise than the latest measurements by ALICE and Belle collaborations. Together with experimental measurements, we independently determine the quark-mixing matrix element $|V_{cs}|$, which is found in good agreement with other determinations.


title: Advanced Multiple Linear Regression Based Dark Channel Prior Applied on Dehazing Image and Generating Synthetic Haze

abstract: Haze removal is an extremely challenging task, and object detection in the hazy environment has recently gained much attention due to the popularity of autonomous driving and traffic surveillance. In this work, the authors propose a multiple linear regression haze removal model based on a widely adopted dehazing algorithm named Dark Channel Prior. Training this model with a synthetic hazy dataset, the proposed model can reduce the unanticipated deviations generated from the rough estimations of transmission map and atmospheric light in Dark Channel Prior. To increase object detection accuracy in the hazy environment, the authors further present an algorithm to build a synthetic hazy COCO training dataset by generating the artificial haze to the MS COCO training dataset. The experimental results demonstrate that the proposed model obtains higher image quality and shares more similarity with ground truth images than most conventional pixel-based dehazing algorithms and neural network based haze-removal models. The authors also evaluate the mean average precision of Mask R-CNN when training the network with synthetic hazy COCO training dataset and preprocessing test hazy dataset by removing the haze with the proposed dehazing model. It turns out that both approaches can increase the object detection accuracy significantly and outperform most existing object detection models over hazy images.


title: Finding Subgroups with Significant Treatment Effects

abstract: Researchers often run resource-intensive randomized controlled trials (RCTs) to estimate the causal effects of interventions on outcomes of interest. Yet these outcomes are often noisy, and estimated overall effects can be small or imprecise. Nevertheless, we may still be able to produce reliable evidence of the efficacy of an intervention by finding subgroups with significant effects. In this paper, we propose a machine-learning method that is specifically optimized for finding such subgroups in noisy data. Unlike available methods for personalized treatment assignment, our tool is fundamentally designed to take significance testing into account: it produces a subgroup that is chosen to maximize the probability of obtaining a statistically significant positive treatment effect. We provide a computationally efficient implementation using decision trees and demonstrate its gain over selecting subgroups based on positive (estimated) treatment effects. Compared to standard tree-based regression and classification tools, this approach tends to yield higher power in detecting subgroups affected by the treatment.


title: Continuously Managing NFRs: Opportunities and Challenges in Practice

abstract: Non-functional requirements (NFR), which include performance, availability, and maintainability, are vitally important to overall software quality. However, research has shown NFRs are, in practice, poorly defined and difficult to verify. Continuous software engineering practices, which extend agile practices, emphasize fast paced, automated, and rapid release of software that poses additional challenges to handling NFRs. In this multi-case study we empirically investigated how three organizations, for which NFRs are paramount to their business survival, manage NFRs in their continuous practices. We describe four practices these companies use to manage NFRs, such as offloading NFRs to cloud providers or the use of metrics and continuous monitoring, both of which enable almost real-time feedback on managing the NFRs. However, managing NFRs comes at a cost as we also identified a number of challenges these organizations face while managing NFRs in their continuous software engineering practices. For example, the organizations in our study were able to realize an NFR by strategically and heavily investing in configuration management and infrastructure as code, in order to offload the responsibility of NFRs; however, this offloading implied potential loss of control. Our discussion and key research implications show the opportunities, trade-offs, and importance of the unique give-and-take relationship between continuous software engineering and NFRs. Research artifacts may be found at https://doi.org/10.5281/zenodo.3376342.


title: JITLine: A Simpler, Better, Faster, Finer-grained Just-In-Time Defect Prediction

abstract: A Just-In-Time (JIT) defect prediction model is a classifier to predict if a commit is defect-introducing. Recently, CC2Vec -- a deep learning approach for Just-In-Time defect prediction -- has been proposed. However, CC2Vec requires the whole dataset (i.e., training + testing) for model training, assuming that all unlabelled testing datasets would be available beforehand, which does not follow the key principles of just-in-time defect predictions. Our replication study shows that, after excluding the testing dataset for model training, the F-measure of CC2Vec is decreased by 38.5% for OpenStack and 45.7% for Qt, highlighting the negative impact of excluding the testing dataset for Just-In-Time defect prediction. In addition, CC2Vec cannot perform fine-grained predictions at the line level (i.e., which lines are most risky for a given commit). In this paper, we propose JITLine -- a Just-In-Time defect prediction approach for predicting defect-introducing commits and identifying lines that are associated with that defect-introducing commit (i.e., defective lines). Through a case study of 37,524 commits from OpenStack and Qt, we find that our JITLine approach is at least 26%-38% more accurate (F-measure), 17%-51% more cost-effective (PCI@20%LOC), 70-100 times faster than the state-of-the-art approaches (i.e., CC2Vec and DeepJIT) and the fine-grained predictions at the line level by our approach are 133%-150% more accurate (Top-10 Accuracy) than the baseline NLP approach. Therefore, our JITLine approach may help practitioners to better prioritize defect-introducing commits and better identify defective lines.


title: The neutrino emission from thermal processes in very massive stars in the local universe

abstract: We present a new overview of the life of very massive stars (VMS) in terms of neutrino emission from thermal processes: pair annihilation, plasmon decay, photoneutrino process, bremsstrahlung and recombination processes in burning stages of selected VMS models. We use the realistic conditions of temperature, density, electron fraction and nuclear isotropic composition of the VMS. Results are presented for a set of progenitor stars with mass of 150, 200 and 300 M$_\odot$ Z=0.002 and 500 M$_\odot$ Z=0.006 rotating models which are expected to explode as a pair instability supernova at the end of their life except the 300 M$_\odot$ would end up as a black hole. It is found that for VMS, thermal neutrino emission occurs as early as towards the end of hydrogen burning stage due to the high initial temperature and density of these VMS. We calculate the total neutrino emissivity, $Q_\nu$ and luminosity, $L_\nu$ using the structure profile of each burning stages of the models and observed the contribution of photoneutrino at early burning stages (H and He) and pair annihilation at the advanced stages. Pair annihilation and photoneutrino processes are the most dominant neutrino energy loss mechanisms throughout the evolutionary track of the VMS. At the O-burning stage, the neutrino luminosity $\sim 10^{47-48}$ erg/s depending on their initial mass and metallicity are slightly higher than the neutrino luminosity from massive stars. This could shed light on the possibility of using detection of neutrinos to locate the candidates for pair instability supernova in our local universe.


title: Incoherent control of optical signals; quantum heat engine approach

abstract: Optical pump-probe signals can be viewed as work done by the matter while transferring the energy between two coherent baths (from pump to probe). In thermodynamics a heat engine, such as laser, is a device which performs similar work but operating between two thermal baths. We propose an "incoherent" control procedure for the optical signals using the physics of quantum heat engine. By combining a coherent laser excitation of electronic excited state of molecule with thermal relaxation we introduce an effective thermal bath treating stimulated emission of probe photons as work performed by the heat engine. We optimize power and efficiency for the pump-probe signal using control parameters of the pump laser utilizing four level molecular model in strong and weak coupling regime illustrating its equivalence with the thermodynamic cycle of the heat engine.


title: Representation of measures of noncompactness and its applications related to an initial-value problem in Banach spaces

abstract: The purpose of this paper is devoted to studying representation of measures of non generalized compactness, in particular, measures of noncompactness, of non-weak compactness, and of non-super weak compactness, etc, defined on Banach spaces and its applications. With the aid of a three-time order preserving embedding theorem, we show that for every Banach space $X$, there exist a Banach function space $C(K)$ for some compact Hausdorff space $K$, and an order-preserving affine mapping $\mathbb T$ from the super space $\mathscr B$ of all nonempty bounded subsets of $X$ endowed with the Hausdorff metric to the positive cone $C(K)^+$ of $C(K)$ such that for every convex measure, in particular, regular measure, homogeneous measure, sublinear measure of non generalized compactness $\mu$ on $X$, there is a convex function $\digamma$ on the cone $V=\mathbb T(\mathscr B)$ which is Lipschitzian on each bounded set of $V$ such that \[\digamma(\mathbb T(B))=\mu(B),\;\;\forall\;B\in\mathscr B.\] As its applications, we show a class of basic integral inequalities related to an initial-value problem in Banach spaces, and prove a solvability result of the initial-value problem, which is an extension of some classical results due to Goebel, Rzymowski, and Bana\'{s}.


title: Linear stability estimates for Serrin's problem via a modified implicit function theorem

abstract: We examine Serrin's classical overdetermined problem under a perturbation of the Neumann boundary condition. The solution of the problem for a constant Neumann boundary condition exists provided that the underlying domain is a ball. The question arises whether for a perturbation of the constant there still are domains admitting solutions to the problem. Furthermore, one may ask whether a domain that admits a solution for the perturbed problem is unique up to translation and whether it is close to the ball. We develop a new implicit function theorem for a pair of Banach triplets that is applicable to nonlinear problems with loss of derivatives except at the point under consideration. Combined with a detailed analysis of the linearized operator, we prove the existence and local uniqueness of a domain admitting a solution to the perturbed overdetermined problem. Moreover, an optimal linear stability estimate for the shape of a domain is established.


title: DP-Image: Differential Privacy for Image Data in Feature Space

abstract: The excessive use of images in social networks, government databases, and industrial applications has posed great privacy risks and raised serious concerns from the public. Even though differential privacy (DP) is a widely accepted criterion that can provide a provable privacy guarantee, the application of DP on unstructured data such as images is not trivial due to the lack of a clear qualification on the meaningful difference between any two images. In this paper, for the first time, we introduce a novel notion of image-aware differential privacy, referred to as DP-image, that can protect user's personal information in images, from both human and AI adversaries. The DP-Image definition is formulated as an extended version of traditional differential privacy, considering the distance measurements between feature space vectors of images. Then we propose a mechanism to achieve DP-Image by adding noise to an image feature vector. Finally, we conduct experiments with a case study on face image privacy. Our results show that the proposed DP-Image method provides excellent DP protection on images, with a controllable distortion to faces.


title: Semantic Segmentation for Real Point Cloud Scenes via Bilateral Augmentation and Adaptive Fusion

abstract: Given the prominence of current 3D sensors, a fine-grained analysis on the basic point cloud data is worthy of further investigation. Particularly, real point cloud scenes can intuitively capture complex surroundings in the real world, but due to 3D data's raw nature, it is very challenging for machine perception. In this work, we concentrate on the essential visual task, semantic segmentation, for large-scale point cloud data collected in reality. On the one hand, to reduce the ambiguity in nearby points, we augment their local context by fully utilizing both geometric and semantic features in a bilateral structure. On the other hand, we comprehensively interpret the distinctness of the points from multiple resolutions and represent the feature map following an adaptive fusion method at point-level for accurate semantic segmentation. Further, we provide specific ablation studies and intuitive visualizations to validate our key modules. By comparing with state-of-the-art networks on three different benchmarks, we demonstrate the effectiveness of our network.


title: Chemical analysis of two extremely metal-poor stars HE 2148-2039 and HE 2155-2043

abstract: We present elemental abundance results for HE 2148-2039 and HE 2155-2043 based on a detailed high-resolution spectroscopic analysis. The high-resolution SUBARU/HDS spectra used for our analysis have a resolution of R~60 000. Although limited information based on photometry and low-resolution spectroscopy are available, we present for the first time an abundance analysis based on high-resolution spectra for both the objects. Our analysis shows that the two objects are extremely metal-poor with [Fe/H]< -3. Among the neutron-capture elements, abundances of only Sr and Ba could be determined in our programme stars. For both the objects [Ba/Fe] is found to be < 0. While strontium is under abundant in HE 2148-2039 with [Sr/Fe]~ -2.02, Sr is near solar in HE 2155-2043. The locations of the programme stars in the absolute carbon abundance, A(C) vs. [Fe/H] diagram show that HE 2148-2039 is a CEMP-no Group II object and HE 2155-2043 is a CEMP-no Group III object. Observed [Sr/Ba] ratios are characteristics of a fast rotating massive star progenitor for HE 2155-2043 and a metal-poor Asymptotic giant branch (AGB) star for HE 2148-2039. The estimated [Sc/Mn] as well as [C/Cr] ratios in HE 2155-2043 show that the surface chemical composition of this object is mono-enriched. The surface chemical composition of HE 2148-2039 is also found to be mono-enriched based on [Mg/C] ratio. With respect to their locations in the [C/N] vs. T eff diagram, HE 2148-2039 shows signatures of mixing, and HE 2155-2043 falls in the unmixed region of [C/N] vs. Teff plot. Kinematic analysis shows that both the objects belong to Galactic halo population.


title: Fast Grain Mapping with Sub-Nanometer Resolution Using 4D-STEM with Grain Classification by Principal Component Analysis and Non-Negative Matrix Factorization

abstract: High-throughput grain mapping with sub-nanometer spatial resolution is demonstrated using scanning nanobeam electron diffraction (also known as 4D scanning transmission electron microscopy, or 4D-STEM) combined with high-speed direct electron detection. An electron probe size down to 0.5 nm in diameter is implemented and the sample investigated is a gold-palladium nanoparticle catalyst. Computational analysis of the 4D-STEM data sets is performed using a disk registration algorithm to identify the diffraction peaks followed by feature learning to map the individual grains. Two unsupervised feature learning techniques are compared: Principal component analysis (PCA) and non-negative matrix factorization (NNMF). The characteristics of the PCA versus NNMF output are compared and the potential of the 4D-STEM approach for statistical analysis of grain orientations at high spatial resolution is discussed.


title: Controlling the degree of rotational directionality in laser-induced molecular dynamics

abstract: We demonstrate experimentally a method of varying the degree of directionality in laser-induced molecular rotation. To control the ratio between the number of clockwise and counter-clockwise rotating molecules (with respect to a fixed laboratory axis), we change the polarization ellipticity of the laser field of an optical centrifuge. The experimental data, supported by the numerical simulations, show that the degree of rotational directionality can be varied in a continuous fashion between unidirectional and bidirectional rotation. The control can be executed with no significant loss in the total number of rotating molecules. The technique could be used for studying the effects of orientation of the molecular angular momentum on molecular collisions and chemical reactions. It could also be utilized for controlling magnetic and optical properties of gases, as well as for the enantioselective detection of chiral molecules.


title: Positivity Preserving Density Matrix Minimization at Finite Temperatures via Square Root

abstract: We present a Wave Operator Minimization (WOM) method for calculating the Fermi-Dirac density matrix for electronic structure problems at finite temperature while preserving physicality by construction using the wave operator, i.e., the square root of the density matrix. WOM models cooling a state initially at infinite temperature down to the desired finite temperature. We consider both the grand canonical (constant chemical potential) and canonical (constant number of electrons) ensembles. Additionally, we show that the number of steps required for convergence is independent of the number of atoms in the system. We hope that the discussion and results presented in this article reinvigorates interest in density matrix minimization methods.


title: Can Single-Shuffle SGD be Better than Reshuffling SGD and GD?

abstract: We propose matrix norm inequalities that extend the Recht-R\'e (2012) conjecture on a noncommutative AM-GM inequality by supplementing it with another inequality that accounts for single-shuffle, which is a widely used without-replacement sampling scheme that shuffles only once in the beginning and is overlooked in the Recht-R\'e conjecture. Instead of general positive semidefinite matrices, we restrict our attention to positive definite matrices with small enough condition numbers, which are more relevant to matrices that arise in the analysis of SGD. For such matrices, we conjecture that the means of matrix products corresponding to with- and without-replacement variants of SGD satisfy a series of spectral norm inequalities that can be summarized as: "single-shuffle SGD converges faster than random-reshuffle SGD, which is in turn faster than with-replacement SGD." We present theorems that support our conjecture by proving several special cases.


title: DynACPD Embedding Algorithm for Prediction Tasks in Dynamic Networks

abstract: Classical network embeddings create a low dimensional representation of the learned relationships between features across nodes. Such embeddings are important for tasks such as link prediction and node classification. In the current paper, we consider low dimensional embeddings of dynamic networks, that is a family of time varying networks where there exist both temporal and spatial link relationships between nodes. We present novel embedding methods for a dynamic network based on higher order tensor decompositions for tensorial representations of the dynamic network. In one sense, our embeddings are analogous to spectral embedding methods for static networks. We provide a rationale for our algorithms via a mathematical analysis of some potential reasons for their effectiveness. Finally, we demonstrate the power and efficiency of our approach by comparing our algorithms' performance on the link prediction task against an array of current baseline methods across three distinct real-world dynamic networks.


title: Smart Quantum Technologies using Photons

abstract: The technologies utilizing quantum states of light have been in the spotlight for the last two decades. In this regard, quantum metrology, quantum imaging, quantum-optical communication are some of the important applications that exploit fascinating quantum properties like quantum superposition, quantum correlations, and nonclassical photon statistics. However, the state-of-art technologies operating at the single-photon level are not robust enough to truly realize a reliable quantum-photonic technology. In Chapter 1, I present a historical account of photon-based technologies. Furthermore, I discuss recent encouraging developments in the field of quantum-photonic technologies, and major challenges for the implementation of reliable quantum technologies, setting up a stage for unveiling our smart methodologies to cope with them. Similarly, in Chapter 2, I review the fundamental concepts of quantum optics and machine learning. In Chapter 3, I present a theoretical work on a nonlinear quantum metrology scheme, showing a sub-shot-noise limited phase estimation using the displaced-squeezed light and on/off detection. Furthermore, I discuss a camera-based squeezed-light detection that can be a smart and time-efficient alternative to balanced-homodyne detection. In Chapter 4, I discuss our efforts to incorporate artificial intelligence in a quest to improve the efficiency of discriminating thermal light from coherent light sources. In Chapter 5, I present a communication protocol in presence of random phase distortions. We utilize convolutional neural networks to perform the spatial mode correction of single photons, resulting in a near-unity fidelity of correction. Finally, I wrap up my dissertation in Chapter 6 by summarizing the historical context, challenges facing state-of-art techniques, and the importance of our efforts to introduce artificial intelligence in quantum technologies.


title: Constructing Squeezed States of Light with Associated Hermite Polynomials

abstract: A new class of states of light is introduced that is complementary to the well-known squeezed states. The construction is based on the general solution of the three-term recurrence relation that arises from the saturation of the Schr\"odinger inequality for the quadratures of a single-mode quantized electromagnetic field. The new squeezed states are found to be linear superpositions of the photon-number states whose coefficients are determined by the associated Hermite polynomials. These results do not seem to have been noticed before in the literature. As an example, the new class of squeezed states includes superpositions characterized by odd-photon number states only, so they represent the counterpart of the prototypical squeezed-vacuum state which consists entirely of even-photon number states.


title: IRS-Assisted Ambient Backscatter Communications Utilizing Deep Reinforcement Learning

abstract: We consider an ambient backscatter communication (AmBC) system aided by an intelligent reflecting surface (IRS). The optimization of the IRS to assist AmBC is extremely difficult when there is no prior channel knowledge, for which no design solutions are currently available. We utilize a deep reinforcement learning-based framework to jointly optimize the IRS and reader beamforming, with no knowledge of the channels or ambient signal. We show that the proposed framework can facilitate effective AmBC communication with a detection performance comparable to several benchmarks under full channel knowledge.


title: Discovering Diverse Solutions in Deep Reinforcement Learning by Maximizing State-Action-Based Mutual Information

abstract: Reinforcement learning algorithms are typically limited to learning a single solution for a specified task, even though diverse solutions often exist. Recent studies showed that learning a set of diverse solutions is beneficial because diversity enables robust few-shot adaptation. Although existing methods learn diverse solutions by using the mutual information as unsupervised rewards, such an approach often suffers from the bias of the gradient estimator induced by value function approximation. In this study, we propose a novel method that can learn diverse solutions without suffering the bias problem. In our method, a policy conditioned on a continuous or discrete latent variable is trained by directly maximizing the variational lower bound of the mutual information, instead of using the mutual information as unsupervised rewards as in previous studies. Through extensive experiments on robot locomotion tasks, we demonstrate that the proposed method successfully learns an infinite set of diverse solutions by learning continuous latent variables, which is more challenging than learning a finite number of solutions. Subsequently, we show that our method enables more effective few-shot adaptation compared with existing methods.


title: Wireframe-Based UI Design Search Through Image Autoencoder

abstract: UI design is an integral part of software development. For many developers who do not have much UI design experience, exposing them to a large database of real-application UI designs can help them quickly build up a realistic understanding of the design space for a software feature and get design inspirations from existing applications. However, existing keyword-based, image-similarity-based, and component-matching-based methods cannot reliably find relevant high-fidelity UI designs in a large database alike to the UI wireframe that the developers sketch, in face of the great variations in UI designs. In this article, we propose a deep-learning-based UI design search engine to fill in the gap. The key innovation of our search engine is to train a wireframe image autoencoder using a large database of real-application UI designs, without the need for labeling relevant UI designs. We implement our approach for Android UI design search, and conduct extensive experiments with artificially created relevant UI designs and human evaluation of UI design search results. Our experiments confirm the superior performance of our search engine over existing image-similarity or component-matching-based methods and demonstrate the usefulness of our search engine in real-world UI design tasks.


title: On the kernel of the surgery map restricted to the 1-loop part

abstract: Every homology cylinder is obtained from Jacobi diagrams by clasper surgery. The surgery map $\mathfrak{s} \colon \mathcal{A}_n^c \to Y_n\mathcal{IC}_{g,1}/Y_{n+1}$ is surjective for $n \geq 2$, and its kernel is closely related to the symmetry of Jacobi diagrams. We determine the kernel of $\mathfrak{s}$ restricted to the 1-loop part after taking a certain quotient of the target. Also, we introduce refined versions of the AS and STU relations among claspers and study the abelian group $Y_n\mathcal{IC}_{g,1}/Y_{n+2}$ for $n \geq 2$.


title: iToF2dToF: A Robust and Flexible Representation for Data-Driven Time-of-Flight Imaging

abstract: Indirect Time-of-Flight (iToF) cameras are a promising depth sensing technology. However, they are prone to errors caused by multi-path interference (MPI) and low signal-to-noise ratio (SNR). Traditional methods, after denoising, mitigate MPI by estimating a transient image that encodes depths. Recently, data-driven methods that jointly denoise and mitigate MPI have become state-of-the-art without using the intermediate transient representation. In this paper, we propose to revisit the transient representation. Using data-driven priors, we interpolate/extrapolate iToF frequencies and use them to estimate the transient image. Given direct ToF (dToF) sensors capture transient images, we name our method iToF2dToF. The transient representation is flexible. It can be integrated with different rule-based depth sensing algorithms that are robust to low SNR and can deal with ambiguous scenarios that arise in practice (e.g., specular MPI, optical cross-talk). We demonstrate the benefits of iToF2dToF over previous methods in real depth sensing scenarios.


title: Orthogonalized Kernel Debiased Machine Learning for Multimodal Data Analysis

abstract: Multimodal imaging has transformed neuroscience research. While it presents unprecedented opportunities, it also imposes serious challenges. Particularly, it is difficult to combine the merits of the interpretability attributed to a simple association model with the flexibility achieved by a highly adaptive nonlinear model. In this article, we propose an orthogonalized kernel debiased machine learning approach, which is built upon the Neyman orthogonality and a form of decomposition orthogonality, for multimodal data analysis. We target the setting that naturally arises in almost all multimodal studies, where there is a primary modality of interest, plus additional auxiliary modalities. We establish the root-$N$-consistency and asymptotic normality of the estimated primary parameter, the semi-parametric estimation efficiency, and the asymptotic validity of the confidence band of the predicted primary modality effect. Our proposal enjoys, to a good extent, both model interpretability and model flexibility. It is also considerably different from the existing statistical methods for multimodal data integration, as well as the orthogonality-based methods for high-dimensional inferences. We demonstrate the efficacy of our method through both simulations and an application to a multimodal neuroimaging study of Alzheimer's disease.


title: Optical Spin Sorting Chain

abstract: Transverse spin angular momentum of light is a key concept in recent nanophotonics to realize unidirectional light transport in waveguides by spin-momentum locking. Herein we theoretically propose subwavelength nanoparticle chain waveguides that efficiently sort optical spins with engineerable spin density distributions. By arranging high-refractive-index nanospheres of different sizes in a zigzag manner, directional optical spin propagation is realized. The origin of the efficient spin transport is revealed by analyzing the dispersion relation and spin angular momentum density distributions. In contrast to conventional waveguides, the proposed asymmetric waveguide can spatially separate up- and down-spins and locate one parity inside and the other outside the structure. Moreover, robustness against bending the waveguide and its application as an optical spin sorter are presented. Compared to previous reports on spatial engineering of local spins in photonic crystal waveguides, we achieved substantial miniaturization of the entire footprint down to subwavelength scale.


title: Predicting Community Smells' Occurrence on Individual Developers by Sentiments

abstract: Community smells appear in sub-optimal software development community structures, causing unforeseen additional project costs, e.g., lower productivity and more technical debt. Previous studies analyzed and predicted community smells in the granularity of community sub-groups using socio-technical factors. However, refactoring such smells requires the effort of developers individually. To eliminate them, supportive measures for every developer should be constructed according to their motifs and working states. Recent work revealed developers' personalities could influence community smells' variation, and their sentiments could impact productivity. Thus, sentiments could be evaluated to predict community smells' occurrence on them. To this aim, this paper builds a developer-oriented and sentiment-aware community smell prediction model considering 3 smells such as Organizational Silo, Lone Wolf, and Bottleneck. Furthermore, it also predicts if a developer quitted the community after being affected by any smell. The proposed model achieves cross- and within-project prediction F-Measure ranging from 76% to 93%. Research also reveals 6 sentimental features having stronger predictive power compared with activeness metrics. Imperative and indicative expressions, politeness, and several emotions are the most powerful predictors. Finally, we test statistically the mean and distribution of sentimental features. Based on our findings, we suggest developers should communicate in a straightforward and polite way.


title: Hecke category actions via Smith-Treumann theory

abstract: Let $\textbf{G}$ be a simply connected semisimple algebraic group over a field of characteristic greater than the Coxeter number. We construct a monoidal action of the diagrammatic Hecke category on the principal block $\text{Rep}_0(\textbf{G})$ of $\text{Rep}(\textbf{G})$ by wall-crossing functors. This action was conjectured to exist by Riche-Williamson. Our method uses constructible sheaves and relies on Smith-Treumann theory.


title: Performance Exploration of Virtualization Systems

abstract: Virtualization has gained astonishing popularity in recent decades. It is applied in several application domains, including mainframes, personal computers, data centers, and embedded systems. While the benefits of virtualization are no longer to be demonstrated, it often comes at the price of performance degradation compared to native execution. In this work, we conduct a comparative study on the performance outcome of VMWare, KVM, and Docker against compute-intensive, IO-intensive, and system benchmarks. The experiments reveal that containers are the way-to-go for the fast execution of applications. It also shows that VMWare and KVM perform similarly on most of the benchmarks.


title: QFAST: Conflating Search and Numerical Optimization for Scalable Quantum Circuit Synthesis

abstract: We present a quantum synthesis algorithm designed to produce short circuits and to scale well in practice. The main contribution is a novel representation of circuits able to encode placement and topology using generic "gates", which allows the QFAST algorithm to replace expensive searches over circuit structures with few steps of numerical optimization. When compared against optimal depth, search based state-of-the-art techniques, QFAST produces comparable results: 1.19x longer circuits up to four qubits, with an increase in compilation speed of 3.6x. In addition, QFAST scales up to seven qubits. When compared with the state-of-the-art "rule" based decomposition techniques in Qiskit, QFAST produces circuits shorter by up to two orders of magnitude (331x), albeit 5.6x slower. We also demonstrate the composability with other techniques and the tunability of our formulation in terms of circuit depth and running time.


title: PVStereo: Pyramid Voting Module for End-to-End Self-Supervised Stereo Matching

abstract: Supervised learning with deep convolutional neural networks (DCNNs) has seen huge adoption in stereo matching. However, the acquisition of large-scale datasets with well-labeled ground truth is cumbersome and labor-intensive, making supervised learning-based approaches often hard to implement in practice. To overcome this drawback, we propose a robust and effective self-supervised stereo matching approach, consisting of a pyramid voting module (PVM) and a novel DCNN architecture, referred to as OptStereo. Specifically, our OptStereo first builds multi-scale cost volumes, and then adopts a recurrent unit to iteratively update disparity estimations at high resolution; while our PVM can generate reliable semi-dense disparity images, which can be employed to supervise OptStereo training. Furthermore, we publish the HKUST-Drive dataset, a large-scale synthetic stereo dataset, collected under different illumination and weather conditions for research purposes. Extensive experimental results demonstrate the effectiveness and efficiency of our self-supervised stereo matching approach on the KITTI Stereo benchmarks and our HKUST-Drive dataset. PVStereo, our best-performing implementation, greatly outperforms all other state-of-the-art self-supervised stereo matching approaches. Our project page is available at sites.google.com/view/pvstereo.


title: Minimax Optimal Conditional Density Estimation under Total Variation Smoothness

abstract: This paper studies the minimax rate of nonparametric conditional density estimation under a weighted absolute value loss function in a multivariate setting. We first demonstrate that conditional density estimation is impossible if one only requires that $p_{X|Z}$ is smooth in $x$ for all values of $z$. This motivates us to consider a sub-class of absolutely continuous distributions, restricting the conditional density $p_{X|Z}(x|z)$ to not only be H\"older smooth in $x$, but also be total variation smooth in $z$. We propose a corresponding kernel-based estimator and prove that it achieves the minimax rate. We give some simple examples of densities satisfying our assumptions which imply that our results are not vacuous. Finally, we propose an estimator which achieves the minimax optimal rate adaptively, i.e., without the need to know the smoothness parameter values in advance. Crucially, both of our estimators (the adaptive and non-adaptive ones) impose no assumptions on the marginal density $p_Z$, and are not obtained as a ratio between two kernel smoothing estimators which may sound like a go to approach in this problem.


title: Bound state eigenvalues from transmission coefficients

abstract: Experts know that bound state energy eigenvalues of a potential well are poles of its transmission amplitude, $t(E)$. The textbooks do well by solving the bound states and scattering states separately, but the connection goes unheeded. Here, we present interesting and instructive illustrations, where we extract bound state eigenvalues from the known transmission coefficients $(T(E)=|t(E)|^2)$ for six analytically solvable potential wells.


title: Chiral flux phase in the Kagome superconductor AV$_3$Sb$_5$

abstract: We argue that the topological charge density wave phase in the quasi-2D Kagome superconductor AV$_3$Sb$_5$ is a chiral flux phase. Considering the symmetry of the Kagome lattice, we show that the chiral flux phase has the lowest energy among those states which exhibit $2\times2$ charge orders observed experimentally. This state breaks the time-reversal symmetry and displays anomalous Hall effect. The explicit pattern of the density of this state in real space is calculated. These results are supported by recent experiments and suggest that these materials are a new platform to investigate the interplay between topology, superconductivity and electron-electron correlations.


title: A Weakly Supervised Approach for Classifying Stance in Twitter Replies

abstract: Conversations on social media (SM) are increasingly being used to investigate social issues on the web, such as online harassment and rumor spread. For such issues, a common thread of research uses adversarial reactions, e.g., replies pointing out factual inaccuracies in rumors. Though adversarial reactions are prevalent in online conversations, inferring those adverse views (or stance) from the text in replies is difficult and requires complex natural language processing (NLP) models. Moreover, conventional NLP models for stance mining need labeled data for supervised learning. Getting labeled conversations can itself be challenging as conversations can be on any topic, and topics change over time. These challenges make learning the stance a difficult NLP problem. In this research, we first create a new stance dataset comprised of three different topics by labeling both users' opinions on the topics (as in pro/con) and users' stance while replying to others' posts (as in favor/oppose). As we find limitations with supervised approaches, we propose a weakly-supervised approach to predict the stance in Twitter replies. Our novel method allows using a smaller number of hashtags to generate weak labels for Twitter replies. Compared to supervised learning, our method improves the mean F1-macro by 8\% on the hand-labeled dataset without using any hand-labeled examples in the training set. We further show the applicability of our proposed method on COVID 19 related conversations on Twitter.


title: Cram\'er-Rao bound and quantum parameter estimation with non-Hermitian systems

abstract: The quantum Fisher information constrains the achievable precision in parameter estimation via the quantum Cram\'er-Rao bound, which has attracted much attention in Hermitian systems since the 60s of the last century. However, less attention has been paid to non-Hermitian systems. In this Letter, working with different logarithmic operators, we derive two previously unknown expressions for quantum Fisher information, and two Cram\'er-Rao bounds lower than the well-known one are found for non-Hermitian systems. These lower bounds are due to the merit of non-Hermitian observable and it can be understood as a result of extended regimes of optimization. Two experimentally feasible examples are presented to illustrate the theory, saturation of these bounds and estimation precisions beyond the Heisenberg limit are predicted and discussed. A setup to measure non-Hermitian observable is also proposed.


title: Implications of second harmonic generation for hidden order in Sr$_2$CuO$_2$Cl$_2$

abstract: Sr$_2$CuO$_2$Cl$_2$ (SCOC) is a model undoped cuprate with $I4/mmm$ crystallographic symmetry, and a simple magnetic space group $C_Amca$ with associated magnetic point group $mmm1'$. However, recent second harmonic spectroscopy in the antiferromagnetic phase has challenged this picture, suggesting instead a magnetic point group $4/mm'm'$ that co-exists with the antiferromagnetism and breaks the two orthogonal mirror planes containing the tetragonal $c$-axis. Here, we analyze the symmetry of SCOC in light of the second harmonic results, and discuss possible ground states that are consistent with the data.


title: On the (In)Feasibility of Attribute Inference Attacks on Machine Learning Models

abstract: With an increase in low-cost machine learning APIs, advanced machine learning models may be trained on private datasets and monetized by providing them as a service. However, privacy researchers have demonstrated that these models may leak information about records in the training dataset via membership inference attacks. In this paper, we take a closer look at another inference attack reported in literature, called attribute inference, whereby an attacker tries to infer missing attributes of a partially known record used in the training dataset by accessing the machine learning model as an API. We show that even if a classification model succumbs to membership inference attacks, it is unlikely to be susceptible to attribute inference attacks. We demonstrate that this is because membership inference attacks fail to distinguish a member from a nearby non-member. We call the ability of an attacker to distinguish the two (similar) vectors as strong membership inference. We show that membership inference attacks cannot infer membership in this strong setting, and hence inferring attributes is infeasible. However, under a relaxed notion of attribute inference, called approximate attribute inference, we show that it is possible to infer attributes close to the true attributes. We verify our results on three publicly available datasets, five membership, and three attribute inference attacks reported in literature.


title: Inductive Relation Prediction by BERT

abstract: Relation prediction in knowledge graphs is dominated by embedding based methods which mainly focus on the transductive setting. Unfortunately, they are not able to handle inductive learning where unseen entities and relations are present and cannot take advantage of prior knowledge. Furthermore, their inference process is not easily explainable. In this work, we propose an all-in-one solution, called BERTRL (BERT-based Relational Learning), which leverages pre-trained language model and fine-tunes it by taking relation instances and their possible reasoning paths as training samples. BERTRL outperforms the SOTAs in 15 out of 18 cases in both inductive and transductive settings. Meanwhile, it demonstrates strong generalization capability in few-shot learning and is explainable.


title: Structural defects responsible for strain glassy transition in Ni$_{50+x}$Ti$_{50-x}$

abstract: The strain glassy phase is produced by doping a small percentage of impurity in a martensitic alloy. Its ground state is conceived to consist of martensitic nano domains spatially separated from each other by a defect phase. The present study, by probing the local structure around the Ni and Ti in martensitic and strain glassy compositions of Ni$_{50+x}$Ti$_{50-x}$, for the first time, identifies the defect phase that is responsible for inhibiting the long range ordering of the elastic strain vector leading to the formation of the strain glassy phase.


title: Vector-based Pedestrian Navigation in Cities

abstract: How do pedestrians choose their paths within city street networks? Researchers have tried to shed light on this matter through strictly controlled experiments, but an ultimate answer based on real-world mobility data is still lacking. Here, we analyze salient features of human path planning through a statistical analysis of a massive dataset of GPS traces, which reveals that (1) people increasingly deviate from the shortest path when the distance between origin and destination increases, and (2) chosen paths are statistically different when origin and destination are swapped. We posit that direction to goal is a main driver of path planning and develop a vector-based navigation model that is a statistically better predictor of human paths than a model based on minimizing distance with stochastic effects. Our findings generalize across two major US cities with different street networks, hinting to the fact that vector-based navigation might be a universal property of human path planning.


title: Some results in constructive semigroup theory

abstract: We give a constructive treatment of some basic concepts and results in semigroup theory. Focusing on semigroups equipped with an apartness relation, we give analogues, from the point of view of apartness, of several classical constructions and results, including transitive closure and congruence closure, free semigroups, periodicity, Rees factors, and Green's relations.


title: On Hodge level of weighted complete intersections of general type

abstract: We show that smooth varieties of general type which are well formed weighted complete intersections of Cartier divisors have maximal Hodge level, that is, their the rightmost middle Hodge numbers do not vanish. We show that this does not hold in the quasi-smooth case.


title: Assessing the effect of sample bias correction in species distribution models

abstract: Open-source biodiversity databases contain a large amount of species occurrence records, but these are often spatially biased, which affects the reliability of species distribution models based on these records. Sample bias correction techniques include data filtering at the cost of record numbers or require considerable additional sampling effort. However, independent data are rarely available and assessment of the correction technique must rely on performance metrics computed with subsets of the only available (biased) data, which may be misleading. Here we assess the extent to which an acknowledged sample bias correction technique is likely to improve models' ability to predict species distributions in the absence of independent data. We assessed the variation in model predictions induced by the correction and model stochasticity. We present an index of the effect of correction relative to model stochasticity, the Relative Overlap Index (ROI). We tested whether the ROI better represented the effect of correction than classic performance metrics and absolute overlap metrics using 64 vertebrate species and 21 virtual species with a generated sample bias. When based on absolute overlaps and cross-validation performance metrics, we found no effect of correction, except for cAUC. When considering its effect relative to model stochasticity, the effect of correction depended on the site and the species. Virtual species enabled us to verify that the correction actually improved distribution predictions and the biological relevance of the selected variables at the sites with a clear gradient of sample bias, and when species distribution predictors are not correlated with sample bias patterns.


title: Measuring Voice UX Quantitatively: A Rapid Review

abstract: Computer voice is experiencing a renaissance through the growing popularity of voice-based interfaces, agents, and environments. Yet, how to measure the user experience (UX) of voice-based systems remains an open and urgent question, especially given that their form factors and interaction styles tend to be non-visual, intangible, and often considered disembodied or "body-less." As a first step, we surveyed the ACM and IEEE literatures to determine which quantitative measures and measurements have been deemed important for voice UX. Our findings show that there is little consensus, even with similar situations and systems, as well as an overreliance on lab work and unvalidated scales. In response, we offer two high-level descriptive frameworks for guiding future research, developing standardized instruments, and informing ongoing review work. Our work highlights the current strengths and weaknesses of voice UX research and charts a path towards measuring voice UX in a more comprehensive way.