title: Throughput Optimization for Wireless Powered Interference Channels

abstract: This paper studies a general multi-user wireless powered interference channel (IFC) under the harvest-then-transmit protocol, where the communication in channel coherence time consists of two phases, namely wireless energy transfer (WET) and wireless information transfer (WIT). In the first phase, all energy transmitters (ETs) transmit energy signals to information transmitters (ITs) via collaborative waveform design, while in the second phase, each IT transmits an information signal to its intended ET using the harvested energy in the previous phase. The aim is to jointly design the WET-WIT time allocation, the (deterministic) transmit signal at the first phase, and the transmit power of ITs in the second phase to optimize the network throughput. The design problems are non-convex and hence difficult to solve globally. To deal with them, we propose efficient iterative algorithms based on alternating projections; then, the majorization-minimization technique is used to tackle the nonconvex sub-problems in each iteration. We also extend the devised design methodology by considering imperfect channel state information (CSI) and non-linearity in energy harvesting circuit. The proposed algorithms are locally convergent and can provide high-quality suboptimal solutions to the design problems. Simulation results show the effectiveness of the proposed algorithms under various setups.


title: Blockchain and its Role in the Internet of Things (IoT)

abstract: Blockchain (BC) in the Internet of Things (IoT) is a novel technology that acts with decentralized, distributed, public and real-time ledger to store transactions among IoT nodes. A blockchain is a series of blocks, each block is linked to its previous blocks. Every block has the cryptographic hash code, previous block hash, and its data. The transactions in BC are the basic units that are used to transfer data between IoT nodes. The IoT nodes are different kind of physical but smart devices with embedded sensors, actuators, programs and able to communicate with other IoT nodes. The role of BC in IoT is to provide a procedure to process secured records of data through IoT nodes. BC is a secured technology that can be used publicly and openly. IoT requires this kind of technology to allow secure communication among IoT nodes in heterogeneous environment. The transactions in BC could be traced and explored through anyone who are authenticated to communicate within the IoT. The BC in IoT may help to improve the communication security. In this paper, I explored this approach, its opportunities and challenges.


title: Dopant incorporation site in sodium cobaltate's host lattice: A critical factor for thermoelectric performance

abstract: $Na_xCoO_2$ that comprises of alternating Na and $CoO_2$ layers has exotic magnetic and thermoelectric properties that could favorably be manipulated by adding dopants or varying Na concentration. In this work, we investigated the structural and electronic properties of Sr and Sb doped $Na_xCoO_2$ ($x$ = 0.50; 0.625; 0.75 and 0.875) through comprehensive density functional calculations. We found that Sr dopants always occupy a site in the Na layer while Sb dopants always substitute a Co ion in the host lattice regardless of Na concentration. This conclusion withstood when either generalized gradient approximation (GGA) or GGA+$U$ method was used. By residing on the Na layer, Sr dopants create charge and mass inertia against the liquid like Na layer, therefore, improving the crystallinity and decreasing the electrical resistivity through better carrier mobility. On the other hand, by substituting Co ions, Sb dopants reduce the electrical conductivity and therefore decrease the Seebeck coefficient.


title: Recursive Subtree Composition in LSTM-Based Dependency Parsing

abstract: The need for tree structure modelling on top of sequence modelling is an open issue in neural dependency parsing. We investigate the impact of adding a tree layer on top of a sequential model by recursively composing subtree representations (composition) in a transition-based parser that uses features extracted by a BiLSTM. Composition seems superfluous with such a model, suggesting that BiLSTMs capture information about subtrees. We perform model ablations to tease out the conditions under which composition helps. When ablating the backward LSTM, performance drops and composition does not recover much of the gap. When ablating the forward LSTM, performance drops less dramatically and composition recovers a substantial part of the gap, indicating that a forward LSTM and composition capture similar information. We take the backward LSTM to be related to lookahead features and the forward LSTM to the rich history-based features both crucial for transition-based parsers. To capture history-based information, composition is better than a forward LSTM on its own, but it is even better to have a forward LSTM as part of a BiLSTM. We correlate results with language properties, showing that the improved lookahead of a backward LSTM is especially important for head-final languages.


title: BoostGAN for Occlusive Profile Face Frontalization and Recognition

abstract: There are many facts affecting human face recognition, such as pose, occlusion, illumination, age, etc. First and foremost are large pose and occlusion problems, which can even result in more than 10% performance degradation. Pose-invariant feature representation and face frontalization with generative adversarial networks (GAN) have been widely used to solve the pose problem. However, the synthesis and recognition of occlusive but profile faces is still an uninvestigated problem. To address this issue, in this paper, we aim to contribute an effective solution on how to recognize occlusive but profile faces, even with facial keypoint region (e.g. eyes, nose, etc.) corrupted. Specifically, we propose a boosting Generative Adversarial Network (BoostGAN) for de-occlusion, frontalization, and recognition of faces. Upon the assumption that facial occlusion is partial and incomplete, multiple patch occluded images are fed as inputs for knowledge boosting, such as identity and texture information. A new aggregation structure composed of a deep GAN for coarse face synthesis and a shallow boosting net for fine face generation is further designed. Exhaustive experiments demonstrate that the proposed approach not only presents clear perceptual photo-realistic results but also shows state-of-the-art recognition performance for occlusive but profile faces.


title: Morphisms and Duality for Polarities and Lattices with Operators

abstract: Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional operators. This article develops a first order notion of morphism between polarity-based structures that generalises the theory of bounded morphisms for Boolean modal logics. It defines a category of such structures that is contravariantly dual to a given category of lattice-based algebras whose additional operations preserve either finite joins or finite meets. Two different versions of the Goldblatt-Thomason theorem are derived in this setting.


title: Dynamic spin-charge coupling: spin Hall magnetoresistance in non-magnetic conductors

abstract: The dynamic coupling between spin and charge currents in non-magnetic conductors is considered. As a consequence of this coupling, the spin dynamics is directly reflected in the electrical impedance of the sample, with a relevant frequency scale defined by spin relaxation and spin diffusion. This allows the observation of the electron spin resonance by purely electrical measurements.


title: Nonlinear instability of inhomogeneous steady states solutions to the HMF Model

abstract: In this work we prove the nonlinear instability of inhomogeneous steady states solutions to the Hamiltonian Mean Field (HMF) model. We first study the linear instability of this model under a simple criterion by adapting the techniques developed in [19]. In a second part, we extend to the inhomogeneous case some techniques developed in [14, 17, 18] and prove a nonlinear instability result under the same criterion.


title: Barriers to the Transport of Diffusive Scalars in Compressible Flows

abstract: Our recent work identifies material surfaces in incompressible flows that extremize the transport of an arbitrary, weakly diffusive scalar field relative to neighboring surfaces. Such barriers and enhancers of transport can be located directly from the deterministic component of the velocity field without diffusive or stochastic simulations. Here we extend these results to compressible flows and to diffusive concentration fields affected by sources or sinks, as well as by spontaneous decay. We construct diffusive transport extremizers with and without constraining them on a specific initial concentration distribution. For two-dimensional flows, we obtain explicit differential equations and a diagnostic scalar field that identify the most observable extremizers with pointwise uniform transport density. We illustrate our results by uncovering diffusion barriers and enhancers in analytic, numerical, and observational velocity fields.


title: Effect of nonlinear diffusion on a lower bound for the blow-up time in a fully parabolic chemotaxis system

abstract: This paper deals with a lower bound for the blow-up time for solutions of the fully parabolic chemotaxis system \begin{equation*} \begin{cases} u_t=\nabla \cdot [(u+\alpha)^{m_1-1} \nabla u-\chi u(u+\alpha)^{m_2-2} \nabla v] & {\rm in} \; \Omega \times (0,T), \\[1mm] v_t=\Delta v-v+u & {\rm in} \; \Omega \times (0,T) \end{cases} \end{equation*} under Neumann boundary conditions and initial conditions, where $\Omega$ is a general bounded domain in $\mathbb{R}^n$ with smooth boundary, $\alpha>0$, $\chi>0$, $m_1, m_2 \in \mathbb{R}$ and $T>0$. Recently, Anderson-Deng (2017) gave a lower bound for the blow-up time in the case that $m_1=1$ and $\Omega$ is a convex bounded domain. The purpose of this paper is to generalize the result in Anderson-Deng (2017) to the case that $m_1 \neq 1$ and $\Omega$ is a non-convex bounded domain. The key to the proof is to make a sharp estimate by using the Gagliardo-Nirenberg inequality and an inequality for boundary integrals. As a consequence, the main result of this paper reflects the effect of nonlinear diffusion and need not assume the convexity of $\Omega$.


title: Scaled Relative Graph: Nonexpansive operators via 2D Euclidean Geometry

abstract: Many iterative methods in applied mathematics can be thought of as fixed-point iterations, and such algorithms are usually analyzed analytically, with inequalities. In this paper, we present a geometric approach to analyzing contractive and nonexpansive fixed point iterations with a new tool called the scaled relative graph (SRG). The SRG provides a correspondence between nonlinear operators and subsets of the 2D plane. Under this framework, a geometric argument in the 2D plane becomes a rigorous proof of convergence.


title: Solenoid from experimental HTS tape for magnetic refrigeration

abstract: The project of superconducting magnetic system (SMS) for the magnetic refrigerator machine is proposed. The second-generation high-temperature superconducting tapes for SMS are developed, fabricated and tested in NRC Kurchatov Institute. The magnet consists of 12 non-insulated double pancake coils. The SMS is installed in the vacuum chamber and cooled by a cryo refrigerator.


title: A note on Fibonacci Sequences of Random Variables

abstract: The focus of this paper is the random sequences in the form $\{X_{0},X_{1},$ $X_{n}=X_{n-2}+X_{n-1},n=2,3,..\dot{\}},$ referred to as Fibonacci Random Sequence (FRS). The initial random variables $X_{0}$ and $X_{1}$ are assumed to be absolutely continuous with joint probability density function (pdf) $f_{X_{0},X_{1}}.$ The FRS is completely determined by $X_{0}$ and $X_{1}$ and the members of Fibonacci sequence $\digamma \equiv\{0,1,1,2,3,5,8,13,21,34,55,89,144,...\}.$ We examine the distributional and limit properties of the random sequence $X_{n},n=0,1,2,...$ .


title: The importance of space and time in neuromorphic cognitive agents

abstract: Artificial neural networks and computational neuroscience models have made tremendous progress, allowing computers to achieve impressive results in artificial intelligence (AI) applications, such as image recognition, natural language processing, or autonomous driving. Despite this remarkable progress, biological neural systems consume orders of magnitude less energy than today's artificial neural networks and are much more agile and adaptive. This efficiency and adaptivity gap is partially explained by the computing substrate of biological neural processing systems that is fundamentally different from the way today's computers are built. Biological systems use in-memory computing elements operating in a massively parallel way rather than time-multiplexed computing units that are reused in a sequential fashion. Moreover, activity of biological neurons follows continuous-time dynamics in real, physical time, instead of operating on discrete temporal cycles abstracted away from real-time. Here, we present neuromorphic processing devices that emulate the biological style of processing by using parallel instances of mixed-signal analog/digital circuits that operate in real time. We argue that this approach brings significant advantages in efficiency of computation. We show examples of embodied neuromorphic agents that use such devices to interact with the environment and exhibit autonomous learning.


title: Laser seeding attack in quantum key distribution

abstract: Quantum key distribution (QKD) based on the laws of quantum physics allows the secure distribution of secret keys over an insecure channel. Unfortunately, imperfect implementations of QKD compromise its information-theoretical security. Measurement-device-independent quantum key distribution (MDI-QKD) is a promising approach to remove all side channels from the measurement unit, which is regarded as the "Achilles' heel" of QKD. An essential assumption in MDI-QKD is however that the sources are trusted. Here we experimentally demonstrate that a practical source based on a semiconductor laser diode is vulnerable to a laser seeding attack, in which light injected from the communication line into the laser results in an increase of the intensities of the prepared states. The unnoticed increase of intensity may compromise the security of QKD, as we show theoretically for the prepare-and-measure decoy-state BB84 and MDI-QKD protocols. Our theoretical security analysis is general and can be applied to any vulnerability that increases the intensity of the emitted pulses. Moreover, a laser seeding attack might be launched as well against decoy-state based quantum cryptographic protocols beyond QKD.


title: Elastic Constant Measurement from Vibrational Mode Frequencies in Resonant Ultrasound Spectroscopy

abstract: Execution of Resonant Ultrasound Spectroscopy (RUS) for accurate measurement of elastic constants lies primarily on a perfect matching in the calculated and measured mode frequencies of free vibration. Calculation of these frequencies require estimated values of the elastic constants of the material under study, and one has to depend on other experiments for these data. The present work proposes and demonstrates an alternative to derive initial guess values of essential parameters for an isotropic and homogeneous material from the acquired RUS spectra itself. Specimen samples are taken in the shape of rectangular parallelepiped having nearly same cross-sectional dimension but with different lengths. For particular compressional (shear) mode corresponding to length l, the frequency fis inversely proportional to l. The slope m of f versus 1/l plot equals to half of the compressional (shear) velocity and this in turn gives an estimate of c_11 (c_44). With these parameters as the input guess parameters, RUS fitting method is executed to find out the best fit results. Elastic constants of commercially available specimens of aluminium, copper, lead, steel and brass are measured in this technique assuming macroscopic homogeneity. Results show good agreement with available literature values.


title: Non-parametric dark energy reconstruction using the tomographic Alcock-Paczynski test

abstract: The tomographic Alcock-Paczynski (AP) method can result in tight cosmological constraints by using small and intermediate clustering scales of the large scale structure (LSS) of the galaxy distribution. By focusing on the redshift dependence, the AP distortion can be distinguished from the distortions produced by the redshift space distortions (RSD). In this work, we combine the tomographic AP method with other recent observational datasets of SNIa+BAO+CMB+$H_0$ to reconstruct the dark energy equation-of-state $w$ in a non-parametric form. The result favors a dynamical DE at $z\lesssim1$, and shows a mild deviation ($\lesssim2\sigma$) from $w=-1$ at $z=0.5-0.7$. We find the addition of the AP method improves the low redshift ($z\lesssim0.7$) constraint by $\sim50\%$.


title: Bi-stream Pose Guided Region Ensemble Network for Fingertip Localization from Stereo Images

abstract: In human-computer interaction, it is important to accurately estimate the hand pose especially fingertips. However, traditional approaches for fingertip localization mainly rely on depth images and thus suffer considerably from the noise and missing values. Instead of depth images, stereo images can also provide 3D information of hands and promote 3D hand pose estimation. There are nevertheless limitations on the dataset size, global viewpoints, hand articulations and hand shapes in the publicly available stereo-based hand pose datasets. To mitigate these limitations and promote further research on hand pose estimation from stereo images, we propose a new large-scale binocular hand pose dataset called THU-Bi-Hand, offering a new perspective for fingertip localization. In the THU-Bi-Hand dataset, there are 447k pairs of stereo images of different hand shapes from 10 subjects with accurate 3D location annotations of the wrist and five fingertips. Captured with minimal restriction on the range of hand motion, the dataset covers large global viewpoint space and hand articulation space. To better present the performance of fingertip localization on THU-Bi-Hand, we propose a novel scheme termed Bi-stream Pose Guided Region Ensemble Network (Bi-Pose-REN). It extracts more representative feature regions around joint points in the feature maps under the guidance of the previously estimated pose. The feature regions are integrated hierarchically according to the topology of hand joints to regress the refined hand pose. Bi-Pose-REN and several existing methods are evaluated on THU-Bi-Hand so that benchmarks are provided for further research. Experimental results show that our new method has achieved the best performance on THU-Bi-Hand.


title: Estimation of the Parameters of Multivariate Stable Distributions

abstract: In this paper, we begin our discussion with some of the well-known methods available in the literature for the estimation of the parameters of a univariate/multivariate stable distribution. Based on the available methods, a new hybrid method is proposed for the estimation of the parameters of a univariate stable distribution. The proposed method is further used for the estimation of the parameters of a strictly multivariate stable distribution. The efficiency, accuracy, and simplicity of the new method is shown through Monte-Carlo simulation. Finally, we apply the proposed method to the univariate and bivariate financial data.


title: Alignment between filaments and galaxy spins from the MaNGA integral-field survey

abstract: Halos and galaxies acquire their angular momentum during the collapse of surrounding large-scale structure. This process imprints alignments between galaxy spins and nearby filaments and sheets. Low mass halos grow by accretion onto filaments, aligning their spins with the filaments, whereas high mass halos grow by mergers along filaments, generating spins perpendicular to the filament. We search for this alignment signal using filaments identified with the "Cosmic Web Reconstruction" algorithm applied to the Sloan Digital Sky Survey Main Galaxy Sample and galaxy spins from the MaNGA integral-field unit survey. MaNGA produces a map of the galaxy's rotational velocity, allowing direct measurement of the galaxy's spin direction, or unit angular momentum vector projected onto the sky. We find no evidence for alignment between galaxy spins and filament directions. We do find hints of a mass-dependent alignment signal, which is in 2-3$\sigma$ tension with the mass-dependent alignment signal in the MassiveBlack-II and Illustris hydrodynamical simulations. However, the tension vanishes when galaxy spin is measured using the H$\alpha$ emission line velocity rather than stellar velocity. Finally, in simulations we find that the mass-dependent transition from aligned to anti-aligned dark matter halo spins is not necessarily present in stellar spins: we find a stellar spin transition in Illustris but not in MassiveBlack-II, highlighting the sensitivity of spin-filament alignments to feedback prescriptions and subgrid physics.


title: Proximity-induced gap in nanowires with a thin superconducting shell

abstract: Coupling a normal metal wire to a superconductor induces an excitation gap in the normal metal. In the absence of disorder, the induced excitation gap is strongly suppressed by finite-size effects if the thickness of the superconductor is much smaller than the thickness of the normal metal and the superconducting coherence length. We show that the presence of disorder, either in the bulk or at the exposed surface of the superconductor, significantly enhances the magnitude of the induced gap, such that it approaches the superconducting gap in the limit of strong disorder. We also discuss the shift of energy bands inside the normal-metal wire as a result of the coupling to the superconducting shell.


title: Few-body insights of multiquark exotic hadrons

abstract: In this contribution we discuss the adequate treatment of the $4-$ and $5-$body dynamics within a constituent quark framework. We stress that the variational and Born-Oppenheimer approximations give energies rather close to the exact ones, while the diquark approximation might be rather misleading. Hall-Post inequalities provide very useful lower bounds that exclude possible stable states for some mass ratios and color wave functions.


title: Floquet Theory for Quaternion-valued Differential Equations

abstract: This paper describes the Floquet theory for quaternion-valued differential equations (QDEs). The Floquet normal form of fundamental matrix for linear QDEs with periodic coefficients is presented and the stability of quaternionic periodic systems is accordingly studied. As an important application of Floquet theory, we give a discussion on the stability of quaternion-valued Hill's equation. Examples are presented to illustrate the proposed results.


title: Analyzing Gravitational Waves with General Relativity

abstract: After a short review of prominent properties of gravitational waves and the newly born gravitational astronomy, we focus on theoretical aspects. Analytic approximation methods in general relativity have played a crucial role in the recent discoveries of gravitational waves. They are used to build theoretical template banks for searching and analyzing the signals in the ground-based detectors LIGO and Virgo, and, further ahead, space-based LISA-like detectors. In particular, the post-Newtonian approximation describes with high accuracy the early inspiral of compact binary systems, made of black holes or neutron stars. It mainly consists of extending the Einstein quadrupole formula by a series of relativistic corrections up to high order. The compact objects are modelled by point masses with spins. The practical calculations face difficult problems of divergences, which have been solved thanks to the dimensional regularization. In the last rotations before the merger, the finite size effects and the internal structure of neutron stars (notably the internal equation of state) affect the evolution of the orbit and the emission of gravitational waves. We describe these effects within a simple Newtonian model.


title: Semantic Hilbert Space for Text Representation Learning

abstract: Capturing the meaning of sentences has long been a challenging task. Current models tend to apply linear combinations of word features to conduct semantic composition for bigger-granularity units e.g. phrases, sentences, and documents. However, the semantic linearity does not always hold in human language. For instance, the meaning of the phrase `ivory tower' can not be deduced by linearly combining the meanings of `ivory' and `tower'. To address this issue, we propose a new framework that models different levels of semantic units (e.g. sememe, word, sentence, and semantic abstraction) on a single \textit{Semantic Hilbert Space}, which naturally admits a non-linear semantic composition by means of a complex-valued vector word representation. An end-to-end neural network~\footnote{https://github.com/wabyking/qnn} is proposed to implement the framework in the text classification task, and evaluation results on six benchmarking text classification datasets demonstrate the effectiveness, robustness and self-explanation power of the proposed model. Furthermore, intuitive case studies are conducted to help end users to understand how the framework works.


title: Logarithmic Regret for parameter-free Online Logistic Regression

abstract: We consider online optimization procedures in the context of logistic regression, focusing on the Extended Kalman Filter (EKF). We introduce a second-order algorithm close to the EKF, named Semi-Online Step (SOS), for which we prove a O(log(n)) regret in the adversarial setting, paving the way to similar results for the EKF. This regret bound on SOS is the first for such parameter-free algorithm in the adversarial logistic regression. We prove for the EKF in constant dynamics a O(log(n)) regret in expectation and in the well-specified logistic regression model.


title: Fly-by encounters between two planetary systems I: solar system analogues

abstract: Stars formed in clusters can encounter other stars at close distances. In typical open clusters in the Solar neighbourhood containing hundreds or thousands of member stars, ten to twenty per cent of Solar-mass member stars are expected to encounter another star at distances closer than 100 au. These close encounters strongly perturb the planetary systems, directly causing ejection of planets or their capture by the intruding star, as well as exciting the orbits. Using extensive $N$-body simulations, we study such fly-by encounters between two Solar System analogues, each with four giant planets from Jupiter to Neptune. We quantify the rates of loss and capture immediately after the encounter, e.g., the Neptune analogue is lost in one in four encounters within 100 au, and captured by the flying-by star in one in twelve encounters. We then perform long-term (up to 1 Gyr) simulations investigating the ensuing post-encounter evolution. We show that large numbers of planets are removed from systems due to planet--planet interactions and that captured planets further enhance the system instability. While encounters can initially leave a planetary system containing more planets by inserting additional ones, the long-term instability causes a net reduction in planet number. A captured planet ends up on a retrograde orbit in half of the runs in which it survives for 1 Gyr; also, a planet bound to its original host star but flipped during the encounter may survive. Thus, encounters between planetary systems are a channel to create counter-rotating planets, This would happen in around 1% of systems, and such planets are potentially detectable through astrometry or direct imaging.


title: Singularity of relativistic vortex beam and proper relativistic observables

abstract: We have studied the phase singularity of the relativistic vortex beams for the two sets of relativistic operators. One includes the new spin and orbital angular momentum (OAM) operators, which is derived from the parity-extended Poincar\'e group, and the other is composed of the (usual) Dirac spin and OAM operators. The first set predicts the same singular circulation as the nonrelativistic vortex beams. On the other hand, the second set anticipates that the singularity of the circulation is spin orientation-dependent and can be disappeared especially for relativistic paraxial electron beam with spin parallel to the propagating direction. These contradistinctive predictions suggest the relativistic electron beam experiment with spin-polarized electrons for the first time to answer the long-standing fundamental question, i.e., what are the proper relativistic observables, raised from the beginning of relativistic quantum mechanics since the discovery of the Dirac equation.


title: Neglecting nonlocality leads to unreliable numerical methods for fractional differential equations

abstract: In the paper titled "New numerical approach for fractional differential equations" by A. Atangana and K.M. Owolabi [Math. Model. Nat. Phenom., 13(1), 2018], it is presented a method for the numerical solution of some fractional differential equations. The numerical approximation is obtained by using just local information and the scheme does not present a memory term; moreover, it is claimed that third-order convergence is surprisingly obtained by simply using linear polynomial approximations. In this note we show that methods of this kind are not reliable and lead to completely wrong results since the nonlocal nature of fractional differential operators cannot be neglected. We illustrate the main weaknesses in the derivation and analysis of the method in order to warn other researchers and scientist to overlook this and other methods devised on similar basis and avoid their use for the numerical simulation of fractional differential equations.


title: Topological protection brought to light by the time-reversal symmetry breaking

abstract: Recent topological band theory distinguishes electronic band insulators with respect to various symmetries and topological invariants, most commonly, the time reversal symmetry and the $\rm Z_2$ invariant. The interface of two topologically distinct insulators hosts a unique class of electronic states -- the helical states, which shortcut the gapped bulk and exhibit spin-momentum locking. The magic and so far elusive property of the helical electrons, known as topological protection, prevents them from coherent backscattering as long as the underlying symmetry is preserved. Here we present an experiment which brings to light the strength of topological protection in one-dimensional helical edge states of a $\rm Z_2$ quantum spin-Hall insulator in HgTe. At low temperatures, we observe the dramatic impact of a tiny magnetic field, which results in an exponential increase of the resistance accompanied by giant mesoscopic fluctuations and a gap opening. This textbook Anderson localization scenario emerges only upon the time-reversal symmetry breaking, bringing the first direct evidence of the topological protection strength in helical edge states.


title: Statistical Learning Aided Decoding of BMST of Tail-Biting Convolutional Code

abstract: This paper is concerned with block Markov superposition transmission (BMST) of tail-biting convolutional code (TBCC). We propose a new decoding algorithm for BMST-TBCC, which integrates a serial list Viterbi algorithm (SLVA) with a soft check instead of conventional cyclic redundancy check (CRC). The basic idea is that, compared with an erroneous candidate codeword, the correct candidate codeword for the first sub-frame has less influence on the output of Viterbi algorithm for the second sub-frame. The threshold is then determined by statistical learning based on the introduced empirical divergence function. The numerical results illustrate that, under the constraint of equivalent decoding delay, the BMST-TBCC has comparable performance with the polar codes. As a result, BMST-TBCCs may find applications in the scenarios of the streaming ultra-reliable and low latency communication (URLLC) data services.


title: Recurrent Convolution for Compact and Cost-Adjustable Neural Networks: An Empirical Study

abstract: Recurrent convolution (RC) shares the same convolutional kernels and unrolls them multiple steps, which is originally proposed to model time-space signals. We argue that RC can be viewed as a model compression strategy for deep convolutional neural networks. RC reduces the redundancy across layers. However, the performance of an RC network is not satisfactory if we directly unroll the same kernels multiple steps. We propose a simple yet effective variant which improves the RC networks: the batch normalization layers of an RC module are learned independently (not shared) for different unrolling steps. Moreover, we verify that RC can perform cost-adjustable inference which is achieved by varying its unrolling steps. We learn double independent BN layers for cost-adjustable RC networks, i.e. independent w.r.t both the unrolling steps of current cell and upstream cell. We provide insights on why the proposed method works successfully. Experiments on both image classification and image denoise demonstrate the effectiveness of our method.


title: Ordered graphs and large bi-cliques in intersection graphs of curves

abstract: An ordered graph $G_<$ is a graph with a total ordering $<$ on its vertex set. A monotone path of length $k$ is a sequence of vertices $v_1<v_2<\ldots<v_k$ such that $v_iv_{j}$ is an edge of $G_<$ if and only if $|j-i|=1$. A bi-clique of size $m$ is a complete bipartite graph whose vertex classes are of size $m$. We prove that for every positive integer $k$, there exists a constant $c_k>0$ such that every ordered graph on $n$ vertices that does not contain a monotone path of length $k$ as an induced subgraph has a vertex of degree at least $c_kn$, or its complement has a bi-clique of size at least $c_kn/\log n$. A similar result holds for ordered graphs containing no induced ordered subgraph isomorphic to a fixed ordered matching. As a consequence, we give a short combinatorial proof of the following theorem of Fox and Pach. There exists a constant $c>0$ such the intersection graph $G$ of any collection of $n$ $x$-monotone curves in the plane has a bi-clique of size at least $cn/\log n$ or its complement contains a bi-clique of size at least $cn$. (A curve is called $x$-monotone if every vertical line intersects it in at most one point.) We also prove that if $G$ has at most $\left(\frac14 -\epsilon\right){n\choose 2}$ edges for some $\epsilon>0$, then $\overline{G}$ contains a linear sized bi-clique. We show that this statement does not remain true if we replace $\frac14$ by any larger constants.


title: LaSO: Label-Set Operations networks for multi-label few-shot learning

abstract: Example synthesis is one of the leading methods to tackle the problem of few-shot learning, where only a small number of samples per class are available. However, current synthesis approaches only address the scenario of a single category label per image. In this work, we propose a novel technique for synthesizing samples with multiple labels for the (yet unhandled) multi-label few-shot classification scenario. We propose to combine pairs of given examples in feature space, so that the resulting synthesized feature vectors will correspond to examples whose label sets are obtained through certain set operations on the label sets of the corresponding input pairs. Thus, our method is capable of producing a sample containing the intersection, union or set-difference of labels present in two input samples. As we show, these set operations generalize to labels unseen during training. This enables performing augmentation on examples of novel categories, thus, facilitating multi-label few-shot classifier learning. We conduct numerous experiments showing promising results for the label-set manipulation capabilities of the proposed approach, both directly (using the classification and retrieval metrics), and in the context of performing data augmentation for multi-label few-shot learning. We propose a benchmark for this new and challenging task and show that our method compares favorably to all the common baselines.


title: Random walks avoiding their convex hull with a finite memory

abstract: Fix integers $d \geq 2$ and $k\geq d-1$. Consider a random walk $X_0, X_1, \ldots$ in $\mathbb{R}^d$ in which, given $X_0, X_1, \ldots, X_n$ ($n \geq k$), the next step $X_{n+1}$ is uniformly distributed on the unit ball centred at $X_n$, but conditioned that the line segment from $X_n$ to $X_{n+1}$ intersects the convex hull of $\{0, X_{n-k}, \ldots, X_n\}$ only at $X_n$. For $k = \infty$ this is a version of the model introduced by Angel et al., which is conjectured to be ballistic, i.e., to have a limiting speed and a limiting direction. We establish ballisticity for the finite-$k$ model, and comment on some open problems. In the case where $d=2$ and $k=1$, we obtain the limiting speed explicitly: it is $8/(9\pi^2)$.


title: A block triple-relaxation-time lattice Boltzmann model for nonlinear anisotropic convection-diffusion equations

abstract: A block triple-relaxation-time (B-TriRT) lattice Boltzmann model for general nonlinear anisotropic convection-diffusion equations (NACDEs) is proposed, and the Chapman-Enskog analysis shows that the present B-TriRT model can recover the NACDEs correctly. There are some striking features of the present B-TriRT model: firstly, the relaxation matrix of B-TriRT model is partitioned into three relaxation parameter blocks, rather than a diagonal matrix in general multiple-relaxation-time (MRT) model; secondly, based on the analysis of half-way bounce-back (HBB) scheme for Dirichlet boundary conditions, we obtain an expression to determine the relaxation parameters; thirdly, the anisotropic diffusion tensor can be recovered by the relaxation parameter block that corresponds to the first-order moment of non-equilibrium distribution function. A number of simulations of isotropic and anisotropic convection-diffusion equations are conducted to validate the present B-TriRT model. The results indicate that the present model has a second-order accuracy in space, and is also more accurate and more stable than some available lattice Boltzmann models.


title: On the Reducibility and the Lenticular Sets of Zeroes of Almost Newman Lacunary Polynomials

abstract: The class B of lacunary polynomials f(x) := -1 + x + x^n + x^{m_1} + x^{m_2} + ... + x^{m_s}, where s >= 0, m_1 - n >= n - 1, m_{q+1} - m_{q} >= n - 1 for 1 <= q < s, n >= 3 is studied. A polynomial having its coefficients in {0, 1} except its constant coefficient equal to -1 is called an almost Newman polynomial. A general theorem of factorization of the almost Newman polynomials of the class B is obtained. Such polynomials possess lenticular roots in the open unit disk off the unit circle in the small angular sector \pi/18 <= arg z <= \pi/18 and their nonreciprocal parts are always irreducible. The existence of lenticuli of roots is a peculiarity of the class B. By comparison with the Odlyzko - Poonen Conjecture and its variant Conjecture, an `Asymptotic Reducibility Conjecture' is formulated aiming at establishing the proportion of irreducible polynomials in this class. This proportion is conjectured to be 3/4 and estimated using Monte-Carlo methods. The numerical approximate value ~ 0.756 is obtained. The results extend those on trinomials (Selmer) and quadrinomials (Ljunggren, Mills, Finch and Jones).


title: On Maximal order poles of generalized topological zeta functions

abstract: We show some examples of topological zeta functions associated to an isolated plane curve singular point and an allowed, in the sense of N\'emethi and Veys, differential form that have several poles of order two. This is in contrast to the case of the standard differential form where, as showed by Veys for plane curves and by Nicaise and Xu in general, there is always at most one pole of order two.


title: Simple and projective correspondence functors

abstract: A correspondence functor is a functor from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring. We determine exactly which simple correspondence functors are projective. Moreover, we analyze the occurrence of such simple projective functors inside the correspondence functor $F$ associated with a finite lattice and we deduce a direct sum decomposition of $F$.


title: GCN-LASE: Towards Adequately Incorporating Link Attributes in Graph Convolutional Networks

abstract: Graph Convolutional Networks (GCNs) have proved to be a most powerful architecture in aggregating local neighborhood information for individual graph nodes. Low-rank proximities and node features are successfully leveraged in existing GCNs, however, attributes that graph links may carry are commonly ignored, as almost all of these models simplify graph links into binary or scalar values describing node connectedness. In our paper instead, links are reverted to hypostatic relationships between entities with descriptional attributes. We propose GCN-LASE (GCN with Link Attributes and Sampling Estimation), a novel GCN model taking both node and link attributes as inputs. To adequately captures the interactions between link and node attributes, their tensor product is used as neighbor features, based on which we define several graph kernels and further develop according architectures for LASE. Besides, to accelerate the training process, the sum of features in entire neighborhoods are estimated through Monte Carlo method, with novel sampling strategies designed for LASE to minimize the estimation variance. Our experiments show that LASE outperforms strong baselines over various graph datasets, and further experiments corroborate the informativeness of link attributes and our model's ability of adequately leveraging them.


title: Generative Visual Dialogue System via Adaptive Reasoning and Weighted Likelihood Estimation

abstract: The key challenge of generative Visual Dialogue (VD) systems is to respond to human queries with informative answers in natural and contiguous conversation flow. Traditional Maximum Likelihood Estimation (MLE)-based methods only learn from positive responses but ignore the negative responses, and consequently tend to yield safe or generic responses. To address this issue, we propose a novel training scheme in conjunction with weighted likelihood estimation (WLE) method. Furthermore, an adaptive multi-modal reasoning module is designed, to accommodate various dialogue scenarios automatically and select relevant information accordingly. The experimental results on the VisDial benchmark demonstrate the superiority of our proposed algorithm over other state-of-the-art approaches, with an improvement of 5.81% on recall@10.


title: Note on Strichartz inequalities for the wave equation with potential

abstract: We obtain Strichartz inequalities for the wave equation with potentials which behave like the inverse square potential $|x|^{-2}$ but might be not a radially symmetric function.


title: Robust and Subject-Independent Driving Manoeuvre Anticipation through Domain-Adversarial Recurrent Neural Networks

abstract: Through deep learning and computer vision techniques, driving manoeuvres can be predicted accurately a few seconds in advance. Even though adapting a learned model to new drivers and different vehicles is key for robust driver-assistance systems, this problem has received little attention so far. This work proposes to tackle this challenge through domain adaptation, a technique closely related to transfer learning. A proof of concept for the application of a Domain-Adversarial Recurrent Neural Network (DA-RNN) to multi-modal time series driving data is presented, in which domain-invariant features are learned by maximizing the loss of an auxiliary domain classifier. Our implementation is evaluated using a leave-one-driver-out approach on individual drivers from the Brain4Cars dataset, as well as using a new dataset acquired through driving simulations, yielding an average increase in performance of 30% and 114% respectively compared to no adaptation. We also show the importance of fine-tuning sections of the network to optimise the extraction of domain-independent features. The results demonstrate the applicability of the approach to driver-assistance systems as well as training and simulation environments.


title: 74.38 Tb/s Transmission Over 6300 km Single Mode Fiber with Hybrid EDFA/Raman Amplifiers

abstract: Transmission of 306x35 GBd, dual polarization, 64-ary geometrically shaped channels over 90x70 km of SMF was demonstrated, achieving a net throughput of 74.38 Tb/s. A combination of hybrid fiber spans and EDFA/Raman amplifiers enabled a continuous gain bandwidth of 10.8 THz.


title: Simultaneous Detection of Loop-Closures and Changed Objects

abstract: Loop-closure detection (LCD) in large non-stationary environments remains an important challenge in robotic visual simultaneous localization and mapping (vSLAM). To reduce computational and perceptual complexity, it is helpful if a vSLAM system has the ability to perform image change detection (ICD). Unlike previous applications of ICD, time-critical vSLAM applications cannot assume an offline background modeling stage, or rely on maintenance-intensive background models. To address this issue, we introduce a novel maintenance-free ICD framework that requires no background modeling. Specifically, we demonstrate that LCD can be reused as the main process for ICD with minimal extra cost. Based on these concepts, we develop a novel vSLAM component that enables simultaneous LCD and ICD. ICD experiments based on challenging cross-season LCD scenarios validate the efficacy of the proposed method.


title: Linear GFDM: A Low Out-of-band Emission Configuration for 5G Air Interface

abstract: This paper explores the flexibility of generalized frequency division multiplexing (GFDM) for achieving the same performance as filter bank multicarrier (FBMC). We present a GFDM configuration where the good spectral containment of FBMC is also achieved through a modification in the GFDM transmission scheme. For evaluating the scheme's performance, we estimate the bit error ratio (BER) under three channel models: i) pure additive Gaussian AWGN; ii) time-invariant frequency-selective; iii) time-variant frequency-selective (doubly dispersive). The spectral containment is measured through the power spectral density. Furthermore, the complementary cumulative distribution function (CCDF) of the peak-to-average power ratio (PAPR) is also estimated. The Linear GFDM waveform shows identical performance when compared to FBMC in the above test scenarios.


title: Categorical cones and quadratic homological projective duality

abstract: We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In particular, our construction provides well-behaved categorical resolutions of singular quadrics, which we use to obtain an explicit quadratic version of the main theorem of homological projective duality. As applications, we prove the duality conjecture for Gushel-Mukai varieties, and produce interesting examples of conifold transitions between noncommutative and honest Calabi-Yau threefolds.


title: Event-triggered distributed Bayes filter

abstract: The aim of this paper is to devise a strategy that is able to reduce communication bandwidth and, consequently, energy consumption in the context of distributed state estimation over a peer-to-peer sensor network. Specifically, a distributed Bayes filter with event-triggered communication is developed by enforcing each node to transmit its local information to the neighbors only when the Kullback-Leibler divergence between the current local posterior and the one predictable from the last transmission exceeds a preset threshold. The stability of the proposed eventtriggered distributed Bayes filter is proved in the linear-Gaussian (Kalman filter) case. The performance of the proposed algorithm is also evaluated through simulation experiments concerning a target tracking application.


title: Sequential Learning of Visual Tracking and Mapping Using Unsupervised Deep Neural Networks

abstract: We proposed an end-to-end deep learning-based simultaneous localization and mapping (SLAM) system following conventional visual odometry (VO) pipelines. The proposed method completes the SLAM framework by including tracking, mapping, and sequential optimization networks while training them in an unsupervised manner. Together with the camera pose and depth map, we estimated the observational uncertainty to make our system robust to noises such as dynamic objects. We evaluated our method using public indoor and outdoor datasets. The experiment demonstrated that our method works well in tracking and mapping tasks and performs comparably with other learning-based VO approaches. Notably, the proposed uncertainty modeling and sequential training yielded improved generality in a variety of environments.


title: Generalized monotone operators and their averaged resolvents

abstract: The correspondence between the monotonicity of a (possibly) set-valued operator and the firm nonexpansiveness of its resolvent is a key ingredient in the convergence analysis of many optimization algorithms. Firmly nonexpansive operators form a proper subclass of the more general - but still pleasant from an algorithmic perspective - class of averaged operators. In this paper, we introduce the new notion of conically nonexpansive operators which generalize nonexpansive mappings. We characterize averaged operators as being resolvents of comonotone operators under appropriate scaling. As a consequence, we characterize the proximal point mappings associated with hypoconvex functions as cocoercive operators, or equivalently; as displacement mappings of conically nonexpansive operators. Several examples illustrate our analysis and demonstrate tightness of our results.


title: The Evidence of Cathodic Micro-discharges during Plasma Electrolytic Oxidation Process

abstract: Plasma electrolytic oxidation (PEO) processing of EV 31 magnesium alloy has been carried out in fluoride containing electrolyte under bipolar pulse current regime. Unusual PEO cathodic micro-discharges have been observed and investigated. It is shown that the cathodic micro-discharges exhibit a collective intermittent behavior which is discussed in terms of charge accumulations at the layer/electrolyte and layer/metal interfaces. Optical emission spectroscopy is used to determine the electron density (typ. 10 15 cm-3) and the electron temperature (typ. 7500 K) while the role of F-anions on the appearance of cathodic micro-discharges is pointed out. Plasma Electrolytic Oxidation (PEO) is a promising plasma-assisted surface treatment of light metallic alloys (e.g. Al, Mg, Ti). Although the PEO process makes it possible to grow oxide coatings with interesting corrosion and wear resistant properties, the physical mechanisms of coating growth are not yet completely understood. Typically, the process consists in applying a high voltage difference between a metallic piece and a counter-electrode which are both immersed in an electrolyte bath. Compare to anodizing, the main differences concern the electrolyte composition and the current and voltage ranges which are at least one order of magnitude higher in PEO 1. These significant differences in current and voltage imply the dielectric breakdown and consequently the appearance of micro-discharges on the surface of the sample under processing. Those micro-discharges are recognized as being the main contributors to the formation of a dielectric porous crystalline oxide coating. 2 Nevertheless, the breakdown mechanism that governs the appearance of those micro-discharges is still under investigation. Hussein et al. 3 proposed a mechanism with three different plasma formation processes based on differences in plasma chemical composition. The results of Jovovi{\'c} et al. 4,5 concerning physical properties of the plasma seem to corroborate this mechanism, and also point out the importance of the substrate material in the plasma composition. 6 Compared with DC conducted PEO process, using a bipolar pulsed DC or AC current supply gives supplementary control latitude through the current waveform parameters. The effect of these parameter on the micro-discharges behavior has been investigated in several previous works. 2,3,7,8 One of the main results of these studies is the absence of micro-discharge during the cathodic current half-period. 9-11 Even if the cathodic half-period has an obvious effect on the efficiency of PEO as well as on the coating growth and composition, the micro-plasmas appear only in anodic half-period. Sah et al. 8 have observed the cathodic breakdown of an oxide layer but at very high current density (10 kA.dm-${}^2$), and after several steps of sample preparation. Several models of micro-discharges appearance in AC current have already been proposed. 1,2,8,12,13 Though cathodic micro-discharges have never been observed within usual process conditions, the present study aims at defining suitable conditions to promote cathodic micro-discharges and at studying the main characteristics of these micro-plasmas.


title: Error estimates in balanced norms of finite element methods for higher order reaction-diffusion problems

abstract: Error estimates of finite element methods for reaction-diffusion problems are often realised in the related energy norm. In the singularly perturbed case, however, this norm is not adequate. A different scaling of the $H^m$ seminorm for $2m$-th order problems leads to a balanced norm which reflects the layer behaviour correctly. We prove error estimates in such balanced norms and improve thereby existing estimates known in literature.


title: Polynomial bound for partition rank in terms of analytic rank

abstract: Let $G_1, \dots, G_k$ be vector spaces over a finite field $\mathbb{F} = \mathbb{F}_q$ with a non-trivial additive character $\chi$. The analytic rank of a multilinear form $\alpha \colon G_1 \times \dots \times G_k \to \mathbb{F}$ is defined as $\operatorname{arank}(\alpha) = -\log_q \mathbb{E}_{x_1 \in G_1, \dots, x_k\in G_k} \chi\big(\alpha(x_1,\dots, x_k)\big)$. The partition rank $\operatorname{prank}(\alpha)$ of $\alpha$ is the smallest number of maps of partition rank 1 that add up to $\alpha$, where a map is of partition rank 1 if it can be written as a product of two multilinear forms, depending on different coordinates. It is easy to see that $\operatorname{arank}(\alpha) \leq O\Big(\operatorname{prank}(\alpha)\Big)$ and it has been known that $\operatorname{prank}(\alpha)$ can be bounded from above in terms of $\operatorname{arank}(\alpha)$. In this paper, we improve the latter bound to polynomial, i.e. we show that there are quantities $C, D$ depending on $k$ only such that $\operatorname{prank}(\alpha) \leq C (\operatorname{arank}(\alpha)^D + 1)$. As a consequence, we prove a conjecture of Kazhdan and Ziegler. The same result was obtained independently and simultaneously by Janzer.


title: Two-mode Dicke model from non-degenerate polarization modes

abstract: We realize a non-degenerate two-mode Dicke model with competing interactions in a Bose-Einstein condensate (BEC) coupled to two orthogonal polarization modes of a single optical cavity. The BEC is coupled to the cavity modes via the scalar and vectorial part of the atomic polarizability. We can independently change these couplings and determine their effect on a self-organization phase transition. Measuring the phases of the system, we characterize a crossover from a single-mode to a two-mode Dicke model. This work provides perspectives for the realization of coupled phases of spin and density.


title: Homological projective duality for quadrics

abstract: We show that over an algebraically closed field of characteristic not equal to 2, homological projective duality for smooth quadric hypersurfaces and for double covers of projective spaces branched over smooth quadric hypersurfaces is a combination of two operations: one interchanges a quadric hypersurface with its classical projective dual and the other interchanges a quadric hypersurface with the double cover branched along it.


title: Input-Output Theory with Quantum Pulses

abstract: We present a formalism that accounts for the evolution of quantum states of travelling light pulses incident on and emanating from a local quantum scatterer such as an atom or a cavity. We assume non-dispersive asymptotic propagation of the pulses and Markovian coupling of the stationary system to input and output fields. This permits derivation of a cascaded system master equation where the input and output pulses are treated as single oscillator modes that both couple to the local system. As examples of our theory we analyse reflection by an empty cavity with phase noise, stimulated atomic emission by a quantum light pulse, and formation of a Schr\"odinger-cat state by the dispersive interaction of a coherent pulse and a single atom in a cavity.


title: Human-in-the-loop Active Covariance Learning for Improving Prediction in Small Data Sets

abstract: Learning predictive models from small high-dimensional data sets is a key problem in high-dimensional statistics. Expert knowledge elicitation can help, and a strong line of work focuses on directly eliciting informative prior distributions for parameters. This either requires considerable statistical expertise or is laborious, as the emphasis has been on accuracy and not on efficiency of the process. Another line of work queries about importance of features one at a time, assuming them to be independent and hence missing covariance information. In contrast, we propose eliciting expert knowledge about pairwise feature similarities, to borrow statistical strength in the predictions, and using sequential decision making techniques to minimize the effort of the expert. Empirical results demonstrate improvement in predictive performance on both simulated and real data, in high-dimensional linear regression tasks, where we learn the covariance structure with a Gaussian process, based on sequential elicitation.


title: Can Meta-Interpretive Learning outperform Deep Reinforcement Learning of Evaluable Game strategies?

abstract: World-class human players have been outperformed in a number of complex two person games (Go, Chess, Checkers) by Deep Reinforcement Learning systems. However, owing to tractability considerations minimax regret of a learning system cannot be evaluated in such games. In this paper we consider simple games (Noughts-and-Crosses and Hexapawn) in which minimax regret can be efficiently evaluated. We use these games to compare Cumulative Minimax Regret for variants of both standard and deep reinforcement learning against two variants of a new Meta-Interpretive Learning system called MIGO. In our experiments all tested variants of both normal and deep reinforcement learning have worse performance (higher cumulative minimax regret) than both variants of MIGO on Noughts-and-Crosses and Hexapawn. Additionally, MIGO's learned rules are relatively easy to comprehend, and are demonstrated to achieve significant transfer learning in both directions between Noughts-and-Crosses and Hexapawn.


title: Empirical Differential Gramians for Nonlinear Model Reduction

abstract: In this paper, we present an empirical balanced truncation method for nonlinear systems with linear time-invariant input vector field components. First, we define differential reachability and observability Gramians. They are matrix valued functions of the state trajectory (i.e. the initial state and input trajectory) of the original nonlinear system, and it is difficult to find them as functions of the initial state and input. The main result of this paper is to show that for a fixed state trajectory, it is possible to compute the values of these Gramians by using impulse and initial state responses of the variational system. Therefore, balanced truncation is doable along the fixed state trajectory without solving nonlinear partial differential equations, differently from conventional nonlinear balancing methods. We further develop an approximation method, which only requires trajectories of the original nonlinear systems. Our methods are demonstrated by an RL network along a trajectory.


title: Bergman projection induced by radial weight

abstract: The question of when the Bergman projection $P_\omega$ induced by a radial weight $\omega$ on the unit disc is a bounded operator from one space into another is of primordial importance in the theory of Bergman spaces. The long-standing problem of describing the radial weights $\omega$ such that $P_\omega$ is bounded on the Lebesgue space $L^p_\omega$ had been known to experts since decades before it was formally posed by Dostani\'c in 2004. A natural limit case of this setting is when $P_\omega$ acts from $L^\infty$ to the Bloch space. The surjectivity of the operator becomes another relevant question in this limit case. The main findings of this study are shortly listed as follows. We establish characterizations of the radial weights $\omega$ on the unit disc such that $P_\omega:L^\infty\to\mathcal{B}$ is bounded and/or acts surjectively, or the dual of $A^1_\omega$ is isomorphic to the Bloch space $\mathcal{B}$ under the $A^2_\omega$-pairing. We also solve the problem posed by Dostani\'c under a weak regularity hypothesis on the weight involved. With regard to Littlewood-Paley estimates, we describe the radial weights $\omega$ such that the norm of any function in $A^p_\omega$ is comparable to the norm in $L^p_\omega$ of its derivative times the distance from the boundary. This last-mentioned result solves another well-known problem on the area. All characterizations can be given in terms of doubling conditions on moments and/or tail integrals $\int_r^1\omega(t)\,dt$ of $\omega$, and are therefore easy to interpret. We also make substantial progress about the two weight inequality $$ \|P_\omega(f)\|_{L^p_\nu}\le C\|f\|_{L^p_\nu},\quad f\in L^p_\nu, \quad 1<p<\infty. $$ for radial weights $\omega$ and $\nu$.


title: Neutron-induced cross sections -- from raw data to astrophysical rates

abstract: Neutron capture cross sections are one of the most important nuclear inputs to models of stellar nucleosynthesis of the elements heavier than iron. The activation technique and the time-of-flight method are mostly used to determine the required data experimentally. Recent developments of experimental techniques allow for new experiments on radioactive isotopes. Monte-Carlo based analysis methods give new insights into the systematic uncertainties of previous measurements. We present an overview over the state-of-the-art experimental techniques, a detailed new evaluation of the $^{197}$Au(n,$\gamma$) cross section in the keV-regime and the corresponding re-evaluation of 63 more isotopes, which have been measured in the past relative to the gold cross section.


title: Capsule Neural Network based Height Classification using Low-Cost Automotive Ultrasonic Sensors

abstract: High performance ultrasonic sensor hardware is mainly used in medical applications. Although, the development in automotive scenarios is towards autonomous driving, the ultrasonic sensor hardware still stays low-cost and low-performance, respectively. To overcome the strict hardware limitations, we propose to use capsule neural networks. By the high classification capability of this network architecture, we can achieve outstanding results for performing a detailed height analysis of detected objects. We apply a novel resorting and reshaping method to feed the neural network with ultrasonic data. This increases classification performance and computation speed. We tested the approach under different environmental conditions to verify that the proposed method is working independent of external parameters that is needed for autonomous driving.


title: Information Gathering in Decentralized POMDPs by Policy Graph Improvement

abstract: Decentralized policies for information gathering are required when multiple autonomous agents are deployed to collect data about a phenomenon of interest without the ability to communicate. Decentralized partially observable Markov decision processes (Dec-POMDPs) are a general, principled model well-suited for such decentralized multiagent decision-making problems. In this paper, we investigate Dec-POMDPs for decentralized information gathering problems. An optimal solution of a Dec-POMDP maximizes the expected sum of rewards over time. To encourage information gathering, we set the reward as a function of the agents' state information, for example the negative Shannon entropy. We prove that if the reward is convex, then the finite-horizon value function of the corresponding Dec-POMDP is also convex. We propose the first heuristic algorithm for information gathering Dec-POMDPs, and empirically prove its effectiveness by solving problems an order of magnitude larger than previous state-of-the-art.


title: A new lower bound on the maximum number of plane graphs using production matrices

abstract: We use the concept of production matrices to show that there exist sets of $n$ points in the plane that admit $\Omega(42.11^n)$ crossing-free geometric graphs. This improves the previously best known bound of $\Omega(41.18^n)$ by Aichholzer et al. (2007).


title: Realistic Ultrasonic Environment Simulation Using Conditional Generative Adversarial Networks

abstract: Recently, realistic data augmentation using neural networks especially generative neural networks (GAN) has achieved outstanding results. The communities main research focus is visual image processing. However, automotive cars and robots are equipped with a large suite of sensors to achieve a high redundancy. In addition to others, ultrasonic sensors are often used due to their low-costs and reliable near field distance measuring capabilities. Hence, Pattern recognition needs to be applied to ultrasonic signals as well. Machine Learning requires extensive data sets and those measurements are time-consuming, expensive and not flexible to hardware and environmental changes. On the other hand, there exists no method to simulate those signals deterministically. We present a novel approach for synthetic ultrasonic signal simulation using conditional GANs (cGANs). For the best of our knowledge, we present the first realistic data augmentation for automotive ultrasonics. The performance of cGANs allows us to bring the realistic environment simulation to a new level. By using setup and environmental parameters as condition, the proposed approach is flexible to external influences. Due to the low complexity and time effort for data generation, we outperform other simulation algorithms, such as finite element method. We verify the outstanding accuracy and realism of our method by applying a detailed statistical analysis and comparing the generated data to an extensive amount of measured signals.


title: Adaptive Gradient Methods with Dynamic Bound of Learning Rate

abstract: Adaptive optimization methods such as AdaGrad, RMSprop and Adam have been proposed to achieve a rapid training process with an element-wise scaling term on learning rates. Though prevailing, they are observed to generalize poorly compared with SGD or even fail to converge due to unstable and extreme learning rates. Recent work has put forward some algorithms such as AMSGrad to tackle this issue but they failed to achieve considerable improvement over existing methods. In our paper, we demonstrate that extreme learning rates can lead to poor performance. We provide new variants of Adam and AMSGrad, called AdaBound and AMSBound respectively, which employ dynamic bounds on learning rates to achieve a gradual and smooth transition from adaptive methods to SGD and give a theoretical proof of convergence. We further conduct experiments on various popular tasks and models, which is often insufficient in previous work. Experimental results show that new variants can eliminate the generalization gap between adaptive methods and SGD and maintain higher learning speed early in training at the same time. Moreover, they can bring significant improvement over their prototypes, especially on complex deep networks. The implementation of the algorithm can be found at https://github.com/Luolc/AdaBound .


title: Adding the Power-Set to Description Logics

abstract: We explore the relationships between Description Logics and Set Theory. The study is carried on using, on the set-theoretic side, a very rudimentary axiomatic set theory Omega, consisting of only four axioms characterizing binary union, set difference, inclusion, and the power-set. An extension of ALC, ALC^Omega, is then defined in which concepts are naturally interpreted as sets living in Omega-models. In ALC^Omega not only membership between concepts is allowed---even admitting circularity---but also the power-set construct is exploited to add metamodeling capabilities. We investigate translations of ALC^Omega into standard description logics as well as a set-theoretic translation. A polynomial encoding of ALC^Omega in ALCIO proves the validity of the finite model property as well as an ExpTime upper bound on the complexity of concept satisfiability. We develop a set-theoretic translation of ALC^Omega in the theory Omega, exploiting a technique originally proposed for translating normal modal and polymodal logics into Omega. Finally, we show that the fragment LC^Omega of ALC^Omega, which does not admit roles and individual names, is as expressive as ALC^Omega.


title: Effect of laser frequency fluctuation on the decay rate of Rydberg coherence

abstract: The effect of electromagnetically induced transparency (EIT) combined with Rydberg-state atoms provides high optical nonlinearity to efficiently mediate the photon-photon interaction. However, the decay rate of Rydberg coherence, i.e., the decoherence rate, plays an important role in optical nonlinear efficiency, and can be largely influenced by laser frequency fluctuation. In this work, we carried out a systematic study of the effect of laser frequency fluctuation on the decoherence rate. We derived an analytical formula that quantitatively describes the relationship between the decoherence rate and laser frequency fluctuation. The formula was experimentally verified by using the $\Lambda$-type EIT system of laser-cooled $^{87}$Rb atoms, in which one can either completely eliminate or controllably introduce the effect of laser frequency fluctuation. We also included the effect of Doppler shift caused by the atomic thermal motion in the formula, which can be negligible in the $\Lambda$-type EIT experiment but significant in the Rydberg-EIT experiment. Utilizing the atoms of 350 $\mu$K, we studied the decoherence rate in the Rydberg-EIT system involving with the state of $|32D_{5/2}\rangle$. The experimental data are consistent with the predictions from the formula. We were able to achieve a rather low decoherence rate of $2\pi\times$48 kHz at a moderate coupling Rabi frequency of $2\pi\times$4.3 MHz.


title: Spin eigen-excitations of an antiferromagnetic skyrmion

abstract: We theoretically predict and classify the localized modes of a skyrmion in a collinear uniaxial antiferromagnet and discuss how they can be excited. As a central result, we find two branches of skyrmion eigenmodes with distinct physical properties characterized by being low or high energy excitations. The frequency dependence of the low-energy modes scales as $R_0^{-2}$ for skyrmions with large radius $R_0$. Furthermore, we predict localized high-energy eigenmodes, which have no direct ferromagnetic counterpart. Except for the breathing mode, we find that all localized antiferromagnet skyrmion modes, both in the low and high-energy branch, are doubly degenerated in the absence of a magnetic field and split otherwise. We explain our numerical results for the low-energy modes within a string model representing the skyrmion boundary.


title: Numerical stochastic perturbation theory applied to the twisted Eguchi-Kawai model

abstract: We present the results of an exploratory study of the numerical stochastic perturbation theory (NSPT) applied to the four dimensional twisted Eguchi-Kawai (TEK) model. We employ a Kramers type algorithm based on the Generalized Hybrid Molecular Dynamics (GHMD) algorithm. We have computed the perturbative expansion of square Wilson loops up to $O(g^8)$. The results of the first two coefficients (up to $O(g^4)$) have a high precision and match well with the exact values. The next two coefficients can be determined and even extrapolated to large $N$, where they should coincide with the corresponding coefficients for ordinary Yang-Mills theory on an infinite lattice. Our analysis shows the behaviour of the probability distribution for each coefficient tending to Gaussian for larger $N$. The results allow us to establish the requirements to extend this analysis to much higher order.


title: PubSub-SGX: Exploiting Trusted Execution Environments for Privacy-Preserving Publish/Subscribe Systems

abstract: This paper presents PUBSUB-SGX, a content-based publish-subscribe system that exploits trusted execution environments (TEEs), such as Intel SGX, to guarantee confidentiality and integrity of data as well as anonymity and privacy of publishers and subscribers. We describe the technical details of our Python implementation, as well as the required system support introduced to deploy our system in a container-based runtime. Our evaluation results show that our approach is sound, while at the same time highlighting the performance and scalability trade-offs. In particular, by supporting just-in-time compilation inside of TEEs, Python programs inside of TEEs are in general faster than when executed natively using standard CPython.


title: Multi-Scale Quasi-RNN for Next Item Recommendation

abstract: How to better utilize sequential information has been extensively studied in the setting of recommender systems. To this end, architectural inductive biases such as Markov-Chains, Recurrent models, Convolutional networks and many others have demonstrated reasonable success on this task. This paper proposes a new neural architecture, multi-scale Quasi-RNN for next item Recommendation (QR-Rec) task. Our model provides the best of both worlds by exploiting multi-scale convolutional features as the compositional gating functions of a recurrent cell. The model is implemented in a multi-scale fashion, i.e., convolutional filters of various widths are implemented to capture different union-level features of input sequences which influence the compositional encoder. The key idea aims to capture the recurrent relations between different kinds of local features, which has never been studied previously in the context of recommendation. Through extensive experiments, we demonstrate that our model achieves state-of-the-art performance on 15 well-established datasets, outperforming strong competitors such as FPMC, Fossil and Caser absolutely by 0.57%-7.16% and relatively by 1.44%-17.65% in terms of MAP, Recall@10 and NDCG@10.


title: Quantum computer with cold ions in the Aubry pinned phase

abstract: It is proposed to modify the Cirac-Zoller proposal of quantum computer with cold ions in a global oscillator trap potential by adding a periodic potential with an incommensurate average ratio of number of ions to number of periods being order of unity. With the increase of the periodic potential amplitude the system enters in the Aubry pinned phase characterized by quasi-frozen positions of ions and a gap of their first phonon excitations becomes independent of number of ions. This gives hopes that this quantum computer will be really scalable. It is argued that the usual single- and two-qubit gates can be realized between the nearby ions in the Aubry phase. The possibilities of experimental realizations of a periodic potential with microtrap arrays or optical lattices are discussed. It is pointed that the disorder of distances between microtraps with one ion per trap can lead to the Anderson localization of phonon modes with interesting possibilities for ion quantum computing.


title: Strong unique continuation for the higher order fractional Laplacian

abstract: In this article we study the strong unique continuation property for solutions of higher order (variable coefficient) fractional Schr\"odinger operators. We deduce the strong unique continuation property in the presence of subcritical and critical Hardy type potentials. In the same setting, we address the unique continuation property from measurable sets of positive Lebesgue measure. As applications we prove the antilocality of the higher order fractional Laplacian and Runge type approximation theorems which have recently been exploited in the context of nonlocal Calder\'on type problems. As our main tools, we rely on the characterisation of the higher order fractional Laplacian through a generalised Caffarelli-Silvestre type extension problem and on adapted, iterated Carleman estimates.


title: Associatively Segmenting Instances and Semantics in Point Clouds

abstract: A 3D point cloud describes the real scene precisely and intuitively.To date how to segment diversified elements in such an informative 3D scene is rarely discussed. In this paper, we first introduce a simple and flexible framework to segment instances and semantics in point clouds simultaneously. Then, we propose two approaches which make the two tasks take advantage of each other, leading to a win-win situation. Specifically, we make instance segmentation benefit from semantic segmentation through learning semantic-aware point-level instance embedding. Meanwhile, semantic features of the points belonging to the same instance are fused together to make more accurate per-point semantic predictions. Our method largely outperforms the state-of-the-art method in 3D instance segmentation along with a significant improvement in 3D semantic segmentation. Code has been made available at: https://github.com/WXinlong/ASIS.


title: Screening and degenerate kinetic self-acceleration from the nonlinear freedom of reconstructed Horndeski theories

abstract: We have previously presented a reconstruction of Horndeski scalar-tensor theories from linear cosmological observables. It includes free nonlinear terms which can be added onto the reconstructed covariant theory without affecting the background and linear dynamics. After discussing the uniqueness of these correction terms, we apply this nonlinear freedom to a range of different applications. First we demonstrate how the correction terms can be configured to endow the reconstructed models with screening mechanisms such as the chameleon, k-mouflage and Vainshtein effects. A further implication is the existence of classes of Horndeski models that are degenerate with standard cosmology to an arbitrary level in the cosmological perturbations. Particularly interesting examples are kinetically self-accelerating models that mimic the dynamics of the cosmological constant to an arbitrary degree in perturbations. Finally, we develop the reconstruction method further to the level of higher-order effective field theory, which under the restriction to a luminal propagation speed of gravitational waves introduces two new free functions per order. These functions determine the corresponding correction terms in the linearly reconstructed action at the same order. Our results enable the connection of linear cosmological constraints on generalised modifications of gravity and dark energy with the nonlinear regime and astrophysical probes for a more global interpretation of the wealth of forthcoming cosmological survey data.


title: FliPer$_{Class}$: In search of solar-like pulsators among TESS targets

abstract: The NASA's Transiting Exoplanet Survey Satellite (TESS) is about to provide full-frame images of almost the entire sky. The amount of stellar data to be analysed represents hundreds of millions stars, which is several orders of magnitude above the amount of stars observed by CoRoT, Kepler, or K2 missions. We aim at automatically classifying the newly observed stars, with near real-time algorithms, to better guide their subsequent detailed studies. In this paper, we present a classification algorithm built to recognise solar-like pulsators among classical pulsators, which relies on the global amount of power contained in the PSD, also known as the FliPer (Flicker in spectral Power density). As each type of pulsating star has a characteristic background or pulsation pattern, the shape of the PSD at different frequencies can be used to characterise the type of pulsating star. The FliPer Classifier (FliPer$_{Class}$) uses different FliPer parameters along with the effective temperature as input parameters to feed a machine learning algorithm in order to automatically classify the pulsating stars observed by TESS. Using noisy TESS simulated data from the TESS Asteroseismic Science Consortium (TASC), we manage to classify pulsators with a 98% accuracy. Among them, solar-like pulsating stars are recognised with a 99% accuracy, which is of great interest for further seismic analysis of these stars like our Sun. Similar results are obtained when training our classifier and applying it to 27 days subsets of real Kepler data. FliPer$_{Class}$ is part of the large TASC classification pipeline developed by the TESS Data for Asteroseismology (T'DA) classification working group.


title: Approximate Dynamic Programming with Neural Networks in Linear Discrete Action Spaces

abstract: Real-world problems of operations research are typically high-dimensional and combinatorial. Linear programs are generally used to formulate and efficiently solve these large decision problems. However, in multi-period decision problems, we must often compute expected downstream values corresponding to current decisions. When applying stochastic methods to approximate these values, linear programs become restrictive for designing value function approximations (VFAs). In particular, the manual design of a polynomial VFA is challenging. This paper presents an integrated approach for complex optimization problems, focusing on applications in the domain of operations research. It develops a hybrid solution method that combines linear programming and neural networks as part of approximate dynamic programming. Our proposed solution method embeds neural network VFAs into linear decision problems, combining the nonlinear expressive power of neural networks with the efficiency of solving linear programs. As a proof of concept, we perform numerical experiments on a transportation problem. The neural network VFAs consistently outperform polynomial VFAs, with limited design and tuning effort.


title: Learning More with Less: Conditional PGGAN-based Data Augmentation for Brain Metastases Detection Using Highly-Rough Annotation on MR Images

abstract: Accurate Computer-Assisted Diagnosis, associated with proper data wrangling, can alleviate the risk of overlooking the diagnosis in a clinical environment. Towards this, as a Data Augmentation (DA) technique, Generative Adversarial Networks (GANs) can synthesize additional training data to handle the small/fragmented medical imaging datasets collected from various scanners; those images are realistic but completely different from the original ones, filling the data lack in the real image distribution. However, we cannot easily use them to locate disease areas, considering expert physicians' expensive annotation cost. Therefore, this paper proposes Conditional Progressive Growing of GANs (CPGGANs), incorporating highly-rough bounding box conditions incrementally into PGGANs to place brain metastases at desired positions/sizes on 256 X 256 Magnetic Resonance (MR) images, for Convolutional Neural Network-based tumor detection; this first GAN-based medical DA using automatic bounding box annotation improves the training robustness. The results show that CPGGAN-based DA can boost 10% sensitivity in diagnosis with clinically acceptable additional False Positives. Surprisingly, further tumor realism, achieved with additional normal brain MR images for CPGGAN training, does not contribute to detection performance, while even three physicians cannot accurately distinguish them from the real ones in Visual Turing Test.


title: Rucio - Scientific data management

abstract: Rucio is an open-source software framework that provides scientific collaborations with the functionality to organize, manage, and access their data at scale. The data can be distributed across heterogeneous data centers at widely distributed locations. Rucio was originally developed to meet the requirements of the high-energy physics experiment ATLAS, and now is continuously extended to support the LHC experiments and other diverse scientific communities. In this article, we detail the fundamental concepts of Rucio, describe the architecture along with implementation details, and give operational experience from production usage.


title: The density of integers representable as the sum of four prime cubes

abstract: The set of integers which can be written as the sum of four prime cubes has lower density at least $0.009664$. This improves earlier bounds of $0.003125$ by Ren and $0.005776$ by Liu.


title: Context Vectors are Reflections of Word Vectors in Half the Dimensions

abstract: This paper takes a step towards theoretical analysis of the relationship between word embeddings and context embeddings in models such as word2vec. We start from basic probabilistic assumptions on the nature of word vectors, context vectors, and text generation. These assumptions are well supported either empirically or theoretically by the existing literature. Next, we show that under these assumptions the widely-used word-word PMI matrix is approximately a random symmetric Gaussian ensemble. This, in turn, implies that context vectors are reflections of word vectors in approximately half the dimensions. As a direct application of our result, we suggest a theoretically grounded way of tying weights in the SGNS model.


title: Strong Pseudospin-Lattice Coupling in Sr3Ir2O7: Coherent Phonon Anomaly and Negative Thermal Expansion

abstract: The similarities to cuprates make iridates an interesting potential platform for investigating superconductivity. Equally attractive are their puzzling complex intrinsic interactions. Here, we report an ultrafast optical spectroscopy investigation of a coherent phonon mode in Sr3Ir2O7, a bilayer Ruddlesden-Popper perovskite iridate. An anomaly in the A1g optical phonon ({\nu} = 4.4 THz) is unambiguously observed below the N\'eel temperature (TN), which we attribute to pseudospin-lattice coupling (PLC). Significantly, we find that PLC is the dominant interaction at low temperature, and we directly measure the PLC coefficient to be {\lambda} = 150 +/- 20 cm-1, which is two orders of magnitude higher than that in manganites (< 2.4 cm-1) and comparable to that in CuO (50 cm-1, the strongest PLC or spin-lattice coupling (SLC) previously known). Moreover, we find that the strong PLC induces an anisotropic negative thermal expansion. Our findings highlight the key role of PLC in iridates and uncovers another intriguing similarity to cuprates.


title: Invariants of families of flat connections using fiber integration of differential characters

abstract: Let $E\to B$ be a smooth vector bundle of rank $n$, and let $P \in I^p(GL(n,\mathbb{R}))$ be a $GL(n,\mathbb{R})$-invariant polynomial of degree $p$ compatible with a universal integral characteristic class $ u \in H^{2p}(BGL(n,\mathbb{R}),\mathbb{Z})$. Cheeger-Simons theory associates a rigid invariant in $H^{2p-1}(B,\mathbb{R}/\mathbb{Z})$ to any flat connection on this bundle. Generalizing this result, Jaya Iyer (\textit{Letters in Mathematical Physics}, 2016, 106 (1) pp. 131-146) constructed maps $H_r(\mathcal{D}(E)) \to H^{2p-r-1}(B,\mathbb{R}/\mathbb{Z})$ for $p>r+1$ where $\mathcal{D}(E)$ is the simplicial set of relatively flat connections, thereby associating invariants to families of flat connections. In this article we construct such maps for the cases $p<r$ and $p>r+1$ using fiber integration of differential characters. We find that for $p>r+1$ case, the invariants constructed here coincide with those obtained by Jaya Iyer, and that in the $p<r$ case the invariants are trivial. We further compare our construction with other results in the literature.


title: Doubly stochastic distributions of extreme events

abstract: The distribution of block maxima of sequences of independent and identically-distributed random variables is used to model extreme values in many disciplines. The traditional extreme value (EV) theory derives a closed-form expression for the distribution of block maxima under asymptotic assumptions, and is generally fitted using annual maxima or excesses over a high threshold, thereby discarding a large fraction of the available observations. The recently-introduced Metastatistical Extreme Value Distribution (MEVD), a non-asymptotic formulation based on doubly stochastic distributions, has been shown to offer several advantages compared to the traditional EV theory. In particular, MEVD explicitly accounts for the variability of the process generating the extreme values, and uses all the available information to perform high-quantile inferences. Here we review the derivation of the MEVD, analyzing its assumptions in detail, and show that its general formulation includes other doubly stochastic approaches to extreme value analysis that have been recently proposed.


title: Variational Multi-Phase Segmentation using High-Dimensional Local Features

abstract: We propose a novel method for multi-phase segmentation of images based on high-dimensional local feature vectors. While the method was developed for the segmentation of extremely noisy crystal images based on localized Fourier transforms, the resulting framework is not tied to specific feature descriptors. For instance, using local spectral histograms as features, it allows for robust texture segmentation. The segmentation itself is based on the multi-phase Mumford-Shah model. Initializing the high-dimensional mean features directly is computationally too demanding and ill-posed in practice. This is resolved by projecting the features onto a low-dimensional space using principle component analysis. The resulting objective functional is minimized using a convexification and the Chambolle-Pock algorithm. Numerical results are presented, illustrating that the algorithm is very competitive in texture segmentation with state-of-the-art performance on the Prague benchmark and provides new possibilities in crystal segmentation, being robust to extreme noise and requiring no prior knowledge of the crystal structure.


title: Spiking Neural Network based Region Proposal Networks for Neuromorphic Vision Sensors

abstract: This paper presents a three layer spiking neural network based region proposal network operating on data generated by neuromorphic vision sensors. The proposed architecture consists of refractory, convolution and clustering layers designed with bio-realistic leaky integrate and fire (LIF) neurons and synapses. The proposed algorithm is tested on traffic scene recordings from a DAVIS sensor setup. The performance of the region proposal network has been compared with event based mean shift algorithm and is found to be far superior (~50% better) in recall for similar precision (~85%). Computational and memory complexity of the proposed method are also shown to be similar to that of event based mean shift


title: Achieving Secrecy Capacity of Minimum Storage Regenerating Codes for all Feasible $(n, k, d)$ Parameter Values

abstract: This paper addresses the problem of constructing secure exact-repair regenerating codes at the MSR point for all feasible values of the parameters. The setting involves a passive eavesdropper who is allowed to observe the stored contents of, and the downloads into, an $l$-subset of the $n$ nodes of a distributed storage system (DSS). The objective is to achieve perfect secrecy between the eavesdropped symbols and the file stored on the DSS. Previous secure code constructions (most notably that by Rawat et al.) tackle the problem only for the restricted case wherein the number, $d$, of helper nodes aiding in the recovery of a failed node is equal to $n-1$. This paper builds on Rawat's work, by combining Gabidulin pre-coding and an MSR construction by Ye and Barg to prove the achievability of secrecy capacity at the MSR point for all allowed values of $d$.


title: Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification

abstract: Deep neural networks (DNNs) have been shown lack of robustness for the vulnerability of their classification to small perturbations on the inputs. This has led to safety concerns of applying DNNs to safety-critical domains. Several verification approaches have been developed to automatically prove or disprove safety properties of DNNs. However, these approaches suffer from either the scalability problem, i.e., only small DNNs can be handled, or the precision problem, i.e., the obtained bounds are loose. This paper improves on a recent proposal of analyzing DNNs through the classic abstract interpretation technique, by a novel symbolic propagation technique. More specifically, the values of neurons are represented symbolically and propagated forwardly from the input layer to the output layer, on top of abstract domains. We show that our approach can achieve significantly higher precision and thus can prove more properties than using only abstract domains. Moreover, we show that the bounds derived from our approach on the hidden neurons, when applied to a state-of-the-art SMT based verification tool, can improve its performance. We implement our approach into a software tool and validate it over a few DNNs trained on benchmark datasets such as MNIST, etc.


title: Vectorial optical field reconstruction by attosecond spectral interferometry

abstract: An electrical pulse E(t) is completely defined by its time-dependent amplitude and polarisation direction. For optical pulses the manipulation and characterisation of the light polarisation state is fundamental due to its relevance in several scientific and technological fields. In this work we demonstrate the complete temporal reconstruction of the electric field of few-cycle pulses with a complex time-dependent polarisation. Our experimental approach is based on extreme ultraviolet interferometry with isolated attosecond pulses and on the demonstration that the motion of an attosecond electron wave packet is sensitive to perturbing fields only along the direction of its motion. By exploiting the sensitivity of interferometric techniques and by controlling the emission and acceleration direction of the wave packet, pulses with energies as low as few hundreds of nanojoules can be reconstructed. Our approach opens the possibility to completely characterise the electric field of the pulses typically used in visible pump-probe spectroscopy.


title: RepNet: Weakly Supervised Training of an Adversarial Reprojection Network for 3D Human Pose Estimation

abstract: This paper addresses the problem of 3D human pose estimation from single images. While for a long time human skeletons were parameterized and fitted to the observation by satisfying a reprojection error, nowadays researchers directly use neural networks to infer the 3D pose from the observations. However, most of these approaches ignore the fact that a reprojection constraint has to be satisfied and are sensitive to overfitting. We tackle the overfitting problem by ignoring 2D to 3D correspondences. This efficiently avoids a simple memorization of the training data and allows for a weakly supervised training. One part of the proposed reprojection network (RepNet) learns a mapping from a distribution of 2D poses to a distribution of 3D poses using an adversarial training approach. Another part of the network estimates the camera. This allows for the definition of a network layer that performs the reprojection of the estimated 3D pose back to 2D which results in a reprojection loss function. Our experiments show that RepNet generalizes well to unknown data and outperforms state-of-the-art methods when applied to unseen data. Moreover, our implementation runs in real-time on a standard desktop PC.


title: Hilbert-Schmidt and Trace Class Pseudo-differential Operators on the Abstract Heisenberg Group

abstract: In this paper we introduce and study pseudo-differential operators with operator valued symbols on the abstract Heisenberg group $\mathbb{H}(G):=G \times \widehat{G} \times \mathbb{T},$ where $G$ a locally compact abelian group with its dual group $\widehat{G}$. We obtain a necessary and sufficient condition on symbols for which these operators are in the class of Hilbert-Schmidt operators. As a key step in proving this we derive a trace formula for the trace class $j$-Weyl transform, $j \in \mathbb{Z}^*$ with symbols in $L^{2}(G\times \widehat{G}).$ We go on to present a characterization of the trace class pseudo-differential operators on $\mathbb{H}(G)$. Finally, we also give a trace formula for these trace class operators.