title: Strong $(\delta,n)$-complements for semi-stable morphisms

abstract: We prove boundedness of global strong $(\delta,n)$-complements for generalized $\epsilon$-log canonical pairs of Fano type. We also prove some partial results towards boundedness of local strong $(\delta,n)$-complements for semi-stable morphisms. As applications, we prove an effective generalized canonical bundle formula for generalized klt pairs and an effective generalized adjunction formula for exceptional generalized log canonical centers. Moreover, we prove that the existence of strong $(\delta,n)$-complements implies a conjecture due to M$^{\rm c}$Kernan concerning the singularities of the base of a Mori fiber space.


title: Evolution of non-stationary pulses in a cold magnetized quark-gluon plasma

abstract: We study weakly nonlinear wave perturbations propagating in a cold nonrelativistic and magnetized ideal quark-gluon plasma. We show that such perturbations can be described by the Ostrovsky equation. The derivation of this equation is presented for the baryon density perturbations. Then we show that the generalized nonlinear Schr{\"o}dinger (NLS) equation can be derived from the Ostrovsky equation for the description of quasi-harmonic wave trains. This equation is modulationally stable for the wave number $k < k_m$ and unstable for $k > k_m$, where $k_m$ is the wave number where the group velocity has a maximum. We study numerically the dynamics of initial wave packets with the different carrier wave numbers and demonstrate that depending on the initial parameters they can evolve either into the NLS envelope solitons or into dispersive wave trains.


title: Action Model Acquisition using LSTM

abstract: In the field of Automated Planning and Scheduling (APS), intelligent agents by virtue require an action model (blueprints of actions whose interleaved executions effectuates transitions of the system state) in order to plan and solve real world problems. It is, however, becoming increasingly cumbersome to codify this model, and is more efficient to learn it from observed plan execution sequences (training data). While the underlying objective is to subsequently plan from this learnt model, most approaches fall short as anything less than a flawless reconstruction of the underlying model renders it unusable in certain domains. This work presents a novel approach using long short-term memory (LSTM) techniques for the acquisition of the underlying action model. We use the sequence labelling capabilities of LSTMs to isolate from an exhaustive model set a model identical to the one responsible for producing the training data. This isolation capability renders our approach as an effective one.


title: Exascale Deep Learning for Climate Analytics

abstract: We extract pixel-level masks of extreme weather patterns using variants of Tiramisu and DeepLabv3+ neural networks. We describe improvements to the software frameworks, input pipeline, and the network training algorithms necessary to efficiently scale deep learning on the Piz Daint and Summit systems. The Tiramisu network scales to 5300 P100 GPUs with a sustained throughput of 21.0 PF/s and parallel efficiency of 79.0%. DeepLabv3+ scales up to 27360 V100 GPUs with a sustained throughput of 325.8 PF/s and a parallel efficiency of 90.7% in single precision. By taking advantage of the FP16 Tensor Cores, a half-precision version of the DeepLabv3+ network achieves a peak and sustained throughput of 1.13 EF/s and 999.0 PF/s respectively.


title: Study of longitudinal coherence properties of pseudo thermal light source as a function of source size and temporal coherence

abstract: In conventional OCT, broadband light sources are generally utilized to obtain high axial resolution due to their low temporal coherence (TC) length. Purely monochromatic (i.e., high TC length) light sources like laser cannot be implemented to acquire high resolution optically sectioned images of the specimen. Contrary to this, pseudo thermal light source having high TC and low spatial coherence (SC) property can be employed to achieve high axial resolution comparable to broadband light source. In the present letter, a pseudo thermal light source is synthesized by passing a purely monochromatic laser beam through a rotating diffuser. The longitudinal coherence (LC) property of the pseudo thermal light source is studied as a function of source size and TC length. The LC length of the synthesized light source decreased as the source size increased. It is found that LC length of such light source becomes independent of the parent laser TC length for source size of greater than or equal to 3.3 mm and become almost constant at around 30 micron for both the lasers. Thus any monochromatic laser light source can be utilized to obtain high axial resolution in OCT system irrespective of its TC length. The maximum achievable axial resolution is found to be equal to 650 nm corresponding to 1.2 numerical aperture (NA) objective lens at 632 nm wavelength. The findings elucidate that pseudo thermal source being monochromatic in nature can improve the performance of existing OCT systems significantly.


title: Climate change via co2 drawdown from astrophysically initiated atmospheric ionization?

abstract: Motivated by the occurrence of a moderately nearby supernova near the beginning of the Pleistocene, possibly as part of a long-term series beginning in the Miocene, we investigate whether nitrate rainout resulting from the atmospheric ionization of enhanced cosmic ray flux could have, through its fertilizer effect, initiated carbon dioxide drawdown. Such a drawdown could possibly reduce the greenhouse effect and induce the climate change that led to the Pleistocene glaciations. We estimate that the nitrogen flux enhancement onto the surface from an event at 50 pc would be of order 10%, probably too small for dramatic changes. We estimate deposition of iron (another potential fertilizer) and find it is also too small to be significant. There are also competing effects of opposite sign, including muon irradiation and reduction in photosynthetic yield caused by UV increase from stratospheric ozone layer depletion, leading to an ambiguous result. However, if the atmospheric ionization induces a large increase in the frequency of lightning, as argued elsewhere, the amount of nitrate synthesis should be much larger, dominate over the other effects, and induce the climate change. More work needs to be done to clarify effects on lightning frequency.


title: Towards parton distribution functions with theoretical uncertainties

abstract: An important limitation in current fits of parton distribution functions (PDFs) is that PDF uncertainties do not include any source of theoretical uncertainty. Here we present a general method for incorporating theoretical uncertainties into PDF fits, focussing in particular on perturbative missing higher order uncertainties (MHOUs). We consider two methods for estimating the effect of MHOUs on PDFs, both based on scale variations. Firstly, we present PDF fits based on theoretical predictions with varied scales, and use these to estimate the associated MHOUs. Secondly, we discuss the construction of a theoretical covariance matrix using scale variations, and its combination with the experimental covariance matrix currently used in PDF fits.


title: Improving High Contention OLTP Performance via Transaction Scheduling

abstract: Research in transaction processing has made significant progress in improving the performance of multi-core in-memory transactional systems. However, the focus has mainly been on low-contention workloads. Modern transactional systems perform poorly on workloads with transactions accessing a few highly contended data items. We observe that most transactional workloads, including those with high contention, can be divided into clusters of data conflict-free transactions and a small set of residuals. In this paper, we introduce a new concurrency control protocol called Strife that leverages the above observation. Strife executes transactions in batches, where each batch is partitioned into clusters of conflict-free transactions and a small set of residual transactions. The conflict-free clusters are executed in parallel without any concurrency control, followed by executing the residual cluster either serially or with concurrency control. We present a low-overhead algorithm that partitions a batch of transactions into clusters that do not have cross-cluster conflicts and a small residual cluster. We evaluate Strife against the optimistic concurrency control protocol and several variants of two-phase locking, where the latter is known to perform better than other concurrency protocols under high contention, and show that Strife can improve transactional throughput by up to 2x. We also perform an in-depth micro-benchmark analysis to empirically characterize the performance and quality of our clustering algorithm


title: On the temperature scaling behaviour of the linear magnetoresistance observed in high-temperature superconductors

abstract: An analytical model invoking variations in the charge-carrier density is used to generate magnetoresistance curves that are almost indistinguishable from those produced by sophisticated numerical models. This demonstrates that, though disorder is pivotal in causing linear magnetoresistance, the form of the magnetoresistance thus generated is insensitive to details of the disorder. Taken in conjunction with the temperature ($T$) dependence of the zero-field resistivity, realistic levels of disorder are shown to be sufficient to explain the linear magnetoresistance and field-$T$ resistance scaling observed in high-temperature pnictide and cuprate superconductors. Hence, though the $T$-linear zero-field resistance is a definite signature of the "strange metal" state of high-temperature superconductors, their linear magnetoresistance and its scaling is unlikely to be so.


title: Jamming by growth

abstract: Growth in confined spaces can drive cellular populations through a jamming transition from a fluid-like state to a solid-like state. Experiments have found that jammed budding yeast populations can build up extreme compressive pressures (over 1MPa), which in turn feed back onto cellular physiology by slowing or even stalling cell growth. Using extensive numerical simulations, we investigate how this feedback impacts the mechanical properties of model jammed cellular populations. We find that feedback directs growth toward poorly-coordinated regions, resulting in an excess number of cell-cell contacts that rigidify cell packings. Cell packings posses anomalously large shear and bulk moduli that depend sensitively on the strength of feedback. These results demonstrate that mechanical feedback on the single-cell level is a simple mechanism by which living systems can tune their population-level mechanical properties.


abstract: A 3D woodpile structure tunable plasma photonic crystal is designed, simulated, and experimentally characterized over the S - X band of the electromagnetic spectrum. The measurements confirm that the electromagnetic response is rich in dynamics. The photonic crystal's reconfigurability, achieved through individual discharge control of the properties of the woodpile plasma columns, offers an unprecedented opportunity to better resolve the interactions between both the Bragg and localized surface plasmon modes which dominate the spectrum at lower frequencies. Both the experiments and simulations reveal evidence for the coupling of Bragg and surface plasmon modes through a Fano resonance.


title: Image and Encoded Text Fusion for Multi-Modal Classification

abstract: Multi-modal approaches employ data from multiple input streams such as textual and visual domains. Deep neural networks have been successfully employed for these approaches. In this paper, we present a novel multi-modal approach that fuses images and text descriptions to improve multi-modal classification performance in real-world scenarios. The proposed approach embeds an encoded text onto an image to obtain an information-enriched image. To learn feature representations of resulting images, standard Convolutional Neural Networks (CNNs) are employed for the classification task. We demonstrate how a CNN based pipeline can be used to learn representations of the novel fusion approach. We compare our approach with individual sources on two large-scale multi-modal classification datasets while obtaining encouraging results. Furthermore, we evaluate our approach against two famous multi-modal strategies namely early fusion and late fusion.


title: Improving Community Detection by Mining Social Interactions

abstract: Social relationships can be divided into different classes based on the regularity with which they occur and the similarity among them. Thus, rare and somewhat similar relationships are random and cause noise in a social network, thus hiding the actual structure of the network and preventing an accurate analysis of it. In this context, in this paper we propose a process to handle social network data that exploits temporal features to improve the detection of communities by existing algorithms. By removing random interactions, we observe that social networks converge to a topology with more purely social relationships and more modular communities.


title: From Soft Classifiers to Hard Decisions: How fair can we be?

abstract: A popular methodology for building binary decision-making classifiers in the presence of imperfect information is to first construct a non-binary "scoring" classifier that is calibrated over all protected groups, and then to post-process this score to obtain a binary decision. We study the feasibility of achieving various fairness properties by post-processing calibrated scores, and then show that deferring post-processors allow for more fairness conditions to hold on the final decision. Specifically, we show: 1. There does not exist a general way to post-process a calibrated classifier to equalize protected groups' positive or negative predictive value (PPV or NPV). For certain "nice" calibrated classifiers, either PPV or NPV can be equalized when the post-processor uses different thresholds across protected groups, though there exist distributions of calibrated scores for which the two measures cannot be both equalized. When the post-processing consists of a single global threshold across all groups, natural fairness properties, such as equalizing PPV in a nontrivial way, do not hold even for "nice" classifiers. 2. When the post-processing is allowed to `defer' on some decisions (that is, to avoid making a decision by handing off some examples to a separate process), then for the non-deferred decisions, the resulting classifier can be made to equalize PPV, NPV, false positive rate (FPR) and false negative rate (FNR) across the protected groups. This suggests a way to partially evade the impossibility results of Chouldechova and Kleinberg et al., which preclude equalizing all of these measures simultaneously. We also present different deferring strategies and show how they affect the fairness properties of the overall system. We evaluate our post-processing techniques using the COMPAS data set from 2016.


title: Topological Connectedness and Behavioral Assumptions on Preferences: A Two-Way Relationship

abstract: This paper offers a comprehensive treatment of the question as to whether a binary relation can be consistent (transitive) without being decisive (complete), or decisive without being consistent, or simultaneously inconsistent or indecisive, in the presence of a continuity hypothesis that is, in principle, non-testable. It identifies topological connectedness of the (choice) set over which the continuous binary relation is defined as being crucial to this question. Referring to the two-way relationship as the Eilenberg-Sonnenschein (ES) research program, it presents four synthetic, and complete, characterizations of connectedness, and its natural extensions; and two consequences that only stem from it. The six theorems are novel to both the economic and the mathematical literature: they generalize pioneering results of Eilenberg (1941), Sonnenschein (1965), Schmeidler (1971) and Sen (1969), and are relevant to several applied contexts, as well as to ongoing theoretical work.


title: On the nature of the conformable derivative and its applications to physics

abstract: The purpose of this work is to show that the Khalil and Katagampoula conformable derivatives are equivalent to the simple change of variables $x$ $\rightarrow $ $x^{\alpha }/\alpha ,$ where $\alpha $ is the order of the derivative operator, when applied to differential functions. Although this means no \textquotedblleft new mathematics\textquotedblright\ is obtained by working with these derivatives, it is a second purpose of this work to argue that there is still significant value in exploring the mathematics and physical applications of these derivatives. This work considers linear differential equations, self-adjointness, Sturm-Liouville systems, and integral transforms. A third purpose of this work is to contribute to the physical interpretation when these derivatives are applied to physics and engineering. Quantum mechanics serves as the primary backdrop for this development.


title: A note on the dimension of the largest simple Hecke submodule

abstract: For $k\ge 2$ even, let $d_{k,N}$ denote the dimension of the largest simple Hecke submodule of $S_{k}(\Gamma_0(N); \mathbb{Q})^\text{new}$. We show, using a simple analytic method, that $d_{k,N} \gg_k \log\log N / \log(2p)$ with $p$ the smallest prime co-prime to $N$. Previously, bounds of this quality were only known for $N$ in certain subsets of the primes. We also establish similar (and sometimes stronger) results concerning $S_{k}(\Gamma_0(N), \chi)$, with $k \geq 2$ an integer and $\chi$ an arbitrary nebentypus.


title: Physical constraints for the evolution of life on exoplanets

abstract: Recently, many Earth-sized planets have been discovered around stars other than the Sun that might possess appropriate conditions for life. The development of theoretical methods for assessing the putative habitability of these worlds is of paramount importance, since it serves the dual purpose of identifying and quantifying what types of biosignatures may exist and determining the selection of optimal target stars and planets for subsequent observations. This Colloquium discusses how a multitude of physical factors act in tandem to regulate the propensity of worlds for hosting detectable biospheres. The focus is primarily on planets around low-mass stars, as they are most readily accessible to searches for biosignatures. This Colloquium outlines how factors such as stellar winds, the availability of ultraviolet and visible light, the surface water and land fractions, stellar flares, and associated phenomena place potential constraints on the evolution of life on these planets.


title: On the two-dimensional Schr\"odinger operator with an attractive potential of the Bessel-Macdonald type

abstract: We analyze the Schr\"odinger operator in two-dimensions with an attractive potential given by a Bessel-Macdonald function. This operator is derived in the non-relativistic approximation of planar quantum electrodynamics (${\rm QED}_3$) models as a framework for evaluation of two-quasiparticle scattering potentials. The analysis is motivated keeping in mind the fact that parity-preserving ${\rm QED}_3$ models can provide a possible explanation for the behavior of superconductors. Initially, we study the self-adjointness and spectral properties of the Schr\"odinger operator modeling the non-relativistic approximation of these ${\rm QED}_3$ models. Then, by using {\em Set\^o-type estimates}, an estimate is derived of the number of two-particle bound states which depends directly on the value of the effective coupling constant, $C$, for {\em any} value of the angular momentum. In fact, this result in connection with the condition that guarantees the self-adjointness of the Schr\"odinger operator shows that there can always be a large number of two-quasiparticle bound states in planar quantum electrodynamics models. In particular, we show the existence of an isolated two-quasiparticle bound state if the effective coupling constant $C \in (0,2)$ in case of zero angular momentum. To the best of our knowledge, this result has not yet been addressed in the literature. Additionally, we obtain an explicit estimate for the energy gap of two-quasiparticle bound states which might be applied to high-$T_c$ $s$-wave Cooper-type superconductors as well as to $s$-wave electron-polaron--electron-polaron bound states (bipolarons) in mass-gap graphene systems.

categories: math-ph cond-mat.str-el cond-mat.supr-con hep-th math.MP quant-ph


title: The Hamilton-Waterloo Problem with even cycle lengths

abstract: The Hamilton-Waterloo Problem HWP$(v;m,n;\alpha,\beta)$ asks for a 2-factorization of the complete graph $K_v$ or $K_v-I$, the complete graph with the edges of a 1-factor removed, into $\alpha$ $C_m$-factors and $\beta$ $C_n$-factors, where $3 \leq m < n$. In the case that $m$ and $n$ are both even, the problem has been solved except possibly when $1 \in \{\alpha,\beta\}$ or when $\alpha$ and $\beta$ are both odd, in which case necessarily $v \equiv 2 \pmod{4}$. In this paper, we develop a new construction that creates factorizations with larger cycles from existing factorizations under certain conditions. This construction enables us to show that there is a solution to HWP$(v;2m,2n;\alpha,\beta)$ for odd $\alpha$ and $\beta$ whenever the obvious necessary conditions hold, except possibly if $\beta=1$; $\beta=3$ and $\gcd(m,n)=1$; $\alpha=1$; or $v=2mn/\gcd(m,n)$. This result almost completely settles the existence problem for even cycles, other than the possible exceptions noted above.


title: Domain Specific Approximation for Object Detection

abstract: There is growing interest in object detection in advanced driver assistance systems and autonomous robots and vehicles. To enable such innovative systems, we need faster object detection. In this work, we investigate the trade-off between accuracy and speed with domain-specific approximations, i.e. category-aware image size scaling and proposals scaling, for two state-of-the-art deep learning-based object detection meta-architectures. We study the effectiveness of applying approximation both statically and dynamically to understand the potential and the applicability of them. By conducting experiments on the ImageNet VID dataset, we show that domain-specific approximation has great potential to improve the speed of the system without deteriorating the accuracy of object detectors, i.e. up to 7.5x speedup for dynamic domain-specific approximation. To this end, we present our insights toward harvesting domain-specific approximation as well as devise a proof-of-concept runtime, AutoFocus, that exploits dynamic domain-specific approximation.


title: Joint Entanglement of Topology and Polarization Enables Error-Protected Quantum Registers

abstract: Linear-optical systems can implement photonic quantum walks that simulate systems with nontrivial topological properties. Here, such photonic walks are used to jointly entangle polarization and winding number. This joint entanglement allows information processing tasks to be performed with interactive access to a wide variety of topological features. Topological considerations are used to suppress errors, with polarization allowing easy measurement and manipulation of qubits. We provide three examples of this approach: production of two-photon systems with entangled winding number (including topological analogs of Bell states), a topologically error-protected optical memory register, and production of entangled topologicallyprotected boundary states. In particular it is shown that a pair of quantum memory registers, entangled in polarization and winding number, with topologically-assisted error suppression can be made with qubits stored in superpositions of winding numbers; as a result, information processing with winding number-based qubits is a viable possibility.


title: The orientation of CO intercalated between graphene and Ru(0001)

abstract: $^{13}$CO molecules are intercalated under a single layer graphene film on Ru(0001) and interrogated with helium low energy ion scattering. Single scattering is used to determine the mass distribution of atomic species visible to the ion beam and detector, and the scattering angle is varied to distinguish adsorbed from intercalated molecules. At room temperature, CO intercalates as molecules that sit upright with the O end on top, as on clean Ru. The intercalated CO tilts, more than it does on clean Ru, when the temperature is raised. This is presumably due to increased vibrational amplitudes combined with the confining effect of the graphene film.


title: Probabilistic assessment of the impact of flexible loads under network tariffs in low voltage distribution networks

abstract: Given the historically static nature of low-voltage networks, distribution network companies do not possess tools for dealing with an increasingly variable demand due to the high penetration of distributed energy resources (DER). Within this context, this paper proposes a probabilistic framework for tariff design that minimises the impact of DER on network performance, stabilise network company revenue, and improves the equity of network costs allocation. To address the issue of the lack of customers' response, we also show how DER-specific tariffs can be complemented with an automated home energy management system (HEMS) that reduces peak demand while retaining the desired comfort level. The proposed framework comprises a nonparametric Bayesian model which statistically generates synthetic load and PV traces, a hot-water-use statistical model, a novel HEMS to schedule customers' controllable devices, and a probabilistic power-flow model. Test cases using both energy- and demand-based network tariffs show that flat tariffs with a peak demand component reduce the customers' cost, and alleviate network constraints. This demonstrates, first, the efficacy of the proposed tool for the development of tariffs that are beneficial for networks with a high DER penetration, and second, how customers' HEM systems can be part of the solution.


title: Bounds on the multiplicity of the Hecke eigenvalues

abstract: Fix an integer $N$ and a prime $p\nmid N$ where $p\geq 5$. We show that the number of newforms $f$ (up to a scalar multiple) of level $N$ and even weight $k$ such that $\mathcal{T}_p(f)=0$ is bounded independently of $k$, where $\mathcal{T}_p(f)$ is the Hecke operator.


title: On Lusztig's asymptotic Hecke algebra for $\mathrm{SL}_2$

abstract: Let $H$ be the Iwahori-Hecke algebra and let $J$ be Lusztig's asymptotic Hecke algebra, both specialized to type $\tilde{A}_1$. For $\mathrm{SL}_2$, when the parameter $q$ is specialized to a prime power, Braverman and Kazhdan showed recently that a completion of $H$ has codimension two as a subalgebra of a completion of $J$, and described a basis for the quotient in spectral terms. In this note we write these functions explicitly in terms of the basis $\{t_w\}$ of $J$, and further invert the canonical isomorphism between the completions of $H$ and $J$, obtaining explicit formulas for the each basis element $t_w$ in terms of the basis $\{T_w\}$ of $H$. We conjecture some properties of this expansion for more general groups. We conclude by using our formulas to prove that $J$ acts on the Schwartz space of the basic affine space of $\mathrm{SL}_2$, and produce some formulas for this action.


title: The Four Point Permutation Test for Latent Block Structure in Incidence Matrices

abstract: Transactional data may be represented as a bipartite graph $G:=(L \cup R, E)$, where $L$ denotes agents, $R$ denotes objects visible to many agents, and an edge in $E$ denotes an interaction between an agent and an object. Unsupervised learning seeks to detect block structures in the adjacency matrix $Z$ between $L$ and $R$, thus grouping together sets of agents with similar object interactions. New results on quasirandom permutations suggest a non-parametric \textbf{four point test} to measure the amount of block structure in $G$, with respect to vertex orderings on $L$ and $R$. Take disjoint 4-edge random samples, order these four edges by left endpoint, and count the relative frequencies of the $4!$ possible orderings of the right endpoint. When these orderings are equiprobable, the edge set $E$ corresponds to a quasirandom permutation $\pi$ of $|E|$ symbols. Total variation distance of the relative frequency vector away from the uniform distribution on 24 permutations measures the amount of block structure. Such a test statistic, based on $\lfloor |E|/4 \rfloor$ samples, is computable in $O(|E|/p)$ time on $p$ processors. Possibly block structure may be enhanced by precomputing \textbf{natural orders} on $L$ and $R$, related to the second eigenvector of graph Laplacians. In practice this takes $O(d |E|)$ time, where $d$ is the graph diameter. Five open problems are described.


title: Balancing Efficiency and Coverage in Human-Robot Dialogue Collection

abstract: We describe a multi-phased Wizard-of-Oz approach to collecting human-robot dialogue in a collaborative search and navigation task. The data is being used to train an initial automated robot dialogue system to support collaborative exploration tasks. In the first phase, a wizard freely typed robot utterances to human participants. For the second phase, this data was used to design a GUI that includes buttons for the most common communications, and templates for communications with varying parameters. Comparison of the data gathered in these phases show that the GUI enabled a faster pace of dialogue while still maintaining high coverage of suitable responses, enabling more efficient targeted data collection, and improvements in natural language understanding using GUI-collected data. As a promising first step towards interactive learning, this work shows that our approach enables the collection of useful training data for navigation-based HRI tasks.


title: Representations and corepresentations of $p$-equipped posets

abstract: For $p$ a prime number and $\mathscr{P}$ a $p$-equipped finite partially ordered set we construct two different right-peak algebras (in the sense of \cite{KS}) $\Lambda^{(r)}$ and $\Lambda^{(c)}$. We consider the category $\mathcal{U}^{(r)}$ $\left(\mathcal{U}^{(c)}\right)$ consisting of the finitely generated right $\Lambda^{(r)}$-modules ($\Lambda^{(c)}$-modules) which are socle-projective. The categories $\mathcal{U}^{(r)}$ and $\mathcal{U}^{(c)}$ have almost split sequences. We describe he Auslander-Reiten components $\mathcal{C}_{\mathcal{U}}^{(r)}$ and $\mathcal{C}_{\mathcal{U}}^{(c)}$ of the corresponding simple projective modules in $\mathcal{U}^{(r)}$ and $\mathcal{U}^{(c)}$. Then we prove that there is a bijective correspondence between $\mathcal{C}_{\mathcal{U}}^{(r)}$ and $\mathcal{C}_{\mathcal{U}}^{(c)}$, although the corresponding almost split sequences have different shapes.


title: Seq2Slate: Re-ranking and Slate Optimization with RNNs

abstract: Ranking is a central task in machine learning and information retrieval. In this task, it is especially important to present the user with a slate of items that is appealing as a whole. This in turn requires taking into account interactions between items, since intuitively, placing an item on the slate affects the decision of which other items should be placed alongside it. In this work, we propose a sequence-to-sequence model for ranking called seq2slate. At each step, the model predicts the next `best' item to place on the slate given the items already selected. The sequential nature of the model allows complex dependencies between the items to be captured directly in a flexible and scalable way. We show how to learn the model end-to-end from weak supervision in the form of easily obtained click-through data. We further demonstrate the usefulness of our approach in experiments on standard ranking benchmarks as well as in a real-world recommendation system.


abstract: Deep learning-based methods have reached state of the art performances, relying on large quantity of available data and computational power. Such methods still remain highly inappropriate when facing a major open machine learning problem, which consists of learning incrementally new classes and examples over time. Combining the outstanding performances of Deep Neural Networks (DNNs) with the flexibility of incremental learning techniques is a promising venue of research. In this contribution, we introduce Transfer Incremental Learning using Data Augmentation (TILDA). TILDA is based on pre-trained DNNs as feature extractor, robust selection of feature vectors in subspaces using a nearest-class-mean based technique, majority votes and data augmentation at both the training and the prediction stages. Experiments on challenging vision datasets demonstrate the ability of the proposed method for low complexity incremental learning, while achieving significantly better accuracy than existing incremental counterparts.


title: Low energy band structure in Bernal stacked hexlayer graphene: Landau fan diagram and resistance ridge

abstract: The low-energy band structure of Bernal-stacked hexlayer graphene was investigated by the measuring transport properties of high-mobility graphene samples equipped with a top and a bottom gate electrode at low temperature and in a magnetic field. By analyzing the Landau fan diagram, it was found that the hexlayer graphene consisted of three different bilayer-like bands that overlap and form a semimetal. The electronic band structure was significantly influenced by the perpendicular electric field generated by the top and bottom gate voltages. The Not fan diagram shows splitting of zero-mode Landau levels, while also the top and bottom gate voltage dependence of the resistivity at zero magnetic field shows ridge-like structure, similar to the one recently found in tetralayer graphene. It is shown that the ridge structure originates from the band structure of the Bernalstacked hexlayer graphene. Most of the ridges originate from the bottoms of the bilayer-like bands, and a few ridges originate from the energy gap structures which locally close due to trigonal warping and expected to form mini-Dirac cones.


title: Convergence of the Expectation-Maximization Algorithm Through Discrete-Time Lyapunov Stability Theory

abstract: In this paper, we propose a dynamical systems perspective of the Expectation-Maximization (EM) algorithm. More precisely, we can analyze the EM algorithm as a nonlinear state-space dynamical system. The EM algorithm is widely adopted for data clustering and density estimation in statistics, control systems, and machine learning. This algorithm belongs to a large class of iterative algorithms known as proximal point methods. In particular, we re-interpret limit points of the EM algorithm and other local maximizers of the likelihood function it seeks to optimize as equilibria in its dynamical system representation. Furthermore, we propose to assess its convergence as asymptotic stability in the sense of Lyapunov. As a consequence, we proceed by leveraging recent results regarding discrete-time Lyapunov stability theory in order to establish asymptotic stability (and thus, convergence) in the dynamical system representation of the EM algorithm.


title: Detecting DGA domains with recurrent neural networks and side information

abstract: Modern malware typically makes use of a domain generation algorithm (DGA) to avoid command and control domains or IPs being seized or sinkholed. This means that an infected system may attempt to access many domains in an attempt to contact the command and control server. Therefore, the automatic detection of DGA domains is an important task, both for the sake of blocking malicious domains and identifying compromised hosts. However, many DGAs use English wordlists to generate plausibly clean-looking domain names; this makes automatic detection difficult. In this work, we devise a notion of difficulty for DGA families called the smashword score; this measures how much a DGA family looks like English words. We find that this measure accurately reflects how much a DGA family's domains look like they are made from natural English words. We then describe our new modeling approach, which is a combination of a novel recurrent neural network architecture with domain registration side information. Our experiments show the model is capable of effectively identifying domains generated by difficult DGA families. Our experiments also show that our model outperforms existing approaches, and is able to reliably detect difficult DGA families such as matsnu, suppobox, rovnix, and others. The model's performance compared to the state of the art is best for DGA families that resemble English words. We believe that this model could either be used in a standalone DGA domain detector---such as an endpoint security application---or alternately the model could be used as a part of a larger malware detection system.


title: Convergence to Second-Order Stationarity for Constrained Non-Convex Optimization

abstract: We consider the problem of finding an approximate second-order stationary point of a constrained non-convex optimization problem. We first show that, unlike the gradient descent method for unconstrained optimization, the vanilla projected gradient descent algorithm may converge to a strict saddle point even when there is only a single linear constraint. We then provide a hardness result by showing that checking $(\epsilon_g,\epsilon_H)$-second order stationarity is NP-hard even in the presence of linear constraints. Despite our hardness result, we identify instances of the problem for which checking second order stationarity can be done efficiently. For such instances, we propose a dynamic second order Frank--Wolfe algorithm which converges to ($\epsilon_g, \epsilon_H$)-second order stationary points in ${\mathcal{O}}(\max\{\epsilon_g^{-2}, \epsilon_H^{-3}\})$ iterations. The proposed algorithm can be used in general constrained non-convex optimization as long as the constrained quadratic sub-problem can be solved efficiently.


title: Thermal effects of the quantum states generated from the isomorphs of PPKTP crystal

abstract: We theoretically and numerically investigate the temperature-dependent properties of the biphotons generated from four isomorphs of periodically poled $\mathrm{KTiOPO_4}$ (PPKTP): i.e., PPRTP, PPKTA, PPRTA and PPCTA. It is discovered that the first type of group-velocity-matched (GVM) wavelength is decreased by 6.4, 1.2, 8.9, 25.6 and 6.3 nm, while the phase-matched wavelength is decreased by 4.4, -0.4, -1.2, 29.1 and 59.5 nm for PPKTP, PPRTP, PPKTA, PPRTA and PPCTA, respectively, when the temperature is increased from 20$\,^{\circ}\mathrm{C}$ to 120$\,^{\circ}\mathrm{C}$. Although the maximal spectral purity of the heralded single photons is not changed at different temperature, the Hong-Ou-Mandel (HOM) interference shows different patterns due to a shift of the joint spectral amplitude. These thermal effects are very important for precise control of the quantum state for the future applications in quantum information processing, for example, in quantum interference or spectroscopy.


title: EP-based Joint Active User Detection and Channel Estimation for Massive Machine-Type Communications

abstract: Massive machine-type communication (mMTC) is a newly introduced service category in 5G wireless communication systems to support a variety of Internet-of-Things (IoT) applications. In recovering sparsely represented multi-user vectors, compressed sensing based multi-user detection (CS-MUD) can be used. CS-MUD is a feasible solution to the grant-free uplink non-orthogonal multiple access (NOMA) environments. In CS-MUD, active user detection (AUD) and channel estimation (CE) should be performed before data detection. In this paper, we propose the expectation propagation based joint AUD and CE (EP-AUD/CE) technique for mMTC networks. The expectation propagation (EP) algorithm is a Bayesian framework that approximates a computationally intractable probability distribution to an easily tractable distribution. The proposed technique finds the best approximation of the posterior distribution of the sparse channel vector. Using the approximate distribution, AUD and CE are jointly performed. We show by numerical simulations that the proposed technique substantially enhances AUD and CE performances over competing algorithms.


title: Polar Feature Based Deep Architectures for Automatic Modulation Classification Considering Channel Fading

abstract: To develop intelligent receivers, automatic modulation classification (AMC) plays an important role for better spectrum utilization. The emerging deep learning (DL) technique has received much attention in AMC due to its superior performance in classifying data with deep structure. In this work, a novel polar-based deep learning architecture with channel compensation network (CCN) is proposed. Our test results show that learning features from polar domain (r-theta) can improve recognition accuracy by 5% and reduce training overhead by 48%. Besides, the proposed CCN is also robust to channel fading, such as amplitude and phase offsets, and can improve the recognition accuracy by 14% under practical channel environments.


title: The chiral vortical effect in Wigner function approach

abstract: It is more subtle to obtain the chiral vortical effect (CVE) than chiral magnetic effect (CME) in quantum transport approach. To investigate the subtlty of the CVE we present two different derivation in the Wigner function approach. The first one is based on the method in our previous work \cite{Gao:2012ix} in which the CVE was derived under static-equilibrium conditions without details. We provide a detailed derivation using a more transparent and powerful method, which can be easily generalized to higher order calculation. In this derivation of the CVE current, there is an explicit Lorentz covariance. The second derivation is based on a more general chiral kinetic theory in a semi-classical expansion of the Wigner function without assuming static-equilibrium conditions \cite{Gao:2018wmr}. In this derivation, there is a freedom to choose a reference frame for the CVE current, so the explicit Lorentz covariance seems to be lost. Howerver, under static-equilibrium conditions, we show that the CVE current in this derivation can be decomposed into two parts, identified as the normal and magnetization current. Each part depends on the reference frame, but the sum of two parts does give the total CVE current which is independent of the reference frame. In the comoving frame of the fluid, it can be shown that the normal and magnetization current give one-third and two-thirds of the total CVE current respectively. This gives a natural solution to the 'one-third' puzzle in the CVE current in three-dimensional version of the chiral kinetic theory in the literature.


title: Origin of a massive hyper-runaway subgiant star LAMOST-HVS1 -- implication from Gaia and follow-up spectroscopy

abstract: We report that LAMOST-HVS1 is a massive hyper-runaway subgiant star with mass of 8.3 Msun and super-Solar metallicity, ejected from the inner stellar disk of the Milky Way $\sim$ 33 Myr ago with the intrinsic ejection velocity of $568^{+19}_{-17}$ km/s (corrected for the streaming motion of the disk), based on the proper motion data from Gaia Data Release 2 (DR2) and high-resolution spectroscopy. The extremely large ejection velocity indicates that this star was not ejected by the supernova explosion of the binary companion. Rather, it was probably ejected by a 3- or 4-body dynamical interaction with more massive objects in a high-density environment. Such a high-density environment may be attained at the core region of a young massive cluster with mass of $\gtrsim 10^4$ Msun. The ejection agent that took part in the ejection of LAMOST-HVS1 may well be an intermediate mass black hole ($\gtrsim$ 100 Msun), a very massive star ($\gtrsim$ 100 Msun), or multiple ordinary massive stars ($\gtrsim$ 30 Msun). Based on the flight time and the ejection location of LAMOST-HVS1, we argue that its ejection agent or its natal star cluster is currently located near the Norma spiral arm. The natal star cluster of LAMOST-HVS1 may be an undiscovered young massive cluster near the Norma spiral arm.


title: Robust Estimation and Generative Adversarial Nets

abstract: Robust estimation under Huber's $\epsilon$-contamination model has become an important topic in statistics and theoretical computer science. Statistically optimal procedures such as Tukey's median and other estimators based on depth functions are impractical because of their computational intractability. In this paper, we establish an intriguing connection between $f$-GANs and various depth functions through the lens of $f$-Learning. Similar to the derivation of $f$-GANs, we show that these depth functions that lead to statistically optimal robust estimators can all be viewed as variational lower bounds of the total variation distance in the framework of $f$-Learning. This connection opens the door of computing robust estimators using tools developed for training GANs. In particular, we show in both theory and experiments that some appropriate structures of discriminator networks with hidden layers in GANs lead to statistically optimal robust location estimators for both Gaussian distribution and general elliptical distributions where first moment may not exist.

categories: stat.ML cs.LG math.ST stat.CO stat.ME stat.TH


title: Direct Imaging of Exoplanets at the Era of the Extremely Large Telescopes

abstract: Within ten years, the era of large-scale systematics surveys will decay thanks to a complete census of exoplanetary systems within 200 pc from the Sun. With the first Lights foreseen between 2024 and 2028, the new generation of extremely large telescopes and planet imagers will arrive at a propitious time to exploit this manna of discoveries to characterize the formation, the evolution, and the physics of giant and telluric planets with the ultimate goal to search and discover bio-signatures. In that perspective, I will briefly summarize the main characteristics of the direct imaging instruments of the ELTs dedicated to the study of exoplanets, and I will review the key science cases (from the initial conditions of planetary formation, the architecture of planetary systems and the physics and atmospheres of giant and telluric planets) that they will address given their predicted performances.


title: Gradient descent aligns the layers of deep linear networks

abstract: This paper establishes risk convergence and asymptotic weight matrix alignment --- a form of implicit regularization --- of gradient flow and gradient descent when applied to deep linear networks on linearly separable data. In more detail, for gradient flow applied to strictly decreasing loss functions (with similar results for gradient descent with particular decreasing step sizes): (i) the risk converges to 0; (ii) the normalized i-th weight matrix asymptotically equals its rank-1 approximation $u_iv_i^{\top}$; (iii) these rank-1 matrices are aligned across layers, meaning $|v_{i+1}^{\top}u_i|\to1$. In the case of the logistic loss (binary cross entropy), more can be said: the linear function induced by the network --- the product of its weight matrices --- converges to the same direction as the maximum margin solution. This last property was identified in prior work, but only under assumptions on gradient descent which here are implied by the alignment phenomenon.


title: Experimental demonstration of a directionally-unbiased linear-optical multiport

abstract: All existing optical quantum walk approaches are based on the use of beamsplitters and multiple paths to explore the multitude of unitary transformations of quantum amplitudes in a Hilbert space. The beamsplitter is naturally a directionally biased device: the photon cannot travel in reverse direction. This causes rapid increases in optical hardware resources required for complex quantum walk applications, since the number of options for the walking particle grows with each step. Here we present the experimental demonstration of a directionally-unbiased linear-optical multiport, which allows reversibility of photon direction. An amplitude-controllable probability distribution matrix for a unitary three-edge vertex is reconstructed with only linear-optical devices. Such directionally-unbiased multiports allow direct execution of quantum walks over a multitude of complex graphs and in tensor networks. This approach would enable simulation of complex Hamiltonians of physical systems and quantum walk applications in a more efficient and compact setup, substantially reducing the required hardware resources.


title: Spinor Representation of $O(3)$ for $S_4$

abstract: All possible permutations in the discrete $S_4$ group are classified by three rotation angles associated with the orthogonal group $O(3)$. We construct a spinor representation ${\bf 2}_D$ of $O(3)$, which is transformed by three 4$\times$4 matrices corresponding to three Pauli matrices in $SO(3)$. An irreducible decomposition of ${\bf 2}_D \otimes {\bf 2}_D$ supplies a vector representation of {\bf 3} of $O(3)$, thereby, of $S_4$. Our construction is consistent with the mathematical fact that $O(3)=SO(3)\times \boldsymbol{Z}_2$. The $\boldsymbol{Z}_2$ parity in the spinorial space is described by a block off-diagonal matrix as the spinorial parity operator, whose eigenvalues are $\pm 1$ consistent with $\boldsymbol{Z}_2$.


title: Recursive Quantum Qudit Convolutional Codes Need Not be Catastrophic

abstract: Classical turbo codes efficiently approach the Shannon limit, and so bringing these over to the quantum scenario would allow for rapid transmission of quantum information. Early on in the work of defining the quantum analogue, it was shown that an efficient recursive subroutine (quantum convolutional codes) would always be catastrophic. This result may have stunted the further research into this coding scheme. In this document, we prove that this previously proven no-go theorem is no longer always true if we extend the coding scheme into qudit space with dimension some prime larger than 2. This removes a blockade in the development of quantum turbo codes and hopefully will stimulate further research in this area.


title: Gaussian approximation of Gaussian scale mixture

abstract: For a given positive random variable $V>0$ and a given $Z\sim N(0,1)$ independent of $V$, we compute the scalar $t_0$ such that the distance between $Z\sqrt{V}$ and $Z\sqrt{t_0}$ in the $L^2(\R)$ sense, is minimal. We also consider the same problem in several dimensions when $V$ is a random positive definite matrix.


title: A statistical normalization method and differential expression analysis for RNA-seq data between different species

abstract: Background: High-throughput techniques bring novel tools but also statistical challenges to genomic research. Identifying genes with differential expression between different species is an effective way to discover evolutionarily conserved transcriptional responses. To remove systematic variation between different species for a fair comparison, the normalization procedure serves as a crucial pre-processing step that adjusts for the varying sample sequencing depths and other confounding technical effects. Results: In this paper, we propose a scale based normalization (SCBN) method by taking into account the available knowledge of conserved orthologous genes and hypothesis testing framework. Considering the different gene lengths and unmapped genes between different species, we formulate the problem from the perspective of hypothesis testing and search for the optimal scaling factor that minimizes the deviation between the empirical and nominal type I errors. Conclusions: Simulation studies show that the proposed method performs significantly better than the existing competitor in a wide range of settings. An RNA-seq dataset of different species is also analyzed and it coincides with the conclusion that the proposed method outperforms the existing method. For practical applications, we have also developed an R package named "SCBN" and the software is available at http://www.bioconductor.org/packages/devel/bioc/html/SCBN.html.


title: On a convexity property of sections of the cross-polytope

abstract: We establish the log-concavity of the volume of central sections of dilations of the cross-polytope (the strong B-inequality for the cross-polytope and Lebesgue measure restricted to an arbitrary subspace).


title: Electronic structure and properties of lithium-rich complex oxides

abstract: Lithium-rich complex transition-metal oxides Li$_2$MoO$_3$, Li$_2$RuO$_3$, Li$_3$RuO$_4$, Li$_3$NbO$_4$, Li$_5$FeO$_4$, Li$_5$MnO$_4$ and their derivatives are of interest for high-capacity battery electrodes. Here, we report a first-principles density-functional theory study of the atomic and electronic structure of these materials using the Heyd-Scuseria-Ernzerhof (HSE) screened hybrid functional which treats all orbitals in the materials on equal footing. Dimerization of the transition-metal ions is found to occur in layered Li$_2$MoO$_3$, in both fully lithiated and partially delithiated compounds. The Ru--Ru dimerization does not occur in fully lithiated Li$_2$RuO$_3$, in contrast to what is commonly believed; Ru--Ru dimers are, however, found to occur in the presence of lithium vacancies caused by lithium loss during synthesis and/or lithium removal during use. We also analyze the electronic structure of the complex oxides and discuss the delithiation mechanism in these battery electrode materials.


title: Counting unlabeled interval graphs

abstract: We improve the bounds on the number of interval graphs on $n$ vertices. In particular, denoting by $I_n$ the quantity in question, we show that $\log I_n \sim n\log n$ as $n\to \infty$.


title: On connectivity, conductance and bootstrap percolation for a random k-out, age-biased graph

abstract: A uniform attachment graph (with parameter $k$), denoted $G_{n,k}$ in the paper, is a random graph on the vertex set $[n]$, where each vertex $v$ makes $k$ selections from $[v-1]$ uniformly and independently, and these selections determine the edge set. We study several aspects of this graph. Our motivation comes from two similarly constructed, well-studied random graphs: $k$-out graphs and preferential attachment graphs. In this paper, we find the asymptotic distribution of its minimum degree and connectivity, and study the expansion properties of $G_{n,k}$ to show that the conductance of $G_{n,k}$ is of order $(\log n)^{-1}$. We also study the bootstrap percolation on $G_{n,k}$, where, each vertex is either initially infected with probability $p$, independently of others, or gets infected later as a result of having $r$ infected neighbors at some point. We show that, for $2\le r\le k-1$, if $p\ll (\log n)^{-r/(r-1)}$, then, with probability approaching 1, the process ends before all vertices get infected. On the other hand, if $p\ge \omega(\log n)^{-r/(r-1)}$, where $\omega$ is a certain very slowly growing function, then all the vertices get infected with probability approaching 1.


title: Learning Bidirectional LSTM Networks for Synthesizing 3D Mesh Animation Sequences

abstract: In this paper, we present a novel method for learning to synthesize 3D mesh animation sequences with long short-term memory (LSTM) blocks and mesh-based convolutional neural networks (CNNs). Synthesizing realistic 3D mesh animation sequences is a challenging and important task in computer animation. To achieve this, researchers have long been focusing on shape analysis to develop new interpolation and extrapolation techniques. However, such techniques have limited learning capabilities and therefore can produce unrealistic animation. Deep architectures that operate directly on mesh sequences remain unexplored, due to the following major barriers: meshes with irregular triangles, sequences containing rich temporal information and flexible deformations. To address these, we utilize convolutional neural networks defined on triangular meshes along with a shape deformation representation to extract useful features, followed by LSTM cells that iteratively process the features. To allow completion of a missing mesh sequence from given endpoints, we propose a new weight-shared bidirectional structure. The bidirectional generation loss also helps mitigate error accumulation over iterations. Benefiting from all these technical advances, our approach outperforms existing methods in sequence prediction and completion both qualitatively and quantitatively. Moreover, this network can also generate follow-up frames conditioned on initial shapes and improve the accuracy as more bootstrap models are provided, which other works in the geometry processing domain cannot achieve.


title: High-dimensional general linear hypothesis tests via non-linear spectral shrinkage

abstract: We are interested in testing general linear hypotheses in a high-dimensional multivariate linear regression model. The framework includes many well-studied problems such as two-sample tests for equality of population means, MANOVA and others as special cases. A family of rotation-invariant tests is proposed that involves a flexible spectral shrinkage scheme applied to the sample error covariance matrix. The asymptotic normality of the test statistic under the null hypothesis is derived in the setting where dimensionality is comparable to sample sizes, assuming the existence of certain moments for the observations. The asymptotic power of the proposed test is studied under various local alternatives. The power characteristics are then utilized to propose a data-driven selection of the spectral shrinkage function. As an illustration of the general theory, we construct a family of tests involving ridge-type regularization and suggest possible extensions to more complex regularizers. A simulation study is carried out to examine the numerical performance of the proposed tests.


title: Convergence of a Solution Algorithm in Indefinite Quadratic Programming

abstract: It is proved that, for an indefinite quadratic programming problem under linear constraints, any iterative sequence generated by the Proximal DC decomposition algorithm $R$-linearly converges to a Karush-Kuhn-Tucker point, provided that the problem has a solution. Another major result of this paper says that DCA sequences generated by the algorithm converge to a locally unique solution of the problem if the initial points are taken from a suitably-chosen neighborhood of it. To deal with the implicitly defined iterative sequences, a local error bound for affine variational inequalities and novel techniques are used. Numerical results together with an analysis of the influence of the decomposition parameter, as well as a comparison between the Proximal DC decomposition algorithm and the Projection DC decomposition algorithm, are given in this paper. Our results complement a recent and important paper of Le Thi, Huynh, and Pham Dinh (J. Optim. Theory Appl. 179 (2018), 103-126).


title: Gluing Localized Mirror Functors

abstract: We develop a method of gluing the local mirrors and functors constructed from immersed Lagrangians in the same deformation class. As a result, we obtain a global mirror geometry and a canonical mirror functor. We apply the method to construct the mirrors of punctured Riemann surfaces and show that our functor derives homological mirror symmetry.


title: Optimal control of protein copy number

abstract: Cell-cell communication is often achieved by secreted signaling molecules that bind membrane-bound receptors. A common class of such receptors are G-protein coupled receptors, where extracellular binding induces changes on the membrane affinity near the receptor for certain cytosolic proteins, effectively altering their chemical potential. We analyze the minimum-dissipation schedules for dynamically changing chemical potential to induce steady-state changes in protein copy-number distributions, and illustrate with analytic solutions for linear chemical reaction networks. Protocols that change chemical potential on biologically relevant timescales are experimentally accessible using optogenetic manipulations, and our framework provides non-trivial predictions about functional dynamical cell-cell interactions.


title: Classical linear logic, cobordisms and categorical semantics of categorial grammars

abstract: We propose a categorial grammar based on classical multiplicative linear logic. This can be seen as an extension of abstract categorial grammars (ACG) and is at least as expressive. However, constituents of {\it linear logic grammars (LLG)} are not abstract ${\lambda}$-terms, but simply tuples of words with labeled endpoints, we call them {\it multiwords}. At least, this gives a concrete and intuitive representation of ACG. A key observation is that the class of multiwords has a fundamental algebraic structure. Namely, multiwords can be organized in a category, very similar to the category of topological cobordisms. This category is symmetric monoidal closed and compact closed and thus is a model of linear $\lambda$-calculus and classical linear logic. We think that this category is interesting on its own right. In particular, it might provide categorical representation for other formalisms. On the other hand, many models of language semantics are based on commutative logic or, more generally, on symmetric monoidal closed categories. But the category of {\it word cobordisms} is a category of language elements, which is itself symmetric monoidal closed and independent of any grammar. Thus, it might prove useful in understanding language semantics as well.


title: Hyper-Algebras of Vector-Valued Modular Forms

abstract: We define graded hyper-algebras of vector-valued Siegel modular forms, which allow us to study tensor products of the latter. We also define vector-valued Hecke operators for Siegel modular forms at all places of ${\mathbb Q}$, acting on these hyper-algebras. These definitions bridge the classical and representation theoretic approach to Siegel modular forms. Combining both the product structure and the action of Hecke operators, we prove in the case of elliptic modular forms that all cusp forms of sufficiently large weight can be obtained from products involving only two fixed Eisenstein series. As a byproduct, we obtain inclusions of cuspidal automorphic representations into the tensor product of global principal series.


title: Existence of non-convex traveling waves for surface diffusion of curves with constant contact angles

abstract: The traveling waves for surface diffusion of plane curves are studied. We consider an evolving plane curve with two endpoints, which can move freely on the x-axis with generating constant contact angles. For the evolution of this plane curve governed by surface diffusion, we discuss the existence, the uniqueness and the convexity of traveling waves. The main results show that the uniqueness and the convexity can be lost in depending on the conditions of the contact angles, although the existence holds for any contact angles in the interval $(0,\pi/2)$.


title: A Sharpened Inequality for Twisted Convolution

abstract: Consider the trilinear form for twisted convolution on $\mathbb{R}^{2d}$: \begin{equation*} \mathcal{T}_t(\mathbf{f}):=\iint f_1(x)f_2(y)f_3(x+y)e^{it\sigma(x,y)}dxdy,\end{equation*} where $\sigma$ is a symplectic form and $t$ is a real-valued parameter. It is known that in the case $t\neq0$ the optimal constant for twisted convolution is the same as that for convolution, though no extremizers exist. Expanding about the manifold of triples of maximizers and $t=0$ we prove a sharpened inequality for twisted convolution with an arbitrary antisymmetric form in place of $\sigma$.


title: Damping of slow surface sausage modes in photospheric waveguides

abstract: There has been considerable interest in sausage modes in photospheric waveguides like pores and sunspots, and slow surface sausage modes (SSSMs) have been suggested to damp ufficiently rapidly to account for chromospheric heating. Working in the framework of linear resistive magnetohydrodynamics, we examine how efficient electric resistivity and resonant absorption in the cusp continuum can be for damping SSSMs in a photospheric waveguide with equilibrium parameters compatible with recent measurements of a photospheric pore. For SSSMs with the measured wavelength, we find that the damping rate due to the cusp resonance is substantially less strong than theoretically expected with the thin-boundary approximation. The damping-time-to-period ratio ($\tau/P$) we derive for standing modes, equivalent to the damping-length-to-wavelength ratio for propagating modes given the extremely weak dispersion, can reach only $\sim 180$. However, the accepted values for electric resistivity ($\eta$) correspond to a regime where both the cusp resonance and resistivity play a role. The values for $\tau/P$ attained at the largest allowed $\eta$ may reach $\sim 30$. We conclude that electric resistivity can be considerably more efficient than the cusp resonance for damping SSSMs in the pore in question, and it needs to be incorporated into future studies on the damping of SSSMs in photospheric waveguides in general.


title: Direct generation of frequency-bin entangled photons via two-period quasi-phase-matched parametric downconversion

abstract: We report a simple scheme for direct generation of frequency-bin entangled photon pairs via spontaneous parametric downconversion. Our fabricated nonlinear optical crystal with two different poling periods can simultaneously satisfy two different, spectrally symmetric nondegenerate quasi-phase-matching conditions, enabling the direct generation of entanglement in two discrete frequency-bin modes. Our produced photon pairs exhibited Hong-Ou-Mandel interference with high-visibility beating oscillations, a signature of two-mode frequency-bin entanglement. Moreover, we demonstrate deterministic entanglement-mode conversion from frequency-bin to polarization modes, with which our source can be more versatile for various quantum applications. Our scheme can be extended to direct generation of high-dimensional frequency-bin entanglement, and thus will be a key technology for frequency-multiplexed optical quantum information processing.


title: Proceedings 11th Interaction and Concurrency Experience

abstract: This volume contains the proceedings of ICE'18, the 11th Interaction and Concurrency Experience, which was held in Madrid, Spain on the 20th and 21st of June 2018 as a satellite event of DisCoTec'18. The ICE workshop series features a distinguishing review and selection procedure, allowing PC members to interact anonymously with authors. As in the past ten editions, this interaction considerably improved the accuracy of the feedback from the reviewers and the quality of accepted papers, and offered the basis for lively discussion during the workshop. For the second time, the 2018 edition of ICE included double blind reviewing of original research papers, in order to increase fairness and avoid bias in reviewing. Each paper was reviewed by three PC members, and altogether six papers were accepted for publication (the workshop also featured four oral presentations which are not part of this volume). We were proud to host three invited talks, by Elvira Albert, Silvia Crafa, and Alexey Gotsman. The abstracts of these talks are included in this volume together with the regular papers. Final versions of the contributions, taking into account the discussion at the workshop, are included.


title: Gradient Descent Provably Optimizes Over-parameterized Neural Networks

abstract: One of the mysteries in the success of neural networks is randomly initialized first order methods like gradient descent can achieve zero training loss even though the objective function is non-convex and non-smooth. This paper demystifies this surprising phenomenon for two-layer fully connected ReLU activated neural networks. For an $m$ hidden node shallow neural network with ReLU activation and $n$ training data, we show as long as $m$ is large enough and no two inputs are parallel, randomly initialized gradient descent converges to a globally optimal solution at a linear convergence rate for the quadratic loss function. Our analysis relies on the following observation: over-parameterization and random initialization jointly restrict every weight vector to be close to its initialization for all iterations, which allows us to exploit a strong convexity-like property to show that gradient descent converges at a global linear rate to the global optimum. We believe these insights are also useful in analyzing deep models and other first order methods.


title: Holographic Quantum Error Correction and the Projected Black Hole Interior

abstract: The quantum error correction interpretation of AdS/CFT establishes a sense of fluidity to the bulk/boundary dictionary. We show how this property can be utilized to construct a dictionary for operators behind horizons of pure black holes. We demonstrate this within the context of the SYK model with pure black hole microstates obtained via projecting out a single side of the thermofield double (and perturbed versions thereof). Assuming an erasure subsystem code for the duality between the eternal black hole and the thermofield double, this projection results in a rewiring of the dictionary so as to map the interior operators to the remaining boundary in a determinable way. We find this dictionary to be sensitive to the implemented projection in a manner reminiscent of previous state-dependent constructions of the black hole interior. We also comment on how the fluidity of the dictionary can be used to transfer information between two black holes connected by a wormhole, relating the ideas of entanglement wedge reconstruction and the Hayden-Preskill decoding criterion.


title: Active control of coherent dynamics in hybrid plasmonic MoS2 monolayers with dressed phonons

abstract: The near-field interaction due to a strong electromagnetic field induced by resonant localized plasmons can result in a strong coupling of excitonic states or formation of hybrid exciton-plasmon modes in quantum confined structures. This coupling can be strengthed by designing a system with its vibronic states resonant to the energy of the driving field induced by the localized plasmon excitation. Silver nanoislands nucleated on molybdenum disulfide (MoS2) is an ideal platform for such interaction. The influence of localized plasmons (LSP) on the formation and dissociation of excitons due to resonant and off-resonant optical excitation of carriers to excitonic states is studied using ultrafast optical spectroscopy. The local field due to the Ag nanoparticles (Ag-NP) enhances the magnitude of the Raman modes in MoS2 in the presence of resonant excitation. An ultrashort pulsed optical excitation at 2.3 eV resonantly excites the LSP modes and the optical near-field resonantly drive the phonon modes, which leads to a coherent coupling of the A and B excitons in MoS2 with the plasmon modes. The resonant excitation of the LSP modes modulate the optical absorption of the probe field. The resonant excitation of C exciton due to an excitation source at 3.0 eV, which is off-resonant to the LSP mode increases the electrostatic screening in the presence of excess carriers from Ag NPs. It results in a faster dissociation of optically generated C excitons into free carriers that eventually increase the A and B exciton population. A 3-level density matrix theory in the presence of dressed vibronic states induced by a localized near-field optical driving source is applied to describe the coherent interaction process in the hybrid nano-plasmonic system.


title: Qualitative Properties of the Minimum Sum-of-Squares Clustering Problem

abstract: A series of basic qualitative properties of the minimum sum-of-squares clustering problem are established in this paper. Among other things, we clarify the solution existence, properties of the global solutions, characteristic properties of the local solutions, locally Lipschitz property of the optimal value function, locally upper Lipschitz property of the global solution map, and the Aubin property of the local solution map. We prove that the problem in question always has a global solution and, under a mild condition, the global solution set is finite and the components of each global solution can be computed by an explicit formula. Based on a newly introduced concept of nontrivial local solution, we get necessary conditions for a system of centroids to be a nontrivial local solution. Interestingly, we are able to show that these necessary conditions are also sufficient ones. Finally, it is proved that the optimal value function is locally Lipschitz, the global solution map is locally upper Lipschitz, and the local solution map has the Aubin property, provided that the original data points are pairwise distinct. Thanks to the obtained complete characterizations of the nontrivial local solutions, one can understand better the performance of not only the $k$-means algorithm, but also of other solution methods for the minimum sum-of-squares clustering problem.


title: Identifying and mitigating charge instabilities in shallow diamond nitrogen-vacancy centers

abstract: The charge degree of freedom in solid-state defects fundamentally underpins the electronic spin degree of freedom, a workhorse of quantum technologies. Here we study charge state properties of individual near-surface nitrogen-vacancy (NV) centers in diamond, where NV$^{-}$ hosts the metrologically relevant electron spin. We find that NV$^{-}$ initialization fidelity varies between individual centers and over time, and we alleviate the deleterious effects of reduced NV$^{-}$ initialization fidelity via logic-based initialization. We also find that NV$^{-}$ can ionize in the dark, which compromises spin measurements but is mitigated by measurement protocols we present here. We identify tunneling to a single, local electron trap as the mechanism for ionization in the dark and we develop NV-assisted techniques to control and readout the trap charge state. Our understanding and command of the NV's local electrostatic environment will simultaneously guide materials design and provide novel functionalities with NV centers.


title: Atomistic tight binding study of quantum confined Stark effect in GaBi$_x$As$_{1-x}$/GaAs quantum wells

abstract: Recently, there has been tremendous research interest in novel bismide semiconductor materials (such as GaBi$_x$As$_{1-x}$) for wavelength-engineered, low-loss optoelectronic devices. We report a first study of the quantum confined Stark effect (QCSE) computed for GaBi$_x$As$_{1-x}$/GaAs quantum well (QW) structures based on large-scale atomistic tight-binding calculations. A comprehensive investigation of the QCSE as a function of the applied electric field orientations and the QW Bi fractions reveals unconventional character of the Stark shift at low Bi compositions ($x$=3.125\%). This atypical QCSE is attributed to a strong confinement of the ground-state hole wave functions due to the presence of Bi clusters. At technologically-relevant large Bi fractions ($\geq$ 10\%), the impact of Bi clustering on the electronic structure is found to be weak, leading to a quadratic Stark shift of the ground-state transition wavelength, similar to the previously observed Stark shift in other conventional III-V materials. Our results provide useful insights for the understanding of the electric field dependence of the electronic and optical properties of GaBi$_x$As$_{1-x}$/GaAs QWs, and will be important for the design of devices in the optoelectronics and spintronics areas of research.


title: Weakly-Convex Concave Min-Max Optimization: Provable Algorithms and Applications in Machine Learning

abstract: Min-max problems have broad applications in machine learning, including learning with non-decomposable loss and learning with robustness to data distribution. Convex-concave min-max problem is an active topic of research with efficient algorithms and sound theoretical foundations developed. However, it remains a challenge to design provably efficient algorithms for non-convex min-max problems with or without smoothness. In this paper, we study a family of non-convex min-max problems, whose objective function is weakly convex in the variables of minimization and is concave in the variables of maximization. We propose a proximally guided stochastic subgradient method and a proximally guided stochastic variance-reduced method for the non-smooth and smooth instances, respectively, in this family of problems. We analyze the time complexities of the proposed methods for finding a nearly stationary point of the outer minimization problem corresponding to the min-max problem.


title: Design and Evaluation of A Data Partitioning-Based Intrusion Management Architecture for Database Systems

abstract: Data-intensive applications exhibit increasing reliance on Database Management Systems (DBMSs, for short). With the growing cyber-security threats to government and commercial infrastructures, the need to develop high resilient cyber systems is becoming increasingly important. Cyber-attacks on DBMSs include intrusion attacks that may result in severe degradation in performance. Several efforts have been directed towards designing an integrated management system to detect, respond, and recover from malicious attacks. In this paper, we propose a data Partitioning-based Intrusion Management System (PIMS, for short) that can endure intense malicious intrusion attacks on DBMS. The novelty in PIMS is the ability to contain the damage into data partitions, termed Intrusion Boundaries (IBs, for short). The IB Demarcation Problem (IBDP, for short) is formulated as a mixed integer nonlinear programming. We prove that IBDP is NP-hard. Accordingly, two heuristic solutions for IBDP are introduced. The proposed architecture for PIMS includes novel IB-centric response and recovery mechanisms, which executes compensating transactions. PIMS is prototyped within PostgreSQL, an open-source DBMS. Finally, empirical and experimental performance evaluation of PIMS are conducted to demonstrate that intelligent partitioning of data tuples improves the overall availability of the DBMS under intrusion attacks.


title: Image Manipulation Specifications on Social Networking Services for Encryption-then-Compression Systems

abstract: Encryption-then-Compression (EtC) systems have been proposed to securely transmit images through an untrusted channel provider. In this study, EtC systems were applied to social media like Twitter that carry out image manipulations. The block scrambling-based encryption schemes used in EtC systems were evaluated in terms of their robustness against image manipulation on social media. The aim was to investigate how five social networking service (SNS) providers, Facebook, Twitter, Google+, Tumblr and Flickr, manipulate images and to determine whether the encrypted images uploaded to SNS providers can avoid being distorted by such manipulations. In an experiment, encrypted and non-encrypted JPEG images were uploaded to various SNS providers. The results show that EtC systems are applicable to the five SNS providers.


title: Propagation of Nonlinear Acoustic Waves in the Suspension of Ultrasound Contrast Agents Part I: Equation for Counting Resonance Effects and Revealing Acoustic Localization

abstract: The oscillations of ultrasound contrast agents are of particular importance to the understanding of the propagation of acoustic waves in the bubbly liquids (suspensions of ultrasound contrast agents). Acoustic waves propagating in bubbly liquids have been investigated extensively. Little has been dedicated to the resonance effects of the microbubbles on the propagating waves. Here a nonlinear partial differential equation for describing one-dimensional acoustic waves propagating near the resonance frequency of the microbubbles in bubbly liquids is obtained. The present equation recovers classical results for propagating acoustic waves with finite amplitudes in liquids and interprets the acoustic localization in bubbly liquids explicitly.


title: Coherent photo-produced J$/\psi$ and dielectron yields in isobaric collisions

abstract: Recently, significant enhancements of J/$\psi$ and $e^{+} e^{-}$ pair production at very low transverse momenta were observed by the STAR and ALICE collaboration in peripheral hadronic A+A collisions. The anomaly excesses point to evidence of coherent photon-nucleus and photon-photon interactions in violent hadronic heavy-ion collisions, which were conventionally studied only in ultra-peripheral collisions. The isobaric collisions performed at RHIC provides a unique opportunity to test the existence of coherent photon products in hadronic heavy-ion collisions. The idea is that the possible production of coherent photon products is significantly different in different collision systems due to the variations in their charge and nuclear density distributions. In this letter, we focus on the peripheral collisions and provide theoretical predictions for coherent production of J/$\psi$ and dielectron in isobaric collisions. We show that the expected yields differ significantly to perform the experimental test.


title: Bottom-up approach to massive spin-two theory in arbitrary curved spacetime

abstract: The linear theory of massive spin-two field in arbitrary curved background is investigated. In flat spacetime, the Fierz-Pauli model is well-known as the unique linear theory describing the massive spin-two field. On the other hand, in order to construct the massive spin-two theory in fixed curved background with arbitrary metric, infinite series of nonminimal coupling terms are necessary. In [Nucl. Phys. B 584 (2000) 615], Buchbinder et al. have derived the condition for the ghost-freeness and they have solved the condition in small curvature approximation. In the leading order approximation, three free parameters of the leading order nonminimal coupling terms are allowed. However, existence of the completion corresponding to all the three parameters is not guaranteed. On the other hand, recently, a class of the completion is obtained by linearizing the dRGT model. However, the leading order nonminimal coupling terms of the linearized dRGT model depend only on one free parameter. Therefore, possibility of a class larger than the linearized dRGT model has not been excluded. In this paper, we develop the method for solving the conditions for ghost freeness in higher order and investigate whether lower order nonminimal coupling terms can be constrained by higher order conditions or not. As a result, we obtain an additional constraint on the leading order nonminimal coupling terms from the fourth order condition. Although the leading order nonminimal coupling terms of the linearized dRGT model is still a subclass of our resulting nonminimal coupling terms in the leading order, a trivial extension of the linearized dRGT model is perfectly equivalent to our resulting action.


title: Turning Lemons into Peaches using Secure Computation

abstract: In many cases, assessing the quality of goods is hard. For example, when purchasing a car, it is hard to measure how pollutant the car is since there are infinitely many driving conditions to be tested. Typically, these situations are considered under the umbrella of information asymmetry and as Akelrof showed may lead to a market of lemons. However, we argue that in many of these situations, the problem is not the missing information but the computational challenge of obtaining it. In a nut-shell, if verifying the value of goods requires a large amount of computation or even infinite amounts of computation, the buyer is forced to use a finite test that samples, in some sense, the quality of the goods. However, if the seller knows the test, then the seller can over-fit the test and create goods that pass the quality test despite not having the desired quality. We show different solutions to this situation including a novel approach that uses secure computation to hide the test from the seller to prevent over-fitting.


title: Characterizing high-quality high-dimensional quantum key distribution by state mapping between different degree of freedoms

abstract: Quantum key distribution (QKD) guarantees the secure communication between legitimate parties with quantum mechanics. High-dimensional QKD (HDQKD) not only increases the secret key rate but also tolerates higher quantum bit error rate (QBER). Many HDQKD experiments have been realized by utilizing orbital-angular-momentum (OAM) photons as the degree of freedom (DOF) of OAM of the photon is a prospective resource for HD quantum information. In this work we proposed and characterized that a high-quality HDQKD based on polarization-OAM hybrid states can be realized by utilizing state mapping between different DOFs. Both the preparation and measurement procedures of the proof-of-principle verification experiment are simple and stable. Our experiment verified that $(0.60\pm 0.06)\%$ QBER and $1.849\pm 0.008$ bits secret key rate per sifted signal can be achieved for a four-dimensional QKD with the weak coherent light source and decoy state method.


title: Towards Fast and Energy-Efficient Binarized Neural Network Inference on FPGA

abstract: Binarized Neural Network (BNN) removes bitwidth redundancy in classical CNN by using a single bit (-1/+1) for network parameters and intermediate representations, which has greatly reduced the off-chip data transfer and storage overhead. However, a large amount of computation redundancy still exists in BNN inference. By analyzing local properties of images and the learned BNN kernel weights, we observe an average of $\sim$78% input similarity and $\sim$59% weight similarity among weight kernels, measured by our proposed metric in common network architectures. Thus there does exist redundancy that can be exploited to further reduce the amount of on-chip computations. Motivated by the observation, in this paper, we proposed two types of fast and energy-efficient architectures for BNN inference. We also provide analysis and insights to pick the better strategy of these two for different datasets and network models. By reusing the results from previous computation, much cycles for data buffer access and computations can be skipped. By experiments, we demonstrate that 80% of the computation and 40% of the buffer access can be skipped by exploiting BNN similarity. Thus, our design can achieve 17% reduction in total power consumption, 54% reduction in on-chip power consumption and 2.4$\times$ maximum speedup, compared to the baseline without applying our reuse technique. Our design also shows 1.9$\times$ more area-efficiency compared to state-of-the-art BNN inference design. We believe our deployment of BNN on FPGA leads to a promising future of running deep learning models on mobile devices.


title: Finding Solutions to Generative Adversarial Privacy

abstract: We present heuristics for solving the maximin problem induced by the generative adversarial privacy setting for linear and convolutional neural network (CNN) adversaries. In the linear adversary setting, we present a greedy algorithm for approximating the optimal solution for the privatizer, which performs better as the number of instances increases. We also provide an analysis of the algorithm to show that it not only removes the features most correlated with the private label first, but also preserves the prediction accuracy of public labels that are sufficiently independent of the features that are relevant to the private label. In the CNN adversary setting, we present a method of hiding selected information from the adversary while preserving the others through alternately optimizing the goals of the privatizer and the adversary using neural network backpropagation. We experimentally show that our method succeeds on a fixed adversary.


title: General fractional derivatives and the Bergman projection

abstract: In this note we study some basic properties of general fractional derivatives induced by weighted Bergman kernels. As an application we demonstrate a method for generating pre-images of analytic functions under weighted Bergman projections. This approach is useful for proving the surjectivity of weighted Bergman projections in cases when the target space is not a subspace of the domain space (such situations arise often when dealing with Bloch and Besov spaces). We also discuss a fractional Littlewood-Paley formula.


title: Leave-one-out least squares Monte Carlo algorithm for pricing Bermudan options

abstract: The least squares Monte Carlo (LSM) algorithm proposed by Longstaff and Schwartz (2001) is widely used for pricing Bermudan options. The LSM estimator contains undesirable look-ahead bias, and the conventional technique of avoiding it requires additional simulation paths. We present the leave-one-out LSM (LOOLSM) algorithm to eliminate look-ahead bias without doubling simulations. We also show that look-ahead bias is asymptotically proportional to the regressors-to-paths ratio. Our findings are demonstrated with several option examples in which the LSM algorithm overvalues the options. The LOOLSM method can be extended to other regression-based algorithms that improve the LSM method.


title: Thermodynamic transports in a circular system with a temperature difference

abstract: Thermodynamic transport phenomena in the system consisting of many hard-disks confined in a circular tube with a temperature difference are discussed. Here, temperatures on parts of the walls of the tube are imposed by stochastic boundary conditions for particles to contact with these thermal walls. In this system, the temperature difference induces, not only energy currents, but also a circulating particle current, inside the tube. Transport properties of these steady currents are discussed in various values of system parameters, such as the temperature difference, the particle density, the width of the tube, and the positions of the thermal walls.


title: Chaos and relaxation oscillations in spin-torque windmill neurons

abstract: Spintronic neurons which emit sharp voltage spikes are required for the realization of hardware neural networks enabling fast data processing with low-power consumption. In many neuroscience and computer science models, neurons are abstracted as non-linear oscillators. Magnetic nano-oscillators called spin-torque nano-oscillators are interesting candidates for imitating neurons at nanoscale. These oscillators, however, emit sinusoidal waveforms without spiking while biological neurons are relaxation oscillators that emit sharp voltage spikes. Here we propose a simple way to imitate neuron spiking in high-magnetoresistance nanoscale spin valves where both magnetic layers are free and thin enough to be switched by spin torque. Our numerical-simulation results show that the windmill motion induced by spin torque in the proposed spintronic neurons gives rise to spikes whose shape and frequency, set by the charging and discharging times, can be tuned through the amplitude of injected dc current. We also found that these devices can exhibit chaotic oscillations. Chaotic-like neuron dynamics has been observed in the brain, and it is desirable in some neuromorphic computing applications whereas it should be avoided in others. We demonstrate that the degree of chaos can be tuned in a wide range by engineering the magnetic stack and anisotropies and by changing the dc current. The proposed spintronic neuron is a promising building block for hardware neuromorphic chips leveraging non-linear dynamics for computing.


title: Unsupervised Adversarial Visual Level Domain Adaptation for Learning Video Object Detectors from Images

abstract: Deep learning based object detectors require thousands of diversified bounding box and class annotated examples. Though image object detectors have shown rapid progress in recent years with the release of multiple large-scale static image datasets, object detection on videos still remains an open problem due to scarcity of annotated video frames. Having a robust video object detector is an essential component for video understanding and curating large-scale automated annotations in videos. Domain difference between images and videos makes the transferability of image object detectors to videos sub-optimal. The most common solution is to use weakly supervised annotations where a video frame has to be tagged for presence/absence of object categories. This still takes up manual effort. In this paper we take a step forward by adapting the concept of unsupervised adversarial image-to-image translation to perturb static high quality images to be visually indistinguishable from a set of video frames. We assume the presence of a fully annotated static image dataset and an unannotated video dataset. Object detector is trained on adversarially transformed image dataset using the annotations of the original dataset. Experiments on Youtube-Objects and Youtube-Objects-Subset datasets with two contemporary baseline object detectors reveal that such unsupervised pixel level domain adaptation boosts the generalization performance on video frames compared to direct application of original image object detector. Also, we achieve competitive performance compared to recent baselines of weakly supervised methods. This paper can be seen as an application of image translation for cross domain object detection.


title: KMTNet Nearby Galaxy Survey I. : Optimal strategy for low surface brightness imaging with KMTNet

abstract: In hierarchical galaxy formation models, galaxies evolve through mergers and accretions. Tidally-disrupted debris from these processes can remain as diffuse, faint structures, which can provide useful insight into the assembly history of galaxies. To investigate the properties of the faint structures in outskirts of nearby galaxies, we conduct deep and wide-field imaging survey with KMTNet. We present our observing strategy and optimal data reduction process to recover the faint extended features in the imaging data of NGC 1291 taken with KMTNet. Through the dark sky flat-fielding and optimal sky subtraction, we can effectively remove inhomogeneous patterns. In the combined images, the peak-to-peak global sky gradients were reduced to less than $\sim0.5$% and $\sim0.3$% of the original $B$- and $R$-band sky levels, respectively. However, we find local spatial fluctuations in the background sky which can affect the precise measurement of the sky value. Consequently, we can reach the surface brightness of $\mu_{B,1\sigma} \sim$ 29.5 and $\mu_{R,1\sigma}\sim$ 28.5 mag arcsec$^{-2}$ in azimuthally averaged one-dimensional surface brightness profiles, that is mainly limited by the uncertainty in the sky determination. These results suggest that the deep imaging data produced by KMTNet are suitable to study the faint features of nearby galaxies such as outer disks and dwarf companions, but unideal (not impossible) to detect stellar halos. The one-dimensional profile revealed that NGC 1291 appeared to have Type I disk out to $R$ $\sim$ 30 kpc with no obvious color gradient and excess light due to a stellar halo was undetected.


title: Transferring Physical Motion Between Domains for Neural Inertial Tracking

abstract: Inertial information processing plays a pivotal role in ego-motion awareness for mobile agents, as inertial measurements are entirely egocentric and not environment dependent. However, they are affected greatly by changes in sensor placement/orientation or motion dynamics, and it is infeasible to collect labelled data from every domain. To overcome the challenges of domain adaptation on long sensory sequences, we propose a novel framework that extracts domain-invariant features of raw sequences from arbitrary domains, and transforms to new domains without any paired data. Through the experiments, we demonstrate that it is able to efficiently and effectively convert the raw sequence from a new unlabelled target domain into an accurate inertial trajectory, benefiting from the physical motion knowledge transferred from the labelled source domain. We also conduct real-world experiments to show our framework can reconstruct physically meaningful trajectories from raw IMU measurements obtained with a standard mobile phone in various attachments.


title: The Rees Algebra of Parametric Curves via liftings

abstract: We study the defining equations of the Rees algebra of ideals arising from curve parametrizations in the plane and in rational normal scrolls, inspired by the work of Madsen and Kustin, Polini and Ulrich. The curves are related by work of Bernardi, Gimigliano and Ida, and we use this framework to relate the defining equations.


title: Statistics of Peaks in Chi-Squared Fields

abstract: Chi-squared random fields arise naturally from the study of fluctuations in field theories with SO(n) symmetry. The extrema of chi-squared fields are of particular physical interest. In this paper, we undertake a statistical analysis of the stationary points of chi-squared fields, with particular emphasis on extrema. We begin by describing the neighborhood of a stationary point in terms of a biased chi-squared random field, and then compute the expected profile of this field, as well as a variety of associated statistics. We are interested in understanding how spherically symmetric the neighborhood of a stationary point is, on average. To this end, we decompose the biased field into its spherical harmonic modes about this point, and explore their statistics. Using these mode statistics, we construct a metric to gauge the degree of spherical symmetry of the field in this neighborhood. Finally, we show how to leverage the harmonic decomposition to efficiently sample both Gaussian and chi-squared fields about a stationary point.