title: Two Disjoint 5-Holes in Point Sets

abstract: Given a set of points $S \subseteq \mathbb{R}^2$, a subset $X \subseteq S$ with $|X|=k$ is called $k$-gon if all points of $X$ lie on the boundary of the convex hull of $X$, and $k$-hole if, in addition, no point of $S \setminus X$ lies in the convex hull of $X$. We use computer assistance to show that every set of 17 points in general position admits two disjoint 5-holes, that is, holes with disjoint respective convex hulls. This answers a question of Hosono and Urabe (2001). We also provide new bounds for three and more pairwise disjoint holes. In a recent article, Hosono and Urabe (2018) present new results on interior-disjoint holes -- a variant, which also has been investigated in the last two decades. Using our program, we show that every set of 15 points contains two interior-disjoint 5-holes. Moreover, our program can be used to verify that every set of 17 points contains a 6-gon within significantly smaller computation time than the original program by Szekeres and Peters (2006). Another independent verification of this result was done by Mari\'c (2019).


title: Schur Ring, Run Structure and Periodic Compatible Binary Sequences

abstract: In this paper three Schur ring are discussed, namenly: Hamming, circulant orbists and decimated circulant orbits Schur ring. By using autocorrelation function and the run structure of binary sequences we proof the relation between this Schur ring and combinatorial structures such as Hadamard matrices, periodic compatible binary sequences and perfect binary sequences. Cai proved for binary sequences that the autocorrelation function is in fact completely determined by its run structure. Also, he characterised the structure of the circulant Hadamard matrices. We characterise a more general structure, called periodic compatible binary sequences ($PComS$ for brevety), which generalises Hadamard matrices, periodic complementary binary sequences and binary sequences with $2$-level autocorrelation. Families of periodic compatibles binary sequences are presented. Also, we compute a bounds on familias $PComS$ in Hamming Schur ring. The results obtained are applied to families of $PComS$ such as circulant, with one and two circulant cores, Goethals-Seidel type and partial Hadamard matrices and perfect binary sequences.


title: Synthesizing CT from Ultrashort Echo-Time MR Images via Convolutional Neural Networks

abstract: With the increasing popularity of PET-MR scanners in clinical applications, synthesis of CT images from MR has been an important research topic. Accurate PET image reconstruction requires attenuation correction, which is based on the electron density of tissues and can be obtained from CT images. While CT measures electron density information for x-ray photons, MR images convey information about the magnetic properties of tissues. Therefore, with the advent of PET-MR systems, the attenuation coefficients need to be indirectly estimated from MR images. In this paper, we propose a fully convolutional neural network (CNN) based method to synthesize head CT from ultra-short echo-time (UTE) dual-echo MR images. Unlike traditional $T_1$-w images which do not have any bone signal, UTE images show some signal for bone, which makes it a good candidate for MR to CT synthesis. A notable advantage of our approach is that accurate results were achieved with a small training data set. Using an atlas of a single CT and dual-echo UTE pair, we train a deep neural network model to learn the transform of MR intensities to CT using patches. We compared our CNN based model with a state-of-the-art registration based as well as a Bayesian model based CT synthesis method, and showed that the proposed CNN model outperforms both of them. We also compared the proposed model when only $T_1$-w images are available instead of UTE, and show that UTE images produce better synthesis than using just $T_1$-w images.


title: Comparing AdS/QCD and Sum Rules predictions for $B\to K^*\nu \bar\nu$

abstract: Using the form factors obtained from holographic AdS/QCD and QCD sum rules, we predict the differential branching ratio and longitudinal polarization fraction for the rare $B\to K^* \nu \bar\nu$ decay. This is an interesting decay channel as it does not suffer from hadronic uncertainties beyond the form factors. We point out that the future measurement of the $B\to K^* \nu \bar\nu$ with around 30% accuracy can discriminate between the two models.


title: Sparse Matrix Code Dependence Analysis Simplification at Compile Time

abstract: Analyzing array-based computations to determine data dependences is useful for many applications including automatic parallelization, race detection, computation and communication overlap, verification, and shape analysis. For sparse matrix codes, array data dependence analysis is made more difficult by the use of index arrays that make it possible to store only the nonzero entries of the matrix (e.g., in A[B[i]], B is an index array). Here, dependence analysis is often stymied by such indirect array accesses due to the values of the index array not being available at compile time. Consequently, many dependences cannot be proven unsatisfiable or determined until runtime. Nonetheless, index arrays in sparse matrix codes often have properties such as monotonicity of index array elements that can be exploited to reduce the amount of runtime analysis needed. In this paper, we contribute a formulation of array data dependence analysis that includes encoding index array properties as universally quantified constraints. This makes it possible to leverage existing SMT solvers to determine whether such dependences are unsatisfiable and significantly reduces the number of dependences that require runtime analysis in a set of eight sparse matrix kernels. Another contribution is an algorithm for simplifying the remaining satisfiable data dependences by discovering equalities and/or subset relationships. These simplifications are essential to make a runtime-inspection-based approach feasible.


title: Learning Human Activity Patterns using Clustered Point Processes with Active and Inactive States

abstract: Modeling event patterns is a central task in a wide range of disciplines. In applications such as studying human activity patterns, events often arrive clustered with sporadic and long periods of inactivity. Such heterogeneity in event patterns poses challenges for existing point process models. In this article, we propose a new class of clustered point processes that alternate between active and inactive states. The proposed model is flexible, highly interpretable, and can provide useful insights into event patterns. A composite likelihood approach and a composite EM estimation procedure are developed for efficient and numerically stable parameter estimation. We study both the computational and statistical properties of the estimator including convergence, consistency, and asymptotic normality. The proposed method is applied to Donald Trump's Twitter data to investigate if and how his behaviors evolved before, during, and after the presidential campaign. Additionally, we analyze large-scale social media data from Sina Weibo and identify interesting groups of users with distinct behaviors.


title: A Survey of the Usages of Deep Learning in Natural Language Processing

abstract: Over the last several years, the field of natural language processing has been propelled forward by an explosion in the use of deep learning models. This survey provides a brief introduction to the field and a quick overview of deep learning architectures and methods. It then sifts through the plethora of recent studies and summarizes a large assortment of relevant contributions. Analyzed research areas include several core linguistic processing issues in addition to a number of applications of computational linguistics. A discussion of the current state of the art is then provided along with recommendations for future research in the field.


title: Family Unification in Special Grand Unification

abstract: We discuss family unification in grand unified theory (GUT) based on an $SU(19)$ GUT gauge group broken to its subgroups including a special subgroup. In the $SU(19)$ GUT on the six-dimensional (6D) orbifold space $M^4\times T^2/\mathbb{Z}_2$, three generations of the 4D SM Weyl fermions can be embedded into a 6D bulk Weyl fermions in an $SU(19)$ second-rank anti-symmetric tensor representation. 6D and 4D gauge anomalies can be canceled out by considering proper matter content without 4D exotic chiral fermions at low energies.


title: An Ab Initio Investigation on the Electronic Structure, Defect Energetics, and Magnesium Kinetics in Mg$_3$Bi$_2$

abstract: We present a comprehensive ab initio investigation on Mg$_3$Bi$_2$, a promising Mg-ion battery anode material with high rate capacity. Through combined DFT (PBE, HSE06) and $G_0W_0$ electronic structure calculations, we find that Mg$_3$Bi$_2$ is likely to be a small band gap semiconductor. DFT-based defect formation energies indicate that Mg vacancies are likely to form in this material, with relativistic spin-orbit coupling significantly lowering the defect formation energies. We show that a transition state searching methodology based on the hybrid eigenvector-following approach can be used effectively to search for the transition states in cases where full spin-orbit coupling is included. Mg migration barriers found through this hybrid eigenvector-following approach indicate that spin-orbit coupling also lowers the migration barrier, decreasing it to a value of 0.34 eV with spin-orbit coupling. Finally, recent experimental results on Mg diffusion are compared to the DFT results and show good agreement. This work demonstrates that vacancy defects and the inclusion of relativistic spin-orbit coupling in the calculations have a profound effect in Mg diffusion in this material. It also sheds light on the importance of relativistic spin-orbit coupling in studying similar battery systems where heavy elements play a crucial role.


title: A Comparison of Techniques for Language Model Integration in Encoder-Decoder Speech Recognition

abstract: Attention-based recurrent neural encoder-decoder models present an elegant solution to the automatic speech recognition problem. This approach folds the acoustic model, pronunciation model, and language model into a single network and requires only a parallel corpus of speech and text for training. However, unlike in conventional approaches that combine separate acoustic and language models, it is not clear how to use additional (unpaired) text. While there has been previous work on methods addressing this problem, a thorough comparison among methods is still lacking. In this paper, we compare a suite of past methods and some of our own proposed methods for using unpaired text data to improve encoder-decoder models. For evaluation, we use the medium-sized Switchboard data set and the large-scale Google voice search and dictation data sets. Our results confirm the benefits of using unpaired text across a range of methods and data sets. Surprisingly, for first-pass decoding, the rather simple approach of shallow fusion performs best across data sets. However, for Google data sets we find that cold fusion has a lower oracle error rate and outperforms other approaches after second-pass rescoring on the Google voice search data set.


title: Inference of stochastic parameterizations for model error treatment using nested ensemble Kalman filters

abstract: Stochastic parameterizations are increasingly being used to represent the uncertainty associated with model errors in ensemble forecasting and data assimilation. One of the challenges associated with the use of these parameterizations is the optimization of the properties of the stochastic forcings within their formulation. In this work a hierarchical data assimilation approach based on two nested ensemble Kalman filters is proposed for inferring parameters associated with a stochastic parameterization. The proposed technique is based on the Rao-Blackwellization of the parameter estimation problem. The technique consists in using an ensemble of ensemble Kalman filters, each of them using a different set of stochastic parameter values. We show the ability of the technique to infer parameters related to the covariance structure of stochastic representations of model error in the Lorenz-96 dynamical system. The evaluation is conducted with stochastic twin experiments and imperfect model experiments with unresolved physics in the forecast model. The proposed technique performs successfully under different model error covariance structures. The technique is proposed to be applied offline as part of an a priori optimization of the data assimilation system and could in principle be extended to the estimation of other hyperparameters of a data assimilation system.


title: Time-delay signature concealed broadband gain-coupled chaotic laser with fiber random grating induced distributed feedback

abstract: A broadband chaotic laser with a flat power spectrum extending up to 8.5GHz is achieved by injecting continuous wave laser light into a chaotic diode laser perturbed by fiber random grating induced distributed feedback, which forms a gain-coupled chaotic laser system. More than triple bandwidth enhancement is realized with appropriate frequency detuning between the master and slave lasers. Unlike normal chaotic lasers, the output from such a broadband chaotic laser is free from time-delay signature, which can be applied for practical real-time random number generations and will find useful applications in the fields of information security and computation systems.


title: Communication-efficient Distributed Multi-resource Allocation

abstract: In several smart city applications, multiple resources must be allocated among competing agents that are coupled through such shared resources and are constrained --- either through limitations of communication infrastructure or privacy considerations. We propose a distributed algorithm to solve such distributed multi-resource allocation problems with no direct inter-agent communication. We do so by extending a recently introduced additive-increase multiplicative-decrease (AIMD) algorithm, which only uses very little communication between the system and agents. Namely, a control unit broadcasts a one-bit signal to agents whenever one of the allocated resources exceeds capacity. Agents then respond to this signal in a probabilistic manner. In the proposed algorithm, each agent makes decision of its resource demand locally and an agent is unaware of the resource allocation of other agents. In empirical results, we observe that the average allocations converge over time to optimal allocations.


title: A large family of projectively equivalent $C^0$-Finsler manifolds

abstract: Let $M$ be a differentiable manifold and $TM$ be its tangent bundle. A $C^0$-Finsler structure on $M$ is a continuous function $F: TM \rightarrow \mathbb R$ such that its restriction to each tangent space is a norm. In this work we present a large family of projectively equivalent $C^0$-Finsler manifolds $(\hat M \cong \mathbb R^2,\hat F)$. Their structures $\hat F$ don't have partial derivatives and they aren't invariant by any transformation group of $\hat M$. For every $p,q \in (\hat M,\hat F)$, we determine the unique minimizing path connecting $p$ and $q$. They are line segments parallel to the vectors $(\sqrt{3}/2,1/2)$, $(0,1)$ or $(-\sqrt{3}/2,1/2)$, or else a concatenation of two of these line segments. Moreover $(\hat M,\hat F)$ aren't Busemann $G$-spaces and they don't admit any bounded open $\hat F$-strongly convex subsets. Other geodesic properties of $(\hat M,\hat F)$ are also studied.


title: Simple $\mathcal{L}$-invariants for $\mathrm{GL}_n$

abstract: Let $L$ be a finite extension of $\mathbb{Q}_p$, and $\rho_L$ be an $n$-dimensional semi-stable non crystalline $p$-adic representation of $\mathrm{Gal}_L$ with full monodromy rank. Via a study of Breuil's (simple) $\mathcal{L}$-invariants, we attach to $\rho_L$ a locally $\mathbb{Q}_p$-analytic representation $\Pi(\rho_L)$ of $\mathrm{GL}_n(L)$, which carries the exact information of the Fontaine-Mazur simple $\mathcal{L}$-invariants of $\rho_L$. When $\rho_L$ comes from an automorphic representation of $G(\mathbb{A}_{F^+})$ (for a unitary group $G$ over a totally real filed $F^+$ which is compact at infinite places and $\mathrm{GL}_n$ at $p$-adic places), we prove under mild hypothesis that $\Pi(\rho_L)$ is a subrerpresentation of the associated Hecke-isotypic subspaces of the Banach spaces of $p$-adic automorphic forms on $G(\mathbb{A}_{F^+})$. In other words, we prove the equality of Breuil's simple $\mathcal{L}$-invariants and Fontaine-Mazur simple $\mathcal{L}$-invariants.


title: Corwin-Greenleaf multiplicity function for compact extensions of the Heisenberg group

abstract: Let $\mathbb{H}_n$ be the $(2n+1)$-dimensional Heisenberg group and $K$ a closed subgroup of $U(n)$ acting on $\mathbb{H}_n$ by automorphisms such that $(K,\mathbb{H}_n)$ is a Gelfand pair. Let $G=K\ltimes\mathbb{H}_n$ be the semidirect product of $K$ and $\mathbb{H}_n$. Let $\mathfrak{g}\supset\mathfrak{k}$ be the respective Lie algebras of $G$ and $K$, and $\operatorname{pr}: \mathfrak{g}^{*}\longrightarrow\mathfrak{k}^{*}$ the natural projection. For coadjoint orbits $\mathcal{O}^{G}\subset\mathfrak{g}^{*}$ and $\mathcal{O}^{K}\subset\mathfrak{k}^{*}$, we denote by $n\big(\mathcal{O}^{G},\mathcal{O}^{K}\big)$ the number of $K$-orbits in $\mathcal{O}^{G}\cap \operatorname{pr}^{-1}(\mathcal{O}^{K})$, which is called the Corwin-Greenleaf multiplicity function. In this paper, we give two sufficient conditions on $\mathcal{O}^G$ in order that $$n\big(\mathcal{O}^G,\mathcal{O}^K\big)\leq 1\:\:\text{for any $K$-coadjoint orbit}\:\:\mathcal{O}^{K}\subset\mathfrak{k}^{*}.$$ For $K=U(n)$, assuming furthermore that $\mathcal{O}^{G}$ and $\mathcal{O}^{K}$ are admissible and denoting respectively by $\pi$ and $\tau$ their corresponding irreducible unitary representations, we also discuss the relationship between $n\big(\mathcal{O}^G,\mathcal{O}^K\big)$ and the multiplicity $m(\pi,\tau)$ of $\tau$ in the restriction of $\pi$ to $K$. Especially, we study in Theorem 4 the case where $n(\mathcal{O}^{G},\mathcal{O}^{K})\neq m(\pi,\tau)$. This inequality is interesting because we expect the equality as the naming of the Corwin-Greenleaf multiplicity function suggests.


title: Corwin-Greenleaf multiplicity function for compact extensions of $\mathbb{R}^n$

abstract: Let $G=K\ltimes\mathbb{R}^n$, where $K$ is a compact connected subgroup of $O(n)$ acting on $\mathbb{R}^n$ by rotations. Let $\mathfrak{g}\supset\mathfrak{k}$ be the respective Lie algebras of $G$ and $K$, and $pr: \mathfrak{g}^{*}\longrightarrow\mathfrak{k}^{*}$ the natural projection. For admissible coadjoint orbits $\mathcal{O}^{G}\subset\mathfrak{g}^{*}$ and $\mathcal{O}^{K}\subset\mathfrak{k}^{*}$, we denote by $n(\mathcal{O}^{G},\mathcal{O}^{K})$ the number of $K$-orbits in $\mathcal{O}^{G}\cap pr^{-1}(\mathcal{O}^{K})$, which is called the Corwin-Greenleaf multiplicity function. Let $\pi\in\widehat{G}$ and $\tau\in\widehat{K}$ be the unitary representations corresponding, respectively, to $\mathcal{O}^G$ and $\mathcal{O}^K$ by the orbit method. In this paper, we investigate the relationship between $n(\mathcal{O}^G,\mathcal{O}^K)$ and the multiplicity $m(\pi,\tau)$ of $\tau$ in the restriction of $\pi$ to $K$. If $\pi$ is infinite-dimensional and the associated little group is connected, we show that $n(\mathcal{O}^G,\mathcal{O}^K)\neq 0$ if and only if $m(\pi,\tau)\neq 0$. Furthermore, for $K=SO(n)$, $n\geq 3$, we give a sufficient condition on the representations $\pi$ and $\tau$ in order that $n(\mathcal{O}^G,\mathcal{O}^K)=m(\pi,\tau)$.


title: Quantitative Estimates on Periodic Homogenization of Nonlinear Elliptic Operators

abstract: In this paper, we are interested in the periodic homogenization of quasilinear elliptic equations. We obtain error estimates $O(\varepsilon^{1/2})$ for a $C^{1,1}$ domain, and $O(\varepsilon^\sigma)$ for a Lipschitz domain, in which $\sigma\in(0,1/2)$ is close to zero. Based upon the convergence rates, an interior Lipschitz estimate, as well as a boundary H\"older estimate can be developed at large scales without any smoothness assumption, and these will implies reverse H\"older estimates established for a $C^1$ domain. By a real method developed by Z.Shen \cite{S3}, we consequently derive a global $W^{1,p}$ estimate for $2\leq p<\infty$. This work may be regarded as an extension of \cite{MAFHL,S5} to a nonlinear operator, and our results may be extended to the related Neumann boundary problems without any real difficulty.


title: Dynamical sampling with additive random noise

abstract: Dynamical sampling deals with signals that evolve in time under the action of a linear operator. The purpose of the present paper is to analyze the performance of the basic dynamical sampling algorithms in the finite dimensional case and study the impact of additive noise. The algorithms are implemented and tested on synthetic and real data sets, and denoising techniques are integrated to mitigate the effect of the noise. We also develop theoretical and numerical results that validate the algorithm for recovering the driving operators, which are defined via a real symmetric convolution.


title: Spin-current-related magnetoresistance in epitaxial Pt/Co bilayers in the presence of spin Hall effect and Rashba-Edelstein effect

abstract: We analyze the experimentally obtained spin-current-related magnetoresistance in epitaxial Pt/Co bilayers by using a drift-diffusion model that incorporates both bulk spin Hall effect and interfacial Rashba-Edelstein effect (REE). The magnetoresistance analysis yields, for the Pt/Co interface, a temperature-independent Rashba parameter in the order of 1e-11 eV m that agrees with theoretical calculations, along with an effective interfacial REE thickness of several angstroms which is in overall consistency with our previous spin-orbit torque analysis. In particular, our results suggest that both bulk and interface charge-spin current inter-conversions need to be taken into account for the spin-current-related magnetoresistance analysis in highly-conductive magnetic hetero-structures such as the epitaxial Pt/Co bilayers.


title: A Survey of Cyber Security Countermeasures Using Hardware Performance Counters

abstract: Cyber attacks and malware are now more prevalent than ever and the trend is ever upward. There have been several approaches to attack detection including resident software applications at the root or user level, e.g., virus detection, and modifications to the OS, e.g., encryption, application signing, etc. Some approaches have moved to lower level detection and preven- tion, e.g., Data Execution Prevention. An emerging approach in countermeasure development is the use of hardware performance counters existing in the micro-architecture of modern processors. These are at the lowest level, implemented in processor hardware, and the wealth of data collected by these counters affords some very promising countermeasures with minimal overhead as well as protection from being sabotaged themselves by attackers. Here, we conduct a survey of recent techniques in realizing effective countermeasures for cyber attack detection from these hardware performance counters.


title: Residual Balancing: A Method of Constructing Weights for Marginal Structural Models

abstract: When making causal inferences, post-treatment confounders complicate analyses of time-varying treatment effects. Conditioning on these variables naively to estimate marginal effects may inappropriately block causal pathways and may induce spurious associations between treatment and the outcome, leading to bias. To avoid such bias, researchers often use marginal structural models (MSMs) with inverse probability weighting (IPW). However, IPW requires models for the conditional distributions of treatment and is highly sensitive to their misspecification. Moreover, IPW is relatively inefficient, susceptible to finite-sample bias, and difficult to use with continuous treatments. We introduce an alternative method of constructing weights for MSMs, which we call "residual balancing." In contrast to IPW, it requires modeling the conditional means of the post-treatment confounders rather than the conditional distributions of treatment, and it is therefore easier to use with continuous exposures. Numeric simulations suggest that residual balancing is both more efficient and more robust to model misspecification than IPW and its variants. We illustrate the method by estimating (a) the cumulative effect of negative advertising on election outcomes and (b) the controlled direct effect of shared democracy on public support for war. Open source software is available for implementing the proposed method.


title: Deconvolving the HD 81809 binary: rotational and activity evidence for a subgiant with a Sun-like cycle

abstract: HD 81809 has one of the highest quality activity cycles from the sample of stars synoptically observed in the Mount Wilson Observatory HK Project. However, this object is in fact a binary system, raising the question as to which of the components is responsible for the observed cyclic activity and what are the properties of that active component. The Hipparcos spacecraft obtained resolved two-color photometry for this system that indicates that both components are near the solar temperature. Combined with the precise Gaia parallax and empirical bolometric corrections we derive component luminosities of L_A = 5.8 +/- 0.3 Lsun and L_B = 1.025 +/- 0.055 Lsun, and radii R_A = 2.42 +/- 0.08 Rsun and R_B = 1.04 +/- 0.04 Rsun, confirming that the primary component is a subgiant. We perform an independent estimate of the rotation period of the A component based on vsini and find that it agrees with the 40.2 d period previously measured from the Ca HK time series. We explore plausible scenarios for the deconvolved S-index and find that a cycling A component would have an activity level within the bounds of ensemble activity-rotation trends, while a cycling B component likely does not. Based on the available rotation and activity evidence, we find the most likely characterization of the system is a subgiant primary component responsible for the smooth cyclic behavior in Ca HK with log(R'_HK) ~ -4.89, while the secondary component has relatively flat activity at log(R'_HK) ~ -5.02.


title: Slowing Down Type II Migration of Gas Giants to Match Observational Data

abstract: The mass and semimajor axis distribution of gas giants in exoplanetary systems obtained by radial velocity surveys shows that super-jupiter-mass planets are piled up at > 1 au, while jupiter/sub-jupiter-mass planets are broadly distributed from ~0.03 au to beyond 1 au. This feature has not been explained by theoretical predictions. In order to reconcile this inconsistency, we investigate evolution of gas giants with a new type II migration formula by Kanagawa et al. (2018), by comparing the migration, growth timescales of gas giants, and disk lifetime and by population synthesis simulation. While the classical migration model assumes that a gas giant opens up a clear gap in the protoplanetary disk and the planet migration tied to the disk gas accretion, recent high-resolution simulations show that the migration of gap-opening planets is decoupled from the disk gas accretion and Kanagawa et al. (2018) proposed that type II migration speed is no other than type I migration speed with the reduced disk gas surface density in the gap. We show that with this new formula, type II migration is significantly reduced for super-jupiter-mass planets, if the disk accretion is driven by the disk wind as suggested by recent MHD simulations. Population synthesis simulations show that super-jupiter-mass planets remain at > 1 au without any additional ingredient such as disk photoevaporation. Therefore, the mystery of the pile-up of gas giants at > 1 au would be theoretically solved, if the new formula is confirmed and wind-driven disk accretion dominates.


title: Optimal Control of Rotary Motors

abstract: Single-molecule experiments have found near-perfect thermodynamic efficiency in the rotary motor F1-ATP synthase. To help elucidate the principles underlying nonequilibrium energetic efficiency in such stochastic machines, we investigate driving protocols that minimize dissipation near equilibrium in a simple model rotary mechanochemical motor, as determined by a generalized friction coefficient. Our simple model has a periodic friction coefficient that peaks near system energy barriers. This implies a minimum-dissipation protocol that proceeds rapidly when the system is overwhelmingly in a single macrostate, but slows significantly near energy barriers, thereby harnessing thermal fluctuations to kick the system over energy barriers with minimal work input. This model also manifests a phenomenon not seen in otherwise similar non-periodic systems: sufficiently fast protocols can effectively lap the system. While this leads to a non-trivial tradeoff between accuracy of driving and energetic cost, we find that our designed protocols out-perform naive protocols.


title: Bayesian Sparse Propensity Score Estimation for Unit Nonresponse

abstract: Nonresponse weighting adjustment using propensity score is a popular method for handling unit nonresponse. However, including all available auxiliary variables into the propensity model can lead to inefficient and inconsistent estimation, especially with high-dimensional covariates. In this paper, a new Bayesian method using the Spike-and-Slab prior is proposed for sparse propensity score estimation. The proposed method is not based on any model assumption on the outcome variable and is computationally efficient. Instead of doing model selection and parameter estimation separately as in many frequentist methods, the proposed method simultaneously selects the sparse response probability model and provides consistent parameter estimation. Some asymptotic properties of the proposed method are presented. The efficiency of this sparse propensity score estimator is further improved by incorporating related auxiliary variables from the full sample. The finite-sample performance of the proposed method is investigated in two limited simulation studies, including a partially simulated real data example from the Korean Labor and Income Panel Survey.


title: Stability and magnetism of FeN high-pressure phases

abstract: Experimentally discovered compounds in the iron-nitrogen system belong to the low concentration part of the Fe-N phase diagram. In our paper, which is based on ab initio calculations we have studied formation and stability of high-pressure iron mono-nitride phases, and particularly the new magnetic phase with a NiAs-type structure. We have investigated the role of dynamic, thermodynamic and electronic properties, such as electronic correlations and pressure-induced phase stabilisation. We demonstrate that the new hexagonal FeN phase is stable for a wide range of external pressure and it can be formed as a metastable phase at zero pressure. We show that it has relativity small Curie temperature and it may possess a non-collinear magnetism.


title: TensorFuzz: Debugging Neural Networks with Coverage-Guided Fuzzing

abstract: Machine learning models are notoriously difficult to interpret and debug. This is particularly true of neural networks. In this work, we introduce automated software testing techniques for neural networks that are well-suited to discovering errors which occur only for rare inputs. Specifically, we develop coverage-guided fuzzing (CGF) methods for neural networks. In CGF, random mutations of inputs to a neural network are guided by a coverage metric toward the goal of satisfying user-specified constraints. We describe how fast approximate nearest neighbor algorithms can provide this coverage metric. We then discuss the application of CGF to the following goals: finding numerical errors in trained neural networks, generating disagreements between neural networks and quantized versions of those networks, and surfacing undesirable behavior in character level language models. Finally, we release an open source library called TensorFuzz that implements the described techniques.


title: Transportation Modes Classification Using Feature Engineering

abstract: Predicting transportation modes from GPS (Global Positioning System) records is a hot topic in the trajectory mining domain. Each GPS record is called a trajectory point and a trajectory is a sequence of these points. Trajectory mining has applications including but not limited to transportation mode detection, tourism, traffic congestion, smart cities management, animal behaviour analysis, environmental preservation, and traffic dynamics are some of the trajectory mining applications. Transportation modes prediction as one of the tasks in human mobility and vehicle mobility applications plays an important role in resource allocation, traffic management systems, tourism planning and accident detection. In this work, the proposed framework in Etemad et al. is extended to consider other aspects in the task of transportation modes prediction. Wrapper search and information retrieval methods were investigated to find the best subset of trajectory features. Finding the best classifier and the best feature subset, the framework is compared against two related papers that applied deep learning methods. The results show that our framework achieved better performance. Moreover, the ground truth noise removal improved accuracy of transportation modes prediction task; however, the assumption of having access to test set labels in pre-processing task is invalid. Furthermore, the cross validation approaches were investigated and the performance results show that the random cross validation method provides optimistic results.


title: Anomalous Hall Effect and Spin Fluctuations in Ionic Liquid Gated SrCoO$_3$ Thin Films

abstract: The recent realization of epitaxial SrCoO$_3$ thin films has triggered a renewed interest in their electronic, magnetic, and ionic properties. Here we uncover several unusual magneto-transport properties of this compound, suggesting that it hosts persistent spin fluctuation down to low temperatures. We achieve the metallic SrCoO$_3$ with record-low resistivity from insulating SrCoO$_{2.5}$ by the ionic liquid gating. We find a linear relationship between the anomalous Hall resistivity and the longitudinal resistivity, which cannot be accounted for by the conventional mechanisms. We theoretically propose that the impurity induced chiral spin fluctuation gives rise to such a dependence. The existence of spin fluctuation manifests itself as negatively enhanced magneto-resistance of SrCoO$_3$ when the temperature approaches zero. Our study brings further insight into the unique spin state of SrCoO$_3$ and unveils a novel skew scattering mechanism for the anomalous Hall effect.


title: Revealed Preference Dimension via Matrix Sign Rank

abstract: Given a data-set of consumer behaviour, the Revealed Preference Graph succinctly encodes inferred relative preferences between observed outcomes as a directed graph. Not all graphs can be constructed as revealed preference graphs when the market dimension is fixed. This paper solves the open problem of determining exactly which graphs are attainable as revealed preference graphs in $d$-dimensional markets. This is achieved via an exact characterization which closely ties the feasibility of the graph to the Matrix Sign Rank of its signed adjacency matrix. The paper also shows that when the preference relations form a partially ordered set with order-dimension $k$, the graph is attainable as a revealed preference graph in a $k$-dimensional market.


title: Ultrafast Dynamics of Electron-phonon Coupling in Transition-metal Dichalcogenides

abstract: Time-domain femtosecond laser spectroscopic measurements of the ultrafast lattice dynamics in 2H-MoTe2 bulk crystals were carried out to understand the carrier-phonon interactions that govern electronic transport properties. An unusually long lifetime coherent A1g phonon mode was observed even in the presence of very large density of photo-excited carriers at room temperature. The decay rate was observed to decrease with increasing excitation laser fluence. Based on the laser fluence dependence including the inducement of significant phonon softening and a peculiar decrease in phonon decay rate, we attribute the long lifetime lattice dynamics to weak anharmonic phonon-phonon coupling and a carrier-density-dependent deformation potential electron-phonon coupling.


title: Laboratory characterization of SLS-based infrared detectors for precision photometry

abstract: Strained layer superlattice (SLS) detectors are a new class of infrared detectors available in the scientific and commercial markets. The photosensitive bandpass is set by material and engineered properties with typical detectors covering 7.5- 10.5 microns, bluer than traditional N-band filters. SLS detectors have the potential to reach lower dark current than traditional infrared materials (like HgCdTe) allowing comparable photometric sensitivity at higher detector temperatures, easing cooling requirements. Conversely, at equal cryogenic temperatures the SLS detector will have lower dark current than HgCdTe allowing better photometric sensitivity under dark current limited operation. This work presents laboratory measurements of SLS detectors to quantify detector linearity and time stability. The potential advantages in using SLS- based detectors in future astronomical instruments is also discussed.


title: On the Capacity of Symmetric $M$-user Gaussian Interference Channels with Feedback

abstract: A general time-varying feedback coding scheme is proposed for $M$-user fully connected symmetric Gaussian interference channels. Based on the analysis of the general coding scheme, we prove a theorem which gives a criterion for designing good time-varying feedback codes for Gaussian interference channels. The proposed scheme improves the Suh-Tse and Kramer inner bounds of the channel capacity for the cases of weak and not very strong interference when $M=2$. This capacity improvement is more significant when the signal-to-noise ratio (SNR) is not very high. In addition, our coding scheme can be proved mathematically and numerically to outperform the Kramer code for $M\geq 2$ when Signal to Noise Ratio (SNR) is equal to Interference to Noise Ratio (INR). Besides, the generalized degrees-of-freedom (GDoF) of our proposed coding scheme can be proved to be optimal in the all network situations (very weak, weak, strong, very strong) for any $M$. The numerical results show that our coding scheme can attain better performance than the Suh-Tse coding scheme for $M=2$ or the Mohajer-Tandon-Poor lattice coding scheme for $M>2$. Furthermore, the simplicity of the encoding/decoding algorithms is another strong point of our proposed coding scheme compared with the Suh-Tse coding scheme when $M=2$ and the Mohajer-Tandon-Poor lattice coding scheme when $M>2$. More importantly, our results show that an optimal coding scheme for the symmetric Gaussian interference channels with feedback can be achieved by only using marginal posterior distributions under a better cooperation strategy between transmitters.


title: Analyzing Uncivil Speech Provocation and Implicit Topics in Online Political News

abstract: Online news has made dissemination of information a faster and more efficient process. Additionally, the shift from a print medium to an online interface has enabled user interactions, creating a space to mutually understand the reader responses generated by the consumption of news articles. Intermittently, the positive environment is transformed into a hate-spewing contest, with the amount and target of incivility varying depending on the specific news website in question. In this paper, we develop methods to study the emergence of incivility within the reader communities in news sites. First, we create a dataset of political news articles and their reader comments from partisan news sites. Then, we train classifiers to predict different aspects of uncivil speech in comments. We apply these classifiers to predict whether a news article is likely to provoke a substantial portion of reader comments containing uncivil language by analyzing only the article's content. Finally, we devise a technique to "read between the lines" --- finding the topics of discussions that an article triggers among its readers without frequent, explicit mentions of these topics in its content.


title: The Grassmannian of affine subspaces

abstract: The Grassmannian of affine subspaces is a natural generalization of both the Euclidean space, points being zero-dimensional affine subspaces, and the usual Grassmannian, linear subspaces being special cases of affine subspaces. We show that, like the Grassmannian, the affine Grassmannian has rich geometrical and topological properties: It has the structure of a homogeneous space, a differential manifold, an algebraic variety, a vector bundle, a classifying space, among many more structures; furthermore; it affords an analogue of Schubert calculus and its (co)homology and homotopy groups may be readily determined. On the other hand, like the Euclidean space, the affine Grassmannian serves as a concrete computational platform on which various distances, metrics, probability densities may be explicitly defined and computed via numerical linear algebra. Moreover, many standard problems in machine learning and statistics --- linear regression, errors-in-variables regression, principal components analysis, support vector machines, or more generally any problem that seeks linear relations among variables that either best represent them or separate them into components --- may be naturally formulated as problems on the affine Grassmannian.


title: Physical Unclonable Function-based Key Sharing for IoT Security

abstract: In many Industry Internet of Things (IIoT) applications, resources like CPU, memory, and battery power are limited and cannot afford the classic cryptographic security solutions. Silicon Physical Unclonable Function (PUF) is a lightweight security primitive that exploits manufacturing variations during the chip fabrication process for key generation and/or device authentication. However, traditional weak PUFs such as Ring Oscillator (RO) PUF generate chip-unique key for each device, which restricts their application in security protocols where the same key is required to be shared in resource-constrained devices. In order to address this issue, we propose a PUF-based key sharing method for the first time. The basic idea is to implement one-to-one input-output mapping with Lookup Table (LUT)-based interstage crossing structures in each level of inverters of RO PUF. Individual customization on configuration bits of interstage crossing structure and different RO selections with challenges bring high flexibility. Therefore, with the flexible configuration of interstage crossing structures and challenges, CRO PUF can generate the same shared key for resource-constrained devices, which enables a new application for lightweight key sharing protocols.


title: Introduction to the Absolute Brightness and Number Statistics in Spontaneous Parametric Down-Conversion

abstract: As a tutorial, we examine the absolute brightness and number statistics of photon pairs generated in Spontaneous Parametric Down-Conversion (SPDC) from first principles. In doing so, we demonstrate how the diverse implementations of SPDC can be understood through a single common framework, and use this to derive straightforward formulas for the biphoton generation rate (pairs per second) in a variety of different circumstances. In particular, we consider the common cases of both collimated and focused gaussian pump beams in a bulk nonlinear crystal, as well as in nonlinear waveguides and micro-ring resonators. Furthermore, we examine the number statistics of down-converted light using a non-perturbative approximation (the multi-mode squeezed vacuum), to provide quantitative formulas for the relative likelihood of multi-pair production events, and explore how the quantum state of the pump affects the subsequent statistics of the downconverted light. Following this, we consider the limits of the undepleted pump approximation, and conclude by performing experiments to test the effectiveness of our theoretical predictions for the biphoton generation rate in a variety of different sources.


title: Additional Waves and Additional Boundary Conditions in Local Quartic Metamaterials

abstract: Additional electromagnetic waves and additional boundary conditions (ABCs) in non-local materials attracted a lot of attention in the past. Here we report the possibility of additional propagating and evanescent waves in local anisotropic and bi-anisotropic linear materials. We investigate the possible options for ABCs and describe how to complement the conventional 4 Maxwells boundary conditions in the situations when there are more than 4 waves that need to be matched at the boundary of local and linear quartic metamaterials. We show that these ABCs must depend on the properties of the interface and require the introduction of the additional effective material parameters describing this interface, such as surface conductivities.


title: Valley-projected edge modes observed in underwater sonic crystals

abstract: Recently, the topological physics in acoustics has been attracting much attention. However, all the studies are aimed to elastic or airborne sound systems. Realizing topological insulators for underwater sound is of great importance, since water is another crucial sound medium in addition to solid and air. Here we report an experimental study on the valley-projected edge states for underwater sound. The edge states are directly observed in our ultrasound scanning experiments, together with a solid evidence for the valley-selective excitation. The experimental data agree well with our numerical results. Prospective applications can be anticipated, such as for underwater sound signal processing and ocean noise control.


title: Exclusive diffractive vector meson production: A comparison between the dipole model and the leading twist shadowing approach

abstract: With the imminent construction of an electron-ion collider in the USA, both saturation physics and nuclear shadowing physics will be important for the same processes for the first time. In particular for exclusive production of vector mesons, such as the J/$\psi$. In this paper we investigate the underlying assumptions commonly made when phenomenologically investigating this process from a shadowing and saturation perspective respectively. We use the bSat model which is commonly used to describe saturation physics, and a calculation by M.G. Ryskin which is commonly used when describing nuclear shadowing at leading twist. It is expected that the bSat model is equivalent to Ryskin's result in the hard scattering and non-relativistic limits. By explicitly taking these limits we show that the bSat model does indeed become equivalent to Ryskin's result. However, two more approximations are needed for this result. Firstly, the factorisation and renormalisation scales in the bSat model has to be independent of the dipole radius, and secondly, we need to omit a term in the overlap between the vector meson and virtual photon wave functions. We show that for the typical dipole radius of the J/$\psi$, the different approximations off-set each other and the bSat model agrees very well with Ryskin's calculation in hard-scattering and non-relativistic limits.


title: Pairwise Body-Part Attention for Recognizing Human-Object Interactions

abstract: In human-object interactions (HOI) recognition, conventional methods consider the human body as a whole and pay a uniform attention to the entire body region. They ignore the fact that normally, human interacts with an object by using some parts of the body. In this paper, we argue that different body parts should be paid with different attention in HOI recognition, and the correlations between different body parts should be further considered. This is because our body parts always work collaboratively. We propose a new pairwise body-part attention model which can learn to focus on crucial parts, and their correlations for HOI recognition. A novel attention based feature selection method and a feature representation scheme that can capture pairwise correlations between body parts are introduced in the model. Our proposed approach achieved 4% improvement over the state-of-the-art results in HOI recognition on the HICO dataset. We will make our model and source codes publicly available.


title: Picard-Vessiot groups of Lauricella's hypergeometric systems $E_C$ and Calabi-Yau varieties arising integral representations

abstract: We study the Zariski closure of the monodromy group $\mathbf{Mon}$ of Lauricella's hypergeometric function $F_C$. If the identity component $\mathbf{Mon}^0$ acts irreducibly, then $\overline{\mathbf{Mon}} \cap \mathbf{SL}_{2^n}(\mathbb{C})$ must be one of classical groups $\mathbf{SL}_{2^n}(\mathbb{C}), \mathbf{SO}_{2^n}(\mathbb{C})$ and $\mathbf{Sp}_{2^n}(\mathbb{C})$. We also study Calabi-Yau varieties arising from integral representations of $F_C$.


title: Eigenvalues of the Laplacian on the Goldberg-Coxeter constructions for $3$- and $4$-valent graphs

abstract: We are concerned with spectral problems of the Goldberg-Coxeter construction for $3$- and $4$-valent finite graphs. The Goldberg-Coxeter constructions $\mathrm{GC}_{k,l}(X)$ of a finite $3$- or $4$-valent graph $X$ are considered as "subdivisions" of $X$, whose number of vertices are increasing at order $O(k^2+l^2)$, nevertheless which have bounded girth. It is shown that the first (resp. the last) $o(k^2)$ eigenvalues of the combinatorial Laplacian on $\mathrm{GC}_{k,0}(X)$ tend to $0$ (resp. tend to $6$ or $8$ in the $3$- or $4$-valent case, respectively) as $k$ goes to infinity. A concrete estimate for the first several eigenvalues of $\mathrm{GC}_{k,l}(X)$ by those of $X$ is also obtained for general $k$ and $l$. It is also shown that the specific values always appear as eigenvalues of $\mathrm{GC}_{2k,0}(X)$ with large multiplicities almost independently to the structure of the initial $X$. In contrast, some dependency of the graph structure of $X$ on the multiplicity of the specific values is also studied.


title: Minimal generators of Hall algebras of 1-cyclic perfect complexes

abstract: Let $A$ be the path algebra of a Dynkin quiver over a finite field, and let $C_1(\mathscr{P})$ be the category of 1-cyclic complexes of projective $A$-modules. In the present paper, we give a PBW-basis and a minimal set of generators for the Hall algebra $\H(C_1(\mathscr{P}))$ of $C_1(\mathscr{P})$. Using this PBW-basis, we firstly prove the degenerate Hall algebra of $C_1(\mathscr{P})$ is the universal enveloping algebra of the Lie algebra spanned by all indecomposable objects. Secondly, we calculate the relations in the generators in $\H(C_1(\mathscr{P}))$, and obtain quantum Serre relations in a quotient of certain twisted version of $\H(C_1(\mathscr{P}))$. Moreover, we establish relations between the degenerate Hall algebra, twisted Hall algebra of $A$ and those of $C_1(\mathscr{P})$, respectively.


title: Back-Translation-Style Data Augmentation for End-to-End ASR

abstract: In this paper we propose a novel data augmentation method for attention-based end-to-end automatic speech recognition (E2E-ASR), utilizing a large amount of text which is not paired with speech signals. Inspired by the back-translation technique proposed in the field of machine translation, we build a neural text-to-encoder model which predicts a sequence of hidden states extracted by a pre-trained E2E-ASR encoder from a sequence of characters. By using hidden states as a target instead of acoustic features, it is possible to achieve faster attention learning and reduce computational cost, thanks to sub-sampling in E2E-ASR encoder, also the use of the hidden states can avoid to model speaker dependencies unlike acoustic features. After training, the text-to-encoder model generates the hidden states from a large amount of unpaired text, then E2E-ASR decoder is retrained using the generated hidden states as additional training data. Experimental evaluation using LibriSpeech dataset demonstrates that our proposed method achieves improvement of ASR performance and reduces the number of unknown words without the need for paired data.


title: A user model for JND-based video quality assessment: theory and applications

abstract: The video quality assessment (VQA) technology has attracted a lot of attention in recent years due to an increasing demand of video streaming services. Existing VQA methods are designed to predict video quality in terms of the mean opinion score (MOS) calibrated by humans in subjective experiments. However, they cannot predict the satisfied user ratio (SUR) of an aggregated viewer group. Furthermore, they provide little guidance to video coding parameter selection, e.g. the Quantization Parameter (QP) of a set of consecutive frames, in practical video streaming services. To overcome these shortcomings, the just-noticeable-difference (JND) based VQA methodology has been proposed as an alternative. It is observed experimentally that the JND location is a normally distributed random variable. In this work, we explain this distribution by proposing a user model that takes both subject variabilities and content variabilities into account. This model is built upon user's capability to discern the quality difference between video clips encoded with different QPs. Moreover, it analyzes video content characteristics to account for inter-content variability. The proposed user model is validated on the data collected in the VideoSet. It is demonstrated that the model is flexible to predict SUR distribution of a specific user group.


title: Exceeding Expectations: Stochastic Dominance as a General Decision Theory

abstract: The principle that rational agents should maximize expected utility or choiceworthiness is intuitively plausible in many ordinary cases of decision-making under uncertainty. But it is less plausible in cases of extreme, low-probability risk (like Pascal's Mugging), and intolerably paradoxical in cases like the St. Petersburg and Pasadena games. In this paper I show that, under certain conditions, stochastic dominance reasoning can capture most of the plausible implications of expectational reasoning while avoiding most of its pitfalls. Specifically, given sufficient background uncertainty about the choiceworthiness of one's options, many expectation-maximizing gambles that do not stochastically dominate their alternatives "in a vacuum" become stochastically dominant in virtue of that background uncertainty. But, even under these conditions, stochastic dominance will not require agents to accept options whose expectational superiority depends on sufficiently small probabilities of extreme payoffs. The sort of background uncertainty on which these results depend looks unavoidable for any agent who measures the choiceworthiness of her options in part by the total amount of value in the resulting world. At least for such agents, then, stochastic dominance offers a plausible general principle of choice under uncertainty that can explain more of the apparent rational constraints on such choices than has previously been recognized.


title: Polarization discontinuity driven two dimensional electron gas at A$_2$Mo$_3$O$_8$/B$_2$Mo$_3$O$_8$ (A, B : Zn,Mg,Cd) interfaces

abstract: We prospose a novel heterostructure system consisting of compounds with chemical formula A$_2$Mo$_3$O$_8$ (A, B : Zn,Mg,Cd) that can host a two dimensional electron/hole gas (2DEG/2DHG). We study spontaneous polarization and piezoelectric properties of these compounds using first principles methods and Berry phase approach. We show that these kind of heterostructures are very stable due to extreamly low interfacial strain. The formation of a 2DEG/2DHG has been investigated in case of Zn$_2$Mo$_3$O$_8$/Mg$_2$Mo$_3$O$_8$ and polarization discontinuity has been found to be driving mechanism. The sheet carrier densities and charge localization in these kind of heterostrcutures have been found to be of the same order of magnitude in other well known system that hosts 2DEG through similar mechanism, such as AlN/Al(Ga)N or ZnO/Zn(Mg)O. In addition to conventional applications of a 2DEG, these materials hold promise to exciting pioneering technolgy such as piezo-phototronics using solar radiation, as they are also capable of absorbing a significant fraction of it due to low optical gap of $\sim$ 2 eV


title: SPB: A Secure Private Blockchain-based Solution for Energy Trading

abstract: Blockchain is increasingly being used to provide a distributed, secure, trusted, and private framework for energy trading in smart grids. However, existing solutions suffer from lack of privacy, processing and packet overheads, and reliance on Trusted Third Parties (TTP). To address these challenges, we propose a Secure Private Blockchain-based (SPB) framework. SPB enables the energy producers and consumers to directly negotiate the energy price. To reduce the associated packet overhead, we propose a routing method which routes packets based on the destination Public Key (PK). SPB eliminates the need for TTP by introducing atomic meta-transactions. The two transactions that form a meta-transaction are visible to the blockchain participants only after both of them are generated. Thus, if one of the participants does not commit to its tasks in a pre-defined time, then the energy trade expires and the corresponding transaction is treated as invalid. The smart meter of the consumer confirms receipt of energy by generating an Energy Receipt Confirmation (ERC). To verify that the ERC is generated by a genuine smart meter, SPB supports authentication of anonymous smart meters which in turn enhances the privacy of the meter owner. Qualitative security analysis shows the resilience of SPB against a range of attacks.


title: Electronic transport and the related anomalous effects in silicene-like hexagonal lattice

abstract: We investigate the anomalous effects due to the Berry correction and the considerable perturbations in the silicene-like hexagonal lattice system. The Berry curvature in periodic Bloch band system which related to the electromagnetic field is explored, the induced transverse anomalous velocity gives rise to the intrinsic Hall conductivity (without the vertex correction) expecially in the quantum anomalous Hall phase. The quantum anomalous Hall effect which related to the anomalous velocity term is detected, including the band avoided corssing effect and the generated special band gap. %{Enlarged Galilean symmetry of anyons and the Hall effect} The topological spin transport is affected by the Berry curvature %{Topological spin transport of a relativistic electron} %{Anomalous direction for skyrmion bubble motion} and the spin-current-induced Skyrmion spin texture motion is contrasted between the quantum spin Hall effect and quantum anomalous Hall effect. Since silicene involving the orbital degree of freedom, the orbital magnetic moment and orbital magnetization contributes significantly to the electronic transport properties of silicene %{Photoinduced quantum spin and valley Hall effects, and orbital magnetization in monolayer MoS2} as explored in this article. We also investigate the electronic tunneling properties of silicene in Josephon junction with the electric-field-induced Rashba-coupling, the anomalous effect due to the Berry phase is mentioned. Our results is meaningful to the application of the spintronics and valleytronics base on the silicene-like topological insulators.


title: Holographic Sensing

abstract: Holographic representations of data encode information in packets of equal importance that enable progressive recovery. The quality of recovered data improves as more and more packets become available. This progressive recovery of the information is independent of the order in which packets become available. Such representations are ideally suited for distributed storage and for the transmission of data packets over networks with unpredictable delays and or erasures. Several methods for holographic representations of signals and images have been proposed over the years and multiple description information theory also deals with such representations. Surprisingly, however, these methods had not been considered in the classical framework of optimal least-squares estimation theory, until very recently. We develop a least-squares approach to the design of holographic representation for stochastic data vectors, relying on the framework widely used in modeling signals and images.


title: Equilibrium Problems and Proximal Algorithms in Hadamard Spaces

abstract: In this paper, we consider the equilibrium problems and also their regularized problems under the setting of Hadamard spaces. The solution to the regularized problem is represented in terms of resolvent operators. As an essential machinery in the existence of an equilibrium, we first prove that the KKM principle is attained in general Hadamard spaces without assuming the compactness of the closed convex hull of a finite set. We construct the proximal algorithm based on this regularization and give convergence analysis adequately.


title: Spectrahedral representations of plane hyperbolic curves

abstract: We describe a new method for constructing a spectrahedral representation of the hyperbolicity region of a hyperbolic curve in the real projective plane. As a consequence, we show that if the curve is smooth and defined over the rational numbers, then there is a spectrahedral representation with rational matrices. This generalizes a classical construction for determinantal representations of plane curves due to Dixon and relies on the special properties of real hyperbolic curves that interlace the given curve.


title: Logistic regression and Ising networks: prediction and estimation when violating lasso assumptions

abstract: The Ising model was originally developed to model magnetisation of solids in statistical physics. As a network of binary variables with the probability of becoming 'active' depending only on direct neighbours, the Ising model appears appropriate for many other processes. For instance, it was recently applied in psychology to model co-occurrences of mental disorders. It has been shown that the connections between the variables (nodes) in the Ising network can be estimated with a series of logistic regressions. This naturally leads to questions of how well such a model predicts new observations and how well parameters of the Ising model can be estimated using logistic regressions. Here we focus on the high-dimensional setting with more parameters than observations and consider violations of assumptions of the lasso. In particular, we determine the consequences for both prediction and estimation when the sparsity and restricted eigenvalue assumptions are not satisfied. We explain by using the idea of connected copies (extreme multicollinearity) the fact that prediction becomes better when either sparsity or multicollinearity is not satisfied. We illustrate these results with simulations.


title: Hybrid Longitudinal-Transverse Phonon Polaritons

abstract: We demonstrate how to exploit long-cell polytypes of silicon carbide to achieve strong coupling between transverse phonon polaritons and zone folded longitudinal optical phonons. The resulting quasiparticles possess hybrid longitudinal and transverse nature, allowing them to be generated through electric currents while emitting radiation to the far field. We develop a microscopic theory predicting the existence of the hybrid longitudinal-transverse excitations. We then provide their first experimental observation by tuning the monopolar resonance of a nanopillar array through the folded longitudinal optical mode, obtaining a clear spectral anti-crossing. This represents an important first step in the development of electrically pumped mid-infrared emitters.


title: Hamiltonians for Two-Anyon Systems

abstract: We study the well-posedness of the Hamiltonian of a system of two anyons in the magnetic gauge. We identify all the possible quadratic forms realizing such an operator for non-interacting anyons and prove their closedness and boundedness from below. We then show that the corresponding self-adjoint operators give rise to a one-parameter family of extensions of the naive two-anyon Schr\"odinger operator. We finally extend the results in presence of a two-body radial interaction.


title: On expansions of Ricci flat ALE metrics in harmonic coordinates about the infinity

abstract: In this paper, we study the expansions of Ricci flat metrics in harmonic coordinates about the infinity of ALE (asymptotically local Euclidean) manifolds.


title: No bullying! A playful proof of Brouwer's fixed-point theorem

abstract: We give an elementary proof of Brouwer's fixed-point theorem. The only mathematical prerequisite is a version of the Bolzano-Weierstrass theorem: a sequence in a compact subset of $n$-dimensional Euclidean space has a convergent subsequence with a limit in that set. Our main tool is a `no-bullying' lemma for agents with preferences over indivisible goods. What does this lemma claim? Consider a finite number of children, each with a single indivisible good (a toy) and preferences over those toys. Let's say that a group of children, possibly after exchanging toys, could bully some poor kid if all group members find their own current toy better than the toy of this victim. The no-bullying lemma asserts that some group $S$ of children can redistribute their toys among themselves in such a way that all members of $S$ get their favorite toy from $S$, but they cannot bully anyone.


title: The number of addends in the decomposition of an element of a numerical semigroup into atoms

abstract: We prove that for every nonempty set $\Sigma$ of integers bigger than $1$, which has at most three elements, there exists a numerical semigroup $T$ and an element $x$ of $T$ such that a natural number $n$ is the number of atoms in a decomposition of $x$ into atoms if and only if $n$ belongs to $\Sigma$. We also propose three related conjectures.


title: Maximum Margin Metric Learning Over Discriminative Nullspace for Person Re-identification

abstract: In this paper we propose a novel metric learning framework called Nullspace Kernel Maximum Margin Metric Learning (NK3ML) which efficiently addresses the small sample size (SSS) problem inherent in person re-identification and offers a significant performance gain over existing state-of-the-art methods. Taking advantage of the very high dimensionality of the feature space, the metric is learned using a maximum margin criterion (MMC) over a discriminative nullspace where all training sample points of a given class map onto a single point, minimizing the within class scatter. A kernel version of MMC is used to obtain a better between class separation. Extensive experiments on four challenging benchmark datasets for person re-identification demonstrate that the proposed algorithm outperforms all existing methods. We obtain 99.8% rank-1 accuracy on the most widely accepted and challenging dataset VIPeR, compared to the previous state of the art being only 63.92%.


title: Optimal H\"older-Zygmund exponent of semi-regular refinable functions

abstract: The regularity of refinable functions has been investigated deeply in the past 25 years using Fourier analysis, wavelet analysis, restricted and joint spectral radii techniques. However the shift-invariance of the underlying regular setting is crucial for these approaches. We propose an efficient method based on wavelet tight frame decomposition techniques for estimating H\"older-Zygmund regularity of univariate semi-regular refinable functions generated, e.g., by subdivision schemes defined on semi-regular meshes $\mathbf{t}\;=\;-h_\ell\mathbb{N}\cup\{0\}\cup h_r\mathbb{N}$, $h_\ell,h_r \in (0,\infty)$. To ensure the optimality of this method, we provide a new characterization of H\"older-Zygmund spaces based on suitable irregular wavelet tight frames. Furthermore, we present proper tools for computing the corresponding frame coefficients in the semi-regular setting. We also propose a new numerical approach for estimating the optimal H\"older-Zygmund exponent of refinable functions which is more efficient than the linear regression method. We illustrate our results with several examples of known and new semi-regular subdivision schemes with a potential use in blending curve design.


title: Obstacle problems for nonlocal operators: A brief overview

abstract: In this note, we give a brief overview of obstacle problems for nonlocal operators, focusing on the applications to financial mathematics. The class of nonlocal operators that we consider can be viewed as infinitesimal generators of non-Gaussian asset price models, such as Variance Gamma Processes and Regular L\'evy Processes of Exponential type. In this context, we analyze the existence, uniqueness and regularity of viscosity solutions to obstacle problems which correspond to prices of perpetual and finite expiry American options. Complete proofs can be found in arXiv:1709.10384, where these results have originally appeared.


title: Sparsity Learning Based Multiuser Detection in Grant-Free Massive-Device Multiple Access

abstract: In this work, we study the multiuser detection (MUD) problem for a grant-free massive-device multiple access (MaDMA) system, where a large number of single-antenna user devices transmit sporadic data to a multi-antenna base station (BS). Specifically, we put forth two MUD schemes, termed random sparsity learning multiuser detection (RSL-MUD) and structured sparsity learning multiuser detection (SSL-MUD) for the time-slotted and non-time-slotted grant-free MaDMA systems, respectively. In the time-slotted RSL-MUD scheme, active users generate and transmit data packets with random sparsity. In the non-time-slotted SSL-MUD scheme, we introduce a sliding-window-based detection framework, and the user signals in each observation window naturally exhibit structured sparsity. We show that by exploiting the sparsity embedded in the user signals, we can recover the user activity state, the channel, and the user data in a single phase, without using pilot signals for channel estimation and/or active user identification. To this end, we develop a message-passing based statistical inference framework for the BS to blindly detect the user data without any prior knowledge of the identities and the channel state information (CSI) of the active users. Simulation results show that our RSL-MUD and SSL-MUD schemes significantly outperform their counterpart schemes in both reducing the transmission overhead and improving the error behavior of the system.


title: Detecting solar system objects with convolutional neural networks

abstract: In the preparation for ESA's Euclid mission and the large amount of data it will produce, we train deep convolutional neural networks on Euclid simulations classify solar system objects from other astronomical sources. Using transfer learning we are able to achieve a good performance despite our tiny dataset with as few as 7512 images. Our best model correctly identifies objects with a top accuracy of 94% and improves to 96% when Euclid's dither information is included. The neural network misses ~50% of the slowest moving asteroids (v < 10 arcsec/h) but is otherwise able to correctly classify asteroids even down to 26 mag. We show that the same model also performs well at classifying stars, galaxies and cosmic rays, and could potentially be applied to distinguish all types of objects in the Euclid data and other large optical surveys.


title: Accurate 3D Localization for MAV Swarms by UWB and IMU Fusion

abstract: Driven by applications like Micro Aerial Vehicles (MAVs), driver-less cars, etc, localization solution has become an active research topic in the past decade. In recent years, Ultra Wideband (UWB) emerged as a promising technology because of its impressive performance in both indoor and outdoor positioning. But algorithms relying only on UWB sensor usually result in high latency and low bandwidth, which is undesirable in some situations such as controlling a MAV. To alleviate this problem, an Extended Kalman Filter (EKF) based algorithm is proposed to fuse the Inertial Measurement Unit (IMU) and UWB, which achieved 80Hz 3D localization with significantly improved accuracy and almost no delay. To verify the effectiveness and reliability of the proposed approach, a swarm of 6 MAVs is set up to perform a light show in an indoor exhibition hall. Video and source codes are available at https://github.com/lijx10/uwb-localization


title: Optimizing the proximity effect along the BCS-BEC crossover

abstract: The proximity effect, which arises at the interface between two fermionic superfluids with different critical temperatures, is examined with a non-local (integral) equation whose kernel contains information about the size of Cooper pairs that leak across the interface. This integral approach avoids reference to the boundary conditions at the interface that would be required with a differential approach. The temperature dependence of the pair penetration depth on the normal side of the interface is determined over a wide temperature range, also varying the inter-particle coupling along the BCS-BEC crossover independently on both sides of the interface. Conditions are found for which the proximity effect is optimized in terms of the extension of the pair penetration depth.


title: Unsupervised Adversarial Depth Estimation using Cycled Generative Networks

abstract: While recent deep monocular depth estimation approaches based on supervised regression have achieved remarkable performance, costly ground truth annotations are required during training. To cope with this issue, in this paper we present a novel unsupervised deep learning approach for predicting depth maps and show that the depth estimation task can be effectively tackled within an adversarial learning framework. Specifically, we propose a deep generative network that learns to predict the correspondence field i.e. the disparity map between two image views in a calibrated stereo camera setting. The proposed architecture consists of two generative sub-networks jointly trained with adversarial learning for reconstructing the disparity map and organized in a cycle such as to provide mutual constraints and supervision to each other. Extensive experiments on the publicly available datasets KITTI and Cityscapes demonstrate the effectiveness of the proposed model and competitive results with state of the art methods. The code and trained model are available on https://github.com/andrea-pilzer/unsup-stereo-depthGAN.


title: Fine-Grained Visual Categorization using Meta-Learning Optimization with Sample Selection of Auxiliary Data

abstract: Fine-grained visual categorization (FGVC) is challenging due in part to the fact that it is often difficult to acquire an enough number of training samples. To employ large models for FGVC without suffering from overfitting, existing methods usually adopt a strategy of pre-training the models using a rich set of auxiliary data, followed by fine-tuning on the target FGVC task. However, the objective of pre-training does not take the target task into account, and consequently such obtained models are suboptimal for fine-tuning. To address this issue, we propose in this paper a new deep FGVC model termed MetaFGNet. Training of MetaFGNet is based on a novel regularized meta-learning objective, which aims to guide the learning of network parameters so that they are optimal for adapting to the target FGVC task. Based on MetaFGNet, we also propose a simple yet effective scheme for selecting more useful samples from the auxiliary data. Experiments on benchmark FGVC datasets show the efficacy of our proposed method.


title: Multiple Access for Transmissions Over Independent Fading Channels

abstract: We propose to employ a multilevel detection (MLDT) technique to allow multiple users which respectively transmit messages over independent fading channels to share the same resource, e.g., the same signature sequence in the CDMA (code division multiple access) system. The users are separated by the different channel gains including amplitudes and phases resultant from the independent fading channels. In a CDMA system with a fixed amount of available signature sequences, the number of users can be doubled or tripled by using MLDT although there is the cost of some BER performance degradation.


title: Defining arithmetical operations on infinite decimals

abstract: Completing Loo-Keng Hua's approach to the real number system pioneered in 1962, this paper defines arithmetical operations directly on infinite decimals without appealing to any ordering structure. Therefore, the widespread belief that there exists an algorithm for determining the digits of the product of two real numbers in terms of finite pieces of their decimal strings is essentially confirmed.


title: Ulrich bundles on Brauer--Severi varieties

abstract: We prove the existence of Ulrich bundles on any Brauer--Severi variety. In some cases, the minimal possible rank of the obtained Ulrich bundles equals the period of the Brauer--Severi variety. Moreover, we find a formula for the rank of an Ulrich bundle involving the period of the considered Brauer--Severi variety $X$, at least if $\mathrm{dim}(X)=p-1$ for an odd prime $p$. This formula implies that the rank of any Ulrich bundle on such a Brauer--Severi variety $X$ must be a multiple of the period.


title: Cohomogeneity-One Quasi-Einstein Metrics

abstract: Let $G/H$ be a connected, simply connected homogeneous space of a compact Lie group $G$. We study $G$-invariant quasi-Einstein metrics on the cohomogeneity one manifold $G/H\times (0,1)$ imposing the so-called monotypic condition on $G/H$. We obtain estimates on the rate of blow-up for these metrics near a singularity under a mild assumption on $G/H$. Next, we demonstrate that we can find quasi-Einstein metrics satisfying arbitrary $G$-invariant Dirichlet conditions.


title: A Law of Large Numbers and Large Deviations for interacting diffusions on Erd\H{o}s-R\'enyi graphs

abstract: We consider a class of particle systems described by differential equations (both stochastic and deterministic), in which the interaction network is determined by the realization of an Erd\H{o}s-R\'enyi graph with parameter $p_n\in (0, 1]$, where $n$ is the size of the graph (i.e., the number of particles). If $p_n\equiv 1$ the graph is the complete graph (mean field model) and it is well known that, under suitable hypotheses, the empirical measure converges as $n\to \infty$ to the solution of a PDE: a McKean-Vlasov (or Fokker-Planck) equation in the stochastic case, or a Vlasov equation in the deterministic one. It has already been shown that this holds for rather general interaction networks, that include Erd\H{o}s-R\'enyi graphs with $\lim_n p_n n =\infty$, and properly rescaling the interaction to account for the dilution introduced by $p_n$. However, these results have been proven under strong assumptions on that initial datum which has to be chaotic, i.e. a sequence of independent identically distributed random variables. The aim of our contribution is to present results -- Law of Large Numbers and Large Deviation Principle -- assuming only the convergence of the empirical measure of the initial condition.


title: Stability of the overdamped Langevin equation in double-well potential

abstract: In this article, we discuss stability of the one-dimensional overdamped Lange\-vin equation in double-well potential. We determine unstable and stable equilibria, and discuss the rate of convergence to stable ones. Also, we derive conditions for stability of general diffusion processes which generalize the classical and well-known results of Khasminskii 2012.


title: Spectroscopic follow-up of double quasar candidates

abstract: We report the results of an optical spectroscopic follow-up of four double quasar candidates in the Sloan Digital Sky Survey (SDSS) database. SDSS J1617+3827 is most likely a lensed quasar at z = 2.079, consisting of two images with r ~ 19-21 and separated by ~ 2 arcsec. We identify an extended source northeast of the brightest image as an early-type lensing galaxy at z = 0.602, and detect a candidate for the main deflector in the vicinity of the faintest image. SDSS J2153+2732 consists of two distinct but physically associated quasars at z ~ 2.24 (r ~ 19-20, separation of 3.6 arcsec). Although this system might be a binary quasar, there is evidence of a collision or merger within a galaxy cluster at an early stage. The other two candidates are projected pairs of active galactic nuclei: SDSS J1642+3200 (separation of ~ 3 arcsec) comprises a distant quasar (r ~ 18) at z = 2.263 and the active nucleus (r > 20) of a galaxy at z ~ 0.3, while SDSS J0240-0208 (r ~ 18-19, separation of ~ 1 arcsec) is a pair of quasars at z = 1.687 and z = 1.059. In each of these two systems, the background quasar only suffers a weak gravitational lensing effect by the host galaxy of the foreground active nucleus, so the host galaxy mass is constrained to be less than (2.9-3) x 10^{11} solar masses inside 10 kpc.


title: Corrected XVA Modelling Framework and Formulae for KVA and MVA

abstract: We discuss and clarify the XVA modelling framework specified in the paper "MVA by replication and regression" (Risk Magazine, May 2015) for including bilateral credit risk and funding costs in derivative pricing, and in doing so we rectify two key errors in the valuation adjustments accounting for costs of capital and initial margin, and present corrected formulae for KVA and MVA.


title: Poisson and normal approximations for the measurable functions of independent random variables

abstract: In this paper we use a Malliavin-Stein type method to investigate Poisson and normal approximations for the measurable functions of infinitely many independent random variables. We combine Stein's method with the difference operators in theory of concentration inequalities to obtain explicit bounds on Wasserstein, Kolmogorov and total variation distances. When restricted to the functions of a finite number of independent random variables, our method provides new bounds in the normal approximation. Meanwhile, our bounds in Poisson approximation are first to obtain explicitly.


title: An upper bound for min-max angle of polygons

abstract: Let $S$ be a set of $n$ points in the plane, $\wp(S)$ be the set of all simple polygons crossing $S$, $\gamma_P$ be the maximum angle of polygon $P \in \wp(S)$ and $\theta =min_{P\in\wp(S)} \gamma_P$. In this paper, we prove that $\theta\leq 2\pi-\frac{2\pi}{r.m}$ where $m$ and $r$ are the number of edges and inner points of the convex hull of $S$, respectively. We also propose an algorithm to construct a polygon with the said upper bound on its angles. Constructing a simple polygon with angular constraint on a given set of points in the plane can be used for path planning in robotics. Moreover, we improve our upper bound on $\theta$ and prove that this is tight for $r=1$.


title: Generalized linear sigma model with two glueballs

abstract: We present a generalized linear sigma model that includes both scalar and pseudoscalar glueballs in addition to a quark-antiquark as well as a four-quark chiral nonet. Utilizing the axial and trace anomalies of QCD (at the effective mesonic level), we aim to develope the most general structure of the Lagrangian which can be used to study the interaction of quarkonia with glueballs. We then study the effect of scalar glueball on the vacuum of the model by considering a decoupling limit in which the glueball fields are decoupled from quarkonia. This determines the properties of the pure scalar glueball and builds a practical foundation for determining the model parameters when the interactions are turned on.


title: Comment on scalar glueball mass

abstract: We study the interaction of scalar glueball with quark-antiquark and four-quark spinless meson fields within the framework of a generalized linear sigma model in which the trace anomaly of QCD is exactly realized. To determine the pure scalar glueball mass ($m_h$), we consider the decoupling limit in which the scalar glueball decouples from the meson fields. We find the exact relationship $m_h = 2\, h_0$ where $h_0$ is the vacuum expectation value of the scalar glueball field independent of the properties of the framework used.


title: Circulant preconditioners for functions of Hermitian Toeplitz matrices

abstract: Circulant preconditioners for functions of matrices have been recently of interest. In particular, several authors proposed the use of the optimal circulant preconditioners as well as the superoptimal circulant preconditioners in this context and numerically illustrated that such preconditioners are effective for certain functions of Toeplitz matrices. Motivated by their results, we propose in this work the absolute value superoptimal circulant preconditioners and provide several theorems that analytically show the effectiveness of such circulant preconditioners for systems defined by functions of Toeplitz matrices. Namely, we show that the eigenvalues of the preconditioned matrices are clustered around $\pm 1$ and rapid convergence of Krylov subspace methods can therefore be expected. Moreover, we show that our results can be extended to functions of block Toeplitz matrices with Toeplitz blocks provided that the optimal block circulant matrices with circulant blocks are used as preconditioners. Numerical examples are given to support our theoretical results.


title: Decimation analysis in the signal processing of current to detect broken bars in induction machine

abstract: This paper presents a study on the reduction of the sampling frequency of the current signals of an induction motor, the reductions are performed by means time-decimation technique for digital signal processing. We have used the Fast Fourier Transform to obtain the fault signal spectrum of broken bars. The results have shown how the decimation technique significantly reduces the number of operations and the time required to calculate the Fast Fourier Transform without loss of information. This approach provides a better performance of embedded systems for fault diagnosis based on characteristic of amplitude signal modulation.


title: Deep Leaf Segmentation Using Synthetic Data

abstract: Automated segmentation of individual leaves of a plant in an image is a prerequisite to measure more complex phenotypic traits in high-throughput phenotyping. Applying state-of-the-art machine learning approaches to tackle leaf instance segmentation requires a large amount of manually annotated training data. Currently, the benchmark datasets for leaf segmentation contain only a few hundred labeled training images. In this paper, we propose a framework for leaf instance segmentation by augmenting real plant datasets with generated synthetic images of plants inspired by domain randomisation. We train a state-of-the-art deep learning segmentation architecture (Mask-RCNN) with a combination of real and synthetic images of Arabidopsis plants. Our proposed approach achieves 90% leaf segmentation score on the A1 test set outperforming the-state-of-the-art approaches for the CVPPP Leaf Segmentation Challenge (LSC). Our approach also achieves 81% mean performance over all five test datasets.


title: Simple model for second-order topological insulators and loop-nodal semimetals in Transition Metal Dichalcogenides XTe$_2$ (X=Mo,W)

abstract: Transition metal dichalcogenides XTe$_{2}$ (X=Mo,W) have been shown to be second-order topological insulators based on first-principles calculations, while topological hinge states have been shown to emerge based on the associated tight-binding model. The model is equivalent to the one constructed from a loop-nodal semimetal by adding mass terms and spin-orbit interactions. We propose to study a chiral-symmetric model obtained from the original Hamiltonian by simplifying it but keeping almost identical band structures and topological hinge states. A merit is that we are able to derive various analytic formulas because of chiral symmetry, which enables us to reveal basic topological properties of transition metal dichalcogenides. We find a linked loop structure where a higher linking number (even 8) is realized. We construct second-order topological semimetals and two-dimensional second-order topological insulators based on this model. It is interesting that topological phase transitions occur without gap closing between a topological insulator, a topological crystalline insulator and a second-order topological insulator. We propose to characterize them by symmetry detectors discriminating whether the symmetry is preserved or not. They differentiate topological phases although the symmetry indicators yield identical values to them. We also show that topological hinge states are controllable by the direction of magnetization. When the magnetization points the $z$ direction, the hinges states shift, while they are gapped when it points the in-plane direction. Accordingly, the quantized conductance is switched by controlling the magnetization direction. Our results will be a basis of future topological devices based on transition metal dichalcogenides.


title: Moments of Ioffe time parton distribution functions from non-local matrix elements

abstract: We examine the relation of moments of parton distribution functions to matrix elements of non-local operators computed in lattice quantum chromodynamics. We argue that after the continuum limit is taken, these non-local matrix elements give access to moments that are finite and can be matched to those defined in the $\overline{MS}$ scheme. We demonstrate this fact with a numerical computation of moments through non-local matrix elements in the quenched approximation and we find that these moments are in excellent agreement with the moments obtained from direct computations of local twist-2 matrix elements in the quenched approximation.


title: Bike Flow Prediction with Multi-Graph Convolutional Networks

abstract: One fundamental issue in managing bike sharing systems is the bike flow prediction. Due to the hardness of predicting the flow for a single station, recent research works often predict the bike flow at cluster-level. While such studies gain satisfactory prediction accuracy, they cannot directly guide some fine-grained bike sharing system management issues at station-level. In this paper, we revisit the problem of the station-level bike flow prediction, aiming to boost the prediction accuracy leveraging the breakthroughs of deep learning techniques. We propose a new multi-graph convolutional neural network model to predict the bike flow at station-level, where the key novelty is viewing the bike sharing system from the graph perspective. More specifically, we construct multiple inter-station graphs for a bike sharing system. In each graph, nodes are stations, and edges are a certain type of relations between stations. Then, multiple graphs are constructed to reflect heterogeneous relationships (e.g., distance, ride record correlation). Afterward, we fuse the multiple graphs and then apply the convolutional layers on the fused graph to predict station-level future bike flow. In addition to the estimated bike flow value, our model also gives the prediction confidence interval so as to help the bike sharing system managers make decisions. Using New York City and Chicago bike sharing data for experiments, our model can outperform state-of-the-art station-level prediction models by reducing 25.1% and 17.0% of prediction error in New York City and Chicago, respectively.


title: Towards Explainable Inference about Object Motion using Qualitative Reasoning

abstract: The capability of making explainable inferences regarding physical processes has long been desired. One fundamental physical process is object motion. Inferring what causes the motion of a group of objects can even be a challenging task for experts, e.g., in forensics science. Most of the work in the literature relies on physics simulation to draw such infer- ences. The simulation requires a precise model of the under- lying domain to work well and is essentially a black-box from which one can hardly obtain any useful explanation. By contrast, qualitative reasoning methods have the advan- tage in making transparent inferences with ambiguous infor- mation, which makes it suitable for this task. However, there has been no suitable qualitative theory proposed for object motion in three-dimensional space. In this paper, we take this challenge and develop a qualitative theory for the motion of rigid objects. Based on this theory, we develop a reasoning method to solve a very interesting problem: Assuming there are several objects that were initially at rest and now have started to move. We want to infer what action causes the movement of these objects.


title: Unsupervised Learning of a Hierarchical Spiking Neural Network for Optical Flow Estimation: From Events to Global Motion Perception

abstract: The combination of spiking neural networks and event-based vision sensors holds the potential of highly efficient and high-bandwidth optical flow estimation. This paper presents the first hierarchical spiking architecture in which motion (direction and speed) selectivity emerges in an unsupervised fashion from the raw stimuli generated with an event-based camera. A novel adaptive neuron model and stable spike-timing-dependent plasticity formulation are at the core of this neural network governing its spike-based processing and learning, respectively. After convergence, the neural architecture exhibits the main properties of biological visual motion systems, namely feature extraction and local and global motion perception. Convolutional layers with input synapses characterized by single and multiple transmission delays are employed for feature and local motion perception, respectively; while global motion selectivity emerges in a final fully-connected layer. The proposed solution is validated using synthetic and real event sequences. Along with this paper, we provide the cuSNN library, a framework that enables GPU-accelerated simulations of large-scale spiking neural networks. Source code and samples are available at https://github.com/tudelft/cuSNN.


title: PROPEL: Probabilistic Parametric Regression Loss for Convolutional Neural Networks

abstract: In recent years, Convolutional Neural Networks (CNNs) have enabled significant advancements to the state-of-the-art in computer vision. For classification tasks, CNNs have widely employed probabilistic output and have shown the significance of providing additional confidence for predictions. However, such probabilistic methodologies are not widely applicable for addressing regression problems using CNNs, as regression involves learning unconstrained continuous and, in many cases, multi-variate target variables. We propose a PRObabilistic Parametric rEgression Loss (PROPEL) that facilitates CNNs to learn parameters of probability distributions for addressing probabilistic regression problems. PROPEL is fully differentiable and, hence, can be easily incorporated for end-to-end training of existing CNN regression architectures using existing optimization algorithms. The proposed method is flexible as it enables learning complex unconstrained probabilities while being generalizable to higher dimensional multi-variate regression problems. We utilize a PROPEL-based CNN to address the problem of learning hand and head orientation from uncalibrated color images. Our experimental validation and comparison with existing CNN regression loss functions show that PROPEL improves the accuracy of a CNN by enabling probabilistic regression, while significantly reducing required model parameters by $10 \times$, resulting in improved generalization as compared to the existing state-of-the-art.


title: Properties of upconverted entangled broadband light

abstract: We experimentally investigate the properties of light generated by the sequential processes of spontaneous parametric downconversion followed by upconversion. By interfering the upconverted photons with the original pump light, we show that the processes preserve the coherence of the light. Moreover, we observe interferences with doubled phase sensitivity when changing the phase of the downconverted entangled light, although its coherence length is several orders of magnitude shorter than the one of the pump light. Finally the statistics of the upconverted light is expected to be super-poissonian and we experimentally observe superbunching.


title: Optical-depth scaling of light scattering from a dense and cold atomic $^{87}$Rb gas

abstract: We report investigation of near-resonance light scattering from a cold and dense atomic gas of $^{87}$Rb atoms. Measurements are made for probe frequencies tuned near the $F=2\to F'=3$ nearly closed hyperfine transition, with particular attention paid to the dependence of the scattered light intensity on detuning from resonance, the number of atoms in the sample, and atomic sample size. We find that, over a wide range of experimental variables, the optical depth of the atomic sample serves as an effective single scaling parameter which describes well all the experimental data.


title: Improved Fourier restriction estimates in higher dimensions

abstract: We consider Guth's approach to the Fourier restriction problem via polynomial partitioning. By writing out his induction argument as a recursive algorithm and introducing new geometric information, known as the polynomial Wolff axioms, we obtain improved bounds for the restriction conjecture, particularly in high dimensions. Consequences for the Kakeya conjecture are also considered.