title: Three-dimensional X-ray visualization of axonal tracts in mouse brain hemisphere

abstract: Neurons transmit active potentials through axons, which are essential for the brain to function. In this study, the axonal networks of the murine brain were visualized with X-ray tomographic microscopy, also known as X-ray microtomography or micro-CT. Murine brain samples were freeze-dried to reconstitute the intrinsic contrast of tissue constituents and subjected to X-ray visualization. A whole brain hemisphere visualized by absorption contrast illustrated three-dimensional structures including those of the striatum, corpus callosum, and anterior commissure. Axonal tracts observed in the striatum start from the basal surface of the cerebral cortex and end at various positions in the basal ganglia. The distribution of X-ray attenuation coefficients indicated that differences in water and phospholipid content between the myelin sheath and surrounding tissue constituents account for the observed contrast. A rod-shaped cutout of brain tissue was also analyzed with a phase retrieval method, wherein tissue microstructures could be resolved with up to 2.7 {\mu}m resolution. Structures of axonal networks of the striatum were reconstructed by tracing axonal tracts. Such an analysis should be able to delineate the functional relationships of the brain regions involved in the observed network.


title: Updated measurement of the $e^+e^- \to \omega \pi^0 \to \pi^0\pi^0\gamma$ cross section with the SND detector

abstract: We analyze a 37 pb$^{-1}$ data sample collected with the SND detector at the VEPP-2000 $e^+e^-$ collider in the center-of-mass energy range 1.05--2.00 GeV and present an updated measurement of the $e^+e^- \to \omega \pi^0 \to \pi^0\pi^0\gamma$ cross section. In particular, we correct the mistake in radiative correction calculation made in our previous measurement based on a part of the data. The measured cross section is fitted with the vector meson dominance model with three $\rho$-like states and used to test the conserved vector current hypothesis in the $\tau^-\to\omega\pi^-\nu_{\tau}$ decay.


title: Ultracompact fiber integrated X-ray dosimeter based on scintillators coupled to a nano-optical antenna

abstract: High energy radiations are nowadays cornerstone in scientific, medical and industrial imaging and cancer therapy. However, their detection and dosimetry are restricted to systems of modest compactness that are not compatible with endoscopy. Here, we report the first experimental imaging and dosimetry of X-rays with an ultracompact sensor integrated at the end of a single mode optical fiber (125 $\mu$m full diameter). We realize such a dosimeter by coupling luminescent scintillators to a nano-optical antenna engineered at the end of the fiber and by detecting in-fiber outcoupled luminescence with a photon counter. Direct profile and real-time dosimetry of a X-ray focused beam reveals a spatial resolution of a few microns together with a sensitivity better than 10$^3$ X-photons$/$s$/\mu$m$^2$ at energies of 8-10 keV. Because the nano-optical platform is auto-aligned with respect to the fiber, the resulting dosimeter is plug-and-play, flexible, and it is suitable for ultralow footprint endoscopic investigations at higher X-ray energies. Our nano-optical approach thus offers the possibility of X-ray profiling and dosimetry in ultra-confined environments, opening up new avenues in the fields of X-ray imaging, real-time control of cancer radiotherapies and Curie therapies, medical and industrial endoscopy, etc. With this study, nano-optical antennas make a first key contribution to the development of X-ray sensing protocols and architectures.


title: Regularity of the Eikonal equation with two vanishing entropies

abstract: The Aviles-Giga functional $I_{\epsilon}(u)=\int_{\Omega} \frac{\left|1-\left|\nabla u\right|^2\right|^2}{\epsilon}+\epsilon \left|\nabla^2 u\right|^2 \, dx$ is a well known second order functional that models phenomena from blistering to liquid crystals. The zero energy states of the Aviles-Giga functional have been characterized by Jabin, Otto, Perthame. Among other results they showed that if $\lim_{n\rightarrow \infty} I_{\epsilon_n}(u_n)=0$ for some sequence $u_n\in W^{2,2}_0(\Omega)$ and $u=\lim_{n\rightarrow \infty} u_n$ then $\nabla u$ is Lipschitz continuous outside a locally finite set. This is essentially a corollary to their theorem that if $u$ is a solution to the Eikonal equation $\left|\nabla u\right|=1$ a.e. and if for every "entropy" $\Phi$ function $u$ satisfies $\nabla\cdot\left[\Phi(\nabla u^{\perp})\right]=0$ distributionally in $\Omega$ then $\nabla u$ is locally Lipschitz continuous outside a locally finite set. In this paper we generalize this result by showing that if $\Omega$ is bounded and simply connected, $u$ satisfies the Eikonal equation and if \begin{equation} \label{eqi88} \nabla\cdot\left(\Sigma_{e_1 e_2}(\nabla u^{\perp})\right)=0\text{and}\nabla\cdot\left(\Sigma_{\epsilon_1 \epsilon_2}(\nabla u^{\perp})\right)=0\text{distributionally in}\Omega, \end{equation} where $\Sigma_{e_1 e_2}$ and $\Sigma_{\epsilon_1 \epsilon_2}$ are the entropies introduced by Ambrosio, DeLellis, Mantegazza, Jin, Kohn, then $\nabla u$ is locally Lipschitz continuous outside a locally finite set.


title: The IC-indices of Some Complete Multipartite Graphs

abstract: A coloring of a connected graph $G$ is a function $f$ mapping the vertex set of $G$ into the set of all integers. For any subgraph $H$ of $G$, we denote the sum of the values of $f$ on the vertices of $H$ as $f(H)$. If for any integer $k\in \{1,2,\cdots,f(G)\}$, there exists an induced connected subgraph $H$ of $G$ such that $f(H) = k$, then the coloring $f$ is called an IC-coloring of $G$. The IC-index of $G$, denoted as $M(G)$, is the maximum value of $f(G)$ over all possible IC-colorings $f$ of $G$. In this paper, we present a useful method from which a lower bound on the IC-index of any complete multipartite graph can be derived. Subsequently, we show that, for $m\geq 2 ~\mbox{and} ~n\geq 2$, our lower bound on $M(K_{1(n),m})$ is the exact value of it.


title: Optimal compression of approximate inner products and dimension reduction

abstract: Let $X$ be a set of $n$ points of norm at most $1$ in the Euclidean space $R^k$, and suppose $\varepsilon>0$. An $\varepsilon$-distance sketch for $X$ is a data structure that, given any two points of $X$ enables one to recover the square of the (Euclidean) distance between them up to an {\em additive} error of $\varepsilon$. Let $f(n,k,\varepsilon)$ denote the minimum possible number of bits of such a sketch. Here we determine $f(n,k,\varepsilon)$ up to a constant factor for all $n \geq k \geq 1$ and all $\varepsilon \geq \frac{1}{n^{0.49}}$. Our proof is algorithmic, and provides an efficient algorithm for computing a sketch of size $O(f(n,k,\varepsilon)/n)$ for each point, so that the square of the distance between any two points can be computed from their sketches up to an additive error of $\varepsilon$ in time linear in the length of the sketches. We also discuss the case of smaller $\varepsilon>2/\sqrt n$ and obtain some new results about dimension reduction in this range. In particular, we show that for any such $\varepsilon$ and any $k \leq t=\frac{\log (2+\varepsilon^2 n)}{\varepsilon^2}$ there are configurations of $n$ points in $R^k$ that cannot be embedded in $R^{\ell}$ for $\ell < ck$ with $c$ a small absolute positive constant, without distorting some inner products (and distances) by more than $\varepsilon$. On the positive side, we provide a randomized polynomial time algorithm for a bipartite variant of the Johnson-Lindenstrauss lemma in which scalar products are approximated up to an additive error of at most $\varepsilon$. This variant allows a reduction of the dimension down to $O(\frac{\log (2+\varepsilon^2 n)}{\varepsilon^2})$, where $n$ is the number of points.


title: Vanishing Viscosity Limit For the 3D Nonhomogeneous Incompressible Navier-Stokes Equations With a Slip Boundary Condition

abstract: In this paper, we investigate the vanishing viscosity limit for the 3D nonhomogeneous incompressible Navier-Stokes equations with a slip boundary condition. We establish the local well-posedness of the strong solutions for initial boundary value problems for such systems. Furthermore, the vanishing viscosity limit process is established and a strong rate of convergence is obtained as the boundary of the domain is flat. In addition, it is needed to add some additional condition for density to match well the boundary condition.


title: Higher Derivative Theories for Interacting Massless Gravitons in Minkowski Spacetime

abstract: We study a novel class of higher derivative theories for interacting massless gravitons in Minkowski spacetime. These theories were first discussed by Wald decades ago, and are characterized by scattering amplitudes essentially different from general relativity and many of its modifications. We discuss various aspects of these higher derivative theories, including the Lagrangian construction, violation of asymptotic causality, scattering amplitudes, non-renormalization, and possible implications on emergent gravitons from condensed matter systems.


title: The local spiral structure of the Milky Way

abstract: The nature of the spiral structure of the Milky Way has long been debated. Only in the last decade have astronomers been able to accurately measure distances to a substantial number of high-mass star-forming regions, the classic tracers of spiral structure in galaxies. We report distance measurements at radio wavelengths using the Very Long Baseline Array for eight regions of massive star formation near the Local spiral arm of the Milky Way. Combined with previous measurements, these observations reveal that the Local Arm is larger than previously thought, and both its pitch angle and star formation rate are comparable to those of the Galaxy's major spiral arms, such as Sagittarius and Perseus. Toward the constellation Cygnus, sources in the Local Arm extend for a great distance along our line of sight and roughly along the solar orbit. Because of this orientation, these sources cluster both on the sky and in velocity to form the complex and long enigmatic Cygnus X region. We also identify a spur that branches between the Local and Sagittarius spiral arms.


title: Deep unsupervised learning through spatial contrasting

abstract: Convolutional networks have marked their place over the last few years as the best performing model for various visual tasks. They are, however, most suited for supervised learning from large amounts of labeled data. Previous attempts have been made to use unlabeled data to improve model performance by applying unsupervised techniques. These attempts require different architectures and training methods. In this work we present a novel approach for unsupervised training of Convolutional networks that is based on contrasting between spatial regions within images. This criterion can be employed within conventional neural networks and trained using standard techniques such as SGD and back-propagation, thus complementing supervised methods.


title: Stueckelberg massive electromagnetism in de Sitter and anti-de Sitter spacetimes: Two-point functions and renormalized stress-energy tensors

abstract: By considering Hadamard vacuum states, we first construct the two-point functions associated with Stueckelberg massive electromagnetism in de Sitter and anti-de Sitter spacetimes. Then, from the general formalism developed in [A. Belokogne and A. Folacci, Phys. Rev. D \textbf{93}, 044063 (2016)], we obtain an exact analytical expression for the vacuum expectation value of the renormalized stress-energy tensor of the massive vector field propagating in these maximally symmetric spacetimes.


title: Phonon assisted resonant tunnelling and its phonons control

abstract: We observe a series of sharp resonant features in the tunnelling differential conductance of InAs quantum dots. We found that dissipative quantum tunnelling has a strong influence on the operation of nano-devices. Because of such tunnelling the current-voltage characteristics of tunnel contact created between atomic force microscope tip and a surface of InAs/GaAs quantum dots display many interesting peaks. We found that the number, position, and heights of these peaks are associated with the phonon modes involved. To describe the found effect we use a quasi-classical approximation. There the tunnelling current is related to a creation of a dilute instanton-anti-instanton gas. Our experimental data are well described with exactly solvable model where one charged particle is weakly interacting with two promoting phonon modes associated with external medium. We conclude that the characteristics of the tunnel nanoelectronic devices can thus be controlled by a proper choice of phonons existing in materials, which are involved.


title: HNP3: A Hierarchical Nonparametric Point Process for Modeling Content Diffusion over Social Media

abstract: This paper introduces a novel framework for modeling temporal events with complex longitudinal dependency that are generated by dependent sources. This framework takes advantage of multidimensional point processes for modeling time of events. The intensity function of the proposed process is a mixture of intensities, and its complexity grows with the complexity of temporal patterns of data. Moreover, it utilizes a hierarchical dependent nonparametric approach to model marks of events. These capabilities allow the proposed model to adapt its temporal and topical complexity according to the complexity of data, which makes it a suitable candidate for real world scenarios. An online inference algorithm is also proposed that makes the framework applicable to a vast range of applications. The framework is applied to a real world application, modeling the diffusion of contents over networks. Extensive experiments reveal the effectiveness of the proposed framework in comparison with state-of-the-art methods.


title: The large $k$-term progression-free sets in $\mathbb{Z}_q^n$

abstract: Let $k$ and $n$ be fixed positive integers. For each prime power $q\geqslant k\geqslant 3$, we show that any subset $A\subseteq \mathbb{Z}_q^n$ free of $k$-term arithmetic progressions has size $|A|\leqslant c_k(q)^n$ with a constant $c_k(q)$ that can be expressed explicitly in terms of $k$ and $q$. As a consequence, we can take $c_k(q)=0.8415q$ for sufficiently large $q$ and arbitrarily fixed $k\geq 3$.


title: Battling the Digital Forensic Backlog through Data Deduplication

abstract: In everyday life. Technological advancement can be found in many facets of life, including personal computers, mobile devices, wearables, cloud services, video gaming, web-powered messaging, social media, Internet-connected devices, etc. This technological influence has resulted in these technologies being employed by criminals to conduct a range of crimes -- both online and offline. Both the number of cases requiring digital forensic analysis and the sheer volume of information to be processed in each case has increased rapidly in recent years. As a result, the requirement for digital forensic investigation has ballooned, and law enforcement agencies throughout the world are scrambling to address this demand. While more and more members of law enforcement are being trained to perform the required investigations, the supply is not keeping up with the demand. Current digital forensic techniques are arduously time-consuming and require a significant amount of man power to execute. This paper discusses a novel solution to combat the digital forensic backlog. This solution leverages a deduplication-based paradigm to eliminate the reacquisition, redundant storage, and reanalysis of previously processed data.


title: Spin galvanic effect at the conducting SrTiO3 surfaces

abstract: The (001) surface of SrTiO3 were transformed from insulating to conducting after Ar+ irradiation, producing a quasi two-dimensional electron gas (2DEG). This conducting surface layer can introduce Rashba spin orbital coupling due to the broken inversion symmetry normal to the plane. The spin splitting of such a surface has recently been demonstrated by magneto-resistance and angular resolved photoemission spectra measurements. Here we present experiments evidencing a large spin-charge conversion at the surface. We use spin pumping to inject a spin current from NiFe film into the surface, and measure the resulting charge current. The results indicate that the Rashba effect at the surface can be used for efficient charge-spin conversion, and the large efficiency is due to the multi-d-orbitals and surface corrugation. It holds great promise in oxide spintronics.


title: The effect of Jupiter oscillations on Juno gravity measurements

abstract: Seismology represents a unique method to probe the interiors of giant planets. Recently, Saturn's f-modes have been indirectly observed in its rings, and there is strong evidence for the detection of Jupiter global modes by means of ground-based, spatially-resolved, velocimetry measurements. We propose to exploit Juno's extremely accurate radio science data by looking at the gravity perturbations that Jupiter's acoustic modes would produce. We evaluate the perturbation to Jupiter's gravitational field using the oscillation spectrum of a polytrope with index 1 and the corresponding radial eigenfunctions. We show that Juno will be most sensitive to the fundamental mode ($n=0$), unless its amplitude is smaller than 0.5 cm/s, i.e. 100 times weaker than the $n \sim\ 4 - 11$ modes detected by spatially-resolved velocimetry. The oscillations yield contributions to Juno's measured gravitational coefficients similar to or larger than those expected from shallow zonal winds (extending to depths less than 300 km). In the case of a strong f-mode (radial velocity $\sim$ 30 cm/s), these contributions would become of the same order as those expected from deep zonal winds (extending to 3000 km), especially on the low degree zonal harmonics, therefore requiring a new approach to the analysis of Juno data.


title: Salt Reconstruction in Full Waveform Inversion with a Parametric Level-Set Method

abstract: Seismic full-waveform inversion tries to estimate subsurface medium parameters from seismic data. Areas with subsurface salt bodies are of particular interest because they often have hydrocarbon reservoirs on their sides or underneath. Accurate reconstruction of their geometry is a challenge for current techniques. This paper presents a parametric level-set method for the reconstruction of salt-bodies in seismic full-waveform inversion. We split the subsurface model in two parts: a background velocity model and the salt body with known velocity but undetermined shape. The salt geometry is represented by a level-set function that evolves during the inversion. We choose radial basis functions to represent the level-set function, leading to an optimization problem with a modest number of parameters. A common problem with level-set methods is to fine tune the width of the level-set boundary for optimal sensitivity. We propose a robust algorithm that dynamically adapts the width of the level-set boundary to ensure faster convergence. Tests on a suite of idealized salt geometries show that the proposed method is stable against a modest amount of noise. We also extend the method to joint inversion of both the background velocity model and the salt-geometry.


title: Chaos and correlated avalanches in excitatory neural networks with synaptic plasticity

abstract: A collective chaotic phase with power law scaling of activity events is observed in a disordered mean field network of purely excitatory leaky integrate-and-fire neurons with short-term synaptic plasticity. The dynamical phase diagram exhibits two transitions from quasi-synchronous and asynchronous regimes to the nontrivial, collective, bursty regime with avalanches. In the homogeneous case without disorder, the system synchronizes and the bursty behavior is reflected into a doubling-period transition to chaos for a two dimensional discrete map. Numerical simulations show that the bursty chaotic phase with avalanches exhibits a spontaneous emergence of time correlations and enhanced Kolmogorov complexity. Our analysis reveals a mechanism for the generation of irregular avalanches that emerges from the combination of disorder and deterministic underlying chaotic dynamics.

categories: cond-mat.dis-nn cond-mat.stat-mech nlin.AO q-bio.NC


title: Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields

abstract: Coordination is essential for dynamic distributed systems whose components exhibit interactive and autonomous behaviors. Spatially distributed, locally interacting, propagating computational fields are particularly appealing for allowing components to join and leave with little or no overhead. Computational fields are a key ingredient of aggregate programming, a promising software engineering methodology particularly relevant for the Internet of Things. In our approach, space topology is represented by a fixed graph-shaped field, namely a network with attributes on both nodes and arcs, where arcs represent interaction capabilities between nodes. We propose a SMuC calculus where mu-calculus- like modal formulas represent how the values stored in neighbor nodes should be combined to update the present node. Fixpoint operations can be understood globally as recursive definitions, or locally as asynchronous converging propagation processes. We present a distributed implementation of our calculus. The translation is first done mapping SMuC programs into normal form, purely iterative programs and then into distributed programs. Some key results are presented that show convergence of fixpoint computations under fair asynchrony and under reinitialization of nodes. The first result allows nodes to proceed at different speeds, while the second one provides robustness against certain kinds of failure. We illustrate our approach with a case study based on a disaster recovery scenario, implemented in a prototype simulator that we use to evaluate the performance of a recovery strategy.


title: The Role of AGB Stars Feedback in Sustaining Galaxy Evolution

abstract: We have conducted a near-infrared monitoring campaign at the UK InfraRed Telescope, of the Local Group spiral galaxy M33. The main aim was to identify stars in the very final stage of their evolution, and for which the luminosity is more directly related to the birth mass than the more numerous less--evolved giant stars that continue to increase in luminosity. In first instance, only the central square kiloparsec were monitored and analysed, with the UIST camera. Photometry was obtained for 18,398 stars; of these 812 stars were found to be variable, most of which are asymptotic giant branch (AGB) stars. We constructed the birth mass function and hence derived the star formation history. These stars are also important dust factories. We measure their dust production rates from a combination of our data with Spitzer Space Telescope mid-IR photometry. The mass loss rates are seen to increase with increasing strength of pulsation and with increasing bolometric luminosity. We construct a 2D map of the mass return rate, showing a radial decline but also local enhancements due to the concentration of red supergiants. We conclude that star formation in the central region of M33 can only be sustained if gas is accreted from further out in the disc or from circum--galactic regions. By using data of wide-field camera (WFCAM), the campaign was expanded to cover two orders of magnitude larger area, comprising the disc of M33 and its spiral arms. Photometry was obtained for 403,734 stars; of these 4643 stars were found to be variable. We here present the star formation history across the disc of M33.


title: Hadronic modeling of TeV AGN: gammas and neutrinos

abstract: Blazar emission models are usually divided into two big families, leptonic and hadronic, according to the particles which are responsible for the gamma-ray component of their spectral energy distributions. Even though leptonic models have been successful in explaining the gamma-ray emission from most blazars, hadronic models still present an intriguing alternative. They have the unique advantage to link the emission of photons, neutrinos, and cosmic rays from the astrophysical source. We have developed a stationary one-zone lepto-hadronic code to model the emission from blazars in both leptonic and hadronic scenarios. In this contribution we focus on hadronic modeling of a few selected TeV blazars of the BL Lac type and the radio galaxy Centaurus A detected by Cherenkov telescopes. We study in particular their associated neutrino emission, for different hadronic scenarios, and how it compares to the sensitivity of current neutrino detectors.


title: XVA at the Exercise Boundary

abstract: XVA is a material component of a trade valuation and hence it must impact the decision to exercise options within a given netting set. This is true for both unsecured trades and secured / cleared trades where KVA and MVA play a material role even if CVA and FVA do not. However, this effect has frequently been ignored in XVA models and indeed in exercise decisions made by option owners. This paper describes how XVA impacts the exercise decision and how this can be readily evaluated using regression techniques (Longstaff and Schwartz 2001). The paper then assesses the materiality of the impact of XVA at the exercise boundary on swaption examples.


title: Square-root algorithms for maximum correntropy estimation of linear discrete-time systems in presence of non-Gaussian noise

abstract: Recent developments in the realm of state estimation of stochastic dynamic systems in the presence of non-Gaussian noise have induced a new methodology called the maximum correntropy filtering. The filters designed under the maximum correntropy criterion (MCC) utilize a similarity measure (or correntropy) between two random variables as a cost function. They are shown to improve the estimators' robustness against outliers or impulsive noises. In this paper we explore the numerical stability of linear filtering technique proposed recently under the MCC approach. The resulted estimator is called the maximum correntropy criterion Kalman filter (MCC-KF). The purpose of this study is two-fold. First, the previously derived MCC-KF equations are revise and the related Kalman-like equality conditions are proved. Based on this theoretical finding, we improve the MCC-KF technique in the sense that the new method possesses a better estimation quality with the reduced computational cost compared with the previously proposed MCC-KF variant. Second, we devise some square-root implementations for the newly-designed improved estimator. The square-root algorithms are well known to be inherently more stable than the conventional Kalman-like implementations, which process the full error covariance matrix in each iteration step of the filter. Additionally, following the latest achievements in the KF community, all square-root algorithms are formulated here in the so-called array form. All the MCC-KF variants developed in this paper are demonstrated to outperform the previously proposed MCC-KF version in two numerical examples.


title: Spectral Changes in the Hyperluminous Pulsar in NGC 5907 as a Function of Super-Orbital Phase

abstract: We present broad-band, multi-epoch X-ray spectroscopy of the pulsating ultra-luminous X-ray source (ULX) in NGC 5907. Simultaneous XMM-Newton and NuSTAR data from 2014 are best described by a multi-color black-body model with a temperature gradient as a function of accretion disk radius significantly flatter than expected for a standard thin accretion disk (T(r) ~ r^{-p}, with p=0.608^{+0.014}_{-0.012}). Additionally, we detect a hard power-law tail at energies above 10 keV, which we interpret as being due to Comptonization. We compare this observation to archival XMM-Newton, Chandra, and NuSTAR data from 2003, 2012, and 2013, and investigate possible spectral changes as a function of phase over the 78d super-orbital period of this source. We find that observations taken around phases 0.3-0.4 show very similar temperature profiles, even though the observed flux varies significantly, while one observation taken around phase 0 has a significantly steeper profile. We discuss these findings in light of the recent discovery that the compact object is a neutron star and show that precession of the accretion disk or the neutron star can self-consistently explain most observed phenomena.


title: Hysteresis and Duration Dependence of Financial Crises in the US: Evidence from 1871-2016

abstract: This study analyses the duration dependence of events that trigger volatility persistence in stock markets. Such events, in our context, are monthly spells of contiguous price decline or negative returns for the S&P500 stock market index over the last 145 years. Factors known to affect the duration of these spells are the magnitude or intensity of the price decline, long-term interest rates and economic recessions, among others. The result of interest is the conditional probability of ending a spell of consecutive months over which stock market returns remain negative. In this study, we rely on continuous time survival models in order to investigate this question. Several specifications were attempted, some of which under the proportional hazards assumption and others under the accelerated failure time assumption. The best fit of the various models endeavored was obtained for the log-normal distribution. This distribution yields a non-monotonic hazard function that increases up to a maximum and then decreases. The peak is achieved 2-3 months after the spells onset with a hazard of around 0.9 or higher; this hazard then decays asymptotically to zero. Spells duration increase during recessions, when interest rate rises and when price declines are more intense. The main conclusion is that short spells of negative returns appear to be mainly frictional while long spells become structural and trigger hysteresis effects after an initial period of adjustment. Although in line with our expectations, these results may be of some importance for policy-makers.


title: Non-Koszul quadratic Gorenstein toric rings

abstract: Koszulness of Gorenstein quadratic algebras of small socle degree is studied. In this note, we construct non-Koszul Gorenstein quadratic toric ring such that its socle degree is more than 3 by using stable set polytopes.


title: Limit Order Strategic Placement with Adverse Selection Risk and the Role of Latency

abstract: This paper is split in three parts: first we use labelled trade data to exhibit how market participants accept or not transactions via limit orders as a function of liquidity imbalance; then we develop a theoretical stochastic control framework to provide details on how one can exploit his knowledge on liquidity imbalance to control a limit order. We emphasis the exposure to adverse selection, of paramount importance for limit orders. For a participant buying using a limit order: if the price has chances to go down the probability to be filled is high but it is better to wait a little more before the trade to obtain a better price. In a third part we show how the added value of exploiting a knowledge on liquidity imbalance is eroded by latency: being able to predict future liquidity consuming flows is of less use if you have not enough time to cancel and reinsert your limit orders. There is thus a rational for market makers to be as fast as possible as a protection to adverse selection. Thanks to our optimal framework we can measure the added value of latency to limit orders placement. To authors' knowledge this paper is the first to make the connection between empirical evidences, a stochastic framework for limit orders including adverse selection, and the cost of latency. Our work is a first stone to shed light on the roles of latency and adverse selection for limit order placement, within an accurate stochastic control framework.


title: Understanding Epileptiform After-Discharges as Rhythmic Oscillatory Transients

abstract: Electro-cortical activity in patients with epilepsy may show abnormal rhythmic transients in response to stimulation. Even when using the same stimulation parameters in the same patient, wide variability in the duration of transient response has been reported. These transients have long been considered important for the mapping of the excitability levels in the epileptic brain but their dynamic mechanism is still not well understood. To understand the occurrence of abnormal transients dynamically, we use a thalamo-cortical neural population model of epileptic spike-wave activity and study the interaction between slow and fast subsystems. In a reduced version of the thalamo-cortical model, slow wave oscillations arise from a fold of cycles (FoC) bifurcation. This marks the onset of a region of bistability between a high amplitude oscillatory rhythm and the background state. In vicinity of the bistability in parameter space, the model has excitable dynamics, showing prolonged rhythmic transients in response to suprathreshold pulse stimulation. We analyse the state space geometry of the bistable and excitable states, and find that the rhythmic transient arises when the impending FoC bifurcation deforms the state space and creates an area of locally reduced attraction to the fixed point. This area essentially allows trajectories to dwell there before escaping to the stable steady state, thus creating rhythmic transients. In the full thalamo-cortical model, we find a similar FoC bifurcation structure. Based on the analysis, we propose an explanation of why stimulation induced epileptiform activity may vary between trials, and predict how the variability could be related to ongoing oscillatory background activity.


title: Observation of charge-dependent azimuthal correlations in pPb collisions and its implication for the search for the chiral magnetic effect

abstract: Charge-dependent azimuthal particle correlations with respect to the second-order event plane in pPb and PbPb collisions at a nucleon-nucleon center-of-mass energy of 5.02 TeV have been studied with the CMS experiment at the LHC. The measurement is performed with a three-particle correlation technique, using two particles with the same or opposite charge within the pseudorapidity range abs(eta) < 2.4, and a third particle measured in the hadron forward calorimeters (4.4 < abs(eta) < 5). The observed differences between the same and opposite sign correlations, as functions of multiplicity and eta gap between the two charged particles, are of similar magnitude in pPb and PbPb collisions at the same multiplicities. These results pose a challenge for the interpretation of charge-dependent azimuthal correlations in heavy ion collisions in terms of the chiral magnetic effect.


title: Particle Identification at Belle II

abstract: We report on the charged particle identification (PID) systems for the upcoming Belle II experiment. The time of propagation counter in the central region and the proximity focusing ring imaging Cherenkov counters with aerogel radiator in the forward region will be used as the PID devices. They are expected to provide a kaon identification efficiency of more than 94% at a low pion misidentification probability of 4%. The motivation for the upgrade, method, and status of both systems are discussed.


title: Sonneberg Sky Patrol Archive - Photometric Analysis

abstract: The Sonneberg Sky Patrol archive so far has not yet been analyzed systematically. In this paper we present first steps towards an automated photometric analysis aiming at the search for variable stars and transient phenomena like novae. Early works on the sky patrol plates showed that photometric accuracy can be enhanced with fitting algorithms. The procedure used was a manually supported click-and-fit-routine, not suitable for automatic analysis of vast amount of photographic plates. We will present our progress on deconvolution of overlapping sources on the plates and compare photometric analysis using different methods. Our goal is to get light curves of sufficient quality from sky patrol plates, which can be classified with machine learning algorithms. The development of an automated scheme for finding transient events is in progress and the first results are very promising.


title: Hans Wolter - a pioneer of applied optics

abstract: Applied optics was one of the major topics Hans Walter was engaged in during his scientific life. He contributed to the understanding of optical properties of thin films, which could be used to design coating layers to improve the properties of optical and other surfaces. He developed the theoretical description of the basic principles of phase-contrast, schlieren and interference optics applied to enhance low contrast details and to increase the resolution in studies of biological samples. And last, but not least, Hans Wolter proposed an optical system of two grazing--incidence mirrors for use in an X--ray imaging microscope. A microscope using such an optics never was put into practice, but the optical design turned out to be well suited for telescopes.


title: A sufficient condition for global existence of solutions to a generalized derivative nonlinear Schr\"{o}dinger equation

abstract: We give a sufficient condition for global existence of the solutions to a generalized derivative nonlinear Schr\"{o}dinger equation (gDNLS) by a variational argument. The variational argument is applicable to a cubic derivative nonlinear Schr\"{o}dinger equation (DNLS). For (DNLS), Wu proved that the solution with the initial data $u_0$ is global if $\left\Vert u_0 \right\Vert_{L^2}^2<4\pi$ by the sharp Gagliardo--Nirenberg inequality in the paper "Global well-posedness on the derivative nonlinear Schr\"odinger equation", Analysis & PDE 8 (2015), no. 5, 1101--1112. The variational argument gives us another proof of the global existence for (DNLS). Moreover, by the variational argument, we can show that the solution to (DNLS) is global if the initial data $u_0$ satisfies that $\left\Vert u_0 \right\Vert_{L^2}^2=4\pi$ and the momentum $P(u_0)$ is negative.


title: Balayage for Riesz kernels with application to potential theory for the associated Green kernels

abstract: We study properties of the $\alpha$-Green kernel $g_D^\alpha$ of order $0<\alpha\leqslant2$ for a domain $D\subset\mathbb R^n$, $n\geqslant3$. This kernel is associated with the $\alpha$-Riesz kernel $|x-y|^{\alpha-n}$, $x,y\in\mathbb R^n$, in a manner particularly well known in the case $\alpha=2$. Besides the usual principles of potential theory, we establish for the $\alpha$-Green kernel the property of consistency. This allows us to prove the completeness of the cone of positive measures $\mu$ on $D$ with finite energy $g_D^\alpha(\mu,\mu):=\iint g_D^\alpha(x,y)\,d\mu(x)\,d\mu(y)$ in the topology defined by the energy norm $\|\mu\|_{g_D^\alpha}=\sqrt{g_D^\alpha(\mu,\mu)}$, as well as the existence of the $\alpha$-Green equilibrium measure for a relatively closed set in $D$ of finite $\alpha$-Green capacity. The main tool is a generalization of Cartan's theory of balayage (sweeping) for the Newtonian kernel to the $\alpha$-Riesz kernels with $0<\alpha<2$.


title: Structural Phase Stability in Fluorinated Calcium Hydride

abstract: In order to improve the hydrogen storage properties of calcium hydride (CaH2), we have tuned its thermodynamical properties through fluorination. Using ab-initio total energy calculations based on density functional theory, the structural stability, electronic structure and chemical bonding of CaH2-xFx systems are investigated. The phase transition of fluorinated systems from orthorhombic to cubic structure has been observed at 18% fluorine doped CaH2. The phase stability analysis shows that CaH2-xFx systems are highly stable and the stability is directly correlating with their ionicity. Density of states (DOS) plot reveals that CaH2-xFx systems are insulators. Partial DOS and charge density analyses conclude that these systems are governed by ionic bonding. Our results show that H closer to F can be removed more easily than that far away from F and this is due to disproportionation induced in the bonding interaction by fluorination.


title: Sparsity-driven weighted ensemble classifier

abstract: In this study, a novel sparsity-driven weighted ensemble classifier (SDWEC) that improves classification accuracy and minimizes the number of classifiers is proposed. Using pre-trained classifiers, an ensemble in which base classifiers votes according to assigned weights is formed. These assigned weights directly affect classifier accuracy. In the proposed method, ensemble weights finding problem is modeled as a cost function with the following terms: (a) a data fidelity term aiming to decrease misclassification rate, (b) a sparsity term aiming to decrease the number of classifiers, and (c) a non-negativity constraint on the weights of the classifiers. As the proposed cost function is non-convex thus hard to solve, convex relaxation techniques and novel approximations are employed to obtain a numerically efficient solution. Sparsity term of cost function allows trade-off between accuracy and testing time when needed. The efficiency of SDWEC was tested on 11 datasets and compared with the state-of-the art classifier ensemble methods. The results show that SDWEC provides better or similar accuracy levels using fewer classifiers and reduces testing time for ensemble.


title: Te Doped Indium (II) Selenide Photocatalyst for Water Splitting: A First Principles Study

abstract: Graphene like 2D materials have attracted tremendous attention in the field of photocatalytic water splitting. Indium Selenide (InSe) is one such potential material. Here, we report the effect of Tellurium on InSe monolayer for the photocatalytic water splitting by means of density functional calculations. The calculated bandgaps fall within the visible region of the solar spectrum indicating these materials could absorb a significant amount of solar light. Density of states calculations show that the covalent character is present between the atoms which is typical for the layered system. The band alignment with respect to redox potentials show that Te doped InSe is more favorable for the hydrogen reduction reaction than the pristine InSe monolayer. Our overall results show that Te substitution improves the photocatalytic water splitting ability in InSe monolayer.


title: Manufacturing and testing a thin glass mirror shell with piezoelectric active control

abstract: Optics for future X-ray telescopes will be characterized by very large aperture and focal length, and will be made of lightweight materials like glass or silicon in order to keep the total mass within acceptable limits. Optical modules based on thin slumped glass foils are being developed at various institutes, aiming at improving the angular resolution to a few arcsec HEW. Thin mirrors are prone to deform, so they require a careful integration to avoid deformations and even correct forming errors. On the other hand, this offers the opportunity to actively correct the residual deformation: a viable possibility to improve the mirror figure is the application of piezoelectric actuators onto the non-optical side of the mirrors, and several groups are already at work on this approach. The concept we are developing consists of actively integrating thin glass foils with piezoelectric patches, fed by voltages driven by the feedback provided by X-rays. The actuators are commercial components, while the tension signals are carried by a printed circuit obtained by photolithography, and the driving electronic is a multi-channel low power consumption voltage supply developed in-house. Finally, the shape detection and the consequent voltage signal to be provided to the piezoelectric array are determined in X-rays, in intra-focal setup at the XACT facility at INAF/OAPA. In this work, we describe the manufacturing steps to obtain a first active mirror prototype and the very first test performed in X-rays.


title: Multipoint entanglement in disordered systems

abstract: We develop an approach to characterize excited states of disordered many-body systems using spatially resolved structures of entanglement. We show that the behavior of the mutual information (MI) between two parties of a many-body system can signal a qualitative difference between thermal and localized phases -- MI is finite in insulators while it approaches zero in the thermodynamic limit in the ergodic phase. Related quantities, such as the recently introduced Codification Volume (CV), are shown to be suitable to quantify the correlation length of the system. These ideas are illustrated using prototypical non-interacting wavefunctions of localized and extended particles and then applied to characterize states of strongly excited interacting spin chains. We especially focus on evolution of spatial structure of quantum information between high temperature diffusive and many-body localized phases believed to exist in these models. We study MI as a function of disorder strength both averaged over the eigenstates and in time-evolved product states drawn from continuously deformed family of initial states realizable experimentally. As expected, spectral and time-evolved averages coincide inside the ergodic phase and differ significantly outside. We also highlight dispersion among the initial states \emph{within} the localized phase -- some of these show considerable generation and delocalization of quantum information.


title: The complex dynamics of products and its asymptotic properties

abstract: We analyse global export data within the Economic Complexity framework. We couple the new economic dimension Complexity, which captures how sophisticated products are, with an index called logPRODY, a measure of the income of the respective exporters. Products' aggregate motion is treated as a 2-dimensional dynamical system in the Complexity-logPRODY plane. We find that this motion can be explained by a quantitative model involving the competition on the markets, that can be mapped as a scalar field on the Complexity-logPRODY plane and acts in a way akin to a potential. This explains the movement of products towards areas of the plane in which the competition is higher. We analyse market composition in more detail, finding that for most products it tends, over time, to a characteristic configuration, which depends on the Complexity of the products. This market configuration, which we called asymptotic, is characterized by higher levels of competition.


title: SU(2N_F) symmetry of QCD at high temperature and its implications

abstract: If above a critical temperature not only the SU(N_F)_L \times SU(N_F)_R chiral symmetry of QCD but also the U(1)_A symmetry is restored, then the actual symmetry of the QCD correlation functions and observables is SU(2N_F). Such a symmetry prohibits existence of deconfined quarks and gluons. Hence QCD at high temperature is also in the confining regime and elementary objects are SU(2N_F) symmetric "hadrons" with not yet known properties.


title: Universal measure for Poncelet-type theorems

abstract: We give a simple proof of the Emch closing theorem by introducing a new invariant measure on the circle. Special cases of that measures are well-known and have been used in the literature to prove Poncelet's and Zigzag theorems. Some further generalizations are also obtained by applying the new measure.


title: Very Deep Convolutional Neural Networks for Robust Speech Recognition

abstract: This paper describes the extension and optimization of our previous work on very deep convolutional neural networks (CNNs) for effective recognition of noisy speech in the Aurora 4 task. The appropriate number of convolutional layers, the sizes of the filters, pooling operations and input feature maps are all modified: the filter and pooling sizes are reduced and dimensions of input feature maps are extended to allow adding more convolutional layers. Furthermore appropriate input padding and input feature map selection strategies are developed. In addition, an adaptation framework using joint training of very deep CNN with auxiliary features i-vector and fMLLR features is developed. These modifications give substantial word error rate reductions over the standard CNN used as baseline. Finally the very deep CNN is combined with an LSTM-RNN acoustic model and it is shown that state-level weighted log likelihood score combination in a joint acoustic model decoding scheme is very effective. On the Aurora 4 task, the very deep CNN achieves a WER of 8.81%, further 7.99% with auxiliary feature joint training, and 7.09% with LSTM-RNN joint decoding.


title: On the wellposedness of the KdV equation on the space of pseudomeasures

abstract: In this paper we prove a wellposedness result of the KdV equation on the space of periodic pseudo-measures, also referred to as the Fourier Lebesgue space $\mathscr{F}\ell^{\infty}(\mathbb{T},\mathbb{R})$, where $\mathscr{F}\ell^{\infty}(\mathbb{T},\mathbb{R})$ is endowed with the weak* topology. Actually, it holds on any weighted Fourier Lebesgue space $\mathscr{F}\ell^{s,\infty}(\mathbb{T},\mathbb{R})$ with $-1/2 < s \le 0$ and improves on a wellposedness result of Bourgain for small Borel measures as initial data. A key ingredient of the proof is a characterization for a distribution $q$ in the Sobolev space $H^{-1}(\mathbb{T},\mathbb{R})$ to be in $\mathscr{F}\ell^{\infty}(\mathbb{T},\mathbb{R})$ in terms of asymptotic behavior of spectral quantities of the Hill operator $-\partial_{x}^{2} + q$. In addition, wellposedness results for the KdV equation on the Wiener algebra are proved.


title: Deep Learning Algorithms for Signal Recognition in Long Perimeter Monitoring Distributed Fiber Optic Sensors

abstract: In this paper, we show an approach to build deep learning algorithms for recognizing signals in distributed fiber optic monitoring and security systems for long perimeters. Synthesizing such detection algorithms poses a non-trivial research and development challenge, because these systems face stringent error (type I and II) requirements and operate in difficult signal-jamming environments, with intensive signal-like jamming and a variety of changing possible signal portraits of possible recognized events. To address these issues, we have developed a twolevel event detection architecture, where the primary classifier is based on an ensemble of deep convolutional networks, can recognize 7 classes of signals and receives time-space data frames as input. Using real-life data, we have shown that the applied methods result in efficient and robust multiclass detection algorithms that have a high degree of adaptability.


title: The Quadrahelix: A Nearly Perfect Loop of Tetrahedra

abstract: In 1958, S. \'Swierczkowski proved that there cannot be a closed loop of congruent interior-disjoint regular tetrahedra that meet face-to-face. Such closed loops do exist for the other four regular polyhedra. It has been conjectured that, for any positive \epsilon, there is a tetrahedral loop such that its difference from a closed loop is less than \epsilon. We prove this conjecture by presenting a very simple pattern that can generate loops of tetrahedra in a rhomboid shape having arbitrarily small gap. Moreover, computations provide explicit examples where the error is under $10^{-100}$ or $10^{-10^{6}}$. The explicit examples arise from a certain Diophantine relation whose solutions can be found through continued fractions; for more complicated patterns a lattice reduction technique is needed.


title: Phases of Attractive Fermi Gases in Synthetic Dimensions

abstract: A novel way to produce quantum Hall ribbons in a cold atomic system is to use M hyperfine states of atoms in a 1D optical lattice to mimic an additional "synthetic dimension". A notable aspect here is that the SU(M) symmetric interaction between atoms manifests as "infinite ranged" along the synthetic dimension. We study the many body physics of fermions with attractive interactions in this system. We use a combination of analytical field theoretic and numerical density matrix renormalization group (DMRG) methods to reveal the rich ground state phase diagram of the system, including novel phases such as squished baryon fluids. Remarkably, changing the parameters entails unusual crossovers and transitions, e. g., we show that increasing the magnetic field (that produces the Hall effect) may convert a "ferrometallic" state at low fields to a "squished baryon superfluid" (with algebraic pairing correlations) at high fields. We also show that this system provides a unique opportunity to study quantum phase separation in a multiflavor ultracold fermionic system.


title: The bullet problem with discrete speeds

abstract: Bullets are fired, one per second, with independent speeds sampled uniformly from a discrete set. Collisions result in mutual annihilation. We show that the second fastest bullet survives with positive probability, while a slowest bullet does not. This also holds for exponential spacings between firing times, and for certain non-uniform measures that place less probability on the second fastest bullet. Our results provide new insights into a two-sided version of the bullet process known to physicists as ballistic annihilation.


title: The z~6 Luminosity Function Fainter than -15 mag from the Hubble Frontier Fields: The Impact of Magnification Uncertainties

abstract: We use the largest sample of z~6 galaxies to date from the first four Hubble Frontier Fields clusters to set constraints on the shape of the z~6 luminosity functions (LFs) to fainter than Muv=-14 mag. We quantify, for the first time, the impact of magnification uncertainties on LF results and thus provide more realistic constraints than other recent work. Our simulations reveal that for the highly-magnified sources the systematic uncertainties can become extremely large fainter than -14 mag, reaching several orders of magnitude at 95% confidence at ~-12 mag. Our new forward-modeling formalism incorporates the impact of magnification uncertainties into the LF results by exploiting the availability of many independent magnification models for the same cluster. One public magnification model is used to construct a mock high-redshift galaxy sample that is then analyzed using the other magnification models to construct a LF. Large systematic errors occur at high magnifications (mu>30) because of differences between the models. The volume densities we derive for faint (>-17 mag) sources are ~3-4x lower than one recent report and give a faint-end slope alpha=-1.92+/-0.04, which is 3.0-3.5sigma shallower (including or not including the size uncertainties, respectively). We introduce a new curvature parameter delta to model the faint end of the LF and demonstrate that the observations permit (at 68% confidence) a turn-over at z~6 in the range -15.3 to -14.2 mag, depending on the assumed lensing model. The present consideration of magnification errors and new size determinations raise doubts about previous reports regarding the form of the LF at >-14 mag. We discuss the implications of our turn-over constraints in the context of recent theoretical predictions.


title: Whittaker supports for representations of reductive groups

abstract: Let $F$ be either $\mathbb{R}$ or a finite extension of $\mathbb{Q}_p$, and let $G$ be a finite central extension of the group of $F$-points of a reductive group defined over $F$. Also let $\pi$ be a smooth representation of $G$ (Frechet of moderate growth if $F=\mathbb{R}$). For each nilpotent orbit $\mathcal{O}$ we consider a certain Whittaker quotient $\pi_{\mathcal{O}}$ of $\pi$. We define the Whittaker support WS$(\pi)$ to be the set of maximal $\mathcal{O}$ among those for which $\pi_{\mathcal{O}}\neq 0$. In this paper we prove that all $\mathcal{O}\in\mathrm{WS}(\pi)$ are quasi-admissible nilpotent orbits, generalizing some of the results in [Moe96,JLS16]. If $F$ is $p$-adic and $\pi$ is quasi-cuspidal then we show that all $\mathcal{O}\in\mathrm{WS}(\pi)$ are $F$-distinguished, i.e. do not intersect the Lie algebra of any proper Levi subgroup of $G$ defined over $F$. We also give an adaptation of our argument to automorphic representations, generalizing some results from [GRS03,Shen16,JLS16,Cai] and confirming some conjectures from [Ginz06]. Our methods are a synergy of the methods of the above-mentioned papers, and of our preceding paper [GGS17].


title: Determining the vibrations between sensor and sample in SQUID microscopy

abstract: Vibrations can cause noise in scanning probe microscopies. Relative vibrations between the scanning sensor and the sample are important but can be more difficult to determine than absolute vibrations or vibrations relative to the laboratory. We measure the noise spectral density in a scanning SQUID microscope as a function of position near a localized source of magnetic field, and show that we can determine the spectra of all three components of the relative sensor-sample vibrations. This method is a powerful tool for diagnosing vibrational noise in scanning microscopies.


title: New methods for old spaces: synthetic differential geometry

abstract: Survey talk on certain aspects of the subject, stressing the neighbor relation as a basic notion in differential geometry.


title: Iterative Null-space Projection Method with Adaptive Thresholding in Sparse Signal Recovery and Matrix Completion

abstract: Adaptive thresholding methods have proved to yield high SNRs and fast convergence in finding the solution to the Compressed Sensing (CS) problems. Recently, it was observed that the robustness of a class of iterative sparse recovery algorithms such as Iterative Method with Adaptive Thresholding (IMAT) has outperformed the well-known LASSO algorithm in terms of reconstruction quality, convergence speed, and the sensitivity to the noise. In this paper, we introduce a new method towards solving the CS problem. The logic of this method is based on iterative projections of the thresholded signal onto the null-space of the sensing matrix. The thresholding is carried out by recovering the support of the desired signal by projection on thresholding subspaces. The simulations reveal that the proposed method has the capability of yielding noticeable output SNR values with about as many samples as twice the sparsity number, while other methods fail to recover the signals when approaching the algebraic bound for the number of samples required. The computational complexity of our method is also comparable to other methods as observed in the simulations. We have also extended our Algorithm to Matrix Completion (MC) scenarios and compared its efficiency to other well-reputed approaches for MC in the literature.


title: Radiative $h_{c/b}$ decays to $\eta$ or $\eta^\prime$

abstract: Motivated by recent measurements of the radiative decay rates of the \emph{P}-wave spin singlet charmonium $h_c$ to the light meson $\eta$ or $\eta^\prime$ by the BESIII Collaboration, we investigate the decay rates of these channels at order $\alpha \alpha_s^4$. The photon is radiated mainly from charm quark pairs in the lowest order Feynman diagrams, since the diagrams where a photon radiated from light quarks are suppressed by $\alpha_s$ or the relative charm quark velocity $v$, due to Charge parity conservation. The form factors of two gluons to $\eta$ or $\eta^\prime$ are employed, which are the major mechanism for $\eta$ and $\eta^\prime$ productions. $\eta(\eta^\prime)$ is treated as a light cone object when we consider that the parent charmonium mass is much heavier than that of the final light meson. We obtain the branching ratio ${\cal B}(h_c\to \gamma\eta^\prime) = (1.94^{+0.70}_{-0.51})\times 10^{-3}$ in the nonrelativistic QCD approach, which is in agreement with the BESIII measurement. The prediction of the branching ratio of $h_c\to \gamma\eta$ is also within the range of experimental error after including the larger uncertainty of the total decay width $\Gamma_{h_c}$. The applications of these formulae to the radiative decays to $\eta(\eta^\prime)$ of the \emph{P}-wave spin singlet bottomonium $h_b(nP)$ are presented. These studies will shed some light on the $\eta - \eta^\prime$ mixing effects, the flavor SU(3) symmetry breaking, as well as the nonperturbative dynamics of charmonium and bottomonium.


title: Flocking Virtual Machines in Quest for Responsive IoT Cloud Services

abstract: We propose Flock; a simple and scalable protocol that enables live migration of Virtual Machines (VMs) across heterogeneous edge and conventional cloud platforms to improve the responsiveness of cloud services. Flock is designed with properties that are suitable for the use cases of the Internet of Things (IoT). We describe the properties of regularized latency measurements that Flock can use for asynchronous and autonomous migration decisions. Such decisions allow communicating VMs to follow a flocking-like behavior that consists of three simple rules: separation, alignment, and cohesion. Using game theory, we derive analytical bounds on Flock's Price of Anarchy (PoA), and prove that flocking VMs converge to a Nash Equilibrium while settling in the best possible cloud platforms. We verify the effectiveness of Flock through simulations and discuss how its generic objective can simply be tweaked to achieve other objectives, such as cloud load balancing and energy consumption minimization.


title: Conditional Visualization for Statistical Models: An Introduction to the condvis Package in R

abstract: The condvis package is for interactive visualization of sections in data space, showing fitted models on the section, and observed data near the section. The primary goal is the interpretation of complex models, and showing how the observed data support the fitted model. There is a video accompaniment to this paper available at https://www.youtube.com/watch?v=rKFq7xwgdX0. This is a preprint version of an article to appear in the Journal of Statistical Software.


title: Deep Feature Consistent Variational Autoencoder

abstract: We present a novel method for constructing Variational Autoencoder (VAE). Instead of using pixel-by-pixel loss, we enforce deep feature consistency between the input and the output of a VAE, which ensures the VAE's output to preserve the spatial correlation characteristics of the input, thus leading the output to have a more natural visual appearance and better perceptual quality. Based on recent deep learning works such as style transfer, we employ a pre-trained deep convolutional neural network (CNN) and use its hidden features to define a feature perceptual loss for VAE training. Evaluated on the CelebA face dataset, we show that our model produces better results than other methods in the literature. We also show that our method can produce latent vectors that can capture the semantic information of face expressions and can be used to achieve state-of-the-art performance in facial attribute prediction.


title: On the analytical properties of the magneto-conductivity in the case of presence of stable open electron trajectories on a complex Fermi surface

abstract: We consider the electric conductivity in normal metals in presence of a strong magnetic field. It is assumed here that the Fermi surface of a metal has rather complicated form such that different types of quasiclassical electron trajectories can appear on the Fermi level for different directions of B. The effects we consider are connected with the existence of regular (stable) open electron trajectories which arise in general on complicated Fermi surfaces. The trajectories of this type have a nice geometric description and represent quasiperiodic lines with a fixed mean direction in the p-space. Being stable geometric objects, the trajectories of this kind exist for some open regions in the space of directions of B, which can be represented by "Stability Zones" on the unit sphere. The main goal of the paper is to give a description of the analytical behavior of conductivity in the Stability Zones, which demonstrates in general rather nontrivial properties.


title: The evolution of sleep is inevitable

abstract: There are two contrasting explanations of sleep: as a proximate, essential physiological function or as an adaptive state of inactivity and these hypotheses remain widely debated. To investigate the adaptive significance of sleep, we develop an evolutionary argument formulated as a tractable partial differential equation model. We allow demographic parameters such as birth and mortality rates to vary through time in both safe and vulnerable sleeping environments. From this model we analytically calculate population growth rate (fitness) for sleeping and non-sleeping strategies. We find that, in a temporally heterogeneous environment, sleeping always achieves a higher fitness than not sleeping. As organisms do not exist in constant environments, we conclude that the evolution of sleep is inevitable.


title: CO$_2$ Infrared Phonon Modes in Interstellar Ice Mixtures

abstract: CO$_2$ ice is an important reservoir of carbon and oxygen in star and planet forming regions. Together with water and CO, CO$_2$ sets the physical and chemical characteristics of interstellar icy grain mantles, including desorption and diffusion energies for other ice constituents. A detailed understanding of CO$_2$ ice spectroscopy is a prerequisite to characterize CO$_2$ interactions with other volatiles both in interstellar ices and in laboratory experiments of interstellar ice analogs. We report laboratory spectra of the CO$_2$ longitudinal optical (LO) phonon mode in pure CO$_2$ ice and in CO$_2$ ice mixtures with H$_2$O, CO, O$_2$ components. We show that the LO phonon mode position is sensitive to the mixing ratio of various ice components of astronomical interest. In the era of JWST, this characteristic could be used to constrain interstellar ice compositions and morphologies. More immediately, LO phonon mode spectroscopy provides a sensitive probe of ice mixing in the laboratory and should thus enable diffusion measurements with higher precision than has been previously possible.


title: Many-body theory of magneto-elasticity in one dimension

abstract: We construct a many-body theory of magneto-elasticity in one dimension and show that the dynamical correlation functions of the quantum magnet, connecting the spins with phonons, involve all energy scales. Accounting for all magnetic states non-perturbatively via the exact diagonalisation techniques of Bethe ansatz, we find that the renormalisation of the phonon velocity is a non-monotonous function of the external magnetic field and identify a new mechanism for attenuation of phonons - via hybridisation with the continuum of excitations at high energy. We conduct ultrasonic measurements on a high-quality single crystal of the frustrated spin-1/2 Heisenberg antiferromagnet $\textrm{Cs}_{2}\textrm{CuCl}_{4}$ in its one-dimensional regime and confirm the theoretical predictions, demonstrating that ultrasound can be used as a powerful probe of strong correlations in one dimension.


title: Comparing the Locking Threshold for Rings and Chains of Oscillators

abstract: We present a case study of how topology can affect synchronization. Specifically, we consider arrays of phase oscillators coupled in a ring or a chain topology. Each ring is perfectly matched to a chain with the same initial conditions and the same random natural frequencies. The only difference is their boundary conditions: periodic for a ring, and open for a chain. For both topologies, stable phase-locked states exist if and only if the spread or "width" of the natural frequencies is smaller than a critical value called the locking threshold (which depends on the boundary conditions and the particular realization of the frequencies). The central question is whether a ring synchronizes more readily than a chain. We show that it usually does, but not always. Rigorous bounds are derived for the ratio between the locking thresholds of a ring and its matched chain, for a variant of the Kuramoto model that also includes a wider family of models.


title: Roman domination excellent graphs: trees

abstract: A Roman dominating function (RDF) on a graph $G = (V, E)$ is a labeling $f : V \rightarrow \{0, 1, 2\}$ such that every vertex with label $0$ has a neighbor with label $2$. The weight of $f$ is the value $f(V) = \Sigma_{v\in V} f(v)$. The Roman domination number, $\gamma_R(G)$, of $G$ is the minimum weight of an RDF on $G$. An RDF of minimum weight is called a $\gamma_R$-function. A graph G is said to be $\gamma_R$-excellent if for each vertex $x \in V$ there is a $\gamma_R$-function $h_x$ on $G$ with $h_x(x) \not = 0$. We present a constructive characterization of $\gamma_R$-excellent trees using labelings. A graph $G$ is said to be in class $UVR$ if $\gamma(G-v) = \gamma (G)$ for each $v \in V$, where $\gamma(G)$ is the domination number of $G$. We show that each tree in $UVR$ is $\gamma_R$-excellent.


title: Khovanskii bases, higher rank valuations and tropical geometry

abstract: Given a finitely generated algebra $A$, it is a fundamental question whether $A$ has a full rank discrete (Krull) valuation $\mathfrak{v}$ with finitely generated value semigroup. We give a necessary and sufficient condition for this, in terms of tropical geometry of $A$. In the course of this we introduce the notion of a Khovanskii basis for $(A, \mathfrak{v})$ which provides a framework for far extending Gr\"obner theory on polynomial algebras to general finitely generated algebras. In particular, this makes a direct connection between the theory of Newton-Okounkov bodies and tropical geometry, and toric degenerations arising in both contexts. We also construct an associated compactification of $Spec(A)$. Our approach includes many familiar examples such as the Gel'fand-Zetlin degenerations of coordinate rings of flag varieties as well as wonderful compactifications of reductive groups. We expect that many examples coming from cluster algebras naturally fit into our framework.


title: Classical and strongly classical 2-absorbing second submodules

abstract: In this paper, we will introduce the concept of classical (resp. strongly classical) 2-absorbing second submodules of modules over a commutative ring as a generalization of 2-absorbing (resp. strongly 2-absorbing) second submodules and investigate some basic properties of these classes of modules.


title: Polynomial Time Algorithms for Bichromatic Problems

abstract: In this article, we consider a collection of geometric problems involving points colored by two colors (red and blue), referred to as bichromatic problems. The motivation behind studying these problems is two fold; (i) these problems appear naturally and frequently in the fields like Machine learning, Data mining, and so on, and (ii) we are interested in extending the algorithms and techniques for single point set (monochromatic) problems to bichromatic case. For all the problems considered in this paper, we design low polynomial time exact algorithms. These algorithms are based on novel techniques which might be of independent interest.


title: Alkali doping of graphene: the crucial role of high temperature annealing

abstract: The doping efficiency of lithium deposited at cryogenic temperatures on epitaxial and CVD monolayer graphene has been investigated under ultra-high vacuum conditions. Change of charge carrier density was monitored by gate voltage shift of the Dirac point and by Hall measurements, in low and high doping regimes. It was found that pre-annealing the graphene greatly enhanced the maximum levels of doping that could be achieved: doping saturated at $\Delta n = 2\times 10^{13}$ e$^-$/cm$^2$ without annealing, independent of sample type or previous processing; after a 900 K anneal, the saturated doping rose one order of magnitude to $\Delta n = 2\times 10^{14}$ e$^-$/cm$^2$.


title: Eigenstate Thermalization Hypothesis in Conformal Field Theory

abstract: We investigate the eigenstate thermalization hypothesis (ETH) in d+1 dimensional conformal field theories by studying reduced density matrices in energy eigenstates. We show that if local probes of high energy primary eigenstates satisfy ETH, then any finite energy observable with support on a subsystem of finite size satisfies ETH. In two dimensions, we discover that if ETH holds locally, the finite size reduced density matrix of states created by heavy primary operators is well-approximated by a projection to the Virasoro identity block.

categories: hep-th cond-mat.stat-mech cond-mat.str-el quant-ph


title: Possibility of Combining Ferroelectricity and Rashba-like spin splitting in Monolayers of 1T-type Transition-Metal Dichalcogenides MX2

abstract: First-principles calculations were carried out to explore the possible coupling between spin-polarized electronic states and ferroelectric polarization in monolayers of transition-metal dichalcogenides MX 2 (M = Mo, W; X = S, Se, Te) with distorted octahedrally coordinated 1T structures.For d^2 metal ions, two competing metal clustering effects can take place, where metal ions are arranged in trimers or zigzag chains. Among these, the former structural distortion comes along with an improper ferroelectric phase which persists in the monolayer limit. Switchable Rashba-like spin-polarization features are predicted in the trimerized polytype, which can be permanently tuned by acting on its ferroelectric properties. The polar trimerized structure is found to be stable for 1T-MoS 2 only, while the nonpolar polytype with zigzag metal clustering is predicted to stabilize for other transition-metal dichalcogenides with d 2 metal ions.


title: A neutrino mixing model based on an $A_4\times Z_3\times Z_4$ flavour symmetry

abstract: A model of a neutrino mixing with an $A_4\times Z_3\times Z_4$ flavour symmetry is suggested. In addition to the standard model fields, the present model contains six new fields which transform under different representations of $A_4\times Z_3\times Z_4$. The model is constructed to slightly deviate from a tri-bi-maximal model in agreement with the current experimental data, thus, all analysis can be done in the base of the perturbation method. Within this model, as an application, a relation between the mixing angles ($\theta_{12}, \theta_{23}, \theta_{13}$) and the Dirac CP-violation phase ($\delta_{CP}$) is established. This relation allows a prediction of $\delta_{CP}$ and the Jarlskog parameter ($J_{CP}$). The predicted value $\delta_{CP}$ is in the 1$\sigma$ region of the global fit for both the normal- and inverse neutrino mass ordering and gives $J_{CP}$ to be within the bound $|J_{CP}|\leq 0.04$. For an illustration, the model is checked numerically and gives values of the neutrino masses (of the order of 0.1 eV) and the mixing angle $\theta_{13}$ (about $9^\circ$) very close to the current experimental data.


title: The possible existence of Pop III NS-BH binary and its detectability

abstract: In the population synthesis simulations of Pop III stars, many BH (Black Hole)-BH binaries with merger time less than the age of the Universe $(\tau_{\rm H})$ are formed, while NS (Neutron Star)-BH binaries are not. The reason is that Pop III stars have no metal so that no mass loss is expected. Then, in the final supernova explosion to NS, much mass is lost so that the semi major axis becomes too large for Pop III NS-BH binaries to merge within $\tau_{\rm H}$. However it is almost established that the kick velocity of the order of $200-500{\rm~ km~s^{-1}}$ exists for NS from the observation of the proper motion of the pulsar. Therefore, the semi major axis of the half of NS-BH binaries can be smaller than that of the previous argument for Pop III NS-BH binaries to decrease the merging time. We perform population synthesis Monte Carlo simulations of Pop III NS-BH binaries including the kick of NS and find that the event rate of Pop III NS-BH merger rate is $\sim 1 {\rm Gpc^{-3} yr^{-1}}$. This suggests that there is a good chance of the detection of Pop III NS-BH mergers in O2 of Advanced LIGO and Advanced Virgo from this autumn.


title: A two-phase strategy for control constrained elliptic optimal control problems

abstract: Elliptic optimal control problems with pointwise box constraints on the control (EOCP) are considered. To solve EOCP, the primal-dual active set (PDAS) method, which is a special semismooth Newton (SSN) method, used to be a priority in consideration of their locally superlinear convergence. However, in general solving the Newton equations is expensive, especially when the discretization is in a fine level. Motivated by the success of applying alternating direction method of multipliers (ADMM) for solving large scale convex minimization problem in finite dimension, it is reasonable to extend the ADMM to solve EOCP. To numerically solve EOCP, the finite element (FE) method is used for discretization. Then, a two-phase strategy is presented to solve discretized problems. In Phase-I, an inexact heterogeneous ADMM (ihADMM) is proposed with the aim of solving discretized problems to moderate accuracy or using it to generate a reasonably good initial point to warm-start Phase-II. Different from the classical ADMM, our ihADMM adopts two different weighted inner product to define the augmented Lagrangian function in two subproblems, respectively. Benefiting from such different weighted techniques, two subproblems of ihADMM can be efficiently implemented. Furthermore, theoretical results on the global convergence as well as the iteration complexity results $o(1/k)$ for ihADMM are given. In Phase-II, in order to obtain more accurate solution, the primal-dual active set (PDAS) method is used as a postprocessor of the ihADMM. Numerical results show that the ihADMM and the two-phase strategy are highly efficient.


title: Plug-and-Play CNN for Crowd Motion Analysis: An Application in Abnormal Event Detection

abstract: Most of the crowd abnormal event detection methods rely on complex hand-crafted features to represent the crowd motion and appearance. Convolutional Neural Networks (CNN) have shown to be a powerful tool with excellent representational capacities, which can leverage the need for hand-crafted features. In this paper, we show that keeping track of the changes in the CNN feature across time can facilitate capturing the local abnormality. We specifically propose a novel measure-based method which allows measuring the local abnormality in a video by combining semantic information (inherited from existing CNN models) with low-level Optical-Flow. One of the advantage of this method is that it can be used without the fine-tuning costs. The proposed method is validated on challenging abnormality detection datasets and the results show the superiority of our method compared to the state-of-the-art methods.


title: Non-linear charge and energy dynamics of an adiabatically driven interacting quantum dot

abstract: We formulate a general theory to study the time-dependent charge and energy transport of an adiabatically driven interacting quantum dot in contact to a reservoir for arbitrary amplitudes of the driving potential. We study within this framework the Anderson impurity model with a local ac gate voltage. We show that the exact adiabatic quantum dynamics of this system is fully determined by the behavior of the charge susceptibility of the frozen problem. At $T=0$, we evaluate the dynamic response functions with the numerical renormalization group (NRG). The time-resolved heat production exhibits a pronounced feature described by an instantaneous Joule law characterized by an universal resistance quantum $R_0=h/(2 e^2)$ for each spin channel. We show that this law holds in non-interacting as well as in the interacting system and also when the system is spin-polarized. In addition, in the presence of a static magnetic field, the interplay between many-body interactions and spin polarization leads to a non-trivial energy exchange between electrons with different spin components.


title: Can Occipital Alpha Neurofeedback Influence LTRCs and Deterministic ERPs without Critical Branching?

abstract: Critical branching is a theoretical interaction in-between simple units, such as neuronal elements of the human brain. Zhigalov, Kaplan, and Palva (2016, Clin. Neurophysiol., 127(8), 2882-2889) revealed that neurofeedback flash stimulation locked to the phase of high-amplitude occipital alpha influences stimulus-locked occipital averages in the alpha-band. This feedback also influences the power scaling of long-range temporal correlations in alpha-band amplitude fluctuations. Seemingly, neurofeedback influences critical branching alongside there being an interaction between ongoing neuronal activity and evoked responses. However, the causal relations between these neuronal long-range temporal correlations, sustained attention, and any avalanche dynamics are called into question. Further, uncorrected concerns include false discovery rate and an objective mathematical error in the precedent (Palva et al., 2013, Proc. Nat. Acad. Sci. U.S.A., 110(9), 3585-3590). An alternative set of illustrative mathematical principles offers a preliminary fit to the effects in the data. That is, neurofeedback influences the deterministic contribution to the single-trial event-related potentials, which each flash evokes, separately from the oscillatory alpha gain that those flashes cause. Accordingly, distinct principles of this neurofeedback-related exponential occipital oscillatory alpha gain and deterministic event-related potential generation produce micro-behaviours with macroscale consequences: neurofeedback causally influences power-scaling of long-range temporal correlations without critical branching.


title: Nearest-neighbour antiferromagnetic interaction as a limiting factor for critical temperature in model DMS system

abstract: In numerous diluted magnetic semiconductor (DMS) systems, the competition takes place between the short-range antiferromagnetic (AF) superexchange interactions and the long-range Ruderman-Kittel-Kasuya-Yosida (RKKY) coupling mediated by the charge carriers. Such a situation strongly influences the critical temperature, the maximization of which constitutes a challenging task in DMS physics and technology. The aim of the paper is to discuss theoretically the limiting effect of AF interactions between nearest-neighbour magnetic ions on the stability of inhomogeneous ferromagnetic state in a model diluted magnetic system reflecting some crucial features of DMS. The modified molecular field-based model is constructed to account for the magnetic inhomogeneity. The behavior of the system is studied as a function of the ratio of superexchange integral to effective ferromagnetic coupling integral, including the possibility of clustering/anticlustering tendency for the magnetic ions. The ground state of the system is analysed. The critical temperature is found to change non-monotonically with the concentration of magnetic ions and decrease severely for larger concentrations. The behavior of the system significantly differs from the predictions of the usual homogeneous mean-field model. Brief comparison with selected experimental results for (Zn,Mn)Te is provided.


title: Syntactic Structures and Code Parameters

abstract: We assign binary and ternary error-correcting codes to the data of syntactic structures of world languages and we study the distribution of code points in the space of code parameters. We show that, while most codes populate the lower region approximating a superposition of Thomae functions, there is a substantial presence of codes above the Gilbert-Varshamov bound and even above the asymptotic bound and the Plotkin bound. We investigate the dynamics induced on the space of code parameters by spin glass models of language change, and show that, in the presence of entailment relations between syntactic parameters the dynamics can sometimes improve the code. For large sets of languages and syntactic data, one can gain information on the spin glass dynamics from the induced dynamics in the space of code parameters.


title: Volatility Inference and Return Dependencies in Stochastic Volatility Models

abstract: Stochastic volatility models describe stock returns $r_t$ as driven by an unobserved process capturing the random dynamics of volatility $v_t$. The present paper quantifies how much information about volatility $v_t$ and future stock returns can be inferred from past returns in stochastic volatility models in terms of Shannon's mutual information.


title: $X$-torsion and universal groups

abstract: For a set $X\subseteq \mathbb{N}$, we define the $X$-torsion of a group $G$ to be all elements $g\in G$ with $g^{n}=e$ for some $n\in X$. With $X$ recursively enumerable, we give two independent proofs (group-theoretic, and model-theoretic) that there exists a universal finitely presented $X$-torsion-free group; one which contains all finitely presented $X$-torsion-free groups. We also show that, if $X$ is recursively enumerable, then the set of finite presentations of $X$-torsion-free groups is $\Pi_{2}^{0}$-complete in Kleene's arithmetic hierarchy.


title: Strong electronic interaction and multiple quantum Hall ferromagnetic phases in trilayer graphene

abstract: There is an increasing interest in the electronic properties of few layer graphene as it offers a platform to study electronic interactions because the dispersion of bands can be tuned with number and stacking of layers in combination with electric field. However, electronic interaction becomes important only in very clean devices and so far the trilayer graphene experiments are understood within non-interacting electron picture. Here, we report evidence of strong electronic interactions and quantum Hall ferromagnetism (QHF) seen in ABA trilayer graphene (ABA-TLG). Due to high mobility $\sim$500,000 cm$^2$V$^{-1}$s$^{-1}$ in our device compared to previous studies, we find all symmetry broken states and that Landau Level (LL) gaps are enhanced by interactions; an aspect explained by our self-consistent Hartree-Fock (H-F) calculations. Moreover, we observe hysteresis as a function of filling factor ($\nu$) and spikes in the longitudinal resistance which, together, signal the formation of QHF states at low magnetic field.


title: Fast Bayesian inference of optical trap stiffness and particle diffusion

abstract: Bayesian inference provides a principled way of estimating the parameters of a stochastic process that is observed discretely in time. The overdamped Brownian motion of a particle confined in an optical trap is generally modelled by the Ornstein-Uhlenbeck process and can be observed directly in experiment. Here we present Bayesian methods for inferring the parameters of this process, the trap stiffness and the particle diffusion coefficient, that use exact likelihoods and sufficient statistics to arrive at simple expressions for the maximum a posteriori estimates. This obviates the need for Monte Carlo sampling and yields methods that are both fast and accurate. We apply these to experimental data and demonstrate their advantage over commonly used non-Bayesian fitting methods.


title: Uniformly most powerful unbiased test for conditional independence in Gaussian graphical model

abstract: Model selection for Gaussian concentration graph is based on multiple testing of pairwise conditional independence. In practical applications partial correlation tests are widely used. However it is not known whether partial correlation test is uniformly most powerful for pairwise conditional independence testing. This question is answered in the paper. Uniformly most powerful unbiased test of Neymann structure is obtained. It turns out, that this test can be reduced to usual partial correlation test. It implies that partial correlation test is uniformly most powerful unbiased one.


title: Suspension of the Billiard maps in the Lazutkin's coordinate

abstract: In this paper we proved that under the Lazutkin's coordinate, the billiard map can be interpolated by a time-1 flow of a Hamiltonian $H(x,p,t)$ which can be formally expressed by \[ H(x,p,t)=p^{3/2}+p^{5/2}V(x,p^{1/2},t),\quad(x,p,t)\in\T\times[0,+\infty)\times\T, \] where $V(\cdot,\cdot,\cdot)$ is $C^{r-5}$ smooth if the convex billiard boundary is $C^r$ smooth. Benefit from this suspension we can construct transitive trajectories between two adjacent caustics under a variational framework.


title: MinMax Radon Barcodes for Medical Image Retrieval

abstract: Content-based medical image retrieval can support diagnostic decisions by clinical experts. Examining similar images may provide clues to the expert to remove uncertainties in his/her final diagnosis. Beyond conventional feature descriptors, binary features in different ways have been recently proposed to encode the image content. A recent proposal is "Radon barcodes" that employ binarized Radon projections to tag/annotate medical images with content-based binary vectors, called barcodes. In this paper, MinMax Radon barcodes are introduced which are superior to "local thresholding" scheme suggested in the literature. Using IRMA dataset with 14,410 x-ray images from 193 different classes, the advantage of using MinMax Radon barcodes over \emph{thresholded} Radon barcodes are demonstrated. The retrieval error for direct search drops by more than 15\%. As well, SURF, as a well-established non-binary approach, and BRISK, as a recent binary method are examined to compare their results with MinMax Radon barcodes when retrieving images from IRMA dataset. The results demonstrate that MinMax Radon barcodes are faster and more accurate when applied on IRMA images.


title: Namba forcing, weak approximation, and guessing

abstract: We prove a variation of Easton's lemma for strongly proper forcings, and use it to prove that, unlike the stronger principle $\textsf{IGMP}$, $\textsf{GMP}$ together with $2^\omega \le \omega_2$ is consistent with the existence of an $\omega_1$-distributive nowhere c.c.c. forcing poset of size $\omega_1$. We introduce the idea of a weakly guessing model, and prove that many of the strong consequences of the principle $\textsf{GMP}$ follow from the existence of stationarily many weakly guessing models. Using Namba forcing, we construct a model in which there are stationarily many indestructibly weakly guessing models which have a bounded countable subset not covered by any countable set in the model.


title: Stacked Autoencoders for Medical Image Search

abstract: Medical images can be a valuable resource for reliable information to support medical diagnosis. However, the large volume of medical images makes it challenging to retrieve relevant information given a particular scenario. To solve this challenge, content-based image retrieval (CBIR) attempts to characterize images (or image regions) with invariant content information in order to facilitate image search. This work presents a feature extraction technique for medical images using stacked autoencoders, which encode images to binary vectors. The technique is applied to the IRMA dataset, a collection of 14,410 x-ray images in order to demonstrate the ability of autoencoders to retrieve similar x-rays given test queries. Using IRMA dataset as a benchmark, it was found that stacked autoencoders gave excellent results with a retrieval error of 376 for 1,733 test images with a compression of 74.61%.


title: Low-dose CT denoising with convolutional neural network

abstract: To reduce the potential radiation risk, low-dose CT has attracted much attention. However, simply lowering the radiation dose will lead to significant deterioration of the image quality. In this paper, we propose a noise reduction method for low-dose CT via deep neural network without accessing original projection data. A deep convolutional neural network is trained to transform low-dose CT images towards normal-dose CT images, patch by patch. Visual and quantitative evaluation demonstrates a competing performance of the proposed method.


title: The Pointillist principle for variation operators and jump functions

abstract: We extend the pointillist principles of Moon and Carrillo--de Guzm\'an to variational operators and jump functions.


title: L-Convex Polyominoes are Recognizable in Real Time by 2D Cellular Automata

abstract: A polyomino is said to be L-convex if any two of its cells are connected by a 4-connected inner path that changes direction at most once. The 2-dimensional language representing such polyominoes has been recently proved to be recognizable by tiling systems by S. Brocchi, A. Frosini, R. Pinzani and S. Rinaldi. In an attempt to compare recognition power of tiling systems and cellular automata, we have proved that this language can be recognized by 2-dimensional cellular automata working on the von Neumann neighborhood in real time. Although the construction uses a characterization of L-convex polyominoes that is similar to the one used for tiling systems, the real time constraint which has no equivalent in terms of tilings requires the use of techniques that are specific to cellular automata.


title: Accelerating Deep Convolutional Networks using low-precision and sparsity

abstract: We explore techniques to significantly improve the compute efficiency and performance of Deep Convolution Networks without impacting their accuracy. To improve the compute efficiency, we focus on achieving high accuracy with extremely low-precision (2-bit) weight networks, and to accelerate the execution time, we aggressively skip operations on zero-values. We achieve the highest reported accuracy of 76.6% Top-1/93% Top-5 on the Imagenet object classification challenge with low-precision network\footnote{github release of the source code coming soon} while reducing the compute requirement by ~3x compared to a full-precision network that achieves similar accuracy. Furthermore, to fully exploit the benefits of our low-precision networks, we build a deep learning accelerator core, dLAC, that can achieve up to 1 TFLOP/mm^2 equivalent for single-precision floating-point operations (~2 TFLOP/mm^2 for half-precision).


title: Traffic Predictive Control from Low-Rank Structure

abstract: The operation of most signalized intersections is governed by predefined timing plans that are applied during specified times of the day. These plans are designed to accommodate average conditions and are unable to respond to large deviations in traffic flow. We propose a control approach that adjusts time-of-day signaling plans based on a prediction of future traffic flow. The prediction algorithm identifies correlated, low rank structure in historical measurement data and predicts future traffic flow from real-time measurements by determining which structural trends are prominent in the measurements. From this prediction, the controller then determines the optimal time of day to apply new timing plans. We demonstrate the potential benefits of this approach using eight months of high resolution data collected at an intersection in Beaufort, South Carolina.


title: Instability of Chern-Simons Theory with Fermions at Large N

abstract: We study the (in)stability around the dynamical gap solution of the $U(N)$ Chern-Simons gauge theory with fundamental fermions (massless or massive) coupled in $D=3$ at large $N$. Explicit analyses on both the Auxiliary-Field (AF) and the Cornwall-Jackiw-Tomboulis (CJT) effective potentials are given. In both approaches we manage to analytically identify the saddle-point instability around the gap solution. We also give a comparison with the QCD-like theories. This study can help understanding the scale symmetry breaking picture of this theory.


title: Improving Comparison Shopping Agents' Competence through Selective Price Disclosure

abstract: The plethora of comparison shopping agents (CSAs) in today's markets enables buyers to query more than a single CSA when shopping, and an inter-CSAs competition naturally arises. We suggest a new approach, termed "selective price disclosure", which improves the attractiveness of a CSA by removing some of the prices in the outputted list. The underlying idea behind this approach is to affect the buyer's beliefs regarding the chance of obtaining more attractive prices. The paper presents two methods, which are suitable for fully-rational buyers, for deciding which prices among those known to the CSA should be disclosed. The effectiveness and efficiency of the methods are evaluated using real data collected from five CSAs. The methods are also evaluated with human subjects, showing that selective price disclosure can be highly effective in this case as well, however, the disclosed subset of prices should be extracted in a different (simplistic) manner.


title: On the Preciseness of Subtyping in Session Types

abstract: Subtyping in concurrency has been extensively studied since early 1990s as one of the most interesting issues in type theory. The correctness of subtyping relations has been usually provided as the soundness for type safety. The converse direction, the completeness, has been largely ignored in spite of its usefulness to define the largest subtyping relation ensuring type safety. This paper formalises preciseness (i.e. both soundness and completeness) of subtyping for mobile processes and studies it for the synchronous and the asynchronous session calculi. We first prove that the well-known session subtyping, the branching-selection subtyping, is sound and complete for the synchronous calculus. Next we show that in the asynchronous calculus, this subtyping is incomplete for type-safety: that is, there exist session types T and S such that T can safely be considered as a subtype of S, but T < S is not derivable by the subtyping. We then propose an asynchronous subtyping system which is sound and complete for the asynchronous calculus. The method gives a general guidance to design rigorous channel-based subtypings respecting desired safety properties. Both the synchronous and the asynchronous calculus are first considered with lin ear channels only, and then they are extended with session initialisations and c ommunications of expressions (including shared channels).