title: Complex Relations in a Deep Structured Prediction Model for Fine Image Segmentation

abstract: Many deep learning architectures for semantic segmentation involve a Fully Convolutional Neural Network (FCN) followed by a Conditional Random Field (CRF) to carry out inference over an image. These models typically involve unary potentials based on local appearance features computed by FCNs, and binary potentials based on the displacement between pixels. We show that while current methods succeed in segmenting whole objects, they perform poorly in situations involving a large number of object parts. We therefore suggest incorporating into the inference algorithm additional higher-order potentials inspired by the way humans identify and localize parts. We incorporate two relations that were shown to be useful to human object identification - containment and attachment - into the energy term of the CRF and evaluate their performance on the Pascal VOC Parts dataset. Our experimental results show that the segmentation of fine parts is positively affected by the addition of these two relations, and that the segmentation of fine parts can be further influenced by complex structural features.


title: On the SINR Distribution of SWIPT MU-MIMO with Antenna Selection

abstract: In this paper, we provide a closed-form approximation of the Full-duplex Simultaneous wireless information and power transfer (SWIPT) multi-user MIMO (MU-MIMO) system signal-to-interference-and-noise ratio (SINR) distribution for the received signal at the sensor users with perfect and imperfect channel state information (CSI) and transmit antenna selection scheme at the transmitter. We also studied the SINR distribution of the uplink with Zero-Forcing beamforming (ZFBF) and antenna selection at the aggregator (AGG) receiver with transmit antenna selection. The downlink SINR with perfect and imperfect CSI is modeled by a multivariate Beta type II distribution and the uplink with perfect and imperfect CSI is modeled with multivariate Wishart distributions. We compared the proposed distributions analytical results to the Monte-Carlo simulations and we obtained a perfect match.


title: Simple and practical algorithms for $\ell_p$-norm low-rank approximation

abstract: We propose practical algorithms for entrywise $\ell_p$-norm low-rank approximation, for $p = 1$ or $p = \infty$. The proposed framework, which is non-convex and gradient-based, is easy to implement and typically attains better approximations, faster, than state of the art. From a theoretical standpoint, we show that the proposed scheme can attain $(1 + \varepsilon)$-OPT approximations. Our algorithms are not hyperparameter-free: they achieve the desiderata only assuming algorithm's hyperparameters are known a priori---or are at least approximable. I.e., our theory indicates what problem quantities need to be known, in order to get a good solution within polynomial time, and does not contradict to recent inapproximabilty results, as in [46].

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


title: Energy Efficient Delay Sensitive Optimization in SWIPT-MIMO

abstract: In this paper, we consider joint antenna selection and optimal beamforming for energy efficient delay minimization. We assume multiple-input multi-output (MIMO) system with full duplex simultaneous wireless information and power transfer (FD-SWIPT) where each sensor is equipped with a power splitting (PS) system and can simultaneously receive both energy and information from the aggregator (AGG). We show that the antenna selection and beamforming power control policies are adaptive to the energy state information (ESI), the queue state information (QSI) and the channel state information (CSI). We develop an analytical framework for energy efficient delay-optimal control problem based on the theory of infinite horizon partially observable Markov decision process (POMDP). The infinite-horizon POMDP problem is transformed into an equivalent value Bellman program and solved by near-optimal point-based Heuristic Search Value Iteration (PB-HSVI) method under specific standard conditions. The proposed solution outcome is a set of sub-optimal antenna selection and beamforming control policies. Simulation results reveal an effective trade-off between the contradictory objectives (i.e. delay and power consumption) and show the enhancement in delay by using FD-SWIPT systems in comparison to Half Duplex (HD)-SWIPT systems.


title: Diffusion-induced spatio-temporal oscillations in an epidemic model with two delays

abstract: We investigate a diffusive, stage-structured epidemic model with the maturation delay and freely-moving delay. Choosing delays and diffusive rates as bifurcation parameters, the only possible way to destabilize the endemic equilibrium is through Hopf bifurcation. The normal forms of Hopf bifurcations on the center manifold are calculated, and explicit formulae determining the criticality of bifurcations are derived. There are two different kinds of stable oscillations near the first bifurcation: on one hand, we theoretically prove that when the diffusion rate of infected immature individuals is sufficiently small or sufficiently large, the first branch of Hopf bifurcating solutions is always spatially homogeneous; on the other, fixing this diffusion rate at an appropriate size, stable oscillations with different spatial profiles are observed, and the conditions to guarantee the existence of such solutions are given. These phenomena are investigated by calculating the corresponding eigenfunction of the Laplacian at the first Hopf bifurcation point.


title: Log-Sobolev-type inequalities for solutions to stationary Fokker-Planck-Kolmogorov equations

abstract: We prove that every probability measure $\mu$ satisfying the stationary Fokker-Planck-Kolmogorov equation obtained by a $\mu$-integrable perturbation $v$ of the drift term $-x$ of the Ornstein-Uhlenbeck operator is absolutely continuous with respect to the corresponding Gaussian measure $\gamma$ and for the density $f=d\mu/d\gamma$ the integral of $f |\log (f+1)|^\alpha$ against $\gamma$ is estimated via $\|v\|_{L^1(\mu)}$ for all $\alpha<1/4$, which is a weakened $L^1$-analog of the logarithmic Sobolev inequality. This means that stationary measures of diffusions whose drifts are integrable perturbations of $-x$ are absolutely continuous with respect to Gaussian measures.


title: Bayesian predictive densities as an interpretation of a class of Skew--Student $t$ distributions with application to medical data

abstract: This paper describes a new Bayesian interpretation of a class of skew--Student $t$ distributions. We consider a hierarchical normal model with unknown covariance matrix and show that by imposing different restrictions on the parameter space, corresponding Bayes predictive density estimators under Kullback-Leibler loss function embrace some well-known skew--Student $t$ distributions. We show that obtained estimators perform better in terms of frequentist risk function over regular Bayes predictive density estimators. We apply our proposed methods to estimate future densities of medical data: the leg-length discrepancy and effect of exercise on the age at which a child starts to walk.


title: Local structure of multi-dimensional martingale optimal transport

abstract: This paper analyzes the support of the conditional distribution of optimal martingale transport plans in higher dimension. In the context of a distance coupling in dimension larger than 2, previous results established by Ghoussoub, Kim & Lim show that this conditional transport is concentrated on its own Choquet boundary. Moreover, when the target measure is atomic, they prove that the support is concentrated on d+1 points, and conjecture that this result is valid for arbitrary target measure. We provide a structure result of the support of the conditional optimal transport for general Lipschitz couplings. Using tools from algebraic geometry, we provide sufficient conditions for finiteness of this conditional support, together with (optimal) lower bounds on the maximal cardinality for a given coupling function. More results are obtained for specific examples of coupling functions based on distance functions. In particular, we show that the above conjecture of Ghoussoub, Kim & Lim is not valid beyond the context of atomic target distributions.


title: Taming Convergence for Asynchronous Stochastic Gradient Descent with Unbounded Delay in Non-Convex Learning

abstract: Understanding the convergence performance of asynchronous stochastic gradient descent method (Async-SGD) has received increasing attention in recent years due to their foundational role in machine learning. To date, however, most of the existing works are restricted to either bounded gradient delays or convex settings. In this paper, we focus on Async-SGD and its variant Async-SGDI (which uses increasing batch size) for non-convex optimization problems with unbounded gradient delays. We prove $o(1/\sqrt{k})$ convergence rate for Async-SGD and $o(1/k)$ for Async-SGDI. Also, a unifying sufficient condition for Async-SGD's convergence is established, which includes two major gradient delay models in the literature as special cases and yields a new delay model not considered thus far.


title: 160 ps Yb:YAG/Cr:YAG microchip laser

abstract: By cryogenically cooling the Yb:YAG/Cr:YAG medium, one can break through the damage limit of Yb:YAG/Cr:YAG passively Q-switched microchip lasers at room temperature and thus achieve a shorter minimum pulse duration. In the proof of principle experiment we carried out, a 160.6 ps pulse duration was obtained. To the best of our knowledge, this is the first realization of sub-200 ps pulse operation for an Yb:YAG/Cr:YAG microchip laser


title: Dipolar-Octupolar Ising Antiferromagnetism in Sm$_2$Ti$_2$O$_7$: A Moment Fragmentation Candidate

abstract: Over the past two decades, the magnetic ground states of all rare earth titanate pyrochlores have been extensively studied, with the exception of Sm$_2$Ti$_2$O$_7$. This is, in large part, due to the very high absorption cross-section of naturally-occurring samarium, which renders neutron scattering infeasible. To combat this, we have grown a large, isotopically-enriched single crystal of Sm$_2$Ti$_2$O$_7$. Using inelastic neutron scattering, we determine that the crystal field ground state for Sm$^{3+}$ is a dipolar-octupolar doublet with Ising anisotropy. Neutron diffraction experiments reveal that Sm$_2$Ti$_2$O$_7$ orders into the all-in, all-out magnetic structure with an ordered moment of 0.44(7) $\mu_B$ below $T_N=0.35$ K, consistent with expectations for antiferromagnetically-coupled Ising spins on the pyrochlore lattice. Zero-field muon spin relaxation measurements reveal an absence of spontaneous oscillations and persistent spin fluctuations down to 0.03 K. The combination of the dipolar-octupolar nature of the Sm$^{3+}$ moment, the all-in, all-out ordered state, and the low-temperature persistent spin dynamics make this material an intriguing candidate for moment fragmentation physics.


title: Deploy Large-Scale Deep Neural Networks in Resource Constrained IoT Devices with Local Quantization Region

abstract: Implementing large-scale deep neural networks with high computational complexity on low-cost IoT devices may inevitably be constrained by limited computation resource, making the devices hard to respond in real-time. This disjunction makes the state-of-art deep learning algorithms, i.e. CNN (Convolutional Neural Networks), incompatible with IoT world. We present a low-bit (range from 8-bit to 1-bit) scheme with our local quantization region algorithm. We use models in Caffe model zoo as our example tasks to evaluate the effect of our low precision data representation scheme. With the available of local quantization region, we find implementations on top of those schemes could greatly retain the model accuracy, besides the reduction of computational complexity. For example, our 8-bit scheme has no drops on top-1 and top-5 accuracy with 2x speedup on Intel Edison IoT platform. Implementations based on our 4-bit, 2-bit or 1-bit scheme are also applicable to IoT devices with advances of low computational complexity. For example, the drop on our task is only 0.7% when using 2-bit scheme, a scheme which could largely save transistors. Making low-bit scheme usable here opens a new door for further optimization on commodity IoT controller, i.e. extra speed-up could be achieved by replacing multiply-accumulate operations with the proposed table look-up operations. The whole study offers a new approach to relief the challenge of bring advanced deep learning algorithm to resource constrained low-cost IoT device.


title: VisualBackProp for learning using privileged information with CNNs

abstract: In many machine learning applications, from medical diagnostics to autonomous driving, the availability of prior knowledge can be used to improve the predictive performance of learning algorithms and incorporate `physical,' `domain knowledge,' or `common sense' concepts into training of machine learning systems as well as verify constraints/properties of the systems. We explore the learning using privileged information paradigm and show how to incorporate the privileged information, such as segmentation mask available along with the classification label of each example, into the training stage of convolutional neural networks. This is done by augmenting the CNN model with an architectural component that effectively focuses model's attention on the desired region of the input image during the training process and that is transparent to the network's label prediction mechanism at testing. This component effectively corresponds to the visualization strategy for identifying the parts of the input, often referred to as visualization mask, that most contribute to the prediction, yet uses this strategy in reverse to the classical setting in order to enforce the desired visualization mask instead. We verify our proposed algorithms through exhaustive experiments on benchmark ImageNet and PASCAL VOC data sets and achieve improvements in the performance of $2.4\%$ and $2.7\%$ over standard single-supervision model training. Finally, we confirm the effectiveness of our approach on skin lesion classification problem.


title: Nodal Sets and Doubling Conditions in Elliptic Homogenization

abstract: This paper is concerned with uniform measure estimates for nodal sets of solutions in elliptic homogenization. We consider a family of second-order elliptic operators $\{ \mathcal{L}_\e\}$ in divergence form with rapidly oscillating and periodic coefficients. We show that the $(d-1)$-dimensional Hausdorff measures of the nodal sets of solutions to $\mathcal{L}_\e (u_\e)=0$ in a ball in $\R^d$ are bounded uniformly in $\e>0$. The proof relies on a uniform doubling condition and approximation of $u_\e$ by solutions of the homogenized equation.


title: Hierarchical Clustering with Structural Constraints

abstract: Hierarchical clustering is a popular unsupervised data analysis method. For many real-world applications, we would like to exploit prior information about the data that imposes constraints on the clustering hierarchy, and is not captured by the set of features available to the algorithm. This gives rise to the problem of "hierarchical clustering with structural constraints". Structural constraints pose major challenges for bottom-up approaches like average/single linkage and even though they can be naturally incorporated into top-down divisive algorithms, no formal guarantees exist on the quality of their output. In this paper, we provide provable approximation guarantees for two simple top-down algorithms, using a recently introduced optimization viewpoint of hierarchical clustering with pairwise similarity information [Dasgupta, 2016]. We show how to find good solutions even in the presence of conflicting prior information, by formulating a constraint-based regularization of the objective. We further explore a variation of this objective for dissimilarity information [Cohen-Addad et al., 2018] and improve upon current techniques. Finally, we demonstrate our approach on a real dataset for the taxonomy application.


title: The Role of Tensor Force in Heavy-Ion Fusion Dynamics

abstract: The tensor force is implemented into the time-dependent Hartree-Fock (TDHF) theory so that both exotic and stable collision partners, as well as their dynamics in heavy-ion fusion, can be described microscopically. The role of tensor force on fusion dynamics is systematically investigated for $^{40}\mathrm{Ca}+\mathrm{^{40}Ca}$, $^{40}\mathrm{Ca}+\mathrm{^{48}Ca}$, $^{48}\mathrm{Ca}+\mathrm{^{48}Ca}$, $^{48}\mathrm{Ca}+\mathrm{^{56}Ni}$, and $^{56}\mathrm{Ni}+\mathrm{^{56}Ni}$ reactions which vary by the total number of spin-unsaturated magic numbers in target and projectile. A notable effect on fusion barriers and cross sections is observed by the inclusion of tensor force. The origin of this effect is analyzed. The influence of isoscalar and isovector tensor terms is investigated with the T$IJ$ forces. These effects of tensor force in fusion dynamics are essentially attributed to the shift of low-lying vibration states of colliding partners and nucleon transfer in the asymmetric reactions. Our calculations of above-barrier fusion cross sections also show that tensor force does not significantly affect the dynamical dissipation at near-barrier energies.


title: Topological Insulator-Based van der Waals Heterostructures for Effective Control of Massless and Massive Dirac Fermions

abstract: Three dimensional (3D) topological insulators (TIs) are an important class of materials with applications in electronics, spintronics and quantum computing. With the recent development of truly bulk insulating 3D TIs, it has become possible to realize surface dominated phenomena in electrical transport measurements e.g. the quantum Hall (QH) effect of massless Dirac fermions in topological surface states (TSS). However, to realize more advanced devices and phenomena, there is a need for a platform to tune the TSS or modify them e.g. gap them by proximity with magnetic insulators, in a clean manner. Here we introduce van der Waals (vdW) heterostructures in the form of topological insulator/insulator/graphite to effectively control chemical potential of the TSS. Two types of gate dielectrics, normal insulator hexagonal boron nitride (hBN) and ferromagnetic insulator Cr2Ge2Te6 (CGT) are utilized to tune charge density of TSS in the quaternary TI BiSbTeSe2. hBN/graphite gating in the QH regime shows improved quantization of TSS by suppression of magnetoconductivity of massless Dirac fermions. CGT/graphite gating of massive Dirac fermions in the QH regime yields half-quantized Hall conductance steps and a measure of the Dirac gap. Our work shows the promise of the vdW platform in creating advanced high-quality TI-based devices.


title: Sea quark Sivers distribution

abstract: We compute sea quark Sivers distribution within color glass condensate(CGC) framework. It has been found that up to the leading logarithm accuracy, the collinear twist-3 approach and the CGC calculation yield the same result for sea quark Sivers distribution in the dilute limit. We further verify that transverse momentum dependent factorization is consistent with CGC treatment at small $x$ for the case of transverse spin asymmetry in open charm quark production in semi-inclusive deeply inelastic scattering process in an overlap kinematical region.


title: Optimal Algorithms for Continuous Non-monotone Submodular and DR-Submodular Maximization

abstract: In this paper we study the fundamental problems of maximizing a continuous non-monotone submodular function over the hypercube, both with and without coordinate-wise concavity. This family of optimization problems has several applications in machine learning, economics, and communication systems. Our main result is the first $\frac{1}{2}$-approximation algorithm for continuous submodular function maximization; this approximation factor of $\frac{1}{2}$ is the best possible for algorithms that only query the objective function at polynomially many points. For the special case of DR-submodular maximization, i.e. when the submodular functions is also coordinate wise concave along all coordinates, we provide a different $\frac{1}{2}$-approximation algorithm that runs in quasilinear time. Both of these results improve upon prior work [Bian et al, 2017, Soma and Yoshida, 2017]. Our first algorithm uses novel ideas such as reducing the guaranteed approximation problem to analyzing a zero-sum game for each coordinate, and incorporates the geometry of this zero-sum game to fix the value at this coordinate. Our second algorithm exploits coordinate-wise concavity to identify a monotone equilibrium condition sufficient for getting the required approximation guarantee, and hunts for the equilibrium point using binary search. We further run experiments to verify the performance of our proposed algorithms in related machine learning applications.


title: The intrinsic three-dimensional shape of galactic bars

abstract: We present the first statistical study on the intrinsic three-dimensional (3D) shape of a sample of 83 galactic bars extracted from the CALIFA survey. We use the galaXYZ code to derive the bar intrinsic shape with a statistical approach. The method uses only the geometric information (ellipticities and position angles) of bars and discs obtained from a multi-component photometric decomposition of the galaxy surface-brightness distributions. We find that bars are predominantly prolate-triaxial ellipsoids (68%), with a small fraction of oblate-triaxial ellipsoids (32%). The typical flattening (intrinsic C/A semiaxis ratio) of the bars in our sample is 0.34, which matches well the typical intrinsic flattening of stellar discs at these galaxy masses. We demonstrate that, for prolate-triaxial bars, the intrinsic shape of bars depends on the galaxy Hubble type and stellar mass (bars in massive S0 galaxies are thicker and more circular than those in less massive spirals). The bar intrinsic shape correlates with bulge, disc, and bar parameters. In particular with the bulge-to-total (B/T) luminosity ratio, disc g-r color, and central surface brightness of the bar, confirming the tight link between bars and their host galaxies. Combining the probability distributions of the intrinsic shape of bulges and bars in our sample we show that 52% (16%) of bulges are thicker (flatter) than the surrounding bar at 1$\sigma$ level. We suggest that these percentages might be representative of the fraction of classical and disc-like bulges in our sample, respectively.


title: Experimental and Theoretical Investigation of the Crossover from the Ultracold to the Quasiclassical Regime of Photodissociation

abstract: At ultralow energies, atoms and molecules undergo collisions and reactions that are best described in terms of quantum mechanical wave functions. In contrast, at higher energies these processes can be understood quasiclassically. Here, we investigate the crossover from the quantum mechanical to the quasiclassical regime both experimentally and theoretically for photodissociation of ultracold diatomic strontium molecules. This basic reaction is carried out with a full control of quantum states for the molecules and their photofragments. The photofragment angular distributions are imaged, and calculated using a quantum mechanical model as well as the WKB and a semiclassical approximation that are explicitly compared across a range of photofragment energies. The reaction process is shown to converge to its high-energy (axial recoil) limit when the energy exceeds the height of any reaction barriers. This phenomenon is quantitatively investigated for two-channel photodissociation using intuitive parameters for the channel amplitude and phase. While the axial recoil limit is generally found to be well described by a commonly used quasiclassical model, we find that when the photofragments are identical particles, their bosonic or fermionic quantum statistics can cause this model to fail, requiring a quantum mechanical treatment even at high energies.


title: Primordial Black Holes from $\alpha$-attractors

abstract: We consider primordial black hole (PBH) production in inflationary $\alpha$-attractors. We discuss two classes of models, namely models with a minimal polynomial superpotential as well as modulated chaotic ones that admit PBHs. We find that a significant amplification of the curvature power spectrum ${\cal P_R}$ can be realized in this class of models with a moderate tuning of the potential parameters. We consistently examine the PBH formation during radiation and additionally during reheating eras where the background pressure is negligible. It is shown that basic features of the curvature power spectrum are explicitly related with the postinflationary cosmic evolution and that the PBH mass and abundance expressions are accordingly modified. PBHs in the mass range $10^{-16}-10^{-14} \, M_{\odot}$ can form with a cosmologically relevant abundance for a power spectrum peak ${\cal P_R} \sim 10^{-2}$ and large reheating temperature and, furthermore, for a moderate peak ${\cal P_R} \sim 10^{-5}$ and reheating temperature $T_\text{rh}\sim 10^7$ GeV, characteristic of the position of the power spectrum peak. Regarding the CMB observables, the $\alpha$-attractor models utilized here to generate PBH in the low-mass region predict in general a smaller $n_s$ and larger $r$ and $\alpha_s$ parameter values compared to the conventional inflationary $\alpha$-attractor models.


title: Multi-Level Deep Cascade Trees for Conversion Rate Prediction in Recommendation System

abstract: Developing effective and efficient recommendation methods is very challenging for modern e-commerce platforms. Generally speaking, two essential modules named "Click-Through Rate Prediction" (\textit{CTR}) and "Conversion Rate Prediction" (\textit{CVR}) are included, where \textit{CVR} module is a crucial factor that affects the final purchasing volume directly. However, it is indeed very challenging due to its sparseness nature. In this paper, we tackle this problem by proposing multi-Level Deep Cascade Trees (\textit{ldcTree}), which is a novel decision tree ensemble approach. It leverages deep cascade structures by stacking Gradient Boosting Decision Trees (\textit{GBDT}) to effectively learn feature representation. In addition, we propose to utilize the cross-entropy in each tree of the preceding \textit{GBDT} as the input feature representation for next level \textit{GBDT}, which has a clear explanation, i.e., a traversal from root to leaf nodes in the next level \textit{GBDT} corresponds to the combination of certain traversals in the preceding \textit{GBDT}. The deep cascade structure and the combination rule enable the proposed \textit{ldcTree} to have a stronger distributed feature representation ability. Moreover, inspired by ensemble learning, we propose an Ensemble \textit{ldcTree} (\textit{E-ldcTree}) to encourage the model's diversity and enhance the representation ability further. Finally, we propose an improved Feature learning method based on \textit{EldcTree} (\textit{F-EldcTree}) for taking adequate use of weak and strong correlation features identified by pre-trained \textit{GBDT} models. Experimental results on off-line data set and online deployment demonstrate the effectiveness of the proposed methods.


title: Why developers cannot embed privacy into software systems? An empirical investigation

abstract: Pervasive use of software applications continues to challenge user privacy when users interact with software systems. Even though privacy practices such as Privacy by Design (PbD), have clear in- structions for software developers to embed privacy into software designs, those practices are yet to become a common practice among software developers. The difficulty of developing privacy preserv- ing software systems highlights the importance of investigating software developers and the problems they face when they are asked to embed privacy into application designs. Software devel- opers are the community who can put practices such as PbD into action. Therefore, identifying problems they face when embed- ding privacy into software applications and providing solutions to those problems are important to enable the development of privacy preserving software systems. This study investigates 36 software developers in a software design task with instructions to embed privacy in order to identify the problems they face. We derive rec- ommendation guidelines to address the problems to enable the development of privacy preserving software systems.


title: Ultrafast transient interference in pump-probe spectroscopy of band and Mott insulators

abstract: Ultrafast pump-probe spectroscopy with high temporal and spectral resolutions provides new insight into ultrafast nonequilibrium phenomena. We propose that transient interference between pump and probe pulses is realized in pump-probe spectroscopy of band and Mott insulators, which can be observed only after recent developments of ultrafast spectroscopic techniques. A continuum structure in the excitation spectrum of band insulators is found to act as a medium for storing the spectral information of the pump pulse, and the spectrum detected by the probe pulse is interfered with by the medium, generating the transient interference in the energy domain. We also demonstrate the transient interference in the presence of electron correlations in a one-dimensional half-filled Hubbard model. Furthermore, bosons coupled to electrons additively contribute to the interference. Our finding will provide an interpretation of probe-energy-dependent oscillations recently observed in the pump-probe spectrum for a two-dimensional Mott insulator.


title: Why Johnny Can't Store Passwords Securely? A Usability Evaluation of Bouncycastle Password Hashing

abstract: Lack of usability of security Application Programming In- terfaces (APIs) is one of the main reasons for mistakes that programmers make that result in security vulnerabilities in software applications they develop. Especially, APIs that pro- vide cryptographic functionalities such as password hashing are sometimes too complex for programmers to learn and use. To improve the usability of these APIs to make them easy to learn and use, it is important to identify the usability issues exist on those APIs that make those harder to learn and use. In this work, we evaluated the usability of SCrypt password hashing functionality of Bouncycastle API to identify usabil- ity issues in it that persuade programmers to make mistakes while developing applications that would result in security vulnerabilities. We conducted a study with 10 programmers where each of them spent around 2 hours for the study and attempted to develop a secure password storage solution us- ing Bouncycastle API. From data we collected, we identified 63 usability issues that exist in the SCrypt implementation of Bouncycastle API. Results of our study provided useful insights about how security/cryptographic APIs should be designed, developed and improved to provide a better experi- ence for programmers who use them. Furthermore, we expect that this work will provide a guidance on how to conduct usability evaluations for security APIs to identify usability issues exist in them.


title: VisemeNet: Audio-Driven Animator-Centric Speech Animation

abstract: We present a novel deep-learning based approach to producing animator-centric speech motion curves that drive a JALI or standard FACS-based production face-rig, directly from input audio. Our three-stage Long Short-Term Memory (LSTM) network architecture is motivated by psycho-linguistic insights: segmenting speech audio into a stream of phonetic-groups is sufficient for viseme construction; speech styles like mumbling or shouting are strongly co-related to the motion of facial landmarks; and animator style is encoded in viseme motion curve profiles. Our contribution is an automatic real-time lip-synchronization from audio solution that integrates seamlessly into existing animation pipelines. We evaluate our results by: cross-validation to ground-truth data; animator critique and edits; visual comparison to recent deep-learning lip-synchronization solutions; and showing our approach to be resilient to diversity in speaker and language.


title: Second harmonic generation in atomically thin MoTe2

abstract: We have studied on optical second harmonic generations (SHGs) from atomically thin MoTe2 flakes with 2H and 1T' phases. From 2H-MoTe2 samples with odd (even) numbers of layers, strong (negligible) SHGs are observed due to the layer-dependent broken inversion symmetry. When pumped by a telecom-band laser, SHG from a monolayer 2H-MoTe2 is about one order of magnitude stronger than that from a monolayer WS2; an extremely high second-order nonlinear susceptibility of 2.5 nm/V is estimated, presenting the highest value among those reported in two-dimensional materials. SHG measurements in MoTe2 are also demonstrated as an efficient way to distinguish the 2H-to-1T' phase transition. Comparing to the SHG in 2H-MoTe2, 1T'-MoTe2's SHG has much lower efficiency and the polarization dependence is changed from six-fold to two-lobe pattern.


title: Richardson extrapolation allows truncation of higher order digital nets and sequences

abstract: We study numerical integration of smooth functions defined over the $s$-dimensional unit cube. A recent work by Dick et al. (2019) has introduced so-called extrapolated polynomial lattice rules, which achieve the almost optimal rate of convergence for numerical integration and can be constructed by the fast component-by-component search algorithm with smaller computational costs as compared to interlaced polynomial lattice rules. In this paper we prove that, instead of polynomial lattice point sets, truncated higher order digital nets and sequences can be used within the same algorithmic framework to explicitly construct good quadrature rules achieving the almost optimal rate of convergence. The major advantage of our new approach compared to original higher order digital nets is that we can significantly reduce the precision of points, i.e., the number of digits necessary to describe each quadrature node. This finding has a practically useful implication when either the number of points or the smoothness parameter is so large that original higher order digital nets require more than the available finite-precision floating point representations.


title: Method for Determination of Technical Noise Contributions to Ion Motional Heating

abstract: Microfabricated Paul ion traps show tremendous promise for large-scale quantum information processing. However, motional heating of ions can have a detrimental effect on the fidelity of quantum logic operations in miniaturized, scalable designs. In many experiments, contributions to ion heating due to technical voltage noise present on the static (DC) and radio frequency (RF) electrodes can be overlooked. We present a reliable method for determining the extent to which motional heating is dominated by residual voltage noise on the DC or RF electrodes. Also, we demonstrate that stray DC electric fields can shift the ion position such that technical noise on the RF electrode can significantly contribute to the motional heating rate. After minimizing the pseudopotential gradient experienced by the ion induced by stray DC electric fields, the motional heating due to RF technical noise can be significantly reduced.


title: Properties of Massive Rotating Protoneutron Stars with Hyperons: Structure and Universality

abstract: In this work, we study the properties and structure of a massive and rapidly rotating protoneutron star (PNS) with hyperon content. We follow several stages of quasi-stationary evolution in an approximate way at four discrete steps. We use a density-dependent (DD) relativistic mean field theory (RMF) model and calculate different quantities such as mass, equatorial radius, moment of inertia, and quadrupole moment to get different rotating configurations upto the mass-shedding limit. We study the effect of the appearance of $\Lambda$, the lightest of all hyperons, on each of the evolutionary stages of the PNS. We also check its sensitivity to the inclusion of $\phi$ vector meson as a mediator of $\Lambda-\Lambda$ interaction in detail. Finally, we investigate the universal relations between moment of inertia and compactness in the context of a hot and young compact object.


title: Current-Induced Heat Transfer in Double-Layer Graphene

abstract: Using the fluctuational electrodynamics and nonequilibrium Green's function methods, we demonstrate the existence of a current-induced heat transfer in double-layer graphene even when the temperatures of the two sheets are the same. The heat flux is quadratically dependent on the current. When temperatures are different, external voltage bias can reverse the direction of heat flow. The drift effect can exist in both macroscopic and nanosized double-layer graphene and extend to any other 2D electron systems. These results pave the way for a different approach to the thermal management through radiation in nonequilibrium systems.


title: A data-independent distance to infeasibility for linear conic systems

abstract: We offer a unified treatment of distinct measures of well-posedness for homogeneous conic systems. To that end, we introduce a distance to infeasibility based entirely on geometric considerations of the elements defining the conic system. Our approach sheds new light on and connects several well-known condition measures for conic systems, including {\em Renegar's} distance to infeasibility, the {\em Grassmannian} condition measure, a measure of the {\em most interior} solution, and other geometric measures of {\em symmetry} and of {\em depth} of the conic system.


title: A Practical Algorithm for Distributed Clustering and Outlier Detection

abstract: We study the classic $k$-means/median clustering, which are fundamental problems in unsupervised learning, in the setting where data are partitioned across multiple sites, and where we are allowed to discard a small portion of the data by labeling them as outliers. We propose a simple approach based on constructing small summary for the original dataset. The proposed method is time and communication efficient, has good approximation guarantees, and can identify the global outliers effectively. To the best of our knowledge, this is the first practical algorithm with theoretical guarantees for distributed clustering with outliers. Our experiments on both real and synthetic data have demonstrated the clear superiority of our algorithm against all the baseline algorithms in almost all metrics.


title: Intelligent Trainer for Model-Based Reinforcement Learning

abstract: Model-based reinforcement learning (MBRL) has been proposed as a promising alternative solution to tackle the high sampling cost challenge in the canonical reinforcement learning (RL), by leveraging a learned model to generate synthesized data for policy training purpose. The MBRL framework, nevertheless, is inherently limited by the convoluted process of jointly learning control policy and configuring hyper-parameters (e.g., global/local models, real and synthesized data, etc). The training process could be tedious and prohibitively costly. In this research, we propose an "reinforcement on reinforcement" (RoR) architecture to decompose the convoluted tasks into two layers of reinforcement learning. The inner layer is the canonical model-based RL training process environment (TPE), which learns the control policy for the underlying system and exposes interfaces to access states, actions and rewards. The outer layer presents an RL agent, called as AI trainer, to learn an optimal hyper-parameter configuration for the inner TPE. This decomposition approach provides a desirable flexibility to implement different trainer designs, called as "train the trainer". In our research, we propose and optimize two alternative trainer designs: 1) a uni-head trainer and 2) a multi-head trainer. Our proposed RoR framework is evaluated for five tasks in the OpenAI gym (i.e., Pendulum, Mountain Car, Reacher, Half Cheetah and Swimmer). Compared to three other baseline algorithms, our proposed Train-the-Trainer algorithm has a competitive performance in auto-tuning capability, with upto 56% expected sampling cost saving without knowing the best parameter setting in advance. The proposed trainer framework can be easily extended to other cases in which the hyper-parameter tuning is costly.


title: A network biology-based approach to evaluating the effect of environmental contaminants on human interactome and diseases

abstract: Environmental contaminant exposure can pose significant risks to human health. Therefore, evaluating the impact of this exposure is of great importance; however, it is often difficult because both the molecular mechanism of disease and the mode of action of the contaminants are complex. We used network biology techniques to quantitatively assess the impact of environmental contaminants on the human interactome and diseases with a particular focus on seven major contaminant categories: persistent organic pollutants (POPs), dioxins, polycyclic aromatic hydrocarbons (PAHs), pesticides, perfluorochemicals (PFCs), metals, and pharmaceutical and personal care products (PPCPs). We integrated publicly available data on toxicogenomics, the diseasome, protein-protein interactions (PPIs), and gene essentiality and found that a few contaminants were targeted to many genes, and a few genes were targeted by many contaminants. The contaminant targets were hub proteins in the human PPI network, whereas the target proteins in most categories did not contain abundant essential proteins. Generally, contaminant targets and disease-associated proteins were closely associated with the PPI network, and the closeness of the associations depended on the disease type and chemical category. Network biology techniques were used to identify environmental contaminants with broad effects on the human interactome and contaminant-sensitive biomarkers. Moreover, this method enabled us to quantify the relationship between environmental contaminants and human diseases, which was supported by epidemiological and experimental evidence. These methods and findings have facilitated the elucidation of the complex relationship between environmental exposure and adverse health outcomes.


title: FastFCA-AS: Joint Diagonalization Based Acceleration of Full-Rank Spatial Covariance Analysis for Separating Any Number of Sources

abstract: Here we propose FastFCA-AS, an accelerated algorithm for Full-rank spatial Covariance Analysis (FCA), which is a robust audio source separation method proposed by Duong et al. ["Under-determined reverberant audio source separation using a full-rank spatial covariance model," IEEE Trans. ASLP, vol. 18, no. 7, pp. 1830-1840, Sept. 2010]. In the conventional FCA, matrix inversion and matrix multiplication are required at each time-frequency point in each iteration of an iterative parameter estimation algorithm. This causes a heavy computational load, thereby rendering the FCA infeasible in many applications. To overcome this drawback, we take a joint diagonalization approach, whereby matrix inversion and matrix multiplication are reduced to mere inversion and multiplication of diagonal entries. This makes the FastFCA-AS significantly faster than the FCA and even applicable to observed data of long duration or a situation with restricted computational resources. Although we have already proposed another acceleration of the FCA for two sources, the proposed FastFCA-AS is applicable to an arbitrary number of sources. In an experiment with three sources and three microphones, the FastFCA-AS was over 420 times faster than the FCA with a slightly better source separation performance.


title: Effective intervals and regular Dirichlet subspaces

abstract: It is shown in [10] that a regular and local Dirichlet form on an interval can be represented by so-called effective intervals with scale functions. This paper focuses on how to operate on effective intervals to obtain regular Dirichlet subspaces. The first result is a complete characterization for a Dirichlet form to be a regular subspace of such a Dirichlet form in terms of effective intervals. Then we give an explicit road map how to obtain all regular Dirichlet subspaces from a local and regular Dirichlet form on an interval, by a series of intuitive operations on the effective intervals in the representation above. Finally applying previous results, we shall prove that every regular and local Dirichlet form has a special standard core generated by a continuous and strictly increasing function.


title: On Ecalle's and Brown's polar solutions to the double shuffle equations modulo products

abstract: Two explicit sets of solutions to the double shuffle equations modulo products were introduced by Ecalle and Brown respectively. We place the two solutions into the same algebraic framework and compare them. We find that they agree up to and including depth four but differ in depth five by an explicit solution to the linearized double shuffle equations with an exotic pole structure.


title: AutoAugment: Learning Augmentation Policies from Data

abstract: Data augmentation is an effective technique for improving the accuracy of modern image classifiers. However, current data augmentation implementations are manually designed. In this paper, we describe a simple procedure called AutoAugment to automatically search for improved data augmentation policies. In our implementation, we have designed a search space where a policy consists of many sub-policies, one of which is randomly chosen for each image in each mini-batch. A sub-policy consists of two operations, each operation being an image processing function such as translation, rotation, or shearing, and the probabilities and magnitudes with which the functions are applied. We use a search algorithm to find the best policy such that the neural network yields the highest validation accuracy on a target dataset. Our method achieves state-of-the-art accuracy on CIFAR-10, CIFAR-100, SVHN, and ImageNet (without additional data). On ImageNet, we attain a Top-1 accuracy of 83.5% which is 0.4% better than the previous record of 83.1%. On CIFAR-10, we achieve an error rate of 1.5%, which is 0.6% better than the previous state-of-the-art. Augmentation policies we find are transferable between datasets. The policy learned on ImageNet transfers well to achieve significant improvements on other datasets, such as Oxford Flowers, Caltech-101, Oxford-IIT Pets, FGVC Aircraft, and Stanford Cars.


title: The Failure of Monte Carlo Radiative Transfer at Medium to High Optical Depths

abstract: Computer simulations of photon transport through an absorbing and/or scattering medium form an important research tool in astrophysics. Nearly all software codes performing such simulations for three-dimensional geometries employ the Monte Carlo radiative transfer method, including various forms of biasing to accelerate the calculations. Because of the probabilistic nature of the Monte Carlo technique, the outputs are inherently noisy, but it is often assumed that the average values provide the physically correct result. We show that this assumption is not always justified. Specifically, we study the intensity of radiation penetrating an infinite, uniform slab of material that absorbs and scatters the radiation with equal probability. The basic Monte Carlo radiative transfer method, without any biasing mechanisms, starts to break down for transverse optical depths above ~20 because so few of the simulated photon packets reach the other side of the slab. When including biasing techniques such as absorption/scattering splitting and path length stretching, the simulated photon packets do reach the other side of the slab but the biased weights do not necessarily add up to the correct solution. While the noise levels seem to be acceptable, the average values sometimes severely underestimate the correct solution. Detecting these anomalies requires the judicious application of statistical tests, similar to those used in the field of nuclear particle transport, possibly in combination with convergence tests employing consecutively larger numbers of photon packets. In any case, for transverse optical depths above ~75 the Monte Carlo methods used in our study fail to solve the one-dimensional slab problem, implying the need for approximations such as a modified random walk.


title: Charge Separation at Mixed-Dimensional Single and Multilayer MoS2/Silicon Nanowire Heterojunctions

abstract: Layered two-dimensional (2-D) semiconductors can be combined with other low-dimensional semiconductors to form non-planar mixed-dimensional van der Waals (vdW) heterojunctions whose charge transport behavior is influenced by the heterojunction geometry, providing a new degree of freedom to engineer device functions. Towards that end, we investigated the photoresponse of Si nanowire/MoS2 heterojunction diodes with scanning photocurrent microscopy and time-resolved photocurrent measurements. Comparison of n-Si/MoS2 isotype heterojunctions with p-Si/MoS2 heterojunction diodes under varying biases shows that the depletion region in the p-n heterojunction promotes exciton dissociation and carrier collection. We measure an instrument limited response time of 1 us, which is 10 times faster than previously reported response times for planar Si/MoS2 devices, highlighting the advantages of the 1-D/2-D heterojunction. Finite element simulations of device models provide a detailed understanding of how the electrostatics affect charge transport in nanowire/vdW heterojunctions and inform the design of future vdW heterojunction photodetectors and transistors.


title: Mechanisms of Ultrafast Charge Separation in a PTB7/Monolayer MoS2 van der Waals Heterojunction

abstract: Mixed-dimensional van der Waals heterojunctions comprising polymer and twodimensional (2D) semiconductors have many characteristics of an ideal charge separation interface for optoelectronic and photonic applications. However, the photoelectron dynamics at polymer- 2D semiconductor heterojunction interfaces are currently not sufficiently understood to guide the optimization of devices for these applications. This manuscript is a report of a systematic exploration of the time-dependent photophysical processes that occur upon photoexcitation of a type-II heterojunction between the polymer PTB7 and monolayer MoS2. In particular, photoinduced electron transfer from PTB7 to electronically hot states of MoS2 occurs in less than 250 fs. This process is followed by a slower (1-5 ps) exciton diffusion-limited electron transfer from PTB7 to MoS2 with a yield of 58%, and a sub-3-ps photoinduced hole transfer from MoS2 to PTB7. The equilibrium between excitons and polaron pairs in PTB7 determines the charge separation yield, whereas the 3-4 ns lifetime of photogenerated carriers is limited by MoS2 defects. Overall, this work elucidates the mechanisms of ultrafast charge carrier dynamics at PTB7-MoS2 interfaces, which will inform ongoing efforts to exploit polymer-2D semiconductor heterojunctions for photovoltaic and photodetector applications.


title: Kernel-estimated Nonparametric Overlap-Based Syncytial Clustering

abstract: Commonly-used clustering algorithms usually find ellipsoidal, spherical or other regular-structured clusters, but are more challenged when the underlying groups lack formal structure or definition. Syncytial clustering is the name that we introduce for methods that merge groups obtained from standard clustering algorithms in order to reveal complex group structure in the data. Here, we develop a distribution-free fully-automated syncytial clustering algorithm that can be used with $k$-means and other algorithms. Our approach estimates the cumulative distribution function of the normed residuals from an appropriately fit $k$-groups model and calculates the estimated nonparametric overlap between each pair of clusters. Groups with high pairwise overlap are merged as long as the estimated generalized overlap decreases. Our methodology is always a top performer in identifying groups with regular and irregular structures in several datasets and can be applied to datasets with scatter or incomplete records. The approach is also used to identify the distinct kinds of gamma ray bursts in the Burst and Transient Source Experiment 4Br catalog and the distinct kinds of activation in a functional Magnetic Resonance Imaging study.


title: A descriptive construction of trees and Stallings' theorem

abstract: We give a descriptive construction of trees for multi-ended graphs, which yields yet another proof of Stallings' theorem on ends of groups. Even though our proof is, in principle, not very different from already existing proofs and it draws ideas from a paper of Kr\"{o}n, it is written in a way that easily adapts to the setting of countable Borel equivalence relations, leading to a free decomposition result and a sufficient condition for treeability.


title: Stacked Generalization Approach to Improve Prediction of Molecular Atomization Energies

abstract: Machine learning holds the promise of learning the energy functional via examples, bypassing the need to solve complicated quantum-chemical equations and realizing efficient computing of molecular electronic properties.


title: Role of local short-scale correlations in the mechanism of negative magnetization

abstract: We elaborate here why the antiferromagnetically ordered GdCrO$_3$ responds in a diamagnetic way under certain conditions, by monitoring the evolution of the microscopic global and local magnetic phases. Using high energy $\sim$ 0.3 eV neutrons, the magnetic ordering is shown to adopt three distinct magnetic phases at different temperatures: G$_x^{Cr}$,A$_y^{Cr}$,F$_z^{Cr}$ below N\'eel temperature = 171 K; (F$_x^{Cr}$, C$_y^{Cr}$, G$_z^{Cr}$)$\bullet$( F$_x$$^{Gd}$,C$_y$$^{Gd}$) below 7 K and an intermediate phase for 7 K $ \le T \le$ 20 K in the vicinity of spin-reorientation phase transition. Although, bulk magnetometry reveals a huge negative magnetization (NM) in the terms of both magnitude and temperature range ( $M_{- max}$ ( 18 K)$\sim$ 35 $\times M_{+ max}$ (161 K), $\Delta T \sim 110$ K in presence of $\mu_0H$ = 0.01 T); the long-range magnetic structure and derived ordered moments are unable to explain the NM. Real-space analysis of the total (Bragg's + diffuse) scattering reveals significant magnetic correlations extending up to $\sim$ 9 $\AA$. Accounting for these short-range correlations with a spin model reveals spin frustration in the S= 3 ground state, comprising competing first, second and third next nearest exchange interactions with values J$_1$ = 2.3 K, J$_2$ = -1.66 K and J$_3$ = 2.19 K in presence of internal field, governs the observance of NM in GdCrO$_{3}$.


title: A Novel Energy Stable Numerical Scheme for Navier-Stokes-Cahn-Hilliard Two-phase Flow Model with Variable Densities and Viscosities

abstract: A novel numerical scheme including time and spatial discretization is offered for coupled Cahn-Hilliard and Navier-Stokes governing equation sys-tem in this paper. Variable densities and viscosities are considered in the nu-merical scheme. By introducing an intermediate velocity in both Cahn-Hilliard equation and momentum equation, the scheme can keep discrete energy law. A decouple approach based on pressure stabilization is implemented to solve the Navier-Stokes part, while the stabilization or convex splitting method is adopt-ed for the Cahn-Hilliard part. This novel scheme is totally decoupled, linear, unconditionally energy stable for incompressible two-phase flow diffuse inter-face model. Numerical results demonstrate the validation, accuracy, robustness and discrete energy law of the proposed scheme in this paper.


title: A small-world search for quantum speedup: How small-world interactions can lead to improved quantum annealer designs

abstract: There are many factors that influence the design of quantum annealing processing units. Here we address the issue of improving quantum annealing processing unit designs from the point of view of the critical behavior of spin glasses. It has been argued [Phys. Rev. X 4, 021008 (2014)] that among the most difficult Ising spin-glass ground-state problems are those related to lattices which exhibit a finite-temperature spin-glass transition. Here, we show that adding small-world couplers between qubits (spins) to the native quasi-planar quantum processing unit graph results in a topology where a disordered Ising system can undergo a finite-temperature spin-glass transition, even when an Ising spin glass on the quasi-planar native graph does not display a transition into a glassy phase at any finite temperature. To ensure that these systems can be engineered with current fabrication techniques, using large-scale Monte Carlo simulations we demonstrate that highly-constrained systems restricted to a few fabrication layers and with fixed coupler angles can also exhibit a finite-temperature spin-glass transition. This indicates that these systems might be mean-field-like, which also means that embedding highly-nonplanar problems might be simplified when compared to the underlying native topology. Our results are illustrated using the quasi-planar Chimera topology currently used in the D-Wave Systems Inc. quantum annealing machines, as well as standard two-dimensional square lattices. The presented approach can be generalized to other topologies.


title: Estimating Carotid Pulse and Breathing Rate from Near-infrared Video of the Neck

abstract: Objective: Non-contact physiological measurement is a growing research area that allows capturing vital signs such as heart rate (HR) and breathing rate (BR) comfortably and unobtrusively with remote devices. However, most of the approaches work only in bright environments in which subtle photoplethysmographic and ballistocardiographic signals can be easily analyzed and/or require expensive and custom hardware to perform the measurements. Approach: This work introduces a low-cost method to measure subtle motions associated with the carotid pulse and breathing movement from the neck using near-infrared (NIR) video imaging. A skin reflection model of the neck was established to provide a theoretical foundation for the method. In particular, the method relies on template matching for neck detection, Principal Component Analysis for feature extraction, and Hidden Markov Models for data smoothing. Main Results: We compared the estimated HR and BR measures with ones provided by an FDA-cleared device in a 12-participant laboratory study: the estimates achieved a mean absolute error of 0.36 beats per minute and 0.24 breaths per minute under both bright and dark lighting. Significance: This work advances the possibilities of non-contact physiological measurement in real-life conditions in which environmental illumination is limited and in which the face of the person is not readily available or needs to be protected. Due to the increasing availability of NIR imaging devices, the described methods are readily scalable.


title: You Only Look Twice: Rapid Multi-Scale Object Detection In Satellite Imagery

abstract: Detection of small objects in large swaths of imagery is one of the primary problems in satellite imagery analytics. While object detection in ground-based imagery has benefited from research into new deep learning approaches, transitioning such technology to overhead imagery is nontrivial. Among the challenges is the sheer number of pixels and geographic extent per image: a single DigitalGlobe satellite image encompasses >64 km2 and over 250 million pixels. Another challenge is that objects of interest are minuscule (often only ~10 pixels in extent), which complicates traditional computer vision techniques. To address these issues, we propose a pipeline (You Only Look Twice, or YOLT) that evaluates satellite images of arbitrary size at a rate of >0.5 km2/s. The proposed approach can rapidly detect objects of vastly different scales with relatively little training data over multiple sensors. We evaluate large test images at native resolution, and yield scores of F1 > 0.8 for vehicle localization. We further explore resolution and object size requirements by systematically testing the pipeline at decreasing resolution, and conclude that objects only ~5 pixels in size can still be localized with high confidence. Code is available at https://github.com/CosmiQ/yolt.


title: Stable Super-Resolution of Images: A Theoretical Study

abstract: We study the ubiquitous super-resolution problem, in which one aims at localizing positive point sources in an image, blurred by the point spread function of the imaging device. To recover the point sources, we propose to solve a convex feasibility program, which simply finds a nonnegative Borel measure that agrees with the observations collected by the imaging device. In the absence of imaging noise, we show that solving this convex program uniquely retrieves the point sources, provided that the imaging device collects enough observations. This result holds true if the point spread function of the imaging device can be decomposed into horizontal and vertical components, and if the translations of these components form a Chebyshev system, i.e., a system of continuous functions that loosely behave like algebraic polynomials. Building upon recent results for one-dimensional signals [1], we prove that this super-resolution algorithm is stable, in the generalized Wasserstein metric, to model mismatch (i.e., when the image is not sparse) and to additive imaging noise. In particular, the recovery error depends on the noise level and how well the image can be approximated with well-separated point sources. As an example, we verify these claims for the important case of a Gaussian point spread function. The proofs rely on the construction of novel interpolating polynomials---which are the main technical contribution of this paper---and partially resolve the question raised in [2] about the extension of the standard machinery to higher dimensions.


title: The Non-Disjoint Ontic States of the Grassmann Ontological Model, Transformation Contextuality, and the Single Qubit Stabilizer Subtheory

abstract: We show that it is possible to construct a preparation non-contextual ontological model that does not exhibit "transformation contextuality" for single qubits in the stabilizer subtheory. In particular, we consider the "blowtorch" map and show that it does not exhibit transformation contextuality under the Grassmann Wigner-Weyl-Moyal (WWM) qubit formalism. Furthermore, the transformation in this formalism can be fully expressed at order $\hbar^0$ and so does not qualify as a candidate quantum phenomenon. In particular, we find that the Grassmann WWM formalism at order $\hbar^0$ corresponds to an ontological model governed by an additional set of constraints arising from the relations defining the Grassmann algebra. Due to this additional set of constraints, the allowed probability distributions in this model do not form a single convex set when expressed in terms of disjoint ontic states and so cannot be mapped to models whose states form a single convex set over disjoint ontic states. However, expressing the Grassmann WWM ontological model in terms of non-disjoint ontic states corresponding to the monomials of the Grassmann algebra results in a single convex set. We further show that a recent result by Lillystone et al. that proves a broad class of preparation and measurement non-contextual ontological models must exhibit transformation contextuality lacks the generality to include the ontological model considered here; Lillystone et al.'s result is appropriately limited to ontological models whose states produce a single convex set when expressed in terms of disjoint ontic states. Therefore, we prove that for the qubit stabilizer subtheory to be captured by a preparation, transformation and measurement non-contextual ontological theory, it must be expressed in terms of non-disjoint ontic states, unlike the case for the odd-dimensional single-qudit stabilizer subtheory.


title: Quantifying phonon particle and wave transport in nanostructures--The unexpectedly strong particle effect in silicon nanophononic metamaterial with cross junction

abstract: Understanding phonon transport mechanisms in nanostructures is of great importance for delicately tailoring thermal properties. Combining phonon particle and wave effects through different strategies, previous studies have obtained ultra-low thermal conductivity in nanostructures. However, phonon particle and wave effects are coupled together, that is their individual contributions to phonon transport cannot be figured out. Here, we present how to quantify the particle and wave effects on phonon transport by combining Monte Carlo and atomic green function methods. We apply it to 1D silicon nanophononic metamaterial with cross-junctions, where it has been thought that the wave effect was the main modulator to block phonon transport and the particle effect was negligibly weak. Surprisingly, we find that the particle effect is quite significant as well and can contribute as much as 39% to the total thermal conductivity reduction. Moreover, the particle effect does not decrease much as the cross section area (CSA) of the structure decreases and still keeps quite strong even for CSA as small as 2.23 nm2. Further phonon transmission analysis by reducing the junction leg length also qualitatively demonstrates the strong particle effect. The results highlight the importance of mutually controlling particle and wave characteristics, and the methodologies for quantifying phonon particle and wave effect are important for phonon engineering by nanostructuring.


title: Static Casimir Condensate of Conformal Scalar Field in Friedmann Universe

abstract: The quantum Casimir condensate of a conformal massive scalar field in a compact Friedmann universe is considered in the static approximation. The Abel-Plana formula is used for renormalization of divergent series in the condensate calculation. A differential relation between the static Casimir energy density and static Casimir condensate is derived.


title: Homfly polynomials for periodic knots via state model

abstract: We give criteria for oriented links to be periodic of prime order using the quantum $\mathrm{SL}(N)$-invariant. The criteria are based upon an observation on the linking number between a periodic knot and its axis of the rotation.


title: Some Ordered Ramsey Numbers of Graphs on Four Vertices

abstract: An ordered graph $H$ on $n$ vertices is a graph whose vertices have been labeled bijectively with $\{1,...,n\}$. The ordered Ramsey number $r_<(H)$ is the minimum $n$ such that every two-coloring of the edges of the complete graph $K_n$ contains a monochromatic copy of $H$ such that the vertices in the copy appear in the same order as in $H$. Although some bounds on the ordered Ramsey numbers of certain infinite families of graphs are known, very little is known about the ordered Ramsey numbers of specific small graphs compared to how much we know about the usual Ramsey numbers for these graphs. In this paper we tackle the problem of proving non-trivial upper bounds on orderings of graphs on four vertices. We also extend one of our results to $n+1$ vertex graphs that consist of a complete graph on $n$ vertices with a pendant edge to vertex 1. Finally, we use a SAT solver to compute some numbers exactly.


title: Uniform $W^{1,p}$ estimate for elliptic operator with Robin boundary condition in $\mathcal{C}^1$ domain

abstract: We consider the Robin boundary value problem $\mathrm{div} (A \nabla u) = \mathrm{div} \mathbf{f}+F$ in $\Omega$, $\mathcal{C}^1$ domain, with $(A \nabla u - \mathbf{f})\cdot \mathbf{n} + \alpha u = g$ on $\Gamma$, where the matrix $A$ belongs to $VMO (\mathbb{R}^3) $, and discover the uniform estimates on $\|u\|_{W^{1,p}(\Omega)}$, with $1 < p < \infty$, independent on $\alpha$. At the difference with the case $p = 2,$ which is simpler, we call here the weak reverse H\"older inequality. This estimates show that the solution of Robin problem converges strongly to the solution of Dirichlet (resp. Neumann) problem in corresponding spaces when the parameter $\alpha$ tends to $\infty$ (resp. $0$).


title: A potential scenario for the Majorana neutrino detection at future lepton colliders

abstract: The existence of Majorana neutrinos must lead to lepton-number violating processes, and the Majorana nature of neutrinos can only be experimentally verified via lepton-number violating processes. We propose a new approach to search for Majorana neutrinos at future electron-positron colliders by exploiting this feature. We investigate the $\Delta L = 2$ like-sign dilepton production and find that lepton colliders with different center-of-mass energies have comparative advantages in resonant production of a Majorana neutrino in either light neutrino mass range or heavy mass range. At the future Circular Electron-Positron Collider (CEPC), with 250 GeV center-of-mass energy and 5 ab$^{-1}$ integrated luminosity, we find that there could be more significant sensitivity for resonant production of a Majorana neutrino in the mass range of 5-80 GeV than previous results at LEP2 or LHC. At the 1 TeV ILC with 1 ab$^{-1}$ integrated luminosity, it has better sensitivity than the similar process at LHC while the neutrino mass is larger than 250 GeV.


title: AVID: Adversarial Visual Irregularity Detection

abstract: Real-time detection of irregularities in visual data is very invaluable and useful in many prospective applications including surveillance, patient monitoring systems, etc. With the surge of deep learning methods in the recent years, researchers have tried a wide spectrum of methods for different applications. However, for the case of irregularity or anomaly detection in videos, training an end-to-end model is still an open challenge, since often irregularity is not well-defined and there are not enough irregular samples to use during training. In this paper, inspired by the success of generative adversarial networks (GANs) for training deep models in unsupervised or self-supervised settings, we propose an end-to-end deep network for detection and fine localization of irregularities in videos (and images). Our proposed architecture is composed of two networks, which are trained in competing with each other while collaborating to find the irregularity. One network works as a pixel-level irregularity Inpainter, and the other works as a patch-level Detector. After an adversarial self-supervised training, in which I tries to fool D into accepting its inpainted output as regular (normal), the two networks collaborate to detect and fine-segment the irregularity in any given testing video. Our results on three different datasets show that our method can outperform the state-of-the-art and fine-segment the irregularity.


title: Vibration-Assisted and Vibration-Hampered Excitonic Quantum Transport

abstract: The interplay between exctions and vibrations is considered to be a key factor in determining the exciton transfer properties in light-harvesting exciton transfer complexes. Here we study this interplay theoretically in a model for exciton transport, composed of two chromophores coupled to an exciton source and sink in the presence of vibrations. We consider two cases, that show qualitatively distinct transport features. In the first, the vibrations are global and affect the two chromophores simultaneously. In the second case, the vibrations are localized on each chromophore. For global vibrations, the current exhibits {\sl anti-resonances} as a function of the chromophore energy difference, which are due to exciton-polaron interference. For local vibrations, on the other hand, the currents shows tunneling {\sl resonances} at multiples of the vibration energy. Counter-intuitively, both effects increase with increasing temperature. Our results demonstrate that an environment can either assist or hamper exciton transport, and are in accord with current understanding of energy transfer in natural exciton transfer complexes.


title: Cylinder absolute games on solenoids

abstract: Let $A$ be any affine surjective endomorphism of a solenoid $\Sigma_{\mathcal{P}}$ over the circle $S^1$ which is not an infinite-order translation of $\Sigma_{\mathcal{P}}$. We prove the existence of a cylinder absolute winning (CAW) subset $F \subset \Sigma_{\mathcal{P}}$ with the property that for any $x \in F$, the orbit closure $\overline{\{ A^{\ell} x \mid \ell \in \mathbb{N} \}}$ does not contain any periodic orbits. The class of infinite solenoids considered in this paper provides, to our knowledge, some of the first examples of non-Federer spaces where absolute games can be played and won. Dimension maximality and incompressibility of CAW sets is also discussed for a number of possibilities in addition to their winning nature for the games known from before.


title: Role of oxygen vacancy in the spin-state change and magnetic ordering in SrCoO$_{3-\delta}$

abstract: We present the first-principles investigation of the structural, electronic, and magnetic properties of SrCoO$_{3-\delta}$ ($\delta=0, 0.25, 0.5$) to understand the multivalent nature of Co ions in SrCoO$_{3-\delta}$ along the line of topotactic transition between perovskite SrCoO$_{3}$ and brownmillerite SrCoO$_{2.5}$. From the on-site Coulomb interaction $U$-dependent ground state of stoichiometric SrCoO$_{3}$, we show the proximity of its metallic ferromagnetic ground state to other antiferromagnetic states. The structural and magnetic properties of SrCoO$_{3-\delta}$ depending on their oxygen-content provide an interesting insight into the relationship between the Co-Co distances and the magnetic couplings so that the spin-state transition of Co spins can understood by the change of $pd$-hybridization depending on the Co-Co distances. The \emph{strong} suppression of the $dp\sigma$-hybridization between Co $d$ and O $p$ orbitals in brownmillerite SrCoO$_{2.5}$ brings on the high-spin state of Co$^{3+}$ $d^{6}$ and is responsible for the antiferromagnetically ordered insulating ground state. The increase of effective Co-Co distances driven by the presence of oxygen vacancies in SrCoO$_{3-\delta}$ is consistent with the reduction of the effective $pd$-hybridization between Co $d$ and O $p$ orbitals. We conclude that the configuration of neighboring Co spins is shown to be crucial to their local electronic structure near the metal-to-insulator transition along the line of the topotactic transition in SrCoO$_{3-\delta}$. Incidentally, we also find that the \textit{I2mb} symmetry of SrCoO$_{2.5}$ is energetically stable and exhibits ferroelectricity via the ordering of CoO$_{4}$ tetrahedra, where this polar lattice can be stabilized by the presence of a large activation barrier.


title: On the fundamental groups of commutative algebraic groups

abstract: Consider the abelian category ${\mathcal C}$ of commutative group schemes of finite type over a field $k$, its full subcategory ${\mathcal F}$ of finite group schemes, and the associated pro category ${\rm Pro}({\mathcal C})$ (resp. ${\rm Pro}({\mathcal F})$) of pro-algebraic (resp. profinite) group schemes. When $k$ is perfect, we show that the profinite fundamental group $\varpi_1 : {\rm Pro}({\mathcal C}) \to {\rm Pro}({\mathcal F})$ is left exact and commutes with base change under algebraic field extensions; as a consequence, the higher profinite homotopy functors $\varpi_i$ vanish for $i \geq 2$. Along the way, we describe the indecomposable projective objects of ${\rm Pro}({\mathcal C})$ over an arbitrary field $k$.


title: About electrodynamics, standard model and the quantization of the electrical charge

abstract: The quantization of the electrical charge in the electrodynamics and of the hypercharge in the standard model are imposed in the theory based not on theoretical arguments but on the experimental observations. In this paper we propose a quantum consistency condition in a theory where Ward identities are respected that requires the quantization of the charge within the framework of the theory without external impositions. This refers to the renormalization conditions in the background gauge field method such that to ensure a correct mathematical correspondence between the bare partition function and the renormalized one. Applied to the standard model of elementary particles our criterion together with the anomaly cancellation condition leads to the correct hypercharge assignment of all standard model fermions.


title: Stable specification search in structural equation model with latent variables

abstract: In our previous study, we introduced stable specification search for cross-sectional data (S3C). It is an exploratory causal method that combines stability selection concept and multi-objective optimization to search for stable and parsimonious causal structures across the entire range of model complexities. In this study, we extended S3C to S3C-Latent, to model causal relations between latent variables. We evaluated S3C-Latent on simulated data and compared the results to those of PC-MIMBuild, an extension of the PC algorithm, the state-of-the-art causal discovery method. The comparison showed that S3C-Latent achieved better performance. We also applied S3C-Latent to real-world data of children with attention deficit/hyperactivity disorder and data about measuring mental abilities among pupils. The results are consistent with those of previous studies.


title: Phase-Sensitive Region-of-Interest Computed Tomography

abstract: X-Ray Phase-Contrast Imaging (PCI) yields absorption, differential phase, and dark-field images. Computed Tomography (CT) of grating-based PCI can in principle provide high-resolution soft-tissue contrast. Recently, grating-based PCI took several hurdles towards clinical implementation by addressing, for example, acquisition speed, high X-ray energies, and system vibrations. However, a critical impediment in all grating-based systems lies in limits that constrain the grating diameter to few centimeters. In this work, we propose a system and a reconstruction algorithm to circumvent this constraint in a clinically compatible way. We propose to perform a phase-sensitive Region-of-Interest (ROI) CT within a full-field absorption CT. The biggest advantage of this approach is that it allows to correct for phase truncation artifacts, and to obtain quantitative phase values. Our method is robust, and shows high-quality results on simulated data and on a biological mouse sample. This work is a proof of concept showing the potential to use PCI in CT on large specimen, such as humans, in clinical applications.


title: Spontaneous decay of a quantum emitter near a plasmonic nanostructure

abstract: We develop a theory for spontaneous decay of a quantum emitter (QE) situated near metal-dielectric structure supporting localized surface plasmons. If plasmon resonance is tuned close to the QE emission frequency, the emission is enhanced due to energy transfer from the QE to a localized plasmon mode followed by photon emission by plasmonic antenna. The emission rate is determined by intimate interplay between the plasmon coupling to radiation field and the Ohmic losses in metal. Here we develop plasmon Green's function approach that includes plasmon's interaction with radiation to obtain explicit expressions for radiative decay rate and optical polarizability of a localized plasmon mode in arbitrary plasmonic nanostructure. Within this approach, we provide consistent definition of plasmon mode volume by relating it to plasmon mode density, which characterizes the plasmon field confinement, and recover the standard cavity form of the Purcell factor, but now for plasmonic systems. We show that, for QE placed at a "hot spot" near a sharp tip of a small metal nanostructure, the plasmon mode volume scales with the metal volume while being very sensitive to the proximity to the tip. Finally, we derive the enhancement factor for radiated power spectrum for any nanoplasmonic system and relate it to the Purcell factor for spontaneous decay rate. We illustrate our results by numerical example of a QE situated near gold nanorod tip.


title: Mathematical Representation of Clausius' and Kelvin's Statements of the Second Law and Irreversibility

abstract: We provide a stochastic mathematical representation for Clausius' and Kelvin-Planck's statements of the Second Law of Thermodynamics in terms of the entropy productions of a finite, compact driven Markov system and its lift. A surjective map is rigorously established through the lift when the state space is either a discrete graph or a continuous n-dimensional torus T^n. The corresponding lifted processes have detailed balance thus a natural potential function but no stationary probability. We show that in the long-time limit the entropy production of the finite driven system precisely equals the potential energy decrease in the lifted system. This theorem provides a dynamic foundation for the two equivalent statements of Second Law of Thermodynamics, a la Kelvin's and Clausius'. It suggests a modernized, combined statement: "A mesoscopic engine that works in completing irreversible internal cycles statistically has necessarily an external effect that lowering a weight accompanied by passing heat from a warmer to a colder body."


title: Homogeneous vector bundles over abelian varieties via representation theory

abstract: Let $A$ be an abelian variety over a field. The homogeneous (or translation-invariant) vector bundles over $A$ form an abelian category ${\rm HVec}_A$; the Fourier-Mukai transform yields an equivalence of ${\rm HVec}_A$ with the category of coherent sheaves with finite support on the dual abelian variety. In this paper, we develop an alternative approach to homogeneous vector bundles, based on the equivalence of ${\rm HVec}_A$ with the category of finite-dimensional representations of a commutative affine group scheme (the "affine fundamental group" of $A$). This displays remarkable analogies between homogeneous vector bundles over abelian varieties and representations of split reductive algebraic groups.


title: Optoelectronic properties of defective MoS$_2$ and WS$_2$ monolayers

abstract: We theoretically explore the effect of metal and disulphur vacancies on electronic and optical properties of MoS$_2$ and WS$_2$ monolayers based on a Slater-Koster tight-binding model and including the spin-orbit coupling. We show that the vacancy defects create electronic flat bands by shifting the Fermi level towards the valence band, indicating that both types of vacancies may act as acceptor sites. The optical spectra of the pristine monolayers show step-like features corresponding to the transition from spin split valence band to the conduction band minimum, whereas the defective monolayers exhibit additional peaks in their spectra arising from induced midgap states in their band structures. We find that Mo and W vacancies contribute mostly in the low-energy optical spectrum, while the S$_2$ vacancies enhance the optical conductivity mainly in the visible range of the spectrum. This suggests that depending on the type of vacancy, the atomic defects in MoS$_2$ and WS$_2$ monolayers may increase the efficiency of solar cells used in photovoltaic systems.


title: Charged Lepton Mass Relations in a SUSY Scenario

abstract: The observed charged lepton masses satisfy the relations $K \equiv (m_e +m_\mu+m_\tau)/(\sqrt{m_e} +\sqrt{m_\mu} +\sqrt{m_\tau})^2 =2/3$ and $\kappa \equiv \sqrt{m_e m_\mu m_\tau}/(\sqrt{m_e} +\sqrt{m_\mu} +\sqrt{m_\tau})^3 =1/486$ with great accuracy. These parameters are given as $K=( {\rm Tr}[\Phi \Phi])/ ({\rm Tr}[\Phi ])^2$ and $\kappa = {\rm det} \Phi/({\rm Tr}[\Phi ])^3$ if the charged lepton masses $m_{ei}$ are given by $m_{ei} \propto \sum_k \Phi_i^{\ k} \Phi_k^{\ i}$ where $\Phi$ is a U(3)-family nonet scalar. Simple scalar potential forms to realize the relations have been already proposed in non-supersymmetric scenarios, but the potential forms are not stable against the renormalization group effects. In this paper, we examine supersymmetric scenarios and find that the parameters $K$ and $\kappa$ are made stable against the effects in a very nontrivial way, even though the superpotential itself (in the canonical basis) suffers the usual corrections. We also show possible simple superpotential forms for the relations.


title: Study of $CP$ Violations in $B^-\rightarrow K^- \pi^+\pi^-$ and $B^-\rightarrow K^- f_0(500)$ decays in the QCD factorization approach

abstract: Within the QCD factorization approach, we study the $CP$ violations in $B^-\rightarrow K^-\pi^+\pi^-$ and $B^-\rightarrow K^- f_0(500)$ decays. We find the experimental data of the localized $CP$ asymmetry in $B^-\rightarrow K^-\pi^+\pi^-$ decays in the region $m_{K^-\pi^+}^2<15$ $\mathrm{GeV}^2$ and $0.08<m_{\pi^+\pi^-}^2<0.66$ $\mathrm{GeV}^2$ can be explained by the interference of two intermediate resonances, $\rho^0(770)$ and $f_0(500)$ when the parameters in our interference model are in the allowed ranges, i.e. the relative strong phase $\delta\in[0, 1.745]\cup[3.578, 6.266]$ and the end-point divergence parameters $\rho_S\in[2.790, 5.290]$ and $\phi_S \in [1.518, 5.183]$. With the obtained allowed ranges for $\rho_S$ and $\phi_S$, we obtain the predictions for the $CP$ asymmetry parameter $A_{CP} \in [-0.259, 0.006]$ and the branching fraction $\mathcal{B} \in [0.585, 3.230]\times10^{-5}$ for $B^-\rightarrow K^-f_0(500)$ decay modes.


title: An optimal bound on the solution sets of one-variable word equations and its consequences

abstract: We solve two long-standing open problems on word equations. Firstly, we prove that a one-variable word equation with constants has either at most three or an infinite number of solutions. The existence of such a bound had been conjectured, and the bound three is optimal. Secondly, we consider independent systems of three-variable word equations without constants. If such a system has a nonperiodic solution, then this system of equations is at most of size 17. Although probably not optimal, this is the first finite bound found. However, the conjecture of that bound being actually two still remains open.


title: Quantum surface diffusion in Bohmian Mechanics

abstract: Surface diffusion of small adsorbates is analyzed in terms of the so-called intermediate scattering function and dynamic structure factor, observables in experiments using the well-known quasielastic Helium atom scattering and Helium spin echo techniques. The linear theory used is an extension of the neutron scattering due to van Hove and considers the time evolution of the position of the adsorbates in the surface. This approach allows us to use a stochastic trajectory description following the classical, quantum and Bohmian frameworks. Three regimes of motion are clearly identified in the diffusion process: ballistic, Brownian and intermediate which are well characterized, for the first two regimes, through the mean square displacements and Einstein relation for the diffusion constant. The Langevin formalism is used by considering Ohmic friction, moderate surface temperatures and small coverages. In the Bohmian framework, the starting point is the so-called Schr\"odinger-Langevin equation which is a nonlinear, logarithmic differential equation. By assuming a Gaussian function for the probability density, the corresponding quantum stochastic trajectories are given by a dressing scheme consisting of a classical stochastic trajectory of the center of the Gaussian wave packet, issued from solving the Langevin equation (particle property), plus the time evolution of its width governed by the damped Pinney differential equation (wave property). The velocity autocorrelation function is the same as the classical one when the initial spread rate is assumed to be zero. If not, in the diffusion regime, the Brownian-Bohmian motion shows a weak anomalous diffusion.


title: Electric dipole moments and dark matter in a CP violating MSSM

abstract: We investigate electric dipole moments (EDMs) in a CP-violating minimal supersymmetric standard model with the Bino-like neutralino dark matter (DM) annihilating through the heavy Higgs funnel. Motivated by the current experimental results, in particular, the measured mass of the standard model-like Higgs boson, we consider a mass spectrum with stop masses of about 10 TeV. For the other sfermions, we consider masses of about 100 TeV. We show that CP-violating phases of the order of ten degrees in gaugino and Higgsino mass parameters are consistent with the current bound by EDMs of the electron, the neutron, and the mercury. They are within the reach of future experiments. We also show that effects of CP-violating phases induce a difference in DM-nucleon scattering cross section by a factor.


title: Renormalization of the conduction band spectrum in HgTe quantum wells by electron-electron interaction

abstract: The energy spectrum of the conduction band in HgTe/Cd$_x$Hg$_{1-x}$Te quantum wells of a width $d=(4.6-20.2)$ nm has been experimentally studied in a wide range of electron density. For this purpose, the electron density dependence of the effective mass was measured by two methods: by analyzing the temperature dependence of the Shubnikov-de Haas oscillations and by means of the quantum capacitance measurements. There was shown that the effective mass obtained for the structures with $d<d_c$, where $d_c\simeq6.3$ nm is a critical width of quantum well corresponding to the Dirac-like energy spectrum, is close to the calculated values over the whole electron density range; with increasing width, at $d>(7-8)$ nm, the experimental effective mass becomes noticeably less than the calculated ones. This difference increases with the electron density decrease, i.e., with lowering the Fermi energy; the maximal difference between the theory and experiment is achieved at $d = (15-18)$ nm, where the ratio between the calculated and experimental masses reaches the value of two and begins to decrease with a further $d$ increase. We assume that observed behavior of the electron effective mass results from the spectrum renormalization due to electron-electron interaction.


title: Cameron-Liebler sets of k-spaces in PG(n,q)

abstract: Cameron-Liebler sets of k-spaces were introduced recently by Y. Filmus and F. Ihringer. We list several equivalent definitions for these Cameron-Liebler sets, by making a generalization of known results about Cameron-Liebler line sets in PG(n, q) and Cameron-Liebler sets of k-spaces in PG(2k + 1, q). We also present a classification result.


title: An Accurate Data Cleaning Procedure for Electron Cyclotron Emission Imaging on EAST Tokamak Based on Methodology of Machine Learning

abstract: A new data cleaning procedure for electron cyclotron emission imaging (ECEI) of EAST tokamak is constructed. Machine learning techniques, including SVM and Decision tree, are applied to identifying saturated, zero, and weak signals of ECEI raw data, which not only reduces the effort of researchers for data analysis, but also improves the accuracy of data preprocessing. To enhance the reliability of the procedure, proper training sets are sampled based on massive raw data from the experiments of ECEI on EAST tokamak. Window size of temporal signal, kernel function, and other model parameters are obtained after model training. Consequently, the recognition rates of saturated, zero, and weak signals in raw data are 99.4%, 99.86%, and 99.9%, respectively, which proves the accuracy of this procedure.


title: Weak Algebra Bundles and Associator Varieties

abstract: Algebra bundles, in the strict sense, appear in many areas of geometry and physics. However, the structure of an algebra is flexible enough to vary non-trivially over a connected base, giving rise to a structure of a weak algebra bundle. We will show that the notion of a weak algebra bundle is more natural than that of a strict algebra bundle. We will give necessary and sufficient conditions for weak algebra bundles to be locally trivial. The collection of non-trivial associative algebras of a fixed dimension forms a projective variety, called associator varieties. We will show that these varieties play the role the Grassmannians play for principal $O(n)$-bundles.


title: A sequent calculus with dependent types for classical arithmetic

abstract: In a recent paper, Herbelin developed a calculus dPA$^\omega$ in which constructive proofs for the axioms of countable and dependent choices could be derived via the encoding of a proof of countable universal quantification as a stream of it components. However, the property of normalization (and therefore the one of soundness) was only conjectured. The difficulty for the proof of normalization is due to the simultaneous presence of dependent dependent types (for the constructive part of the choice), of control operators (for classical logic), of coinductive objects (to encode functions of type $N\rightarrow A$ into streams $(a_0,a_1,\ldots)$) and of lazy evaluation with sharing (for these coinductive objects).Building on previous works, we introduce in this paper a variant of dPA$^\omega$ presented as a sequent calculus. On the one hand, we take advantage of a variant of Krivine classical realizability we developed to prove the normalization of classical call-by-need. On the other hand, we benefit of dL, a classical sequent calculus with dependent types in which type safety is ensured using delimited continuations together with a syntactic restriction. By combining the techniques developed in these papers, we manage to define a realizability interpretation {\`a} la Krivine of our calculus that allows us to prove normalization and soundness.


title: Coronal Hole and Solar Global Magnetic Field Evolution in 1976-2012

abstract: Coronal hole spatial-temporal evolution is studied and comparison made with that of the solar global magnetic field in cycles 21-23 (1976-2012). The latitude-longitude distribution dynamics of coronal holes and the regularities in the global magnetic field associated with the solar polar field reversal are analyzed. Polar and non-polar coronal hole populations are considered. The investigation reveals some temporal and spatial regularities in coronal hole distributions that match well the global magnetic-field cycle evolution. The results show that the non-polar coronal hole longitudinal distribution follows all configuration changes in the global magnetic-field structure. Reorganizations of the global magnetic-field and coronal hole distributions occur simultaneously during a time interval of a few solar rotations. The cycle evolution of the non-polar coronal holes reflects the transition of the solar global magnetic field from the zonal structure to sectorial andvice versa. Two different type waves of non-polar coronal holes are revealed from their latitudinal distribution. The first one is short poleward waves. They trace the poleward motion of the unipolar photospheric magnetic fields from approximately 35 deg to the associated pole in each hemisphere and the redevelopment of a new-polarity polar CH. Although they start the poleward movement before the change of the polar magnetic field in the associated hemisphere, they reach the pole after the polar reversal. The other type of non-polar CH wave forms two sinusoidal branches associated with the positive- and negative-polarity magnetic fields. The complete period of the wave was equal to approximately 268 CRs (22 years). These wave CHs arrive at high latitudes during declining phases when the new polarity polar CHs are already completely formed.


title: Testing the influence of acceleration on time dilation using a rotating M\"Ossbauer absorber

abstract: The aim of the experiment series was to test the influence of acceleration on time dilation by measuring the relative spectral shift between the resonance spectra of a rotating Mossbauer absorber with acceleration anti-parallel and parallel to the direction of the incident beam. Based on the experiences and know-how acquired in our previous experiments, We collected data for rotation frequencies up to 510Hz in both directions of rotation and also used different slits. For each run with high rotation, we observed a stable statistically significant relative shift between the spectra of the two states with opposite acceleration. This indicates the influence of acceleration on time dilation. However, we found that this shift also depends on the choice of the slit, and on the direction of rotation. These new unexpected findings, resulting from the loss of symmetry in obtaining the resonant lines in the two states, could overshadow the relative shift due to acceleration. This loss of the symmetry is caused by the deflection of the radiative decay due to the Nuclear Lighthouse effect from the rotating Mossbauer absorber. We also found that it is impossible to keep the alignment (between the optical and the dynamical rotor systems) with accuracy needed for such experiment, for long runs, which resulted in the reduction of the accuracy of the observed relative shift. These prevent us to claim with certainty the influence of acceleration on time dilation using the currently available technology. An improved KB optics with focal spot of less than 1 micron to avoid the use of a slit and a more rigid mounting of the rotor system, are necessary for the success of such experiment. Hopefully, these findings together with the indispensable plan for a conclusive experiment presented in the paper, will prove useful to future experimentalists wishing to pursue such an experiment.


title: On the Global Convergence of Gradient Descent for Over-parameterized Models using Optimal Transport

abstract: Many tasks in machine learning and signal processing can be solved by minimizing a convex function of a measure. This includes sparse spikes deconvolution or training a neural network with a single hidden layer. For these problems, we study a simple minimization method: the unknown measure is discretized into a mixture of particles and a continuous-time gradient descent is performed on their weights and positions. This is an idealization of the usual way to train neural networks with a large hidden layer. We show that, when initialized correctly and in the many-particle limit, this gradient flow, although non-convex, converges to global minimizers. The proof involves Wasserstein gradient flows, a by-product of optimal transport theory. Numerical experiments show that this asymptotic behavior is already at play for a reasonable number of particles, even in high dimension.