title: Quantum Adiabatic Algorithm Design using Reinforcement Learning

abstract: Quantum algorithm design plays a crucial role in exploiting the computational advantage of quantum devices. Here we develop a deep-reinforcement-learning based approach for quantum adiabatic algorithm design. Our approach is generically applicable to a class of problems with solution hard-to-find but easy-to-verify, e.g., searching and NP-complete problems. We benchmark this approach in Grover-search and 3-SAT problems, and find that the adiabatic-algorithm obtained by our RL approach leads to significant improvement in the resultant success probability. In application to Grover search, our RL-design automatically produces an adiabatic quantum algorithm that has the quadratic speedup. We find for all our studied cases that quantitatively the RL-designed algorithm has a better performance compared to the analytically constructed non-linear Hamiltonian path when the encoding Hamiltonian is solvable, and that this RL-design approach remains applicable even when the non-linear Hamiltonian path is not analytically available. In 3-SAT, we find RL-design has fascinating transferability---the adiabatic algorithm obtained by training on a specific choice of clause number leads to better performance consistently over the linear algorithm on different clause numbers. These findings suggest the applicability of reinforcement learning for automated quantum adiabatic algorithm design. Further considering the established complexity-equivalence of circuit and adiabatic quantum algorithms, we expect the RL-designed adiabatic algorithm to inspire novel circuit algorithms as well. Our approach is potentially applicable to different quantum hardwares from trapped-ions and optical-lattices to superconducting-qubit devices.


title: Calculation of currents around a triangular indentation by the hodograph method

abstract: Border indentations in non-linear conductors, such as superconducting thin films in the creep regime, alter the distribution of currents and magnetic fields near and far from the indentation. One of such disturbances are the discontinuity lines, or \textit{d}-lines, a parabolic-like line originating from the indentation where the current density direction changes abruptly. Hodograph series results are obtained for the currents around a triangular indentation and its corresponding $d$-lines in a conducting stripe of finite width and in an infinite half plane, considering two cases: uniform creep exponent and mixed infinite and ohmic exponents. The mixed creep exponent case presents currents distributions resembling the purely ohmic case, with significant current disturbances only near the indentation. For uniform creep exponent, results similar to a planar indentation are obtained, with far ranged currents features and parabolic-like $d$-lines with shapes depending on the creep exponent. In particular, the same $d$-line asymptotic behaviour is obtained for the triangle indentation as that of the planar defect in the critical state, a result obtained here just on continuity considerations of the hodograph expansions. This equivalence is due to identical contributions to the Fourier series of the current stream-function in the hodograph space, obtained from an images method expansion.


title: Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version)

abstract: We investigate the possibility of a semantic account of the execution time (i.e. the number of \beta_v-steps leading to the normal form, if any) for the shuffling calculus, an extension of Plotkin's call-by-value {\lambda}-calculus. For this purpose, we use a linear logic based denotational model that can be seen as a non-idempotent intersection type system: relational semantics. Our investigation is inspired by similar ones for linear logic proof-nets and untyped call-by-name {\lambda}-calculus. We first prove a qualitative result: a (possibly open) term is normalizable for weak reduction (which does not reduce under abstractions) if and only if its interpretation is not empty. We then show that the size of type derivations can be used to measure the execution time. Finally, we show that, differently from the case of linear logic and call-by-name {\lambda}-calculus, the quantitative information enclosed in type derivations does not lift to types (i.e. to the interpretation of terms). To get a truly semantic measure of execution time in a call-by-value setting, we conjecture that a refinement of its syntax and operational semantics is needed.


title: Practical Considerations for Data Collection and Management in Mobile Health Micro-randomized Trials

abstract: There is a growing interest in leveraging the prevalence of mobile technology to improve health by delivering momentary, contextualized interventions to individuals' smartphones. A just-in-time adaptive intervention (JITAI) adjusts to an individual's changing state and/or context to provide the right treatment, at the right time, in the right place. Micro-randomized trials (MRTs) allow for the collection of data which aid in the construction of an optimized JITAI by sequentially randomizing participants to different treatment options at each of many decision points throughout the study. Often, this data is collected passively using a mobile phone. To assess the causal effect of treatment on a near-term outcome, care must be taken when designing the data collection system to ensure it is of appropriately high quality. Here, we make several recommendations for collecting and managing data from an MRT. We provide advice on selecting which features to collect and when, choosing between "agents" to implement randomization, identifying sources of missing data, and overcoming other novel challenges. The recommendations are informed by our experience with HeartSteps, an MRT designed to test the effects of an intervention aimed at increasing physical activity in sedentary adults. We also provide a checklist which can be used in designing a data collection system so that scientists can focus more on their questions of interest, and less on cleaning data.


title: Effect of cryopreservation on the structural and functional integrity of cell membranes of sugarcane (Saccharum sp.) embryogenic calluses

abstract: In this paper, we investigated if the differences consistently noted in survival and plantlet production between cryopreserved and non-cryopreserved, control sugarcane embryogenic calluses were related to modifications induced during cryopreservation in the structural and functional integrity of cell membranes. For this, the evolution of electrolyte leakage, lipid peroxidation products and cell membrane protein contents was measured during 5 d after cryopreservation. Differences between control and frozen calluses were observed only during the first 2 (electrolyte leakage) or 3 d (lipid peroxidation products and membrane protein content) after freezing. It was not possible to link these differences with the differences noted in survival and plant production between control and cryopreserved calluses. Additional studies are thus needed to elucidate which biochemical factors, linked to survival and plantlet regeneration, are affected by cryopreservation.


title: Molecular simulations minimally restrained by experimental data

abstract: One popular approach to incorporating experimental data into molecular simulations is to restrain the ensemble average of observables to their experimental values. Here I derive equations for the equilibrium distributions generated by restrained ensemble simulations and the corresponding expected values of observables. My results suggest a method to restrain simulations so that they generate distributions that are minimally perturbed from the unbiased distributions while reproducing the experimental values of the observables within their measurement uncertainties.


title: Color similarity study among small galaxy groups members

abstract: We applied a membership test based on the color similarity of group members to detect the discordant galaxies in small groups (quintets) that had been determined by the Friends-of-Friends (FoF) algorithm. Our method depends on the similarity of the color indices (u-g) and (g-r) of the group members. The chosen sample of quintets was extracted from "Flux- and volume-limited groups for SDSS galaxies" catalog which is a spectroscopic sample of galaxies originally taken from the Sloan Digital Sky Survey - Data Release 10 (SDSS-DR10). The sample included 282 quintets with a total number of 1410 galaxies. The similarity measure used in this study is the Euclidean distance. The calculations showed that 73.4% of the group samples (207 out of 282 quintet groups) have galaxies with similar colors (u-g) and (g-r). Each of the remainder groups (75 systems) has an interloper galaxy with different colors than the other members, and hence they became quadrants. We found that group members tend to be more luminous than outliers. We conclude that using the similarities in the color indices between group members gives better identification of group membership.


title: X-ray tools for van der Waals epitaxy of bismuth telluride topological insulator films

abstract: Potential applications in spintronics and quantum computing have motivated much recent research in epitaxial films of bismuth telluride. This system is also an example of van der Waals (vdW) epitaxy where the interface coherence between film and substrate is based on vdW bonds instead of strong ionic or covalent bonds. Effects of lattice mismatch on electrical properties and film structure are more difficult to control due to the weakness of the vdW forces. Here we present a general x-ray diffraction method to investigate in-plane atomic displacements and lateral lattice coherence length in vdW epitaxy. The method is demonstrated in a series of films grown at different temperatures and pressures of additional tellurium sources, revealing strong intercorrelations between the lateral features as well as with the n/p-types of free charge carries.


title: Early Detection of the Draupner Wave Using Deep Learning

abstract: In this paper, we propose and apply a deep learning strategy for the early detection of the Draupner rogue (freak) wave, which is also known as the New Year's wave. We use a long short term memory (LSTM) network and show that Draupner rogue wave could have been observed at least minutes before the catastrophically dangerous peak has appeared in the chaotic wave field using the available data. Compared to the existing early warning times scales on the order of seconds, this is a major step forward which will certainly enhance the safety and understanding of the marine engineering. As the rogue wave data sets get improved in the future, our results may be enhanced to increase the early warning time scales. Our results can be used to predict other rogue waves and extreme time-series phenomena in fields including but are not limited to hydrodynamics and marine engineering, optics, finance, and Bose-Einstein condensation, just to name a few.


title: Generalized symmetry reduction of nonlinear differential equations

abstract: We study the application of generalized symmetry for reducing nonlinear partial differential equations. We construct the ansatzes for dependent variable $u$ which reduce the scalar partial differential equation with two independent variables to systems of ordinary differential equations. The operators of Lie-B\"acklund symmetry of the second order ordinary differential equation are used. We apply the method to nonlinear evolutionary equations and find solutions which cannot be obtained in the framework of classical Lie approach. The method is also applicable to partial differential equations which are not restricted to evolution type ones. We construct the solution of nonlinear hyperbolic equation depending on an arbitrary smooth function on one variable. We study also the correlation between the dimension of symmetry Lie algebra and possibility of constructing non-invariant solutions to the equation under study.


title: A re-examination of the role of friction in the original Social Force Model

abstract: The fundamental diagram of pedestrian dynamics gives the relation between the density and the flow within a specific enclosure. It is characterized by two distinctive behaviors: the free-flow regime (for low densities) and the congested regime (for high densities). In the former, the flow is an increasing function of the density, while in the latter, the flow remains on hold or decreases. In this work, we perform numerical simulations of the pilgrimage at the entrance of the Jamaraat bridge (pedestrians walking along a straight corridor) and compare flow-density measurements with empirical measurements made by Helbing[1]. We show that under high density conditions, the basic Social Force Model (SFM) does not completely handle the fundamental diagram reported in empirical measurements. We use analytical techniques and numerical simulations to prove that with an appropriate modification of the friction coefficient (but sustaining the SFM) it is possible to attain behaviors which are in qualitative agreement with the empirical data. Other authors have already proposed a modification of the relaxation time in order to address this problem. In this work, we unveil the fact that our approach is analogous to theirs since both affect the same term of the reduced-in-units equation of motion. We show how the friction modification affects the pedestrian clustering structures throughout the transition from the free-flow regime to the congested regime. We also show that the speed profile, normalized by width and maximum velocity yields a universal behavior regardless of the corridor dimensions.


title: Above guarantee parameterization for vertex cover on graphs with maximum degree 4

abstract: In the vertex cover problem, the input is a graph $G$ and an integer $k$, and the goal is to decide whether there is a set of vertices $S$ of size at most $k$ such that every edge of $G$ is incident on at least one vertex in $S$. We study the vertex cover problem on graphs with maximum degree 4 and minimum degree at least 2, parameterized by $r = k-n/3$. We give an algorithm for this problem whose running time is $O^*(1.6253^r)$. As a corollary, we obtain an $O^*(1.2403^k)$-time algorithm for vertex cover on graphs with maximum degree 4.


title: Deriving DERs VAR-Capability Curve at TSO-DSO Interface to Provide Grid Services

abstract: The multitudes of inverter-based distributed energy resources (DERs) can be envisioned as distributed reactive power (var) devices (\textit{mini-SVCs}) that can offer var flexibility at TSO-DSO interface. To facilitate this vision, a systematic methodology is proposed to derive an aggregated var capability curve of a distribution system with DERs at the substation level, analogous to a conventional bulk generator. Since such capability curve will be contingent to the operating conditions and network constraints, an optimal power flow (OPF) based approach is proposed that takes inverter headroom flexibility, unbalanced nature of system and coupling with grid side voltage into account along with changing operating conditions. Further, the influence of several factors such as compliance to IEEE 1547 on the capability curve is thoroughly investigated on an IEEE 37 bus and 123 bus distribution test system along with unbalanced DER proliferation. Validation with nonlinear analysis is presented along with demonstration of a scenario with T-D co-simulation.


title: Finite groups of rank two which do not involve $Qd(p)$

abstract: Let $p>3$ be a prime. We show that if $G$ is a finite group with $p$-rank equal to 2, then $G$ involves $Qd(p)$ if and only if $G$ $p'$-involves $Qd(p)$. This allows us to use a version of Glauberman's ZJ-theorem to give a more direct construction of finite group actions on mod-$p$ homotopy spheres. We give an example to illustrate that the above conclusion does not hold for $p \leq 3$.


title: Sizable Stop Mixing in Flavored Gauge Mediation Models with Discrete Non-Abelian Symmetries

abstract: We analyze a minimal flavored gauge mediation model in which the electroweak Higgs and messenger doublets are embedded in multiplets of a discrete non-Abelian symmetry. In this scenario, the minimal Higgs-messenger sector that is consistent with the 125 GeV Higgs mass has two vectorlike pairs of messenger fields. This scenario is obtained in a specific limit of the superpotential interactions of the Higgs-messenger fields and the matter fields. Due to the structure of the messenger-matter Yukawa couplings in this limit, sizable stop mixing and flavor-diagonal soft supersymmetry breaking parameters are achieved. In most of the parameter space, the masses of the colored superpartners are at most in the 5-6 TeV range.


title: DeepBillboard: Systematic Physical-World Testing of Autonomous Driving Systems

abstract: Deep Neural Networks (DNNs) have been widely applied in many autonomous systems such as autonomous driving. Recently, DNN testing has been intensively studied to automatically generate adversarial examples, which inject small-magnitude perturbations into inputs to test DNNs under extreme situations. While existing testing techniques prove to be effective, they mostly focus on generating digital adversarial perturbations (particularly for autonomous driving), e.g., changing image pixels, which may never happen in physical world. There is a critical missing piece in the literature on autonomous driving testing: understanding and exploiting both digital and physical adversarial perturbation generation for impacting steering decisions. In this paper, we present DeepBillboard, a systematic physical-world testing approach targeting at a common and practical driving scenario: drive-by billboards. DeepBillboard is capable of generating a robust and resilient printable adversarial billboard, which works under dynamic changing driving conditions including viewing angle, distance, and lighting. The objective is to maximize the possibility, degree, and duration of the steering-angle errors of an autonomous vehicle driving by the generated adversarial billboard. We have extensively evaluated the efficacy and robustness of DeepBillboard through conducting both digital and physical-world experiments. Results show that DeepBillboard is effective for various steering models and scenes. Furthermore, DeepBillboard is sufficiently robust and resilient for generating physical-world adversarial billboard tests for real-world driving under various weather conditions. To the best of our knowledge, this is the first study demonstrating the possibility of generating realistic and continuous physical-world tests for practical autonomous driving systems.


title: Gravitational Dressing of 3D Conformal Galileon

abstract: Could a conformal Galileon be describing a gauge mode of a broader diffeomorphism invariant theory? We answer this question affirmatively in 3D by using a coset construction for a nonlinearly realized conformal symmetry. In particular, we show that the conformal Galileon emerges as a St\"uckelberg field of a local Weyl symmetry. The coset construction gives us a diffeomorphism and Weyl invariant 3D theory containing first, second, and third powers of the curvatures, their couplings to certain tensors made of the Galileon and its derivatives, and the conformal Galileon terms. In a theory with a boundary additional surface terms are required for the boundary Weyl anomaly cancellation. When gravity is switched off, the theory reduces to the conformal Galileon plus a boundary term. On the other hand, it reduces to a generalization of "New Massive Gravity" by A. Sinha, if the Weyl symmetry is gauge-fixed in a particular way. Last but not least, there exists a parameter space for which the theory has no propagating ghosts. Thus we show by an explicit construction that "New Massive Gravity" (and its generalization) is a unique scalar ghost free low energy effective field theory non-linearly realizing conformal symmetry in 3D.


title: Uni-DUE Student Team: Tackling fact checking through decomposable attention neural network

abstract: In this paper we present our system for the FEVER Challenge. The task of this challenge is to verify claims by extracting information from Wikipedia. Our system has two parts. In the first part it performs a search for candidate sentences by treating the claims as query. In the second part it filters out noise from these candidates and uses the remaining ones to decide whether they support or refute or entail not enough information to verify the claim. We show that this system achieves a FEVER score of 0.3927 on the FEVER shared task development data set which is a 25.5% improvement over the baseline score.


title: Entrainment factor on individual glitch fractional moment of inertia

abstract: The superfluid in the inner crust of neutron star is assumed to be the reservoir of momentum released in pulsar glitch. Recently, due to crustal entrainment, it is debatable whether the magnitude of the inner crust is sufficient to contain superfluid responsible for large glitches. This paper calculates the fractional moment of inertia (FMI)(i.e. the ratio of the inner crust superfluid moment of inertia to that of the coupled components) associated with individual glitches. It is shown that the effective moment of inertia associated with the transferred momentum is that of the entrained neutrons. The FMI for glitches in three pulsars, which exhibit the signature of exhausting their momentum reservoir were calculated and scaled with entrainment factor. Some of the glitches require inner crust superfluid with moment of inertia larger than the current suggested values of 7-10 % of the stellar moment of inertia.


title: Photon-Induced Suppression of Interlayer Tunneling in Van Der Waals Heterostructures

abstract: We develop a theory for interlayer tunneling in van der Waals heterostructures driven under a strong electromagnetic field, using graphene/{\it h}-BN/graphene as a paradigmatic example. Our theory predicts that strong anti-resonances appear at bias voltage values equal to an integer multiple of the light frequency. These features are found to originate from photon-assisted resonant tunneling transitions between Floquet sidebands of different graphene layers, and are unique to two-band systems due to the interplay of both intraband and interband tunneling transitions. Our results point to the possibility of tunneling localization in van der Waals heterostructures using strong electromagnetic fields.


title: All-dielectric metasurfaces with trapped modes: group-theoretical description

abstract: An all-dielectric metasurface featuring resonant conditions of the trapped mode excitation is considered. It is composed of a lattice of subwavelength particles which are made of a high-refractive-index dielectric material structured in the form of disks. Each particle within the lattice behaves as an individual dielectric resonator supporting a set of electric and magnetic (Mie-type) modes. In order to access a trapped mode (which is the TE01 mode of the resonator), a round eccentric penetrating hole is made in the disk. In the lattice, the disks are arranged into clusters (unit super-cells) consisting of four particles. Different orientations of holes in the super-cell correspond to different symmetry groups producing different electromagnetic response of the overall metasurface when it is irradiated by the linearly polarized waves with normal incidence. We perform a systematic analysis of the electromagnetic response of the metasurface as well as conditions of the trapped mode excitation involving the group-theoretical description, representation theory and microwave circuit theory. Both polarization-sensitive and polarization-insensitive arrangements of particles and conditions for dynamic ferromagnetic and antiferromagnetic order are derived. Finally, we observe the trapped mode manifestation in the microwave experiment.


title: Classification of radiology reports by modality and anatomy: A comparative study

abstract: Data labeling is currently a time-consuming task that often requires expert knowledge. In research settings, the availability of correctly labeled data is crucial to ensure that model predictions are accurate and useful. We propose relatively simple machine learning-based models that achieve high performance metrics in the binary and multiclass classification of radiology reports. We compare the performance of these algorithms to that of a data-driven approach based on NLP, and find that the logistic regression classifier outperforms all other models, in both the binary and multiclass classification tasks. We then choose the logistic regression binary classifier to predict chest X-ray (CXR)/ non-chest X-ray (non-CXR) labels in reports from different datasets, unseen during any training phase of any of the models. Even in unseen report collections, the binary logistic regression classifier achieves average precision values of above 0.9. Based on the regression coefficient values, we also identify frequent tokens in CXR and non-CXR reports that are features with possibly high predictive power.


title: Embedding problems for automorphism groups of field extensions

abstract: A central conjecture in inverse Galois theory, proposed by D\`{e}bes and Deschamps, asserts that every finite split embedding problem over an arbitrary field can be regularly solved. We give an unconditional proof of a consequence of this conjecture, namely that such embedding problems can be regularly solved if one waives the requirement that the solution fields are normal. This extends previous results of M. Fried, Takahashi, Deschamps, and the last two authors concerning the realization of finite groups as automorphism groups of field extensions.


title: A $t$-test for synthetic controls

abstract: We propose a practical and robust method for making inferences on average treatment effects estimated by synthetic controls. We develop a $K$-fold cross-fitting procedure for bias correction. To avoid the difficult estimation of the long-run variance, inference is based on a self-normalized $t$-statistic, which has an asymptotically pivotal $t$-distribution. Our $t$-test is easy to implement, provably robust against misspecification, and valid with stationary and non-stationary data. It demonstrates an excellent small sample performance in application-based simulations and performs well relative to alternative methods. We illustrate the usefulness of the $t$-test by revisiting the effect of carbon taxes on emissions.


title: The Theory of Metaparticles

abstract: We introduce and develop the theory of metaparticles. At the classical level, this is a world-line theory with the usual reparameterization invariance and two additional features. The theory is motivated by string theory on compact targets, and can be thought of, at least at the non-interacting level, as a theory of particles at a given string level, or as a particle model for Born geometries. The first additional feature of the model is the presence of an additional local symmetry, which from the string point of view corresponds to the completion of worldsheet diffeomorphism invariance. From the particle world-line point of view, this symmetry is associated with an additional local constraint. The second feature is the presence of a non-trivial symplectic form on the metaparticle phase space, also motivated by string theory [1, 2]. Because of its interpretation as a particle model on Born geometry, the space-time on which the metaparticle propagates is ambiguous, with different choices related by what in string theory we would call T-duality. In this paper, we define the model, and explore some of its principle classical and quantum properties, including causality and unitarity.


title: Tannaka duality for enhanced triangulated categories I: reconstruction

abstract: We develop Tannaka duality theory for dg categories. To any dg functor from a dg category $\mathcal{A}$ to finite-dimensional complexes, we associate a dg coalgebra $C$ via a Hochschild homology construction. When the dg functor is faithful, this gives a quasi-equivalence between the derived dg categories of $\mathcal{A}$-modules and of $C$-comodules. When $\mathcal{A}$ is Morita fibrant (i.e. an idempotent-complete pre-triangulated category), it is thus quasi-equivalent to the derived dg category of compact $C$-comodules. We give several applications for motivic Galois groups.


title: The height problem in first passage percolation

abstract: We consider the first passage percolation model in Z2 with a distribution F for 0 < F (0) < pc. In this paper, we solve the height problem.


title: Numerical study of the degree of light scattering strength versus fractal dimension in optical fractal disordered media: Applications in strong to weak disordered media

abstract: Optical scattering strength of fractal optical disordered media with varying fractal dimension is reported. The diffusion limited aggregation (DLA) technique is used to generate fractal samples in 2D and 3D, and fractal dimensions are calculated using the box-counting method. The degree of structural disorder of these samples are calculated using their light localization strength, using the inverse participation ratio (IPR) analyses of the optical eigenfunctions. Results show non-monotonous behavior of the disorder-induced scattering strength with the fractal dimension, attributed to the competition between increasing structural disorder due to decrease in fractality versus decrease in scattering centers due to decreasing fractality.


title: Automorphisms of threefolds that can be represented as an intersection of two quadrics

abstract: In this paper we classify all potentially G-birationally rigid del Pezzo threefolds of degree 4 and their automorphism groups and prove the G-birational rigidity of one of them


title: Bohm-Bell type experiments: Classical probability approach to (no-)signaling and applications to quantum physics and psychology

abstract: We consider the problem of representation of quantum states and observables in the framework of classical probability theory (Kolmogorov's measure-theoretic axiomatics, 1933). Our aim is to show that, in spite of the common opinion, correlations of observables $A_1, A_2$ and $B_1,B_2$ involved in the experiments of the Bohm-Bell type can be expressed as correlations of classical random variables $a_1, a_2$ and $b_1, b_2.$ The crucial point is that correlations $\langle A_i, B_j \rangle$ should be treated as conditional on the selection of the pairs $(i, j).$ The setting selection procedure is based on two random generators $R_A$ and $R_B.$ They are also considered as observables, supplementary to the "basic observables" $A_1, A_2$ and $B_1, B_2.$ These observables are absent in the standard description, e.g., in the scheme for derivation of the CHSH-inequality. We represent them by classical random variables $r_a$ and $r_b.$ Following the recent works of Dzhafarov and collaborators, we apply our conditional correlation approach to characterize (no-)signaling in the classical probabilistic framework. Consideration the Bohm-Bell experimental scheme in the presence of signaling is important for applications outside quantum mechanics, e.g., in psychology and social science.


title: On the broad-band synchrotron spectra of pulsar wind nebulae

abstract: As shown by broad-band observations, pulsar wind nebulae (PWNe) are characterized by a broken power-law spectrum of synchrotron emission. Based on the modern magnetohydrodynamic (MHD) turbulence theories, we investigate the re-acceleration of electrons in the PWN through the adiabatic stochastic acceleration (ASA), which arises from fundamental dynamics of MHD turbulence. The ASA acts to flatten the injected energy spectrum of electrons at low energies, while synchrotron cooling results in a steep spectrum of electrons at high energies. Their dominance in different energy ranges leads to a flat radio spectrum ($F_\nu$) and a steep X-ray spectrum. Our analytical spectral shapes generally agree well with the observed synchrotron spectra of radio- and X-ray-bright PWNe. The spectral break corresponding to the balance between the ASA and synchrotron losses provides a constraint on the acceleration timescale of the ASA and the magnetic field strength in the PWN.


title: Polynomial Solutions to Pell's Equation and Fundamental Units in Real Quadratic Fields

abstract: Finding polynomial solutions to Pell's equation is of interest as such solutions sometimes allow the fundamental units to be determined in an infinite class of real quadratic fields. In this paper, for each triple of positive integers $(c,h,f)$ satisfying \[c^{2}-f\,h^{2}=1, \] where $(c,h)$ are the smallest pair of integers satisfying this equation, several sets of polynomials $(c(t),h(t),f(t))$ which satisfy \[c(t)^{2}-f(t)\,h(t)^{2}=1 \text{ and } (c(0),h(0),f(0)) = (c,h,f) \] are derived. Moreover, it is shown that the pair $(c(t),h(t))$ constitute the fundamental polynomial solution to the Pell's equation above. The continued fraction expansion of $\sqrt{f(t)}$ is given in certain general cases (for example, when the continued fraction expansion of $\sqrt{f}$ has odd period length, or even period length or has period length $\equiv 2 \mod{4}$ and the middle quotient has a particular form etc). Some applications to determining the fundamental unit in real quadratic fields is also discussed.


title: On the Secrecy Performance of Generalized User Selection for Interference-Limited Multiuser Wireless Networks

abstract: We investigate the secrecy performance of a multiuser diversity scheme for an interference-limited wireless network with a base-station (BS), $N$ legitimate users and an eavesdropper, in the presence of a single dominant interferer. Assuming interference dominates noise power at the eavesdropper and at each legitimate user's receiver, the BS transmits information to the legitimate user with the $k$-th best (highest) signal-to-interference ratio. We derive a closed-form expression for the secrecy outage probability for an arbitrary $N$ and an asymptotic expression for a fixed $k$ and large $N$. Furthermore, we derive a closed form asymptotic expression for the ergodic secrecy capacity of the $k$-th best user and show that it scales like $O\left(\log(N)\right)$ for a fixed $k$ and large $N$.


title: A Cost-Effective Rapid-Cycling Synchrotron

abstract: The present Fermilab proton Booster is an early example of a rapidly-cycling synchrotron (RCS). Built in the 1960s, it features a design in which the combined-function dipole magnets serve as vacuum chambers. Such a design is quite cost-effective, and it does not have the limitations associated with the eddy currents in a metallic vacuum chamber. However, an important drawback of that design is a high impedance, as seen by a beam, because of the magnet laminations. More recent RCS designs (e.g. J-PARC) employ large and complex ceramic vacuum chambers in order to mitigate the eddy current effects and to shield the beam from the magnet laminations. Such a design, albeit very successful, is quite costly because it requires large-bore magnets and large-bore RF cavities. In this article, we will consider an RCS concept with a thin-wall metallic vacuum chamber as a compromise between the chamber-less Fermilab Booster design and the large-bore design with ceramic chambers.


title: Faulhaber's Problem Revisited: Alternate Methods for Deriving the Bernoulli Numbers--Part I

abstract: This paper sets the groundwork for the consideration of families of recursively defined polynomials and rational functions capable of describing the Bernoulli numbers. These families of functions arise from various recursive definitions of the Bernoulli numbers. The derivation of these recursive definitions is shown here using the original application of the Bernoulli numbers: sums of powers of positive integers, i.e., Faulhaber's problem. Since two of the three recursive forms of the Bernoulli numbers shown here are readily available in literature and simple to derive, this paper focuses on the development of the third, non-linear recursive definition arising from a derivation of Faulhaber's formula. This definition is of particular interest as it shows an example of an equivalence between linear and non-linear recursive expressions. Part II of this paper will follow up with an in-depth look at this non-linear definition and the conversion of the linear definitions into polynomials and rational functions.


title: Response of the QED(2) Vacuum to a Quench: Long-term Oscillations of the Electric Field and the Pair Creation Rate

abstract: We consider -- within QED(2) -- the backreaction to the Schwinger pair creation in a time dependent, spatially homogeneous electric field. Our focus is the depletion of the external field as a quench and the subsequent long-term evolution of the resulting electric field. Our numerical solutions of the self consistent, fully backreacted dynamical equations exhibit a self-sustaining oscillation of both the electric field and the pair number depending on the coupling strength.


title: Predictability, topological entropy and invariant random orders

abstract: We prove that a topologically predictable action of a countable amenable group has zero topological entropy, as conjectured by Hochman. On route, we investigate invariant random orders and formulate a unified Kieffer-Pinsker formula for the Kolmogorov-Sinai entropy of measure preserving actions of amenable groups. We also present a proof due to Weiss for the fact that topologically prime actions of sofic groups have non-positive topological sofic entropy.


title: Adelic geometry on arithmetic surfaces I: idelic and adelic interpretation of the Deligne pairing

abstract: For an arithmetic surface $X\to B=\operatorname{Spec} O_K$ the Deligne pairing $\left <\,,\,\right > \colon \operatorname{Pic}(X) \times \operatorname{Pic}(X) \to \operatorname{Pic}(B)$ gives the "schematic contribution" to the Arakelov intersection number. We present an idelic and adelic interpretation of the Deligne pairing; this is the first crucial step for a full idelic and adelic interpretation of the Arakelov intersection number. For the idelic approach we show that the Deligne pairing can be lifted to a pairing $\left<\,,\,\right>_i:\ker(d^1_\times)\times \ker(d^1_\times)\to\operatorname{Pic}(B) $, where $\ker(d^1_\times)$ is an important subspace of the two dimensional idelic group $\mathbf A_X^\times$. On the other hand, the argument for the adelic interpretation is entirely cohomological.


title: CASPR: Judiciously Using the Cloud for Wide-Area Packet Recovery

abstract: We revisit a classic networking problem -- how to recover from lost packets in the best-effort Internet. We propose CASPR, a system that judiciously leverages the cloud to recover from lost or delayed packets. CASPR supplements and protects best-effort connections by sending a small number of coded packets along the highly reliable but expensive cloud paths. When receivers detect packet loss, they recover packets with the help of the nearby data center, not the sender, thus providing quick and reliable packet recovery for latency-sensitive applications. Using a prototype implementation and its deployment on the public cloud and the PlanetLab testbed, we quantify the benefits of CASPR in providing fast, cost effective packet recovery. Using controlled experiments, we also explore how these benefits translate into improvements up and down the network stack.


title: Adaptive Image Sampling using Deep Learning and its Application on X-Ray Fluorescence Image Reconstruction

abstract: This paper presents an adaptive image sampling algorithm based on Deep Learning (DL). The adaptive sampling mask generation network is jointly trained with an image inpainting network. The sampling rate is controlled in the mask generation network, and a binarization strategy is investigated to make the sampling mask binary. Besides the image sampling and reconstruction application, we show that the proposed adaptive sampling algorithm is able to speed up raster scan processes such as the X-Ray fluorescence (XRF) image scanning process. Recently XRF laboratory-based systems have evolved to lightweight and portable instruments thanks to technological advancements in both X-Ray generation and detection. However, the scanning time of an XRF image is usually long due to the long exposures requires (e.g., $100 \mu s-1ms$ per point). We propose an XRF image inpainting approach to address the issue of long scanning time, thus speeding up the scanning process while still maintaining the possibility to reconstruct a high quality XRF image. The proposed adaptive image sampling algorithm is applied to the RGB image of the scanning target to generate the sampling mask. The XRF scanner is then driven according to the sampling mask to scan a subset of the total image pixels. Finally, we inpaint the scanned XRF image by fusing the RGB image to reconstruct the full scan XRF image. The experiments show that the proposed adaptive sampling algorithm is able to effectively sample the image and achieve a better reconstruction accuracy than that of the existing methods.


title: On the Approximability of Time Disjoint Walks

abstract: We introduce the combinatorial optimization problem Time Disjoint Walks (TDW), which has applications in collision-free routing of discrete objects (e.g., autonomous vehicles) over a network. This problem takes as input a digraph $G$ with positive integer arc lengths, and $k$ pairs of vertices that each represent a trip demand from a source to a destination. The goal is to find a walk and delay for each demand so that no two trips occupy the same vertex at the same time, and so that a min-max or min-sum objective over the trip durations is realized. We focus here on the min-sum variant of Time Disjoint Walks, although most of our results carry over to the min-max case. We restrict our study to various subclasses of DAGs, and observe that there is a sharp complexity boundary between Time Disjoint Walks on oriented stars and on oriented stars with the central vertex replaced by a path. In particular, we present a poly-time algorithm for min-sum and min-max TDW on the former, but show that min-sum TDW on the latter is NP-hard. Our main hardness result is that for DAGs with max degree $\Delta\leq3$, min-sum Time Disjoint Walks is APX-hard. We present a natural approximation algorithm for the same class, and provide a tight analysis. In particular, we prove that it achieves an approximation ratio of $\Theta(k/\log k)$ on bounded-degree DAGs, and $\Theta(k)$ on DAGs and bounded-degree digraphs.


title: Slowly rotating Einstein-Maxwell-dilaton black hole and some aspects of its thermodynamics

abstract: A slowly rotating black hole solution in Einstein-Maxwell-dilaton gravity was considered. Having used the obtained solution we investigated thermodynamic functions such as black hole's temperature, entropy and heat capacity. In addition to examine thermodynamic properties of the black hole extended technique was applied. The equation of state of Van der Waals type was obtained and investigated. It has been shown that the given system has phase transitions of the first as well as of the zeroth order for the temperatures below a critical one which is notable feature of the black hole. A coexistence relation for two phases was also considered and latent heat was calculated. In the end, critical exponents were calculated.


title: The effect of the charge pattern on the applicability of a nanopore as a sensor

abstract: We investigate a model nanopore sensor that is able to detect analyte ions that are present in the electrolyte solution in very small concentrations. The nanopore selectively binds the analyte ions with which the local concentrations of the ions of the background electrolyte (KCl), and, thus, the ionic current flowing through the pore is changed. Analyte concentration can be determined from calibration curves. In our previous study (M\'{a}dai et al. J. Chem. Phys., 147(24):244702, 2017.), we proposed a symmetric model (surface charge is negative all along the pore). The mechanism of sensing was a competition between K$^{+}$ and positive analyte ions, so increasing analyte concentration decreased K$^{+}$ current. Here we allow asymmetric charge patterns on the pore wall (positive/negative/neutral along the pore), thus, gaining an additional device function, rectification, resulting in a dual responsive device. We find that a bipolar nanopore is an efficient geometry with Cl$^{-}$ ions being the main charge carriers. The mechanism of sensing is that more positive analyte ions attract more Cl$^{-}$ ions into the pore thus increasing the current. Also they make the pore less asymmetric and, thus, decrease rectification. We use a hybrid computer simulation method, where a generalization of the grand canonical Monte Carlo method to non-equilibrium (Local Equilibrium Monte Carlo) is coupled to the Nernst-Planck equation with which the flux is computed.


title: Wormholes with $\rho(R,R^{\prime})$ matter in $f(\textit{R}, \textit{T})$ gravity

abstract: Models of static wormholes are investigated in the framework of $f(\textit{R}, \textit{T})$ gravity ($\textit{R}$ being the curvature scalar, and $\textit{T}$ the trace of the energy momentum tensor). An attempt to link the energy density of the matter component to the Ricci scalar is made, which for the Morris and Thorne wormhole metric, with constant redshift function, yields $R(r) = 2b^{\prime}(r)/r^{2}$. Exact wormhole solutions are obtained for three particular cases: $\rho(r) = \alpha R(r) + \beta R^{\prime}(r)$, $\rho(r) = \alpha R^{2}(r) + \beta R^{\prime}(r)$, and $\rho(r) = \alpha R(r) + \beta R^{2}(r)$, when $f(\textit{R}, \textit{T}) = R + 2 \lambda T$. For the two first ones, traversable wormhole models are obtained. When the matter energy density is of the 3rd type, only solutions with constant shape may correspond to traversable wormholes. Exact wormhole solutions with same properties can be constructed for $\rho = \alpha R(r) + \beta R^{-2}(r)$, $\rho = \alpha R(r) + \beta r R^{2}(r)$, $\rho = \alpha R(r) + \beta r^{-1} R^{2}(r)$, $\rho = \alpha R(r) + \beta r ^{2} R^{2}(r)$, $\rho = \alpha R(r) + \beta r^{3} R^{2}(r)$ and $\rho = \alpha r^m R(r) \log (\beta R(r))$, as well. On the other hand, for $f(\textit{R}, \textit{T}) = R + \gamma R^{2} + 2 \lambda T$ gravity, two wormhole models are constructed, assuming that the energy density of the wormhole matter is $\rho(r) = \alpha R(r) + \beta R^{2}(r)$ and $\rho(r) = \alpha R(r) + \beta r^{3} R^{2}(r)$, respectively. In this case, the functional form of the shape function is taken to be $b(r) = \sqrt{\hat{r}_{0} r}$ and possible existence of appropriate static traversable wormhole configurations is proven. These results can be viewed as an initial step towards using specific properties of the new exact wormhole solutions, in order to propose new functional forms for describing the matter content of the wormhole.


title: Three-Dimensional Krawtchouk Descriptors for Protein Local Surface Shape Comparison

abstract: Direct comparison of three-dimensional (3D) objects is computationally expensive due to the need for translation, rotation, and scaling of the objects to evaluate their similarity. In applications of 3D object comparison, often identifying specific local regions of objects is of particular interest. We have recently developed a set of 2D moment invariants based on discrete orthogonal Krawtchouk polynomials for comparison of local image patches. In this work, we extend them to 3D and construct 3D Krawtchouk descriptors (3DKD) that are invariant under translation, rotation, and scaling. The new descriptors have the ability to extract local features of a 3D surface from any region-of-interest. This property enables comparison of two arbitrary local surface regions from different 3D objects. We present the new formulation of 3DKD and apply it to the local shape comparison of protein surfaces in order to predict ligand molecules that bind to query proteins.


title: The Dihedral Genus of a Knot

abstract: Let $K\subset S^3$ be a Fox $p$-colored knot and assume $K$ bounds a locally flat surface $S\subset B^4$ over which the given $p$-coloring extends. This coloring of $S$ induces a dihedral branched cover $X\to S^4$. Its branching set is a closed surface embedded in $S^4$ locally flatly away from one singularity whose link is $K$. When $S$ is homotopy ribbon and $X$ a definite four-manifold, a condition relating the signature of $X$ and the Murasugi signature of $K$ guarantees that $S$ in fact realizes the four-genus of $K$. We exhibit an infinite family of knots $K_m$ with this property, each with a {Fox 3-}colored surface of minimal genus $m$. As a consequence, we classify the signatures of manifolds $X$ which arise as dihedral covers of $S^4$ in the above sense.


title: Orientationally-averaged diffusion-attenuated magnetic resonance signal for locally-anisotropic diffusion

abstract: Diffusion-attenuated MR signal for heterogeneous media has been represented as a sum of signals from anisotropic Gaussian sub-domains. Any effect of macroscopic (global or ensemble) anisotropy in the signal can be removed by averaging the signal values obtained by differently oriented experimental schemes. The resulting average signal is identical to what one would get if the micro-domains are isotropically (e.g., randomly) distributed, which is the case for "powdered" specimens. We provide exact expressions for the orientationally-averaged signal obtained via general gradient waveforms when the microdomains are characterized by a general diffusion tensor possibly featuring three distinct eigenvalues. Our results are expected to be useful in not only multidimensional diffusion MR but also solid-state NMR spectroscopy due to the mathematical similarities in the two fields.


title: AT2: Asynchronous Trustworthy Transfers

abstract: Many blockchain-based protocols, such as Bitcoin, implement a decentralized asset transfer (or exchange) system. As clearly stated in the original paper by Nakamoto, the crux of this problem lies in prohibiting any participant from engaging in double-spending. There seems to be a common belief that consensus is necessary for solving the double-spending problem. Indeed, whether it is for a permissionless or a permissioned environment, the typical solution uses consensus to build a totally ordered ledger of submitted transfers. In this paper we show that this common belief is false: consensus is not needed to implement of a decentralized asset transfer system. We do so by introducing AT2 (Asynchronous Trustworthy Transfers), a class of consensusless algorithms. To show formally that consensus is unnecessary for asset transfers, we consider this problem first in the shared-memory context. We introduce AT2$_{SM}$, a wait-free algorithm that asynchronously implements asset transfer in the read-write shared-memory model. In other words, we show that the consensus number of an asset-transfer object is one. In the message passing model with Byzantine faults, we introduce a generic asynchronous algorithm called AT2$_{MP}$ and discuss two instantiations of this solution. First, AT2$_{D}$ ensures deterministic guarantees and consequently targets a small scale deployment (tens to hundreds of nodes), typically for a permissioned environment. Second, AT2$_{P}$ provides probabilistic guarantees and scales well to a very large system size (tens of thousands of nodes), ensuring logarithmic latency and communication complexity. Instead of consensus, we construct AT2$_{D}$ and AT2$_{P}$ on top of a broadcast primitive with causal ordering guarantees offering deterministic and probabilistic properties, respectively.


title: Rejection-Based Simulation of Stochastic Spreading Processes on Complex Networks

abstract: Stochastic processes can model many emerging phenomena on networks, like the spread of computer viruses, rumors, or infectious diseases. Understanding the dynamics of such stochastic spreading processes is therefore of fundamental interest. In this work we consider the wide-spread compartment model where each node is in one of several states (or compartments). Nodes change their state randomly after an exponentially distributed waiting time and according to a given set of rules. For networks of realistic size, even the generation of only a single stochastic trajectory of a spreading process is computationally very expensive. Here, we propose a novel simulation approach, which combines the advantages of event-based simulation and rejection sampling. Our method outperforms state-of-the-art methods in terms of absolute run-time and scales significantly better, while being statistically equivalent.


title: Semiparametric Difference-in-Differences with Potentially Many Control Variables

abstract: This paper discusses difference-in-differences (DID) estimation when there exist many control variables, potentially more than the sample size. In this case, traditional estimation methods, which require a limited number of variables, do not work. One may consider using statistical or machine learning (ML) methods. However, by the well-known theory of inference of ML methods proposed in Chernozhukov et al. (2018), directly applying ML methods to the conventional semiparametric DID estimators will cause significant bias and make these DID estimators fail to be sqrt{N}-consistent. This article proposes three new DID estimators for three different data structures, which are able to shrink the bias and achieve sqrt{N}-consistency and asymptotic normality with mean zero when applying ML methods. This leads to straightforward inferential procedures. In addition, I show that these new estimators have the small bias property (SBP), meaning that their bias will converge to zero faster than the pointwise bias of the nonparametric estimator on which it is based.


title: The Clickbait Challenge 2017: Towards a Regression Model for Clickbait Strength

abstract: Clickbait has grown to become a nuisance to social media users and social media operators alike. Malicious content publishers misuse social media to manipulate as many users as possible to visit their websites using clickbait messages. Machine learning technology may help to handle this problem, giving rise to automatic clickbait detection. To accelerate progress in this direction, we organized the Clickbait Challenge 2017, a shared task inviting the submission of clickbait detectors for a comparative evaluation. A total of 13 detectors have been submitted, achieving significant improvements over the previous state of the art in terms of detection performance. Also, many of the submitted approaches have been published open source, rendering them reproducible, and a good starting point for newcomers. While the 2017 challenge has passed, we maintain the evaluation system and answer to new registrations in support of the ongoing research on better clickbait detectors.


title: Monopole Floer homology and SOLV geometry

abstract: We study the monopole Floer homology of a SOLV rational homology sphere Y from the point of view of spectral theory. Applying ideas of Fourier analysis on solvable groups, we show that for suitable SOLV metrics on Y, small regular perturbations of the Seiberg-Witten equations do not admit irreducible solutions; in particular, this provides a geometric proof that Y is an L-space.


title: The complete set of minimal simple graphs that support unsatisfiable 2-CNFs

abstract: A propositional logic sentence in conjunctive normal form that has clauses of length two (a 2-CNF) can be associated with a multigraph in which the vertices correspond to the variables and edges to clauses. We first show that every such sentence that has been reduced, that is, which is unchanged under application of certain tautologies, is equisatisfiable to a 2-CNF whose associated multigraph is, in fact, a simple graph. Our main result is a complete characterization of graphs that can support unsatisfiable 2-CNF sentences. We show that a simple graph can support an unsatisfiable reduced 2-CNF sentence if and only if it contains any one of four specific small graphs as a topological minor. Equivalently, all reduced 2-CNF sentences supported on a given simple graph are satisfiable if and only if all subdivisions of those four graphs are forbidden as subgraphs of of the original graph. We conclude with a discussion of why the Robertson-Seymour graph minor theorem does not apply in our approach.


title: Decomposition of Gaussian processes, and factorization of positive definite kernels

abstract: We establish a duality for two factorization questions, one for general positive definite (p.d) kernels $K$, and the other for Gaussian processes, say $V$. The latter notion, for Gaussian processes is stated via Ito-integration. Our approach to factorization for p.d. kernels is intuitively motivated by matrix factorizations, but in infinite dimensions, subtle measure theoretic issues must be addressed. Consider a given p.d. kernel $K$, presented as a covariance kernel for a Gaussian process $V$. We then give an explicit duality for these two seemingly different notions of factorization, for p.d. kernel $K$, vs for Gaussian process $V$. Our result is in the form of an explicit correspondence. It states that the analytic data which determine the variety of factorizations for $K$ is the exact same as that which yield factorizations for $V$. Examples and applications are included: point-processes, sampling schemes, constructive discretization, graph-Laplacians, and boundary-value problems.


title: A Summary of Adaptation of Techniques from Search-based Optimal Multi-Agent Path Finding Solvers to Compilation-based Approach

abstract: In the multi-agent path finding problem (MAPF) we are given a set of agents each with respective start and goal positions. The task is to find paths for all agents while avoiding collisions aiming to minimize an objective function. Two such common objective functions is the sum-of-costs and the makespan. Many optimal solvers were introduced in the past decade - two prominent categories of solvers can be distinguished: search-based solvers and compilation-based solvers. Search-based solvers were developed and tested for the sum-of-costs objective while the most prominent compilation-based solvers that are built around Boolean satisfiability (SAT) were designed for the makespan objective. Very little was known on the performance and relevance of the compilation-based approach on the sum-of-costs objective. In this paper we show how to close the gap between these cost functions in the compilation-based approach. Moreover we study applicability of various techniques developed for search-based solvers in the compilation-based approach. A part of this paper introduces a SAT-solver that is directly aimed to solve the sum-of-costs objective function. Using both a lower bound on the sum-of-costs and an upper bound on the makespan, we are able to have a reasonable number of variables in our SAT encoding. We then further improve the encoding by borrowing ideas from ICTS, a search-based solver. Experimental evaluation on several domains show that there are many scenarios where our new SAT-based methods outperforms the best variants of previous sum-of-costs search solvers - the ICTS, CBS algorithms, and ICBS algorithms.


title: Hill four-body problem with oblate tertiary: an application to the Sun-Jupiter-Hektor-Skamandrios system

abstract: We consider a restricted four-body problem with a precise hierarchy between the bodies: two point-mass bigger bodies, a smaller one with oblate shape, and an infinitesimal body in the neighborhood of the oblate body. The three heavy bodies are assumed to move in a plane under their mutual gravity, and the fourth body moves under the gravitational influence of the three heavy bodies, but without affecting them. We start by finding the triangular central configurations of the three heavy bodies; since one body is oblate, the triangle is isosceles, rather than equilateral as in the point mass case. We assume that the three heavy bodies are in such a central configuration and we perform a Hill's approximation of the equations of motion describing the dynamics of the infinitesimal body in a neighborhood of the oblate body. Through the use of Hill's variables and a limiting procedure, this approximation amounts to sending the two other bodies to infinity. Finally, for the Hill approximation, we find the equilibrium points of the infinitesimal body and determine their stability. As a motivating example, we consider the dynamics of the moonlet Skamandrios of Jupiter's Trojan asteroid Hektor.


title: The tenfold way and many-body zero modes in the Sachdev-Ye-Kitaev model

abstract: The Sachdev-Ye-Kitaev (SYK) model, in its simplest form, describes $k$ Majorana fermions with random all-to-all four-body interactions. We consider the SYK model in the framework of a many-body Altland-Zirnbauer classification that sees the system as belonging to one of eight (real) symmetry classes depending on the value of $k\mod 8$. We show that, depending on the symmetry class, the system may support exact many-body zero modes with the symmetries also dictating whether these may have a nonzero contribution to Majorana fermions, i.e., single-particle weight. These zero modes appear in all but two of the symmetry classes. When present, they leave clear signatures in physical observables that go beyond the threefold (Wigner-Dyson) possibilities for level spacing statistics studied earlier. Signatures we discover include a zero-energy peak or hole in the single-particle spectral function, depending on whether symmetries allow or forbid zero modes to have single-particle weight. The zero modes are also shown to influence the many-body dynamics, where signatures include a nonzero long-time limit for the out-of-time-order correlation function. Furthermore, we show that the extension of the four-body SYK model by quadratic terms can be interpreted as realizing the remaining two complex symmetry classes; we thus demonstrate how the entire tenfold Altland-Zirnbauer classification may emerge in the SYK model.

categories: cond-mat.dis-nn cond-mat.mes-hall cond-mat.str-el hep-th


title: Fair Coresets and Streaming Algorithms for Fair k-Means Clustering

abstract: We study fair clustering problems as proposed by Chierichetti et al. (NIPS 2017). Here, points have a sensitive attribute and all clusters in the solution are required to be balanced with respect to it (to counteract any form of data-inherent bias). Previous algorithms for fair clustering do not scale well. We show how to model and compute so-called coresets for fair clustering problems, which can be used to significantly reduce the input data size. We prove that the coresets are composable and show how to compute them in a streaming setting. Furthermore, we propose a variant of Lloyd's algorithm that computes fair clusterings and extend it to a fair k-means++ clustering algorithm. We implement these algorithms and provide empirical evidence that the combination of our approximation algorithms and the coreset construction yields a scalable algorithm for fair k-means clustering.


title: The largest order statistics for the inradius in an isotropic STIT tessellation

abstract: A planar stationary and isotropic STIT tessellation at time $t>0$ is observed in the window $W_\rho={t^{-1}}\sqrt{\pi \ \rho}\cdot [-\frac{1}{2},\frac{1}{2}]^2$, for $\rho>0$. With each cell of the tessellation, we associate the inradius, which is the radius of the largest disk contained in the cell. Using the Chen-Stein method, we compute the limit distributions of the largest order statistics for the inradii of all cells whose nuclei are contained in $W_\rho$ as $\rho$ goes to infinity.


title: Uniform pointwise asymptotics of solutions to quasi-geostrophic equation

abstract: We provide two-sided pointwise estimates and uniform asymptotics of the solutions to the subcritical quasi-geostrophic equation with initial data in $L^{2/(\alpha-1)}(\mathbb{R}^2)$. Furthermore, we give upper bound of similar type for any derivative of the solutions. Initial data in $L^{p}(\mathbb{R}^2)$, $p>2/(\alpha-1)$, are also discussed.


title: A Descriptive Study of Variable Discretization and Cost-Sensitive Logistic Regression on Imbalanced Credit Data

abstract: Training classification models on imbalanced data tends to result in bias towards the majority class. In this paper, we demonstrate how variable discretization and cost-sensitive logistic regression help mitigate this bias on an imbalanced credit scoring dataset, and further show the application of the variable discretization technique on the data from other domains, demonstrating its potential as a generic technique for classifying imbalanced data beyond credit socring. The performance measurements include ROC curves, Area under ROC Curve (AUC), Type I Error, Type II Error, accuracy, and F1 score. The results show that proper variable discretization and cost-sensitive logistic regression with the best class weights can reduce the model bias and/or variance. From the perspective of the algorithm, cost-sensitive logistic regression is beneficial for increasing the value of predictors even if they are not in their optimized forms while maintaining monotonicity. From the perspective of predictors, the variable discretization performs better than cost-sensitive logistic regression, provides more reasonable coefficient estimates for predictors which have nonlinear relationships against their empirical logit, and is robust to penalty weights on misclassifications of events and non-events determined by their apriori proportions.


title: Branching interlacements and tree-indexed random walks in tori

abstract: We introduce a model of branching interlacements for general critical offspring distributions. It consists of a countable collection of infinite tree-indexed random walk trajectories on $Z^d,d\geq5$. We show that this model turns out to be the local limit of the tree-indexed random walk in a discrete torus, conditioned on the size proportional to the volume of the torus. This generalizes the previous results of Angel, R\'{a}th and the author, for the critical geometric offspring distribution. Our model also includes the model of random interlacements introduced by Sznitman as a degenerate case. To obtain the local convergence, we establish results on decomposing large random trees into small trees, local limits of random trees around a prefixed vertex, and asymptotics of the visiting probability of a set by a tree-indexed random walk with a given size in a torus. These auxiliary results are interesting in themselves. As another application, we show that when $d\geq5$ the cover time of a $d$-dimensional torus of side-length $N$ by tree-indexed random walks is concentrated at $N^d log N^d/\mathrm{BCap}(\{0\})$.


title: Signal Classification under structure sparsity constraints

abstract: Object Classification is a key direction of research in signal and image processing, computer vision and artificial intelligence. The goal is to come up with algorithms that automatically analyze images and put them in predefined categories. This dissertation focuses on the theory and application of sparse signal processing and learning algorithms for image processing and computer vision, especially object classification problems. A key emphasis of this work is to formulate novel optimization problems for learning dictionary and structured sparse representations. Tractable solutions are proposed subsequently for the corresponding optimization problems. An important goal of this dissertation is to demonstrate the wide applications of these algorithmic tools for real-world applications. To that end, we explored important problems in the areas of: 1. Medical imaging: histopathological images acquired from mammalian tissues, human breast tissues, and human brain tissues. 2. Low-frequency (UHF to L-band) ultra-wideband (UWB) synthetic aperture radar: detecting bombs and mines buried under rough surfaces. 3. General object classification: face, flowers, objects, dogs, indoor scenes, etc.


title: Can You Tell Me How to Get Past Sesame Street? Sentence-Level Pretraining Beyond Language Modeling

abstract: Natural language understanding has recently seen a surge of progress with the use of sentence encoders like ELMo (Peters et al., 2018a) and BERT (Devlin et al., 2019) which are pretrained on variants of language modeling. We conduct the first large-scale systematic study of candidate pretraining tasks, comparing 19 different tasks both as alternatives and complements to language modeling. Our primary results support the use language modeling, especially when combined with pretraining on additional labeled-data tasks. However, our results are mixed across pretraining tasks and show some concerning trends: In ELMo's pretrain-then-freeze paradigm, random baselines are worryingly strong and results vary strikingly across target tasks. In addition, fine-tuning BERT on an intermediate task often negatively impacts downstream transfer. In a more positive trend, we see modest gains from multitask training, suggesting the development of more sophisticated multitask and transfer learning techniques as an avenue for further research.


title: Spectroscopic study of the extremely young O-type triple system Herschel 36 A in the Hourglass Nebula. I. Orbital properties

abstract: We present a detailed spectroscopic study of Herschel 36 A (H36A), the main stellar component of the massive multiple system Herschel 36 in the Hourglass Nebula, based on high-resolution optical spectra obtained along an 11 years span. The three stellar components present in the spectrum of H36A are separated by means of a spectral disentangling technique. Individual spectral classifications are improved, and high precision orbital solutions for the inner and the outer orbits are calculated. H36A is confirmed to be a hierarchical triple system composed of a close massive binary (Ab1+Ab2, O9.5 V+B0.7 V) in wide orbit around a third O-type star (Aa, O7.5 Vz). The inner-pair orbit is characterized by a period of 1.54157 +/- 0.00006 days, and semi-amplitudes of 181.2 +/- 0.7 and 295.4 +/- 1.7 km/s. The outer orbit has a period of 492.81 +/- 0.69 days, and semi-amplitudes of 62.0 +/- 0.6 and 42.4 +/- 0.8 km/s. Inner and outer orbits are not coplanar, having a relative inclination of at least 20 degrees. Dynamical minimum masses of 20.6 +/- 0.8 Msun, 18.7 +/- 1.1 Msun, and 11.5 +/- 1.1 Msun are derived for the Aa, Ab1, and Ab2 components, respectively, in reasonable agreement with the theoretical calibrations.


title: Secure Modulo Sum via Multiple Access Channel

abstract: We discuss secure computation of modular sum when multiple access channel from distinct players $A_1, \ldots, A_c$ to a third party (Receiver) is given. Then, we define the secure modulo sum capacity as the supremum of the transmission rate of modulo sum without information leakage of other information. We derive its useful lower bound, which is numerically calculated under a realistic model that can be realizable as a Gaussian multiple access channel (MAC).


title: Uhlenbeck compactness for Yang-Mills flow in higher dimensions

abstract: This paper proves a general Uhlenbeck compactness theorem for sequences of solutions of Yang-Mills flow on Riemannian manifolds of dimension $n \geq 4,$ including rectifiability of the singular set at finite or infinite time.


title: A One-Dimensional Discrete Boltzmann Model for Detonation and an Abnormal Detonation Phenomenon

abstract: A one-dimensional discrete Boltzmann model for detonation simulation is presented. Instead of numerical solving Navier-Stokes equations, this model obtains the information of flow field through numerical solving specially discretized Boltzmann equation. Several classical benchmarks including Sod shock wave tube, Colella explosion problem, and one-dimensional self-sustainable stable detonation are simulated to validate the new model. Based on the new model, the influence of negative temperature coefficient of reaction rate on detonation is further investigated. It is found that an abnormal detonation with two wave heads periodically appears under negative temperature coefficient condition. The causes of the abnormal detonation are analyzed. One typical cycle of the periodic abnormal detonation and its development process are discussed.


title: Complex Networks in the Framework of Nonassociative Geometry

abstract: In the framework of on nonassociative geometry, we introduce a new effective model that extends the statistical treatment of complex networks with hidden geometry. The small-world property of the network is controlled by nonlocal curvature in our model. We use this approach to study the Internet as a complex network embedded in a hyperbolic space. The model yields a remarkable agreement with available empirical data and explains features of Internet connectance data that other models cannot. Our approach offers a new avenue for the study of a wide class of complex networks, such as air transport, social networks, biological networks, etc.


title: Yang-Mills flow on special-holonomy manifolds

abstract: This paper develops Yang-Mills flow on Riemannian manifolds with special holonomy. By analogy with the second-named author's thesis, we find that a supremum bound on a certain curvature component is sufficient to rule out finite-time singularities. Assuming such a bound, we prove that the infinite-time bubbling set is calibrated by the defining $(n-4)$-form.


title: A diffeomorphism-invariant metric on the space of vector-valued one-forms

abstract: In this article we introduce a diffeomorphism-invariant Riemannian metric on the space of vector valued one-forms. The particular choice of metric is motivated by potential future applications in the field of functional data and shape analysis and by connections to the Ebin metric on the space of all Riemannian metrics. In the present work we calculate the geodesic equations and obtain an explicit formula for the solutions to the corresponding initial value problem. Using this we show that it is a geodesically and metrically incomplete space and study the existence of totally geodesic subspaces. Furthermore, we calculate the sectional curvature and observe that, depending on the dimension of the base manifold and the target space, it either has a semidefinite sign or admits both signs.


title: Detecting Multiple Seller Collusive Shill Bidding

abstract: Shill bidding occurs when fake bids are introduced into an auction on the seller's behalf in order to artificially inflate the final price. This is typically achieved by the seller having friends bid in her auctions, or the seller controls multiple fake bidder accounts that are used for the sole purpose of shill bidding. We previously proposed a reputation system referred to as the Shill Score that indicates how likely a bidder is to be engaging in price inflating behaviour with regard to a specific seller's auctions. A potential bidder can observe the other bidders' Shill Scores, and if they are high, the bidder can elect not to participate as there is some evidence that shill bidding occurs in the seller's auctions. However, if a seller is in collusion with other sellers, or controls multiple seller accounts, she can spread the risk between the various sellers and can reduce suspicion on the shill bidder. Collusive seller behaviour impacts one of the characteristics of shill bidding the Shill Score is examining, therefore collusive behaviour can reduce a bidder's Shill Score. This paper extends the Shill Score to detect shill bidding where multiple sellers are working in collusion with each other. We propose an algorithm that provides evidence of whether groups of sellers are colluding. Based on how tight the association is between the sellers and the level of apparent shill bidding is occurring in the auctions, each participating bidder's Shill Score is adjusted appropriately to remove any advantages from seller collusion. Performance has been tested using simulated auction data and experimental results are presented.


title: Hypergraph Clustering: A Modularity Maximization Approach

abstract: Clustering on hypergraphs has been garnering increased attention with potential applications in network analysis, VLSI design and computer vision, among others. In this work, we generalize the framework of modularity maximization for clustering on hypergraphs. To this end, we introduce a hypergraph null model, analogous to the configuration model on undirected graphs, and a node-degree preserving reduction to work with this model. This is used to define a modularity function that can be maximized using the popular and fast Louvain algorithm. We additionally propose a refinement over this clustering, by reweighting cut hyperedges in an iterative fashion. The efficacy and efficiency of our methods are demonstrated on several real-world datasets.


title: Dot-Tracking Methodology for Background Oriented Schlieren (BOS)

abstract: We propose a dot-tracking methodology for processing Background Oriented Schlieren (BOS) images. The method significantly improves the accuracy, precision and spatial resolution compared to conventional cross-correlation algorithms. Our methodology utilizes the prior information about the dot pattern such as the location, size and number of dots to provide near 100% yield even for high dot densities (20 dots/32x32 pix.) and is robust to image noise. We also propose an improvement to the displacement estimation step in the tracking process, especially for noisy images, using a "correlation correction", whereby we combine the spatial resolution benefit of the tracking method and the smoothing property of the correlation method to increase the dynamic range of the overall measurement process. We evaluate the performance of the method with synthetic BOS images of buoyancy driven turbulence rendered using ray tracing simulations, and experimental images of flow in th exit plane of a converging-diverging nozzle.


title: Evolution of V339 Del (Nova Del 2013) since 0.37 to 75 Days after Discovery

abstract: We study the evolution of V339 Del (Nova Del 2013) during 0.37 to 75 days after discovery. Spectra from the Liverpool Telescope were collected and analysed to find velocity of ejecta, relative radiation with respect to continuum level, and FWHM of the radiation. The evolution of light curve was explained by adopting an ideal nova light curve as criteria. We found that the evolution of V339 Del during t = 0.37 to 75 days can be explained in 7 phases: 1) Initial rise (t = 0 - 0.6 days, 2) Pre-maximum halt (t = 0.6 to 1.2 days), 3) Final rise (t = 1.2 to 1.5 days), 4) Maximum (t = 1.5 to 2.5 days), 5) Early decline (t = 2.5 to 35 days), 6) Transition (t = 35 to 60 days), and 7) Final decline (t = 60 to approximately 75 days).


title: Diffusion multi-rate LMS algorithm for acoustic sensor networks

abstract: In this paper, we present a diffusion multi-rate least-mean-square (LMS) algorithm, named DMLMS, which is an effective solution for distributed estimation when two or more observation sequences are available with different sampling rates. Then, we focus on a more practical application in the wireless acoustic sensor networks (ASN). The filtered-x LMS (FxLMS) algorithm is extended to the distributed multi-rate system and it introduces collaboration between nodes following a diffusion strategy. Simulation results show that the effectiveness of the proposed algorithms.


title: On the Divergence in the General Sense of $q$-Continued Fraction on the Unit Circle

abstract: We show, for each $q$-continued fraction $G(q)$ in a certain class of continued fractions, that there is an uncountable set of points on the unit circle at which $G(q)$ diverges in the general sense. This class includes the Rogers-Ramanujan continued fraction and the three Ramanujan-Selberg continued fraction. We discuss the implications of our theorems for the general convergence of other $q$-continued fractions, for example the G\"{o}llnitz-Gordon continued fraction, on the unit circle.


title: Photometric Investigation of Novae T Pyx, BT Mon and V574 Pup at Quiescence by using the 2.4 m Thai National Telescope

abstract: Recurrent novae (RNe) are novae with multiple recorded outbursts powered by a thermonuclear runaway. The outburst occurs on the surface of the white dwarf which accompanies with a late type main-sequence or giant secondary star transferring material onto the white dwarf primary star. They resemble classical novae (CNe) outbursts but only RNe has more than one recorded outbursts. RNe play an important role as one of the suspected progenitor systems of Type Ia supernovae (SNe) which are used as primary distance indicators in cosmology. Thus, it is important to investigate the outburst type of CNe and RNe and finally ascertain the population of objects that might ultimately be candidates for Type Ia SNe explosions. The proposal that RNe occupy a region separated from CNe in an outburst amplitude versus speed class diagram was adopted. Since the low amplitude results from the existence of an evolved secondary and/or high mass transfer rate in the quiescent system, RNe candidates should accordingly have low amplitude. We selected 3 preliminary targets including T Pyx, BT Mon and V574 Pup. Their amplitudes are not that low but the lowest amplitude that can be observed with Thai National Telescope (TNT). We obtained their magnitudes at quiescence using ULTRASPEC camera on the 2.4-m TNT. The positions of three targets on optical and near-infrared color-magnitude diagrams suggest that all three should have mainsequence secondary stars. This is true for T Pyx, whose secondary star has been confirmed its spectroscopy to be a main-sequence star, but not yet confirmed for BT Mon and V574 Pup.


title: Do we have the time for IRM?: Service denial attacks and SDN-based defences

abstract: Distributed sensor networks such as IoT deployments generate large quantities of measurement data. Often, the analytics that runs on this data is available as a web service which can be purchased for a fee. A major concern in the analytics ecosystem is ensuring the security of the data. Often, companies offer Information Rights Management (IRM) as a solution to the problem of managing usage and access rights of the data that transits administrative boundaries. IRM enables individuals and corporations to create restricted IoT data, which can have its flow from organisation to individual control -- disabling copying, forwarding, and allowing timed expiry. We describe our investigations into this functionality and uncover a weak-spot in the architecture -- its dependence upon the accurate global availability of \emph{time}. We present an amplified denial-of-service attack which attacks time synchronisation and could prevent all the users in an organisation from reading any sort of restricted data until their software has been re-installed and re-configured. We argue that IRM systems built on current technology will be too fragile for businesses to risk widespread use. We also present defences that leverage the capabilities of Software-Defined Networks to apply a simple filter-based approach to detect and isolate attack traffic.


title: Efficient hedging under ambiguity in continuous time

abstract: It is well known that the minimal superhedging price of a contingent claim is too high for practical use. In a continuous-time model uncertainty framework, we consider a relaxed hedging criterion based on acceptable shortfall risks. Combining existing aggregation and convex dual representation theorems, we derive duality results for the minimal price on the set of upper semicontinuous discounted claims.


title: Measurement of the Antineutrino Spectrum from $^{235}$U Fission at HFIR with PROSPECT

abstract: This Letter reports the first measurement of the $^{235}$U $\overline{\nu_{e}}$ energy spectrum by PROSPECT, the Precision Reactor Oscillation and Spectrum experiment, operating 7.9m from the 85MW$_{\mathrm{th}}$ highly-enriched uranium (HEU) High Flux Isotope Reactor. With a surface-based, segmented detector, PROSPECT has observed 31678$\pm$304 (stat.) $\overline{\nu_{e}}$-induced inverse beta decays (IBD), the largest sample from HEU fission to date, 99% of which are attributed to $^{235}$U. Despite broad agreement, comparison of the Huber $^{235}$U model to the measured spectrum produces a $\chi^2/ndf = 51.4/31$, driven primarily by deviations in two localized energy regions. The measured $^{235}$U spectrum shape is consistent with a deviation relative to prediction equal in size to that observed at low-enriched uranium power reactors in the $\overline{\nu_{e}}$ energy region of 5-7MeV.


title: A Theorem on Divergence in the General Sense for Continued Fractions

abstract: If the odd and even parts of a continued fraction converge to different values, the continued fraction may or may not converge in the general sense. We prove a theorem which settles the question of general convergence for a wide class of such continued fractions. We apply this theorem to two general classes of $q$ continued fraction to show, that if $G(q)$ is one of these continued fractions and $|q|>1$, then either $G(q)$ converges or does not converge in the general sense. We also show that if the odd and even parts of the continued fraction $K_{n=1}^{\infty}a_{n}/1$ converge to different values, then $\lim_{n \to \infty}|a_{n}| = \infty$.


title: Quantum cosmology of Bianchi VIII, IX LRS geometries

abstract: In the present work we revisit the axisymmetric Bianchi VIII and IX models. At the classical level we reproduce the known analytic solution, in a novel way making use of two quadratic integrals of motion, the constraint equation, as well as a linear non-local integral of motion. These quantities correspond to two second rank Killing tensors and a homothetic vector field existing on the relevant configuration space. On the corresponding phase space the two quadratic charges commute with the Hamiltonian constraint but not among themselves. Thus, after turning these charges into operators we obtain two different solutions to the Wheeler DeWitt equation utilizing each of the quadratic operators. The homothetic vector is then used, as a natural guide line, to define a normalizable conditional probability which assigns zero to the classically collapsed configurations.


title: On edge-primitive and 2-arc-transitive graphs

abstract: A graph is edge-primitive if its automorphism group acts primitively on the edge set. In this short paper, we prove that a finite 2-arc-transitive edge-primitive graph has almost simple automorphism group if it is neither a cycle nor a complete bipartite graph. We also present two examples of such graphs, which are 3-arc-transitive and have faithful vertex-stabilizers.


title: Hyperfine Splitting in Muonium: Accuracy of the Theoretical Prediction

abstract: In the last twenty years, the theory of hyperfine splitting in muonium developed without any experimental input. Finally, this situation is changing and a new experiment on measuring hyperfine splitting in muonium is now in progress at J-PARC. The goal of the MuSEUM experiment is to improve by an order of magnitude experimental accuracy of the hyperfine splitting and muon-electron mass ratio. Uncertainty of the theoretical prediction for hyperfine splitting will be crucial for comparison between the forthcoming experimental data and the theory in search of a possible new physics. In the current literature estimates of the error bars of the theoretical prediction differ roughly by a factor of two. We explain the origin of this discrepancy and obtain the theoretical prediction for the muonium hyperfine splitting $\Delta \nu^{th}_{\scriptscriptstyle HFS}(Mu)=4~463~302~872~(515)~\mbox{Hz},\; \delta=1.2\times 10^{-7}$.


title: The Higgs and WIMP DM Lamp Posts for New Weak Scale Physics: EFT Perspectives and the NMSSM

abstract: I will show, via effective field theory (EFT) techniques, that obtaining an observationally consistent relic density while evading stringent direct detection limits and maintaining $h_{125}$ phenomenology in an extended Higgs sector can be easily achieved. I will then map such an EFT to the low energy limit of the NMSSM with the Higgsinos integrated out. Both the singlino and the singlet-like CP-odd and even scalars in the NMSSM may play a relevant role in such a scenario, while being difficult to probe via conventional searches. The singlet sector of the general NMSSM can be mapped on to a 2HDM+S, and I will discuss prospects of probing this at the LHC using signatures such as mono-Higgs and mono-Z. This proceeding is mostly based on Refs. arXiv:1712.09873 and arXiv:1808.02667.


title: Optical detection of fractal dimensions of MUC13 stained pancreatic tissues for cancer diagnostics

abstract: Transmission intensity of a thin tissue sample produce intensity distribution that is proportional to the refractive index pattern in the thin slice, in turn reflects mass density pattern, and using the intensity pattern, fractal dimension can be calculated. In this paper, we report fractal dimension analyses of MUC13 stained pancreatic cancer tissues. Pancreatic cancer is deadliest due to its physical orientation, and no prominent chemical change till the late stages of cancer. The presence of pancreatic cancer can be detected using MUC13, however this fails to explain about the stages of cancer. Here we studied MUC13 expressed cancer tissues and observe their cancer stages by fractal dimension of light transmission intensity. Our results show that an early stage of pancreatic cancer for MUC13 expressed tissue is accurately distinguished by fractal dimension analysis. Further, their application to cancer diagnostics is also discussed in detail.


title: A rational approximation of the sinc function based on sampling and the Fourier transforms

abstract: In our previous publications we have introduced the cosine product-to-sum identity [17] $$ \prod\limits_{m = 1}^M {\cos \left( {\frac{t}{{{2^m}}}} \right)} = \frac{1}{{{2^{M - 1}}}}\sum\limits_{m = 1}^{{2^{M - 1}}} {\cos \left( {\frac{{2m - 1}}{{{2^M}}}t} \right)} $$ and applied it for sampling [1, 2] as an incomplete cosine expansion of the sinc function in order to obtain a rational approximation of the Voigt/complex error function that with only $16$ summation terms can provide accuracy ${\sim 10^{ - 14}}$. In this work we generalize this approach and show as an example how a rational approximation of the sinc function can be derived. A MATLAB code validating these results is presented.


title: Coarse-to-fine Semantic Segmentation from Image-level Labels

abstract: Deep neural network-based semantic segmentation generally requires large-scale cost extensive annotations for training to obtain better performance. To avoid pixel-wise segmentation annotations which are needed for most methods, recently some researchers attempted to use object-level labels (e.g. bounding boxes) or image-level labels (e.g. image categories). In this paper, we propose a novel recursive coarse-to-fine semantic segmentation framework based on only image-level category labels. For each image, an initial coarse mask is first generated by a convolutional neural network-based unsupervised foreground segmentation model and then is enhanced by a graph model. The enhanced coarse mask is fed to a fully convolutional neural network to be recursively refined. Unlike existing image-level label-based semantic segmentation methods which require to label all categories for images contain multiple types of objects, our framework only needs one label for each image and can handle images contains multi-category objects. With only trained on ImageNet, our framework achieves comparable performance on PASCAL VOC dataset as other image-level label-based state-of-the-arts of semantic segmentation. Furthermore, our framework can be easily extended to foreground object segmentation task and achieves comparable performance with the state-of-the-art supervised methods on the Internet Object dataset.


title: On Lorentz-invariant spin-2 theories

abstract: We construct Lorentz-invariant massless/massive spin-2 theories in flat spacetime. Starting from the most generic action of a rank-2 symmetric tensor field whose Lagrangian contains up to quadratic in first derivatives of a field, we investigate the possibility of new theories by using the Hamiltonian analysis. By imposing the degeneracy of the kinetic matrix and the existence of subsequent constraints, we classify theories based on the number of degrees of freedom and constraint structures and obtain a wider class of Fierz-Pauli theory as well as massless and partially massless theories, whose scalar and/or vector degrees of freedom are absent. We also discuss the relation between our theories and known massless and massive spin-2 theories.


title: JCMT Mapping of CO(3-2) in the Circumnuclear Region of M31

abstract: We present a survey of CO(3-2) molecular line emission in the circumnuclear region of M31 with the James Clerk Maxwell Telescope (JCMT), aiming to explore the physical conditions of the molecular gas. Significant CO(3-2) lines are detected primarily along the so-called nuclear spiral, out to a projected galactocentric radius of 700 pc at a linear resolution of ~50 pc. We find that the velocity field of the molecular gas is in rough agreement with that of the ionized gas previously determined from optical observations. Utilizing existed CO(2-1) and CO(1-0) measurements in selected regions of the nuclear spiral, we derive characteristic intensity ratios of CO(3-2)/CO(2-1) and CO(3-2)/CO(1-0), which are both close to unity and are significantly higher than the typical intensity ratios in the disk. Such line ratios suggest high kinetic temperatures of the gas, which might be due to strong interstellar shocks prevalent in the circumnuclear region.


title: Impact of the Rashba Spin Orbit Coupling on $f$-electron Materials

abstract: The combination of strong spin orbit coupling and strong correlations holds tremendous potential for interesting physical phenomena as well as applications in spintronics and quantum computation. In this context, we here study the interplay between the Rashba spin-orbit coupling (RSOC) and the Kondo screening in noncentrosymmetric $f$-electron materials. We show that the Kondo coupling of the $f$-electrons becomes anisotropic at high temperatures due to the RSOC. However, an isotropic Kondo effect is restored at low temperature which leads to a complete Kondo screening. We furthermore demonstrate that the Kondo effect has influence on the Rashba splitting in the band structure, which becomes temperature dependent. Although the $f$-electrons are localized at high temperature, a helical spin polarization of the conduction band emerges due to the scattering with the $f$-electrons. With decreasing temperature, the Kondo screening occurs, which leads to drastic changes in the band structure. Remarkably, these changes in the band structure depend on the helical spin polarization. For strong RSOC, we observe that the hybridization gap of one of the helical bands is closed at low temperature and a helical half-metal is formed.


title: InstaGAN: Instance-aware Image-to-Image Translation

abstract: Unsupervised image-to-image translation has gained considerable attention due to the recent impressive progress based on generative adversarial networks (GANs). However, previous methods often fail in challenging cases, in particular, when an image has multiple target instances and a translation task involves significant changes in shape, e.g., translating pants to skirts in fashion images. To tackle the issues, we propose a novel method, coined instance-aware GAN (InstaGAN), that incorporates the instance information (e.g., object segmentation masks) and improves multi-instance transfiguration. The proposed method translates both an image and the corresponding set of instance attributes while maintaining the permutation invariance property of the instances. To this end, we introduce a context preserving loss that encourages the network to learn the identity function outside of target instances. We also propose a sequential mini-batch inference/training technique that handles multiple instances with a limited GPU memory and enhances the network to generalize better for multiple instances. Our comparative evaluation demonstrates the effectiveness of the proposed method on different image datasets, in particular, in the aforementioned challenging cases. Code and results are available in https://github.com/sangwoomo/instagan


title: Gysin triangles in the category of motifs with modulus

abstract: In this paper, we study a Gysin triangle in the category of motives with modulus. We can understand this Gysin triangle as a motivic lift of the Gysin triangle of log-crystalline cohomology due to Nakkajima and Shiho. After that we compare motives with modulus and Voevodsky motives. The corollary implies that an object in the category of motives with modulus decomposes into a $p$-torsion part and a Voevodsky motive part. We can understand the corollary as a motivic analogue of the relationship between rigid cohomology and log-crystalline cohomology.


title: Proceedings ML Family Workshop / OCaml Users and Developers workshops

abstract: This volume contains the joint post-proceedings of the 2016 edition of the ML Family Workshop and OCaml Users and Developers Workshop, held in Nara, Japan, in affiliation with ICFP 2016.


title: Derivation of statistics of real delay time from statistics of imaginary delay time using spectroscopic technique in weakly disordered optical media

abstract: Delay time is defined as a time that a wave spent in a scattering medium before it escapes, and this can be derived by the energy derivative of the phase of the scattering wave. Considering the complex reflection amplitude R=|R|exp(i{\theta}) of a light wave, real delay time {\tau}_r (i.e., sojourn or Wigner delay time), which is the energy derivative of the real phase ({\tau}_r =d{\theta}/cdk), and complex delay time {\tau}_i , which is the energy derivative of the reflection coefficient ({\tau}_i=d{\theta}_i/cdk, |R|=r^1/2=exp(-{\theta}_i)), have the same statistical form and a mirror image with a shift in time in weak disorder and short length regime. Real delay time statistics obtained from the reflection coefficient can be attributed to the strong correlation between the reflection coefficient and its phase in this regime. The range of the scattering parameters for this validation, as well as application of this method in characterization of weakly disordered media is also discussed.