title: SlimConv: Reducing Channel Redundancy in Convolutional Neural Networks by Weights Flipping

abstract: The channel redundancy in feature maps of convolutional neural networks (CNNs) results in the large consumption of memories and computational resources. In this work, we design a novel Slim Convolution (SlimConv) module to boost the performance of CNNs by reducing channel redundancies. Our SlimConv consists of three main steps: Reconstruct, Transform and Fuse, through which the features are splitted and reorganized in a more efficient way, such that the learned weights can be compressed effectively. In particular, the core of our model is a weight flipping operation which can largely improve the feature diversities, contributing to the performance crucially. Our SlimConv is a plug-and-play architectural unit which can be used to replace convolutional layers in CNNs directly. We validate the effectiveness of SlimConv by conducting comprehensive experiments on ImageNet, MS COCO2014, Pascal VOC2012 segmentation, and Pascal VOC2007 detection datasets. The experiments show that SlimConv-equipped models can achieve better performances consistently, less consumption of memory and computation resources than non-equipped conterparts. For example, the ResNet-101 fitted with SlimConv achieves 77.84% top-1 classification accuracy with 4.87 GFLOPs and 27.96M parameters on ImageNet, which shows almost 0.5% better performance with about 3 GFLOPs and 38% parameters reduced.


title: An Experimental and Computational Study on Material Dispersion of 1-Alkyl-3-Methylimidazolium Tetrafluoroborate Ionic Liquids

abstract: The material dispersion of the [Ckmim][BF4] (k = 2,3,4,6,7,8,10) family of ionic liquids is measured at several temperatures over a broad spectral range from 300 nm to 1550 nm. The experimental curves are fitted to a modified three-resonance Sellmeier model to understand the effect of temperature and alkyl chain length in the dispersion. From the parameters of the fitting, we analyze the influence that the different constituents of these ionic liquids have in the dispersion behaviour. In addition, a semi-empirical approach combining simulated electronic polarizabilities and experimental densities for predicting the material dispersion is successfully tested by direct comparison with the experimental results. The limitations of this method are analyzed in terms of the structure of the ionic liquids. The results of this work aim to increase our knowledge about how the structure of an ionic liquid influences its material dispersion. Understanding this influence is fundamental to produce ionic liquids with tailored optical properties.


title: The CARMENES search for exoplanets around M dwarfs. Radial velocities and activity indicators from cross-correlation functions with weighted binary masks

abstract: For years, the standard procedure to measure radial velocities (RVs) of spectral observations consisted in cross-correlating the spectra with a binary mask, that is, a simple stellar template that contains information on the position and strength of stellar absorption lines. The cross-correlation function (CCF) profiles also provide several indicators of stellar activity. We present a methodology to first build weighted binary masks and, second, to compute the CCF of spectral observations with these masks from which we derive radial velocities and activity indicators. These methods are implemented in a python code that is publicly available. To build the masks, we selected a large number of sharp absorption lines based on the profile of the minima present in high signal-to-noise ratio (S/N) spectrum templates built from observations of reference stars. We computed the CCFs of observed spectra and derived RVs and the following three standard activity indicators: full-width-at-half-maximum as well as contrast and bisector inverse slope.We applied our methodology to CARMENES high-resolution spectra and obtain RV and activity indicator time series of more than 300 M dwarf stars observed for the main CARMENES survey. Compared with the standard CARMENES template matching pipeline, in general we obtain more precise RVs in the cases where the template used in the standard pipeline did not have enough S/N. We also show the behaviour of the three activity indicators for the active star YZ CMi and estimate the absolute RV of the M dwarfs analysed using the CCF RVs.


title: ALMA High-frequency Long Baseline Campaign in 2017: Band-to-band Phase Referencing in Submillimeter Waves

abstract: In 2017, an Atacama Large Millimeter/submillimeter Array (ALMA) high-frequency long baseline campaign was organized to test image capabilities with baselines up to 16 km at submillimeter (submm) wavelengths. We investigated image qualities using ALMA receiver Bands 7, 8, 9, and 10 (285-875 GHz) by adopting band-to-band (B2B) phase referencing in which a phase calibrator is tracked at a lower frequency. For B2B phase referencing, it is expected that a closer phase calibrator to a target can be used, comparing to standard in-band phase referencing. In the first step, it is ensured that an instrumental phase offset difference between low- and high-frequency Bands can be removed using a differential gain calibration in which a phase calibrator is certainly detected while frequency switching. In the next step, comparative experiments are arranged to investigate the image quality between B2B and in-band phase referencing with phase calibrators at various separation angles. In the final step, we conducted long baseline imaging tests for a quasar at 289 GHz in Band 7 and 405 GHz in Band 8 and complex structure sources of HL Tau and VY CMa at ~670 GHz in Band 9. The B2B phase referencing was successfully applied, allowing us to achieve an angular resolution of 14x11 and 10x8 mas for HL Tau and VY CMa, respectively. There is a high probability of finding a low-frequency calibrator within 5.4 deg in B2B phase referencing, bright enough to use an 8 s scan length combined with a 7.5 GHz bandwidth.


title: Quantum electrostatics, Gauss's law, and a product picture for quantum electrodynamics; or, the temporal gauge revised

abstract: We provide a theoretical foundation for the notion of the quantum coherent state of the electrostatic field of a static external charge distribution introduced in a 1998 paper and rederive formulae there for the inner products of a pair of such states. Contrary to what one might expect, these inner products are non-zero whenever the total charges of the two charge distributions are equal, even if the charge distributions themselves differ. We actually display two different frameworks for these same coherent states, in the second of which Gauss's law only holds in expectation value. We propose an experiment capable of ruling that out. The first framework leads to a 'product picture' for full QED -- i.e. a reformulation of standard QED in which it has a total Hamiltonian, arising as a sum of a free electromagnetic Hamiltonian, a free charged-matter Hamiltonian and an interaction term, acting on a 'physical subspace' of the full tensor product of charged-matter and electromagnetic-field Hilbert spaces. (The traditional Coulomb gauge formulation of QED isn't a product picture because, in it, the longitudinal part of the electric field is a function of the charged matter operators.) We do this for both Maxwell-Dirac and Maxwell-Schr\"odinger QED. For all states in the physical subspace of each of these systems, the charged matter is entangled with longitudinal photons and Gauss's law holds on the physical subspace as an operator equation; albeit the electric field operator and the Hamiltonian, while self-adjoint on the physical subspace, fail to be self-adjoint on the full tensor-product Hilbert space. Analogues of our coherent state inner products and of the product picture play a role in the author's matter-gravity entanglement hypothesis. Also, the product picture amounts to a temporal gauge quantization of QED which appears to be free from the difficulties of previous versions.


title: Fully reversible neural networks for large-scale surface and sub-surface characterization via remote sensing

abstract: The large spatial/frequency scale of hyperspectral and airborne magnetic and gravitational data causes memory issues when using convolutional neural networks for (sub-) surface characterization. Recently developed fully reversible networks can mostly avoid memory limitations by virtue of having a low and fixed memory requirement for storing network states, as opposed to the typical linear memory growth with depth. Fully reversible networks enable the training of deep neural networks that take in entire data volumes, and create semantic segmentations in one go. This approach avoids the need to work in small patches or map a data patch to the class of just the central pixel. The cross-entropy loss function requires small modifications to work in conjunction with a fully reversible network and learn from sparsely sampled labels without ever seeing fully labeled ground truth. We show examples from land-use change detection from hyperspectral time-lapse data, and regional aquifer mapping from airborne geophysical and geological data.


title: A Framework for Distributed and Compositional Stability Analysis of Power Grids

abstract: Operating modern power grids with stability guarantees is admittedly imperative. Classic stability methods are not well-suited for these dynamic systems as they involve centralized gathering of information and computation of the system's eigenvalues, processes which are oftentimes not privacy-preserving and computationally burdensome. System operators (SOs) would nowadays have to be able to quickly and efficiently assess small-signal stability as the power grid operating conditions change more dynamically while also respect the privacy of the distributed energy resources (DERs). Motivated by all these, in this paper we introduce a framework that comprises a computationally efficient, privacy-preserving, distributed and compositional stability assessment method. Our proposed method first calls for representative agents at various buses to exchange information with their neighbors and design their local controls in order to meet some local stability conditions. Following that, the agents are required to notify the SO whether their local conditions are satisfied or not. In case the agents cannot verify their local conditions they can augment their local controls using a global control input. The SO can then warrant stability of the interconnected power grid by assembling the local stability guarantees, established by the agents, in a compositional manner. We analytically derive the local stability conditions and prove that when they are collectively satisfied stability of the interconnected system ensues. We illustrate the effectiveness of our proposed DSA method via a numerical example centered around a three-bus power grid.


title: SuperModel Predictions in the Outskirts of the Galaxy Cluster Zwicky 3146

abstract: The relaxed galaxy cluster Zwicky 3146 is analyzed via the SuperModel, a tool already tested on many clusters since 2009. In particular, this analysis is focused on the intracluster medium X-ray temperature data measured by XMM-Newton up to r_{500}. A previous analysis was based on the temperature profile derived from the Sunyaev-Zeldovich effect pressure data. The gas mass fraction f_{gas} is obtained from the resulting SuperModel temperature profile extrapolated up to the virial radius R, that turns out in agreement with the steep temperature profiles observed by Suzaku, and from the gas density profile observed by XMM-Newton. The comparison between f_{gas} with the universal value indicates a non-thermal pressure component, p_{nth}, in the cluster outskirts. The SuperModel analysis shows a ratio alpha(R) (about 50%) of p_{nth} to the total pressure greater than the values found by simulations, highlighting the possible presence of accreting substructures and inhomogeneities in the gas density profile. Once that this profile is corrected for clumpiness, the level of p_{nth} is considerably reduced. However, a significant turbulence (alpha(R) about 20%) and entropy flattening are still present in the outskirts of the galaxy cluster Zwicky 3146.


title: Task-Independent Spiking Central Pattern Generator: A Learning-Based Approach

abstract: Legged locomotion is a challenging task in the field of robotics but a rather simple one in nature. This motivates the use of biological methodologies as solutions to this problem. Central pattern generators are neural networks that are thought to be responsible for locomotion in humans and some animal species. As for robotics, many attempts were made to reproduce such systems and use them for a similar goal. One interesting design model is based on spiking neural networks. This model is the main focus of this work, as its contribution is not limited to engineering but also applicable to neuroscience. This paper introduces a new general framework for building central pattern generators that are task-independent, biologically plausible, and rely on learning methods. The abilities and properties of the presented approach are not only evaluated in simulation but also in a robotic experiment. The results are very promising as the used robot was able to perform stable walking at different speeds and to change speed within the same gait cycle.


title: Implications of Stahl's Theorems to Holomorphic Embedding Pt. 1: Theoretical Convergence

abstract: What has become known as Stahl's Theorem in power engineering circles has been used to justify a convergence guarantee of the Holormorphic Embedding Method (HEM) as it applies to the power flow (PF) problem. In this two-part paper, we examine in more detail the implications of Stahl's theorems to both theoretcial and numerical convergence for a wider range of problems to which these theorems are now being applied. In Pt. 1, we introduce the theorem using the necessary mathematical parlance and then translate the language to show its implications to convergence of nonlinear problems in general and the PF problem specifically. We show that among other possibilities the existence of the Chebotarev points, which are embedding specific, are a possible theoretical impediment to convergence. Numerical impediments to convergences are discussed in the companion paper.


title: Number Parity effect in the normal state of $SrTiO_3$

abstract: We study the recently discovered even-odd effects in the normal state of single-electron devices manufactured at strontium titanium oxide/lanthanum aluminum oxide interfaces (STO/LAO). Within the framework of the number parity-projected formalism and a phenomenological fermion-boson model we find that, in sharp contrast to conventional superconductors, the crossover temperature $T^*$ for the onset of number parity effect is considerably larger than the superconducting transition temperature $T_c$ due to the existence of a pairing gap above $T_c$. Furthermore, the finite lifetime of the preformed pairs reduces by several orders of magnitude the effective number of states $N_{\rm eff}$ available for the unpaired quasiparticle in the odd parity state of the Coulomb blockaded STO/LAO island. Our findings are in qualitative agreement with the experimental results reported by Levy and coworkers for STO/LAO based single electron devices.


title: Rigidity and Stability of Submanifolds with Entropy Close to One

abstract: We show that an $n$-dimensional surface whose entropy is close to that of an $n$-dimensional plane is close in Hausdorff distance to some $n$-dimensional plane at every scale. Moreover we show that self-expanders of low entropy converge in the Hausdorff sense to their asymptotic cones.


title: Comparison between Riemann-Stieltjes and Lebesgue-Stieltjes integration using discrete distribution functions

abstract: Integrating with respect to functions which are constant on intervals whose bounds are discontinuity points (of those functions) is frequent in many branches of Mathematics, specially in stochastic processes. For such functions and alike extension, a comparison between Riemann-Stieltjes and Lebesgue-Stieltjes integration and the integrals formulas leads to interesting facts for students (as complements of Measure Theory and Integrations) and for practitioners and and researchers. We undergone conditions of existence the Riemann-Stieltjes integrals related to that type of function and compare the results with what should be expected for Lebesgue-Stieltjes theory.


title: High-Accuracy and Low-Latency Speech Recognition with Two-Head Contextual Layer Trajectory LSTM Model

abstract: While the community keeps promoting end-to-end models over conventional hybrid models, which usually are long short-term memory (LSTM) models trained with a cross entropy criterion followed by a sequence discriminative training criterion, we argue that such conventional hybrid models can still be significantly improved. In this paper, we detail our recent efforts to improve conventional hybrid LSTM acoustic models for high-accuracy and low-latency automatic speech recognition. To achieve high accuracy, we use a contextual layer trajectory LSTM (cltLSTM), which decouples the temporal modeling and target classification tasks, and incorporates future context frames to get more information for accurate acoustic modeling. We further improve the training strategy with sequence-level teacher-student learning. To obtain low latency, we design a two-head cltLSTM, in which one head has zero latency and the other head has a small latency, compared to an LSTM. When trained with Microsoft's 65 thousand hours of anonymized training data and evaluated with test sets with 1.8 million words, the proposed two-head cltLSTM model with the proposed training strategy yields a 28.2\% relative WER reduction over the conventional LSTM acoustic model, with a similar perceived latency.


title: Pump depletion in parametric down-conversion with low pump energies

abstract: We report the efficient generation of high-gain parametric down-conversion, including pump depletion, with pump powers as low as 100 $\mu$W (energies $0.1$~$\mu$J/pulse) and conversion efficiencies up to 33\%. In our simple configuration, the pump beam is tightly focused into a bulk periodically poled lithium niobate crystal placed in free space. We also observe a change in the photon number statistics for both the pump and down-converted beams as the pump power increases to reach the depleted pump regime. The experimental results are a clear signature of the interplay between the pump and the down-converted beams in highly efficient parametric down-conversion sources.


title: A note on Hybrid Routh reduction for time-dependent Lagrangian systems

abstract: This note discusses Routh reduction for hybrid time-dependent mechanical systems. We give general conditions on whether it is possible to reduce by symmetries a hybrid time-dependent Lagrangian system extending and unifying previous results for continuous-time systems. We illustrate the applicability of the method using the example of a billiard with moving walls.


title: Active control of near-field radiative heat transfer by coating-twisting method

abstract: In this letter, active control of near-field radiative heat transfer (NFRHT) between two isotropic materials is realized by a coating-twisting method. The two slabs are coated with graphene gratings, and then the NFRHT can be not only enhanced, but also weakened, by tuning the twisted angle between the two gratings. The physical mechanism is attributed to the modes coupled by the graphene gratings and the isotropic material, which can vary with the twisted angle. The proposed method is also applicable for other kinds of anisotropic films, and may provide a way to realize high-precision nanoscale thermal management, nimble thermal communications and thermal switch.


title: Super-rigidity of certain skeleta using relative symplectic cohomology

abstract: This article uses relative symplectic cohomology, recently studied by the second author, to understand rigidity phenomena for compact subsets of symplectic manifolds. As an application, we consider a symplectic crossings divisor in a Calabi-Yau symplectic manifold $M$ whose complement is a Liouville manifold. We show that, for a carefully chosen Liouville structure, the skeleton as a subset of $M$ exhibits strong rigidity properties akin to super-heavy subsets of Entov-Polterovich. Along the way, we expand the toolkit of relative symplectic cohomology by introducing products and units. We also develop what we call the contact Fukaya trick, concerning the behaviour of relative symplectic cohomology of subsets with contact type boundary under adding a Liouville collar.


title: Sandwiches for Promise Constraint Satisfaction

abstract: Promise Constraint Satisfaction Problems (PCSP) were proposed recently by Brakensiek and Guruswami arXiv:1704.01937 as a framework to study approximations for Constraint Satisfaction Problems (CSP). Informally a PCSP asks to distinguish between whether a given instance of a CSP has a solution or not even a specified relaxation can be satisfied. All currently known tractable PCSPs can be reduced in a natural way to tractable CSPs. Barto arXiv:1909.04878 presented an example of a PCSP over Boolean structures for which this reduction requires solving a CSP over an infinite structure. We give a first example of a PCSP over Boolean structures which reduces to a tractable CSP over a structure of size $3$ but not smaller. Further we investigate properties of PCSPs that reduce to systems of linear equations or to CSPs over structures with semilattice or majority polymorphism.


abstract: We investigate $P$-wave bottom baryons of the $SU(3)$ flavor $\mathbf{6}_F$, and systematically study their $D$-wave decays into ground-state bottom baryons and pseudoscalar mesons. Together with [PRD91, 054034 (2015); PRD92, 114007 (2015); PRD95, 094008 (2017); EPJC80, 80 (2020)], a rather complete study is performed on both mass spectra and decay properties of $P$-wave bottom baryons, using the method of QCD sum rules and light-cone sum rules within the framework of heavy quark effective theory. Among all the possibilities, we find four $\Sigma_b$, four $\Xi^\prime_b$, and six $\Omega_b$ baryons, with limited widths and so capable of being observed. Their masses, mass splittings within the same multiplets, and decay properties are extracted (summarized in Table V) for future experimental searchings.


title: Catch the Ball: Accurate High-Speed Motions for Mobile Manipulators via Inverse Dynamics Learning

abstract: Mobile manipulators consist of a mobile platform equipped with one or more robot arms and are of interest for a wide array of challenging tasks because of their extended workspace and dexterity. Typically, mobile manipulators are deployed in slow-motion collaborative robot scenarios. In this paper, we consider scenarios where accurate high-speed motions are required. We introduce a framework for this regime of tasks including two main components: (i) a bi-level motion optimization algorithm for real-time trajectory generation, which relies on Sequential Quadratic Programming (SQP) and Quadratic Programming (QP), respectively; and (ii) a learning-based controller optimized for precise tracking of high-speed motions via a learned inverse dynamics model. We evaluate our framework with a mobile manipulator platform through numerous high-speed ball catching experiments, where we show a success rate of 85.33%. To the best of our knowledge, this success rate exceeds the reported performance of existing related systems and sets a new state of the art.


title: Recent Advances and Challenges in Task-oriented Dialog System

abstract: Due to the significance and value in human-computer interaction and natural language processing, task-oriented dialog systems are attracting more and more attention in both academic and industrial communities. In this paper, we survey recent advances and challenges in task-oriented dialog systems. We also discuss three critical topics for task-oriented dialog systems: (1) improving data efficiency to facilitate dialog modeling in low-resource settings, (2) modeling multi-turn dynamics for dialog policy learning to achieve better task-completion performance, and (3) integrating domain ontology knowledge into the dialog model. Besides, we review the recent progresses in dialog evaluation and some widely-used corpora. We believe that this survey, though incomplete, can shed a light on future research in task-oriented dialog systems.


title: The Power of Global Knowledge on Self-stabilizing Population Protocols

abstract: In the population protocol model, many problems cannot be solved in a self-stabilizing way. However, global knowledge, such as the number of nodes in a network, sometimes allows us to design a self-stabilizing protocol for such problems. In this paper, we investigate the effect of global knowledge on the possibility of self-stabilizing population protocols in arbitrary graphs. Specifically, we clarify the solvability of the leader election problem, the ranking problem, the degree recognition problem, and the neighbor recognition problem by self-stabilizing population protocols with knowledge of the number of nodes and/or the number of edges in a network.


title: AutoCogniSys: IoT Assisted Context-Aware Automatic Cognitive Health Assessment

abstract: Cognitive impairment has become epidemic in older adult population. The recent advent of tiny wearable and ambient devices, a.k.a Internet of Things (IoT) provides ample platforms for continuous functional and cognitive health assessment of older adults. In this paper, we design, implement and evaluate AutoCogniSys, a context-aware automated cognitive health assessment system, combining the sensing powers of wearable physiological (Electrodermal Activity, Photoplethysmography) and physical (Accelerometer, Object) sensors in conjunction with ambient sensors. We design appropriate signal processing and machine learning techniques, and develop an automatic cognitive health assessment system in a natural older adults living environment. We validate our approaches using two datasets: (i) a naturalistic sensor data streams related to Activities of Daily Living and mental arousal of 22 older adults recruited in a retirement community center, individually living in their own apartments using a customized inexpensive IoT system (IRB #HP-00064387) and (ii) a publicly available dataset for emotion detection. The performance of AutoCogniSys attests max. 93\% of accuracy in assessing cognitive health of older adults.


title: Deep Relational Reasoning Graph Network for Arbitrary Shape Text Detection

abstract: Arbitrary shape text detection is a challenging task due to the high variety and complexity of scenes texts. In this paper, we propose a novel unified relational reasoning graph network for arbitrary shape text detection. In our method, an innovative local graph bridges a text proposal model via Convolutional Neural Network (CNN) and a deep relational reasoning network via Graph Convolutional Network (GCN), making our network end-to-end trainable. To be concrete, every text instance will be divided into a series of small rectangular components, and the geometry attributes (e.g., height, width, and orientation) of the small components will be estimated by our text proposal model. Given the geometry attributes, the local graph construction model can roughly establish linkages between different text components. For further reasoning and deducing the likelihood of linkages between the component and its neighbors, we adopt a graph-based network to perform deep relational reasoning on local graphs. Experiments on public available datasets demonstrate the state-of-the-art performance of our method.


title: Directionally Dependent Multi-View Clustering Using Copula Model

abstract: In recent biomedical scientific problems, it is a fundamental issue to integratively cluster a set of objects from multiple sources of datasets. Such problems are mostly encountered in genomics, where data is collected from various sources, and typically represent distinct yet complementary information. Integrating these data sources for multi-source clustering is challenging due to their complex dependence structure including directional dependency. Particularly in genomics studies, it is known that there is certain directional dependence between DNA expression, DNA methylation, and RNA expression, widely called The Central Dogma. Most of the existing multi-view clustering methods either assume an independent structure or pair-wise (non-directional) dependency, thereby ignoring the directional relationship. Motivated by this, we propose a copula-based multi-view clustering model where a copula enables the model to accommodate the directional dependence existing in the datasets. We conduct a simulation experiment where the simulated datasets exhibiting inherent directional dependence: it turns out that ignoring the directional dependence negatively affects the clustering performance. As a real application, we applied our model to the breast cancer tumor samples collected from The Cancer Genome Altas (TCGA).


title: SMACS: Smart Contract Access Control Service

abstract: Although blockchain-based smart contracts promise a ``trustless'' way of enforcing agreements even with monetary consequences, they suffer from multiple security issues. Many of these issues could be mitigated via an effective access control system, however, its realization is challenging due to the properties of current blockchain platforms (like lack of privacy, costly on-chain resources, or latency). To address this problem, we propose the SMACS framework, where updatable and sophisticated Access Control Rules (ACRs)} for smart contracts can be realized with low cost. SMACS shifts the burden of expensive ACRs validation and management operations to an off-chain infrastructure, while implementing on-chain only lightweight token-based access control. SMACS is flexible and in addition to simple access control lists can easily implement rules enhancing the runtime security of smart contracts. With dedicated ACRs backed by vulnerability-detection tools, SMACS can protect vulnerable contracts after deployment. We fully implement SMACS and evaluate it.


title: DEPARA: Deep Attribution Graph for Deep Knowledge Transferability

abstract: Exploring the intrinsic interconnections between the knowledge encoded in PRe-trained Deep Neural Networks (PR-DNNs) of heterogeneous tasks sheds light on their mutual transferability, and consequently enables knowledge transfer from one task to another so as to reduce the training effort of the latter. In this paper, we propose the DEeP Attribution gRAph (DEPARA) to investigate the transferability of knowledge learned from PR-DNNs. In DEPARA, nodes correspond to the inputs and are represented by their vectorized attribution maps with regards to the outputs of the PR-DNN. Edges denote the relatedness between inputs and are measured by the similarity of their features extracted from the PR-DNN. The knowledge transferability of two PR-DNNs is measured by the similarity of their corresponding DEPARAs. We apply DEPARA to two important yet under-studied problems in transfer learning: pre-trained model selection and layer selection. Extensive experiments are conducted to demonstrate the effectiveness and superiority of the proposed method in solving both these problems. Code, data and models reproducing the results in this paper are available at \url{https://github.com/zju-vipa/DEPARA}.


title: Towards High Performance, Portability, and Productivity: Lightweight Augmented Neural Networks for Performance Prediction

abstract: Writing high-performance code requires significant expertise in the programming language, compiler optimizations, and hardware knowledge. This often leads to poor productivity and portability and is inconvenient for a non-programmer domain-specialist such as a Physicist. More desirable is a high-level language where the domain-specialist simply specifies the workload in terms of high-level operations (e.g., matrix-multiply(A, B)), and the compiler identifies the best implementation fully utilizing the heterogeneous platform. For creating a compiler that supports productivity, portability, and performance simultaneously, it is crucial to predict the performance of various available implementations (variants) of the dominant operations (kernels) contained in the workload on various hardware to decide (a) which variant should be chosen for each kernel in the workload, and (b) on which hardware resource the variant should run. To enable the performance prediction, we propose lightweight augmented neural networks for arbitrary combinations of kernel-variant-hardware. A key innovation is utilizing the mathematical complexity of the kernels as a feature to achieve higher accuracy. These models are compact to reduce training time and fast inference during compile-time and run-time. Using models with less than 75 parameters, and only 250 training data instances, we are able to obtain a low MAPE of 3%, significantly outperforming traditional feed-forward neural networks on 48 kernel-variant-hardware combinations. We further demonstrate that our variant-selection approach can be used in Halide implementations to obtain up to 1.7x speedup over Halide's auto-scheduler.


title: Nonlinear guiding of light in tunable food-dye solutions

abstract: We provide the first demonstration of nonlinear self-trapping of light in solutions of food coloring dyes, leading to dirt cheap soliton waveguides. The optical self-focusing nonlinearity observed in such solutions is attributed to the optical absorption force acting on dye molecules, as the thermal effect at relatively higher power results in a self-defocusing nonlinearity. We found the nonlinear response increases when the laser wavelength is switched to near the peak absorption for all food dyes tested. Furthermore, the absorption-dependent nonlinearity can be tuned by making purposive samples of different food dyes. In particular, with appropriately mixing of dye solutions, nonlinear response arises for otherwise inactive wavelengths, leading to interaction between two beams of different wavelengths and formation of a coupled soliton-like pair. At milliwatt low power levels, self-trapping achieved at one wavelength in food-dye solutions can serve as low-cost waveguides for optical beams at other wavelengths.


title: Darboux coordinates for symplectic groupoid and cluster algebras

abstract: Using Fock--Goncharov higher Teichm\"uller space variables we derive Darboux coordinate representation for entries of general symplectic leaves of the $\mathcal A_n$ groupoid of upper-triangular matrices and, in a more general setting, of higher-dimensional symplectic leaves for algebras governed by the reflection equation with the trigonometric $R$-matrix. The obtained results are in a perfect agreement with the previously obtained Poisson and quantum representations of groupoid variables for $\mathcal A_3$ and $\mathcal A_4$ in terms of geodesic functions for Riemann surfaces with holes. We represent braid-group transformations for $\mathcal A_n$ via sequences of cluster mutations in the special $\mathbb A_n$-quiver. We prove the groupoid relations for quantum transport matrices and, as a byproduct, obtain the Goldman bracket in the semiclassical limit.


title: Generalizing Randomized Trial Findings to a Target Population using Complex Survey Population Data

abstract: Randomized trials are considered the gold standard for estimating causal effects. Trial findings are often used to inform policy and programming efforts, yet their results may not generalize well to a relevant target population due to potential differences in effect moderators between the trial and population. Statistical methods have been developed to improve generalizability by combining trials and population data, and weighting the trial to resemble the population on baseline covariates.Large-scale surveys in fields such as health and education with complex survey designs are a logical source for population data; however, there is currently no best practice for incorporating survey weights when generalizing trial findings to a complex survey. We propose and investigate ways to incorporate survey weights in this context. We examine the performance of our proposed estimator in simulations by comparing its performance to estimators that ignore the complex survey design.We then apply the methods to generalize findings from two trials - a lifestyle intervention for blood pressure reduction and a web-based intervention to treat substance use disorders - to their respective target populations using population data from complex surveys. The work highlights the importance in properly accounting for the complex survey design when generalizing trial findings to a population represented by a complex survey sample.


title: Investigating the gedanken experiment to destroy the event horizon of a regular black hole

abstract: Recently, Li and Bambi proposed a hypothesis that the event horizon of a regular black hole can be destroyed because these objects have no gravitational singularity and therefore they are not protected by the weak cosmic censorship conjecture (WCCC). In this paper, to test their hypothesis, we perform the new version of the gedanken experiments proposed by Sorce and Wald to overcharge a near extremal static electrically regular black hole. After introducing the stability condition of the spacetime and the null energy condition of matter fields, we derive the first-order and second-order perturbation inequalities of the perturbation matter fields based on the Iyer-Wald formalism. As a result, we find that these regular black holes cannot be destroyed under the second-order approximation after these two perturbation inequalities are taken into account, even though they are not protected by the WCCC. Our results indicate that there might be some deeper mechanisms to protect the event horizon of the black holes.


title: Overlapping Schwarz Decomposition for Constrained Quadratic Programs

abstract: We present an overlapping Schwarz decomposition algorithm for constrained quadratic programs (QPs). Schwarz algorithms have been traditionally used to solve linear algebra systems arising from partial differential equations, but we have recently shown that they are also effective at solving structured optimization problems. In the proposed scheme, we consider QPs whose algebraic structure can be represented by graphs. The graph domain is partitioned into overlapping subdomains (yielding a set of coupled subproblems), solutions for the subproblems are computed in parallel, and convergence is enforced by updating primal-dual information in the overlapping regions. We show that convergence is guaranteed if the overlap is sufficiently large and that the convergence rate improves exponentially with the size of the overlap. Convergence results rely on a key property of graph-structured problems that is known as exponential decay of sensitivity. Here, we establish conditions under which this property holds for constrained QPs (as those found in network optimization and optimal control), thus extending existing work that addresses unconstrained QPs. The numerical behavior of the Schwarz scheme is demonstrated by using a DC optimal power flow problem defined over a network with 9,241 nodes.


title: Efficient Two-Sided Markets with Limited Information

abstract: A celebrated impossibility result by Myerson and Satterthwaite (1983) shows that any truthful mechanism for two-sided markets that maximizes social welfare must run a deficit, resulting in a necessity to relax welfare efficiency and the use of approximation mechanisms. Such mechanisms in general make extensive use of the Bayesian priors. In this work, we investigate a question of increasing theoretical and practical importance: how much prior information is required to design mechanisms with near-optimal approximations? Our first contribution is a more general impossibility result stating that no meaningful approximation is possible without any prior information, expanding the famous impossibility result of Myerson and Satterthwaite. Our second contribution is that one {\em single sample} (one number per item), arguably a minimum-possible amount of prior information, from each seller distribution is sufficient for a large class of two-sided markets. We prove matching upper and lower bounds on the best approximation that can be obtained with one single sample for subadditive buyers and additive sellers, regardless of computational considerations. Our third contribution is the design of computationally efficient blackbox reductions that turn any one-sided mechanism into a two-sided mechanism with a small loss in the approximation, while using only one single sample from each seller. On the way, our blackbox-type mechanisms deliver several interesting positive results in their own right, often beating even the state of the art that uses full prior information.


title: Real-time Image Smoothing via Iterative Least Squares

abstract: Edge-preserving image smoothing is a fundamental procedure for many computer vision and graphic applications. There is a tradeoff between the smoothing quality and the processing speed: the high smoothing quality usually requires a high computational cost which leads to the low processing speed. In this paper, we propose a new global optimization based method, named iterative least squares (ILS), for efficient edge-preserving image smoothing. Our approach can produce high-quality results but at a much lower computational cost. Comprehensive experiments demonstrate that the propose method can produce results with little visible artifacts. Moreover, the computation of ILS can be highly parallel, which can be easily accelerated through either multi-thread computing or the GPU hardware. With the acceleration of a GTX 1080 GPU, it is able to process images of 1080p resolution ($1920\times1080$) at the rate of 20fps for color images and 47fps for gray images. In addition, the ILS is flexible and can be modified to handle more applications that require different smoothing properties. Experimental results of several applications show the effectiveness and efficiency of the proposed method. The code is available at \url{https://github.com/wliusjtu/Real-time-Image-Smoothing-via-Iterative-Least-Squares}


title: Hide Secret Information in Blocks: Minimum Distortion Embedding

abstract: In this paper, a new steganographic method is presented that provides minimum distortion in the stego image. The proposed encoding algorithm focuses on DCT rounding error and optimizes that in a way to reduce distortion in the stego image, and the proposed algorithm produces less distortion than existing methods (e.g., F5 algorithm). The proposed method is based on DCT rounding error which helps to lower distortion and higher embedding capacity.


title: Software Design and Development of Attitude Determination and Control Subsystem for SSS-1P

abstract: The Attitude Determination and Control System is one of the critical boards of any satellite, specially the micro-satellites. The ADCS is the bridge linking sensors data to actuators by several computationally complex algorithms such as Extended Kalman Filter, Detumbling and Tumbling controller and so on. In this thesis, I will focus on the implementation of each of the required algorithms and then make a whole integrated package. This thesis focuses on developing the first version of the on-board computer software for ADCS of SSS-1P and required preliminary tests to assure the minimum performance of the provided package with Software-In-the-Loop and Processor-In-the-Loop tests. In this thesis, I will introduce the fundamental dynamic and kinematic non-linear equations. The linearization for a specific prerational condition and the assumptions to achieve the linearization will be introduced. The model will be linearized for a specific operating condition for the design and development of the controllers. The disturbances including atmospheric drag, solar radiation and so on are also introduced with regarding to the operating Altitude (500 ~ 600 km). The brief introduction of different magnetic field models and their differences will be introduced as well. In addition, the SGP4 predictive model to estimate the position and the velocity of the satellite discussed. In addition, the thesis describes the software development phase, some additional algorithms that I implemented but they are not a part of mathematical models, such as system manager, time manager and so on with pseudo code. The architecture of the software is also described in this section. Finally, the numerical simulations are analysed and the simple compression between tests results from PIL, SIL, and MATLAB simulation are presented. This section will presents the validation and the trustworthy of the final package.


title: Multi-label natural language processing to identify diagnosis and procedure codes from MIMIC-III inpatient notes

abstract: In the United States, 25% or greater than 200 billion dollars of hospital spending accounts for administrative costs that involve services for medical coding and billing. With the increasing number of patient records, manual assignment of the codes performed is overwhelming, time-consuming and error-prone, causing billing errors. Natural language processing can automate the extraction of codes/labels from unstructured clinical notes, which can aid human coders to save time, increase productivity, and verify medical coding errors. Our objective is to identify appropriate diagnosis and procedure codes from clinical notes by performing multi-label classification. We used de-identified data of critical care patients from the MIMIC-III database and subset the data to select the ten (top-10) and fifty (top-50) most common diagnoses and procedures, which covers 47.45% and 74.12% of all admissions respectively. We implemented state-of-the-art Bidirectional Encoder Representations from Transformers (BERT) to fine-tune the language model on 80% of the data and validated on the remaining 20%. The model achieved an overall accuracy of 87.08%, an F1 score of 85.82%, and an AUC of 91.76% for top-10 codes. For the top-50 codes, our model achieved an overall accuracy of 93.76%, an F1 score of 92.24%, and AUC of 91%. When compared to previously published research, our model outperforms in predicting codes from the clinical text. We discuss approaches to generalize the knowledge discovery process of our MIMIC-BERT to other clinical notes. This can help human coders to save time, prevent backlogs, and additional costs due to coding errors.


title: On the genera of moment-angle manifolds associated to dual-neighborly polytopes, combinatorial formulas and sequences

abstract: For a family of polytopes of even dimension $2p$, known as \textit{dual-neighborly}, it has been shown for $p\ne 2$ that the associated intersection of quadrics is a connected sum of sphere products $S^p\times S^p$. In this article we give formulas for the number of terms in that connected sum. Certain combinatorial operations produce new polytopes whose associated intersections are also connected sums of sphere products and we give also formulas for their number. These include a large amount of simple polytopes, including many odd-dimensional ones.


title: Tidal and general relativistic effects in rocky planet formation at the substellar mass limit using N-body simulations

abstract: Recent observational results show that very low mass stars and brown dwarfs are able to host close-in rocky planets. Low-mass stars are the most abundant stars in the Galaxy and the formation efficiency of their planetary systems is relevant in the computation of a global probability of finding Earth-like planets inside habitable zones. Tidal forces and relativistic effects are relevant in the latest dynamical evolution of planets around low-mass stars and their effect on the planetary formation efficiency still needs to be addressed. Our goal is to evaluate the impact of tidal forces and relativistic effects on the formation of rocky planets around a star close to the substellar mass limit, in terms of the resulting planetary architectures and its distribution according to the corresponding evolving habitable zone. Thus, we performed a set of $N$-body simulations spanning the first 100~Myr of the evolution of two systems composed respectively by 224 embryos with a total mass 0.25M$_\oplus$ and 74 embryos with a total mass 3 M$_\oplus$ around a central object of 0.08~M$_\odot$. For these two scenarios, we compared the planetary architectures that result from simulations that are purely gravitational with those from simulations that include the early contraction and spin-up of the central object, the distortions and dissipation tidal terms and general relativistic effects. We found that including these effects allows the formation and survival of a close-in population located in the habitable zone of the system. This means that both effects are relevant during the formation of rocky planets and their early evolution around stars close to the substellar mass limit, in particular when low-mass planetary embryos are involved.


title: High-order exceptional points in supersymmetric arrays

abstract: We employ the intertwining operator technique to synthesize a supersymmetric (SUSY) array of arbitrary size $N$. The synthesized SUSY system is equivalent to a spin-$(N-1)/2$ under an effective magnetic field. By considering an additional imaginary magnetic field, we obtain a generalized parity-time-symmetric non-Hermitian Hamiltonian that describes a SUSY array of coupled resonators or waveguides under a gradient gain and loss; all the $N$ energy levels coalesce at an exceptional point (EP), forming the isotropic high-order EP with $N$ states coalescence (EPN). Near the EPN, the scaling exponent of phase rigidity for each eigenstate is $(N-1)/2$; the eigen frequency response to the perturbation $\epsilon$ acting on the resonator or waveguide couplings is $\epsilon^{1/N}$. Our findings reveal the importance of the intertwining operator technique for the spectral engineering and exemplify the practical application in non-Hermitian physics.


title: The Lemmens-Seidel conjecture and forbidden subgraphs

abstract: In this paper we show that the conjecture of Lemmens and Seidel of 1973 for systems of equiangular lines with common angle $\arccos (1/5)$ is true. Our main tool is forbidden subgraphs for smallest Seidel eigenvalue $-5$.


title: Large deviation principle for linear mod 1 transformations

abstract: For $0\le \alpha <1$ and $\beta>2$, we consider a linear mod 1 transformation on a unit interval; $x\mapsto\beta x+\alpha$ (${\rm mod}\ 1$), and prove that it satisfies the level-2 large deviation principle with the unique measure of maximal entropy. For the proof, we use the density of periodic measures and Hofbauer's Markov Diagram.


title: On beta-Plurality Points in Spatial Voting Games

abstract: Let $V$ be a set of $n$ points in $\mathbb{R}^d$, called voters. A point $p\in \mathbb{R}^d$ is a plurality point for $V$ when the following holds: for every $q\in\mathbb{R}^d$ the number of voters closer to $p$ than to $q$ is at least the number of voters closer to $q$ than to $p$. Thus, in a vote where each $v\in V$ votes for the nearest proposal (and voters for which the proposals are at equal distance abstain), proposal $p$ will not lose against any alternative proposal $q$. For most voter sets a plurality point does not exist. We therefore introduce the concept of $\beta$-plurality points, which are defined similarly to regular plurality points except that the distance of each voter to $p$ (but not to $q$) is scaled by a factor $\beta$, for some constant $0<\beta\leq 1$. We investigate the existence and computation of $\beta$-plurality points, and obtain the following. * Define $\beta^*_d := \sup \{ \beta : \text{any finite multiset $V$ in $\mathbb{R}^d$ admits a $\beta$-plurality point} \}$. We prove that $\beta^*_2 = \sqrt{3}/2$, and that $1/\sqrt{d} \leq \beta^*_d \leq \sqrt{3}/2$ for all $d\geq 3$. * Define $\beta(p, V) := \sup \{ \beta : \text{$p$ is a $\beta$-plurality point for $V$}\}$. Given a voter set $V \in \mathbb{R}^2$, we provide an algorithm that runs in $O(n \log n)$ time and computes a point $p$ such that $\beta(p, V) \geq \beta^*_2$. Moreover, for $d\geq 2$ we can compute a point $p$ with $\beta(p,V) \geq 1/\sqrt{d}$ in $O(n)$ time. * Define $\beta(V) := \sup \{ \beta : \text{$V$ admits a $\beta$-plurality point}\}$. We present an algorithm that, given a voter set $V$ in $\mathbb{R}^d$, computes an $(1-\varepsilon)\cdot \beta(V)$ plurality point in time $O(\frac{n^2}{\varepsilon^{3d-2}} \cdot \log \frac{n}{\varepsilon^{d-1}} \cdot \log^2 \frac {1}{\varepsilon})$.


title: Predictively Encoded Graph Convolutional Network for Noise-Robust Skeleton-based Action Recognition

abstract: In skeleton-based action recognition, graph convolutional networks (GCNs), which model human body skeletons using graphical components such as nodes and connections, have achieved remarkable performance recently. However, current state-of-the-art methods for skeleton-based action recognition usually work on the assumption that the completely observed skeletons will be provided. This may be problematic to apply this assumption in real scenarios since there is always a possibility that captured skeletons are incomplete or noisy. In this work, we propose a skeleton-based action recognition method which is robust to noise information of given skeleton features. The key insight of our approach is to train a model by maximizing the mutual information between normal and noisy skeletons using a predictive coding manner. We have conducted comprehensive experiments about skeleton-based action recognition with defected skeletons using NTU-RGB+D and Kinetics-Skeleton datasets. The experimental results demonstrate that our approach achieves outstanding performance when skeleton samples are noised compared with existing state-of-the-art methods.


title: Resonant Decompositions and Global Well-posedness for 2D Zakharov-Kuznetsov Equation in Sobolev spaces of Negative Indices

abstract: The Cauchy problem for Zakharov-Kuznetsov equation on $\mathbb{R}^2$ is shown to be global well-posed for the initial date in $H^{s}$ provided $s>-\frac{1}{13}$. As conservation laws are invalid in Sobolev spaces below $L^2$, we construct an almost conserved quantity using multilinear correction term following the $I$-method introduced by Colliander, Keel, Staffilani, Takaoka and Tao. In contrast to KdV equation, the main difficulty is to handle the resonant interactions which are significant due to the multidimensional and multilinear setting of the problem. The proof relies upon the bilinear Strichartz estimate and the nonlinear Loomis-Whitney inequality.


title: Augmented Parallel-Pyramid Net for Attention Guided Pose-Estimation

abstract: The target of human pose estimation is to determine body part or joint locations of each person from an image. This is a challenging problems with wide applications. To address this issue, this paper proposes an augmented parallel-pyramid net with attention partial module and differentiable auto-data augmentation. Technically, a parallel pyramid structure is proposed to compensate the loss of information. We take the design of parallel structure for reverse compensation. Meanwhile, the overall computational complexity does not increase. We further define an Attention Partial Module (APM) operator to extract weighted features from different scale feature maps generated by the parallel pyramid structure. Compared with refining through upsampling operator, APM can better capture the relationship between channels. At last, we proposed a differentiable auto data augmentation method to further improve estimation accuracy. We define a new pose search space where the sequences of data augmentations are formulated as a trainable and operational CNN component. Experiments corroborate the effectiveness of our proposed method. Notably, our method achieves the top-1 accuracy on the challenging COCO keypoint benchmark and the state-of-the-art results on the MPII datasets.


title: The geometric distribution of Selmer groups of elliptic curves over function fields

abstract: Fix a positive integer $n$ and a finite field $\mathbb F_q$. We study the joint distribution of the rank of $E$, the $n$-Selmer group of $E$, and the $n$-torsion in the Tate-Shafarevich group of $E$ as $E$ varies over elliptic curves of fixed height $d \geq 2$ over $\mathbb F_q(t)$. We compute this joint distribution in the large $q$ limit. We also show that the "large $q$, then large height" limit of this distribution agrees with the one predicted by Bhargava-Kane-Lenstra-Poonen-Rains.


title: A possible mechanism of the lifetime effects of electron pairs at the $SrTiO_3/LaTiO_3$ interface

abstract: The lifetime effects of the electron pairs are supposed to be responsible for the atypical behavior of the single electron transistors manufactured at the strontium titanate/ lanthanum aluminate (STO/LAO) interface. In addition, as shown in Richter's experiments, the energy gap $\Delta$ should persist above the superconducting transition temperature $T_c$. In order to explain the experiments, the present paper attempts to associate the phonon-electron interactions to the mechanism of the formation and decay of the electron pairs. Moreover, through employing the boson fermion model that includes two superconducting mechanisms, we reproduce the step-like $\Delta-T_c$ relations with the energy gap $\Delta$ remaining finite above $T_c$. The results are roughly consistent with the experiments. The newly-introduced models and formalism may be helpful in describing superconductors with lifetime effects and a finite energy gap $\Delta$ above $T_c$.


title: Do black hole shadows merge?

abstract: The so-called black hole shadow is not a silhouette of a black hole but an image of a collapsing object or a white hole. Hence it is non-trivial whether black hole shadows merge with each other when black holes coalesce with each other. In this paper, by analyzing the null geodesic generators of the event horizon in Kastor-Traschen spacetime which describes a coalescence of black boles, we see that observers who will never see a merger of black hole shadows exist.


title: Foundations of Explainable Knowledge-Enabled Systems

abstract: Explainability has been an important goal since the early days of Artificial Intelligence. Several approaches for producing explanations have been developed. However, many of these approaches were tightly coupled with the capabilities of the artificial intelligence systems at the time. With the proliferation of AI-enabled systems in sometimes critical settings, there is a need for them to be explainable to end-users and decision-makers. We present a historical overview of explainable artificial intelligence systems, with a focus on knowledge-enabled systems, spanning the expert systems, cognitive assistants, semantic applications, and machine learning domains. Additionally, borrowing from the strengths of past approaches and identifying gaps needed to make explanations user- and context-focused, we propose new definitions for explanations and explainable knowledge-enabled systems.


title: Energy-Based Processes for Exchangeable Data

abstract: Recently there has been growing interest in modeling sets with exchangeability such as point clouds. A shortcoming of current approaches is that they restrict the cardinality of the sets considered or can only express limited forms of distribution over unobserved data. To overcome these limitations, we introduce Energy-Based Processes (EBPs), which extend energy based models to exchangeable data while allowing neural network parameterizations of the energy function. A key advantage of these models is the ability to express more flexible distributions over sets without restricting their cardinality. We develop an efficient training procedure for EBPs that demonstrates state-of-the-art performance on a variety of tasks such as point cloud generation, classification, denoising, and image completion.


title: On the recursion formulas for the matrix special functions of one and two variables

abstract: Special matrix functions have recently been investigated for regions of convergence, integral representations and the systems of matrix differential equation that these functions satisfy. In this paper, we find the recursion formulas for the Gauss hypergeometric matrix function. We also give the recursion formulas for the two variable Appell matrix functions


title: Directions for Explainable Knowledge-Enabled Systems

abstract: Interest in the field of Explainable Artificial Intelligence has been growing for decades and has accelerated recently. As Artificial Intelligence models have become more complex, and often more opaque, with the incorporation of complex machine learning techniques, explainability has become more critical. Recently, researchers have been investigating and tackling explainability with a user-centric focus, looking for explanations to consider trustworthiness, comprehensibility, explicit provenance, and context-awareness. In this chapter, we leverage our survey of explanation literature in Artificial Intelligence and closely related fields and use these past efforts to generate a set of explanation types that we feel reflect the expanded needs of explanation for today's artificial intelligence applications. We define each type and provide an example question that would motivate the need for this style of explanation. We believe this set of explanation types will help future system designers in their generation and prioritization of requirements and further help generate explanations that are better aligned to users' and situational needs.


title: Data-driven Characterization of Human Interaction for Model-based Control of Powered Prostheses

abstract: This paper proposes a data-driven method for powered prosthesis control that achieves stable walking without the need for additional sensors on the human. The key idea is to extract the nominal gait and the human interaction information from motion capture data, and reconstruct the walking behavior with a dynamic model of the human-prosthesis system. The walking behavior of a human wearing a powered prosthesis is obtained through motion capture, which yields the limb and joint trajectories. Then a nominal trajectory is obtained by solving a gait optimization problem designed to reconstruct the walking behavior observed by motion capture. Moreover, the interaction force profiles between the human and the prosthesis are recovered by simulating the model following the recorded gaits, which are then used to construct a force tube that covers all the interaction force profiles. Finally, a robust Control Lyapunov Function (CLF) Quadratic Programming (QP) controller is designed to guarantee the convergence to the nominal trajectory under all possible interaction forces within the tube. Simulation results show this controller's improved tracking performance with a perturbed force profile compared to other control methods with less model information.


title: Cooperative Object Detection and Parameter Estimation Using Visible Light Communications

abstract: Visible light communication (VLC) systems are promising candidates for future indoor access and peer-to-peer networks. The performance of these systems, however, is vulnerable to the line of sight (LOS) link blockage due to objects inside the room. In this paper, we develop a probabilistic object detection method that takes advantage of the blockage status of the LOS links between the user devices and transceivers on the ceiling to locate those objects. The target objects are modeled as cylinders with random radii. The location and size of an object can be estimated by using a quadratic programming approach. Simulation results show that the root-mean-squared error can be less than $1$ cm and $8$ cm for estimating the center and the radius of the object, respectively.


title: Synthesis of Brain Tumor MR Images for Learning Data Augmentation

abstract: Medical image analysis using deep neural networks has been actively studied. Deep neural networks are trained by learning data. For accurate training of deep neural networks, the learning data should be sufficient, of good quality, and should have a generalized property. However, in medical images, it is difficult to acquire sufficient patient data because of the difficulty of patient recruitment, the burden of annotation of lesions by experts, and the invasion of patients' privacy. In comparison, the medical images of healthy volunteers can be easily acquired. Using healthy brain images, the proposed method synthesizes multi-contrast magnetic resonance images of brain tumors. Because tumors have complex features, the proposed method simplifies them into concentric circles that are easily controllable. Then it converts the concentric circles into various realistic shapes of tumors through deep neural networks. Because numerous healthy brain images are easily available, our method can synthesize a huge number of the brain tumor images with various concentric circles. We performed qualitative and quantitative analysis to assess the usefulness of augmented data from the proposed method. Intuitive and interesting experimental results are available online at https://github.com/KSH0660/BrainTumor


title: Traffic Signal Optimization on a Square Lattice with Quantum Annealing

abstract: The spread of intelligent transportation systems in urban cities has caused heavy computational loads, requiring a novel architecture for managing large-scale traffic. In this study, we develop a method for globally controlling traffic signals arranged on a square lattice by means of a quantum annealing machine, namely the D-Wave quantum annealer. We first formulate a signal optimization problem that minimizes the imbalance of traffic flows in two orthogonal directions. Then we reformulate this problem as an Ising Hamiltonian, which is fully compatible with quantum annealers. The new control method is compared with a conventional local control method for a large 50-by-50 city, and the results exhibit the superiority of our global control method in suppressing traffic imbalance over wide parameter ranges. Furthermore, the solutions to the global control method obtained with the quantum annealing machine are better than those obtained with conventional simulated annealing. In addition, we prove analytically that the local and the global control methods converge at the limit where cars have equal probabilities for turning and going straight. These results are verified with numerical experiments.


title: Infinite summation formulas of Srivastava's general triple hypergeometric function

abstract: In this paper we derive the infinite summation formulas of Srivastava's general triple hypergeometric function. Certain particular cases leading to infinite summation formulas for fourteen Lauricella and three Srivastava\'s triple hypergeometric functions are also presented.


title: Cytology Image Analysis Techniques Towards Automation: Systematically Revisited

abstract: Cytology is the branch of pathology which deals with the microscopic examination of cells for diagnosis of carcinoma or inflammatory conditions. Automation in cytology started in the early 1950s with the aim to reduce manual efforts in diagnosis of cancer. The inflush of intelligent technological units with high computational power and improved specimen collection techniques helped to achieve its technological heights. In the present survey, we focus on such image processing techniques which put steps forward towards the automation of cytology. We take a short tour to 17 types of cytology and explore various segmentation and/or classification techniques which evolved during last three decades boosting the concept of automation in cytology. It is observed, that most of the works are aligned towards three types of cytology: Cervical, Breast and Lung, which are discussed elaborately in this paper. The user-end systems developed during that period are summarized to comprehend the overall growth in the respective domains. To be precise, we discuss the diversity of the state-of-the-art methodologies, their challenges to provide prolific and competent future research directions inbringing the cytology-based commercial systems into the mainstream.


title: Finite summation formulas of generalized Kamp\'e de F\'eriet series

abstract: In the present paper, author obtained finite summation formulas for the generalized Kamp\'e de F\'eriet series. The peculiar outcome for four generalized Lauricella functions and confluent forms of Lauricella series in $n$ variables are also drawn from the finite summation formulas for the generalized Kamp\'e de F\'eriet series.


title: Strong antiferromagnetic interaction owing to a large trigonal distortion in the spin-orbit-coupled honeycomb lattice iridate CdIrO$_3$

abstract: We investigated the magnetic properties of the ilmenite-type iridate CdIrO$_3$ with a honeycomb lattice formed by Ir$^{4+}$ ions prepared via a solid-state metathesis. The magnetization measurements with using the powder sample reveal a large effective magnetic moment and a fairly strong antiferromagnetic interaction, indicating a deviation from the Kitaev model. Considering the relationship between magnetism and crystal structure in CdIrO$_3$ with comparing with the other ilmenite-type iridates ZnIrO$_3$ and MgIrO$_3$, we conclude that insulating CdIrO$_3$ cannot be describe as a $J_{\rm eff} = 1/2$ Mott state owing to a metathetically-stabilized large trigonal distortion of IrO$_6$ octahedra.


title: Some results on the Kamp\'e de Fe\'riet hypergeometric matrix function

abstract: In this paper, we obtain recursion formulas for the Kamp\'e de Fe\'riet hypergeometric matrix function. We also give finite and infinite summation formulas for the Kamp\'e de Fe\'riet hypergeometric matrix function.


title: Spin-transport in superconductors

abstract: Spin-transport in superconductors is a subject of fundamental and technical importance with the potential for applications in superconducting-based cryogenic memory and logic. Research in this area is rapidly intensifying with recent discoveries establishing the field of superconducting spintronics. In this perspective we provide an overview of the experimental state-of-the-art with a particular focus on local and nonlocal spin-transport in superconductors, and propose device schemes to demonstrate the viability of superconducting spin-based devices.


title: Binary LCD Codes and Self-orthogonal Codes via Simplicial Complexes

abstract: Due to some practical applications, linear complementary dual (LCD) codes and self-orthogonal codes have attracted wide attention in recent years. In this paper, we use simplicial complexes for construction of an infinite family of binary LCD codes and two infinite families of binary self-orthogonal codes. Moreover, we explicitly determine the weight distributions of these codes. We obtain binary LCD codes which have minimum weights two or three, and we also find some self-orthogonal codes meeting the Griesmer bound. As examples, we also present some (almost) {\it optimal} binary self-orthogonal codes and LCD {\it distance optimal} codes.


title: Functionalized Carbon Nanotube Electrodes for Controlled DNA Sequencing

abstract: In the last decade, solid state nanopores nanogaps have attracted significant interest in the rapid detection of DNA nucleotides. However, reducing the noise through the controlled translocating of the DNA nucleobases is a central issue for the developing nanogap nanopore based DNA sequencing to achieve single nucleobase resolution. Furthermore, the high reactivity of the graphene pores gaps exhibits clogging of the pore gap, leading to the blockage of the pores gaps, yielding sticking, and irreversible pore closure. To address the prospective of functionalization of carbon nanostructure and for accomplishing this objective, herein, we have studied the performance of functionalized closed end cap carbon nanotube CNT nanogap embedded electrodes which can improve the coupling through nonbonding electrons and may provide the possibility of N and O and H pi interaction with nucleotides, as single stranded DNA is transmigrated across. We have investigated the effect of functionalizing the closed end cap CNT6,6 electrodes with purine adenine, guanine and pyrimidine thymine, cytosine molecules. Weak hydrogen bonds formed between the probe molecule and target DNA nucleobase enhance the electronic coupling and temporarily stabilize the translocating nucleobase against the orientational fluctuations, which may reduce noise in the current signal during experimental measurements. The findings of our density functional theory and non equilibrium Greens function based study indicates that this modeled setup could allow DNA nucleotide sequencing with a better and reliable yield, giving current traces that differ by at least 1 order of current magnitude for all four target nucleotides. Thus, we feel that functionalized CNT nanogap embedded electrodes may be utilized for controlled DNA sequencing.


title: Sequential and Incremental Precoder Design for Joint Transmission Network MIMO Systems with Imperfect Backhaul

abstract: In this paper, we propose a sequential and incremental precoder design for downlink joint transmission (JT) network MIMO systems with imperfect backhaul links. The objective of our design is to minimize the maximum of the sub-stream mean square errors (MSE), which dominates the average bit error rate (BER) performance of the system. In the proposed scheme,we first optimize the precoder at the serving base station (BS), and then sequentially optimize the precoders of non-serving BSs in the JT set according to the descending order of their probabilities of participating in JT. The BS-wise sequential optimization process can improve the system performance when some BSs have to temporarily quit the JT operations because of poor instant backhaul conditions. Besides, the precoder of an additional BS is derived in an incremental way, i.e., the sequentially optimized precoders of previous BSs are fixed, thus the additional precoder plays an incremental part in the multi-BS JT operations. An iterative algorithm is designed to jointly optimize the sub-stream precoder and sub-stream power allocation for each additional BS in the proposed sequential and incremental optimization scheme. Simulations show that, under the practical backhaul link conditions, our scheme significantly outperforms the autonomous global precoding (AGP) scheme in terms of BER performance.


title: Leakage-Based Robust Beamforming for Multi-Antenna Broadcast System with Per-Antenna Power Constraints and Quantized CDI

abstract: In this paper, we investigate the robust beamforming schemes for a multi-user multiple-input-single-output (MU-MISO) system with per-antenna power constraints and quantized channel direction information (CDI) feedback. Our design objective is to maximize the expectation of the weighted sum-rate performance by means of controlling the interference leakage and properly allocating the power among user equipments (UEs).First, we prove the optimality of the non-robust zero-forcing (ZF) beamforming scheme in the sense of generating the minimum amount of average inter-UE interference under quantized CDI. Then we derive closed-form expressions of the cumulative density function (CDF) of the interference leakage power for the non-robust ZF beamforming scheme, based on which we adjust the leakage thresholds and propose two robust beamforming schemes under per-antenna power constraints with an iterative process to update the per-UE power allocations using the geometric programming (GP). Simulation results show the superiority of the proposed robust beamforming schemes compared with the existing schemes in terms of the average weighted sum-rate performance.


title: MMSE Based Greedy Antenna Selection Scheme for AF MIMO Relay Systems

abstract: We propose a greedy minimum mean squared error (MMSE)-based antenna selection algorithm for amplify-and-forward (AF) multiple-input multiple-output (MIMO) relay systems. Assuming equal-power allocation across the multi-stream data, we derive a closed form expression for the mean squared error (MSE) resulted from adding each additional antenna pair. Based on this result, we iteratively select the antenna-pairs at the relay nodes to minimize the MSE. Simulation results show that our algorithm greatly outperforms the existing schemes.


title: Extreme bright coherent synchrotron radiation produced in a low emittance electron storage ring by the angular dispersion induced microbunching scheme

abstract: Generation of extreme bright coherent synchrotron radiation in a short wavelength range is of remarkable interest in the synchrotron light source community. In this paper, a novel technique is adopted to produce the coherent radiation which uses an angular dispersion to enhance the micro-bunch by a tiny amplitude of energy modulation. This scheme can be inserted in a long straight section of a storage ring. A lattice design of an extreme-low emittance storage ring with 3.5 GeV energy is presented in this paper, which employs a higher order achromat (HOA) concept. We show the design results for the multi-bend achromat (MBA) lattice with an emittance of 20 pm-rad in about 900-meter circumference. Numerical simulations demonstrated that this angular dispersion induced micro-bunch scheme can be used to generate coherent radiation near soft x-ray region, the repetition rate can reach 10 kHz and the spectral brightness can reach 3*10^24phs/s/mm^2/mrad^2/0.1%BW.


title: Revisiting the Sibling Head in Object Detector

abstract: The ``shared head for classification and localization'' (sibling head), firstly denominated in Fast RCNN~\cite{girshick2015fast}, has been leading the fashion of the object detection community in the past five years. This paper provides the observation that the spatial misalignment between the two object functions in the sibling head can considerably hurt the training process, but this misalignment can be resolved by a very simple operator called task-aware spatial disentanglement (TSD). Considering the classification and regression, TSD decouples them from the spatial dimension by generating two disentangled proposals for them, which are estimated by the shared proposal. This is inspired by the natural insight that for one instance, the features in some salient area may have rich information for classification while these around the boundary may be good at bounding box regression. Surprisingly, this simple design can boost all backbones and models on both MS COCO and Google OpenImage consistently by ~3% mAP. Further, we propose a progressive constraint to enlarge the performance margin between the disentangled and the shared proposals, and gain ~1% more mAP. We show the \algname{} breaks through the upper bound of nowadays single-model detector by a large margin (mAP 49.4 with ResNet-101, 51.2 with SENet154), and is the core model of our 1st place solution on the Google OpenImage Challenge 2019.


title: On the anti-Ramsey numbers of linear forests

abstract: For a fixed graph $F$, the $\textit{anti-Ramsey number}$, $AR(n,F)$, is the maximum number of colors in an edge-coloring of $K_n$ which does not contain a rainbow copy of $F$. In this paper, we determine the exact value of anti-Ramsey numbers of linear forests for sufficiently large $n$, and show the extremal edge-colored graphs. This answers a question of Fang, Gy\H{o}ri, Lu and Xiao.


title: Two-neutron halo structure of $^{31}$F

abstract: We apply the Gamow shell model to study $^{25-31}$F isotopes. As both inter-nucleon correlations and continuum coupling are properly treated therein, the structure shape of $^{31}$F at large distance can be analyzed precisely. For this, one-nucleon densities, root-mean square radii and correlation densities are calculated in neutron-rich fluorine isotopes. It is then suggested that $^{31}$F exhibits a two-neutron halo structure, built from both continuum coupling and nucleon-nucleon correlations.


title: KPNet: Towards Minimal Face Detector

abstract: The small receptive field and capacity of minimal neural networks limit their performance when using them to be the backbone of detectors. In this work, we find that the appearance feature of a generic face is discriminative enough for a tiny and shallow neural network to verify from the background. And the essential barriers behind us are 1) the vague definition of the face bounding box and 2) tricky design of anchor-boxes or receptive field. Unlike most top-down methods for joint face detection and alignment, the proposed KPNet detects small facial keypoints instead of the whole face by in a bottom-up manner. It first predicts the facial landmarks from a low-resolution image via the well-designed fine-grained scale approximation and scale adaptive soft-argmax operator. Finally, the precise face bounding boxes, no matter how we define it, can be inferred from the keypoints. Without any complex head architecture or meticulous network designing, the KPNet achieves state-of-the-art accuracy on generic face detection and alignment benchmarks with only $\sim1M$ parameters, which runs at 1000fps on GPU and is easy to perform real-time on most modern front-end chips.


title: Deep Attention Fusion Feature for Speech Separation with End-to-End Post-filter Method

abstract: In this paper, we propose an end-to-end post-filter method with deep attention fusion features for monaural speaker-independent speech separation. At first, a time-frequency domain speech separation method is applied as the pre-separation stage. The aim of pre-separation stage is to separate the mixture preliminarily. Although this stage can separate the mixture, it still contains the residual interference. In order to enhance the pre-separated speech and improve the separation performance further, the end-to-end post-filter (E2EPF) with deep attention fusion features is proposed. The E2EPF can make full use of the prior knowledge of the pre-separated speech, which contributes to speech separation. It is a fully convolutional speech separation network and uses the waveform as the input features. Firstly, the 1-D convolutional layer is utilized to extract the deep representation features for the mixture and pre-separated signals in the time domain. Secondly, to pay more attention to the outputs of the pre-separation stage, an attention module is applied to acquire deep attention fusion features, which are extracted by computing the similarity between the mixture and the pre-separated speech. These deep attention fusion features are conducive to reduce the interference and enhance the pre-separated speech. Finally, these features are sent to the post-filter to estimate each target signals. Experimental results on the WSJ0-2mix dataset show that the proposed method outperforms the state-of-the-art speech separation method. Compared with the pre-separation method, our proposed method can acquire 64.1%, 60.2%, 25.6% and 7.5% relative improvements in scale-invariant source-to-noise ratio (SI-SNR), the signal-to-distortion ratio (SDR), the perceptual evaluation of speech quality (PESQ) and the short-time objective intelligibility (STOI) measures, respectively.


title: Interpretable Personalization via Policy Learning with Linear Decision Boundaries

abstract: With the rise of the digital economy and an explosion of available information about consumers, effective personalization of goods and services has become a core business focus for companies to improve revenues and maintain a competitive edge. This paper studies the personalization problem through the lens of policy learning, where the goal is to learn a decision-making rule (a policy) that maps from consumer and product characteristics (features) to recommendations (actions) in order to optimize outcomes (rewards). We focus on using available historical data for offline learning with unknown data collection procedures, where a key challenge is the non-random assignment of recommendations. Moreover, in many business and medical applications, interpretability of a policy is essential. We study the class of policies with linear decision boundaries to ensure interpretability, and propose learning algorithms using tools from causal inference to address unbalanced treatments. We study several optimization schemes to solve the associated non-convex, non-smooth optimization problem, and find that a Bayesian optimization algorithm is effective. We test our algorithm with extensive simulation studies and apply it to an anonymized online marketplace customer purchase dataset, where the learned policy outputs a personalized discount recommendation based on customer and product features in order to maximize gross merchandise value (GMV) for sellers. Our learned policy improves upon the platform's baseline by 88.2\% in net sales revenue, while also providing informative insights on which features are important for the decision-making process. Our findings suggest that our proposed policy learning framework using tools from causal inference and Bayesian optimization provides a promising practical approach to interpretable personalization across a wide range of applications.


title: The physical and mechanical properties of hafnium orthosilicate: experiments and first-principles calculations

abstract: Hafnium orthosilicate (HfSiO4: hafnon) has been proposed as an environmental barrier coating (EBC) material to protect silicon coated, silicon-based ceramic materials at high temperatures and as a candidate dielectric material in microelectronic devices. It can naturally form at the interface between silicon dioxide (SiO2) and hafnia (HfO2). When used in these applications, its coefficient of thermal expansion (CTE) should match that of silicon and SiC composites to reduce the stored elastic strain energy, and thus risk of failure of these systems. The physical, mechanical, thermodynamic and thermal transport properties of hafnon have been investigated using a combination of both density functional theory (DFT) calculations and experimental assessments. The average linear coefficient of thermal expansion (CTE) calculated using the quasi-harmonic approximation increase from 3.06 10-6 K-1 to 6.36 10-6 K-1, as the temperature increases from 300 to 1500 K, in agreement with both X-ray diffraction lattice parameter and dilatometry measurements. The predicted thermal conductivity from Boltzmann transport theory was approximately 18 W/m.K at 300K. Both hot disk and laser flash measurements gave a thermal conductivity of 13.3 W/m.K. This slightly lower value is indicative of residual disorder in the experimental samples that was absent in the theoretical analysis. First-principles calculations and nanoindentation techniques were used to assess the ambient temperature elastic constants and bulk modulus respectively. The elastic properties obtained by both approaches agreed to within 5% validating the computational approach and its future use for study of the thermomechanical properties of other oxides or silicates.


title: Dynamics of a viscoelastic liquid filament connected to two mobile droplets

abstract: A filament of liquid is usually unstable and breaks up into small droplets, while a filament of polymer solution is known to be quite stable against such instability, and they form a stable configuration of filament connecting two spherical droplets. If the droplets are fixed in space, the liquid flows from the filament region to the droplet region to reduce the surface energy and the filament gets thinner. If the whole liquid is placed in another viscous fluid, the droplets approach each other, and the filament can get thicker. Here we study the dynamics of such system. We derive time evolution equations for the radius and the length of the filament taking into account the fluid flux from filament to droplets and the motion of the droplets. We will show that (a) if the centers of the droplets are fixed, the filament thins following the classical prediction of Entov and Hinch, and that (b) if the droplets are mobile (subject to the Stokes drag in the viscous medium), the thinning of the filament is suppressed, and under certain conditions, the filament thickens. This theory explains the phenomena observed by Yang and Xu [Phys. Fluids 20, 043101 (2008)] in four-roller mill device.


title: Machine-learning-based reduced order modeling for unsteady flows around bluff bodies of various shapes

abstract: We propose a method to construct a reduced order model with machine learning for unsteady flows. The present machine-learned reduced order model (ML-ROM) is constructed by combining a convolutional neural network autoencoder (CNN-AE) and a long short-term memory (LSTM), which are trained in a sequential manner. First, the CNN-AE is trained using direct numerical simulation (DNS) data so as to map the high-dimensional flow data into low-dimensional latent space. Then, the LSTM is utilized to establish a temporal prediction system for the low-dimensionalized vectors obtained by CNN-AE. As a test case, we consider flows around a bluff body whose shape is defined using a combination of trigonometric functions with random amplitudes. The present ML-ROMs are trained on a set of 80 bluff body shapes and tested on a different set of 20 bluff body shapes not used for training, with both training and test shapes chosen from the same random distribution. The flow fields are confirmed to be well reproduced by the present ML-ROM in terms of various statistics. We also focus on the influence of two main parameters: (1) the latent vector size in the CNN-AE, and (2) the time step size between the mapped vectors used for the LSTM. The present results show that the ML-ROM works well even for unseen shapes of bluff bodies when these parameters are properly chosen, which implies great potential for the present type of ML-ROM to be applied to more complex flows


title: A Monotonic Optimization Approach for Solving Strictly Quasiconvex Multiobjective Programming Problems

abstract: In this article, we use the monotonic optimization approach to propose an outcome-space outer approximation by copolyblocks for solving strictly quasiconvex multiobjective programming problems and especially in the case that the objective functions are nonlinear fractional. After the algorithm is terminated, with any given tolerance, we obtain an approximation of the weakly efficient solution set, that contains the whole weakly efficient solution set of the problem. The algorithm is proved to be convergent and it is suitable to be implemented in parallel using standard convex programming tools. Some computational experiments are reported to show the accuracy and efficiency of the proposed algorithm.


title: Deep learning for thermal plasma simulation: solving 1-D arc model as an example

abstract: Numerical modelling is an essential approach to understanding the behavior of thermal plasmas in various industrial applications. We propose a deep learning method for solving the partial differential equations in thermal plasma models. In this method a deep feed-forward neural network is constructed to surrogate the solution of the model. A loss function is designed to measure the discrepancy between the neural network and the equations describing thermal plasmas. A good neural network is obtained by minimizing this loss function. We demonstrate the power of this deep learning method by solving a 1-D arc decaying model which is consist of three cases: stationary arc, transient arc without considering radial velocity, and transient arc with radial velocity respectively. The results show that the deep neural networks have excellent ability to express the differential equations describing thermal plasmas. This could bring us a new and prospective numerical tool for thermal plasma modelling.


title: Mixing rates for symplectic almost Anosov maps

abstract: We establish sharp bounds on the mixing rates of a class of two dimensional non-uniformly hyperbolic symplectic maps. This provides a primer on how to investigate such questions in a concrete example and, at the same time, it solves a controversy between previous rigorous results and numerical experiments.


title: Local String Compactifications from Matrix Model

abstract: Matrix models are proposed as nonperturbative formulations of superstring theory. We study a concrete correspondence of the analytical result between the matrix model and the field theory. In this paper, we focus on a fuzzy sphere and a complex projective space. We show a wave functions/states correspondence of the zero modes of the Dirac operators under the 't Hooft-Polyakov monopole background on the continuous/fuzzy sphere. In addition, we propose a Laplacian for a scalar sector of the matrix model and obtain a concrete construction of it.


title: Modeling and Detailed Numerical Simulation of the Primary Breakup of a Gasoline Surrogate Jet under Non-Evaporative Operating Conditions

abstract: In the present study, detailed numerical simulations are performed to investigate the primary breakup of a gasoline surrogate jet under non-evaporative "Spray G" operating conditions. The Spray G injector and operating conditions, developed by the Engine Combustion Network (ECN), represent the early phase of spray-guided gasoline injection. To focus the computational resources on resolving the primary breakup, simplifications have been made on the injector geometry. The effect of the internal flow on the primary breakup is modeled by specifying a nonzero injection angle at the inlet. The nonzero injection angle results in an increase of the jet penetration speed and also a deflection of the liquid jet. A parametric study on the injection angle is performed, and the numerical results are compared to the experimental data to identify the injection angle that best represents the Spray G conditions. The nonzero injection angle introduces an azimuthally non-uniform velocity in the liquid jet, which in turn influences the instability development on the jet surfaces and also the deformation and breakup of the jet head. The asymmetric primary breakup dynamics eventually lead to an azimuthal variation of droplet size distributions. The number of droplets varies significantly with the azimuthal angle, but interestingly, the probability density functions (PDF) of droplet size for different azimuthal angles collapse to a self-similar profile. Analysis has also been conducted to estimate the percentage and statistics of the tiny droplets that are under resolved in the present simulation. The PDF of the azimuthal angle is also presented, which is also shown to exhibit a self-similar form that varies little over time. Finally, a model is developed to predict the droplet number as a function of droplet diameter, azimuthal angle where a droplet is located, and time.


title: A Unified View of Label Shift Estimation

abstract: Under label shift, the label distribution p(y) might change but the class-conditional distributions p(x|y) do not. There are two dominant approaches for estimating the label marginal. BBSE, a moment-matching approach based on confusion matrices, is provably consistent and provides interpretable error bounds. However, a maximum likelihood estimation approach, which we call MLLS, dominates empirically. In this paper, we present a unified view of the two methods and the first theoretical characterization of MLLS. Our contributions include (i) consistency conditions for MLLS, which include calibration of the classifier and a confusion matrix invertibility condition that BBSE also requires; (ii) a unified framework, casting BBSE as roughly equivalent to MLLS for a particular choice of calibration method; and (iii) a decomposition of MLLS's finite-sample error into terms reflecting miscalibration and estimation error. Our analysis attributes BBSE's statistical inefficiency to a loss of information due to coarse calibration. Experiments on synthetic data, MNIST, and CIFAR10 support our findings.


title: Sparse Resource Allocation for Control of Spreading Processes via Convex Optimization

abstract: In this letter we propose a method for sparse allocation of resources to control spreading processes -- such as epidemics and wildfires -- using convex optimization, in particular exponential cone programming. Sparsity of allocation has advantages in situations where resources cannot easily be distributed over a large area. In addition, we introduce a model of risk to optimize the product of the likelihood and the future impact of an outbreak. We demonstrate with a simplified wildfire example that our method can provide more targeted resource allocation compared to previous approaches based on geometric programming.


title: Odd-parity spin-loop-current order mediated by transverse spin fluctuations in cuprates and related electron systems

abstract: Unconventional symmetry-breaking phenomena due to nontrivial order parameters attract increasing attention in strongly correlated electron systems. Here, we predict theoretically the occurrence of nanoscale spontaneous spin-current, called the spin loop-current (sLC) order, as a promising origin of the pseudogap and electronic nematicity in cuprates. We reveal that the sLC is driven by the odd-parity electron-hole condensation that are mediated by transverse spin fluctuations around the pseudogap temperature $T^*$. At the same temperature, odd-parity magnon pair condensation occurs. The sLC order is "hidden" in that neither internal magnetic field nor charge density modulation is induced, whereas the predicted sLC with finite wavenumber naturally gives the Fermi arc structure. In addition, the fluctuations of sLC order work as attractive pairing interaction between adjacent hot spots, which enlarges the d-wave superconducting transition temperature $T_c$. The sLC state will be a key ingredient in understanding the pseudogap, electronic nematicity as well as superconductivity in cuprates and other strongly correlated metals.