title: Algebraic Semantics for Nelson's Logic S

abstract: Besides the better-known Nelson's Logic and Paraconsistent Nelson's Logic, in "Negation and separation of concepts in constructive systems" (1959), David Nelson introduced a logic called S with the aim of analyzing the constructive content of provable negation statements in mathematics. Motivated by results from Kleene, in "On the Interpretation of Intuitionistic Number Theory" (1945), Nelson investigated a more symmetric recursive definition of truth, according to which a formula could be either primitively verified or refuted. The logic S was defined by means of a calculus lacking the contraction rule and having infinitely many schematic rules, and no semantics was provided. This system received little attention from researchers and it even remained unnoticed that on its original presentation it was inconsistent. Fortunately, the inconsistency was caused by typos and by a rule whose hypothesis and conclusion were swapped.We investigate in the present study a corrected version of the logic S, and focus at its propositional fragment, showing that it is algebraizable (in fact, implicative) with respect to a certain special class of involutive residuated lattices. We thus introduce the first (algebraic) semantics for S as well as a finite Hilbert-style calculus equivalent to Nelson's presentation. We also compare S with the other two above-mentioned logics of the Nelson family.


title: Analytical Models for Particle Diffusion and Flow in a Horizontal Cylinder with a Vertical Force

abstract: This paper considers particle propagation in a cylindrical molecular communication channel, e.g. a simplified model of a blood vessel. Emitted particles are influenced by diffusion, flow, and a vertical force induced e.g. by gravity or magnetism. The dynamics of the diffusion process are modeled by multi-dimensional transfer functions in a spatio-temporal frequency domain. Realistic boundary conditions are incorporated by the design of a feedback loop. The result is a discrete-time semi-analytical model for the particle concentration in the channel. The model is validated by comparison to particle-based simulations. These numerical experiments reveal that the particle concentration of the proposed semi-analytical model and the particle-based model are in excellent agreement. The analytical form of the proposed solution provides several benefits over purely numerical models, e.g. high flexibility, existence of low run-time algorithms, extendability to several kinds of boundary conditions, and analytical connection to parameters from communication theory.


title: Joint Blind Identification of the Number of Transmit Antennas and MIMO Schemes Using Gerschgorin Radii and FNN

abstract: Blind enumeration of the number of transmit antennas and blind identification of multiple-input multiple-output (MIMO) schemes are two pivotal steps in MIMO signal identification for both military and commercial applications. Conventional approaches treat them as two independent problems, namely the source number enumeration and the presence detection of space-time redundancy, respectively. In this paper, we develop a joint blind identification algorithm to determine the number of transmit antennas and MIMO scheme simultaneously. By restructuring the received signals, we derive three subspace-rank features based on the signal subspace-rank to determine the number of transmit antennas and identify space-time redundancy. Then, a Gerschgorin radii-based method and a feed-forward neural network are employed to calculate these three features, and a minimal weighted norm-1 distance metric is utilized for decision making. In particular, our approach can identify additional MIMO schemes, which most previous works have not considered, and is compatible with both single-carrier and orthogonal frequency division multiplexing (OFDM) systems. Simulation results verify the viability of our proposed approach for single-carrier and OFDM systems and demonstrate its favorable identification performance for a short observation period with acceptable complexity.


title: Single Day Outdoor Photometric Stereo

abstract: Photometric Stereo (PS) under outdoor illumination remains a challenging, ill-posed problem due to insufficient variability in illumination. Months-long capture sessions are typically used in this setup, with little success on shorter, single-day time intervals. In this paper, we investigate the solution of outdoor PS over a single day, under different weather conditions. First, we investigate the relationship between weather and surface reconstructability in order to understand when natural lighting allows existing PS algorithms to work. Our analysis reveals that partially cloudy days improve the conditioning of the outdoor PS problem while sunny days do not allow the unambiguous recovery of surface normals from photometric cues alone. We demonstrate that calibrated PS algorithms can thus be employed to reconstruct Lambertian surfaces accurately under partially cloudy days. Second, we solve the ambiguity arising in clear days by combining photometric cues with prior knowledge on material properties, local surface geometry and the natural variations in outdoor lighting through a CNN-based, weakly-calibrated PS technique. Given a sequence of outdoor images captured during a single sunny day, our method robustly estimates the scene surface normals with unprecedented quality for the considered scenario. Our approach does not require precise geolocation and significantly outperforms several state-of-the-art methods on images with real lighting, showing that our CNN can combine efficiently learned priors and photometric cues available during a single sunny day.


title: Nelson's Logic S

abstract: Besides the better-known Nelson logic (N3) and paraconsistent logic (N4), in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called S. The logic S was originally presented by means of a calculus (crucially lacking the contraction rule) with infinitely many rule schemata and no semantics (other than the intended interpretation into Arithmetic.) We look here at the propositional fragment of S, showing that it is algebraizable (in fact, implicative), in the sense of Blok and Pigozzi, with respect to a variety of three-potent involutive residuated lattices. We thus introduce the first known algebraic semantics for S as well as a finite Hilbert-style calculus equivalent to Nelson's presentation; this also allows us to clarify the relation between S and the other two Nelson logics N3 and N4.


title: Do voters choose rationally, irrationally or at random? Data and theory for proportional elections

abstract: Data of proportional elections show a striking feature: If the parties are ranked according to the number of their voters, the number of votes grows exponentially with the rank of the party. This so-called Zipf's law has been reported before. We first show this correlation in results from recent elections in Germany, France and republican primaries in the USA. However the mechanism generating such feature remains so far unexplained. We develop a mathematical model of voter grouping that is only based on the word of mouth and not on political contents. The model is close to the infinite allele model and the Ewens sampling formula that are well known in population genetics. Strikingly, the model generates output agreeing very well with the observed election data. We further identify a cannibalism effect in Germany, whereby parties above the 5% threshold withdraw votes from parties just below the threshold. We demonstrate that the number of parties present in the parliament can be predicted given the number of parties standing for election. Finally, the steady loss of big-tent parties in Germany in the last 20 years relates to the increasing number of parties since 1975. We discuss the interpretation and consequences of these findings for modern democracies and the rationality or lack thereof of voters' choices.


title: Gradient Pattern Analysis Applied to Galaxy Morphology

abstract: Gradient pattern analysis (GPA) is a well-established technique for measuring gradient bilateral asymmetries of a square numerical lattice. This paper introduces an improved version of GPA designed for galaxy morphometry. We show the performance of the new method on a selected sample of 54,896 objects from the SDSS-DR7 in common with Galaxy Zoo 1 catalog. The results suggest that the second gradient moment, G2, has the potential to dramatically improve over more conventional morphometric parameters. It separates early from late type galaxies better (\sim 90\%) than the CAS system (C \sim 79\%, A \sim 50\%, S \sim 43\%) and a benchmark test shows that it is applicable to hundreds of thousands of galaxies using typical processing systems.


title: Workplace Accidents and Self-Organized Criticality

abstract: The occurrence of workplace accidents is described within the context of self-organized criticality, a theory from statistical physics that governs a wide range of phenomena across physics, biology, geosciences, economics, and the social sciences. Workplace accident data from the U.S. Bureau of Labor Statistics reveal a power-law relationship between the number of accidents and their severity as measured by the number of days lost from work. This power-law scaling is indicative of workplace accidents being governed by self-organized criticality, suggesting that nearly all workplace accidents have a common underlying cause, independent of their severity. Such power-law scaling is found for all labor categories documented by the U.S. Bureau of Labor Statistics. Our results provide scientific support for the Heinrich accident triangle, with the practical implication that suppressing the rate of severe accidents requires changing the attitude toward workplace safety in general. By creating a culture that values safety, empowers individuals, and strives to continuously improve, accident rates can be suppressed across the full range of severities.


title: Pointwise differentiability of higher order for distributions

abstract: For distributions, we build a theory of higher order pointwise differentiability comprising, for order zero, {\L}ojasiewicz's notion of point value. Results include Borel regularity of differentials, higher order rectifiability of the associated jets, a Rademacher-Stepanov type differentiability theorem, and a Lusin type approximation. A substantial part of this development is new also for zeroth order. Moreover, we establish a Poincar\'e inequality involving the natural norms of negative order of differentiability. As a corollary, we characterise pointwise differentiability in terms of point values of distributional partial derivatives.


title: Glassy Phase of Optimal Quantum Control

abstract: We study the problem of preparing a quantum many-body system from an initial to a target state by optimizing the fidelity over the family of bang-bang protocols. We present compelling numerical evidence for a universal spin-glass-like transition controlled by the protocol time duration. The glassy critical point is marked by a proliferation of protocols with close-to-optimal fidelity and with a true optimum that appears exponentially difficult to locate. Using a machine learning (ML) inspired framework based on the manifold learning algorithm t-SNE, we are able to visualize the geometry of the high-dimensional control landscape in an effective low-dimensional representation. Across the transition, the control landscape features an exponential number of clusters separated by extensive barriers, which bears a strong resemblance with replica symmetry breaking in spin glasses and random satisfiability problems. We further show that the quantum control landscape maps onto a disorder-free classical Ising model with frustrated nonlocal, multibody interactions. Our work highlights an intricate but unexpected connection between optimal quantum control and spin glass physics, and shows how tools from ML can be used to visualize and understand glassy optimization landscapes.


title: Gate-defined electron-hole double dots in bilayer graphene

abstract: We present gate-controlled single, double, and triple dot operation in electrostatically gapped bilayer graphene. Thanks to the recent advancements in sample fabrication, which include the encapsulation of bilayer graphene in hexagonal boron nitride and the use of graphite gates, it has become possible to electrostatically confine carriers in bilayer graphene and to completely pinch-off current through quantum dot devices. Here, we discuss the operation and characterization of electron-hole double dots. We show a remarkable degree of control of our device, which allows the implementation of two different gate-defined electron-hole double-dot systems with very similar energy scales. In the single dot regime, we extract excited state energies and investigate their evolution in a parallel magnetic field, which is in agreement with a Zeeman-spin-splitting expected for a g-factor of two.


title: Spin fluctuations and black hole singularities: the onset of quantum gravity is spacelike

abstract: Due to quantum fluctuations, a black hole of mass $M$ represents an average over an ensemble of black hole geometries with angular momentum. This observation is apparently at odds with the fact that the curvature singularity inside a rotating black hole is timelike, while the one inside a non-rotating black hole is spacelike. Is the average of timelike singularities really spacelike? We use the Bekenstein-Hawking entropy formula to introduce a microcanonical ensemble for spin fluctuations and show that the onset of quantum gravity is always spacelike. We discuss the impact of this result on singularity resolution in quantum gravity and hint at the possibility of an observational test.


title: Features for Multi-Target Multi-Camera Tracking and Re-Identification

abstract: Multi-Target Multi-Camera Tracking (MTMCT) tracks many people through video taken from several cameras. Person Re-Identification (Re-ID) retrieves from a gallery images of people similar to a person query image. We learn good features for both MTMCT and Re-ID with a convolutional neural network. Our contributions include an adaptive weighted triplet loss for training and a new technique for hard-identity mining. Our method outperforms the state of the art both on the DukeMTMC benchmarks for tracking, and on the Market-1501 and DukeMTMC-ReID benchmarks for Re-ID. We examine the correlation between good Re-ID and good MTMCT scores, and perform ablation studies to elucidate the contributions of the main components of our system. Code is available.


title: Long-term monitoring of the broad-line region properties in a selected sample of AGN

abstract: We present the results of the long-term optical monitoring campaign of active galactic nuclei (AGN) coordinated by the Special Astrophysical Observatory of the Russian Academy of Science. This campaign has produced a remarkable set of optical spectra, since we have monitored for several decades different types of broad-line (type 1) AGN, from a Seyfert 1, double-peaked line, radio loud and radio quiet AGN, to a supermassive binary black hole candidate. Our analysis of the properties of the broad line region (BLR) of these objects is based on the variability of the broad emission lines. We hereby give a comparative review of the variability properties of the broad emission lines and the BLR of seven different type 1 AGNs, emphasizing some important results, such as the variability rate, the BLR geometry, and the presence of the intrinsic Baldwin effect. We are discussing the difference and similarity in the continuum and emission line variability, focusing on what is the impact of our results to the supermassive black hole mass determination from the BLR properties.


title: Memory Warps for Learning Long-Term Online Video Representations

abstract: This paper proposes a novel memory-based online video representation that is efficient, accurate and predictive. This is in contrast to prior works that often rely on computationally heavy 3D convolutions, ignore actual motion when aligning features over time, or operate in an off-line mode to utilize future frames. In particular, our memory (i) holds the feature representation, (ii) is spatially warped over time to compensate for observer and scene motions, (iii) can carry long-term information, and (iv) enables predicting feature representations in future frames. By exploring a variant that operates at multiple temporal scales, we efficiently learn across even longer time horizons. We apply our online framework to object detection in videos, obtaining a large 2.3 times speed-up and losing only 0.9% mAP on ImageNet-VID dataset, compared to prior works that even use future frames. Finally, we demonstrate the predictive property of our representation in two novel detection setups, where features are propagated over time to (i) significantly enhance a real-time detector by more than 10% mAP in a multi-threaded online setup and to (ii) anticipate objects in future frames.


title: A Survey on Deep Learning Methods for Robot Vision

abstract: Deep learning has allowed a paradigm shift in pattern recognition, from using hand-crafted features together with statistical classifiers to using general-purpose learning procedures for learning data-driven representations, features, and classifiers together. The application of this new paradigm has been particularly successful in computer vision, in which the development of deep learning methods for vision applications has become a hot research topic. Given that deep learning has already attracted the attention of the robot vision community, the main purpose of this survey is to address the use of deep learning in robot vision. To achieve this, a comprehensive overview of deep learning and its usage in computer vision is given, that includes a description of the most frequently used neural models and their main application areas. Then, the standard methodology and tools used for designing deep-learning based vision systems are presented. Afterwards, a review of the principal work using deep learning in robot vision is presented, as well as current and future trends related to the use of deep learning in robotics. This survey is intended to be a guide for the developers of robot vision systems.


title: Observing and modeling the gamma-ray emission from pulsar/pulsar wind nebula complex PSR J0205+6449/3C 58

abstract: We present the results of the analysis of 8 years of Fermi-LAT data of the pulsar/pulsar wind nebula complex PSR J0205+6449/3C 58. Using a contemporaneous ephemeris, we carried out a detailed analysis of PSR J0205+6449 both during its off-peak and on-peak phase intervals. 3C 58 is significantly detected during the off-peak phase interval. We show that the spectral energy distribution at high energies is the same disregarding the phases considered, and thus that this part of the spectrum is most likely dominated by the nebula radiation. We present results of theoretical models of the nebula and the magnetospheric emission that confirm this interpretation. Possible high-energy flares from 3C 58 were searched for, but none was unambiguously identified.


title: Human Emotional Facial Expression Recognition

abstract: An automatic Facial Expression Recognition (FER) model with Adaboost face detector, feature selection based on manifold learning and synergetic prototype based classifier has been proposed. Improved feature selection method and proposed classifier can achieve favorable effectiveness to performance FER in reasonable processing time.


title: Long-lived Remnants from Binary Neutron Star Mergers

abstract: Massive neutron star (NS) with lifetimes of at least several seconds are expected to be the result of a sizable fraction of NS mergers. We study their formation using a large set of numerical relativity simulations. We show that they are initially endowed with angular momentum that significantly exceeds the mass-shedding limit for rigidly-rotating equilibria. We find that gravitational-wave (GW) emission is not able to remove this excess angular momentum within the time over which solid body rotation should be achieved. Instead, we argue that the excess angular momentum could be carried away by massive winds. Long-lived merger remnants are also formed with larger gravitational masses than those of rigidly-rotating NSs having the same number of baryons. The excess mass is likely radiated in the form of neutrinos. The evolution of long-lived remnants on the viscous timescale is thus determined by the interplay of finite-temperature effects, mass ejection, and neutrinos with potentially dramatic consequences for the remnants' properties and stability. We also provide an empirical fit for the spin of the remnant at the end of its viscous evolution as a function of its final mass, and we discuss the implications for the magnetar model of short gamma-ray bursts (SGRBs). Finally, we investigate the possible electromagnetic signatures associated with the viscous ejecta. Massive outflows possibly resulting from the formation of long-lived remnants would power unusually bright, blue kilonova counterparts to GW events and SGRBs whose detection would provide smoking gun evidence for the formation of long-lived remnants.


title: Extreme magnetoresistance in the topologically trivial lanthanum monopnictide LaAs

abstract: The family of binary Lanthanum monopnictides, LaBi and LaSb, have attracted a great deal of attention as they display an unusual extreme magnetoresistance (XMR) that is not well understood. Two classes of explanations have been raised for this: the presence of non-trivial topology, and the compensation between electron and hole densities. Here, by synthesizing a new member of the family, LaAs, and performing transport measurements, Angle Resolved Photoemission Spectroscopy (ARPES), and Density Functional Theory (DFT) calculations, we show that (a) LaAs retains all qualitative features characteristic of the XMR effect but with a siginificant reduction in magnitude compared to LaSb and LaBi, (b) the absence of a band inversion or a Dirac cone in LaAs indicates that topology is insignificant to XMR, (c) the equal number of electron and hole carriers indicates that compensation is necessary for XMR but does not explain its magnitude, and (d) the ratio of electron and hole mobilities is much different in LaAs compared to LaSb and LaBi. We argue that the compensation is responsible for the XMR profile and the mobility mismatch constrains the magnitude of XMR.


title: Tuning the dipole-dipole interaction in a quantum gas with a rotating magnetic field

abstract: We demonstrate the tuning of the magnetic dipole-dipole interaction (DDI) within a dysprosium Bose-Einstein condensate by rapidly rotating the orientation of the atomic dipoles. The tunability of the dipolar mean-field energy manifests as a modified gas aspect ratio after time-of-flight expansion. We demonstrate that both the magnitude and the sign of the DDI can be tuned using this technique. In particular, we show that a magic rotation angle exists at which the mean-field DDI can be eliminated, and at this angle, we observe that the expansion dynamics of the condensate is close to that predicted for a non-dipolar gas. The ability to tune the strength of the DDI opens new avenues toward the creation of exotic soliton and vortex states as well as unusual quantum lattice phases and Weyl superfluids.


title: Polynomial threshold functions, hyperplane arrangements, and random tensors

abstract: A simple way to generate a Boolean function is to take the sign of a real polynomial in $n$ variables. Such Boolean functions are called polynomial threshold functions. How many low-degree polynomial threshold functions are there? The partial case of this problem for degree $d=1$ was solved by Zuev in 1989, who showed that the number $T(n,1)$ of linear threshold functions satisfies $\log_2 T(n,1) \approx n^2$, up to smaller order terms. However the number of polynomial threshold functions for any higher degrees, including $d=2$, has remained open. We settle this problem for all fixed degrees $d \ge1$, showing that $ \log_2 T(n,d) \approx n \binom{n}{\le d}$. The solution relies on connections between the theory of Boolean threshold functions, hyperplane arrangements, and random tensors. Perhaps surprisingly, it uses also a recent result of E.Abbe, A.Shpilka, and A.Wigderson on Reed-Muller codes.


title: A Hybrid Approach for Efficient Wireless Information and Power Transfer in Green C-RAN

abstract: In this paper, we consider a green cloud radio access network (C-RAN) with simultaneous wireless and power transfer ability. In order to reduce the energy consumed for updating the chanel state information (CSI), energy users are divided into two different groups, including the free charge group and the MIMO group. Then a semi-definite programming problem is formulated under the constraints of energy and information transmission requirements. To minimize the total energy consumption, two algorithms are developed to authorize the energy users into two group divisions in single time slot. Then the algorithms are extended to long term scenarios consisting training and long term stages, the CSI of free charge energy users are not required during the long term stage. Simulation and numerical results are presented to demonstrate the efficiency of the proposed algorithms in significantly reducing the energy consumption of C-RAN systems.


title: Learning to Look around Objects for Top-View Representations of Outdoor Scenes

abstract: Given a single RGB image of a complex outdoor road scene in the perspective view, we address the novel problem of estimating an occlusion-reasoned semantic scene layout in the top-view. This challenging problem not only requires an accurate understanding of both the 3D geometry and the semantics of the visible scene, but also of occluded areas. We propose a convolutional neural network that learns to predict occluded portions of the scene layout by looking around foreground objects like cars or pedestrians. But instead of hallucinating RGB values, we show that directly predicting the semantics and depths in the occluded areas enables a better transformation into the top-view. We further show that this initial top-view representation can be significantly enhanced by learning priors and rules about typical road layouts from simulated or, if available, map data. Crucially, training our model does not require costly or subjective human annotations for occluded areas or the top-view, but rather uses readily available annotations for standard semantic segmentation. We extensively evaluate and analyze our approach on the KITTI and Cityscapes data sets.


title: Generalized Laplace Inference in Multiple Change-Points Models

abstract: Under the classical long-span asymptotic framework we develop a class of Generalized Laplace (GL) inference methods for the change-point dates in a linear time series regression model with multiple structural changes analyzed in, e.g., Bai and Perron (1998). The GL estimator is defined by an integration rather than optimization-based method and relies on the least-squares criterion function. It is interpreted as a classical (non-Bayesian) estimator and the inference methods proposed retain a frequentist interpretation. This approach provides a better approximation about the uncertainty in the data of the change-points relative to existing methods. On the theoretical side, depending on some input (smoothing) parameter, the class of GL estimators exhibits a dual limiting distribution; namely, the classical shrinkage asymptotic distribution, or a Bayes-type asymptotic distribution. We propose an inference method based on Highest Density Regions using the latter distribution. We show that it has attractive theoretical properties not shared by the other popular alternatives, i.e., it is bet-proof. Simulations confirm that these theoretical properties translate to better finite-sample performance.


title: Congestion Pricing in a World of Self-driving vehicles: an Analysis of Different Strategies in Alternative Future Scenarios

abstract: The introduction of autonomous (self-driving) and shared autonomous vehicles (AVs and SAVs) will affect travel destinations and distances, mode choice, and congestion. From a traffic perspective, although some congestion reduction may be achieved (thanks to fewer crashes and tighter headways), car-trip frequencies and vehicle miles traveled (VMT) are likely to rise significantly, reducing the benefits of driverless vehicles. Congestion pricing (CP) and road tolls are key tools for moderating demand and incentivizing more socially and environmentally optimal travel choices. This work develops multiple CP and tolling strategies in alternative future scenarios, and investigates their effects on the Austin, Texas network conditions and traveler welfare, using the agent-based simulation model MATSim. Results suggest that, while all pricing strategies reduce congestion, their social welfare impacts differ in meaningful ways. More complex and advanced strategies perform better in terms of traffic conditions and traveler welfare, depending on the development of the mobility landscape of autonomous driving. The possibility to refund users by reinvesting toll revenues as traveler budgets plays a salient role in the overall efficiency of each CP strategy as well as in the public acceptability.


title: Up to 40 % reduction of the GaAs band gap energy via strain engineering in core/shell nanowires

abstract: The great possibilities for strain engineering in core/shell nanowires have been explored as an alternative route to tailor the properties of binary III-V semiconductors without changing their chemical composition. In particular, we demonstrate that the GaAs core in GaAs/In(x)Ga(1-x)As or GaAs/In(x)Al(1-x)As core/shell nanowires can sustain unusually large misfit strains that would have been impossible in conventional thin-film heterostructures. The built-in strain in the core can be regulated via the composition and the thickness of the shell. Thick enough shells become almost strain-free, whereas the thin core undergoes a predominantly-hydrostatic tensile strain, which causes the reduction of the GaAs band gap energy. For the highest strain of 7 % in this work (obtained for x=0.54), a remarkable reduction of the band gap by 40 % was achieved in agreement with theoretical calculations. Such strong modulation of its electronic properties renders GaAs suitable for near-infrared nano-photonics and presumably high electron mobility nano-transistors.


title: Optimal Transport with Controlled Dynamics and Free End Times

abstract: We consider optimal transport problems where the cost is optimized over controlled dynamics and the end time is free. Unlike the classical setting, the search for optimal transport plans also requires the identification of optimal "stopping plans," and the corresponding Monge-Kantorovich duality involves the resolution of a Hamilton-Jacobi-Bellman quasi-variational inequality. We discuss both Lagrangian and Eulerian formulations of the problem, and its natural connection to Pontryagin's maximum principle. We also exhibit a purely dynamic situation, where the optimal stopping plan is a hitting time of a barrier given by the free boundary problem associated to the dual variational inequality. This problem was motivated by its stochastic counterpart, which will be studied in a companion paper.


title: Stellar ages and masses in the solar neighbourhood: Bayesian analysis using spectroscopy and Gaia DR1 parallaxes

abstract: We present a Bayesian implementation of isochrone fitting in deriving stellar ages and masses, incorporating absolute K magnitude ($\rm M_K$) derived from 2MASS photometry and Gaia DR1 parallax and differentiation between initial bulk metallicity and present day surface metallicity, with allowance for incorporating further constraints (e.g., asteroseismology) when available. As a test, we re-computed stellar ages and masses of $\sim 4000$ stars in the solar neighbourhood from six well-studied literature samples using both Hipparcos and TGAS parallaxes. Our ages are found to be compatible with literature values but with reduced uncertainties in general. The inclusion of parallax-based $\rm M_K$ serves as an additional constraint on the derived quantities, especially when systematic errors in stellar parameters are underestimated. We reconstructed the age-metallicity relationship in the solar neighbourhood by re-analysing the Geneva-Copenhagen Survey with the inclusion of TGAS-parallaxes and initial bulk metallicity sampling. We found a flat trend for disk stars with ages $<$11\,Gyr but with smaller scatter at all ages compared to literature.


title: Stable cosmological solutions in degenerate theory of gravity

abstract: We study cosmological applications of extended vector-tensor theories, whose Lagrangians contain up to two derivatives with respect to metric and vector field. We derive background equations under the assumption of homogeneous and isotropic universe and study the nature of cosmological perturbations on top of the background. We found an example of healthy cosmological solutions in non-trivial degenerate theory of gravity for the first time, where those perturbations do not suffer from any instabilities, that is, ghost and gradient instabilities.


title: Strong electron-phonon coupling and multiband effects in the superconducting $\beta$-phase Mo$_{1-x}$Re$_x$ alloys

abstract: Superconducting transition temperature $T_C$ of some of the cubic $\beta$-phase Mo$_{1-x}$Re$_x$ alloys with x > 0.10 is an order of magnitude higher than that in the elements Mo and Re. We investigate this rather enigmatic issue of the enhanced superconductivity with the help of experimental studies of the temperature dependent electrical resistivity ($\rho$(T)) and heat capacity (C$_P$(T)), as well as the theoretical estimation of electronic density of states (DOS) using band structure calculations. The $\rho$(T) in the normal state of the Mo$_{1-x}$Re$_x$ alloys with x > 0.15 is distinctly different from that of Mo and the alloys with x < 0.10. We have also observed that the Sommerfeld coefficient of electronic heat capacity $\gamma$, superconducting transition temperature $T_C$ and the DOS at the Fermi level show an abrupt change above x > 0.10. The analysis of these results indicates that the value of electron-phonon coupling constant {\lambda}ep required to explain the $T_C$ of the alloys with x > 0.10 is much higher than that estimated from $\gamma$. On the other hand the analysis of the results of the $\rho$(T) reveals the presence of phonon assisted inter-band s-d scattering in this composition range. We argue that a strong electron-phonon coupling arising due to the multiband effects is responsible for the enhanced $T_C$ in the $\beta$-phase Mo$_{1-x}$Re$_x$ alloys with x > 0.10.


title: Greedy Variance Estimation for the LASSO

abstract: Recent results have proven the minimax optimality of LASSO and related algorithms for noisy linear regression. However, these results tend to rely on variance estimators that are inefficient or optimizations that are slower than LASSO itself. We propose an efficient estimator for the noise variance in high dimensional linear regression that is faster than LASSO, only requiring $p$ matrix-vector multiplications. We prove this estimator is consistent with a good rate of convergence, under the condition that the design matrix satisfies the Restricted Isometry Property (RIP). In practice, our estimator scales incredibly well into high dimensions, is highly parallelizable, and only incurs a modest bias.


title: Meander diagrams of knots and spatial graphs: proofs of generalized Jablan--Radovi\'{c} conjectures

abstract: We study decomposition into simple arcs (i. e., arcs without self-intersections) for diagrams of knots and spatial graphs. In this paper, it is proved in particular that if no edge of a finite spatial graph $G$ is a knotted loop, then there exists a plane diagram $D$ of $G$ such that (i) each edge of $G$ is represented by a simple arc of $D$ and (ii) each vertex of $G$ is represented by a point on the boundary of the convex hull of $D$. This generalizes the conjecture of S. Jablan and L. Radovi\'{c} stating that each knot has a meander diagram, i. e., a diagram composed of two simple arcs whose common endpoints lie on the boundary of the convex hull of the diagram. Also, we prove another conjecture of Jablan and Radovi\'{c} stating that each 2-bridge knot has a semi-meander minimal diagram, i. e., a minimal diagram composed of two simple arcs.


title: Buildings, groups of Lie type, and random walks

abstract: In this paper we survey the theory of random walks on buildings and associated groups of Lie type and Kac-Moody groups. We begin with an introduction to the theory of Coxeter systems and buildings, taking a largely combinatorial perspective. We then survey the theory of random walks on buildings, and show how this theory leads to limit theorems for random walks on the associated groups.


title: Continuous Record Asymptotics for Change-Points Models

abstract: For a partial structural change in a linear regression model with a single break, we develop a continuous record asymptotic framework to build inference methods for the break date. We have T observations with a sampling frequency h over a fixed time horizon [0, N] , and let T with h 0 while keeping the time span N fixed. We impose very mild regularity conditions on an underlying continuous-time model assumed to generate the data. We consider the least-squares estimate of the break date and establish consistency and convergence rate. We provide a limit theory for shrinking magnitudes of shifts and locally increasing variances. The asymptotic distribution corresponds to the location of the extremum of a function of the quadratic variation of the regressors and of a Gaussian centered martingale process over a certain time interval. We can account for the asymmetric informational content provided by the pre- and post-break regimes and show how the location of the break and shift magnitude are key ingredients in shaping the distribution. We consider a feasible version based on plug-in estimates, which provides a very good approximation to the finite sample distribution. We use the concept of Highest Density Region to construct confidence sets. Overall, our method is reliable and delivers accurate coverage probabilities and relatively short average length of the confidence sets. Importantly, it does so irrespective of the size of the break.


title: Disks ARound TTauri Stars with Sphere (DARTTS-S) I: Sphere / IRDIS Polarimetric Imaging of 8 prominent TTauri Disks

abstract: We present the first part of our DARTTS-S (Disks ARound TTauri Stars with SPHERE) survey: Observations of 8 TTauri stars which were selected based on their strong (sub-)mm excesses using SPHERE / IRDIS polarimetric differential imaging (PDI) in the J and H bands. All observations successfully detect the disks, which appear vastly different in size, from $\approx$80 au in scattered light to $>$400 au, and display total polarized disk fluxes between 0.06% and 0.89% of the stellar flux. For five of these disks, we are able to determine the three-dimensional structure and the flaring of the disk surface, which appears to be relatively consistent across the different disks, with flaring exponents $\alpha$ between $\approx$1.1 and $\approx$1.6. We also confirm literature results w.r.t. the inclination and position angle of several of our disk, and are able to determine which side is the near side of the disk in most cases. While there is a clear trend of disk mass with stellar ages ($\approx$1 Myr to $>$10 Myr), no correlations of disk structures with age were found. There are also no correlations with either stellar mass or sub-mm flux. We do not detect significant differences between the J and H bands. However, we note that while a high fraction (7/8) of the disks in our sample show ring-shaped sub-structures, none of them display spirals, in contrast to the disks around more massive Herbig Ae/Be stars, where spiral features are common.


title: Tests for Forecast Instability and Forecast Failure under a Continuous Record Asymptotic Framework

abstract: We develop a novel continuous-time asymptotic framework for inference on whether the predictive ability of a given forecast model remains stable over time. We formally define forecast instability from the economic forecaster's perspective and highlight that the time duration of the instability bears no relationship with stable period. Our approach is applicable in forecasting environment involving low-frequency as well as high-frequency macroeconomic and financial variables. As the sampling interval between observations shrinks to zero the sequence of forecast losses is approximated by a continuous-time stochastic process (i.e., an Ito semimartingale) possessing certain pathwise properties. We build an hypotheses testing problem based on the local properties of the continuous-time limit counterpart of the sequence of losses. The null distribution follows an extreme value distribution. While controlling the statistical size well, our class of test statistics feature uniform power over the location of the forecast failure in the sample. The test statistics are designed to have power against general form of insatiability and are robust to common forms of non-stationarity such as heteroskedasticty and serial correlation. The gains in power are substantial relative to extant methods, especially when the instability is short-lasting and when occurs toward the tail of the sample.


title: Structural Risk Minimization for $C^{1,1}(\mathbb{R}^d)$ Regression

abstract: One means of fitting functions to high-dimensional data is by providing smoothness constraints. Recently, the following smooth function approximation problem was proposed: given a finite set $E \subset \mathbb{R}^d$ and a function $f: E \rightarrow \mathbb{R}$, interpolate the given information with a function $\widehat{f} \in \dot{C}^{1, 1}(\mathbb{R}^d)$ (the class of first-order differentiable functions with Lipschitz gradients) such that $\widehat{f}(a) = f(a)$ for all $a \in E$, and the value of $\mathrm{Lip}(\nabla \widehat{f})$ is minimal. An algorithm is provided that constructs such an approximating function $\widehat{f}$ and estimates the optimal Lipschitz constant $\mathrm{Lip}(\nabla \widehat{f})$ in the noiseless setting. We address statistical aspects of reconstructing the approximating function $\widehat{f}$ from a closely-related class $C^{1, 1}(\mathbb{R}^d)$ given samples from noisy data. We observe independent and identically distributed samples $y(a) = f(a) + \xi(a)$ for $a \in E$, where $\xi(a)$ is a noise term and the set $E \subset \mathbb{R}^d$ is fixed and known. We obtain uniform bounds relating the empirical risk and true risk over the class $\mathcal{F}_{\widetilde{M}} = \{f \in C^{1, 1}(\mathbb{R}^d) \mid \mathrm{Lip}(\nabla f) \leq \widetilde{M}\}$, where the quantity $\widetilde{M}$ grows with the number of samples at a rate governed by the metric entropy of the class $C^{1, 1}(\mathbb{R}^d)$. Finally, we provide an implementation using Vaidya's algorithm, supporting our results via numerical experiments on simulated data.


title: Stochastic conformal multi-symplectic method for damped stochastic nonlinear Schrodinger equation

abstract: In this paper, we propose a stochastic conformal multi-symplectic method for a class of damped stochastic Hamiltonian partial differential equations in order to inherit the intrinsic properties, and apply the numerical method to solve a kind of damped stochastic nonlinear Schrodinger equation with multiplicative noise. It is shown that the stochastic conformal multi-symplectic method preserves the discrete stochastic conformal multi-symplectic conservation law, the discrete charge exponential dissipation law almost surely, and we also deduce the recurrence relation of the discrete global energy. Numerical experiments are preformed to verify the good performance of the proposed stochastic conformal multi-symplectic method, compared with a Crank-Nicolson type method. Finally, we present the mean square convergence result of the proposed numerical method in temporal direction numerically.


title: A New Damper for Coupled-Bunch Instabilities caused by the accelerating mode at SuperKEKB

abstract: SuperKEKB is an asymmetric electron-positron circular collider based on nano-beam scheme at interaction region and large beam current. Large beam current makes growth rates of longitudinal coupled-bunch instabilities (LCBI) large. Especially some lowest modes near accelerating frequency are serious. On the design parameter for SuperKEKB, $\mu$ = -1, -2, -3 mode of LCBI can be destabilized. We developed new LCBI damper to suppress newly arisen LCBI modes ($\mu$ = -1, -2, -3) in SuperKEKB. The new damper will be installed in Low Level RF control system. The new LCBI damper is independent of main LLRF control components. In the test bench measurement, our new LCBI damper has good performance and satisfied required specifications. For preparation of using LCBI damper, we produced the simulation of beam oscillation damped by RF feedback. The results of this simulation shows that we need more dampers than them we prepared. We report profile of new damper and results of test bench measurement and feedback simulation in this paper.


title: On a pore-scale stationary diffusion equation: scaling effects and correctors for the homogenization limit

abstract: In this paper, we consider a microscopic semilinear elliptic equation posed in periodically perforated domains and associated with the Fourier-type condition on internal micro-surfaces. The first contribution of this work is the construction of a reliable linearization scheme that allows us, by a suitable choice of scaling arguments and stabilization constants, to prove the weak solvability of the microscopic model. Asymptotic behaviors of the microscopic solution with respect to the microscale parameter are thoroughly investigated in the second theme, based upon several cases of scaling. In particular, the variable scaling illuminates the trivial and non-trivial limits at the macroscale, confirmed by certain rates of convergence. Relying on classical results for homogenization of multiscale elliptic problems, we design a modified two-scale asymptotic expansion to derive the corresponding macroscopic equation, when the scaling choices are compatible. Moreover, we prove the high-order corrector estimates for the homogenization limit in the energy space $H^1$, using a large amount of energy-like estimates. A numerical example is provided to corroborate the asymptotic analysis.


title: An Empirical Analysis of Constrained Support Vector Quantile Regression for Nonparametric Probabilistic Forecasting of Wind Power

abstract: Uncertainty analysis in the form of probabilistic forecasting can provide significant improvements in decision-making processes in the smart power grid for better integrating renewable energies such as wind. Whereas point forecasting provides a single expected value, probabilistic forecasts provide more information in the form of quantiles, prediction intervals, or full predictive densities. This paper analyzes the effectiveness of an approach for nonparametric probabilistic forecasting of wind power that combines support vector machines and nonlinear quantile regression with non-crossing constraints. A numerical case study is conducted using publicly available wind data from the Global Energy Forecasting Competition 2014. Multiple quantiles are estimated to form 20%, 40%, 60% and 80% prediction intervals which are evaluated using the pinball loss function and reliability measures. Three benchmark models are used for comparison where results demonstrate the proposed approach leads to significantly better performance while preventing the problem of overlapping quantile estimates.


title: Weakening the Detecting Capability of CNN-based Steganalysis

abstract: Recently, the application of deep learning in steganalysis has drawn many researchers' attention. Most of the proposed steganalytic deep learning models are derived from neural networks applied in computer vision. These kinds of neural networks have distinguished performance. However, all these kinds of back-propagation based neural networks may be cheated by forging input named the adversarial example. In this paper we propose a method to generate steganographic adversarial example in order to enhance the steganographic security of existing algorithms. These adversarial examples can increase the detection error of steganalytic CNN. The experiments prove the effectiveness of the proposed method.


title: Search for dark matter decay of the free neutron from the UCNA experiment: n $\rightarrow \chi + e^+e^-$

abstract: It has been proposed recently that a previously unobserved neutron decay branch to a dark matter particle ($\chi$) could account for the discrepancy in the neutron lifetime observed in experiments that use two different measurement techniques. One of the possible final states discussed includes a single $\chi$ along with an $e^{+}e^{-}$ pair. We use data from the UCNA (Ultracold Neutron Asymmetry) experiment to set limits on this decay channel. Coincident electron-like events are detected with $\sim 4\pi$ acceptance using a pair of detectors that observe a volume of stored Ultracold Neutrons (UCNs). The summed kinetic energy ($E_{e^{+}e^{-}}$) from such events is used to set limits, as a function of the $\chi$ mass, on the branching fraction for this decay channel. For $\chi$ masses consistent with resolving the neutron lifetime discrepancy, we exclude this as the dominant dark matter decay channel at $\gg~5\sigma$ level for $100~\text{keV} < E_{e^{+}e^{-}} < 644~\text{keV}$. If the $\chi+e^{+}e^{-}$ final state is not the only one, we set limits on its branching fraction of $< 10^{-4}$ for the above $E_{e^{+}e^{-}}$ range at $> 90\%$ confidence level.


title: Effective Capacity Analysis in Ultra-Dense Wireless Networks with Random Interference

abstract: Ultra-dense networks (UDNs) provide a promising paradigm to cope with exponentially increasing mobile traffic. However, little work has to date considered unsaturated traffic with quality-of-service (QoS) requirements. This paper presents a new cross-layer analytical model to capture the unsaturated traffic of a UDN in the presence of QoS requirements. The effective capacity (EC) of the UDN is derived, taking into account small-scale channel fading and possible interference. Key properties of the EC are revealed. The amount of traffic impacts effective capacity of the UDN due to the sophisticated interactions among small base stations operating in the same frequency. The maximization of total effective capacity is formulated as a non-cooperative game in the paper. The best-response function is derived, iteratively searching the Nash equilibrium point. System simulation results indicate that our proposed model is accurate. The simulations also show the maximum allowed arrival rate with the QoS guarantee, compared with the full interference model.


title: Social GAN: Socially Acceptable Trajectories with Generative Adversarial Networks

abstract: Understanding human motion behavior is critical for autonomous moving platforms (like self-driving cars and social robots) if they are to navigate human-centric environments. This is challenging because human motion is inherently multimodal: given a history of human motion paths, there are many socially plausible ways that people could move in the future. We tackle this problem by combining tools from sequence prediction and generative adversarial networks: a recurrent sequence-to-sequence model observes motion histories and predicts future behavior, using a novel pooling mechanism to aggregate information across people. We predict socially plausible futures by training adversarially against a recurrent discriminator, and encourage diverse predictions with a novel variety loss. Through experiments on several datasets we demonstrate that our approach outperforms prior work in terms of accuracy, variety, collision avoidance, and computational complexity.


title: A relaxed approach for curve matching with elastic metrics

abstract: In this paper we study a class of Riemannian metrics on the space of unparametrized curves and develop a method to compute geodesics with given boundary conditions. It extends previous works on this topic in several important ways. The model and resulting matching algorithm integrate within one common setting both the family of $H^2$-metrics with constant coefficients and scale-invariant $H^2$-metrics on both open and closed immersed curves. These families include as particular cases the class of first-order elastic metrics. An essential difference with prior approaches is the way that boundary constraints are dealt with. By leveraging varifold-based similarity metrics we propose a relaxed variational formulation for the matching problem that avoids the necessity of optimizing over the reparametrization group. Furthermore, we show that we can also quotient out finite-dimensional similarity groups such as translation, rotation and scaling groups. The different properties and advantages are illustrated through numerical examples in which we also provide a comparison with related diffeomorphic methods used in shape registration.


title: Simplifying transforms for general elastic metrics on the space of plane curves

abstract: In the shape analysis approach to computer vision problems, one treats shapes as points in an infinite-dimensional Riemannian manifold, thereby facilitating algorithms for statistical calculations such as geodesic distance between shapes and averaging of a collection of shapes. The performance of these algorithms depends heavily on the choice of the Riemannian metric. In the setting of plane curve shapes, attention has largely been focused on a two-parameter family of first order Sobolev metrics, referred to as elastic metrics. They are particularly useful due to the existence of simplifying coordinate transformations for particular parameter values, such as the well-known square-root velocity transform. In this paper, we extend the transformations appearing in the existing literature to a family of isometries, which take any elastic metric to the flat $L^2$ metric. We also extend the transforms to treat piecewise linear curves and demonstrate the existence of optimal matchings over the diffeomorphism group in this setting. We conclude the paper with multiple examples of shape geodesics for open and closed curves. We also show the benefits of our approach in a simple classification experiment.


title: Profile Shape Parameterization of JET Electron Temperature and Density Profiles

abstract: The temperature and density profiles of the Joint European Torus are parameterized using log-additive models in the control variables. Predictive error criteria are used to determine which terms in the log-linear model to include. The density and temperature profiles are normalised to their line averages ($\bar{n}$ and $\bar{T}$). The normalised Ohmic density shape depends primarily on the parameter $\bar{n}/B_t$, where $B_t$ is the toroidal magnetic field. Both the Low-mode (L-mode) and edge localized mode-free (ELM-free) high mode (H-mode) temperature profile shapes depend strongly on the type of heating power, with ion cyclotron resonant heating producing a more peaked profile than neutral beam injection. Given the heating type dependence, the L-mode temperature shape is nearly independent of the other control variables. The H-mode temperature shape broadens as the effective charge, $Z_{eff}$, increases. The line average L-mode temperature scales as $B_t^{.96}$(Power per particle)$^{.385}$. The L-mode normalized density shape depends primarily on the ratio of line average density, $\bar{n}$, to the edge safety factor, $q_{95}$. As $\bar{n}/q_{95}$ increases, the profile shape broadens. The current, $I_p$, is the most important control variable for the normalized H-mode density. As the current increases, the profile broadens and the gradient at the edge sharpens. Increasing the heating power, especially the ion cyclotron resonant heating, or decreasing the average density, peaks the H-mode density profile slightly.


title: Deep Texture Manifold for Ground Terrain Recognition

abstract: We present a texture network called Deep Encoding Pooling Network (DEP) for the task of ground terrain recognition. Recognition of ground terrain is an important task in establishing robot or vehicular control parameters, as well as for localization within an outdoor environment. The architecture of DEP integrates orderless texture details and local spatial information and the performance of DEP surpasses state-of-the-art methods for this task. The GTOS database (comprised of over 30,000 images of 40 classes of ground terrain in outdoor scenes) enables supervised recognition. For evaluation under realistic conditions, we use test images that are not from the existing GTOS dataset, but are instead from hand-held mobile phone videos of similar terrain. This new evaluation dataset, GTOS-mobile, consists of 81 videos of 31 classes of ground terrain such as grass, gravel, asphalt and sand. The resultant network shows excellent performance not only for GTOS-mobile, but also for more general databases (MINC and DTD). Leveraging the discriminant features learned from this network, we build a new texture manifold called DEP-manifold. We learn a parametric distribution in feature space in a fully supervised manner, which gives the distance relationship among classes and provides a means to implicitly represent ambiguous class boundaries. The source code and database are publicly available.


title: K-theory and topological cyclic homology of henselian pairs

abstract: Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$-theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K \to \mathrm{TC}$. This yields a generalization of the classical Gabber-Gillet-Thomason-Suslin rigidity theorem (for mod $n$ coefficients, with $n$ invertible in $R$) and McCarthy's theorem on relative $K$-theory (when $I$ is nilpotent). We deduce that the cyclotomic trace is an equivalence in large degrees between $p$-adic $K$-theory and topological cyclic homology for a large class of $p$-adic rings. In addition, we show that $K$-theory with finite coefficients satisfies continuity for complete noetherian rings which are $F$-finite modulo $p$. Our main new ingredient is a basic finiteness property of $\mathrm{TC}$ with finite coefficients.


title: An Inexact Primal-Dual Algorithm for Semi-Infinite Programming

abstract: This paper considers an inexact primal-dual algorithm for semi-infinite programming (SIP) for which it provides general error bounds. To implement the dual variable update, we create a new prox function for nonnegative measures which turns out to be a generalization of the Kullback-Leibler divergence for probability distributions. We show that under suitable conditions on the error, this algorithm achieves an $\mathcal{O}(1/\sqrt{K})$ rate of convergence in terms of the optimality gap and constraint violation. We then use our general error bounds to analyze the convergence and sample complexity of a specific primal-dual SIP algorithm based on Monte Carlo integration. Finally, we provide numerical experiments to demonstrate the performance of our algorithm.


title: On Gonality, Scrolls, and Canonical Models of Non-Gorenstein Curves

abstract: Let $C$ be an integral and projective curve; and let $C'$ be its canonical model. We study the relation between the gonality of $C$ and the dimension of a rational normal scroll $S$ where $C'$ can lie on. We are mainly interested in the case where $C$ is singular, or even non-Gorenstein, in which case $C'\not\cong C$. We first analyze some properties of an inclusion $C'\subset S$ when it is induced by a pencil on $C$. Afterwards, in an opposite direction, we assume $C'$ lies on a certain scroll, and check some properties $C$ may satisfy, such as gonality and the kind of its singularities. At the end, we prove that a rational monomial curve $C$ has gonality $d$ if and only if $C'$ lies on a $(d-1)$-fold scroll.


title: Metallicity and distance of NGC 6362 from its RR Lyrae and SX Phoenicis stars

abstract: New time-series VI CCD photometry of the globular cluster NGC 6362 is studied with the aim of estimating the reddening, mean metallicity and distance of the cluster from its population of RR Lyrae stars. The Fourier decomposition of carefully selected single-mode RR Lyrae light curves, and the use of well-established semi-empirical calibrations and revised zero points, lead to the values of [Fe/H]UVES =1:066 +// 0:126 and -1:08 +/- 0:16 and the distance 7:93 +/- 0:32 and 8:02 +/- 0:15 kpc from the RRab and RRc stars respectively. The distribution of RR Lyrae stars in the horizontal branch shows a neat segregation of pulsating modes about the red edge of the first overtone instability strip, which is not necessarily expected in an OoI type cluster like NGC 6362. Four RRab stars are found likely advanced in their evolution towards the AGB. One new foreground SX Phe star, some 4 kpc in front of the cluster and projected onto the field of our images is reported. We comment on the heavy light contamination, by a very close neighbouring star, of the peculiar double-mode V37 variable, recently postulated as a non-typical RRc variable.


title: Statistical Validity and Consistency of Big Data Analytics: A General Framework

abstract: Informatics and technological advancements have triggered generation of huge volume of data with varied complexity in its management and analysis. Big Data analytics is the practice of revealing hidden aspects of such data and making inferences from it. Although storage, retrieval and management of Big Data seem possible through efficient algorithm and system development, concern about statistical consistency remains to be addressed in view of its specific characteristics. Since Big Data does not conform to standard analytics, we need proper modification of the existing statistical theory and tools. Here we propose, with illustrations, a general statistical framework and an algorithmic principle for Big Data analytics that ensure statistical accuracy of the conclusions. The proposed framework has the potential to push forward advancement of Big Data analytics in the right direction. The partition-repetition approach proposed here is broad enough to encompass all practical data analytic problems.


title: Transport-domain applications of widely used data sources in the smart transportation: A survey

abstract: The rapid growth of population and the permanent increase in the number of vehicles engender several issues in transportation systems, which in turn call for an intelligent and cost-effective approach to resolve the problems in an efficient manner. Smart transportation is a framework that leverages the power of Information and Communication Technology for acquisition, management, and mining of traffic-related data sources, which, in this study, are categorized into: 1) traffic flow sensors, 2) video image processors, 3) probe people and vehicles based on Global Positioning Systems (GPS), mobile phone cellular networks, and Bluetooth, 4) location-based social networks, 5) transit data with the focus on smart cards, and 6) environmental data. For each data source, first, the operational mechanism of the technology for capturing the data is succinctly demonstrated. Secondly, as the most salient feature of this study, the transport-domain applications of each data source that have been conducted by the previous studies are reviewed and classified into the main groups. Thirdly, a number of possible future research directions are provided for all types of data sources. Moreover, in order to alleviate the shortcomings pertaining to each single data source and acquire a better understanding of mobility behavior in transportation systems, the data fusion architectures are introduced to fuse the knowledge learned from a set of heterogeneous but complementary data sources. Finally, we briefly mention the current challenges and their corresponding solutions in the smart transportation.


title: On the mean convexity of a space-and-time neighborhood of generic singularities formed by mean curvature flow

abstract: We consider one of the generic regimes of formation of singularities. We obtain a detailed description of a possibly small, but fixed, neighborhood of the blowup point, up to (and including) the blowup time, and find that it is mean convex. This confirms a conjecture by Ilmanen. And we find that the singularity is isolated from the other ones.


title: Spectral Sets: Numerical Range and Beyond

abstract: We extend the proof in [M.~Crouzeix and C.~Palencia, {\em The numerical range is a $(1 + \sqrt{2})$-spectral set}, SIAM Jour.~Matrix Anal.~Appl., 38 (2017), pp.~649-655] to show that other regions in the complex plane are $K$-spectral sets. In particular, we show that various annular regions are $(1 + \sqrt{2} )$-spectral sets and that a more general convex region with a circular hole or cutout is a $(3 + 2 \sqrt{3} )$-spectral set. We demonstrate how these results can be used to give bounds on the convergence rate of the GMRES algorithm for solving linear systems and on that of rational Krylov subspace methods for approximating $f(A)b$, where $A$ is a square matrix, $b$ is a given vector, and $f$ is a function that can be uniformly approximated on such a region by rational functions with poles outside the region.


title: Deflection of light and time delay in closed Einstein-Straus solution

abstract: We investigate strong lensing by a spherically symmetric mass distribution in the framework of the Einstein-Straus solution with positive cosmological constant and concentrate on the case of a spatially closed Universe ($k=+1$). We develop a method based on integration of differential equations in order to make possible the computation of light deflection and time delay. By applying our results to the lensed quasar SDSS J1004+4112, we find that the bending of light and time delay depend on wether the present value of the scale factor $a_0$ is or is not much smaller than a value close to $9.1 \cdot 10^{26} \mbox{m}$. Beyond this value, the results are almost the same as for the spatially flat Universe. Moreover, it turns out that a positive cosmological constant attenuates the light bending in agreament with Rindler and Ishak's finding.


title: Motion-Appearance Co-Memory Networks for Video Question Answering

abstract: Video Question Answering (QA) is an important task in understanding video temporal structure. We observe that there are three unique attributes of video QA compared with image QA: (1) it deals with long sequences of images containing richer information not only in quantity but also in variety; (2) motion and appearance information are usually correlated with each other and able to provide useful attention cues to the other; (3) different questions require different number of frames to infer the answer. Based these observations, we propose a motion-appearance comemory network for video QA. Our networks are built on concepts from Dynamic Memory Network (DMN) and introduces new mechanisms for video QA. Specifically, there are three salient aspects: (1) a co-memory attention mechanism that utilizes cues from both motion and appearance to generate attention; (2) a temporal conv-deconv network to generate multi-level contextual facts; (3) a dynamic fact ensemble method to construct temporal representation dynamically for different questions. We evaluate our method on TGIF-QA dataset, and the results outperform state-of-the-art significantly on all four tasks of TGIF-QA.


title: Transition Matrix Cluster Algorithms

abstract: We demonstrate that a series of procedures for increasing the efficiency of transition matrix calculations can be realized by integrating the standard single-spin flip transition matrix method with global cluster flipping techniques. Our calculations employ a simple and accurate method based on detailed balance for computing the density of states from the Ising model transition matrix.


title: Matrix Product Operators for Sequence to Sequence Learning

abstract: The method of choice to study one-dimensional strongly interacting many body quantum systems is based on matrix product states and operators. Such method allows to explore the most relevant, and numerically manageable, portion of an exponentially large space. It also allows to describe accurately correlations between distant parts of a system, an important ingredient to account for the context in machine learning tasks. Here we introduce a machine learning model in which matrix product operators are trained to implement sequence to sequence prediction, i.e. given a sequence at a time step, it allows one to predict the next sequence. We then apply our algorithm to cellular automata (for which we show exact analytical solutions in terms of matrix product operators), and to nonlinear coupled maps. We show advantages of the proposed algorithm when compared to conditional random fields and bidirectional long short-term memory neural network. To highlight the flexibility of the algorithm, we also show that it can readily perform classification tasks.


title: The Gerstenhaber structure on the Hochschild cohomology of a class of special biserial algebras

abstract: We determine the Gerstenhaber structure on the Hochschild cohomology ring of a class of self-injective special biserial algebras. Each of these algebras is presented as a quotient of the path algebra of a certain quiver. In degree one, we show that the cohomology is isomorphic, as a Lie algebra, to a direct sum of copies of a subquotient of the Virasoro algebra. These copies share Virasoro degree 0 and commute otherwise. Finally, we describe the cohomology in degree $n$ as a module over this Lie algebra by providing its decomposition as a direct sum of indecomposable modules.


title: Deep Unsupervised Saliency Detection: A Multiple Noisy Labeling Perspective

abstract: The success of current deep saliency detection methods heavily depends on the availability of large-scale supervision in the form of per-pixel labeling. Such supervision, while labor-intensive and not always possible, tends to hinder the generalization ability of the learned models. By contrast, traditional handcrafted features based unsupervised saliency detection methods, even though have been surpassed by the deep supervised methods, are generally dataset-independent and could be applied in the wild. This raises a natural question that "Is it possible to learn saliency maps without using labeled data while improving the generalization ability?". To this end, we present a novel perspective to unsupervised saliency detection through learning from multiple noisy labeling generated by "weak" and "noisy" unsupervised handcrafted saliency methods. Our end-to-end deep learning framework for unsupervised saliency detection consists of a latent saliency prediction module and a noise modeling module that work collaboratively and are optimized jointly. Explicit noise modeling enables us to deal with noisy saliency maps in a probabilistic way. Extensive experimental results on various benchmarking datasets show that our model not only outperforms all the unsupervised saliency methods with a large margin but also achieves comparable performance with the recent state-of-the-art supervised deep saliency methods.


title: Pulsation Theory Models for Cepheids in Eclipsing Binary Systems

abstract: Physical parameters were recently measured for several Cepheids in eclipsing binary systems in the LMC. It is a good opportunity to compare these results with models obtained from pulsation theory. Having well determined physical parameters of the stars, we can calculate the corresponding pulsation periods for a given mode and check for instability. For stars that lack data, unknown or poorly defined parameters can be further constrained. We present the comparison for six Cepheids, showing that, in general, the results are in very good agreement.


title: Bulk and surface states carried supercurrent in ballistic Nb-Dirac semimetal Cd3As2 nanowire-Nb junctions

abstract: A three-dimensional Dirac semimetal has bulk Dirac cones in all three momentum directions and Fermi arc-like surface states, and can be converted into a Weyl semimetal by breaking time-reversal symmetry. However, the highly conductive bulk state usually hides the electronic transport from the surface state in Dirac semimetal. Here, we demonstrate the supercurrent carried by bulk and surface states in Nb-Cd3As2 nanowire-Nb short and long junctions, respectively. For the 1 micrometer long junction, the Fabry-Perot interferences induced oscillations of the critical supercurrent are observed, suggesting the ballistic transport of the surface states carried supercurrent, where the bulk states are decoherent and the topologically protected surface states still keep coherent. Moreover, a superconducting dome is observed in the long junction, which is attributed to the enhanced dephasing from the interaction between surface and bulk states as tuning gate voltage to increase the carrier density. The superconductivity of topological semimetal nanowire is promising for braiding of Majorana fermions toward topological quantum computing.


title: Experimentally observed evolution between dynamic patterns and intrinsic localized modes in a driven nonlinear electrical cyclic lattice

abstract: Locked intrinsic localized modes (ILMs) and large amplitude lattice spatial modes (LSMs) have been experimentally measured for a driven 1-D nonlinear cyclic electric transmission line, where the nonlinear element is a saturable capacitor. Depending on the number of cells and electrical lattice damping a LSM of fixed shape can be tuned across the modal spectrum. Interestingly, by tuning the driver frequency away from this spectrum an LSM can be continuously converted into ILMs and visa versa. The differences in pattern formation between simulations and experimental findings are due to a low concentration of impurities. Through this novel nonlinear excitation and switching channel in cyclic lattices either energy balanced or unbalanced LSMs and ILMs may occur. Because of the general nature of these dynamical results for nonintegrable lattices applications are to be expected. The ultimate stability of driven aero machinery containing nonlinear periodic structures may be one example.


title: Adversarial Binary Coding for Efficient Person Re-identification

abstract: Person re-identification (ReID) aims at matching persons across different views/scenes. In addition to accuracy, the matching efficiency has received more and more attention because of demanding applications using large-scale data. Several binary coding based methods have been proposed for efficient ReID, which either learn projections to map high-dimensional features to compact binary codes, or directly adopt deep neural networks by simply inserting an additional fully-connected layer with tanh-like activations. However, the former approach requires time-consuming hand-crafted feature extraction and complicated (discrete) optimizations; the latter lacks the necessary discriminative information greatly due to the straightforward activation functions. In this paper, we propose a simple yet effective framework for efficient ReID inspired by the recent advances in adversarial learning. Specifically, instead of learning explicit projections or adding fully-connected mapping layers, the proposed Adversarial Binary Coding (ABC) framework guides the extraction of binary codes implicitly and effectively. The discriminability of the extracted codes is further enhanced by equipping the ABC with a deep triplet network for the ReID task. More importantly, the ABC and triplet network are simultaneously optimized in an end-to-end manner. Extensive experiments on three large-scale ReID benchmarks demonstrate the superiority of our approach over the state-of-the-art methods.


title: Modeling the spatio-temporal dynamics of land use change with recurrent neural networks

abstract: This study applies recurrent neural networks (RNNs), which are known for its ability to process sequential information, to model the spatio-temporal dynamics of land use change (LUC) and to forecast annual land use maps of the city of Tsukuba, Japan. We develop two categories of RNN models: 1) simple RNN, which is the basic RNN variant, 2) three RNN variants with advanced gated architecture: long short-term memory (LSTM), LSTM with peephole connection (LSTM-peephole), and gated recurrent unit (GRU) models. The four models are developed using spatio-temporal data with high temporal resolution, annual data for the periods 2000 to 2010, 2011 and 2012 to 2016 are used for training, validation and testing, respectively. The predictive performances are evaluated using classification metrics (accuracy and F1 score) and the map comparison metrics (Kappa simulation and fuzzy Kappa simulation). The results show that all RNN models achieve F1 scores higher than 0.55, and Kappa simulations higher than 0.47. Out of the four RNN models, LSTM and LSTM-peephole models significantly outperform the other two RNN models. Furthermore, LSTM-peephole model slightly outperforms the LSTM model. In addition, the results indicate that the RNN models with gated architecture, which have better ability to model longer temporal dependency, significantly outperform the simple RNN model. Moreover, the predictive performance of LSTM-peephole model gradually decreases with the decrease of temporal sequential length of the training set. These results demonstrate the benefit of taking temporal dependency into account to model the LUC process with RNNs.


title: Attention-based End-to-End Models for Small-Footprint Keyword Spotting

abstract: In this paper, we propose an attention-based end-to-end neural approach for small-footprint keyword spotting (KWS), which aims to simplify the pipelines of building a production-quality KWS system. Our model consists of an encoder and an attention mechanism. The encoder transforms the input signal into a high level representation using RNNs. Then the attention mechanism weights the encoder features and generates a fixed-length vector. Finally, by linear transformation and softmax function, the vector becomes a score used for keyword detection. We also evaluate the performance of different encoder architectures, including LSTM, GRU and CRNN. Experiments on real-world wake-up data show that our approach outperforms the recent Deep KWS approach by a large margin and the best performance is achieved by CRNN. To be more specific, with ~84K parameters, our attention-based model achieves 1.02% false rejection rate (FRR) at 1.0 false alarm (FA) per hour.


title: Nonradiating sources and transmission eigenfunctions vanish at corners and edges

abstract: We consider the inverse source problem of a fixed wavenumber: study properties of an acoustic source based on a single far- or near-field measurement. We show that nonradiating sources having a convex or non-convex corner or edge on their boundary must vanish there. The same holds true for smooth enough transmission eigenfunctions. The proof is based on an energy identity from the enclosure method and the construction of a new type of planar complex geometrical optics solution whose logarithm is a branch of the square root. The latter allows us to deal with non-convex corners and edges.


title: A simplified presentation of Specht modules

abstract: Fulton and Kraskiewicz gave a presentation of Specht modules as a quotient of the space of column tabloids by dual Garnir relations. We simplify this presentation by showing that it can be generated by a single relation for each pair of columns of a tableau with ordered columns, thereby significantly reducing the number of generators given in the original construction. Our presentation applies to all Specht modules, and is of a similar nature to a recent result by Friedmann-Hanlon-Stanley-Wachs that applies to staircase partitions. We show that our presentation implies the Friedmann-Hanlon-Stanley-Wachs presentation.


title: Designing hybrid graphene oxide- gold nanoparticles for nonlinear optical response: Experiment and theory

abstract: Nonlinear optical absorption of light by materials are weak due to its perturbative nature, although a strong nonlinear response is of crucial importance to applications in optical limiting and switching. Here we demonstrate experimentally and theoretically an extremely efficient scheme of excited state absorption by charge transfer between donor and acceptor materials as the new method to enhance the nonlinear absorption by orders of magnitude. With this idea, we have demonstrated strong excited state absorption (ESA) in reduced graphene oxide that otherwise shows increased transparency at high fluence and enhancement of ESA by one orders of magnitude in graphene oxide by attaching gold nanoparticles (AuNP) in the tandem configuration that acts as an efficient charge transfer pair when excited at the plasmonic wavelength. To explain the unprecedented enhancement, we have developed a five-level rate equation model based on the charge transfer between the two materials and numerically simulated the results. To understand the correlation of interfacial charge-transfer with the concentration and type of the functional ligands attached to the graphene oxide sheet, we have investigated the AuNP-graphene oxide interface with various possible ligand configurations from first-principles calculations. By using the strong ESA of our hybrid materials, we have fabricated liquid cell-based high-performance optical limiters with important device parameters better than that of the benchmark optical limiters.


title: Lattice Walk Enumeration

abstract: Trying to enumerate all of the walks in a 2D lattice is a fun combinatorial problem and there are numerous applications, from polymers to sports. Computers provide a wonderful tool for analyzing these walks; we provide a Maple package for automatically describing generating functions of walks restricted to any step set in a 2D lattice. We always obtain a closed system of relations for generating functions of walks that are bounded, semi-bounded, or unbounded. For bounded walks, this leads to explicit rational solutions! For semi-bounded or unbounded walks, we may get lucky and obtain algebraic solutions; if not, we still have a short self-referential description of the generating function.


title: The linear theory of tidally excited spiral density waves: application to CV and circumplanetary disks

abstract: We revisit linear tidal excitation of spiral density waves in the disks of cataclysmic variables (CVs), focusing on scalings with orbital Mach number in order to bridge the gap between numerical simulations and real systems. If an inner Lindblad resonance (ILR) lies within the disk, ingoing waves are robustly excited, and the angular-momentum flux they carry is independent of Mach number. But in most CVs, the ILR lies outside the disk. The wave flux and its scaling with Mach number are then very sensitive to conditions near the disk edge. If the temperature and sound speed vanish there, excitation tends to be exponentially suppressed. If the Mach number remains finite in the outer parts but the radial and vertical density scale lengths become comparable due to subkeplerian rotation, resonance can occur with acoustic-cutoff and stratification frequencies. These previously neglected resonances excite waves, but the Mach-number scaling remains very steep if the radial scale length decreases gradually. The scaling can be less strong - algebraic rather than exponential - if there are sharp changes in surface density at finite sound speed. Shocks excited by streamline-crossing or by the impact of the stream from the companion are unlikely to be important for the angular-momentum budget, at least in quiescence. Our results may also apply to circumplanetary disks, where Mach numbers are likely lower than in CVs.


title: Image reconstruction in fluorescence molecular tomography with sparsity-initialized maximum-likelihood expectation maximization

abstract: We present a reconstruction method involving maximum-likelihood expectation maximization (MLEM) to model Poisson noise as applied to fluorescence molecular tomography (FMT). MLEM is initialized with the output from a sparse reconstruction-based approach, which performs truncated singular value decomposition-based preconditioning followed by fast iterative shrinkage-thresholding algorithm (FISTA) to enforce sparsity. The motivation for this approach is that sparsity information could be accounted for within the initialization, while MLEM would accurately model Poisson noise in the FMT system. Simulation experiments show the proposed method significantly improves images qualitatively and quantitatively. The method results in over 20 times faster convergence compared to uniformly initialized MLEM and improves robustness to noise compared to pure sparse reconstruction. We also theoretically justify the ability of the proposed approach to reduce noise in the background region compared to pure sparse reconstruction. Overall, these results provide strong evidence to model Poisson noise in FMT reconstruction and for application of the proposed reconstruction framework to FMT imaging.


title: Polynomial-Time Algorithms for Submodular Laplacian Systems

abstract: Let $G=(V,E)$ be an undirected graph, $L_G\in \mathbb{R}^{V \times V}$ be the associated Laplacian matrix, and $b \in \mathbb{R}^V$ be a vector. Solving the Laplacian system $L_G x = b$ has numerous applications in theoretical computer science, machine learning, and network analysis. Recently, the notion of the Laplacian operator $L_F:\mathbb{R}^V \to 2^{\mathbb{R}^V}$ for a submodular transformation $F:2^V \to \mathbb{R}_+^E$ was introduced, which can handle undirected graphs, directed graphs, hypergraphs, and joint distributions in a unified manner. In this study, we show that the submodular Laplacian system $L_F( x) \ni b$ can be solved in polynomial time. Furthermore, we also prove that even when the submodular Laplacian system has no solution, we can solve its regression form in polynomial time. Finally, we discuss potential applications of submodular Laplacian systems in machine learning and network analysis.


title: Cracking the cocktail party problem by multi-beam deep attractor network

abstract: While recent progresses in neural network approaches to single-channel speech separation, or more generally the cocktail party problem, achieved significant improvement, their performance for complex mixtures is still not satisfactory. In this work, we propose a novel multi-channel framework for multi-talker separation. In the proposed model, an input multi-channel mixture signal is firstly converted to a set of beamformed signals using fixed beam patterns. For this beamforming, we propose to use differential beamformers as they are more suitable for speech separation. Then each beamformed signal is fed into a single-channel anchored deep attractor network to generate separated signals. And the final separation is acquired by post selecting the separating output for each beams. To evaluate the proposed system, we create a challenging dataset comprising mixtures of 2, 3 or 4 speakers. Our results show that the proposed system largely improves the state of the art in speech separation, achieving 11.5 dB, 11.76 dB and 11.02 dB average signal-to-distortion ratio improvement for 4, 3 and 2 overlapped speaker mixtures, which is comparable to the performance of a minimum variance distortionless response beamformer that uses oracle location, source, and noise information. We also run speech recognition with a clean trained acoustic model on the separated speech, achieving relative word error rate (WER) reduction of 45.76\%, 59.40\% and 62.80\% on fully overlapped speech of 4, 3 and 2 speakers, respectively. With a far talk acoustic model, the WER is further reduced.


title: Giant resonant nonlinear damping in nanoscale ferromagnets

abstract: Magnetic damping is a key metric for emerging technologies based on magnetic nanoparticles, such as spin torque memory and high-resolution biomagnetic imaging. Despite its importance, understanding of magnetic dissipation in nanoscale ferromagnets remains elusive, and the damping is often treated as a phenomenological constant. Here we report the discovery of a giant frequency-dependent nonlinear damping that strongly alters the response of a nanoscale ferromagnet to spin torque and microwave magnetic field. This novel damping mechanism originates from three-magnon scattering that is strongly enhanced by geometric confinement of magnons in the nanomagnet. We show that the giant nonlinear damping can invert the effect of spin torque on a nanomagnet leading to a surprising current-induced enhancement of damping by an antidamping torque. Our work advances understanding of magnetic dynamics in nanoscale ferromagnets and spin torque devices.


title: Shock acceleration of electrons and synchrotron emission from the dynamical ejecta of neutron star mergers

abstract: Neutron star mergers (NSMs) eject energetic sub-relativistic dynamical ejecta into the circumbinary media. As analogous to supernovae and supernova remnants, the NSM dynamical ejecta are expected to produce non-thermal emission by electrons accelerated at a shock wave. In this paper, we present expected radio and X-ray signals by this mechanism, taking into account non-linear diffusive shock acceleration (DSA) and magnetic field amplification. We suggest that the NSM has a unique nature as a DSA site, where the seed relativistic electrons are abundantly provided by the decays of r-process elements. The signal is predicted to peak at a few 100 - 1,000 days after the merger, determined by the balance between the decrease of the number of seed electrons and the increase of the dissipated kinetic energy due to the shock expansion. While the resulting flux can ideally reach to the maximum flux expected from near-equipartition, the available kinetic energy dissipation rate of the NSM ejecta limits the detectability of such a signal. It is likely that the radio and X-ray emission are overwhelmed by other mechanisms (e.g., an off-axis jet) for an observer placed to a jet direction (i.e., for GW170817). On the other hand, for an off-axis observer, to be discovered once a number of NSMs are identified, the dynamical ejecta component is predicted to dominate the non-thermal emission. While the detection of this signal is challenging even with near-future facilities, this potentially provides a robust probe of the creation of r-process elements in NSMs.


title: An LP-based hyperparameter optimization model for language modeling

abstract: In order to find hyperparameters for a machine learning model, algorithms such as grid search or random search are used over the space of possible values of the models hyperparameters. These search algorithms opt the solution that minimizes a specific cost function. In language models, perplexity is one of the most popular cost functions. In this study, we propose a fractional nonlinear programming model that finds the optimal perplexity value. The special structure of the model allows us to approximate it by a linear programming model that can be solved using the well-known simplex algorithm. To the best of our knowledge, this is the first attempt to use optimization techniques to find perplexity values in the language modeling literature. We apply our model to find hyperparameters of a language model and compare it to the grid search algorithm. Furthermore, we illustrating that it results in lower perplexity values. We perform this experiment on a real-world dataset from SwiftKey to validate our proposed approach.


title: Design of First-Order Optimization Algorithms via Sum-of-Squares Programming

abstract: In this paper, we propose a framework based on sum-of-squares programming to design iterative first-order optimization algorithms for smooth and strongly convex problems. Our starting point is to develop a polynomial matrix inequality as a sufficient condition for exponential convergence of the algorithm. The entries of this matrix are polynomial functions of the unknown parameters (exponential decay rate, stepsize, momentum coefficient, etc.). We then formulate a polynomial optimization, in which the objective is to optimize the exponential decay rate over the parameters of the algorithm. Finally, we use sum-of-squares programming as a tractable relaxation of the proposed polynomial optimization problem. We illustrate the utility of the proposed framework by designing a first-order algorithm that shares the same structure as Nesterov's accelerated gradient method.


title: Translational and rotational dynamical heterogeneities in granular systems

abstract: We use X-ray tomography to investigate the translational and rotational dynamical heterogeneities of a three dimensional hard ellipsoids granular packing driven by oscillatory shear. We find that particles which translate quickly form clusters with a size distribution given by a power-law with an exponent that is independent of the strain amplitude. Identical behavior is found for particles that are translating slowly, rotating quickly, or rotating slowly. The geometrical properties of these four different types of clusters are the same as those of random clusters. Different cluster types are considerably correlated/anticorrelated, indicating a significant coupling between translational and rotational degrees of freedom. Surprisingly these clusters are formed already at time scales that are much shorter than the $\alpha-$relaxation time, in stark contrast to the behavior found in glass-forming systems.


title: B-DCGAN:Evaluation of Binarized DCGAN for FPGA

abstract: We are trying to implement deep neural networks in the edge computing environment for real-world applications such as the IoT(Internet of Things), the FinTech etc., for the purpose of utilizing the significant achievement of Deep Learning in recent years. Especially, we now focus algorithm implementation on FPGA, because FPGA is one of the promising devices for low-cost and low-power implementation of the edge computer. In this work, we introduce Binary-DCGAN(B-DCGAN) - Deep Convolutional GAN model with binary weights and activations, and with using integer-valued operations in forward pass(train-time and run-time). And we show how to implement B-DCGAN on FPGA(Xilinx Zynq). Using the B-DCGAN, we do feasibility study of FPGA's characteristic and performance for Deep Learning. Because the binarization and using integer-valued operation reduce the memory capacity and the number of the circuit gates, it is very effective for FPGA implementation. On the other hand, the quality of generated data from the model will be decreased by these reductions. So we investigate the influence of these reductions.


title: Gain-guided X-ray free-electron laser oscillator

abstract: The X-ray free-electron laser oscillator (XFELO) has recently been reconsidered a promising candidate for producing high-brightness, fully coherent pulses in the hard X-ray regime. This letter proposes a gain-guided XFELO scheme, avoiding the external focusing elements required for conventional configuration. Self-consistent theoretical analysis and three-dimensional numerical simulation results verify that the X-ray transverse mode in such an "unstable" cavity is stable and robust due to electron beam gain-guiding. This scheme is capable of generating 14.3 keV photons of FEL radiation with peak power on the order of a gigawatt using Shanghai coherent light source parameters. The output pulse energy and transverse and longitudinal coherence are comparable with those from conventional XFELOs. This promising scheme is expected to contribute significantly to the construction and operation of a real XFELO.


title: Learning Free-Form Deformations for 3D Object Reconstruction

abstract: Representing 3D shape in deep learning frameworks in an accurate, efficient and compact manner still remains an open challenge. Most existing work addresses this issue by employing voxel-based representations. While these approaches benefit greatly from advances in computer vision by generalizing 2D convolutions to the 3D setting, they also have several considerable drawbacks. The computational complexity of voxel-encodings grows cubically with the resolution thus limiting such representations to low-resolution 3D reconstruction. In an attempt to solve this problem, point cloud representations have been proposed. Although point clouds are more efficient than voxel representations as they only cover surfaces rather than volumes, they do not encode detailed geometric information about relationships between points. In this paper we propose a method to learn free-form deformations (FFD) for the task of 3D reconstruction from a single image. By learning to deform points sampled from a high-quality mesh, our trained model can be used to produce arbitrarily dense point clouds or meshes with fine-grained geometry. We evaluate our proposed framework on both synthetic and real-world data and achieve state-of-the-art results on point-cloud and volumetric metrics. Additionally, we qualitatively demonstrate its applicability to label transferring for 3D semantic segmentation.


title: Property (T) for locally compact groups and C*-algebras

abstract: Let $G$ be a locally compact group and let $C^*(G)$ and $C^*_r(G)$ be the full group $C^*$-algebra and the reduced group $C^*$-algebra of $G$. We investigate the relationship between Property $(T)$ for $G$ and Property $(T)$ as well as its strong version for $C^*(G)$ and $C^*_r(G)$. We show that $G$ has Property $(T)$ if (and only if) $C^*(G)$ has Property $(T)$. In the case where $G$ is a locally compact IN-group, we prove that $G$ has Property $(T)$ if and only if $C^*_r(G)$ has strong Property $(T)$. We also show that $C^*_r(G)$ has strong Property $(T)$ for every non-amenable locally compact group $G$ for which $C^*_r(G)$ is nuclear. Some of these groups (as for instance $G=SL_2(\mathbf{R})$) do not have Property $T$.