title: Noncommutative approach to diagnose degenerate Higgs bosons at 125 GeV

abstract: We propose a noncommutative (NC) version for a global O(2) scalar field theory, whose damping feature is introduced into the scalar field theory through the NC parameter. In this context, we investigate how noncommutative drives spontaneous symmetry breaking (SSB) and Higgs-Kibble mechanisms and how the damping feature workout. Indeed, we show that the noncommutativity plays an important role in such mechanisms, i.e., the Higgs mass and VEV dependent on NC parameter. After that, it is explored the consequences of noncommutativity dependence of Higgs mass and VEV: for the first, it is shown that there are a mass-degenerate Higgs bosons near 126.5 GeV, parametrized by the noncommutativity; for the second, the gauge fields gain masses that present a noncommutativity contribution.


title: Classification of seizure and seizure-free EEG signals based on empirical wavelet transform and phase space reconstruction

abstract: Epilepsy is a brain disorder due to abnormalactivity of neurons and recording of seizures is of primary interest in the evaluation of epileptic patients. A seizureis the phenomenon of rhythmicity discharge from either a local area or the whole brain and the individual behavior usually lasts from seconds to minutes.In this work, empirical wavelet transform(EWT) is applied to decompose signals into Electroencephalography (EEG) rhythms. EEG signals are separated to delta, theta, alpha, beta and gamma rhythms using EWT.The proposed method has been evaluated by benchmark dataset which is freely downloadable from Bonn University website. 95% confident ellipse area is computed from 2D projection of reconstructed phase space (RPS)of rhythms as features and fed to K-nearest neighbor classifier for detection of seizure (S) and seizure free (SF) EEG signals. Our proposed method archived 98% accuracy in classification of S and SF EEG signals with a tenfold cross-validation strategy that is higher than previous techniques.


title: Exceptional points in classical spin dynamics

abstract: Non-conservative physical systems admit a special kind of spectral degeneracy, known as exceptional point (EP), at which eigenvalues and eigenvectors of the corresponding non-Hermitian Hamiltonian coalesce. Dynamical parametric encircling of the EP can lead to non-adiabatic evolution associated with a state flip, a sharp transition between the resonant modes. Physical consequences of the dynamical encircling of EPs in open dissipative systems have been explored in optics and photonics. Building on the recent progress in understanding the parity-time (PT)-symmetric dynamics in spin systems, we use topological properties of EPs to implement chiral non-reciprocal transmission of a spin through the material with non-uniform magnetization, like helical magnet. We consider an exemplary system, spin-torque-driven single spin described by the time-dependent non-Hermitian Hamiltonian. We show that encircling individual EPs in parameter space results in non-reciprocal spin dynamics and find the range of optimal protocol parameters for high-efficiency asymmetric spin filter based on this effect. Our findings offer a platform for non-reciprocal spin devices for spintronics and magnonics.


title: Generative Adversarial Minority Oversampling

abstract: Class imbalance is a long-standing problem relevant to a number of real-world applications of deep learning. Oversampling techniques, which are effective for handling class imbalance in classical learning systems, can not be directly applied to end-to-end deep learning systems. We propose a three-player adversarial game between a convex generator, a multi-class classifier network, and a real/fake discriminator to perform oversampling in deep learning systems. The convex generator generates new samples from the minority classes as convex combinations of existing instances, aiming to fool both the discriminator as well as the classifier into misclassifying the generated samples. Consequently, the artificial samples are generated at critical locations near the peripheries of the classes. This, in turn, adjusts the classifier induced boundaries in a way which is more likely to reduce misclassification from the minority classes. Extensive experiments on multiple class imbalanced image datasets establish the efficacy of our proposal.


title: Expert-Augmented Machine Learning

abstract: Machine Learning is proving invaluable across disciplines. However, its success is often limited by the quality and quantity of available data, while its adoption by the level of trust that models afford users. Human vs. machine performance is commonly compared empirically to decide whether a certain task should be performed by a computer or an expert. In reality, the optimal learning strategy may involve combining the complementary strengths of man and machine. Here we present Expert-Augmented Machine Learning (EAML), an automated method that guides the extraction of expert knowledge and its integration into machine-learned models. We use a large dataset of intensive care patient data to predict mortality and show that we can extract expert knowledge using an online platform, help reveal hidden confounders, improve generalizability on a different population and learn using less data. EAML presents a novel framework for high performance and dependable machine learning in critical applications.


title: Time Series Imputation

abstract: Multivariate time series is a very active topic in the research community and many machine learning tasks are being used in order to extract information from this type of data. However, in real-world problems data has missing values, which may difficult the application of machine learning techniques to extract information. In this paper we focus on the task of imputation of time series. Many imputation methods for time series are based on regression methods. Unfortunately, these methods perform poorly when the variables are categorical. To address this case, we propose a new imputation method based on Expectation Maximization over dynamic Bayesian networks. The approach is assessed with synthetic and real data, and it outperforms several state-of-the art methods.


title: QED theory of the specific mass shift in atoms

abstract: The quantum electrodynamics formalism to treat the interelectronic-interaction correction of first order in $1/Z$ to the two-electron part of the nuclear recoil effect on binding energies in atoms and ions is developed. The nonperturbative in $\alpha Z$ calculations of the corresponding contribution to the energies of the $1s^2$ state in He-like and the $1s^2 2s$ and $1s^2 2p_{1/2}$ states in Li-like ions are performed in the range $Z=5-100$. The behavior of the two-electron part of the nuclear recoil effect beyond the lowest-order relativistic approximation as $Z$ grows is studied.


title: Regularized Learning for Domain Adaptation under Label Shifts

abstract: We propose Regularized Learning under Label shifts (RLLS), a principled and a practical domain-adaptation algorithm to correct for shifts in the label distribution between a source and a target domain. We first estimate importance weights using labeled source data and unlabeled target data, and then train a classifier on the weighted source samples. We derive a generalization bound for the classifier on the target domain which is independent of the (ambient) data dimensions, and instead only depends on the complexity of the function class. To the best of our knowledge, this is the first generalization bound for the label-shift problem where the labels in the target domain are not available. Based on this bound, we propose a regularized estimator for the small-sample regime which accounts for the uncertainty in the estimated weights. Experiments on the CIFAR-10 and MNIST datasets show that RLLS improves classification accuracy, especially in the low sample and large-shift regimes, compared to previous methods.


title: Optical nanofiber interferometer and resonator

abstract: We report the fabrication and characterization of photonic structures using tapered optical nanofibers. Thanks to the extension of the evanescent electromagnetic field outside of the nanofiber two types of devices can be built: a ring interferometer and a knot resonator. We propose a general approach to predict the properties of these structures using the linear coupling theory. In addition, we describe a new source of birefringence due to the ovalization of a nanofiber under strong bending, known in mechanical engineering as the Brazier effect.


title: On the connection between radiative outbursts and timing irregularities in magnetars

abstract: Magnetars are strongly magnetized pulsars and they occasionally show violent radiative outbursts. They also often exhibit glitches which are sudden changes in the spin frequency. It was found that some glitches were associated with outbursts but their connection remains unclear. We present a systematic study to identify possible correlations between them. We find that the glitch size of magnetars likely shows a bimodal distribution, different from the distribution of the Vela-like recurrent glitches but consistent with the high end of that of normal pulsars. A glitch is likely a necessary condition for an outburst but not a sufficient condition because only 30\% of glitches were associated with outbursts. In the outburst cases, the glitches tend to induce larger frequency changes compared to those unassociated ones. We argue that a larger glitch is more likely to trigger the outburst mechanism, either by reconfiguration of the magnetosphere or deformation of the crust. A more frequent and deeper monitoring of magnetars is necessary for further investigation of their connection.


title: Neutral excitation and bulk gap of the Fractional Quantum Hall liquids in disk geometry

abstract: For the numerical simulation of the fractional quantum Hall effects on a finite disk, the rotational symmetry is the only symmetry that were used in diagonalizing the Hamiltonian. In this work, we propose a method of using the weak translational symmetry for the center of mass of the many-body system. With this approach, the bulk properties , such as the energy gap and the magneto-roton excitation are exactly consistent with that in the closed manifold like sphere and torus. As an application, we consider the FQH phase and its phase transition in the fast rotated dipolar fermions. We thus weapon the disk geometry versatility in analyzing the bulk properties beside the usual edge physics.


title: The Elliptic Painlev\'e Lax Equation vs. van Diejen's 8-Coupling Elliptic Hamiltonian

abstract: The 8-parameter elliptic Sakai difference Painlev\'e equation admits a Lax formulation. We show that a suitable specialization of the Lax equation gives rise to the time-independent Schr\"odinger equation for the $BC_1$ 8-parameter 'relativistic' Calogero-Moser Hamiltonian due to van Diejen. This amounts to a generalization of previous results concerning the Painlev\'e-Calogero correspondence to the highest level in the two hierarchies.


title: Ultra-Reliable and Low-Latency Communications Using Proactive Multi-cell Association

abstract: Attaining reliable communications traditionally relies on a closed-loop methodology but inevitably incurs a good amount of networking latency thanks to complicated feedback mechanism and signaling storm. Such a closed-loop methodology thus shackles the current cellular network with a tradeoff between high reliability and low latency. To completely avoid the latency induced by closed-loop communication, this paper aims to study how to jointly employ open-loop communication and multi-cell association in a heterogeneous network (HetNet) so as to achieve ultra-reliable and low-latency communications. We first introduce how mobile users in a HetNet adopt the proposed proactive multi-cell association (PMCA) scheme to form their virtual cell that consists of multiple access points (APs) and then analyze the communication reliability and latency performances. We show that the communication reliability can be significantly improved by the PMCA scheme and maximized by optimizing the densities of the users and the APs. The analyses of the uplink and downlink delays are also accomplished, which show that extremely low latency can be fulfilled in the virtual cell of a single user if the PMCA scheme is adopted and the radio resources of each AP are appropriately allocated.


title: Minimal models of L*

abstract: Let S be an algebraic space, A an S-abelian algebraic space, L an S-fiberwise numerically trivial invertible module on A, and L* the sheaf of regular sections of L considered as a G_m-torsor on A. We classify the S-minimal models of L* into two types.


title: Bayesian Factor-adjusted Sparse Regression

abstract: This paper investigates the high-dimensional linear regression with highly correlated covariates. In this setup, the traditional sparsity assumption on the regression coefficients often fails to hold, and consequently many model selection procedures do not work. To address this challenge, we model the variations of covariates by a factor structure. Specifically, strong correlations among covariates are explained by common factors and the remaining variations are interpreted as idiosyncratic components of each covariate. This leads to a factor-adjusted regression model with both common factors and idiosyncratic components as covariates. We generalize the traditional sparsity assumption accordingly and assume that all common factors but only a small number of idiosyncratic components contribute to the response. A Bayesian procedure with a spike-and-slab prior is then proposed for parameter estimation and model selection. Simulation studies show that our Bayesian method outperforms its lasso analogue, manifests insensitivity to the overestimates of the number of common factors, pays a negligible price in the no correlation case, and scales up well with increasing sample size, dimensionality and sparsity. Numerical results on a real dataset of U.S. bond risk premia and macroeconomic indicators lend strong support to our methodology.


title: Stable pair compactification of moduli of K3 surfaces of degree 2

abstract: We prove that the universal family of polarized K3 surfaces of degree 2 can be extended to a flat family of stable slc pairs $(X,\epsilon R)$ over the toroidal compactification associated to the Coxeter fan. One-parameter degenerations of K3 surfaces in this family are described by integral-affine structures on a sphere with 24 singularities.


title: Distributed Barrier Certificates for Safe Operation of Inverter-Based Microgrids

abstract: Inverter-interfaced microgrids differ from the traditional power systems due to their lack of inertia. Vanishing timescale separation between voltage and frequency dynamics makes it critical that faster-timescale stabilizing control laws also guarantee by-construction the satisfaction of voltage limits during transients. In this article, we apply a barrier functions method to compute distributed active and reactive power setpoint control laws that certify satisfaction of voltage limits during transients. Using sum-of-squares optimization tools, we propose an algorithmic construction of these control laws. Numerical simulations are provided to illustrate the proposed method.


title: A criterion for nilpotency of a finite group by the sum of element orders

abstract: Denote the sum of element orders in a finite group $G$ by $\psi(G)$ and let $C_n$ denote the cyclic group of order $n$. In this paper, we prove that if $|G|=n$ and $\psi(G)>\frac{13}{21}\,\psi(C_n)$, then $G$ is nilpotent. Moreover, we have $\psi(G)=\frac{13}{21}\,\psi(C_n)$ if and only if $n=6m$ with $(6,m)=1$ and $G\cong S_3\times C_m$. Two interesting consequences of this result are also presented.


title: Fast LLMMSE filter for low-dose CT imaging

abstract: Low-dose X-ray CT technology is one of important directions of current research and development of medical imaging equipment. A fast algorithm of blockwise sinogram filtering is presented for realtime low-dose CT imaging. A nonstationary Gaussian noise model of low-dose sinogram data is proposed in the low-mA (tube current) CT protocol. Then, according to the linear minimum mean square error principle, an adaptive blockwise algorithm is built to filter contaminated sinogram data caused by photon starvation. A moving sum technique is used to speed the algorithm into a linear time one, regardless of the block size and thedata range. The proposedfast filtering givesa better performance in noise reduction and detail preservation in the reconstructed images,which is verified in experiments on simulated and real data compared with some related filtering methods.


title: Residual Pyramid Learning for Single-Shot Semantic Segmentation

abstract: Pixel-level semantic segmentation is a challenging task with a huge amount of computation, especially if the size of input is large. In the segmentation model, apart from the feature extraction, the extra decoder structure is often employed to recover spatial information. In this paper, we put forward a method for single-shot segmentation in a feature residual pyramid network (RPNet), which learns the main and residuals of segmentation by decomposing the label at different levels of residual blocks. Specifically speaking, we use the residual features to learn the edges and details, and the identity features to learn the main part of targets. At testing time, the predicted residuals are used to enhance the details of the top-level prediction. Residual learning blocks split the network into several shallow sub-networks which facilitates the training of the RPNet. We then evaluate the proposed method and compare it with recent state-of-the-art methods on CamVid and Cityscapes. The proposed single-shot segmentation based on RPNet achieves impressive results with high efficiency on pixel-level segmentation.


title: Absence of strong localization at low conductivity in the topological surface state of low disorder Sb2Te3

abstract: We present low-temperature transport measurements of a gate-tunable thin film topological insulator system that features high mobility and low carrier density. Upon gate tuning to a regime around the charge neutrality point, we infer an absence of strong localization even at conductivities well below $e^2/h$, where two dimensional electron systems should conventionally scale to an insulating state. Oddly, in this regime the localization coherence peak lacks conventional temperature broadening, though its tails do change dramatically with temperature. Using a model with electron-impurity scattering, we extract values for the disorder potential and the hybridization of the top and bottom surface states.


title: Impedance control of a cable-driven SEA with mixed $H_2/H_\infty$ synthesis

abstract: Purpose: This paper presents an impedance control method with mixed $H_2/H_\infty$ synthesis and relaxed passivity for a cable-driven series elastic actuator to be applied for physical human-robot interaction. Design/methodology/approach: To shape the system's impedance to match a desired dynamic model, the impedance control problem was reformulated into an impedance matching structure. The desired competing performance requirements as well as constraints from the physical system can be characterized with weighting functions for respective signals. Considering the frequency properties of human movements, the passivity constraint for stable human-robot interaction, which is required on the entire frequency spectrum and may bring conservative solutions, has been relaxed in such a way that it only restrains the low frequency band. Thus, impedance control became a mixed $H_2/H_\infty$ synthesis problem, and a dynamic output feedback controller can be obtained. Findings: The proposed impedance control strategy has been tested for various desired impedance with both simulation and experiments on the cable-driven series elastic actuator platform. The actual interaction torque tracked well the desired torque within the desired norm bounds, and the control input was regulated below the motor velocity limit. The closed loop system can guarantee relaxed passivity at low frequency. Both simulation and experimental results have validated the feasibility and efficacy of the proposed method. Originality/value: This impedance control strategy with mixed $H_2/H_\infty$ synthesis and relaxed passivity provides a novel, effective and less conservative method for physical human-robot interaction control.


title: Passivity guaranteed stiffness control with multiple frequency band specifications for a cable-driven series elastic actuator

abstract: Impedance control and specifically stiffness control are widely applied for physical human-robot interaction. The series elastic actuator (SEA) provides inherent compliance, safety and further benefits. This paper aims to improve the stiffness control performance of a cable-driven SEA. Existing impedance controllers were designed within the full frequency domain, though human-robot interaction commonly falls in the low frequency range. We enhance the stiffness rendering performance under formulated constraints of passivity, actuator limitation, disturbance attenuation, noise rejection at their specific frequency ranges. Firstly, we reformulate this multiple frequency-band optimization problem into the $H_\infty$ synthesis framework. Then, the performance goals are quantitatively characterized by respective restricted frequency-domain specifications as norm bounds. Further, a structured controller is directly synthesized to satisfy all the competing performance requirements. Both simulation and experimental results showed that the produced controller enabled good interaction performance for each desired stiffness varying from 0 to 1 times of the physical spring constant. Compared with the passivity-based PID method, the proposed $H_\infty$ synthesis method achieved more accurate and robust stiffness control performance with guaranteed passivity.


title: Cloud coalescence: a dynamical instability affecting multiphase environments

abstract: The mass and size distributions are the key characteristics of any astrophysical objects, including the densest clumps comprising the cold phase of multiphase environments. In our recent papers, we showed how individual clouds of various sizes form and evolve in AGN. In particular, we showed that large clouds undergo damped oscillations as a response to their formation process. Here we followup this investigation, addressing how different size clouds interact. We find that smaller clouds become trapped in the advective flows generated by larger clouds. The explanation for this behavior leads to a rather remarkable conclusion: even in the absence of gravity, complexes of clouds are dynamically unstable. In an idealized environment (e.g., one free of turbulence and magnetic fields) a perfectly symmetric arrangement of static clouds will remain static, but any small spatial perturbation will lead to all clouds coalescing into a single, large cloud, given enough time. Using numerical simulations, we investigate the main factors that determine the rate of coalescence. Besides the cloud separation distance, we find that the transient response of clouds to a disturbance is the primary factor. Turbulent motions in the flow can easily suppress this tendency for spatially well-separated clouds to coalesce, so it is as yet unclear if this phenomenon can occur in nature. Nevertheless, this work casts strong doubts on a recent hypothesis that large clouds are prone to fragmentation.


title: Three in Many: Efimov physics in the presence of a Fermi sea

abstract: Motivated by recent experiments on $^{6}$Li-$^{133}$Cs atomic mixtures with high mass imbalance, we study the Efimov correlation in atomic system of two heavy bosons ($^{133}$Cs) immersed in a bath of light fermions ($^{6}$Li). Using the Born-Oppenheimer approximation, we identify two different regimes, depending on the Fermi momentum of light fermions ($k_F$) and the boson-fermion scattering length $a_s(<0)$, where the presence of underlying Fermi sea plays distinct roles in the Efimov-type binding of bosons. Namely, in the regime $k_F|a_s|\lesssim 1$ ($k_F|a_s|\gtrsim1$), the Fermi sea induces an attractive (repulsive) effective interaction between bosons and thus favors (disfavors) the formation of bound state, which can be seen as the Efimov trimer dressed by the fermion cloud. Interestingly, this implies a non-monotonic behavior of these bound states as increasing the fermion density (or $k_F$). Moreover, we establish a generalized universal scaling law for the emergence/variation of such dressed Efimov bound states when incorporating a new scale ($k_F$) brought by the Fermi sea. These results can be directly tested in Li-Cs cold atoms experiment by measuring the modified bound state spectrum and the shifted Efimov resonance, which manifest an emergent non-trivial Efimov correlation in a fermionic many-body environment.


title: MmWave Communication With Active Ambient Perception

abstract: In existing communication systems, the channel state information of each UE (user equipment) should be repeatedly estimated when it moves to a new position or another UE takes its place. The underlying ambient information, including the specific layout of potential reflectors, which provides more detailed information about all UEs' channel structures, has not been fully explored and exploited. In this paper, we rethink the mmWave channel estimation problem in a new and indirect way, i.e., instead of estimating the resultant composite channel response at each time and for any specific location, we first conduct the ambient perception exploiting the fascinating radar capability of a mmWave antenna array and then accomplish the location-based sparse channel reconstruction. In this way, the sparse channel for a quasi-static UE arriving at a specific location can be rapidly synthesized based on the perceived ambient information, thus greatly reducing the signalling overhead and online computational complexity. Based on the reconstructed mmWave channel, single-beam mmWave communication is designed and evaluated which shows excellent performance. Such an approach in fact integrates radar with communication, which may possibly open a new paradigm for future communication system design.


title: The number of models of a fixed Scott rank, for a counterexample to the analytic Vaught conjecture

abstract: We show that if $\gamma \in \omega \cup \{\aleph_{0}\}$ and $\mathcal{A}$ is a counterexample to the analytic Vaught conjecture having exactly $\gamma$ many models of Scott rank $\omega_{1}$, then there exists a club $C \subseteq \omega_{1}$ such that $\mathcal{A}$ has exactly $\gamma$ many models of Scott rank $\alpha$, for each $\alpha \in C$.


title: Speckled cross-spectral densities and their associated correlation singularities for a modern source of partially coherent x rays

abstract: We consider a realistic model for calculating the cross-spectral density of partially coherent beams from an x-ray undulator in a modern storage ring. This two-point coherence function is seen to have a speckled structure associated with the presence of x-ray coherence vortices and domain walls. Such cross-spectral density speckle is associated with a network of spatial pairs of points for which there is zero correlation. X-ray coherence vortices and domain walls are seen to emerge naturally as the number of coherent modes required increases. An understanding of the existence and nature of such correlation singularities enhances our ability to exploit partially coherent x-ray radiation from new or upgraded synchrotron sources, for both imaging and diffraction applications.


title: Trifocal Relative Pose from Lines at Points and its Efficient Solution

abstract: We present a method for solving two minimal problems for relative camera pose estimation from three views, which are based on three view correspondences of i) three points and one line and the novel case of ii) three points and two lines through two of the points. These problems are too difficult to be efficiently solved by the state of the art Groebner basis methods. Our method is based on a new efficient homotopy continuation (HC) solver framework MINUS, which dramatically speeds up previous HC solving by specializing HC methods to generic cases of our problems. We characterize their number of solutions and show with simulated experiments that our solvers are numerically robust and stable under image noise, a key contribution given the borderline intractable degree of nonlinearity of trinocular constraints. We show in real experiments that i) SIFT feature location and orientation provide good enough point-and-line correspondences for three-view reconstruction and ii) that we can solve difficult cases with too few or too noisy tentative matches, where the state of the art structure from motion initialization fails.


title: PML: An Interpreter-Based Access Control Policy Language for Web Services

abstract: Access control is an important component for web services such as a cloud. Current clouds tend to design the access control mechanism together with the policy language on their own. It leads to two issues: (i) a cloud user has to learn different policy languages to use multiple clouds, and (ii) a cloud service provider has to customize an authorization mechanism based on its business requirement, which brings high development cost. In this work, a new access control policy language called PERM modeling language (PML) is proposed to express various access control models such as access control list (ACL), role-based access control (RBAC) and attribute-based access control (ABAC), etc. PML's enforcement mechanism is designed in an interpreter-on-interpreter manner, which not only secures the authorization code with sandboxing, but also extends PML to all programming languages that support Lua. PML is already adopted by real-world projects such as Intel's RMD, VMware's Dispatch, Orange's Gobis and so on, which proves PML's usability. The performance evaluation on OpenStack, CloudStack and Amazon Web Services (AWS) shows PML's enforcement overhead per request is under 5.9us.


title: Sub-picosecond photo-induced displacive phase transition in two-dimensional MoTe$_2$

abstract: Photo-induced phase transitions (PIPTs) provide an ultrafast, energy-efficient way for precisely manipulating the topological properties of transition-metal ditellurides, and can be used to stabilize a topological phase in an otherwise semiconducting material. Using first-principles calculations, we demonstrate that the PIPT in monolayer MoTe$_2$ from the semiconducting 2H phase to the topological 1T$'$ phase can be triggered purely by electronic excitations that soften multiple lattice vibrational modes. These softenings, driven by a Peierls-like mechanism within the conduction bands, lead to structural symmetry breaking within sub-picosecond timescales, which is shorter than the timescale of a thermally driven phase transition. The transition is predicted to be triggered by photons with energies over $1.96$\,eV, with an associated excited carrier density of $3.4\times10^{14}$\,cm$^{-2}$, which enables a controllable phase transformation by varying the laser wavelength. Our results provide insight into the underlying physics of the phase transition in 2D transition-metal ditellurides, and show an ultrafast phase transition mechanism for manipulation of the topological properties of 2D systems.


title: Almost Surely Invariance Principle for Non-stationary and Random Intermittent Dynamical Systems

abstract: We establish almost sure invariance principles (ASIP), a strong form of approximation by Brownian motion, for non-stationary time series arising as observations on sequential maps possessing an indifferent fixed point. These transformations are obtained by perturbing the slope in the Pomeau-Manneville map. Quenched ASIP for random compositions of these maps is also obtained.


title: Joint Active User Detection and Channel Estimation in Massive Access Systems Exploiting Reed-Muller Sequences

abstract: The requirements to support massive connectivity and low latency in massive Machine Type Communications (mMTC) bring a huge challenge in the design of its random access (RA) procedure, which usually calls for efficient joint active user detection and channel estimation. In this paper, we exploit the vast sequence space and the beneficial nested structure of the length-$2^m$ second-order Reed-Muller (RM) sequences for designing an efficient RA scheme, which is capable of reliably detecting multiple active users from the set of unknown potential users with a size as large as $2^{m(m-1)/2}$, whilst simultaneously estimating their channel state information as well. Explicitly, at the transmitter each user is mapped to a specially designed RM sequence, which facilitates reliable joint sequence detection and channel estimation based on a single transmission event. To elaborate, as a first step, at the receiver we exploit the elegant nested structure of the RM sequences using a layer-by-layer RM detection algorithm for the single-user (single-sequence) scenario. Then an iterative RM detection and channel estimation algorithm is conceived for the multi-user (multi-sequence) scenario. As a benefit of the information exchange between the RM sequence detector and channel estimator, a compelling performance vs. complexity trade-off is struck, as evidenced both by our analytical and numerical results.


title: Photorealistic Style Transfer via Wavelet Transforms

abstract: Recent style transfer models have provided promising artistic results. However, given a photograph as a reference style, existing methods are limited by spatial distortions or unrealistic artifacts, which should not happen in real photographs. We introduce a theoretically sound correction to the network architecture that remarkably enhances photorealism and faithfully transfers the style. The key ingredient of our method is wavelet transforms that naturally fits in deep networks. We propose a wavelet corrected transfer based on whitening and coloring transforms (WCT$^2$) that allows features to preserve their structural information and statistical properties of VGG feature space during stylization. This is the first and the only end-to-end model that can stylize a $1024\times1024$ resolution image in 4.7 seconds, giving a pleasing and photorealistic quality without any post-processing. Last but not least, our model provides a stable video stylization without temporal constraints. Our code, generated images, and pre-trained models are all available at https://github.com/ClovaAI/WCT2.


title: Scene Understanding for Autonomous Manipulation with Deep Learning

abstract: Over the past few years, deep learning techniques have achieved tremendous success in many visual understanding tasks such as object detection, image segmentation, and caption generation. Despite this thriving in computer vision and natural language processing, deep learning has not yet shown significant impact in robotics. Due to the gap between theory and application, there are many challenges when applying the results of deep learning to the real robotic systems. In this study, our long-term goal is to bridge the gap between computer vision and robotics by developing visual methods that can be used in real robots. In particular, this work tackles two fundamental visual problems for autonomous robotic manipulation: affordance detection and fine-grained action understanding. Theoretically, we propose different deep architectures to further improves the state of the art in each problem. Empirically, we show that the outcomes of our proposed methods can be applied in real robots and allow them to perform useful manipulation tasks.


title: TTR-Based Reward for Reinforcement Learning with Implicit Model Priors

abstract: Model-free reinforcement learning (RL) is a powerful approach for learning control policies directly from high-dimensional state and observation. However, it tends to be data-inefficient, which is especially costly in robotic learning tasks. On the other hand, optimal control does not require data if the system model is known, but cannot scale to models with high-dimensional states and observations. To exploit benefits of both model-free RL and optimal control, we propose time-to-reach-based (TTR-based) reward shaping, an optimal control-inspired technique to alleviate data inefficiency while retaining advantages of model-free RL. This is achieved by summarizing key system model information using a TTR function to greatly speed up the RL process, as shown in our simulation results. The TTR function is defined as the minimum time required to move from any state to the goal under assumed system dynamics constraints. Since the TTR function is computationally intractable for systems with high-dimensional states, we compute it for approximate, lower-dimensional system models that still captures key dynamic behaviors. Our approach can be flexibly and easily incorporated into any model-free RL algorithm without altering the original algorithm structure, and is compatible with any other techniques that may facilitate the RL process. We evaluate our approach on two representative robotic learning tasks and three well-known model-free RL algorithms, and show significant improvements in data efficiency and performance.


title: Vector-valued Almost Sure Invariance Principle For Non-stationary Dynamical Systems

abstract: We prove vector-valued almost sure invariance principle (VASIP) for nonstationary dynamical systems, under assumptions of correlation decay and variance growth. Applications include VASIP for non-stationary (non)uniformly expanding dynamical systems, quenched VASIP for random dynamical systems. In particular, VASIP is satisfied for corresponding stationary dynamical systems.


title: Global large solution to the compressible Navier-Stokes equations in critical Besov space $\dot{B}^{-1}_{\infty,\infty}$

abstract: In this paper, we construct a class of global large solution to the compressible Navier-Stokes equations in the whole space $\R^d$. Precisely speaking, our choice of special initial data whose $\dot{B}^{-1}_{\infty,\infty}$ norm can be arbitrarily large, namely, $||u_0||_{\dot{B}^{-1}_{\infty,\infty}}\gg 1$, allows to give rise to global-in-time solution to the compressible Navier-Stokes equations.


title: Maxwell Eigenmode approach to the Casimir-Lifshitz Torque

abstract: More than forty years ago, Barash published a calculation of the full retarded Casimir-Lifshitz torque for planar birefringent media with arbitrary degrees of anisotropy. An independent theoretical confirmation has been lacking since. We report a systematic and transparent derivation of the torque between two media with both electric and magnetic birefringence. Our approach, based on an eigenmode decomposition of Maxwell's equations, generalizes Barash's result for electrically birefringent materials, and can be generalized to a wide range of anisotropic materials and finite thickness effects.


title: Fast Underwater Image Enhancement for Improved Visual Perception

abstract: In this paper, we present a conditional generative adversarial network-based model for real-time underwater image enhancement. To supervise the adversarial training, we formulate an objective function that evaluates the perceptual image quality based on its global content, color, local texture, and style information. We also present EUVP, a large-scale dataset of a paired and unpaired collection of underwater images (of `poor' and `good' quality) that are captured using seven different cameras over various visibility conditions during oceanic explorations and human-robot collaborative experiments. In addition, we perform several qualitative and quantitative evaluations which suggest that the proposed model can learn to enhance underwater image quality from both paired and unpaired training. More importantly, the enhanced images provide improved performances of standard models for underwater object detection, human pose estimation, and saliency prediction. These results validate that it is suitable for real-time preprocessing in the autonomy pipeline by visually-guided underwater robots. The model and associated training pipelines are available at https://github.com/xahidbuffon/funie-gan.


title: On the isothermal compressible multi-component mixture flow: the local existence and maximal $L_p-L_q$ regularity of solutions

abstract: We consider the initial-boundary value problem for the system of equations describing the flow of compressible isothermal mixture of arbitrary large number of components. The system consists of the compressible Navier-Stokes equations and a subsystem of diffusion equations for the species. The subsystems are coupled by the form of the pressure and the strong cross-diffusion effects in the diffusion fluxes of the species. Assuming the existence of solutions to the symmetrized and linearized equations, proven in [35], we derive the estimates for the nonlinear equations and prove the local-in-time existence and maximal $L_p-L_q$ regularity of solutions.


title: Active Galactic Nuclei: Boon or Bane for Biota?

abstract: Active Galactic Nuclei (AGNs) emit substantial fluxes of high-energy electromagnetic radiation, and have therefore attracted some recent attention for their negative impact on galactic habitability. In this paper, we propose that AGNs may also engender the following beneficial effects: (i) prebiotic synthesis of biomolecular building blocks mediated by ultraviolet (UV) radiation, and (ii) powering photosynthesis on certain free-floating planets and moons. We also reassess the harmful biological impact of UV radiation originating from AGNs, and find that their significance could have been overestimated. Our calculations suggest that neither the positive nor negative ramifications stemming from a hypothetical AGN in the Milky Way are likely to affect putative biospheres in most of our Galaxy. On the other hand, we find that a sizable fraction of all planetary systems in galaxies with either disproportionately massive black holes ($\sim 10^{9-10}\,M_\odot$) or high stellar densities (e.g., compact dwarf galaxies) might be susceptible to both the beneficial and detrimental consequences of AGNs, with the former potentially encompassing a greater spatial extent than the latter.


title: Progressive DNN Compression: A Key to Achieve Ultra-High Weight Pruning and Quantization Rates using ADMM

abstract: Weight pruning and weight quantization are two important categories of DNN model compression. Prior work on these techniques are mainly based on heuristics. A recent work developed a systematic frame-work of DNN weight pruning using the advanced optimization technique ADMM (Alternating Direction Methods of Multipliers), achieving one of state-of-art in weight pruning results. In this work, we first extend such one-shot ADMM-based framework to guarantee solution feasibility and provide fast convergence rate, and generalize to weight quantization as well. We have further developed a multi-step, progressive DNN weight pruning and quantization framework, with dual benefits of (i) achieving further weight pruning/quantization thanks to the special property of ADMM regularization, and (ii) reducing the search space within each step. Extensive experimental results demonstrate the superior performance compared with prior work. Some highlights: (i) we achieve 246x,36x, and 8x weight pruning on LeNet-5, AlexNet, and ResNet-50 models, respectively, with (almost) zero accuracy loss; (ii) even a significant 61x weight pruning in AlexNet (ImageNet) results in only minor degradation in actual accuracy compared with prior work; (iii) we are among the first to derive notable weight pruning results for ResNet and MobileNet models; (iv) we derive the first lossless, fully binarized (for all layers) LeNet-5 for MNIST and VGG-16 for CIFAR-10; and (v) we derive the first fully binarized (for all layers) ResNet for ImageNet with reasonable accuracy loss.


title: Non singular M theory Universe in Loop Quantum Cosmology -- inspired Models

abstract: We study an M theory universe in the Loop Quantum Cosmology -- inspired models which involve a function, the choice of which leads to a variety of evolutions. The M theory universe is dominated by four stacks of intersecting brane--antibranes and, in general relativity, it becomes effectively four dimensional in future while its seven dimensional internal space reaches a constant size. We analyse the conditions required for non singular evolutions and obtain explicit solutions in the simplified case of a bi--anisotropic universe and a piece--wise linear function for which the evolutions are non singular. One may now ask whether the physics in the Planckian regime can enhance the internal volume to phenomenologically interesting values. In the simplified case considered here, there is no non trivial enhancement. We make some comments on it.


title: Small-x analysis on the effect of gluon recombinations inside hadrons in light of the GLR-MQ-ZRS equation

abstract: We present a study of the contribution of antishadowing effects on the gluon distribution functions $G(x,Q^2)$ in light of the Gribov-Levin-Ryskin-Mueller-Qiu, Zhu-Ruan-Shen (GLR-MQ-ZRS) nonlinear equation at small-$x$, where $x$ is the momentum fraction or Bjorken variable and $Q^2$ is the four momentum transfer squared or photon virtuality. In this work, we have solved the GLR-MQ-ZRS nonlinear equation using Regge like the behavior of gluons in the kinematic range of $10^{-2}\leq x \leq 10^{-6}$ and $5\,GeV^2\, \leq Q^2\leq 100\, GeV^2$ respectively. We have obtained the solution of $G(x,Q^2)$ by considering two particular cases: (a) $\alpha_s$ fixed; and (b) the leading order QCD dependency of $\alpha_{s}$ on $Q^2$. A comparative analysis is also performed where we compare the gluon distribution function due to inclusion of the antishadowing effect with that of the gluon distribution without including the antishadowing effect. Our obtained results of $G(x,Q^2)$ are compared with NNPDF3.0, CT14 and PDF4LHC. We also compare our results with the result obtained from the IMParton C++ package. Using the solutions of $G(x,Q^2)$, we have also predicted $x$ and $Q^2$ evolution of the logarithmic derivative of proton's $F_2$ structure function i.e. $dF_2 (x,Q^2)/d\ln Q^2$. We incorporated both the leading order(LO) and next-to-leading order (NLO) QCD contributions of the gluon-quark splitting kernels, in $dF_2 (x,Q^2)/d\ln Q^2$. Our result of $dF_2 (x,Q^2)/d\ln Q^2$ agrees reasonably well with the experimental data recorded by HERA's H1 detector.


title: Triple {\alpha} Resonances in the Decay of Hot Nuclear Systems *

abstract: The Efimov (Thomas) trimers in excited 12 C nuclei, for which no observation exists yet, are discussed by means of analyzing the experimental data of 70(64) Zn( 64 Ni) + 70(64) Zn( 64 Ni) reactions at beam energy of E/A=35MeV/nucleon. In heavy ion collisions, the {\alpha}s interact with each other and can form complex systems such as 8 Be and 12 C. For the 3{\alpha} systems, multi resonance processes give rise to excited levels of 12 C. The interaction between any two of the 3{\alpha} particles provides events with one, two or three 8 Be. Their interfering levels are clearly seen in the minimum relative energy distributions. Events of three couple {\alpha} relative energies consistent with the ground state of 8 Be are observed with the decrease of the instrumental error at the reconstructed 7.458 MeV excitation energy of 12C, which was suggested as the Efimov (Thomas) state.


title: Effective Definability of the Reachability Relation in Timed Automata

abstract: We give a new proof of the result of Comon and Jurski that the binary reachability relation of a timed automaton is definable in linear arithmetic.


title: Universal hierarchical structure of reducibility of Harish-Chandra parabolic induction

abstract: Given a supercuspidal representation $\sigma$ of a parabolic subgroup $P$ of reductive group $G$, we discover a universal hierarchical structure of reducibility of the parabolic induction $Ind^G_P(\sigma)$, i.e. always irreducible from some Levi-level up. As its applications, we provide a new simple proof of the generic irreducibility property of parabolic induction, and prove Clozel's finiteness conjecture of special exponents under some conditions. Indeed, those conditions are predicted by two conjectures of Shahidi which in some sense are proved for classical groups by Arthur in his monumental book--The Endoscopic Classification of Representations: Orthogonal and Symplectic Groups. At last, naturally, such type simple beautiful structure theorem should be conjectured to hold in general, i.e. if the "reducibility conditions" of a general parabolic induction lies in some Levi subgroup, then it is always irreducible from this Levi up.


title: Orientation-dependent indentation response of helium-implanted tungsten

abstract: A literature review of studies investigating the topography of nano-indents in ion-implanted materials reveals seemingly inconsistent observations, with report of both pile-up and sink-in. This may be due to the crystallographic orientation of the measured sample point, which is often not considered when evaluating implantation-induced changes in the deformation response. Here we explore the orientation dependence of spherical nano-indentation in pure and helium-implanted tungsten, considering grains with <001>, <110> and <111> out-of-plane orientations. Atomic force microscopy (AFM) of indents in unimplanted tungsten shows little orientation dependence. However, in the implanted material a much larger, more localised pile-up is observed for <001> grains than for <110> and <111> orientations. Based on the observations for <001> grains, we hypothesise that a large initial hardening due to helium-induced defects is followed by localised defect removal and subsequent strain softening. A crystal plasticity finite element model of the indentation process, formulated based on this hypothesis, accurately reproduces the experimentally-observed orientation-dependence of indent morphology. The results suggest that the mechanism governing the interaction of helium-induced defects with glide dislocations is orientation independent. Rather, differences in pile-up morphology are due to the relative orientations of the crystal slip systems, sample surface and spherical indenter. This highlights the importance of accounting for crystallographic orientation when probing the deformation behaviour of ion-implanted materials using nano-indentation.


title: Auto-ReID: Searching for a Part-aware ConvNet for Person Re-Identification

abstract: Prevailing deep convolutional neural networks (CNNs) for person re-IDentification (reID) are usually built upon ResNet or VGG backbones, which were originally designed for classification. Because reID is different from classification, the architecture should be modified accordingly. We propose to automatically search for a CNN architecture that is specifically suitable for the reID task. There are three aspects to be tackled. First, body structural information plays an important role in reID but it is not encoded in backbones. Second, Neural Architecture Search (NAS) automates the process of architecture design without human effort, but no existing NAS methods incorporate the structure information of input images. Third, reID is essentially a retrieval task but current NAS algorithms are merely designed for classification. To solve these problems, we propose a retrieval-based search algorithm over a specifically designed reID search space, named Auto-ReID. Our Auto-ReID enables the automated approach to find an efficient and effective CNN architecture for reID. Extensive experiments demonstrate that the searched architecture achieves state-of-the-art performance while reducing 50% parameters and 53% FLOPs compared to others.


title: Flagella-like beating of a single microtubule

abstract: Kinesin motors can induce a buckling instability in a microtubule with a fixed minus end. Here we show that by modifying the surface with a protein-repellent functionalization and using clusters of kinesin motors, the microtubule can exhibit persistent oscillatory motion, resembling the beating of sperm flagella. The observed period is of the order of 1 min. From the experimental images we theoretically determine a distribution of motor forces that explains the observed shapes using a maximum likelihood approach. A good agreement is achieved with a small number of motor clusters acting simultaneously on a microtubule. The tangential forces exerted by a cluster are mostly in the range 0 - 8 pN towards the microtubule minus end, indicating the action of 1 or 2 kinesin motors. The lateral forces are distributed symmetrically and mainly below 10 pN, while the lateral velocity has a strong peak around zero. Unlike well-known models for flapping filaments, kinesins are found to have a strong "pinning" effect on the beating filaments. Our results suggest new strategies to utilize molecular motors in dynamic roles that depend sensitively on the stress built-up in the system.


title: A Link Layer Protocol for Quantum Networks

abstract: Quantum communication brings radically new capabilities that are provably impossible to attain in any classical network. Here, we take the first step from a physics experiment to a fully fledged quantum internet system. We propose a functional allocation of a quantum network stack and construct the first physical and link layer protocols that turn ad-hoc physics experiments producing heralded entanglement between quantum processors into a well-defined and robust service. This lays the groundwork for designing and implementing scalable control and application protocols in platform-independent software. To design our protocol, we identify use cases, as well as fundamental and technological design considerations of quantum network hardware, illustrated by considering the state-of-the-art quantum processor platform available to us (Nitrogen-Vacancy (NV) centers in diamond). Using a purpose built discrete-event simulator for quantum networks, we examine the robustness and performance of our protocol using extensive simulations on a super-computing cluster. We perform a full implementation of our protocol, where we successfully validate the physical simulation model against data gathered from the NV hardware. We first observe that our protocol is robust even in a regime of exaggerated losses of classical control messages with only little impact on the performance of the system.We proceed to study the performance of our protocols for 169 distinct simulation scenarios, including tradeoffs between traditional performance metrics such as throughput and the quality of entanglement. Finally, we initiate the study of quantum network scheduling strategies to optimize protocol performance for different use cases.


title: Temperature dependence of the electronic structure of A-site ordered perovskite CaCu$_3$Ti$_4$O$_{12}$: Angle-integrated and -resolved photoemission studies

abstract: We have investigated the electronic structure of A-site ordered CaCu$_3$Ti$_4$O$_{12}$ as a function of temperature by using angle-integrated and -resolved photoemission spectroscopies. Intrinsic changes of the electronic structure have been successfully observed in the valence band region by the careful consideration of charging effects. The obtained photoemission results have revealed that the intensity of the nearly non-dispersive Cu 3$d$-O 2$p$ hybridized bands at the binding energy of $\sim$2 eV increases with decreasing temperature from 300 to 120 K. This suggests that the density of the localized states, caused by the strong correlation effects, enhances as temperature decreases.


title: Superconducting phase in the BCS model with imaginary magnetic field. III. Non-vanishing free dispersion relations

abstract: We analyze a class of the BCS model, whose free dispersion relation is non-vanishing, under the influence of imaginary magnetic field at positive temperature. The magnitude of the negative coupling constant must be small but is allowed to be independent of the temperature and the imaginary magnetic field. The infinite-volume limit of the free energy density is characterized. A spontaneous symmetry breaking and an off-diagonal long range order are proved to occur only in high temperatures. This is because the gap equation in this model has a positive solution only if the temperature is higher than a critical value. The proof is based on a double-scale integration of the Grassmann integral formulation. In this scheme we integrate with the infrared covariance first and with the ultra-violet covariance afterwards. As the other focus, we study geometric properties of the phase boundaries, which are periodic copies of a closed curve in the two-dimensional space of the temperature and the real time variable. Here we adopt the real time variable in place of the temperature times the imaginary magnetic field by considering its relevance within contemporary physics of dynamical phase transition at positive temperature. As the main result, we show that for any choice of a non-vanishing free dispersion relation the representative curve of the phase boundaries has only one local minimum point, or in other words the phase boundaries do not oscillate with temperature, if and only if the minimum of the magnitude of the free dispersion relation over the maximum is larger than the critical value $\sqrt{17-12\sqrt{2}}$.


title: What Synthesis is Missing: Depth Adaptation Integrated with Weak Supervision for Indoor Scene Parsing

abstract: Scene Parsing is a crucial step to enable autonomous systems to understand and interact with their surroundings. Supervised deep learning methods have made great progress in solving scene parsing problems, however, come at the cost of laborious manual pixel-level annotation. To alleviate this effort synthetic data as well as weak supervision have both been investigated. Nonetheless, synthetically generated data still suffers from severe domain shift while weak labels are often imprecise. Moreover, most existing works for weakly supervised scene parsing are limited to salient foreground objects. The aim of this work is hence twofold: Exploit synthetic data where feasible and integrate weak supervision where necessary. More concretely, we address this goal by utilizing depth as transfer domain because its synthetic-to-real discrepancy is much lower than for color. At the same time, we perform weak localization from easily obtainable image level labels and integrate both using a novel contour-based scheme. Our approach is implemented as a teacher-student learning framework to solve the transfer learning problem by generating a pseudo ground truth. Using only depth-based adaptation, this approach already outperforms previous transfer learning approaches on the popular indoor scene parsing SUN RGB-D dataset. Our proposed two-stage integration more than halves the gap towards fully supervised methods when compared to previous state-of-the-art in transfer learning.


title: XSPEC model for testing the Kerr black hole hypothesis using the continuum-fitting method

abstract: We present NKBB, an XSPEC model for the thermal spectrum of thin accretion disks in parametric black hole spacetimes. We employ the Novikov-Thorne model for the description of the accretion disk and the formalism of the transfer function proposed by Cunningham for storing all the relativistic effects of the spacetime metric. The current version of the model assumes the Johannsen metric, but it can be easily extended to any stationary, axisymmetric, and asymptotically-flat spacetime without pathological properties. The model can be used within the XSPEC package to test the Kerr nature of astrophysical black holes with the continuum-fitting method.


title: Large-System Analysis of Massive MIMO with Optimal M-MMSE Processing

abstract: We consider the uplink of a Massive MIMO network with $L$ cells, each comprising a BS with $M$ antennas and $K$ single-antenna user equipments. Recently, [1] studied the asymptotic spectral efficiency of such networks with optimal multicell minimum mean-squared error (M-MMSE) processing when $M\to \infty$ and $K$ is kept fixed. Remarkably, [1] proved that, for practical channels with spatial correlation, the spectral efficiency grows unboundedly, even with pilot contamination. In this paper, we extend the analysis from [1] to the alternative regime in which $M,K\to \infty$ with a given ratio. Tools from random matrix theory are used to compute low-complexity approximations which are proved to be asymptotically tight, but accurate for realistic system dimensions, as shown by simulations.


title: An End-to-End Network for Generating Social Relationship Graphs

abstract: Socially-intelligent agents are of growing interest in artificial intelligence. To this end, we need systems that can understand social relationships in diverse social contexts. Inferring the social context in a given visual scene not only involves recognizing objects, but also demands a more in-depth understanding of the relationships and attributes of the people involved. To achieve this, one computational approach for representing human relationships and attributes is to use an explicit knowledge graph, which allows for high-level reasoning. We introduce a novel end-to-end-trainable neural network that is capable of generating a Social Relationship Graph - a structured, unified representation of social relationships and attributes - from a given input image. Our Social Relationship Graph Generation Network (SRG-GN) is the first to use memory cells like Gated Recurrent Units (GRUs) to iteratively update the social relationship states in a graph using scene and attribute context. The neural network exploits the recurrent connections among the GRUs to implement message passing between nodes and edges in the graph, and results in significant improvement over previous methods for social relationship recognition.


title: Isotope shifts of the $1s^22s2p(J)$ -$1s^22s^2$ transition energies in Be-like thorium and uranium

abstract: Precise calculations of the isotope shifts in berylliumlike thorium and uranium ions are presented. The main contributions to the field and mass shifts are calculated within the framework of the Dirac-Coulomb-Breit Hamiltonian employing the configuration-interaction Dirac-Fock-Sturm method. These calculations include the relativistic, electron-electron correlation, and Breit-interaction effects. The QED, nuclear deformation, and nuclear polarization corrections are also evaluated.


title: On the status of the hoop conjecture in charged curved spacetimes

abstract: The status and regime of validity of the famous Thorne hoop conjecture in spatially regular {\it charged} curved spacetimes are clarified.


title: ADMM-IDNN: Iteratively Double-reweighted Nuclear Norm Algorithm for Group-prior based Nonconvex Compressed Sensing via ADMM

abstract: Group-prior based regularization method has led to great successes in various image processing tasks, which can usually be considered as a low-rank matrix minimization problem. As a widely used surrogate function of low-rank, the nuclear norm based convex surrogate usually lead to over-shrinking phenomena, since the nuclear norm shrinks the rank components (singular value) simultaneously. In this paper, we propose a novel Group-prior based nonconvex image compressive sensing (CS) reconstruction framework via a family of nonconvex nuclear norms functions which contain common concave and monotonically properties. To solve the resulting nonconvex nuclear norm minimization (NNM) problem, we develop a Group based iteratively double-reweighted nuclear norm algorithm (IDNN) via an alternating direction method of multipliers (ADMM) framework. Our proposed algorithm can convert the nonconvex nuclear norms optimization problem into a double-reweighted singular value thresholding (DSVT) problem. Extensive experiments demonstrate our proposed framework achieved favorable reconstruction performance compared with current state-of-the-art convex methods.


title: On the Maximum Number of Codewords of X-Codes of Constant Weight Three

abstract: X-codes form a special class of linear maps which were originally introduced for data compression in VLSI testing and are also known to give special parity-check matrices for linear codes suitable for error-erasure channels. In the context of circuit testing, an $(m, n, d, x)$ X-code compresses $n$-bit output data $R$ from the circuit under test into $m$ bits, while allowing for detecting the existence of an up to $d$-bit-wise anomaly in $R$ even if up to $x$ bits of the original uncompressed $R$ are unknowable to the tester. Using probabilistic combinatorics, we give a nontrivial lower bound for any $d \geq 2$ on the maximum number $n$ of codewords such that an $(m, n, d, 2)$ X-code of constant weight $3$ exists. This is the first result that shows the existence of an infinite sequence of X-codes whose compaction ratio tends to infinity for any fixed $d$ under severe weight restrictions. We also give a deterministic polynomial-time algorithm that produces X-codes that achieve our bound.


title: Quasi-total Roman domination in graphs

abstract: A quasi-total Roman dominating function on a graph $G=(V, E)$ is a function $f : V \rightarrow \{0,1,2\}$ satisfying the following: - every vertex $u$ for which $f(u) = 0$ is adjacent to at least one vertex $v$ for which $f(v) =2$, and - if $x$ is an isolated vertex in the subgraph induced by the set of vertices labeled with 1 and 2, then $f(x)=1$. The weight of a quasi-total Roman dominating function is the value $\omega(f)=f(V)=\sum_{u\in V} f(u)$. The minimum weight of a quasi-total Roman dominating function on a graph $G$ is called the quasi-total Roman domination number of $G$. We introduce the quasi-total Roman domination number of graphs in this article, and begin the study of its combinatorial and computational properties.


title: Semi-Parametric Uncertainty Bounds for Binary Classification

abstract: The paper studies binary classification and aims at estimating the underlying regression function which is the conditional expectation of the class labels given the inputs. The regression function is the key component of the Bayes optimal classifier, moreover, besides providing optimal predictions, it can also assess the risk of misclassification. We aim at building non-asymptotic confidence regions for the regression function and suggest three kernel-based semi-parametric resampling methods. We prove that all of them guarantee regions with exact coverage probabilities and they are strongly consistent.


title: Entropy production and heat capacity of systems under time-dependent oscillating temperature

abstract: Using the stochastic thermodynamics, we determine the entropy production and the dynamic heat capacity of systems subject to a sinusoidally time dependent temperature, in which case the systems are permanently out of thermodynamic equilibrium inducing a continuous generation of entropy. The systems evolve in time according to a Fokker-Planck or to a Fokker-Planck-Kramers equation. Solutions of these equations, for the case of harmonic forces, are found exactly from which the heat flux, the production of entropy and the dynamic heat capacity are obtained as functions of the frequency of the temperature modulation. These last two quantities are shown to be related to the real an imaginary parts of the complex heat capacity.


title: A systematic study of the ground state properties of W, Os and Pt isotopes using HFB theory

abstract: A systematic study of the ground state properties of transitional nuclei W, Os and Pt is conducted with the help of Skyrme Hartree-Fock-Bogoliubov theory. Different Skyrme interactions are employed in the study. Two different bases, harmonic oscillator and transformed harmonic oscillator, are used in our investigation. 2n-separation energy, charge radii, neutron and proton rms radii, neutron skin thickness and deformation parameter have been estimated. The results obtained are in good agreement with the available experimental values.


title: Connections between spectral properties of asymptotic mappings and solutions to wireless network problems

abstract: In this study we establish connections between asymptotic functions and properties of solutions to important problems in wireless networks. We start by introducing a class of self-mappings (called asymptotic mappings) constructed with asymptotic functions, and we show that spectral properties of these mappings explain the behavior of solutions to some maxmin utility optimization problems. For example, in a common family of max-min utility power control problems, we prove that the optimal utility as a function of the power available to transmitters is approximately linear in the low power regime. However, as we move away from this regime, there exists a transition point, easily computed from the spectral radius of an asymptotic mapping, from which gains in utility become increasingly marginal. From these results we derive analogous properties of the transmit energy efficiency. In this study we also generalize and unify existing approaches for feasibility analysis in wireless networks. Feasibility problems often reduce to determining the existence of the fixed point of a standard interference mapping, and we show that the spectral radius of an asymptotic mapping provides a necessary and sufficient condition for the existence of such a fixed point. We further present a result that determines whether the fixed point satisfies a constraint given in terms of a monotone norm.


title: Achromatic Non-Interferometric Single Grating Neutron Phase Imaging

abstract: We demonstrate a simple single grating beam modulation technique, which enables the use of a highly intense neutron beam for phase imaging and thus spatially resolved structural correlation measurements in full analogy to quantum interference based methods. In contrast to interferometric approaches our method is intrinsically achromatic and provides unprecedented flexibility in the choice of experimental parameters. Utilizing merely a macroscopic absorption mask unparalleled length scales become accessible. The results presented, including application to a variety of materials, establish a paradigm shift in phase imaging.


title: Data-driven Prognostics with Predictive Uncertainty Estimation using Ensemble of Deep Ordinal Regression Models

abstract: Prognostics or Remaining Useful Life (RUL) Estimation from multi-sensor time series data is useful to enable condition-based maintenance and ensure high operational availability of equipment. We propose a novel deep learning based approach for Prognostics with Uncertainty Quantification that is useful in scenarios where: (i) access to labeled failure data is scarce due to rarity of failures (ii) future operational conditions are unobserved and (iii) inherent noise is present in the sensor readings. All three scenarios mentioned are unavoidable sources of uncertainty in the RUL estimation process often resulting in unreliable RUL estimates. To address (i), we formulate RUL estimation as an Ordinal Regression (OR) problem, and propose LSTM-OR: deep Long Short Term Memory (LSTM) network based approach to learn the OR function. We show that LSTM-OR naturally allows for incorporation of censored operational instances in training along with the failed instances, leading to more robust learning. To address (ii), we propose a simple yet effective approach to quantify predictive uncertainty in the RUL estimation models by training an ensemble of LSTM-OR models. Through empirical evaluation on C-MAPSS turbofan engine benchmark datasets, we demonstrate that LSTM-OR is significantly better than the commonly used deep metric regression based approaches for RUL estimation, especially when failed training instances are scarce. Further, our uncertainty quantification approach yields high quality predictive uncertainty estimates while also leading to improved RUL estimates compared to single best LSTM-OR models.


title: On the distribution of multiplicatively dependent vectors

abstract: In this paper, we study the distribution of multiplicatively dependent vectors. For example, although they have zero Lebesgue measure, they are everywhere dense both in $\mathbb{R}^n$ and $\mathbb{C}^n$. We also study this property in a more detailed manner by considering the covering radius of such vectors.


title: Canonical divergence for measuring classical and quantum complexity

abstract: A new canonical divergence is put forward for generalizing an information-geometric measure of complexity for both, classical and quantum systems. On the simplex of probability measures it is proved that the new divergence coincides with the Kullback-Leibler divergence, which is used to quantify how much a probability measure deviates from the non-interacting states that are modeled by exponential families of probabilities. On the space of positive density operators, we prove that the same divergence reduces to the quantum relative entropy, which quantifies many-party correlations of a quantum state from a Gibbs family.


title: Spatially-weighted Anomaly Detection with Regression Model

abstract: Visual anomaly detection is common in several applications including medical screening and production quality check. Although a definition of the anomaly is an unknown trend in data, in many cases some hints or samples of the anomaly class can be given in advance. Conventional methods cannot use the available anomaly data, and also do not have a robustness of noise. In this paper, we propose a novel spatially-weighted reconstruction-loss-based anomaly detection with a likelihood value from a regression model trained by all known data. The spatial weights are calculated by a region of interest generated from employing visualization of the regression model. We introduce some ways to combine with various strategies to propose a state-of-the-art method. Comparing with other methods on three different datasets, we empirically verify the proposed method performs better than the others.


title: Improving Adversarial Robustness via Guided Complement Entropy

abstract: Adversarial robustness has emerged as an important topic in deep learning as carefully crafted attack samples can significantly disturb the performance of a model. Many recent methods have proposed to improve adversarial robustness by utilizing adversarial training or model distillation, which adds additional procedures to model training. In this paper, we propose a new training paradigm called Guided Complement Entropy (GCE) that is capable of achieving "adversarial defense for free," which involves no additional procedures in the process of improving adversarial robustness. In addition to maximizing model probabilities on the ground-truth class like cross-entropy, we neutralize its probabilities on the incorrect classes along with a "guided" term to balance between these two terms. We show in the experiments that our method achieves better model robustness with even better performance compared to the commonly used cross-entropy training objective. We also show that our method can be used orthogonal to adversarial training across well-known methods with noticeable robustness gain. To the best of our knowledge, our approach is the first one that improves model robustness without compromising performance.


title: Coin.AI: A Proof-of-Useful-Work Scheme for Blockchain-based Distributed Deep Learning

abstract: One decade ago, Bitcoin was introduced, becoming the first cryptocurrency and establishing the concept of "blockchain" as a distributed ledger. As of today, there are many different implementations of cryptocurrencies working over a blockchain, with different approaches and philosophies. However, many of them share one common feature: they require proof-of-work to support the generation of blocks (mining) and, eventually, the generation of money. This proof-of-work scheme often consists in the resolution of a cryptography problem, most commonly breaking a hash value, which can only be achieved through brute-force. The main drawback of proof-of-work is that it requires ridiculously large amounts of energy which do not have any useful outcome beyond supporting the currency. In this paper, we present a theoretical proposal that introduces a proof-of-useful-work scheme to support a cryptocurrency running over a blockchain, which we named Coin.AI. In this system, the mining scheme requires training deep learning models, and a block is only mined when the performance of such model exceeds a threshold. The distributed system allows for nodes to verify the models delivered by miners in an easy way (certainly much more efficiently than the mining process itself), determining when a block is to be generated. Additionally, this paper presents a proof-of-storage scheme for rewarding users that provide storage for the deep learning models, as well as a theoretical dissertation on how the mechanics of the system could be articulated with the ultimate goal of democratizing access to artificial intelligence.


title: Measurement of the Electrical Properties of a Thundercloud Through Muon Imaging by the GRAPES-3 Experiment

abstract: The GRAPES-3 muon telescope located in Ooty, India records rapid ($\sim$10 min) variations in the muon intensity during major thunderstorms. Out of a total of 184 thunderstorms recorded during the interval April 2011-December 2014, the one on 1 December 2014 produced a massive potential of 1.3 GV. The electric field measured by four well-separated (up to 6 km) monitors on the ground was used to help estimate some of the properties of this thundercloud including its altitude and area that were found to be 11.4 km above mean sea level (amsl) and $\geq$380 km$^2$, respectively. A charging time of 6 min to reach 1.3 GV implied the delivery of a power of $\geq$2 GW by this thundercloud that was moving at a speed of $\sim$60 km h$^{-1}$. This work possibly provides the first direct evidence for the generation of GV potentials in thunderclouds that could also possibly explain the production of highest energy (100 MeV) $\gamma$-rays in the terrestrial $\gamma$-ray flashes.


title: Preconditioning the discrete dipole approximation

abstract: The discrete dipole approximation (DDA) is a popular numerical method for calculating the scattering properties of atmospheric ice crystals. The standard DDA formulation involves the uniform discretization of the underlying volume integral equation, leading to a linear system with a block-Toeplitz Toeplitz-block matrix. This structure permits a matrix-vector product to be performed with $\mathcal{O}(n\log n)$ complexity via the fast-Fourier transform (FFT). Thus, in principle, the system can be solved rapidly using an iterative method. However, it is well known that the convergence of iterative methods becomes increasing slow as the optical size and refractive index of the scattering obstacle are increased. In this paper, we present a preconditioning strategy based on the multi-level circulant preconditioner of Chan and Olkin and assess its performance for improving this rate of convergence. In particular, we approximate the system matrix by a block-circulant circulant-block matrix which can be inverted rapidly using the FFT. We present numerical results for scattering by hexagonal ice prisms demonstrating that this serves as an effective preconditioning strategy, reducing simulation times by orders of magnitude in many cases. A Matlab implementation of this work is freely available online.


title: Emotion Recognition based on Third-Order Circular Suprasegmental Hidden Markov Model

abstract: This work focuses on recognizing the unknown emotion based on the Third-Order Circular Suprasegmental Hidden Markov Model (CSPHMM3) as a classifier. Our work has been tested on Emotional Prosody Speech and Transcripts (EPST) database. The extracted features of EPST database are Mel-Frequency Cepstral Coefficients (MFCCs). Our results give average emotion recognition accuracy of 77.8% based on the CSPHMM3. The results of this work demonstrate that CSPHMM3 is superior to the Third-Order Hidden Markov Model (HMM3), Gaussian Mixture Model (GMM), Support Vector Machine (SVM), and Vector Quantization (VQ) by 6.0%, 4.9%, 3.5%, and 5.4%, respectively, for emotion recognition. The average emotion recognition accuracy achieved based on the CSPHMM3 is comparable to that found using subjective assessment by human judges.


title: Compensation of Beer-Lambert attenuation using non-diffracting Bessel beams

abstract: We report on a versatile method to compensate the linear attenuation in a medium, independently of its microscopic origin. The method exploits diffraction-limited Bessel beams and tailored on-axis intensity profiles which are generated using a phase-only spatial light modulator. This technique for compensating one of the most fundamental limiting processes in linear optics is shown to be efficient for a wide range of experimental conditions (modifying the refractive index and the attenuation coefficient). Finally, we explain how this method can be advantageously exploited in applications ranging from bio-imaging light sheet microscopy to quantum memories for future quantum communication networks.


title: On testing pseudorandom generators via statistical tests based on the arcsine law

abstract: Testing the quality of pseudorandom number generators is an important issue. Security requirements become more and more demanding, weaknesses in this matter are simply not acceptable. There is a need for an in-depth analysis of statistical tests -- one has to be sure that rejecting/accepting a generator as good is not a result of errors in computations or approximations. In this paper we propose a second level statistical test based on the arcsine law for random walks. We provide a Berry-Essen type inequality for approximating the arcsine distribution, what allows us to perform a detailed error analysis of the proposed test.


title: Conserved quantities in parity-time symmetric systems

abstract: Conserved quantities such as energy or the electric charge of a closed system, or the Runge-Lenz vector in Kepler dynamics are determined by its global, local, or accidental symmetries. They were instrumental to advances such as the prediction of neutrinos in the (inverse) beta decay process and the development of self-consistent approximate methods for isolated or thermal many-body systems. In contrast, little is known about conservation laws and their consequences in open systems. Recently, a special class of these systems, called parity-time ($\mathcal{PT}$) symmetric systems, has been intensely explored for their remarkable properties that are absent in their closed counterparts. A complete characterization and observation of conserved quantities in these systems and their consequences is still lacking. Here we present a complete set of conserved observables for a broad class of $\mathcal{PT}$-symmetric Hamiltonians and experimentally demonstrate their properties using single-photon linear optical circuit. By simulating the dynamics of a four-site system across a fourth-order exceptional point, we measure its four conserved quantities and demonstrate their consequences. Our results spell out non-local conservation laws in non-unitary dynamics and provide key elements that will underpin self-consistent analysis of non-Hermitian quantum many-body systems that are forthcoming.


title: BitSplit-Net: Multi-bit Deep Neural Network with Bitwise Activation Function

abstract: Significant computational cost and memory requirements for deep neural networks (DNNs) make it difficult to utilize DNNs in resource-constrained environments. Binary neural network (BNN), which uses binary weights and binary activations, has been gaining interests for its hardware-friendly characteristics and minimal resource requirement. However, BNN usually suffers from accuracy degradation. In this paper, we introduce "BitSplit-Net", a neural network which maintains the hardware-friendly characteristics of BNN while improving accuracy by using multi-bit precision. In BitSplit-Net, each bit of multi-bit activations propagates independently throughout the network before being merged at the end of the network. Thus, each bit path of the BitSplit-Net resembles BNN and hardware friendly features of BNN, such as bitwise binary activation function, are preserved in our scheme. We demonstrate that the BitSplit version of LeNet-5, VGG-9, AlexNet, and ResNet-18 can be trained to have similar classification accuracy at a lower computational cost compared to conventional multi-bit networks with low bit precision (<= 4-bit). We further evaluate BitSplit-Net on GPU with custom CUDA kernel, showing that BitSplit-Net can achieve better hardware performance in comparison to conventional multi-bit networks.


title: Density and Fractal Property of the Class of Oriented Trees

abstract: We show the density theorem for the class of finite oriented trees ordered by the homomorphism order. We also show that every interval of oriented trees, in addition to be dense, is in fact universal. We end by considering the fractal property in the class of all finite digraphs.


title: Semantic denoising autoencoders for retinal optical coherence tomography

abstract: Noise in speckle-prone optical coherence tomography tends to obfuscate important details necessary for medical diagnosis. In this paper, a denoising approach that preserves disease characteristics on retinal optical coherence tomography images in ophthalmology is presented. By combining a deep convolutional autoencoder with a priorly trained ResNet image classifier as regularizer, the perceptibility of delicate details is encouraged and only information-less background noise is filtered out. With our approach, higher peak signal-to-noise ratios with $ \mathrm{PSNR} = 31.2\,\mathrm{dB} $ and higher classification accuracy of $\mathrm{ACC} = 85.0\,\%$ can be achieved for denoised images compared to state-of-the-art denoising with $ \mathrm{PSNR} = 29.4\,\mathrm{dB} $ or $\mathrm{ACC} = 70.3\,\%$, depending on the method. It is shown that regularized autoencoders are capable of denoising retinal OCT images without blurring details of diseases.


title: An extension of a Liapunov approach to the stabilization of second order coupled systems

abstract: This paper deals with the convergence to 0 of the energy of the solutions of a second order linear coupled system. In order to obtain the energy decay, we exhibit a Liapunov function.


title: Projection Super-resolution Based on Convolutional Neural Network for Computed Tomography

abstract: The improvement of computed tomography (CT) image resolution is beneficial to the subsequent medical diagnosis, but it is usually limited by the scanning devices and great expense. Convolutional neural network (CNN)-based methods have achieved promising ability in super-resolution. However, existing methods mainly focus on the super-resolution of reconstructed image and do not fully explored the approach of super-resolution from projection-domain. In this paper, we studied the characteristic of projection and proposed a CNN-based super-resolution method to establish the mapping relationship of low- and high-resolution projection. The network label is high-resolution projection and the input is its corresponding interpolation data after down sampling. FDK algorithm is utilized for three-dimensional image reconstruction and one slice of reconstruction image is taken as an example to evaluate the performance of the proposed method. Qualitative and quantitative results show that the proposed method is potential to improve the resolution of projection and enables the reconstructed image with higher quality.


title: The quaternion core inverse and its generalizations

abstract: In this paper we extend notions of the core inverse, core EP inverse, DMP inverse, and CMP inverse over the quaternion skew-field ${\mathbb{H}}$ and get their determinantal representations within the framework of the theory of column-row determinants previously introduced by the author. Since the Moore-Penrose inverse and the Drazin inverse are necessary tools to represent these generalized inverses, we use their determinantal representations previously obtained by using row-column determinants. As the special case, we give their determinantal representations for matrices with complex entries as well. A numerical example to illustrate the main result is given.


title: Knowledge-Grounded Response Generation with Deep Attentional Latent-Variable Model

abstract: End-to-end dialogue generation has achieved promising results without using handcrafted features and attributes specific for each task and corpus. However, one of the fatal drawbacks in such approaches is that they are unable to generate informative utterances, so it limits their usage from some real-world conversational applications. This paper attempts at generating diverse and informative responses with a variational generation model, which contains a joint attention mechanism conditioning on the information from both dialogue contexts and extra knowledge.


title: Feedback Network for Image Super-Resolution

abstract: Recent advances in image super-resolution (SR) explored the power of deep learning to achieve a better reconstruction performance. However, the feedback mechanism, which commonly exists in human visual system, has not been fully exploited in existing deep learning based image SR methods. In this paper, we propose an image super-resolution feedback network (SRFBN) to refine low-level representations with high-level information. Specifically, we use hidden states in an RNN with constraints to achieve such feedback manner. A feedback block is designed to handle the feedback connections and to generate powerful high-level representations. The proposed SRFBN comes with a strong early reconstruction ability and can create the final high-resolution image step by step. In addition, we introduce a curriculum learning strategy to make the network well suitable for more complicated tasks, where the low-resolution images are corrupted by multiple types of degradation. Extensive experimental results demonstrate the superiority of the proposed SRFBN in comparison with the state-of-the-art methods. Code is avaliable at https://github.com/Paper99/SRFBN_CVPR19.


title: Dynamical Gibbs-non-Gibbs transitions in lattice Widom-Rowlinson models with hard-core and soft-core interactions

abstract: We consider the Widom-Rowlinson model on the lattice $\mathbb{Z}^d$ in two versions, comparing the cases of a hard-core repulsion and of a soft-core repulsion between particles carrying opposite signs. For both versions we investigate their dynamical Gibbs-non-Gibbs transitions under an independent stochastic symmetric spin-flip dynamics. While both models have a similar phase transition in the high-intensity regime in equilibrium, we show that they behave differently under time-evolution: The time-evolved soft-core model is Gibbs for small times and loses the Gibbs property for large enough times. By contrast, the time-evolved hard-core model loses the Gibbs property immediately, and for asymmetric intensities, shows a transition back to the Gibbsian regime at a sharp transition time.


title: Control Barrier Functions for Mechanical Systems: Theory and Application to Robotic Grasping

abstract: Control barrier functions have been demonstrated to be a useful method of ensuring constraint satisfaction for a wide class of controllers, however existing results are mostly restricted to continuous time systems of relative degree one. Mechanical systems, including robots, are typically second-order systems in which the control occurs at the force/torque level. These systems have velocity and position constraints (i.e. relative degree two) that are vital for safety and/or task execution. Additionally, mechanical systems are typically controlled digitally as sampled-data systems. The contribution of this work is two-fold. First, is the development of novel, robust control barrier functions that ensure constraint satisfaction for relative degree two, sampled-data systems in the presence of model uncertainty. Second, is the application of the proposed method to the challenging problem of robotic grasping in which a robotic hand must ensure an object remains inside the grasp while manipulating it to a desired reference trajectory. A grasp constraint satisfying controller is proposed that can admit existing nominal manipulation controllers from the literature, while simultaneously ensuring no slip, no over-extension (e.g. singular configurations), and no rolling off of the fingertips. Simulation and experimental results validate the proposed control for the robotic hand application.


title: Cyclically monotone non-optimal $N$-marginal transport plans and Smirnov-type decompositions for $N$-flows

abstract: In the setting of optimal transport with $N\ge 2$ marginals, a necessary condition for transport plans to be optimal is that they are $c$-cyclically monotone. For $N=2$ there exist several proofs that in very general settings $c$-cyclical monotoncity is also sufficient for optimality, while for $N\ge 3$ this is only known under strong conditions on $c$. Here we give a counterexample which shows that $c$-cylclical monotonicity is in general not sufficient for optimality if $N\ge 3$. Comparison with the $N=2$ case shows how the main proof strategies valid for the case $N=2$ might fail for $N\ge 3$. We leave open the question of what is the optimal condition on $c$ under which $c$-cyclical monotonicity is sufficient for optimality. The new concept of an $N$-flow seems to be helpful for understanding the counterexample: our construction is based on the absence of finite-support $N$-cycles in the set where our counterexample cost $c$ is finite. To follow this idea we formulate a Smirnov-type decomposition for $N$-flows.


title: Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories

abstract: The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with ethical theories exhibiting complex logical features like alethic and deontic modalities, indexicals, higher-order quantification, among others. Harnessing the high expressive power of Church's type theory as a meta-logic to semantically embed a combination of quantified non-classical logics, our work pushes existing boundaries in knowledge representation and reasoning. We demonstrate that intuitive encodings of complex ethical theories and their automation on the computer are no longer antipodes.


title: On the core of normal form games with a continuum of players : a correction

abstract: We study the core of normal form games with a continuum of players and without side payments. We consider the weak-core concept, which is an approximation of the core, introduced by Weber, Shapley and Shubik. For payoffs depending on the players' strategy profile, we prove that the weak-core is nonempty. The existence result establishes a weak-core element as a limit of elements in weak-cores of appropriate finite games. We establish by examples that our regularity hypotheses are relevant in the continuum case and the weak-core can be strictly larger than the Aumann's $\alpha$-core. For games where payoffs depend on the distribution of players' strategy profile, we prove that analogous regularity conditions ensuring the existence of pure strategy Nash equilibria are irrelevant for the non-vacuity of the weak-core.


title: Multi-agent Path Finding with Continuous Time Viewed Through Satisfiability Modulo Theories (SMT)

abstract: This paper addresses a variant of multi-agent path finding (MAPF) in continuous space and time. We present a new solving approach based on satisfiability modulo theories (SMT) to obtain makespan optimal solutions. The standard MAPF is a task of navigating agents in an undirected graph from given starting vertices to given goal vertices so that agents do not collide with each other in vertices of the graph. In the continuous version (MAPF$^\mathcal{R}$) agents move in an $n$-dimensional Euclidean space along straight lines that interconnect predefined positions. For simplicity, we work with circular omni-directional agents having constant velocities in the 2D plane. As agents can have different sizes and move smoothly along lines, a non-colliding movement along certain lines with small agents can result in a collision if the same movement is performed with larger agents. Our SMT-based approach for MAPF$^\mathcal{R}$ called SMT-CBS$^\mathcal{R}$ reformulates the Conflict-based Search (CBS) algorithm in terms of SMT concepts. We suggest lazy generation of decision variables and constraints. Each time a new conflict is discovered, the underlying encoding is extended with new variables and constraints to eliminate the conflict. We compared SMT-CBS$^\mathcal{R}$ and adaptations of CBS for the continuous variant of MAPF experimentally.


title: Extension formulae on almost complex manifolds

abstract: We give the extension formulae on almost complex manifolds and give decompositions of the extension formulae. As applications, we study $(n,0)$-forms, the $(n,0)$-Dolbeault cohomology group and $(n,q)$-forms on almost complex manifolds.


title: Scalable Differential Privacy with Certified Robustness in Adversarial Learning

abstract: In this paper, we aim to develop a scalable algorithm to preserve differential privacy (DP) in adversarial learning for deep neural networks (DNNs), with certified robustness to adversarial examples. By leveraging the sequential composition theory in DP, we randomize both input and latent spaces to strengthen our certified robustness bounds. To address the trade-off among model utility, privacy loss, and robustness, we design an original adversarial objective function, based on the post-processing property in DP, to tighten the sensitivity of our model. A new stochastic batch training is proposed to apply our mechanism on large DNNs and datasets, by bypassing the vanilla iterative batch-by-batch training in DP DNNs. An end-to-end theoretical analysis and evaluations show that our mechanism notably improves the robustness and scalability of DP DNNs.