title: DeepASL: Kinetic Model Incorporated Loss for Denoising Arterial Spin Labeled MRI via Deep Residual Learning

abstract: Arterial spin labeling (ASL) allows to quantify the cerebral blood flow (CBF) by magnetic labeling of the arterial blood water. ASL is increasingly used in clinical studies due to its noninvasiveness, repeatability and benefits in quantification. However, ASL suffers from an inherently low-signal-to-noise ratio (SNR) requiring repeated measurements of control/spin-labeled (C/L) pairs to achieve a reasonable image quality, which in return increases motion sensitivity. This leads to clinically prolonged scanning times increasing the risk of motion artifacts. Thus, there is an immense need of advanced imaging and processing techniques in ASL. In this paper, we propose a novel deep learning based approach to improve the perfusion-weighted image quality obtained from a subset of all available pairwise C/L subtractions. Specifically, we train a deep fully convolutional network (FCN) to learn a mapping from noisy perfusion-weighted image and its subtraction (residual) from the clean image. Additionally, we incorporate the CBF estimation model in the loss function during training, which enables the network to produce high quality images while simultaneously enforcing the CBF estimates to be as close as reference CBF values. Extensive experiments on synthetic and clinical ASL datasets demonstrate the effectiveness of our method in terms of improved ASL image quality, accurate CBF parameter estimation and considerably small computation time during testing.


title: An adaptive multiclass nearest neighbor classifier

abstract: We consider a problem of multiclass classification, where the training sample $S_n = \{(X_i, Y_i)\}_{i=1}^n$ is generated from the model $\mathbb P(Y = m | X = x) = \eta_m(x)$, $1 \leq m \leq M$, and $\eta_1(x), \dots, \eta_M(x)$ are unknown $\alpha$-Holder continuous functions.Given a test point $X$, our goal is to predict its label. A widely used $\mathsf k$-nearest-neighbors classifier constructs estimates of $\eta_1(X), \dots, \eta_M(X)$ and uses a plug-in rule for the prediction. However, it requires a proper choice of the smoothing parameter $\mathsf k$, which may become tricky in some situations. In our solution, we fix several integers $n_1, \dots, n_K$, compute corresponding $n_k$-nearest-neighbor estimates for each $m$ and each $n_k$ and apply an aggregation procedure. We study an algorithm, which constructs a convex combination of these estimates such that the aggregated estimate behaves approximately as well as an oracle choice. We also provide a non-asymptotic analysis of the procedure, prove its adaptation to the unknown smoothness parameter $\alpha$ and to the margin and establish rates of convergence under mild assumptions.


title: A Bayesian sequential test for the drift of a fractional Brownian motion

abstract: We consider a fractional Brownian motion with unknown linear drift such that the drift coefficient has a prior normal distribution and construct a sequential test for the hypothesis that the drift is positive versus the alternative that it is negative. We show that the problem of constructing the test reduces to an optimal stopping problem for a standard Brownian motion, obtained by a transformation of the fractional one. The solution is described as the first exit time from some set, whose boundaries are shown to satisfy a certain integral equation, which is solved numerically.


title: In-situ tuning of individual position-controlled nanowire quantum dots via laser-induced intermixing

abstract: We demonstrate an in-situ technique to tune the emission energy of semiconductor quantum dots. The technique is based on laser-induced atomic intermixing applied to nanowire quantum dots grown using a site-selective process that allows for the deterministic tuning of individual emitters. A tuning range of up to 15 meV is obtained with a precision limited by the laser exposure time. A distinct saturation of the energy shift is observed, which suggests an intermixing mechanism relying on grown-in defects that are subsequently removed from the semiconductor material during annealing. The ability to tune different emitters into resonance with each other will be required for fabricating remote quantum dot-based sources of indistinguishable photons for secure quantum networks.


title: Order Effects for Queries in Intelligent Systems

abstract: This paper examines common assumptions regarding the decision-making internal environment for intelligent agents and investigates issues related to processing of memory and belief states to help obtain better understanding of the responses. In specific, we consider order effects and discuss both classical and non-classical explanations for them. We also consider implicit cognition and explore if certain inaccessible states may be best modeled as quantum states. We propose that the hypothesis that quantum states are at the basis of order effects be tested on large databases such as those related to medical treatment and drug efficacy. A problem involving a maze network is considered and comparisons made between classical and quantum decision scenarios for it.


title: Automatically assembling a full census of an academic field

abstract: The composition of the scientific workforce shapes the direction of scientific research, directly through the selection of questions to investigate, and indirectly through its influence on the training of future scientists. In most fields, however, complete census information is difficult to obtain, complicating efforts to study workforce dynamics and the effects of policy. This is particularly true in computer science, which lacks a single, all-encompassing directory or professional organization. A full census of computer science would serve many purposes, not the least of which is a better understanding of the trends and causes of unequal representation in computing. Previous academic census efforts have relied on narrow or biased samples, or on professional society membership rolls. A full census can be constructed directly from online departmental faculty directories, but doing so by hand is prohibitively expensive and time-consuming. Here, we introduce a topical web crawler for automating the collection of faculty information from web-based department rosters, and demonstrate the resulting system on the 205 PhD-granting computer science departments in the U.S. and Canada. This method constructs a complete census of the field within a few minutes, and achieves over 99% precision and recall. We conclude by comparing the resulting 2017 census to a hand-curated 2011 census to quantify turnover and retention in computer science, in general and for female faculty in particular, demonstrating the types of analysis made possible by automated census construction.


title: Tamari Lattices for Parabolic Quotients of the Symmetric Group

abstract: We generalize the Tamari lattice by extending the notions of $231$-avoiding permutations, noncrossing set partitions, and nonnesting set partitions to parabolic quotients of the symmetric group $\mathfrak{S}_{n}$. We show bijectively that these three objects are equinumerous. We show how to extend these constructions to parabolic quotients of any finite Coxeter group. The main ingredient is a certain aligned condition of inversion sets; a concept which can in fact be generalized to any reduced expression of any element in any (not necessarily finite) Coxeter group.


title: Reconstruction of a kinetic k--essence Lagrangian from a modified of dark energy equation of state

abstract: In this paper the Lagrangian density of a purely kinetic k--essence that models the behavior of dark energy described by four parameterized equations of state proposed by Cooray \& Huterer (Astrophys. J. {\bf 513} L95, 1999), Zhang \& Wu (Mod. Phys. Lett. A {\bf 27} 1250030, 2012), Linder (Phys. Rev. Lett. {\bf 90} 091301, 2003), Efstathiou (Mon. Not. Roy. Astron. Soc. {\bf 310} 842, 2000), and Feng \& Lu (J. Cosmol. Astropart. Phys. {\bf 1111} 034, 2011) has been reconstructed. This reconstruction is performed using the method outlined by de Putter \& Linder (Astropart.\ Phys.\ {\bf 28} 263, 2007), which makes it possible to solve the equations that relate the Lagrangian density of the k--essence with the given equation of state (EoS) numerically. Finally, we discuss the observational constraints for the models based on 586 SNIa data points from the LOSS data set compiled by Ganeshalingam et al. (Mon. Not Roy. Astron. Soc. {\bf 433} 2240, 2013).


title: Comparison of non-linear activation functions for deep neural networks on MNIST classification task

abstract: Activation functions play a key role in neural networks so it becomes fundamental to understand their advantages and disadvantages in order to achieve better performances. This paper will first introduce common types of non linear activation functions that are alternative to the well known sigmoid function and then evaluate their characteristics. Moreover deeper neural networks will be analysed because they positively influence the final performances compared to shallower networks. They also strictly depend on the weight initialisation hence the effect of drawing weights from Gaussian and uniform distribution will be analysed making particular attention on how the number of incoming and outgoing connection to a node influence the whole network.


title: A screened independent atom model for the description of ion collisions from atomic and molecular clusters

abstract: We apply a recently introduced model for an independent-atom-like calculation of ion-impact electron transfer and ionization cross sections to proton collisions from water, neon, and carbon clusters. The model is based on a geometrical interpretation of the cluster cross section as an effective area composed of overlapping circular disks that are representative of the atomic contributions. The latter are calculated using a time-dependent density-functional-theory-based single-particle description with accurate exchange-only ground-state potentials. We find that the net capture and ionization cross sections in p-X$_n$ collisions are proportional to $n^\alpha$ with $2/3 \le \alpha \le 1$. For capture from water clusters at 100 keV impact energy $\alpha$ is close to one, which is substantially different from the value $\alpha=2/3$ predicted by a previous theoretical work based on the simplest-level electron nuclear dynamics method. For ionization at 100 keV and for capture at lower energies we find smaller $\alpha$ values than for capture at 100 keV. This can be understood by considering the magnitude of the atomic cross sections and the resulting overlaps of the circular disks that make up the cluster cross section in our model. Results for neon and carbon clusters confirm these trends. Simple parametrizations are found which fit the cross sections remarkably well and suggest that they depend on the relevant bond lengths.


title: A Precision Experiment to Investigate Long-Lived Radioactive Decays

abstract: Radioactivity is understood to be described by a Poisson process, yet some measurements of nuclear decays appear to exhibit unexpected variations. Generally, the isotopes reporting these variations have long half lives, which are plagued by large measurement uncertainties. In addition to these inherent problems, there are some reports of time-dependent decay rates and even claims of exotic neutrino-induced variations. We present a dedicated experiment for the stable long-term measurement of gamma emissions resulting from $\beta$ decays, which will provide high-quality data and allow for the identification of potential systematic influences. Radioactive isotopes are monitored redundantly by thirty-two 76 mm $\times$ 76 mm NaI(Tl) detectors in four separate temperature-controlled setups across three continents. In each setup, the monitoring of environmental and operational conditions facilitates correlation studies. The deadtime-free performance of the data acquisition system is monitored by LED pulsers. Digitized photomultiplier waveforms of all events are recorded individually, enabling a study of time-dependent effects spanning microseconds to years, using both time-binned and unbinned analyses. We characterize the experiment's stability and show that the relevant systematics are accounted for, enabling precise measurements of effects at levels well below $\mathcal{O}(10^{-4})$.


title: Quantifying Confidence in DFT Predicted Surface Pourbaix Diagrams and Associated Reaction Pathways for Chlorine Evolution

abstract: Density functional theory calculations can be used to identify dominant reaction mechanisms. However, the dominant reaction mechanism is sensitive to choice of the exchange correlation functional. Here, we demonstrate using the example case of chlorine evolution reaction on rutile oxides, which can occur through at least three reaction mechanisms each mediated by different surface intermediates and active sites. We utilize Bayesian error estimation capabilities within the BEEF-vdW exchange correlation (XC) functional to quantify the uncertainty associated with predictions of the operative reaction mechanism by systematically propagating the uncertainty originating from DFT-computed adsorption free energies. We construct surface Pourbaix diagrams based on the calculated adsorption free energies for rutile oxides of Ru, Ir, Ti, Pt, V, Sn and Rh. We utilize confidence-value (c-value) to determine the degree of confidence in the predicted surface phase diagrams. Using the scaling relations between the adsorption energies of intermediates we construct a generalized Pourbaix diagram showing the stable surface composition as a function of potential and the oxygen binding energy on the cus site. This is used to consistently determine activity volcano relationships. We incorporate the uncertainty in linear scaling relations to quantify the confidence in generalized Pourbaix diagram and the associated activity. This allows us to compute the expectation limiting potential as a function of $\Delta E_{O^c}$, which provides a more appropriate activity measure incorporating DFT uncertainty. We show that the confidence in the classification problem of identifying the active reaction mechanism is much better than the prediction problem of determining catalytic activity.


title: YOLOv3: An Incremental Improvement

abstract: We present some updates to YOLO! We made a bunch of little design changes to make it better. We also trained this new network that's pretty swell. It's a little bigger than last time but more accurate. It's still fast though, don't worry. At 320x320 YOLOv3 runs in 22 ms at 28.2 mAP, as accurate as SSD but three times faster. When we look at the old .5 IOU mAP detection metric YOLOv3 is quite good. It achieves 57.9 mAP@50 in 51 ms on a Titan X, compared to 57.5 mAP@50 in 198 ms by RetinaNet, similar performance but 3.8x faster. As always, all the code is online at https://pjreddie.com/yolo/


title: Finite element simulation of fluid dynamics and CO$_2$ gas exchange in the alveolar sacs of the human lung

abstract: In this article we present a numerical framework based on continuum models for the fluid dynamics and the CO$_2$ gas distribution in the alveolar sacs of the human lung during expiration and inspiration, including the gas exchange to the cardiovascular system. We include the expansion and contraction of the geometry by means of the Arbitrary Lagrangian Eulerian (ALE) method. For discretisation, we use equal-order finite elements in combination with pressure-stabilisation techniques based on local projections or interior penalties. We derive formulations for both techniques that are suitable on arbitrarily anisotropic meshes. These formulations are novel within the ALE method. Moreover, we investigate the effect of different boundary conditions, that vary between inspiration and expiration. We present numerical results on a simplified two-dimensional alveolar sac geometry and investigate the influence of the pressure stabilisations as well as the boundary conditions


title: Representations of Quantum Groups defined over Commutative Rings III

abstract: We survey some of our old results given in [CE95] and [CE10] and present some new ones in the last three sections.We survey some of our old results given in [CE95] and [CE10] and present some new ones in the last three sections.


title: A Modified Smoothed Particle Hydrodynamics Approach for Modelling Dynamic Contact Angle Hysteresis

abstract: Dynamic wetting plays an important role in the physics of multiphase flow, and has significant influence on many industrial and geotechnical applications. In this work, a modified smoothed particle hydrodynamics (SPH) model is employed to simulate surface tension, contact angle, and dynamic wetting effects. The wetting and dewetting phenomena are simulated in a capillary tube, where the liquid particles are raised or withdrawn by a shifting substrate. The SPH model is modified by introducing a newly-developed viscous force formulation at liquid-solid interface to reproduce the rate-dependent behaviour of moving contact line. Dynamic contact angle simulations with interfacial viscous force are conducted to verify the effectiveness and accuracy of this new formulation. In addition, the influence of interfacial viscous force with different magnitude on contact angle dynamics is examined by empirical power law correlations, and the derived constants suggest the dynamic contact angle changes monotonically with interfacial viscous force. The simulation results are consistent with the experimental observations and theoretical predictions, implying that the interfacial viscous force can be associated with slip length of flow and microscopic surface roughness. This work has demonstrated that the modified SPH model can successfully account for the rate-dependent effects of moving contact line, and can be used for realistic multiphase flow simulation under dynamic conditions.


title: Estimating Depth from RGB and Sparse Sensing

abstract: We present a deep model that can accurately produce dense depth maps given an RGB image with known depth at a very sparse set of pixels. The model works simultaneously for both indoor/outdoor scenes and produces state-of-the-art dense depth maps at nearly real-time speeds on both the NYUv2 and KITTI datasets. We surpass the state-of-the-art for monocular depth estimation even with depth values for only 1 out of every ~10000 image pixels, and we outperform other sparse-to-dense depth methods at all sparsity levels. With depth values for 1/256 of the image pixels, we achieve a mean absolute error of less than 1% of actual depth on indoor scenes, comparable to the performance of consumer-grade depth sensor hardware. Our experiments demonstrate that it would indeed be possible to efficiently transform sparse depth measurements obtained using e.g. lower-power depth sensors or SLAM systems into high-quality dense depth maps.


title: Active Mini-Batch Sampling using Repulsive Point Processes

abstract: The convergence speed of stochastic gradient descent (SGD) can be improved by actively selecting mini-batches. We explore sampling schemes where similar data points are less likely to be selected in the same mini-batch. In particular, we prove that such repulsive sampling schemes lowers the variance of the gradient estimator. This generalizes recent work on using Determinantal Point Processes (DPPs) for mini-batch diversification (Zhang et al., 2017) to the broader class of repulsive point processes. We first show that the phenomenon of variance reduction by diversified sampling generalizes in particular to non-stationary point processes. We then show that other point processes may be computationally much more efficient than DPPs. In particular, we propose and investigate Poisson Disk sampling---frequently encountered in the computer graphics community---for this task. We show empirically that our approach improves over standard SGD both in terms of convergence speed as well as final model performance.


title: Novelty and Foreseeing Research Trends; The Case of Astrophysics and Astronomy

abstract: Metrics based on reference lists of research articles or on keywords have been used to predict citation impact. The concept behind such metrics is that original ideas stem from the reconfiguration of the structure of past knowledge, and therefore atypical combinations in the reference lists, keywords, or classification codes indicate future high impact research. The current paper serves as an introduction to this line of research for astronomers and also addresses some methodological questions of this field of innovation studies. It is still not clear if the choice of particular indexes, such as references to journals, articles, or specific bibliometric classification codes would affect the relationship between atypical combinations and citation impact. To understand more aspects of the innovation process, a new metric has been devised to measure to what extent researchers are able to anticipate the changing combinatorial trends of the future. Results show that the variant of the latter anticipation scores that is based on paper combinations is a good predictor of future citation impact of scholarly works. The study also shows that the effect of tested indexes vary with the aggregation level that was used to construct them. A detailed analysis of combinatorial novelty in the field reveals that certain sub-fields of astronomy and astrophysics have different roles in the reconfiguration in past knowledge.


title: Universal Limits of Thermopower and Figure of Merit from Transport Energy Statistics

abstract: The search for new thermoelectric materials aims at improving their power and efficiency, as expressed by thermopower $S$ and figure of merit $ZT$. By considering a very general transport spectral function $W(E)$, expressions for $S$ and $ZT$ can be derived, which contain the statistical weights of an effective distribution function only, see Refs. \cite{eltschka16,mahan96,matveev00}. We assumption of a Lorentzian shape with width $k_BT$ resulting from the electron-phonon coupling allows to estimate an upper limit of $S$ and $ZT$ independent on the microscopic mechanisms of the transport process. A simple estimate for an upper limit of the thermopwer $S$ is derived from {} formula. It is given by 3 times the unit of the thermopower $k_b/e$ which is about 250~$\mu V/K$. We consider different systems which represent the general features of the electronic structure of thermoelectric relevant materials very well. The transport integrals were evaluated varying the band gap size and the chemical potential position. For all cases upper limits for both, the thermopower and the figure of merit, are obtained. The universal limit of $|S|$ is given by 1.88 in units of $k_B/e$, which is about 160~$\mu V/K$. The universal limit for $ZT$ is obtained by about 1.11, which is in good agreement with available thermoelectric systems and devices.


title: Exploring the Atmosphere of Neoproterozoic Earth: The Effect of O$_{2}$ on Haze Formation and Composition

abstract: Previous studies of haze formation in the atmosphere of the Early Earth have focused on N$_{2}$/CO$_{2}$/CH$_{4}$ atmospheres. Here, we experimentally investigate the effect of O$_{2}$ on the formation and composition of aerosols to improve our understanding of haze formation on the Neoproterozoic Earth. We obtained in situ size, particle density, and composition measurements of aerosol particles produced from N$_{2}$/CO$_{2}$/CH$_{4}$/O$_{2}$ gas mixtures subjected to FUV radiation (115-400 nm) for a range of initial CO$_{2}$/CH$_{4}$/O$_{2}$ mixing ratios (O$_{2}$ ranging from 2 ppm to 0.2\%). At the lowest O$_{2}$ concentration (2 ppm), the addition increased particle production for all but one gas mixture. At higher oxygen concentrations (20 ppm and greater) particles are still produced, but the addition of O$_{2}$ decreases the production rate. Both the particle size and number density decrease with increasing O$_{2}$, indicating that O$_{2}$ affects particle nucleation and growth. The particle density increases with increasing O$_{2}$. The addition of CO$_{2}$ and O$_{2}$ not only increases the amount of oxygen in the aerosol, but it also increases the degree of nitrogen incorporation. In particular, the addition of O$_{2}$ results in the formation of nitrate bearing molecules. The fact that the presence of oxygen bearing molecules increases the efficiency of nitrogen fixation has implications for the role of haze as a source of molecules required for the origin and evolution of life. The composition changes also likely affect the absorption and scattering behavior of these particles but optical properties measurements are required to fully understand the implications for the effect on the planetary radiative energy balance and climate.


title: Aldous' Spectral Gap Conjecture for Normal Sets

abstract: Let $S_n$ denote the symmetric group on $n$ elements, and $\Sigma\subseteq S_{n}$ a symmetric subset of permutations. Aldous' spectral gap conjecture, proved by Caputo, Liggett and Richthammer [arXiv:0906.1238], states that if $\Sigma$ is a set of transpositions, then the second eigenvalue of the Cayley graph $\mathrm{Cay}\left(S_{n},\Sigma\right)$ is identical to the second eigenvalue of the Schreier graph on $n$ vertices depicting the action of $S_{n}$ on $\left\{ 1,\ldots,n\right\}$. Inspired by this seminal result, we study similar questions for other types of sets in $S_{n}$. Specifically, we consider normal sets: sets that are invariant under conjugation. Relying on character bounds due to Larsen and Shalev [2008], we show that for large enough $n$, if $\Sigma\subset S_{n}$ is a full conjugacy class, then the second eigenvalue of $\mathrm{Cay}\left(S_{n},\Sigma\right)$ is roughly identical to the second eigenvalue of the Schreier graph depicting the action of $S_{n}$ on ordered $4$-tuples of elements from $\left\{ 1,\ldots,n\right\}$. We further show that this type of result does not hold when $\Sigma$ is an arbitrary normal set, but a slightly weaker one does hold. We state a conjecture in the same spirit regarding an arbitrary symmetric set $\Sigma\subset S_{n}$, which yields surprisingly strong consequences.


title: On factorized Lax pairs for classical many-body integrable systems

abstract: In this paper we study factorization formulae for the Lax matrices of the classical Ruijsenaars-Schneider and Calogero-Moser models. We review the already known results and discuss their possible origins. The first origin comes from the IRF-Vertex relations and the properties of the intertwining matrices. The second origin is based on the Schlesinger transformations generated by modifications of underlying vector bundles. We show that both approaches provide explicit formulae for $M$-matrices of the integrable systems in terms of the intertwining matrices (and/or modification matrices). In the end we discuss the Calogero-Moser models related to classical root systems. The factorization formulae are proposed for a number of special cases.


title: Three Dimensional Aggregation of Magnetic Particles

abstract: Magnetic drug delivery is a promising therapeutic because of magnetic fields' ability to permeate unperturbed in human tissue. One of the long-standing challenges in magnetic drug delivery is the inability to generate 3D aggregation non-invasively within the interior of the body. Earnshaw's theorem, which proves the impossibility of creating an energetic minimum in a curl-free and divergence-free field such as a magnetic field. However, one of the assumptions of Earnshaw's theorem is a static field. Here we show that it is possible to utilize a dynamically changing field and a dissipative force such as the drag, which is generally present, to create a stable aggregation point for magnetic particles. We also introduce a theoretical framework for designing the suitable magnetic fields for controlling a given magnetic particle in a particular fluid. This framework enables accurate determination of the necessary parameters for aggregation across a wide variety of magnetic particles and across multiple biologically-relevant fluids. By coating magnetic particles with desired therapeutic agents or attaching them to cells, a new class of treatment methodologies can be created in therapies such as targeted drug delivery and cell-based therapies. By dynamically changing the aggregation point, agents can also be guided along a particular path in the body. This technique of using dissipative forces to create a stable 3D aggregation point for particles could possibly be extended to a broad range of applications such as microscopic and macroscopic manipulation, robotics, guided self-assembly, magnetic plasma confinement, tissue engineering, and ion traps for quantum computers.


title: Block monotone iterative methods for solving coupled systems of nonlinear elliptic problems

abstract: This paper investigates numerical methods for solving coupled system of nonlinear elliptic problems. We utilize block monotone iterative methods based on Jacobi and Gauss--Seidel methods to solve difference schemes which approximate the coupled system of nonlinear elliptic problems. In the view of upper and lower solutions method, two monotone upper and lower sequences of solutions are constructed, where the monotone property ensures the theorem on existence of solutions to problems with quasimonotone nondecreasing reaction functions. Construction of initial upper and lower solutions is presented. The sequences of solutions generated by the block Gauss--Seidel method converge not slower than by the block Jacobi method.Mohamed


title: Counting Triangles under Updates in Worst-Case Optimal Time

abstract: We consider the problem of incrementally maintaining the triangle count query under single-tuple updates to the input relations. We introduce an approach that exhibits a space-time tradeoff such that the space-time product is quadratic in the size of the input database and the update time can be as low as the square root of this size. This lowest update time is worst-case optimal conditioned on the Online Matrix-Vector Multiplication conjecture. The classical and factorized incremental view maintenance approaches are recovered as special cases of our approach within the space-time tradeoff. In particular, they require linear-time update maintenance, which is suboptimal. Our approach also recovers the worst-case optimal time complexity for computing the triangle count in the non-incremental setting.


title: An Efficient Privacy-Preserving Algorithm based on Randomized Response in IoT-based Smart Grid

abstract: Among existing privacy-preserving approaches, Differential Privacy (DP) is a powerful tool that can provide privacy-preserving noisy query answers over statistical databases and has been widely adopted in many practical fields. In particular, as a privacy machine of DP, Randomized Aggregable Privacy-Preserving Ordinal Response (RAPPOR) enables strong privacy, efficient, and high-utility guarantees for each client string in data crowdsourcing. However, as for Internet of Things(IoT), such as smart gird, data are often processed in batches. Therefore, developing a new random response algorithm that can support batch-processing tend to make it more efficient and suitable for IoT applications than existing random response algorithms. In this paper, we propose a new randomized response algorithm that can achieve differential-privacy and utility guar-antees for consumer's behaviors, and process a batch of data at each time. Firstly, by applying sparse coding in this algorithm, a behavior signature dictionary is created from the aggregated energy consumption data in fog. Then, we add noise into the behavior signature dictionary by classical randomized response techniques and achieve the differential privacy after data re-aggregation. Through the security analysis with the principle of differential privacy and experimental results verification, we find that our Algorithm can preserve consumer's privacy with-out comprising utility.


title: Josephson currents in chaotic quantum dots

abstract: We study theoretically the Josephson current-phase relationship in a chaotic quantum dot coupled to superconductors by ballistic contacts. In this regime, strong proximity effect induces superconductivity in the quantum dot that leads to a significant modification in the electron density of states and formation of multiple sub-gaps. The magnitude of the resulting supercurrent depends on the phase difference of the superconducting order parameter in the leads and shows strongly anharmonic skewed behavior. We find that when the Thouless energy on the dot exceeds the superconducting energy gap, the second harmonic of the supercurrent becomes comparable in magnitude to the first harmonic. To address these effects on the technical level, we use the nonlinear $\sigma$-model Keldysh formalism in the framework of the circuit theory to compute dependence of the density of states, Josephson energy, and current on the superconducting phases in the leads. We analyze how these quantities change as a function of the Thouless energy and the superconducting gap. Finally, we briefly discuss sub-gap tail states, mesoscopic supercurrent fluctuations, weak localization correction, and also touch on anharmonicity of gatemon qubits with quantum dot Josephson junctions.


title: A critical examination of constraints on the equation of state of dense matter obtained from GW170817

abstract: The correlation of the tidal polarizabilities $\Lambda_1$-$\Lambda_2$ for GW170817 is predicted by combining dense-matter equations of state (EOSs) that satisfy nuclear physics constraints with the chirp mass and mass asymmetry for this event. Our models are constrained by calculations of the neutron-matter EOS using chiral effective field theory Hamiltonians with reliable error estimates up to once or twice the nuclear saturation density. In the latter case, we find that GW170817 does not improve our understanding of the EOS. We contrast two distinct extrapolations to higher density: a minimal model (MM) which assumes that the EOS is a smooth function of density described by a Taylor expansion and a more general model parametrized by the speed of sound that admits phase transitions. This allows us to identify regions in the $\Lambda_1$-$\Lambda_2$ plots that could favor the existence of new phases of matter in neutron stars. We predict the combined tidal polarizability of the two neutron stars in GW170817 to be $80\le \tilde{\Lambda}\le 580$ ($280\le \tilde{\Lambda}\le 480$ for the MM), which is smaller than the range suggested by the LIGO-Virgo data analysis. Our analysis also shows that GW170817 requires a NS with $M=1.4M_\odot$ to have a radius $9.0<R_{1.4}<13.6$~km ($ 11.3 <R_{1.4}< 13.6$~km for the MM).


title: Bayesian Estimation of Attribute and Identification Disclosure Risks in Synthetic Data

abstract: The synthetic data approach to data confidentiality has been actively researched on, and for the past decade or so, a good number of high quality work on developing innovative synthesizers, creating appropriate utility measures and risk measures, among others, have been published. Comparing to a large volume of work on synthesizers development and utility measures creation, measuring risks has overall received less attention. This paper focuses on the detailed construction of some Bayesian methods proposed for estimating disclosure risks in synthetic data. In the processes of presenting attribute and identification disclosure risks evaluation methods, we highlight key steps, emphasize Bayesian thinking, illustrate with real application examples, and discuss challenges and future research directions. We hope to give the readers a comprehensive view of the Bayesian estimation procedures, enable synthetic data researchers and producers to use these procedures to evaluate disclosure risks, and encourage more researchers to work in this important growing field.


title: Maximizing the Number of Spanning Trees in a Connected Graph

abstract: We study the problem of maximizing the number of spanning trees in a connected graph by adding at most $k$ edges from a given candidate edge set. We give both algorithmic and hardness results for this problem: - We give a greedy algorithm that, using submodularity, obtains an approximation ratio of $(1 - 1/e - \epsilon)$ in the exponent of the number of spanning trees for any $\epsilon > 0$ in time $\tilde{O}(m \epsilon^{-1} + (n + q) \epsilon^{-3})$, where $m$ and $q$ is the number of edges in the original graph and the candidate edge set, respectively. Our running time is optimal with respect to the input size up to logarithmic factors, and substantially improves upon the $O(n^3)$ running time of the previous proposed greedy algorithm with approximation ratio $(1 - 1/e)$ in the exponent. Notably, the independence of our running time of $k$ is novel, comparing to conventional top-$k$ selections on graphs that usually run in $\Omega(mk)$ time. A key ingredient of our greedy algorithm is a routine for maintaining effective resistances under edge additions in an online-offline hybrid setting. - We show the exponential inapproximability of this problem by proving that there exists a constant $c > 0$ such that it is NP-hard to approximate the optimum number of spanning trees in the exponent within $(1 - c)$. This inapproximability result follows from a reduction from the minimum path cover in undirected graphs, whose hardness again follows from the constant inapproximability of the Traveling Salesman Problem (TSP) with distances 1 and 2. Thus, the approximation ratio of our algorithm is also optimal up to a constant factor in the exponent. To our knowledge, this is the first hardness of approximation result for maximizing the number of spanning trees in a graph, or equivalently, by Kirchhoff's matrix-tree theorem, maximizing the determinant of an SDDM matrix.


title: Experimental TDPAC and Theoretical DFT Study of Structural, Electronic, and Hyperfine Properties in ($^{111}$In-->) $^{111}$Cd-Doped SnO$_2$ Semiconductor: Ab Initio Modeling of the Electron-Capture-Decay After-Effects Phenomenon

abstract: In this paper we investigate the effect of Cd doping at ultra-low concentrations in SnO$_2$ both experimentally, by measuring the temperature dependence of the electric quadrupole hyperfine interactions with time-differential perturbed angular correlation (TDPAC) spectroscopy using $^{111}$Cd as probe nuclei, and theoretically, by performing first-principles calculations based on the density functional theory. TDPAC spectra were successfully analyzed with a time-dependent on-off model for the perturbation factor. These results show combined dynamic plus static interactions whose electric-field gradients were associated in this model to different stable electronic configurations close to the Cd atoms. The dynamic regime is then originated in fast fluctuations between these different electronic configurations. First-principles calculations results show that the Cd impurity introduces a double acceptor level in the top of the valence band of the doped semiconductor and produces isotropic outward relaxations of the nearest oxygen neighbors. The variation of the calculated electric-field gradient tensor as a function of the charge state of the Cd impurity level shows an interesting behavior that explains the experimental results, giving strong support from first-principles to the electron-capture after-effects proposed scenario. The electron-capture decay of the parent $^{111}$In to $^{111}$Cd as well as the double acceptor character of the $^{111}$Cd impurity and the electric nature of the host are shown to contribute to the existence of these type of time-dependent hyperfine interactions.


title: Dimension of the space of invariant finitely additive measures of general Markov chains and their ergodic properties

abstract: General Markov chains with a countably additive transition probability in arbitrary phase space are considered. Markov operators extend from the space of countably additive measures to the space of finitely additive measures. In the author's papers a theorem was earlier proved that if all invariant finitely additive measures of a Markov chain are countably additive, i.e. there are no invariant purely finitely additive measures, then their subspace is finite-dimensional and the Markov chain satisfies the Doob-Doeblin quasicompactness conditions. In the same paper, a partial inversion of this theorem was proved with the dimension "one". In this paper we prove the inversion of this assertion for any finite dimensionality, but under certain additional conditions. The ergodic consequences are given. Examples and methods for studying their asymptotics with the aid of invariant purely finitely additive measures are given.


title: $L^{p}$ estimates for joint quasimodes of semiclassical pseudodifferential operators

abstract: We develop a set of $L^{p}$ estimates for functions $u$ that are a joint quasimodes (approximate eigenfunctions) of $r$ semiclassical pseudodifferential operators $p_{1}(x,hD),\dots,p_{r}(x,hD)$. This work extends Sarnak and Marshall's work on symmetric space to cover a more general class of manifolds/operators.


title: Low energy range dielectronic recombination of Fluorine-like Fe17+ at the CSRm

abstract: The accuracy of dielectronic recombination (DR) data for astrophysics related ions plays a key role in astrophysical plasma modeling. The measurement of the absolute DR rate coefficient of Fe17+ ions was performed at the main cooler storage ring at Institute of Modern Physics, Lanzhou, China. The experimental electron-ion collision energy range covers first Rydberg series up to n = 24 for the DR resonances associated with the 2P1/2--2P3/2 dn = 0 core excitations. A theoretical calculation was performed by using FAC code and compared with the measured DR rate coefficient. Overall reasonable agreement was found between the experimental results and calculations. Moreover, plasma rate coefficient was deduced from the experimental DR rate coefficient and compared with the available results from the literature. At the low energy range significant discrepancies were found therein and the measured resonances challenged state-of-the-art theory at the low collision energies.


title: Controllable Majorana fermions on domain walls of a magnetic topological insulator

abstract: We propose to realize a one-dimensional chiral topological superconducting state at the magnetic domain walls stripe of a magnetic topological insulator coupled with a conventional $s$-wave superconductor. The localized Majorana zero modes can be constructed in a reconfigurable manner through magnetic domain writing by magnetic force microscopy. This proposal could be further extended to the Majorana zero modes at domain walls on superconducting spin-helical Dirac surface states, and may be applicable to the two-dimensional time-reversal invariant topological superconductor on FeTe$_{0.5}$Se$_{0.5}$ surface.


title: The freezing R\`enyi quantum discord

abstract: As a universal quantum character of quantum correlation, the freezing phenomenon is researched by geometry and quantum discord methods, respectively. In this paper, the properties of R`enyi discord is studied for two independent Dimer System coupled to two correlated Fermi-spin environments under the non-Markovian condition. We further demonstrate that the freezing behaviors still exist for R`enyi discord and study the effects of different parameters on this behaviors.


title: Occluded Person Re-identification

abstract: Person re-identification (re-id) suffers from a serious occlusion problem when applied to crowded public places. In this paper, we propose to retrieve a full-body person image by using a person image with occlusions. This differs significantly from the conventional person re-id problem where it is assumed that person images are detected without any occlusion. We thus call this new problem the occluded person re-identitification. To address this new problem, we propose a novel Attention Framework of Person Body (AFPB) based on deep learning, consisting of 1) an Occlusion Simulator (OS) which automatically generates artificial occlusions for full-body person images, and 2) multi-task losses that force the neural network not only to discriminate a person's identity but also to determine whether a sample is from the occluded data distribution or the full-body data distribution. Experiments on a new occluded person re-id dataset and three existing benchmarks modified to include full-body person images and occluded person images show the superiority of the proposed method.


title: Real-Time Integrity Indices in Power Grid: A Synchronization Coefficient Based Clustering Approach

abstract: We propose a new methodology based on modularity clustering of synchronization coefficient, to identify coherent groups of generators in the power grid in real-time. The method uses real-time integrity indices, i.e., the Generators Connectivity Index (GCI) that represents how generators are coherently strong within the groups, the Generator Splitting Index (GSI) that reveals to what extent the generators in different groups tend to swing against the other groups, and the System Separation Index (SI) which discloses the overall system separation status. We demonstrate how these integrity indices can be used to study the dynamic behavior of the power system. Furthermore, a comparison analysis is conducted between the synchronization coefficient (KS) and the generator rotor angle correlation coefficient (CC). The proposed indices demonstrate the dynamic behavior of power system following occurrence the faults and thus represent a promising approach in power system islanding studies. Our methodology is simple, fast, and computationally attractive. Simulation case performed on IEEE 118-bus systems demonstrates the efficacy of our approach.


title: Connecting higher-order topological insulators to lower-dimensional topological insulators

abstract: In recent years, the role of crystal symmetries in enriching the variety of TIs have been actively investigated. Higher-order TIs are a new type of topological crystalline insulators that exhibit gapless boundary states whose dimensionality is lower than those on the surface of conventional TIs. In this paper, relying on a concrete tight-binding model, we show that higher-order TIs can be smoothly connected to conventional TIs in a lower dimension without the bulk-gap closing or symmetry breaking. Our result supports the understanding of higher- order TIs as a stacking of lower-dimensional TIs in a way respecting all the crystalline symmetry.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other


title: Weak Rigidity Theory and its Application to Multi-agent Formation Stabilization

abstract: This paper introduces the notion of weak rigidity to characterize a framework by pairwise inner products of inter-agent displacements. Compared to distance-based rigidity, weak rigidity requires fewer constrained edges in the graph to determine a geometric shape in an arbitrarily dimensional space. A necessary and sufficient graphical condition for infinitesimal weak rigidity of planar frameworks is derived. As an application of the proposed weak rigidity theory, a gradient based control law and a non-gradient based control law are designed for a group of single-integrator modeled agents to stabilize a desired formation shape, respectively. Using the gradient control law, we prove that an infinitesimally weakly rigid formation is locally exponentially stable. In particular, if the number of agents is one greater than the dimension of the space, a minimally infinitesimally weakly rigid formation is almost globally asymptotically stable. In the literature of rigid formation, the sensing graph is always required to be rigid. Using the non-gradient control law based on weak rigidity theory, the sensing graph is unnecessary to be rigid for local exponential stability of the formation. A numerical simulation is performed for illustrating effectiveness of our main results.


title: Distribution of the Number of Corners in Tree--like Tableaux

abstract: In this paper, we study tree--like tableaux and some of their probabilistic properties. Tree--like tableaux are in bijection with other combinatorial structures, including permutation tableaux, and have a connection to the partially asymmetric simple exclusion process (PASEP), an important model of an interacting particles system. In particular, in the context of tree-like tableaux, a corner corresponds to a node occupied by a particle that could jump to the right while inner corners indicate a particle with an empty node to its left. Thus, the total number of corners represents the number of nodes at which PASEP can move, i. e. the total current activity of the system. As the number of inner corners and regular corners is connected, we limit our discussion to just regular corners and show that asymptotically, the number of corners in a tableau of length $n$ is normally distributed.


title: Caching with Time Domain Buffer Sharing

abstract: In this paper, storage efficient caching based on time domain buffer sharing is considered. The caching policy allows a user to determine whether and how long it should cache a content item according to the prediction of its random request time, also referred to as the request delay information (RDI). In particular, the aim is to maximize the caching gain for communications while limiting its storage cost. To achieve this goal, a queueing theoretic model for caching with infinite buffers is first formulated, in which Little's law is adopted to obtain the tradeoff between the hit ratio and the average buffer consumption. When there exist multiple content classes with different RDIs, the storage efficiency is further optimized by carefully allocating the storage cost. For more practical finite-buffer caching, a $G/GI/L/0$ queue model is formulated, in which a diffusion approximation and Erlang-B formula are adopted to determine the buffer overflow probability and the corresponding hit ratio. The optimal hit ratio is shown to be limited by the demand probability and buffer size for large and small buffers respectively. In practice, a user may exploit probabilistic caching with random maximum caching time and arithmetic caching without any need for content arrival statistics to efficiently harvest content files in air.


title: Calibration and Limitations of the Mg II line-based Black Hole Masses

abstract: We present the single-epoch black hole mass (M$_{\rm BH}$) calibrations based on the rest-frame UV and optical measurements of Mg II 2798\AA\ and H$\beta$ 4861\AA\ lines and AGN continuum, using a sample of 52 moderate-luminosity AGNs at z$\sim$0.4 and z$\sim$0.6 with high-quality Keck spectra. We combine this sample with a large number of luminous AGNs from the Sloan Digital Sky Survey to increase the dynamic range for a better comparison of UV and optical velocity and luminosity measurements. With respect to the reference M$_{\rm BH}$ based on the line dispersion of H$\beta$ and continuum luminosity at 5100\AA, we calibrate the UV and optical mass estimators, by determining the best-fit values of the coefficients in the mass equation. By investigating whether the UV estimators show systematic trend with Eddington ratio, FWHM of H$\beta$, the Fe II strength, and the UV/optical slope, we find no significant bias except for the slope. By fitting the systematic difference of Mg II-based and H$\beta$-based masses with the L$_{3000}$/L$_{5100}$ ratio, we provide a correction term as a function of the spectral index as $\Delta$C = 0.24 (1+$\alpha_{\lambda}$) + 0.17, which can be added to the Mg II-based mass estimators if the spectral slope can be well determined. The derived UV mass estimators typically show $>$$\sim$0.2 dex intrinsic scatter with respect to H$\beta$-based M$_{\rm BH}$, suggesting that the UV-based mass has an additional uncertainty of $\sim$0.2 dex, even if high quality rest-frame UV spectra are available.


title: Deep Learning of the Nonlinear Schr\"odinger Equation in Fiber-Optic Communications

abstract: An important problem in fiber-optic communications is to invert the nonlinear Schr\"odinger equation in real time to reverse the deterministic effects of the channel. Interestingly, the popular split-step Fourier method (SSFM) leads to a computation graph that is reminiscent of a deep neural network. This observation allows one to leverage tools from machine learning to reduce complexity. In particular, the main disadvantage of the SSFM is that its complexity using M steps is at least M times larger than a linear equalizer. This is because the linear SSFM operator is a dense matrix. In previous work, truncation methods such as frequency sampling, wavelets, or least-squares have been used to obtain "cheaper" operators that can be implemented using filters. However, a large number of filter taps are typically required to limit truncation errors. For example, Ip and Kahn showed that for a 10 Gbaud signal and 2000 km optical link, a truncated SSFM with 25 steps would require 70-tap filters in each step and 100 times more operations than linear equalization. We find that, by jointly optimizing all filters with deep learning, the complexity can be reduced significantly for similar accuracy. Using optimized 5-tap and 3-tap filters in an alternating fashion, one requires only around 2-6 times the complexity of linear equalization, depending on the implementation.


title: Universal and Succinct Source Coding of Deep Neural Networks

abstract: Deep neural networks have shown incredible performance for inference tasks in a variety of domains. Unfortunately, most current deep networks are enormous cloud-based structures that require significant storage space, which limits scaling of deep learning as a service (DLaaS) and use for on-device intelligence. This paper is concerned with finding universal lossless compressed representations of deep feedforward networks with synaptic weights drawn from discrete sets, and directly performing inference without full decompression. The basic insight that allows less rate than naive approaches is recognizing that the bipartite graph layers of feedforward networks have a kind of permutation invariance to the labeling of nodes, in terms of inferential operation. We provide efficient algorithms to dissipate this irrelevant uncertainty and then use arithmetic coding to nearly achieve the entropy bound in a universal manner. We also provide experimental results of our approach on several standard datasets.


title: A $5k$-vertex Kernel for $P_2$-packing

abstract: The $P_2$-packing problem asks for whether a graph contains $k$ vertex-disjoint paths each of length two. We continue the study of its kernelization algorithms, and develop a $5k$-vertex kernel.


title: A note on 1-guardable graphs in the cops and robber game

abstract: In the cops and robber games played on a simple graph $G$, Aigner and Fromme's lemma states that one cop can guard a shortest path in the sense that the robber cannot enter this path without getting caught after finitely many steps. In this paper, we extend Aigner and Fromme's lemma to cover a larger family of graphs and give metric characterizations of these graphs. In particular, we show that a generalization of block graphs, namely vertebrate graphs, are 1-guardable. We use this result to give the cop number of some special class of multi-layer generalized Peterson graphs.


title: Pfaffian representations of plane curves

abstract: Let R be a commutative ring with 1. For every homogeneous polynomial f(X_0,X_1,X_2) in R[X_0,X_1,X_2] of degree d <= 25, we find a explicit linear Pfaffian R-representation of f. We describe an empirical method that leads us to find such R-representations. This generalizes and constitutes an alternative proof (up to degree 25) of a result due to A. Beauville [Bea] about the existence of linear Pfaffian K-representations for any smooth plane curve of degree d >= 2, where K is an algebraically closed field of characteristic zero.


title: On the Coprimeness Property of Discrete Systems without the Irreducibility Condition

abstract: In this article we investigate the coprimeness properties of one and two-dimensional discrete equations, in a situation where the equations are decomposable into several factors of polynomials. After experimenting on a simple equation, we shall focus on some higher power extensions of the Somos-4 equation and the (1-dimensional) discrete Toda equation. Our previous results are that all of the equations satisfy the irreducibility and the coprimeness properties if the r.h.s. is not factorizable. In this paper we shall prove that the coprimeness property still holds for all of these equations even if the r.h.s. is factorizable, although the irreducibility property is no longer satisfied.


title: The role of quantum work statistics in many-body physics

abstract: In this contribution, we aim to illustrate how quantum work statistics can be used as a tool in order to gain insight on the universal features of non-equilibrium many-body systems. Focusing on the two point measurement approach to work, we first outline the formalism and show how the related irreversible entropy production may be defined for a unitary process. We then explore the physics of sudden quenches from the point of view of work statistics and show how the characteristic function of work can be expressed as the partition function of a corresponding classical statistical physics problem in a film geometry. Connections to the concept of fidelity susceptibility are explored along with the corresponding universal critical scaling. We also review how large deviation theory applied to quantum work statistics gives further insight to universal properties. The quantum-to- classical mapping turns out to have close connections with the historical problem of orthogonality catastrophe: we therefore discuss how this relationship may be exploited in order to experimentally extract quantum work statistics in many-body systems.


title: Prior Independent Equilibria and Linear Multi-dimensional Bayesian Games

abstract: We show that a Bayesian strategy map profile is a Bayesian Nash Equilibrium independent of any prior if and only if the Bayesian strategy map profile, evaluated at any type profile, is the Nash equilibrium of the so-called local deterministic game corresponding to that type profile. We call such a Bayesian game type-regular. We then show that an m-dimensional n-agent Bayesian game whose utilities are linearly dependent on the types of the agents is equivalent, following a normalisation of the type space of each agent into the (m-1)-simplex, to a simultaneous competition in nm so-called basic n-agent games. If the game is own-type-linear, i.e., the utility of each player only depends linearly on its own type, then the Bayesian game is equivalent to a simultaneous competition in m basic n-agent games, called a multi-game. We then prove that an own-type-linear Bayesian game is type-regular if it is type-regular on the vertices of the (m-1)-simplex, a result which provides a large class of type-regular Bayesian maps. The class of m-dimensional own-type-linear Bayesian games can model, via their equivalence with multi-games, simultaneous decision-making in m different environments. We show that a two dimensional own-type-linear Bayesian game can be used to give a new model of the Prisoner's Dilemma (PD) in which the prosocial tendencies of the agents are considered as their types and the two agents play simultaneously in the PD as well as in a prosocial game. This Bayesian game addresses the materialistic and the prosocial tendencies of the agents. Similarly, we present a new two dimensional Bayesian model of the Trust game in which the type of the two agents reflect their prosocial tendency or trustfulness, which leads to more reasonable Nash equilibria. We finally consider an example of such multi-environment decision making in production by several companies in multi-markets.


title: A derivation of the sharp Moser-Trudinger-Onofri inequalities from the fractional Sobolev inequalities

abstract: We derive the sharp Moser-Trudinger-Onofri inequalities on the standard $n$-sphere and CR $(2n+1)$- sphere as the limit of the sharp fractional Sobolev inequalities for all $n\ge 1$. On the $2$-sphere and $4$-sphere, this was established recently by S.-Y. Chang and F. Wang. Our proof uses an alternative and elementary argument.


title: Latent Space Policies for Hierarchical Reinforcement Learning

abstract: We address the problem of learning hierarchical deep neural network policies for reinforcement learning. In contrast to methods that explicitly restrict or cripple lower layers of a hierarchy to force them to use higher-level modulating signals, each layer in our framework is trained to directly solve the task, but acquires a range of diverse strategies via a maximum entropy reinforcement learning objective. Each layer is also augmented with latent random variables, which are sampled from a prior distribution during the training of that layer. The maximum entropy objective causes these latent variables to be incorporated into the layer's policy, and the higher level layer can directly control the behavior of the lower layer through this latent space. Furthermore, by constraining the mapping from latent variables to actions to be invertible, higher layers retain full expressivity: neither the higher layers nor the lower layers are constrained in their behavior. Our experimental evaluation demonstrates that we can improve on the performance of single-layer policies on standard benchmark tasks simply by adding additional layers, and that our method can solve more complex sparse-reward tasks by learning higher-level policies on top of high-entropy skills optimized for simple low-level objectives.


title: Modality via Iterated Enrichment

abstract: This paper investigates modal type theories by using a new categorical semantics called change-of-base semantics. Change-of-base semantics is novel in that it is based on (possibly infinitely) iterated enrichment and interpretation of modality as hom objects. In our semantics, the relationship between meta and object levels in multi-staged computation exactly corresponds to the relationship between enriching and enriched categories. As a result, we obtain a categorical explanation of situations where meta and object logics may be completely different. Our categorical models include conventional models of modal type theory (e.g., cartesian closed categories with a monoidal endofunctor) as special cases and hence can be seen as a natural refinement of former results. On the type theoretical side, it is shown that Fitch-style modal type theory can be directly interpreted in iterated enrichment of categories. Interestingly, this interpretation suggests the fact that Fitch-style modal type theory is the right adjoint of dual-context calculus. In addition, we present how linear temporal, S4, and linear exponential modalities are described in terms of change-of-base semantics. Finally, we show that the change-of-base semantics can be naturally extended to multi-staged effectful computation and generalized contextual modality a la Nanevski et al. We emphasize that this paper answers the question raised in the survey paper by de Paiva and Ritter in 2011, what a categorical model for Fitch-style type theory is like.


title: A Novel Multi-Task Tensor Correlation Neural Network for Facial Attribute Prediction

abstract: Face multi-attribute prediction benefits substantially from multi-task learning (MTL), which learns multiple face attributes simultaneously to achieve shared or mutually related representations of different attributes. The most widely used MTL convolutional neural network is heuristically or empirically designed by sharing all of the convolutional layers and splitting at the fully connected layers for task-specific losses. However, it is improper to view all low and mid-level features for different attributes as being the same, especially when these attributes are only loosely related. In this paper, we propose a novel multi-attribute tensor correlation neural network (MTCN) for face attribute prediction. The structure shares the information in low-level features (e.g., the first two convolutional layers) but splits that in high-level features (e.g., from the third convolutional layer to the fully connected layer). At the same time, during high-level feature extraction, each subnetwork (e.g., Age-Net, Gender-Net, ..., and Smile-Net) excavates closely related features from other networks to enhance its features. Then, we project the features of the C9 layers of the fine-tuned subnetworks into a highly correlated space by using a novel tensor correlation analysis algorithm (NTCCA). The final face attribute prediction is made based on the correlation matrix. Experimental results on benchmarks with multiple face attributes (CelebA and LFWA) show that the proposed approach has superior performance compared to state-of-the-art methods.


title: Connecting Dots -- from Local Covariance to Empirical Intrinsic Geometry and Locally Linear Embedding

abstract: Local covariance structure under the manifold setup has been widely applied in the machine learning society. Based on the established theoretical results, we provide an extensive study of two relevant manifold learning algorithms, empirical intrinsic geometry (EIG) and the locally linear embedding (LLE) under the manifold setup. Particularly, we show that without an accurate dimension estimation, the geodesic distance estimation by EIG might be corrupted. Furthermore, we show that by taking the local covariance matrix into account, we can more accurately estimate the local geodesic distance. When understanding LLE based on the local covariance structure, its intimate relationship with the curvature suggests a variation of LLE depending on the "truncation scheme". We provide a theoretical analysis of the variation.


title: Multi-target Voice Conversion without Parallel Data by Adversarially Learning Disentangled Audio Representations

abstract: Recently, cycle-consistent adversarial network (Cycle-GAN) has been successfully applied to voice conversion to a different speaker without parallel data, although in those approaches an individual model is needed for each target speaker. In this paper, we propose an adversarial learning framework for voice conversion, with which a single model can be trained to convert the voice to many different speakers, all without parallel data, by separating the speaker characteristics from the linguistic content in speech signals. An autoencoder is first trained to extract speaker-independent latent representations and speaker embedding separately using another auxiliary speaker classifier to regularize the latent representation. The decoder then takes the speaker-independent latent representation and the target speaker embedding as the input to generate the voice of the target speaker with the linguistic content of the source utterance. The quality of decoder output is further improved by patching with the residual signal produced by another pair of generator and discriminator. A target speaker set size of 20 was tested in the preliminary experiments, and very good voice quality was obtained. Conventional voice conversion metrics are reported. We also show that the speaker information has been properly reduced from the latent representations.


title: An Adaptive Learning Method of Personality Trait Based Mood in Mental State Transition Network by Recurrent Neural Network

abstract: Mental State Transition Network (MSTN) is a basic concept of approximating to human psychological and mental responses. A stimulus calculated by Emotion Generating Calculations (EGC) method can cause the transition of mood from an emotional state to others. In this paper, the agent can interact with human to realize smooth communication by an adaptive learning method of the user's personality trait based mood. The learning method consists of the profit sharing (PS) method and the recurrent neural network (RNN). An emotion for sensor inputs to MSTN is calculated by EGC and the variance of emotion leads to the change of mental state, and then the sequence of states forms an episode. In order to learn the tendency of personality trait effectively, the ineffective rules should be removed from the episode. PS method finds out a detour in episode and should be deleted. Furthermore, RNN works to realize the variance of user's mood. Some experimental results were shown the success of representing a various human's delicate emotion.


title: Nonlinear Unknown Input and State Estimation Algorithm in Mobile Robots

abstract: This technical report provides the description and the derivation of a novel nonlinear unknown input and state estimation algorithm (NUISE) for mobile robots. The algorithm is designed for real-world robots with nonlinear dynamic models and subject to stochastic noises on sensing and actuation. Leveraging sensor readings and planned control commands, the algorithm detects and quantifies anomalies on both sensors and actuators. Later, we elaborate the dynamic models of two distinctive mobile robots for the purpose of demonstrating the application of NUISE. This report serves as a supplementary document for [1].


title: Recovering Realistic Texture in Image Super-resolution by Deep Spatial Feature Transform

abstract: Despite that convolutional neural networks (CNN) have recently demonstrated high-quality reconstruction for single-image super-resolution (SR), recovering natural and realistic texture remains a challenging problem. In this paper, we show that it is possible to recover textures faithful to semantic classes. In particular, we only need to modulate features of a few intermediate layers in a single network conditioned on semantic segmentation probability maps. This is made possible through a novel Spatial Feature Transform (SFT) layer that generates affine transformation parameters for spatial-wise feature modulation. SFT layers can be trained end-to-end together with the SR network using the same loss function. During testing, it accepts an input image of arbitrary size and generates a high-resolution image with just a single forward pass conditioned on the categorical priors. Our final results show that an SR network equipped with SFT can generate more realistic and visually pleasing textures in comparison to state-of-the-art SRGAN and EnhanceNet.


title: A Generation Method of Immunological Memory in Clonal Selection Algorithm by using Restricted Boltzmann Machines

abstract: Recently, a high technique of image processing is required to extract the image features in real time. In our research, the tourist subject data are collected from the Mobile Phone based Participatory Sensing (MPPS) system. Each record consists of image files with GPS, geographic location name, user's numerical evaluation, and comments written in natural language at sightseeing spots where a user really visits. In our previous research, the famous landmarks in sightseeing spot can be detected by Clonal Selection Algorithm with Immunological Memory Cell (CSAIM). However, some landmarks was not detected correctly by the previous method because they didn't have enough amount of information for the feature extraction. In order to improve the weakness, we propose the generation method of immunological memory by Restricted Boltzmann Machines. To verify the effectiveness of the method, some experiments for classification of the subjective data are executed by using machine learning tools for Deep Learning.


title: PingAn: An Insurance Scheme for Job Acceleration in Geo-distributed Big Data Analytics System

abstract: Geo-distributed data analysis in a cloud-edge system is emerging as a daily demand. Out of saving time in wide area data transfer, some tasks are dispersed to the edges. However, due to limited computing, overload interference and cluster-level unreachable troubles, efficient execution in the edges is hard, which obstructs the guarantee on the efficiency and reliability of jobs. Launching copies across clusters can be an insurance on a task's completion. Considering cluster heterogeneity and accompanying remote data fetch, cluster selection of copies affects execution quality, as different insuring plans drive different revenues. For providing On-Line-Real-Time analysis results, a system needs to insure the geo-distributed resource for the arriving jobs. Our challenge is to achieve the optimal revenue by dynamically weighing the gains due to insurance against the loss of occupying extra resource for insuring. To this end, we design PingAn, an online insurance algorithm promising $(1+\varepsilon)\!\!-\!speed \ o(\frac{1}{\varepsilon^2+\varepsilon})\!\!-\!competitive$ in sum of the job flowtimes via cross-cluster copying for tasks. PingAn shares resource among the anterior fraction of jobs with the least unprocessed datasize and the fraction is adjustable to fit the system load condition. After sharing, PingAn concretely insures for tasks following efficiency-first reliability-aware principle to optimize the revenue of copies on jobs' performance. Trace-driven simulations demonstrate that PingAn can reduce the average job flowtimes by at least $14\%$ than the state-of-the-art speculation mechanisms. We also build PingAn in Spark on Yarn System to verify its practicality and generality. Experiments show that PingAn can reduce the average job flowtimes by up to $40\%$ comparing to the default Spark execution.


title: Degeneracy resolution capabilities of NO$\nu$A and DUNE in the presence of light sterile neutrino

abstract: We investigate the implications of a sterile neutrino on the physics potential of the proposed experiment DUNE and future runs of NO$\nu$A using latest NO$\nu$A results. Using combined analysis of the disappearance and appearance data, NO$\nu$A reported preferred solutions at normal hierarchy (NH) with two degenerate best-fit points one in the lower octant (LO) and $\delta_{13}$ = 1.48$\pi$ and other in higher octant (HO) and $\delta_{13}$ = 0.74$\pi$. Another solution of inverted hierarchy (IH) which is 0.46$\sigma$ away from best fit was also reported. We discuss chances of resolving these degeneracies in the presence of sterile neutrino.


title: Study of stability of gain and energy resolution for GEM detector in high rate operation

abstract: Study of the stability of gain and energy resolution for a triple GEM detector has been performed under continuous radiation of X-ray with high rate, using premixed gas of Argon and CO$_2$ in 70/30 ratio and conventional NIM electronics. A strong Fe$^{55}$ X-ray source is used for this study. The novelty of this study is that for the stability test same source is used to irradiate the GEM chamber and to monitor the spectrum. The radiation is not collimated to a point but exposed to a larger area. Effect of temperature and pressure on these parameters are also studied. The detail method of measurement and the first test results are presented in this article.


title: The Metric Space of Networks

abstract: We study the question of reconstructing a weighted, directed network up to isomorphism from its motifs. In order to tackle this question we first relax the usual (strong) notion of graph isomorphism to obtain a relaxation that we call weak isomorphism. Then we identify a definition of distance on the space of all networks that is compatible with weak isomorphism. This global approach comes equipped with notions such as completeness, compactness, curves, and geodesics, which we explore throughout this paper. Furthermore, it admits global-to-local inference in the following sense: we prove that two networks are weakly isomorphic if and only if all their motif sets are identical, thus answering the network reconstruction question. Further exploiting the additional structure imposed by our network distance, we prove that two networks are weakly isomorphic if and only if certain essential associated structures---the skeleta of the respective networks---are strongly isomorphic.


title: Effective black-to-white hole bounces: The cost of surgery

abstract: We investigate possible geometries allowing transitions from a black hole to a white hole spacetime, by placing a space-like thin shell between them. Such proposals have been advanced recently to account for singularity-resolution in black-hole spacetimes. This space-like shell can be extended to be outside the event horizon and, thereby, reproduce some of the features of these proposals. On the other hand, if the space-like shell is confined fully within the horizon, then it results in a bounce near a space-like singularity inside the black hole. For both cases, the null energy condition is necessarily violated, at least effectively, due to introduction of quantum effects. If the shell, with a non-trivial negative tension, extends beyond the event horizon, then one can see effects of quantum gravity modifications even outside the horizon as a cost of such a space-like surgery. Naturally, one needs to consider whether these types of manufactured spacetimes violates any known laws of nature, allowing for reasonable assumptions. After critically comparing our results with several models in the literature, we reiterate a new way to avoid such black-hole singularities without leaving a white-hole remnant via a quantum bounce.


title: Analysis of the Social Community Based on the Network Growing Model in Open Source Software Community

abstract: The social community in open source software developers has a complex network structure. The network structure represents the relations between the project and the engineer in the software developer's community. A project forms some teams which consist of engineers categorized into some task group. Source Forge is well known to be one of open source websites. The node and arc in the network structure means the engineer and their connection among engineers in the Source Forge. In the previous study, we found the growing process of project becomes strong according to the number of developers joining into the project. In the growing phase, we found some characteristic patterns between the number of agents and the produced projects. By such observations, we developed a simulation model of performing the growing process of project. In this paper, we introduced the altruism behavior as shown in the Army Ant model into the software developer's simulation model. The efficiency of the software developing process was investigated by some experimental simulation results.


title: On central limit theorems in stochastic geometry

abstract: We establish central limit theorems for general functionals on binomial point processes and their Poissonized version. As an application, a central limit theorem for Betti numbers of random geometric complexes in the thermodynamic regime is derived.


title: SO($N$) singlet projection model on the kagome lattice

abstract: We present an extensive quantum Monte Carlo study of a nearest-neighbor, singlet-projection model on the kagome lattice that exhibits SO($N$) symmetry and is sign-problem-free. We find that in contrast to the previously studied SU($N$) variations of this model, the non-bipartite lattices appear to harbor spin-liquid phases for intermediate values of $N$, a result also seen on the triangular lattice with this same model. Unlike the triangular lattice, however, the kagome lattice appears to admit no valence bond solid (VBS) phase for large $N$, instead remaining a spin-liquid. We also observe that the spin-ordered phase survives to a relatively large value of $N$, at least $N=8$, and that it is gone for $N=10$; the fate of $N=9$ remains unclear.


title: Dislocation-induced thermal transport anisotropy in single-crystal group-III nitride films

abstract: Dislocations, one-dimensional lattice imperfections, are common to technologically important materials such as III-V semiconductors, and adversely affect heat dissipation in e.g., nitride-based high-power electronic devices. For decades, conventional models based on nonlinear elasticity theory have predicted this thermal resistance is only appreciable when heat flux is perpendicular to the dislocations. However, this dislocation-induced anisotropic thermal transport has yet to be seen experimentally. In this study, we measure strong thermal transport anisotropy governed by highly oriented threading dislocation arrays along the cross-plane direction in micron-thick, single-crystal indium nitride (InN) films. We find that the cross-plane thermal conductivity is more than tenfold higher than the in-plane thermal conductivity at 80 K when the dislocation density is on the order of ~3x10^10 cm^-2. This large anisotropy is not predicted by the conventional models. With enhanced understanding of dislocation-phonon interactions, our results open new regimes for tailoring anisotropic thermal transport with line defects, and will facilitate novel methods for directed heat dissipation in thermal management of diverse device applications.


title: MultiView phase corrections at low frequencies for precise astrometry

abstract: We present a multi-calibrator solution, i.e. MultiView, to achieve accurate astrometry on the level of the thermal noise at low VLBI frequencies dominated by ionospheric residuals. We demonstrate on L-band VLBA observations how MultiView provides superior astrometry to conventional phase referencing techniques (Rioja et al. 2017). We also introduce a new trial method to detect antenna based systematic errors in the observations (Orosz et al. 2017}. All presented methods and results are based on our recent papers (Orosz et al. 2017; Rioja et al. 2017).


title: Composing photomosaic images using clustering based evolutionary programming

abstract: Photomosaic images are a type of images consisting of various tiny images. A complete form can be seen clearly by viewing it from a long distance. Small tiny images which replace blocks of the original image can be seen clearly by viewing it from a short distance. In the past, many algorithms have been proposed trying to automatically compose photomosaic images. Most of these algorithms are designed with greedy algorithms to match the blocks with the tiny images. To obtain a better visual sense and satisfy some commercial requirements, a constraint that a tiny image should not be repeatedly used many times is usually added. With the constraint, the photomosaic problem becomes a combinatorial optimization problem. Evolutionary algorithms imitating the process of natural selection are popular and powerful in combinatorial optimization problems. However, little work has been done on applying evolutionary algorithms to photomosaic problem. In this paper, we present an algorithm called clustering based evolutionary programming to deal with the problem. We give prior knowledge to the optimization algorithm which makes the optimization process converges faster. In our experiment, the proposed algorithm is compared with the state of the art algorithms and software. The results indicate that our algorithm performs the best.


title: Photon production from Pb+Pb collisions at {$\sqrt{s_{\rm {NN}}}$} = 5.02 TeV at LHC and at {$\sqrt{s_{\rm {NN}}}$} = 39 TeV at FCC

abstract: We calculate the production of prompt and thermal photons from Pb+Pb collisions at 5.02A TeV at the Large Hadron Collider (LHC) and at 39A TeV at the proposed Future Circular Collider (FCC) facility. The photon spectra and anisotropic flow at these energies are compared with the results obtained from 2.76A TeV Pb+Pb collisions at the LHC for three different centrality bins. The prompt photons originating from initial hard scatterings are found to increase by a factor of 1.5 to 2 at 5.02A TeV in the $p_T$ region 2 to 15 GeV and the enhancement is found to be about 5 to 15 times at FCC energy compared to 2.76A TeV in the same $p_T$ region. The evolution of the Quark-Gluon Plasma (QGP) formed in Pb+Pb collisions at LHC and FCC energies are studied using a hydrodynamical model and the $p_T$ spectra and elliptic flow of thermal photons are calculated using state-of-the-art photon rates. The relative enhancement in the production of thermal photons is found to be more compared to prompt photons at FCC than at the LHC energies. Although the production of direct (prompt+thermal) photons is found to enhance significantly with increase in beam energy, the photon elliptic flow increases only marginally and does not show strong sensitivity to the collision energy.


title: Optimal Covariance Control for Stochastic Systems Under Chance Constraints

abstract: This work addresses the optimal covariance control problem for stochastic discrete-time linear time-varying systems subject to chance constraints. Covariance steering is a stochastic control problem to steer the system state Gaussian distribution to another Gaussian distribution while minimizing a cost function. To the best of our knowledge, covariance steering problems have never been discussed with probabilistic chance constraints although it is a natural extension. In this work, first we show that, unlike the case with no chance constraints, the covariance steering with chance constraints problem cannot decouple the mean and covariance steering sub-problems. Then we propose an approach to solve the covariance steering with chance constraints problem by converting it to a semidefinite programming problem. The proposed algorithm is verified using two simple numerical simulations.


title: Distributional chaos in multifractal analysis, recurrence and transitivity

abstract: There are lots of results to study dynamical complexity on irregular sets and level sets of ergodic average from the perspective of density in base space, Hausdorff dimension, Lebesgue positive measure, positive or full topological entropy (and topological pressure) etc.. However, it is unknown from the viewpoint of chaos. There are lots of results on the relationship of positive topological entropy and various chaos but it is known that positive topological entropy does not imply a strong version of chaos called DC1 so that it is non-trivial to study DC1 on irregular sets and level sets. In this paper we will show that for dynamical system with specification property, there exist uncountable DC1-scrambled subsets in irregular sets and level sets. On the other hand, we also prove that several recurrent levels of points with different recurrent frequency all have uncountable DC1-scrambled subsets. The main technique established to prove above results is that there exists uncountable DC1-scrambled subset in saturated sets.


title: A Novel Geometry-based Stochastic Double Directional Analytical Model for Millimeter Wave Outdoor NLOS Channels

abstract: Millimeter wave (mmWave) communications which essentially employ directional antennas find applications spanning from indoor short range wireless personal area networks to outdoor cellular networks. A thorough understanding of mmWave signal propagation through the wireless channel provides valuable insights for the design of such networks which in turn dictates the achievable performance limits. High path loss, penetration loss, and negligible signal scattering are certain distinctive features of the mmWave channel which necessitates the development of new mathematical models. Importantly, the impact of directional antennas which spatially filter multi-path components needs to be embodied as an integral part of the channel model. In this paper, we model outdoor directional non-line-of-sight mmWave channels using a combination of stochastic geometry and image theory by expressing channel parameters as joint functions of transmitter-receiver separation distance, antenna half power beamwidth, and antenna beam pointing direction. By approximating the signal propagation path due to first and second order reflections from buildings, closed form analytical expressions for average number of first order reflection components, path loss, and root-mean square delay spread of channel are derived. The accuracy of the model is verified by comparing numerically obtained results with experimental data reported by various urban outdoor peer-to-peer mmWave measurements, thus demonstrating the usefulness of the proposed analytical model for performance evaluation of mmWave communication networks.


title: Many-body calculations with Deuteron based single-particle bases and their associated natural orbits

abstract: We use the recently introduced single-particle states obtained from localized Deuteron wave-functions as a basis for nuclear many-body calculations. We show that energies can be substantially lowered if the natural orbits obtained from this basis are used. We use this modified basis for ${}^{10}B$, ${}^{16}O$ and ${}^{24}Mg$ employing the bare $NNLO_{opt}$ Nucleon-Nucleon interaction. The lowering of the energies increases with the mass. Although in principle natural orbits require a full scale preliminary many-body calculation, we found that an approximate preliminary many-body calculation, with a marginal increase in the computational cost, is sufficient. The use of natural orbits based on an harmonic oscillator basis leads to a much smaller lowering of the energies for a comparable computational cost.


title: Modelling variability of solar activity cycles

abstract: Context. Solar activity cycles vary in amplitude and duration. The variations can be at least partly explained by fluctuations in dynamo parameters. Aims. We want to restrict uncertainty in fluctuating dynamo parameters and find out which properties of the fluctuations control the amplitudes of the magnetic field and energy in variable dynamo cycles. Methods. A flux-transport model for the solar dynamo with fluctuations of the Babcock-Leighton type $\alpha$-effect was applied to generate statistics of magnetic cycles for our purposes. The statistics were compared with data on solar cycle periods to restrict the correlation time of dynamo fluctuations. Results. A characteristic time of fluctuations in the $\alpha$-effect is estimated to be close to the solar rotation period. The fluctuations produce asymmetry between the times of rise and descent of dynamo cycles, the rise time being on average shorter. The affect of the fluctuations on cycle amplitudes depends on the phase of the cycle in which the fluctuations occur. Negative fluctuations (decrease in $\alpha$) in the rise phase delay decay of poloidal field and increase the cycle amplitude in toroidal field and magnetic energy. Negative fluctuation in the decline phase reduces the polar field at the end of a cycle and the amplitude of the next cycle. The low amplitude of the 24th solar cycle compared to the preceding 23rd cycle can be explained by this effect. Positive fluctuations in the descent phase enhance the magnetic energy of the next cycle by increasing the seed poloidal field for the next cycle. The statistics of the computed energies of the cycles suggest that superflares of $\ge 10^{34}$ erg are not possible on the Sun.


title: Assured Data Deletion with Fine-grained Access Control for Fog-based Industrial Applications

abstract: The advances of cloud computing, fog computing and Internet of Things (IoT) make the industries more prosperous than ever. A wide range of industrial systems such as transportation systems and manufacturing systems have been developed by integrating cloud computing, fog computing and IoT successfully. Security and privacy issues are a major concern that hinders the wide adoptions of these novel techniques. In this paper, we focus on assured data deletion, an issue which is important but received less attention in academia and industry. We firstly propose a framework to integrate the cloud, the fog and the things together to manage the stored data from industries or individuals. We then focus on secure data deletion in this framework by proposing an assured data deletion scheme which fulfills fine-grained access control over sensitive data and verifiable data deletion. Only the data owners and the fog devices are involved when deleting a data key and validating the data deletion, which makes the protocol practical due to the features of low latency and real-time interaction of fog computing. The proposed protocol takes advantage of attribute-based encryption and is provably secure under the standard model. The theoretical analysis shows the good performance and functionality requirements while the implementation results demonstrate the feasibility of our proposal.


title: A Community-Developed Open-Source Computational Ecosystem for Big Neuro Data

abstract: Big imaging data is becoming more prominent in brain sciences across spatiotemporal scales and phylogenies. We have developed a computational ecosystem that enables storage, visualization, and analysis of these data in the cloud, thusfar spanning 20+ publications and 100+ terabytes including nanoscale ultrastructure, microscale synaptogenetic diversity, and mesoscale whole brain connectivity, making NeuroData the largest and most diverse open repository of brain data.


title: Photometric Stereo in Participating Media Considering Shape-Dependent Forward Scatter

abstract: Images captured in participating media such as murky water, fog, or smoke are degraded by scattered light. Thus, the use of traditional three-dimensional (3D) reconstruction techniques in such environments is difficult. In this paper, we propose a photometric stereo method for participating media. The proposed method differs from previous studies with respect to modeling shape-dependent forward scatter. In the proposed model, forward scatter is described as an analytical form using lookup tables and is represented by spatially-variant kernels. We also propose an approximation of a large-scale dense matrix as a sparse matrix, which enables the removal of forward scatter. Experiments with real and synthesized data demonstrate that the proposed method improves 3D reconstruction in participating media.


title: Localisation of Spectral Sums corresponding to the sub-Laplacian on the Heisenberg Group

abstract: In this article we study localisation of spectral sums $\{S_R\}_{R > 0}$ associated to the sub-Laplacian $\mathcal{L}$ on the Heisenberg Group $\mathbb{H}^d$ where $S_R f := \int_0^R dE_{\lambda }f$, with $\mathcal{L} = \int_0^{\infty} \lambda \, dE_{\lambda}$ being the spectral resolution of $\mathcal{L}.$ We prove that for any compactly supported function $f \in L^2(\mathbb{H}^d)$, and for any $\gamma < \frac{1}{2}$, $R^{\gamma} S_R f \to 0$ as $ R \to \infty$, almost everywhere off $supp (f)$.


title: Study of Open Systems with Molecules in Isotropic Liquids

abstract: We are interested in dynamics of a system in an environment, or an open system. Such phenomena like {\it crossover} from Markovian to non-Markovian relaxation and {\it thermal equilibration} are of our interest. Open systems have experimentally been studied with ultra cold atoms, ions in traps, optics, and cold electric circuits because well isolated systems can be prepared here and thus the effects of environments can be controlled. We point out that some molecules solved in isotropic liquid are well isolated and thus they can also be employed for studying open systems in Nuclear Magnetic Resonance (NMR) experiments. First, we provide a short review on related phenomena of open systems that helps readers to understand our motivation. We, then, present two experiments as examples of our approach with molecules in isotropic liquids. Crossover from Markovian to non-Markovian relaxation was realized in one NMR experiment, while relaxation like phenomena were observed in approximately isolated systems in the other.


title: Memoryless scalar quantization for random frames

abstract: Memoryless scalar quantization (MSQ) is a common technique to quantize frame coefficients of signals (which are used as a model for generalized linear samples), making them compatible with our digital technology. The process of quantization is generally not invertible, and thus one can only recover an approximation to the original signal from its quantized coefficients. The non-linear nature of quantization makes the analysis of the corresponding approximation error challenging, often resulting in the use of a simplifying assumption, called the "white noise hypothesis" (WNH) that simplifies this analysis. However, the WNH is known to be not rigorous and, at least in certain cases, not valid. Given a fixed, deterministic signal, we assume that we use a random frame, whose analysis matrix has independent isotropic sub-Gaussian rows, to collect the measurements, which are consecutively quantized via MSQ. For this setting, the numerically observed decay rate seems to agree with the prediction by the WNH. We rigorously establish sharp non-asymptotic error bounds without using the WNH that explains the observed decay rate. Furthermore, we show that the reconstruction error does not necessarily diminish as redundancy increases. We also extend this approach to the compressed sensing setting, obtaining rigorous error bounds that agree with empirical observations, again, without resorting to the WNH.


title: Information and Set Algebras: Interpretation and Uniqueness of Conditional Independence

abstract: A new seemingly weak axiomatic formulation of information algebras is given. It is shown how such information algebras can be embedded into set (information) algebras. In set algebras there is a natural relation of conditional independence between partitions. Via the embedding of information algebras this relation carries over to information algebras. The new axiomatic formulation is thereby shown to be equivalent to the one given in arXiv:1701.02658. In this way the abstract concept of conditional independence in information algebras gets a concrete interpretation in terms of set theoretical relations.


title: Constraints on $Wtb$ anomalous coupling with $ B\to X_{s}\gamma $ and $B_{s}\to\mu^{+}\mu^{-}

abstract: We calculate the amplitudes of $b\to s$ transition in extension of the Standard Model with $Wtb$ anomalous couplings. We found that i) there exist the Ward identity violating terms in effective vertix of $b\to s\gamma$. The terms, which come from the tensor parts of $Wtb$ anomalies, and can be canceled exactly by introducing corresponding $Wtb\gamma$ interactions, ii) $Br(B_{s} \to \mu^{+}\mu^{-})$ provides unique information on $\delta v_L$ which is set to zero in top decay experiments, and stringent bounds on $v_R,\ g_L$ by $Br(B\to X_s\gamma)$ are obtained.