title: Constructions of unextendible entangled bases

abstract: We provide several constructions of special unextendible entangled bases with fixed Schmidt number $k$ (SUEB$k$) in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ for $2\leq k\leq d\leq d'$. We generalize the space decomposition method in Guo [Phys. Rev. A 94, 052302 (2016)], by proposing a systematic way of constructing new SUEB$k$s in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ for $2\leq k < d \leq d'$ or $2\leq k=d< d'$. In addition, we give a construction of a $(pqdd'-p(dd'-N))$-number SUEB$pk$ in $\mathbb{C}^{pd}\otimes \mathbb{C}^{qd'}$ from an $N$-number SUEB$k$ in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ for $p\leq q$ by using permutation matrices. We also connect a $(d(d'-1)+m)$-number UMEB in $\mathbb{C}^{d}\otimes \mathbb{C}^{d'}$ with an unextendible partial Hadamard matrix $H_{m\times d}$ with $m<d$, which extends the result in [Quantum Inf. Process. 16(3), 84 (2017)].


title: Self-conjugate QCD

abstract: We carry out a systematic study of $SU(6)$ Yang-Mills theory endowed with fermions in the adjoint and $3$-index antisymmetric mixed-representation. The fermion bilinear in the $3$-index antisymmetric representation vanishes identically, which leads to interesting new phenomena. We first study the theory on a small circle, i.e., on $\mathbb R^3\times \mathbb S^1_L$, employing symmetry-twisted boundary conditions and semi-classical techniques. We find that the ground state is $3$-fold degenerate, which can be explained as a consequence of a $1$-form/$0$-form mixed 't Hooft anomaly. In addition, the theory may admit massless bosonic and fermionic degrees of freedom, depending on the number of flavors, and confines the electric probes in the infrared. Empowered by 't Hooft anomaly matching conditions along with the $2$-loop $\beta$-function, we further examine the possible infrared symmetry realizations on $\mathbb R^4$ for various number of adjoint and $3$-index antisymmetric fermions. The infrared theory is either a conformal field theory, which is expected for a large number of flavors, or it is confining with or without chiral symmetry breaking. In a few cases, we are able to give enough evidence for adiabatic continuity between the small- and large-circle limits.


title: Constraining light fermionic dark matter with binary pulsars

abstract: A binary system embedded in a Dark Matter (DM) background may experience a change in its orbital period due to dynamical friction as the binary moves through a wind of DM particles. We compute such a perturbative effect on the binary evolution considering that DM is constituted of degenerate gas of free fermions. The analysis point out that the secular change of the orbital period is more sensitive, and likely measurable, to degenerate fermions with masses $\gtrsim50$ eV, depending slightly, but still being distinguishable, on the binary star configuration (e.g. NS-NS, NS-WD and WD-WD). Interestingly, we find that NS-NS binary systems with large orbital periods, $P_{b}\gtrsim100$ days, experience larger orbital period decays. We also show that this effect is clearly increased, under the former conditions, in binaries orbiting small DM halos, which correspond to extragalactic pulsars. This situation represents the best astrophysical scenario to test such effects of light fermionic DM. We use some available measurements of the orbital period time-derivative for long-period binaries in the Milky-Way to quantify more realistically this effect. For instance, measurements of the J1713+0747 pulsar set an upper bound on the fermion mass of $m_{f}\lesssim 1$ keV. This bound can be considerably improved by using pulsar timing observations of extragalactic pulsars. Under this perspective, high precision of timing pulsar observations will reveal whether DM dynamical friction effect may be tested with the upcoming generation of surveys leading to the possibility of constraining more strongly the properties of light fermionic DM.


title: Modeling Severe Traffic Accidents With Spatial And Temporal Features

abstract: We present an approach to estimate the severity of traffic related accidents in aggregated (area-level) and disaggregated (point level) data. Exploring spatial features, we measure complexity of road networks using several area level variables. Also using temporal and other situational features from open data for New York City, we use Gradient Boosting models for inference and measuring feature importance along with Gaussian Processes to model spatial dependencies in the data. The results show significant importance of complexity in aggregated model as well as as other features in prediction which may be helpful in framing policies and targeting interventions for preventing severe traffic related accidents and injuries.


title: Aspects of Nos\'e and Nos\'e-Hoover Dynamics Elucidated

abstract: Some paradoxical aspects of the Nos\'e and Nos\'e-Hoover dynamics of 1984 and Dettmann's dynamics of 1996 are elucidated. Phase-space descriptions of thermostated harmonic oscillator dynamics can be simultaneously expanding, incompressible, or contracting, as is described here by a variety of three- and four-dimensional phase-space models. These findings illustrate some surprising consequences when Liouville's continuity equation is applied to Hamiltonian flows.


title: Approximate separability of symmetrically penalized least squares in high dimensions: characterization and consequences

abstract: We show that the high-dimensional behavior of symmetrically penalized least squares with a possibly non-separable, symmetric, convex penalty in both (i) the Gaussian sequence model and (ii) the linear model with uncorrelated Gaussian designs nearly matches the behavior of least squares with an appropriately chosen separable penalty in these same models. The similarity in behavior is precisely quantified by a finite-sample concentration inequality in both cases. Our results help clarify the role non-separability can play in high-dimensional M-estimation. In particular, if the empirical distribution of the coordinates of the parameter is known --exactly or approximately-- there are at most limited advantages to using non-separable, symmetric penalties over separable ones. In contrast, if the empirical distribution of the coordinates of the parameter is unknown, we argue that non-separable, symmetric penalties automatically implement an adaptive procedure which we characterize. We also provide a partial converse which characterizes adaptive procedures which can be implemented in this way.


title: From Non-Paying to Premium: Predicting User Conversion in Video Games with Ensemble Learning

abstract: Retaining premium players is key to the success of free-to-play games, but most of them do not start purchasing right after joining the game. By exploiting the exceptionally rich datasets recorded by modern video games--which provide information on the individual behavior of each and every player--survival analysis techniques can be used to predict what players are more likely to become paying (or even premium) users and when, both in terms of time and game level, the conversion will take place. Here we show that a traditional semi-parametric model (Cox regression), a random survival forest (RSF) technique and a method based on conditional inference survival ensembles all yield very promising results. However, the last approach has the advantage of being able to correct the inherent bias in RSF models by dividing the procedure into two steps: first selecting the best predictor to perform the splitting and then the best split point for that covariate. The proposed conditional inference survival ensembles method could be readily used in operational environments for early identification of premium players and the parts of the game that may prompt them to become paying users. Such knowledge would allow developers to induce their conversion and, more generally, to better understand the needs of their players and provide them with a personalized experience, thereby increasing their engagement and paving the way to higher monetization.


title: Detailed numerical simulations of atomization of a liquid jet in a swirling gas crossflow

abstract: Breakup of a liquid jet in a high speed gaseous crossflow finds wide range of engineering and technological applications, especially in the combustors of the gas turbine engines in aerospace industry. In this study, we present volume-of-fluid method based direct numerical simulations of a liquid jet injected into a swirling crossflow of gas. The liquid is injected radially outwards from a central tube to a confined annular space with a swirling gas crossflow. The essential features of the jet breakup involving jet flattening, surface waves and stripping of droplets from the edges of the jet are captured in the simulations. We discuss the effect of swirl on the spray characteristics such as jet trajectory, column breakup-length, and size, shape-factor and velocity distribution of the drops. Drop size increases with swirl and penetration is slightly reduced. Moreover, the trajectory follows an angle (azimuthal) that is smaller than the geometric angle of the swirl at the inlet. Interestingly, we also observe coalescence events downstream of the jet that affect the final droplet size distribution for the geometry considered in this study.


title: Example-Driven Query Intent Discovery: Abductive Reasoning using Semantic Similarity

abstract: Traditional relational data interfaces require precise structured queries over potentially complex schemas. These rigid data retrieval mechanisms pose hurdles for non-expert users, who typically lack language expertise and are unfamiliar with the details of the schema. Query by Example (QBE) methods offer an alternative mechanism: users provide examples of their intended query output and the QBE system needs to infer the intended query. However, these approaches focus on the structural similarity of the examples and ignore the richer context present in the data. As a result, they typically produce queries that are too general, and fail to capture the user's intent effectively. In this paper, we present SQuID, a system that performs semantic similarity-aware query intent discovery. Our work makes the following contributions: (1) We design an end-to-end system that automatically formulates select-project-join queries in an open-world setting, with optional group-by aggregation and intersection operators; a much larger class than prior QBE techniques. (2) We express the problem of query intent discovery using a probabilistic abduction model, that infers a query as the most likely explanation of the provided examples. (3) We introduce the notion of an abduction-ready database, which precomputes semantic properties and related statistics, allowing SQuID to achieve real-time performance. (4) We present an extensive empirical evaluation on three real-world datasets, including user-intent case studies, demonstrating that SQuID is efficient and effective, and outperforms machine learning methods, as well as the state-of-the-art in the related query reverse engineering problem.


title: Wormholes without exotic matter in nonminimal torsion-matter coupling $f(T)$ gravity

abstract: Wormholes are hypothetical tunnels that connect remote parts of spacetime. In General Relativity, wormholes are threaded by exotic matter that violates the energy conditions. In this work, we consider wormholes threaded by nonexotic matter in nonminimal torsion-matter coupling $f(T)$ gravity. We find that the nonminimal torsion-matter coupling can indeed hold the wormhole open. However, from geometric point of view, for the wormhole to have asymptotic flatness, the coupling matter density must falloff rapidly at large radius, otherwise the physical wormhole must be finite due to either change of metric signature or lack of valid embedding. On the other hand, the matter source supporting the wormhole can satisfy the null energy condition only in the neighborhood of the throat of the wormhole. Therefore, the wormhole in the underlying model has finite sizes and cannot stretch to the entire spacetime.


title: EKFPnP: Extended Kalman Filter for Camera Pose Estimation in a Sequence of Images

abstract: In real-world applications the Perspective-n-Point (PnP) problem should generally be applied in a sequence of images which a set of drift-prone features are tracked over time. In this paper, we consider both the temporal dependency of camera poses and the uncertainty of features for the sequential camera pose estimation. Using the Extended Kalman Filter (EKF), a priori estimate of the camera pose is calculated from the camera motion model and then corrected by minimizing the reprojection error of the reference points. Experimental results, using both simulated and real data, demonstrate that the proposed method improves the robustness of the camera pose estimation, in the presence of noise, compared to the state-of-the-art.


title: Against the Norm: Modeling Daily Stock Returns with the Laplace Distribution

abstract: Modeling stock returns is not a new task for mathematicians, investors, and portfolio managers, but it remains a difficult objective due to the ebb and flow of stock markets. One common solution is to approximate the distribution of stock returns with a normal distribution. However, normal distributions place infinitesimal probabilities on extreme outliers, but these outliers are of particular importance in the practice of investing. In this paper, we investigate the normality of the distribution of daily returns of major stock market indices. We find that the normal distribution is not a good model for stock returns, even over several years' worth of data. Moreover, we propose using the Laplace distribution as a model for daily stock returns.


title: Conductivity-Like Gilbert Damping due to Intraband Scattering in Epitaxial Iron

abstract: Confirming the origin of Gilbert damping by experiment has remained a challenge for many decades, even for simple ferromagnetic metals. In this Letter, we experimentally identify Gilbert damping that increases with decreasing electronic scattering in epitaxial thin films of pure Fe. This observation of conductivity-like damping, which cannot be accounted for by classical eddy current loss, is in excellent quantitative agreement with theoretical predictions of Gilbert damping due to intraband scattering. Our results resolve the longstanding question about a fundamental damping mechanism and offer hints for engineering low-loss magnetic metals for cryogenic spintronics and quantum devices.


title: SkyNet: A Champion Model for DAC-SDC on Low Power Object Detection

abstract: Developing artificial intelligence (AI) at the edge is always challenging, since edge devices have limited computation capability and memory resources but need to meet demanding requirements, such as real-time processing, high throughput performance, and high inference accuracy. To overcome these challenges, we propose SkyNet, an extremely lightweight DNN with 12 convolutional (Conv) layers and only 1.82 megabyte (MB) of parameters following a bottom-up DNN design approach. SkyNet is demonstrated in the 56th IEEE/ACM Design Automation Conference System Design Contest (DAC-SDC), a low power object detection challenge in images captured by unmanned aerial vehicles (UAVs). SkyNet won the first place award for both the GPU and FPGA tracks of the contest: we deliver 0.731 Intersection over Union (IoU) and 67.33 frames per second (FPS) on a TX2 GPU and deliver 0.716 IoU and 25.05 FPS on an Ultra96 FPGA.


title: Direct-Write Ion Beam Irradiated Josephson Junctions

abstract: We highlight the reproducibility and level of control over the electrical properties of YBa$_2$Cu$_3$O$_7$ Josephson junctions fabricated with irradiation from a focused helium ion beam. Specifically, we show the results of electrical transport properties for several junctions fabricated using a large range of irradiation doses. At the lower end of this range, junctions exhibit superconductor-normal metal-superconductor (SNS) Josephson junction properties. However, as dose increases there is a transition to electrical characteristics consistent with superconductor-insulator-superconductor (SIS) junctions. To investigate the uniformity of large numbers of helium ion Josephson junctions we fabricate arrays of both SNS and SIS Josephson junctions containing 20 connected in series. Electrical transport properties for these arrays reveal very uniform junctions with no appreciable spread in critical current or resistance.


title: TS-CHIEF: A Scalable and Accurate Forest Algorithm for Time Series Classification

abstract: Time Series Classification (TSC) has seen enormous progress over the last two decades. HIVE-COTE (Hierarchical Vote Collective of Transformation-based Ensembles) is the current state of the art in terms of classification accuracy. HIVE-COTE recognizes that time series data are a specific data type for which the traditional attribute-value representation, used predominantly in machine learning, fails to provide a relevant representation. HIVE-COTE combines multiple types of classifiers: each extracting information about a specific aspect of a time series, be it in the time domain, frequency domain or summarization of intervals within the series. However, HIVE-COTE (and its predecessor, FLAT-COTE) is often infeasible to run on even modest amounts of data. For instance, training HIVE-COTE on a dataset with only 1,500 time series can require 8 days of CPU time. It has polynomial runtime with respect to the training set size, so this problem compounds as data quantity increases. We propose a novel TSC algorithm, TS-CHIEF (Time Series Combination of Heterogeneous and Integrated Embedding Forest), which rivals HIVE-COTE in accuracy but requires only a fraction of the runtime. TS-CHIEF constructs an ensemble classifier that integrates the most effective embeddings of time series that research has developed in the last decade. It uses tree-structured classifiers to do so efficiently. We assess TS-CHIEF on 85 datasets of the University of California Riverside (UCR) archive, where it achieves state-of-the-art accuracy with scalability and efficiency. We demonstrate that TS-CHIEF can be trained on 130k time series in 2 days, a data quantity that is beyond the reach of any TSC algorithm with comparable accuracy.


title: Thermal Tides in Rotating Hot Jupiters

abstract: We calculate tidal torque due to semi-diurnal thermal tides in rotating hot Jupiters, taking account of the effects of radiative cooling in the envelope and of the planets rotation on the tidal responses. We use a simple Jovian model composed of a nearly isentropic convective core and a thin radiative envelope. To represent the tidal responses of rotating planets, we employ series expansions in terms of spherical harmonic functions $Y_l^m$ with different $l$s for a given $m$. For low forcing frequency, there occurs frequency resonance between the forcing and the $g$- and $r$-modes in the envelope and inertial modes in the core. We find that the resonance enhances the tidal torque, and that the resonance with the $g$- and $r$-modes produces broad peaks and that with the inertial modes very sharp peaks, depending on the magnitude of the non-adiabatic effects associated with the oscillation modes. We also find that the behavior of the tidal torque as a function of the forcing frequency (or period) is different between prograde and retrograde forcing, particularly for long forcing periods because the $r$-modes, which have long periods, exist only on the retrograde side.


title: Solving a Continuous Multifacility Location Problem by DC Algorithms

abstract: The paper presents a new approach to solve multifacility location problems, which is based on mixed integer programming and algorithms for minimizing differences of convex (DC) functions. The main challenges for solving the multifacility location problems under consideration come from their intrinsic discrete, nonconvex, and nondifferentiable nature. We provide a reformulation of these problems as those of continuous optimization and then develop a new DC type algorithm for their solutions involving Nesterov's smoothing. The proposed algorithm is computationally implemented via MATLAB numerical tests on both artificial and real data sets.


title: Every Graph Is Local Antimagic Total And Its Applications To Local Antimagic (Total) Chromatic Numbers

abstract: A graph $G = (V, E)$ of order $p$ and size $q$ is said to be local antimagic if there exists a bijection $g:E(G) \to \{1,2,\ldots,q\}$ such that for any pair of adjacent vertices $u$ and $v$, $g^+(u)\ne g^+(v)$, where $g^+(u)=\sum_{uv\in E(G)} g(uv)$ is the induced vertex color of $u$ under $g$. We also say $G$ is local antimagic total if there exists a bijection $f: V\cup E \to\{1,2,\ldots ,p+q\}$ such that for any pair of adjacent vertices $u$ and $v$, $w(u)\not= w(v)$, where $w(u)= f(u) +\sum_{uv\in E(G)} f(uv)$ is the induced vertex weight of $u$ under $f$. The local antimagic (and local antimagic total) chromatic number of $G$, denoted $\chi_{la}(G)$ (and $\chi_{lat}(G)$), is the minimum number of distinct induced vertex colors (and weights) over all local antimagic (and local antimagic total) labelings of $G$. We also say a local antimagic total labeling is local super antimagic total if $f(v)\in\{1,2,\ldots,p\}$ for each $v\in V(G)$. In [Proof of a local antimagic conjecture, {\it Discrete Math. Theor. Comp. Sc.}, {\bf 20(1)} (2018), \#18], the author proved that every connected graph of order at least 3 is local antimagic. Using this result, we provide a very short proof that every graph is local antimagic total. We showed that there exists close relationship between $\chi_{la}(G \vee K_1)$ and $\chi_{lat}(G)$. A sufficient condition is also given for the corresponding local super antimagic total labeling. Sharp bounds of $\chi_{lat}(G)$ and close relationships between $\chi_{lat}(G)$ and $\chi_{la}(G \vee K_1)$ are found. Bounds of $\chi_{lat}(G-e)$ in terms of $\chi_{lat}(G)$ for a graph $G$ with an edge $e$ deleted are also obtained. These relationships are used to determine the exact values of $\chi_{lat}$ for many graphs $G$. We also conjecture that each graph $G$ of order at least 3 has $\chi_{lat}(G)\le \chi_{la}(G)$.


title: To Infinity and Beyond: A General Framework for Scaling Economic Theories

abstract: Many economic theory models incorporate finiteness assumptions that, while introduced for simplicity, play a real role in the analysis. We provide a principled framework for scaling results from such models by removing these finiteness assumptions. Our sufficient conditions are on the theorem statement only, and not on its proof. This results in short proofs, and even allows to use the same argument to scale similar theorems that were proven using distinctly different tools. We demonstrate the versatility of our approach via examples from both revealed-preference theory and matching theory.


title: Dynamics of a Persistent Insulator-to-Metal Transition in Strained Manganite Films

abstract: Transition metal oxides possess complex free energy surfaces with competing degrees of freedom. Photoexcitation allows shaping of such rich energy landscapes. In epitaxially strained $\mathrm{La_{0.67}Ca_{0.33}MnO_3}$, optical excitation with a sub-100 fs pulse above $2\ \mathrm{mJ/cm^2}$ leads to a persistent metallic phase below 100 K. Using single-shot optical and terahertz spectroscopy, we show that this phase transition is a multi-step process. We conclude that the phase transition is driven by partial charge order melting, followed by growth of the persistent metallic phase on longer timescales. A time-dependent Ginzburg-Landau model can describe the fast dynamics of the reflectivity, followed by longer timescale in-growth of the metallic phase.


title: Perceptual Generative Autoencoders

abstract: Modern generative models are usually designed to match target distributions directly in the data space, where the intrinsic dimension of data can be much lower than the ambient dimension. We argue that this discrepancy may contribute to the difficulties in training generative models. We therefore propose to map both the generated and target distributions to a latent space using the encoder of a standard autoencoder, and train the generator (or decoder) to match the target distribution in the latent space. Specifically, we enforce the consistency in both the data space and the latent space with theoretically justified data and latent reconstruction losses. The resulting generative model, which we call a perceptual generative autoencoder (PGA), is then trained with a maximum likelihood or variational autoencoder (VAE) objective. With maximum likelihood, PGAs generalize the idea of reversible generative models to unrestricted neural network architectures and arbitrary number of latent dimensions. When combined with VAEs, PGAs substantially improve over the baseline VAEs in terms of sample quality. Compared to other autoencoder-based generative models using simple priors, PGAs achieve state-of-the-art FID scores on CIFAR-10 and CelebA.


title: Pressure induced Superconductivity and location of Fermi energy at Dirac point in BiSbTe3

abstract: We have grown single-crystal BiSbTe3 3D TI sample and studied structural, TE as well as pressure dependent magneto-transport properties. Large positive Seebeck coefficient confirmed the p-type nature of BiSbTe3, which is consistent with Hall measurement. We have also studied the electronic band structure using Laser-based ARPES, which revealed the existence of a Dirac-cone like metallic surface state in BiSbTe3 with a Dirac Point situated exactly at the Fermi level. Additionally, superconductivity emerges under pressure of 8 GPa with a critical temperature of ~2.5 K. With further increase of pressure, the superconducting transition temperature (Tc) increases and at 14 GPa it shows the maximum Tc (~3.3 K).


title: COP: Customized Deep Model Compression via Regularized Correlation-Based Filter-Level Pruning

abstract: Neural network compression empowers the effective yet unwieldy deep convolutional neural networks (CNN) to be deployed in resource-constrained scenarios. Most state-of-the-art approaches prune the model in filter-level according to the "importance" of filters. Despite their success, we notice they suffer from at least two of the following problems: 1) The redundancy among filters is not considered because the importance is evaluated independently. 2) Cross-layer filter comparison is unachievable since the importance is defined locally within each layer. Consequently, we must manually specify layer-wise pruning ratios. 3) They are prone to generate sub-optimal solutions because they neglect the inequality between reducing parameters and reducing computational cost. Reducing the same number of parameters in different positions in the network may reduce different computational cost. To address the above problems, we develop a novel algorithm named as COP (correlation-based pruning), which can detect the redundant filters efficiently. We enable the cross-layer filter comparison through global normalization. We add parameter-quantity and computational-cost regularization terms to the importance, which enables the users to customize the compression according to their preference (smaller or faster). Extensive experiments have shown COP outperforms the others significantly. The code is released at https://github.com/ZJULearning/COP.


title: Learning a sparse database for patch-based medical image segmentation

abstract: We introduce a functional for the learning of an optimal database for patch-based image segmentation with application to coronary lumen segmentation from coronary computed tomography angiography (CCTA) data. The proposed functional consists of fidelity, sparseness and robustness to small-variations terms and their associated weights. Existing work address database optimization by prototype selection aiming to optimize the database by either adding or removing prototypes according to a set of predefined rules. In contrast, we formulate the database optimization task as an energy minimization problem that can be solved using standard numerical tools. We apply the proposed database optimization functional to the task of optimizing a database for patch-base coronary lumen segmentation. Our experiments using the publicly available MICCAI 2012 coronary lumen segmentation challenge data show that optimizing the database using the proposed approach reduced database size by 96% while maintaining the same level of lumen segmentation accuracy. Moreover, we show that the optimized database yields an improved specificity of CCTA based fractional flow reserve (0.73 vs 0.7 for all lesions and 0.68 vs 0.65 for obstructive lesions) using a training set of 132 (76 obstructive) coronary lesions with invasively measured FFR as the reference.


title: Stabilization of infinite-dimensional linear control systems by POD reduced-order Riccati feedback

abstract: There exist many ways to stabilize an infinite-dimensional linear autonomous control systems when it is possible. Anyway, finding an exponentially stabilizing feedback control that is as simple as possible may be a challenge. The Riccati theory provides a nice feedback control but may be computationally demanding when considering a discretization scheme. Proper Orthogonal Decomposition (POD) offers a popular way to reduce large-dimensional systems. In the present paper, we establish that, under appropriate spectral assumptions, an exponentially stabilizing feedback Riccati control designed from a POD finite-dimensional approximation of the system stabilizes as well the infinite-dimensional control system.


title: Flows in Almost Linear Time via Adaptive Preconditioning

abstract: We present algorithms for solving a large class of flow and regression problems on unit weighted graphs to $(1 + 1 / poly(n))$ accuracy in almost-linear time. These problems include $\ell_p$-norm minimizing flow for $p$ large ($p \in [\omega(1), o(\log^{2/3} n) ]$), and their duals, $\ell_p$-norm semi-supervised learning for $p$ close to $1$. As $p$ tends to infinity, $\ell_p$-norm flow and its dual tend to max-flow and min-cut respectively. Using this connection and our algorithms, we give an alternate approach for approximating undirected max-flow, and the first almost-linear time approximations of discretizations of total variation minimization objectives. This algorithm demonstrates that many tools previous viewed as limited to linear systems are in fact applicable to a much wider range of convex objectives. It is based on the the routing-based solver for Laplacian linear systems by Spielman and Teng (STOC '04, SIMAX '14), but require several new tools: adaptive non-linear preconditioning, tree-routing based ultra-sparsification for mixed $\ell_2$ and $\ell_p$ norm objectives, and decomposing graphs into uniform expanders.


title: Modular $S_3$ invariant flavor model in SU(5) GUT

abstract: We present a flavor model with the $S_3$ modular invariance in the framework of SU(5) GUT. The $S_3$ modular forms of weights $2$ and $4$ give the quark and lepton mass matrices with a common complex parameter, the modulus $\tau$. The GUT relation of down-type quarks and charged leptons is imposed by the VEV of adjoint 24-dimensional Higgs multiplet in addition to the VEVs of $5$ and $\bar 5$ Higgs multiples of SU(5). The observed CKM and PMNS mixing parameters as well as the mass eigenvalues are reproduced properly. We discuss the leptonic CP phase and the effective mass of the neutrinoless double beta decay with the sum of neutrino masses.


title: The dipolar spin glass transition in three dimensions

abstract: Dilute dipolar Ising magnets remain a notoriously hard problem to tackle both analytically and numerically because of long-ranged interactions between spins as well as rare region effects. We study a new type of anisotropic dilute dipolar Ising system in three dimensions [Phys. Rev. Lett. {\bf 114}, 247207 (2015)] that arises as an effective description of randomly diluted classical spin ice, a prototypical spin liquid in the disorder-free limit, with a small fraction $x$ of non-magnetic impurities. Metropolis algorithm within a parallel thermal tempering scheme fails to achieve equilibration for this problem already for small system sizes. Motivated by previous work [Phys. Rev. X {\bf 4}, 041016 (2014)] on uniaxial random dipoles, we present an improved cluster Monte Carlo algorithm that is tailor-made for removing the equilibration bottlenecks created by clusters of {\it effectively frozen} spins. By performing large-scale simulations down to $x=1/128$ and using finite size scaling, we show the existence of a finite-temperature spin glass transition and give strong evidence that the universality of the critical point is independent of $x$ when it is small. In this $x \ll 1$ limit, we also provide a first estimate of both the thermal exponent, $\nu=1.27(8)$, and the anomalous exponent, $\eta=0.228(35)$.


title: Exploring Self-Supervised Regularization for Supervised and Semi-Supervised Learning

abstract: Recent advances in semi-supervised learning have shown tremendous potential in overcoming a major barrier to the success of modern machine learning algorithms: access to vast amounts of human-labeled training data. Previous algorithms based on consistency regularization can harness the abundance of unlabeled data to produce impressive results on a number of semi-supervised benchmarks, approaching the performance of strong supervised baselines using only a fraction of the available labeled data. In this work, we challenge the long-standing success of consistency regularization by introducing self-supervised regularization as the basis for combining semantic feature representations from unlabeled data. We perform extensive comparative experiments to demonstrate the effectiveness of self-supervised regularization for supervised and semi-supervised image classification on SVHN, CIFAR-10, and CIFAR-100 benchmark datasets. We present two main results: (1) models augmented with self-supervised regularization significantly improve upon traditional supervised classifiers without the need for unlabeled data; (2) together with unlabeled data, our models yield semi-supervised performance competitive with, and in many cases exceeding, prior state-of-the-art consistency baselines. Lastly, our models have the practical utility of being efficiently trained end-to-end and require no additional hyper-parameters to tune for optimal performance beyond the standard set for training neural networks. Reference code and data are available at https://github.com/vuptran/sesemi


title: Joint spectral amplitude analysis of SPDC photon pairs in a multimode ppLN ridge waveguide

abstract: In this paper, we study the possible parametric down conversion processes in a periodically poled customized Lithium Niobate (LiNbO3) ridge waveguide. Our analysis of spontaneous parametric down-conversion (SPDC), first, with a Gaussian pump beam mode and second, with an anti-symmetric Hermite-Gaussian HG (1,0) pump beam mode predict the possible down conversion processes in each case. From our JSA analysis, it is evident that the generated photons pairs in all these cases are negatively correlated and have orthogonal polarizations. In case of the former, degenerate photon pairs are emitted at 1550 nm with the highest efficiency in the fundamental waveguide mode. While, in case of the latter, non-degenerate photon pairs in different higher order spatial modes are generated. Such photons, thus, have multiple degrees of freedom, like polarization and spatial modes, which can be further harnessed towards hyper-entangled photons for quantum information applications.


title: Finite-Dimensional Controllers for Robust Regulation of Boundary Control Systems

abstract: We study the robust output regulation of linear boundary control systems by constructing extended systems. The extended systems are established based on solving static differential equations under two new conditions. We first consider the abstract setting and present finite-dimensional reduced order controllers. The controller design is then used for particular PDE models: high-dimensional parabolic equations and beam equations with Kelvin-Voigt damping. Numerical examples will be presented using Finite Element Method.


title: Search for the decay $\eta'\to\gamma\gamma\eta$

abstract: Using a data sample of $1.31\times10^{9} ~J/\psi$ events collected with the BESIII detector, a search for $\eta'\to\gamma\gamma\eta$ via $J/\psi\to\gamma\eta'$ is performed for the first time. No significant $\eta'$ signal is observed in the $\gamma\gamma\eta$ invariant mass spectrum, and the %upper limit of the branching fraction of $\eta'\to\gamma\gamma\eta$ is determined to be less than $1.33 \times 10^{-4}$ at the 90$\%$ confidence level.


title: ALTIS: Modernizing GPGPU Benchmarking

abstract: This paper presents Altis, a benchmark suite for modern GPGPU computing. Previous benchmark suites such as Rodinia and SHOC have served the research community well, but were developed years ago when hardware was more limited, software supported fewer features, and production hardware-accelerated workloads were scarce. Since that time, GPU compute density and memory capacity has grown exponentially, programmability features such as unified memory, demand paging, and HyperQ have matured, and new workloads such as deep neural networks (DNNs), graph analytics, and crypto-currencies have emerged in production environments, stressing the hardware and software in ways that previous benchmarks did not anticipate. Drawing inspiration from Rodinia and SHOC, Altis is a benchmark suite designed for modern GPU architectures and modern GPU runtimes, representing a diverse set of application domains. By adopting and extending applications from Rodinia and SHOC, adding new applications, and focusing on CUDA platforms, Altis better represents modern GPGPU workloads to enable support GPGPU research in both architecture and system software.


title: Validation of a temperature-dependent elasto-viscoplastic material model for a talcum-filled polypropylene/polyethylene co-polymer using glove box flap component tests

abstract: In the automotive industry, thermoplastic polymers are used for a significant number of interior and exterior parts. These components have to pass all underlying crash and safety relevant tests, where a proper performance is desired in the range of low to high ambient temperatures. Today, the vehicle design is heavily aided by numerical simulation methods for advancing towards a prototype free vehicle development. This requires an accurate modeling of the temperature- and ratedependent, elasto-viscoplastic mechanical response of the polymer structures. In this work, the validation of a novel elasto-viscoplastic temperature-dependent material model is performed using glove box flap segments subjected to impact loading by a spherical punch in a custom-build loading frame. The proposed material model shows a very good prediction of the experimental results.


title: Optimal extension of the Fourier transform and convolution operator on compact groups

abstract: Let $G$ be a compact group (not necessarily abelian) and let $\Phi$ be a Young function satisfying the $\Delta_2$-condition. We determine the optimal domain and the associated extended operator for both Fourier transform and the convolution operator defined on the Orlicz spaces $L^\Phi(G).$


title: Real projective structures on Riemann surfaces and new hyper-K\"ahler manifolds

abstract: The twistor space of the moduli space of solutions of Hitchin's self-duality equations can be identified with the Deligne-Hitchin moduli space of $\lambda$-connections. We use real projective structures on Riemann surfaces to prove the existence of new components of real holomorphic sections of the Deligne-Hitchin moduli space. Applying the twistorial construction we show the existence of new hyper-K\"ahler manifolds associated to any compact Riemann surface of genus $g\geq2$. These hyper-K\"ahler manifolds can be considered as moduli spaces of (certain) singular solutions of the self-duality equations.


title: Dynamical coupled-channels approach to electroweak meson productions on nucleon and deuteron

abstract: I overview our recent activity with the Argonne-Osaka dynamical coupled-channels (DCC) approach that provides a unified description of various electroweak meson productions on single nucleon and nucleus. First I discuss the DCC model of a single nucleon. The DCC model has been developed through a comprehensive analysis of $\pi N, \gamma N\to \pi N, \eta N, K\Lambda, K\Sigma$ reaction data. The model has been further extended to finite $Q^2$ region by analyzing pion electroproduction data, and to neutrino-induced reactions using the PCAC relation. Next I discuss applications of the DCC model to electroweak meson productions on the deuteron. We consider impulse mechanism supplemented by final state interactions (FSI) due to $NN$ and meson-nucleon rescatterings. Using this model, I discuss FSI corrections needed to extract $\gamma$-neutron reaction observables from $\gamma d\to \pi NN$, and a novel method to extract $\eta N$ scattering length from $\gamma d\to \eta pn$. I also discuss FSI corrections on the existing neutrino-nucleon pion production data that had been extracted from neutrino-deuteron data.


title: Invariance of closed convex cones for stochastic partial differential equations

abstract: The goal of this paper is to clarify when a closed convex cone is invariant for a stochastic partial differential equation (SPDE) driven by a Wiener process and a Poisson random measure, and to provide conditions on the parameters of the SPDE, which are necessary and sufficient.


title: On the relation between transition region network jets and coronal plumes

abstract: Both coronal plumes and network jets are rooted in network lanes. The relationship between the two, however, has yet to be addressed. For this purpose, we perform an observational analysis using images acquired with the Atmospheric Imaging Assembly (AIA) 171{\AA} passband to follow the evolution of coronal plumes, the observations taken by the Interface Region Imaging Spectrograph (IRIS) slit-jaw 1330{\AA} to study the network jets, and the line-of-sight magnetograms taken by the Helioseismic and Magnetic Imager (HMI) to overview the the photospheric magnetic features in the regions. Four regions in the network lanes are identified, and labeled ``R1--R4''. We find that coronal plumes are clearly seen only in ``R1''&''R2'' but not in ``R3''&``R4'', even though network jets abound in all these regions. Furthermore, while magnetic features in all these regions are dominated by positive polarity, they are more compact (suggesting stronger convergence) in ``R1''&``R2'' than that in ``R3''&``R4''. We develop an automated method to identify and track the network jets in the regions. We find that the network jets rooted in ``R1''&``R2'' are higher and faster than that in ``R3''&``R4'',indicating that network regions producing stronger coronal plumes also tend to produce more dynamic network jets. We suggest that the stronger convergence in ``R1''&``R2'' might provide a condition for faster shocks and/or more small-scale magnetic reconnection events that power more dynamic network jets and coronal plumes.


title: The Quantum DELL System

abstract: We propose quantum Hamiltonians of the double elliptic many-body integrable system (DELL) and study its spectrum. These Hamiltonians are certain elliptic functions of coordinates and momenta. Our results provide quantization of the classical DELL system which was previously found in the string theory literature. The eigenfunctions for the N-body model are instanton partition functions of 6d SU(N) gauge theory with adjoint matter compactified on a torus with a codimension two defect. As a byproduct we discover new family of symmetric orthogonal polynomials which provide an elliptic generalization to Macdonald polynomials.


title: Graphon convergence of random cographs

abstract: We study the behaviour of random labelled and unlabelled cographs with n vertices as n tends to infinity. Our main result is a novel probabilistic limit in the space of graphons.


title: Millimeter-Wave Path Loss at 73 GHz in Indoor and Outdoor Airport Environments

abstract: In this paper, two large-scale fading path loss models are presented based on indoor and outdoor channel measurements at 73 GHz. The line-of-sight millimeter-wave propagation measurement campaigns were uniquely conducted within the indoor and outdoor environments at an airport setting, i.e., the Boise Airport. The channel measurements were made with directional transmit and receive antennas with a 24 dBi gain at different receive antenna heights. From the measured data, we obtained the parameters of two path loss models, i.e., the close-in reference distance model (CIM) and the floating-intercept model (FIM). Results show that the path loss exponents estimated from the CIM are very close to that of the free-space path loss model, while the FIM provides a better fit to the measurement data.


title: Partial Quantifier Elimination With Learning

abstract: We consider a modification of the Quantifier Elimination (QE) problem called Partial QE (PQE). In PQE, only a small part of the formula is taken out of the scope of quantifiers. The appeal of PQE is that many verification problems, e.g. equivalence checking and model checking, reduce to PQE and the latter is much easier than complete QE. Earlier, we introduced a PQE algorithm based on the machinery of D-sequents. A D-sequent is a record stating that a clause is redundant in a quantified CNF formula in a specified subspace. To make this algorithm efficient, it is important to reuse learned D-sequents. However, reusing D-sequents is not as easy as conflict clauses in SAT-solvers because redundancy is a structural rather than a semantic property. Earlier, we modified the definition of D-sequents to enable their safe reusing. In this paper, we present a PQE algorithm based on new D-sequents. It is different from its predecessor in two aspects. First, the new algorithm can learn and reuse D-sequents. Second, it proves clauses redundant one by one and thus backtracks as soon as the current target clause is proved redundant in the current subspace. This makes the new PQE algorithm similar to a SAT-solver that backtracks as soon as just one clause is falsified. We show experimentally that the new PQE algorithm outperforms its predecessor.


title: Eigenvalue crossings in Floquet topological systems

abstract: The topology of electrons on a lattice subject to a periodic driving is captured by the three-dimensional winding number of the propagator that describes time-evolution within a cycle. This index captures the homotopy class of such a unitary map. In this paper, we provide an interpretation of this winding number in terms of local data associated to the the eigenvalue crossings of such a map over a three dimensional manifold, based on an idea from Nathan and Rudner, New Journal of Physics, 17(12) 125014, 2015. We show that, up to homotopy, the crossings are a finite set of points and non degenerate. Each crossing carries a local Chern number, and the sum of these local indices coincides with the winding number. We then extend this result to fully degenerate crossings and extended submanifolds to connect with models from the physics literature. We finally classify up to homotopy the Floquet unitary maps, defined on manifolds with boundary, using the previous local indices. The results rely on a filtration of the special unitary group as well as the local data of the basic gerbe over it.


title: Including massive neutrinos in thermal Sunyaev Zeldovich power spectrum and cluster counts analyses

abstract: We consistently include the effect of massive neutrinos in the thermal Sunyaev Zeldovich (SZ) power spectrum and cluster counts analyses, highlighting subtle dependencies on the total neutrino mass and data combination. In particular, we find that using the transfer functions for Cold Dark Matter (CDM) + baryons in the computation of the halo mass function, instead of the transfer functions including neutrino perturbations, as prescribed in recent work, yields a $\approx$ 0.25\% downward shift of the $\sigma_8$ constraint from tSZ power spectrum data, with a fiducial neutrino mass $\Sigma m_\nu=0.06$ eV. In $\Lambda$CDM, with an X-ray mass bias corresponding to the expected hydrostatic mass bias, i.e., $(1-b)\simeq0.8$, our constraints from Planck SZ data are consistent with the latest results from SPT, DES-Y1 and KiDS+VIKING-450. In $\nu\Lambda$CDM, our joint analyses of Planck SZ with Planck 2015 primary CMB yield a small improvement on the total neutrino mass bound compared to the Planck 2015 primary CMB constraint, as well as $(1-b)=0.64\pm0.04$~(68\%~CL). For forecasts, we find that competitive neutrino mass measurements using cosmic variance limited SZ power spectrum require masking the heaviest clusters and probing the small-scale SZ power spectrum up to $\ell_\mathrm{max}\approx10^4$. Although this is challenging, we find that SZ power spectrum can realistically be used to tightly constrain intra-cluster medium properties: we forecast a 2\% determination of the X-ray mass bias by combining CMB-S4 and our mock SZ power spectrum with $\ell_\mathrm{max}=10^3$.


title: A lower bound for the void coalescence load in nonlinearly elastic solids

abstract: The problem of the sudden growth and coalescence of voids in elastic media is considered. The Dirichlet energy is minimized among incompressible and invertible Sobolev deformations of a two-dimensional domain having $n$ microvoids of radius $\varepsilon$. The constraint is added that the cavities should reach at least certain minimum areas $v_{1},...,v_{n}$ after the deformation takes place. They can be thought of as the current areas of the cavities during a quasistatic loading, the variational problem being the way to determine the state to be attained by the elastic body in a subsequent time step. It is proved that if each $v_{i}$ is smaller than the area of a disk having a certain well defined radius, which is comparable to the distance, in the reference configuration, to either the boundary of the domain or the nearest cavity (whichever is closer), then there exists a range of external loads for which the cavities opened in the body are circular in the $\varepsilon \rightarrow 0$ limit.


title: On Fabry P\'erot Etalon based Instruments. II. The Anisotropic (Birefringent) Case

abstract: Crystalline etalons present several advantages with respect to other types of filtergraphs when employed in magnetographs. Specially that they can be tuned by only applying electric fields. However, anisotropic crystalline etalons can also introduce undesired birefringent effects that corrupt the polarization of the incoming light. In particular, uniaxial Fabry-P\'erots, such as LiNbO3 etalons, are birefringent when illuminated with an oblique beam. The farther the incidence from the normal, the larger the induced retardance between the two orthogonal polarization states. The application of high-voltages, as well as fabrication defects, can also change the direction of the optical axis of the crystal, introducing birefringence even at normal illumination. Here we obtain analytical expressions for the induced retardance and for the Mueller matrix of uniaxial etalons located in both collimated and telecentric configurations. We also evaluate the polarimetric behavior of Z-cut crystalline etalons with the incident angle, with the orientation of the optical axis, and with the f-number of the incident beam for the telecentric case. We study artificial signals produced in the output Stokes vector in the two configurations. Last, we discuss the polarimetric dependence of the imaging response of the etalon for both collimated and telecentric setups.


title: EVulHunter: Detecting Fake Transfer Vulnerabilities for EOSIO's Smart Contracts at Webassembly-level

abstract: As one of the representative Delegated Proof-of-Stake (DPoS) blockchain platforms, EOSIO's ecosystem grows rapidly in recent years. A number of vulnerabilities and corresponding attacks of EOSIO's smart contracts have been discovered and observed in the wild, which caused a large amount of financial damages. However, the majority of EOSIO's smart contracts are not open-sourced. As a result, the WebAssembly code may become the only available object to be analyzed in most cases. Unfortunately, current tools are web-application oriented and cannot be applied to EOSIO WebAssembly code directly, which makes it more difficult to detect vulnerabilities from those smart contracts. In this paper, we propose \toolname, a static analysis tool that can be used to detect vulnerabilities from EOSIO WASM code automatically. We focus on one particular type of vulnerabilities named \textit{fake-transfer}, and the exploitation of such vulnerabilities has led to millions of dollars in damages. To the best of our knowledge, it is the first attempt to build an automatic tool to detect vulnerabilities of EOSIO's smart contracts. The experimental results demonstrate that our tool is able to detect fake transfer vulnerabilities quickly and precisely. EVulHunter is available on GitHub\footnote{Tool and benchmarks: https://github.com/EVulHunter/EVulHunter} and YouTube\footnote{Demo video: https://youtu.be/5SJ0ZJKVZvw}.


title: Accelerating Universe with a stable extra dimension in cuscuton gravity

abstract: We study Kaluza-Klein cosmology in cuscuton gravity and find an exact solution describing an accelerating 4-dimensional universe with a stable extra dimension. A cuscuton which is a non-dynamical scalar field is responsible for the accelerating expansion and a vector field makes the extra dimensional space stable. Remarkably, the accelerating universe in our model is not exactly de Sitter.


title: Reductions of Galois representations and the theta operator

abstract: Let $p\ge 5$ be a prime, and let $f$ be a cuspidal eigenform of weight at least $2$ and level coprime to $p$ of finite slope $\alpha$. Let $\bar{\rho}_f$ denote the mod $p$ Galois representation associated with $f$ and $\omega$ the mod $p$ cyclotomic character. Under an assumption on the weight of $f$, we prove that there exists a cuspidal eigenform $g$ of weight at least $2$ and level coprime to $p$ of slope $\alpha+1$ such that $$\bar{\rho}_f \otimes \omega \simeq \bar{\rho}_g,$$ up to semisimplification. The proof uses Hida-Coleman families and the theta operator acting on overconvergent forms. The structure of the reductions of the local Galois representations associated to cusp forms with slopes in the interval $[0,1)$ were determined by Deligne, Buzzard and Gee and for slopes in $[1,2)$ by Bhattacharya, Ganguli, Ghate, Rai and Rozensztajn. We show that these reductions, in spite of their somewhat complicated behavior, are compatible with the displayed equation above. Moreover, the displayed equation above allows us to predict the shape of the reductions of a class of Galois representations attached to eigenforms of slope larger than $2$. Finally, the methods of this paper allow us to obtain upper bounds on the radii of certain Coleman families.


title: Emotion Cognizance Improves Health Fake News Identification

abstract: Identifying misinformation is increasingly being recognized as an important computational task with high potential social impact. Misinformation and fake contents are injected into almost every domain of news including politics, health, science, business, etc., among which, the fakeness in health domain pose serious adverse effects to scare or harm the society. Misinformation contains scientific claims or content from social media exaggerated with strong emotion content to attract eyeballs. In this paper, we consider the utility of the affective character of news articles for fake news identification in the health domain and present evidence that emotion cognizant representations are significantly more suited for the task. We outline a technique to leverage emotion intensity lexicons to develop emotionized text representations, and evaluate the utility of such a representation for identifying fake news relating to health in various supervised and unsupervised scenarios. The consistent and significant empirical gains that we observe over a range of technique types and parameter settings establish the utility of the emotional information in news articles, an often overlooked aspect, for the task of misinformation identification in the health domain.


title: Software Engineering Practices for Machine Learning

abstract: In the last couple of years we have witnessed an enormous increase of machine learning (ML) applications. More and more program functions are no longer written in code, but learnt from a huge amount of data samples using an ML algorithm. However, what is often overlooked is the complexity of managing the resulting ML models as well as bringing these into a real production system. In software engineering, we have spent decades on developing tools and methodologies to create, manage and assemble complex software modules. We present an overview of current techniques to manage complex software, and how this applies to ML models.


title: Terahertz gas phase spectroscopy using a high finesse Fabry-P\'erot cavity

abstract: The achievable instrument sensitivity is a critical parameter for the continued development of THz applications. Techniques such as Cavity-Enhanced Techniques and Cavity Ring Down Spectroscopy have not yet been employed at THz frequency due to the difficulties to construct a high finesse Fabry-P\'erot cavity. Here, we describe such a THz resonator based on a low-loss oversized corrugated waveguide with highly reflective photonic mirrors obtaining a finesse above 3000 around 620 GHz. These components enable a Fabry-Perot THz Absorption Spectrometer with an equivalent interaction length of one kilometer giving access to line intensities as low as 10-27cm- 1/(molecule/cm2) with a S/N ratio of 3. In addition, the intracavity optical power have allowed the Lamb-Dip effect to be studied with a low-power emitter, an absolute frequency accuracy better than 5 kHz can be easily obtained providing an additional solution for rotational spectroscopy.


title: PermitBFT: Exploring the Byzantine Fast-Path

abstract: PermitBFT establishes a permissioned byzantine ledger in the partially synchronous networking model. For n replicas, PermitBFT tolerates up to f < n/3 byzantine replicas. It is the first BFT protocol to achieve a latency of just 2 message delays despite tolerating byzantine replicas throughout the "fast track", as long as they are not the leader. The design of PermitBFT relies on two fundamental concepts. First, in PermitBFT the participating nodes do not wait for a distinguished leader to act and subsequently confirm its actions, but send permits to the next leader proactively. Second, PermitBFT achieves a separation of the decision powers that are usually concentrated on a single leader node. A leader in PermitBFT controls which transactions to include in a new block, but not where to append the block in the block graph.


title: Acoustic Modeling for Automatic Lyrics-to-Audio Alignment

abstract: Automatic lyrics to polyphonic audio alignment is a challenging task not only because the vocals are corrupted by background music, but also there is a lack of annotated polyphonic corpus for effective acoustic modeling. In this work, we propose (1) using additional speech and music-informed features and (2) adapting the acoustic models trained on a large amount of solo singing vocals towards polyphonic music using a small amount of in-domain data. Incorporating additional information such as voicing and auditory features together with conventional acoustic features aims to bring robustness against the increased spectro-temporal variations in singing vocals. By adapting the acoustic model using a small amount of polyphonic audio data, we reduce the domain mismatch between training and testing data. We perform several alignment experiments and present an in-depth alignment error analysis on acoustic features, and model adaptation techniques. The results demonstrate that the proposed strategy provides a significant error reduction of word boundary alignment over comparable existing systems, especially on more challenging polyphonic data with long-duration musical interludes.


title: Geo-Based Scheduling for C-V2X Networks

abstract: Cellular Vehicle-to-Everything (C-V2X) networks can operate without cellular infrastructure support. Vehicles can autonomously select their radio resources using the sensing-based Semi-Persistent Scheduling (SPS) algorithm specified by the Third Generation Partnership Project (3GPP). The sensing nature of the SPS scheme makes C-V2X communications prone to the well-known hidden-terminal problem. To address this problem, this paper proposes a novel geo-based scheduling scheme that allows vehicles to autonomously select their radio resources based on the location and ordering of neighboring vehicles on the road. The proposed scheme results in an implicit resource selection coordination between vehicles (even with those outside the sensing range) that reduces packet collisions. This paper evaluates analytically and through simulations the proposed scheduling scheme. The obtained results demonstrate that it reduces packet collisions and significantly increases the C-V2X performance compared to when using the sensing-based SPS scheme.


title: Energy conservation for the weak solutions to the equations of compressible magnetohydrodynamic flows in three dimensions

abstract: In this paper, we prove the energy conservation for the weak solutions to the three-dimensional equations of compressible magnetohydrodynamic flows (MHD) under certain conditions only about density and velocity. This work is inspired by the seminal work by Yu [27] on the energy conservation of compressible Navier-Stokes equations. Our result indicates that even the magnetic field is taken into account, we only need some regularity conditions of the density and velocity as in [27] to ensure the energy conservation.


title: Dynamic time series clustering via volatility change-points

abstract: This note outlines a method for clustering time series based on a statistical model in which volatility shifts at unobserved change-points. The model accommodates some classical stylized features of returns and its relation to GARCH is discussed. Clustering is performed using a probability metric evaluated between posterior distributions of the most recent change-point associated with each series. This implies series are grouped together at a given time if there is evidence the most recent shifts in their respective volatilities were coincident or closely timed. The clustering method is dynamic, in that groupings may be updated in an online manner as data arrive. Numerical results are given analyzing daily returns of constituents of the S&P 500.


title: Mean values of derivatives of $L$-functions in function fields: IV

abstract: In this series, we investigate the calculation of mean values of derivatives of Dirichlet $L$-functions in function fields using the analogue of the approximate functional equation and the Riemann Hypothesis for curves over finite fields. The present paper generalizes the results obtained in the first paper. For $\mu\geq1$ an integer, we compute the mean value of the $\mu$-th derivative of quadratic Dirichlet $L$-functions over the rational function field. We obtain the full polynomial in the asymptotic formulae for these mean values where we can see the arithmetic dependence of the lower order terms that appears in the asymptotic expansion.


title: Integral Geometry about the visual angle of a convex set

abstract: In this paper we deal with a general type of integral formulas of the visual angle, among them those of Crofton, Hurwitz and Masotti, from the point of view of Integral Geometry. The purpose is twofold: to provide an interpretation of these formulas in terms of integrals of densities with respect to the canonical measure in the space of pairs of lines and to give new simpler proofs of them.


title: Quantum speedup of branch-and-bound algorithms

abstract: Branch-and-bound is a widely used technique for solving combinatorial optimisation problems where one has access to two procedures: a branching procedure that splits a set of potential solutions into subsets, and a cost procedure that determines a lower bound on the cost of any solution in a given subset. Here we describe a quantum algorithm that can accelerate classical branch-and-bound algorithms near-quadratically in a very general setting. We show that the quantum algorithm can find exact ground states for most instances of the Sherrington-Kirkpatrick model in time $O(2^{0.226n})$, which is substantially more efficient than Grover's algorithm.


title: Competing Electronic Phases near the Onset of Superconductivity in Hole-doped SrFe2As2

abstract: An intriguingly complex phase diagram of Na-doped SrFe2As2 is uncovered using high-resolution thermal-expansion, magnetization and heat-capacity measurements. The detailed temperature dependence of the orthorhombic distortion and the anisotropy of the uniform magnetic susceptibility provide evidence for nine distinct electronic phases near the transition region between stripe antiferromagnetism and unconventional superconductivity. In particular, we report the finding of a new magnetic phase which competes surprisingly strongly with superconductivity. From theoretical studies we propose that this phase is a double-Q phase consisting of a mixture of symmetry-distinct commensurate magnetic orders with a peculiar temperature-dependent magnetic moment reorientation.


title: On the accuracy of message-passing approaches to percolation in complex networks

abstract: The Message-Passing Approach (MPA) is the state-of-the-art technique to obtain quasi-analytical predictions for percolation on real complex networks. Besides being intuitive and straightforward, it has the advantage of being mathematically principled: it is exact on trees, while yielding generally good predictions on networks containing cycles as do most real complex networks. Here we show that the MPA does not perform its calculations on some ill-defined tree-like approximation of the network, as its formulation leads to believe, but rather considers a random network ensemble in which the original network is cloned and shuffled an infinite number of times. We conclude that the fact that the MPA is exact on trees does not imply that it is nearly exact on tree-like networks. In fact we find that the closer a non-tree network is to a tree, the worse the MPA accuracy becomes.


title: Peril v. Promise: IoT and the Ethical Imaginaries

abstract: The future scenarios often associated with Internet of Things (IoT) oscillate between the peril of IoT for the future of humanity and the promises for an ever-connected and efficient future. Such a dichotomous positioning creates problems not only for expanding the field of application of the technology, but also ensuring ethical and responsible design and production. As part of VirtEU (Values and Ethics in Innovation for Responsible Technology in Europe) (EU Horizon 2020 FP7), we have conducted ethnographic research into the main hubs of IoT in Europe, such as London, Amsterdam, Barcelona and Belgrade, with developers and designers of IoT to identify the challenges they face in their day-to-day work. In this paper, we focus on the IoT and the ethical imaginaries explore the practical challenges IoT developers face when they are designing, producing and marketing IoT technologies. We argue that top-down ethical frameworks that overlook the situated capabilities of developers or the solutionist approaches that treat ethical issues as technical problems are unlikely to provide an alternative to the dichotomous imaginary for the future.


title: Blocking Mechanism of Porn Website in India: Claim and Truth

abstract: In last few years, the addiction of internet is apparently recognized as the serious threat to the health of society. This internet addiction gives an impetus to pornographic addiction because most of the pornographic content is accessible through internet. There have been ethical concerns on blocking the contents over internet. In India Uttarakhand High court has taken initiative for the blocking of pornographic content over internet. Technocrats are coming up with various innovative mechanisms to block the content over internet with various techniques, although long ago in 2015. The Supreme Court of India has already asked to block some of the websites but it could not be materialized. The focus of this research paper is to review the effectiveness of blocking existing web content blocking mechanism of pornographic websites in Indian context.


title: High Resolution and High Precision Beam Profile Monitor for Particle Accelerator using linear contact image sensor

abstract: A compact beam-profile monitor was constructed using a linear contact image sensor attached to a plastic scintillator and tested using a 230 MeV proton beam. The results indicate that the beam distribution can be obtained in real-time, and the beam position with a precision of up to 0.03 mm. The compactness and high precision of the device hold considerable potential for it to be used as a beam-profile monitor and offline, daily quality assurance monitor in hadron therapy.


title: General solutions of the leakage in integral transforms and applications to the EB-leakage and detection of the cosmological gravitational wave background

abstract: For an orthogonal integral transform with complete dataset, any two components are linearly independent; however, when some data points are missing, there is going to be leakage from one component to another, which is referred to as the "leakage in integral transforms" in this work. A special case of this kind of leakage is the EB-leakage in detection of the cosmological gravitational wave background (CGWB). I first give the general solutions for all integral transforms, prove that they are the best solutions, and then apply them to the case of EB-leakage and detection of the CGWB. In the upcoming decade, most likely, new cosmic microwave background (CMB) data are from ground/balloon experiments, so they provide only partial sky coverage. Even in a fullsky mission, due to the Galactic foreground, part of the sky is still unusable. Within this context, the EB-leakage becomes inevitable. I show how to use the general solutions to achieve the minimal error bars of the EB-leakage, and use it to find out the maximum ability to detect the CGWB through CMB. The results show that, when focusing on the tensor-to-scalar ratio $r$ (at a pivot scale of 0.05 Mpc$^{-1}$), $1\%$ sky coverage ($f_{sky}=1\%$) is enough for a $5\sigma$-detection of $r\ge 10^{-2}$, but is barely enough for $r=10^{-3}$. If the target is to detect $r\sim 10^{-4}$ or $10^{-5}$, then $f_{sky}\ge 10\%$ is strongly recommended to enable a $5\sigma$-detection and to reserve some room for other errors.


title: Accelerating Deep Reinforcement Learning strategies of Flow Control through a multi-environment approach

abstract: Deep Reinforcement Learning (DRL) has recently been proposed as a methodology to discover complex Active Flow Control (AFC) strategies [Rabault, J., Kuchta, M., Jensen, A., Reglade, U., & Cerardi, N. (2019): "Artificial neural networks trained through deep reinforcement learning discover control strategies for active flow control", Journal of Fluid Mechanics, 865, 281-302]. However, while promising results were obtained on a simple 2D benchmark flow at a moderate Reynolds number, considerable speedups will be required to investigate more challenging flow configurations. In the case of DRL trained with Computational Fluid Dynamics (CFD) data, it was found that the CFD part, rather than training the Artificial Neural Network, was the limiting factor for speed of execution. Therefore, speedups should be obtained through a combination of two approaches. The first one, which is well documented in the literature, is to parallelize the numerical simulation itself. The second one is to adapt the DRL algorithm for parallelization. Here, a simple strategy is to use several independent simulations running in parallel to collect experiences faster. In the present work, we discuss this solution for parallelization. We illustrate that perfect speedups can be obtained up to the batch size of the DRL agent, and slightly suboptimal scaling still takes place for an even larger number of simulations. This is, therefore, an important step towards enabling the study of more sophisticated Fluid Mechanics problems through DRL.


title: Holomorphic Vector Field and Topological Sigma Model on CP^1 World Sheet

abstract: Witten suggested that fixed-point theorems can be derived by the supersymmetric sigma model on a Riemann manifold M with potential term induced from Killing vector on M. One of the well-known fixed-point theorem is the Bott residue formula which represents intersection number of Chern classes of holomorphic vector bundles on a Kahler manifold M as sum of contributions from fixed point sets of a holomorphic vector field K on M. In this paper, we derive the Bott residue formula by using topological sigma model (A-model) that describes dynamics of maps from CP^{1} to M, with potential term induced from the vector field $K$. Our strategy is to restrict phase space of path integral to maps homotopic to constant maps. As an effect of adding a potential term to topological sigma model, we are forced to modify BRST symmetry of the original topological sigma model. Our potential term and BRST symmetry are closely related to the idea used in the paper by Beasley and Witten where potential terms induced from holomorphic section of a holomorphic vector bundle and corresponding supersymmetry are considered.


title: Influence of electron-hole plasma on Rydberg excitons in cuprous oxide

abstract: We develop a many-body approach to the behavior of exciton bound states and the conduction electron band edge in a surrounding electron-hole plasma with a focus on the absorption spectrum of Rydberg excitons in cuprous oxide. The interplay of band edge and exciton levels is analyzed numerically, whereby the self-consistent solution is compared to the semiclassical Debye approximation. Our results provide criteria which allow to verify or rule out the different band edge models against future experimental data.


title: Ordinary Low Alpha Proportional Counter with Low Cost Commercial Data Acquisition System

abstract: In this study, we present a low cost and commercially available data acquisition system (DAQ) for an ordinary low alpha proportional counter. By employing this DAQ system and aid of a simple physical model, we can easily rule out the common disadvantage of proportional type low alpha counters, such as sensitive to electromagnetic interference and vibration. The obtained results demonstrated that this method has improved the capability of an ordinary low alpha counter and even makes it easier to operate in a worse ground-loop laboratory.


title: Tone-index Multisine Modulation for SWIPT

abstract: We propose a new simultaneous wireless information and power transfer (SWIPT) technique that embeds information bits in the tone-index of multisine waveforms. By varying the number of subcarriers of the transmitted bandwidth-constrained multisine signal, the proposed scheme enables efficient radio-frequency energy harvesting and low-complexity information transmission. The receiver does not require channel estimation and employs a non-coherent maximum-likelihood detection at the envelope of the received signal. The performance of the proposed tone-index modulation is evaluated in terms of average error probability for a flat-fading channel, and we show that it outperforms its peak-to-average-power-ratio counterpart.


title: On purely nonlinear oscillators generalizing an isotonic potential

abstract: In this paper we consider a nonlinear generalization of the isotonic oscillator in the same spirit as one considers the generalization of the harmonic oscillator with a truly nonlinear restoring force. The corresponding potential being asymmetric we invoke the symmetrization principle and construct a symmetric potential in which the period function has the same value as in the original asymmetric potential. The period function is amplitude dependent and expressible in terms of the hypergeometric function and reduces to $2\pi$ when $\alpha=1$, i.e., corresponding to the special case of an isotonic oscillator.


title: Lead-lag Relationships in Foreign Exchange Markets

abstract: Lead-lag relationships among assets represent a useful tool for analyzing high frequency financial data. However, research on these relationships predominantly focuses on correlation analyses for the dynamics of stock prices, spots and futures on market indexes, whereas foreign exchange data have been less explored. To provide a valuable insight on the nature of the lead-lag relationships in foreign exchange markets here we perform a detailed study for the one-minute log returns on exchange rates through three different approaches: i) lagged correlations, ii) lagged partial correlations and iii) Granger causality. In all studies, we find that even though for most pairs of exchange rates lagged effects are absent, there are many pairs which pass statistical significance tests. Out of the statistically significant relationships, we construct directed networks and investigate the influence of individual exchange rates through the PageRank algorithm. The algorithm, in general, ranks stock market indexes quoted in their respective currencies, as most influential. In contrast to the claims of the efficient market hypothesis, these findings suggest that all market information does not spread instantaneously.


title: Tunneling spectroscopy of localized states of $\mathrm{WS}_2$ barriers in vertical van der Waals heterostructures

abstract: In transition metal dichalcogenides, defects have been found to play an important role, affecting doping, spin-valley relaxation dynamics, and assisting in proximity effects of spin-orbit coupling. Here, we study localized states in $\mathrm{WS}_2$ and how they affect tunneling through van der Waals heterostructures of h-BN/graphene/$\mathrm{WS}_2$/metal. The obtained conductance maps as a function of bias and gate voltage reveal single-electron transistor behavior (Coulomb blockade) with a rich set of transport features including excited states and negative differential resistance regimes. Applying a perpendicular magnetic field, we observe a shift in the energies of the quantum levels and information about the orbital magnetic moment of the localized states is extracted.


title: Obstructions to deforming curves on an Enriques-Fano 3-fold

abstract: We study the deformations of a curve $C$ on an Enriques-Fano $3$-fold $X \subset \mathbb P^n$, assuming that $C$ is contained in a smooth hyperplane section $S \subset X$, that is a smooth Enriques surface in $X$. We give a sufficient condition for $C$ to be (un)obstructed in $X$, in terms of half pencils and $(-2)$-curves on $S$. Let $\operatorname{Hilb}^{sc} X$ denote the Hilbert scheme of smooth connected curves in $X$. By using the Hilbert-flag scheme of $X$, we also compute the dimension of $\operatorname{Hilb}^{sc} X$ at $[C]$ and give a sufficient condition for $\operatorname{Hilb}^{sc} X$ to contain a generically non-reduced irreducible component of Mumford type.


title: Stable exponential cosmological solutions with three different Hubble-like parameters in EGB model with a $\Lambda$-term

abstract: We consider a $D$-dimensional Einstein-Gauss-Bonnet model with a cosmological term $\Lambda$ and two non-zero constants: $\alpha_1$ and $\alpha_2$. We restrict the metrics to be diagonal ones and study a class of solutions with exponential time dependence of three scale factors, governed by three non-coinciding Hubble-like parameters: $H \neq 0$, $h_1$ and $h_2$, obeying $m H + k_1 h_1 + k_2 h_2 \neq 0$ and corresponding to factor spaces of dimensions $m > 1$, $k_1 > 1$ and $k_2 > 1$, respectively ($D = 1 + m + k_1 + k_2$). We analyse two cases: i) $m < k_1 < k_2$ and ii) $1< k_1 = k_2 = k$, $k \neq m$. We show that in both cases the solutions exist if $\alpha = \alpha_2 / \alpha_1 > 0$ and $\alpha \Lambda > 0$ satisfies certain restrictions, e.g. upper and lower bounds. In case ii) explicit relations for exact solutions are found. In both cases the subclasses of stable and non-stable solutions are singled out. For $m > 3$ the case i) contains a subclass of solutions describing an exponential expansion of $3$-dimensional subspace with Hubble parameter $H > 0$ and zero variation of the effective gravitational constant $G$. The case $H = 0$ is also considered.


title: Quasicrystals

abstract: Mathematicians have been interested in non-periodic tilings of space for decades; however, it was the unexpected discovery of non-periodically ordered structures in intermetallic alloys which brought this subject into the limelight. These fascinating materials, now called quasicrystals, are characterised by the coexistence of long-range atomic order and 'forbidden' symmetries which are incompatible with periodic arrangements in three-dimensional space. In the first part of this review, we summarise the main properties of quasicrystals, and describe how their structures relate to non-periodic tilings of space. The celebrated Penrose and Ammann-Beenker tilings are introduced as illustrative examples. The second part provides a closer look at the underlying mathematics. Starting from Bohr's theory of quasiperiodic functions, a general framework for constructing non-periodic tilings of space is described, and an alternative description as quasiperiodic coverings by overlapping clusters is discussed.


title: New code for equilibriums and quasiequilibrium initial data of compact objects. IV. Rotating relativistic stars with mixed poloidal and toroidal magnetic fields

abstract: A new code for computing fully general relativistic solutions of strongly magnetized rapidly rotating compact stars is developed as a part of the COCAL (Compact Object CALculator) code. The full set of Einstein's equations, Maxwell's equations and magnetohydrodynamic equations are consistently solved assuming perfect conductivity, stationarity, and axisymmetry, and strongly magnetized solutions associated with mixed poloidal and toroidal components of magnetic fields are successfully obtained in generic (non-circular) spacetimes. We introduce the formulation of the problem and the numerical method in detail, then present examples of extremely magnetized compact star solutions and their convergence tests. It is found that, in extremely magnetized stars, the stellar matter can be expelled from the region of strongest toroidal fields. Hence we conjecture that a toroidal electro-vacuum region may appear inside of the extremely magnetized compact stars, which may seem like the neutron star becoming the strongest toroidal solenoid coil in the universe.


title: Graphene/Polyelectrolyte Layer-by-Layer Coatings for Electromagnetic Interference Shielding

abstract: Electromagnetic interference (EMI) shielding coating materials with thicknesses in the microscale are required in many sectors, including communications, medical, aerospace and electronics, to isolate the electromagnetic radiation emitted from electronic equipment. We report a spray, layer-by-layer (LbL) coating approach to fabricate micron thick, highly-ordered and electrically-conductive coatings with exceptional EMI shielding effectiveness (EMI SE >4830 dB/mm), through the alternating self-assembly of negatively-charged reduced graphene oxide (RGO) and a positively-charged polyelectrolyte (PEI). The microstructure and resulting electrical properties of the (PEI/RGO)n LbL structures are studied as function of increasing mass of graphene deposited per cycle (keeping the PEI content constant), number of deposited layers (n), flake diameter and type of RGO. A strong effect of the lateral flake dimensions on the electrical properties is observed, which also influences the EMI SE. A maximum EMI SE of 29 dB is obtained for a 6 um thick (PEI/RGO)10 coating with 19 vol.% loading of reduced electrochemically-exfoliated graphene oxide flakes with diameters ~3um. This SE performance exceeds those previously reported for thicker graphene papers and bulk graphene/polymer composite films with higher RGO or graphene nanoplatelets contents, which represents an important step towards the fabrication of thin and light-weight high-performance EMI shielding structures.


title: Quantitative Verification of Neural Networks And its Security Applications

abstract: Neural networks are increasingly employed in safety-critical domains. This has prompted interest in verifying or certifying logically encoded properties of neural networks. Prior work has largely focused on checking existential properties, wherein the goal is to check whether there exists any input that violates a given property of interest. However, neural network training is a stochastic process, and many questions arising in their analysis require probabilistic and quantitative reasoning, i.e., estimating how many inputs satisfy a given property. To this end, our paper proposes a novel and principled framework to quantitative verification of logical properties specified over neural networks. Our framework is the first to provide PAC-style soundness guarantees, in that its quantitative estimates are within a controllable and bounded error from the true count. We instantiate our algorithmic framework by building a prototype tool called NPAQ that enables checking rich properties over binarized neural networks. We show how emerging security analyses can utilize our framework in 3 concrete point applications: quantifying robustness to adversarial inputs, efficacy of trojan attacks, and fairness/bias of given neural networks.


title: A hybrid penalty method for a class of optimization problems with multiple rank constraints

abstract: In this paper, we consider the problem of minimizing a smooth objective over multiple rank constraints on Hankel-structured matrices. This kind of problems arises in system identification, system theory and signal processing, where the rank constraints are typically "hard constraints". To solve these problems, we propose a hybrid penalty method that combines a penalty method with a post-processing scheme. Specifically, we solve the penalty subproblems until the penalty parameter reaches a given threshold, and then switch to a local alternating "pseudo-projection'' method to further reduce constraint violation. Pseudo-projection is a generalization of the concept of projection. We show that a pseudo-projection onto a {\em single} low-rank Hankel-structured matrix constraint can be computed efficiently by existing softwares such as SLRA (Markovsky and Usevich, 2014), under mild assumptions. We also demonstrate how the penalty subproblems in the hybrid penalty method can be solved by pseudo-projection-based optimization methods, and then present some convergence results for our hybrid penalty method. Finally, the efficiency of our method is illustrated by numerical examples.


title: Contact-less phonon detection with massive cryogenic absorbers

abstract: We have developed a contact-less technique for the real time measurement of a-thermal (Cooper-pair breaking) phonons in an absorber held at sub-Kelvin temperatures. In particular, a thin-film aluminum superconducting resonator was realized on a 30-grams high-resistivity silicon crystal. The lumped-element resonator is inductively excited/read-out by a radio-frequency microstrip feed-line deposited on another wafer; the sensor, a Kinetic Inductance Detector (KID), is read-out without any physical contact or wiring to the absorber. The resonator demonstrates excellent electrical properties, particularly in terms of its internal quality factor. The detection of alphas and gammas in the massive absorber is achieved, with an RMS energy resolution of about 1.4 keV, which is already interesting for particle physics applications. The resolution of this prototype detector is mainly limited by the low (about 0.3%) conversion efficiency of deposited energy to superconducting excitations (quasi-particles). The demonstrated technique can be further optimized, and used to produce large arrays of a-thermal phonon detectors, for use in rare events searches such as: dark matter direct detection,neutrino-less double beta decay, or coherent elastic neutrino-nucleus scattering.


title: Future of Computing is Boring (and that is exciting!) or How to get to Computing Nirvana in 20 years or less

abstract: We see a trend where computing becomes a metered utility similar to how the electric grid evolved. Initially electricity was generated locally but economies of scale (and standardization) made it more efficient and economical to have utility companies managing the electric grid. Similar developments can be seen in computing where scientific grids paved the way for commercial cloud computing offerings. However, in our opinion, that evolution is far from finished and in this paper we bring forward the remaining challenges and propose a vision for the future of computing. In particular we focus on changes in cost of computing and high cost of human time in comparison that indicates that saving developer time is the most important for future of computing.


title: End-to-End Learning of Multi-scale Convolutional Neural Network for Stereo Matching

abstract: Deep neural networks have shown excellent performance in stereo matching task. Recently CNN-based methods have shown that stereo matching can be formulated as a supervised learning task. However, less attention is paid on the fusion of contextual semantic information and details. To tackle this problem, we propose a network for disparity estimation based on abundant contextual details and semantic information, called Multi-scale Features Network (MSFNet). First, we design a new structure to encode rich semantic information and fine-grained details by fusing multi-scale features. And we combine the advantages of element-wise addition and concatenation, which is conducive to merge semantic information with details. Second, a guidance mechanism is introduced to guide the network to automatically focus more on the unreliable regions. Third, we formulate the consistency check as an error map, obtained by the low stage features with fine-grained details. Finally, we adopt the consistency checking between the left feature and the synthetic left feature to refine the initial disparity. Experiments on Scene Flow and KITTI 2015 benchmark demonstrated that the proposed method can achieve the state-of-the-art performance.


title: Brain MR Image Segmentation in Small Dataset with Adversarial Defense and Task Reorganization

abstract: Medical image segmentation is challenging especially in dealing with small dataset of 3D MR images. Encoding the variation of brain anatomical struc-tures from individual subjects cannot be easily achieved, which is further chal-lenged by only a limited number of well labeled subjects for training. In this study, we aim to address the issue of brain MR image segmentation in small da-taset. First, concerning the limited number of training images, we adopt adver-sarial defense to augment the training data and therefore increase the robustness of the network. Second, inspired by the prior knowledge of neural anatomies, we reorganize the segmentation tasks of different regions into several groups in a hierarchical way. Third, the task reorganization extends to the semantic level, as we incorporate an additional object-level classification task to contribute high-order visual features toward the pixel-level segmentation task. In experiments we validate our method by segmenting gray matter, white matter, and several major regions on a challenge dataset. The proposed method with only seven subjects for training can achieve 84.46% of Dice score in the onsite test set.


title: Graph-Based Offline Signature Verification

abstract: Graphs provide a powerful representation formalism that offers great promise to benefit tasks like handwritten signature verification. While most state-of-the-art approaches to signature verification rely on fixed-size representations, graphs are flexible in size and allow modeling local features as well as the global structure of the handwriting. In this article, we present two recent graph-based approaches to offline signature verification: keypoint graphs with approximated graph edit distance and inkball models. We provide a comprehensive description of the methods, propose improvements both in terms of computational time and accuracy, and report experimental results for four benchmark datasets. The proposed methods achieve top results for several benchmarks, highlighting the potential of graph-based signature verification.


title: Mean square displacement and instantaneous diffusion coefficient of charged particles in stochastic motion

abstract: The mean square displacement and instantaneous diffusion coefficient for different configurations of charged particles in stochastic motion are calculated by numerically solving the associated equations of motion. The method is suitable for obtaining accurate descriptions of diffusion in both intermediate and long time regimes. It is also appropriate for studying a variety of astrophysical configurations since it may incorporate microscopic physics that analytical methods cannot cope with. The results show that, in the intermediary time regime, the diffusion coefficient has an irregular behavior, which can be described in terms of the complex interplay appearing between the physical parameters describing the configuration. The main conclusion is that such an approach may serve at differential diagnosis of different astrophysical configurations.


title: Dynamic Programming Method for Best Piecewise Linear Approximation for Vector Field of Nonlinear Boundary Value Problems on the Interval [0, 1]

abstract: An important problem that arises in many engineering applications is the boundary value problem for ordinary differential equations. There have been many computational methods proposed for dealing with this problem. The convergence of the iterative schemes to a true solution, when one such exists, and their numerical stability are the central issues discussed in the literature. In this paper, we discuss a method for approximating the vector field, maintaining the boundary conditions and numerical stability. If a true solution exists, a subsequence of solutions convergent to one such can be produced, by finer discretization of the solution space.


title: Understanding the volume-diffusion governed shape-instabilities in metallic systems

abstract: The reliability of any day-to-day material is critically dictated by its properties. One factor which governs the behaviour of a material, under a given condition, is the microstructure. Despite the absence of any phase transformation, a change in the microstructure would significantly alter the properties. Therefore, a substantial understanding on the stability of the microstructure is vital to avert any unexpected catastrophic change in the material properties. In the present work, one such numerical approach called phase-field modelling in employed to analyse the stability of two- and three-dimensional finite structures, which dictate the curvature-driven evolution of the microstructure. A characteristic feature of this numerical approach is the introduction of a scalar variable, called the phase field, in addition to the other thermodynamic variables. While the inclusion of the phase field obviates the need for the interface tracking, which is a strenuous aspect of the other conventional techniques, it replaces the sharp interface with a finite diffuse region. Therefore, before adopting and extending the phase-field technique, it is shown that the model recovers the governing law, i.e, Gibbs-Thomson relation, despite the introduction of the diffuse interface. Subsequently, the numerical treatment is employed to investigate the volume-diffusion governed curvature-induced transformation.


title: Spin-split band hybridization in graphene proximitized with $\alpha$-RuCl$_3$ nanosheets

abstract: Proximity effects induced in the 2D Dirac material graphene potentially open access to novel and intriguing physical phenomena. Thus far, the coupling between graphene and ferromagnetic insulators has been experimentally established. However, only very little is known about graphene's interaction with antiferromagnetic insulators. Here, we report a low temperature study of the electronic properties of high quality van der Waals heterostructures composed of a single graphene layer proximitized with $\alpha$-RuCl$_3$. The latter is known to become antiferromagnetically ordered below 10 K. Shubnikov de Haas oscillations in the longitudinal resistance together with Hall resistance measurements provide clear evidence for a band realignment that is accompanied by a transfer of electrons originally occupying the graphene's spin degenerate Dirac cones into $\alpha$-RuCl$_3$ band states with in-plane spin polarization. Left behind are holes in two separate Fermi pockets, only the dispersion of one of which is distorted near the Fermi energy due to spin selective hybridization with these spin polarized $\alpha$-RuCl$_3$ band states. This interpretation is supported by our DFT calculations. An unexpected damping of the quantum oscillations as well as a zero field resistance upturn close to the N$\'e$el temperature of $\alpha$-RuCl$_3$ suggests the onset of additional spin scattering due to spin fluctuations in the $\alpha$-RuCl$_3$.


title: Alternating Catalan numbers and curves with triple ramification

abstract: It is known that the monodromy group of each cover of a general curve of genus g>3 equals either the symmetric or the alternating group. The classical Catalan numbers count the minimal degree covers (with symmetric monodromy) of a general curve of even genus. We solve the analogous problem for the alternating group and we determine the number of alternating covers of minimal degree 2g+1 of a general curve of genus g.