title: Rabi oscillation of azimuthons in weakly nonlinear waveguides

abstract: Rabi oscillation, an inter-band oscillation, depicts the periodic flopping between two states that belong to different energy levels in the presence of an oscillatory driving field. In photonics, Rabi oscillation can be mimicked by applying a weak longitudinal periodic modulation to the refractive index change of the system. However, the Rabi oscillation of nonlinear states has yet to be discussed. We report Rabi oscillations of azimuthons---spatially modulated vortex solitons---in weakly nonlinear waveguides with different symmetries, both numerically and theoretically. The period of Rabi oscillation can be determined by applying the coupled mode theory, which largely depends on the modulation strength. Whether the Rabi oscillation between two states can be obtained or not is determined by the spatial symmetry of the azimuthons and the modulating potential. In this paper we succeeded in obtaining the Rabi oscillation of azimuthons in the weakly nonlinear waveguides with different symmetries. Our results not only enrich the Rabi oscillation phenomena, but also provide a new avenue in the study of pattern formation and spatial field manipulation in nonlinear optical systems.


title: Electroweak Physics in Inclusive Deep Inelastic Scattering at the LHeC

abstract: The proposed electron-proton collider LHeC is a unique facility where electroweak interactions can be studied with a very high precision in a largely unexplored kinematic regime of spacelike momentum transfer. We have simulated inclusive neutral- and charged-current deep-inelastic lepton proton scattering cross section data at center-of-mass energies of 1.2 and 1.3 TeV including their systematic uncertainties. Based on simultaneous fits of electroweak physics parameters and parton distribution functions, we estimate the uncertainties of Standard Model parameters as well as a number of parameters describing physics beyond the Standard Model, for instance the oblique parameters $S$, $T$, and $U$. An unprecedented precision at the sub-percent level is expected for the measurement of the weak neutral-current couplings of the light-quarks to the $Z$ boson, $g_{A/V}^{u/d}$, improving their present precision by more than an order of magnitude. The weak mixing angle can be determined with a precision of about $\Delta \sin^2\theta_\textrm{W} = \pm 0.00015$, and its scale dependence can be studied in the range between about 25 and 700 GeV. An indirect determination of the $W$-boson mass in the on-shell scheme is possible with an experimental uncertainty down to $\Delta m_{W}=\pm6\,\textrm{MeV}$. We discuss how the uncertainties of such measurements in deep-inelastic scattering compare with those from measurements in the timelike domain, e.g. at the $Z$-pole, and which aspects of the electroweak interaction are unique to measurements at the LHeC, for instance electroweak parameters in charged-current interactions. We conclude that the LHeC will determine electroweak physics parameters, in the spacelike region, with unprecedented precision leading to thorough tests of the Standard Model and possibly beyond.


title: A note on the concordance invariant epsilon

abstract: We compare the smooth concordance invariants Upsilon, phi and epsilon. Previous work gave examples of knots with one of the Upsilon and phi invariants zero but the epsilon invariant nonzero. We build an infinite family of linearly independent knots with both the Upsilon and phi invariants zero but the epsilon invariant nonzero.


title: Adaptive Control of Time-Varying Parameter Systems with Asymptotic Tracking

abstract: A continuous adaptive control design is developed for nonlinear dynamical systems with linearly parameterizable uncertainty involving time-varying uncertain parameters. The key feature of this design is a robust integral of the sign of the error (RISE)-like term in the adaptation law which compensates for potentially destabilizing terms in the closed-loop error system arising from the time-varying nature of uncertain parameters. A Lyapunov-based stability analysis ensures asymptotic tracking, and boundedness of the closed-loop signals.


title: Einstein-Maxwell-dilaton theory in Newman-Penrose formalism

abstract: In this paper, we study the four dimensional Einstein-Maxwell-dilaton (EMD) theories in the Newman-Penrose (NP) formalism. We adapt the equations of motion into the NP formalism, and obtain the solution space that is asymptotic to the flat space-time. We then investigate the gravitational and electromagnetic memory effects. We find that the dilaton does not contribute to the displacement nor the kick memory effects, but it does contribute to the time-delayed memory effect.


title: MuCAN: Multi-Correspondence Aggregation Network for Video Super-Resolution

abstract: Video super-resolution (VSR) aims to utilize multiple low-resolution frames to generate a high-resolution prediction for each frame. In this process, inter- and intra-frames are the key sources for exploiting temporal and spatial information. However, there are a couple of limitations for existing VSR methods. First, optical flow is often used to establish temporal correspondence. But flow estimation itself is error-prone and affects recovery results. Second, similar patterns existing in natural images are rarely exploited for the VSR task. Motivated by these findings, we propose a temporal multi-correspondence aggregation strategy to leverage similar patches across frames, and a cross-scale nonlocal-correspondence aggregation scheme to explore self-similarity of images across scales. Based on these two new modules, we build an effective multi-correspondence aggregation network (MuCAN) for VSR. Our method achieves state-of-the-art results on multiple benchmark datasets. Extensive experiments justify the effectiveness of our method.


title: Constraints on a mixed model of dark matter particles and primordial black holes from the Galactic 511 keV line

abstract: The galactic 511 keV gamma-ray line has been observed since 1970's, and was identified as the result of electron-positron annihilation, but the origin of such positrons is still not clear. Apart from the astrophysical explanations, the possibilities that such positrons come from dark matter (DM) annihilation are also widely studied. Primordial black hole (PBH) is also an extensively studied candidate of DM. If PBHs exist, the DM particles may be gravitationally bound to the PBHs and form halo around PBHs with density spikes. DM annihilation in these density spikes can enhance the production rate of positrons from DM particles, but the signal morphology is similar to the decaying DM. We consider such a mixed model consisting of DM particles and PBHs and obtain the upper limit from the data of 511 keV gamma-ray line from INTEGRAL/SPI on the decaying component of DM particles and the constraint on the PBH abundance. These constraints are general and independent of particle DM models. For the mixed model consisting of excited DM and PBHs, the constraints on the PBH abundance can be down to $O(10^{-17})$ for DM particle with mass around $1~\mathrm{TeV}$, which is more stringent than that obtained from the extragalactic gamma-ray background.


title: The graph grabbing game on blow-ups of trees and cycles

abstract: The graph grabbing game is played on a non-negatively weighted connected graph by Alice and Bob who alternately claim a non-cut vertex from the remaining graph, where Alice plays first, to maximize the weights on their respective claimed vertices at the end of the game when all vertices have been claimed. Seacrest and Seacrest conjectured that Alice can secure at least half of the weight of every weighted connected bipartite even graph. Later, Egawa, Enomoto and Matsumoto partially confirmed this conjecture by showing that Alice wins the game on a class of weighted connected bipartite even graphs called $K_{m,n}$-trees. We extend the result on this class to include a number of graphs, e.g. even blow-ups of trees and cycles.


title: Autonomous Removal of Perspective Distortion of Elevator Button Images based on Corner Detection

abstract: Elevator button recognition is a critical function to realize the autonomous operation of elevators. However, challenging image conditions and various image distortions make it difficult to recognize buttons accurately. To fill this gap, we propose a novel deep learning-based approach, which aims to autonomously correct perspective distortions of elevator button images based on button corner detection results. First, we leverage a novel image segmentation model and the Hough Transform method to obtain button segmentation and button corner detection results. Then, pixel coordinates of standard button corners are used as reference features to estimate camera motions for correcting perspective distortions. Fifteen elevator button images are captured from different angles of view as the dataset. The experimental results demonstrate that our proposed approach is capable of estimating camera motions and removing perspective distortions of elevator button images with high accuracy.


title: Topological phases in ring resonators: recent progress and future prospects

abstract: Topological photonics has emerged as a novel paradigm for the design of electromagnetic systems from microwaves to nanophotonics. Studies to date have largely focused on the demonstration of fundamental concepts, such as non-reciprocity and waveguiding protected against fabrication disorder. Moving forward, there is a pressing need to identify applications where topological designs can lead to useful improvements in device performance. Here we review applications of topological photonics to ring resonator-based systems, including one- and two-dimensional resonator arrays, and dynamically-modulated resonators. We evaluate potential applications such as quantum light generation, disorder-robust delay lines, and optical isolation, as well as future research directions and open problems that need to be addressed.


title: Deep Reinforcement Learning based Automatic Exploration for Navigation in Unknown Environment

abstract: This paper investigates the automatic exploration problem under the unknown environment, which is the key point of applying the robotic system to some social tasks. The solution to this problem via stacking decision rules is impossible to cover various environments and sensor properties. Learning based control methods are adaptive for these scenarios. However, these methods are damaged by low learning efficiency and awkward transferability from simulation to reality. In this paper, we construct a general exploration framework via decomposing the exploration process into the decision, planning, and mapping modules, which increases the modularity of the robotic system. Based on this framework, we propose a deep reinforcement learning based decision algorithm which uses a deep neural network to learning exploration strategy from the partial map. The results show that this proposed algorithm has better learning efficiency and adaptability for unknown environments. In addition, we conduct the experiments on the physical robot, and the results suggest that the learned policy can be well transfered from simulation to the real robot.


title: Second-order time delay by a radially moving Kerr-Newman black hole

abstract: We derive the analytical time delay of light propagating in the equatorial plane and parallel to the velocity of a moving Kerr-Newman black hole up to the second post-Minkowskian order via integrating the null geodesic equations. The velocity effects are expressed by a very compact form. We then concentrate on analyzing the magnitudes of the correctional effects on the second-order contributions to the delay and discuss their possible detection. Our result in the first post-Minkowskian approximation is in agreement with Kopeikin and Sch\"{a}fer's formulation which is based on the retarded Li\'{e}nard-Wiechert potential.


title: Eruptive-Impulsive Homologous M-class Flares Associated with Double-Decker Flux Rope Configuration in Mini-Sigmoid of NOAA 12673

abstract: We present a multiwavelength analysis of two homologous, short lived, impulsive flares of GOES class M1.4 and M7.3, that occurred from a very localized mini-sigmoid region within the active region NOAA 12673 on 2017 September 7. Both flares were associated with initial jet-like plasma ejection which for a brief amount of time moved toward east in a collimated manner before drastically changing direction toward southwest. Non-linear force-free field extrapolation reveals the presence of a compact double-decker flux rope configuration in the mini-sigmoid region prior to the flares. A set of open field lines originating near the active region which were most likely responsible for the anomalous dynamics of the erupted plasma, gave the earliest indication of an emerging coronal hole near the active region. The horizontal field distribution suggests a rapid decay of the field above the active region, implying high proneness of the flux rope system toward eruption. In view of the low coronal double-decker flux ropes and compact extreme ultra-violet (EUV) brightening beneath the filament along with associated photospheric magnetic field changes, our analysis supports the combination of initial tether-cutting reconnection and subsequent torus instability for driving the eruption.


title: On a Bernoulli Autoregression Framework for Link Discovery and Prediction

abstract: We present a dynamic prediction framework for binary sequences that is based on a Bernoulli generalization of the auto-regressive process. Our approach lends itself easily to variants of the standard link prediction problem for a sequence of time dependent networks. Focusing on this dynamic network link prediction/recommendation task, we propose a novel problem that exploits additional information via a much larger sequence of auxiliary networks and has important real-world relevance. To allow discovery of links that do not exist in the available data, our model estimation framework introduces a regularization term that presents a trade-off between the conventional link prediction and this discovery task. In contrast to existing work our stochastic gradient based estimation approach is highly efficient and can scale to networks with millions of nodes. We show extensive empirical results on both actual product-usage based time dependent networks and also present results on a Reddit based data set of time dependent sentiment sequences.


title: Laser-induced topological $s$-wave superconductivity in bilayer transition metal dichalcogenides

abstract: In this paper, we propose a way to realize topological $s$-wave superconductivity with application of circularly polarized laser light in two-dimensional bilayer transition metal dichalcogenides (TMDs). Using Floquet theory, we analyze a tight-binding model of bilayer TMDs with time-periodic electric fields. After deriving an effective Hamiltonian, we investigate topological properties of the $s$-wave superconducting state. The laser light induces valley-dependent layer polarization and makes the system to be a topologically nontrivial superconducting state characterized by the Chern number. We show topological phase diagrams in the absence and presence of the Kane-Mele spin-orbit coupling which causes hidden spin polarization in bilayer TMDs. Although the topological phase diagram is affected by the spin-orbit coupling, topological superconductivity can be realized without relying on the spin-orbit coupling in sharp contrast to a previous proposal of laser-induced topological superconductivity [K. Takasan, \textit{et al.}, Phys. Rev. B \textbf{95}, 134508 (2017)]. We also discuss experimental setups to detect the topological phase.


title: A Dark Seesaw Solution to Low Energy Anomalies: MiniBooNE, the muon $(g-2)$, and BaBar

abstract: A recent update from MiniBooNE has strengthened the observed $4.8\sigma$ excess of $e$-like events. Motivated by this and other notable deviations from standard model predictions, such as the muon $(g-2)$, we propose a solution to low energy anomalies through a dark neutrino sector. The model is renormalizable and can also explain light neutrino masses with an anomaly-free and dark $U(1)^\prime$ gauge symmetry broken at the GeV scale. Large kinetic mixing leads to s-channel production of heavy neutral leptons at $e^+e^-$ colliders, where we point out and explain a $\gtrsim 2\sigma$ excess observed in the BaBar monophoton data. Our model is also compatible with anomalous $e$-like events seen at old accelerator experiments, as well as with an excess of double vertex signatures observed at CCFR.


title: Zero-Shot Recognition through Image-Guided Semantic Classification

abstract: We present a new embedding-based framework for zero-shot learning (ZSL). Most embedding-based methods aim to learn the correspondence between an image classifier (visual representation) and its class prototype (semantic representation) for each class. Motivated by the binary relevance method for multi-label classification, we propose to inversely learn the mapping between an image and a semantic classifier. Given an input image, the proposed Image-Guided Semantic Classification (IGSC) method creates a label classifier, being applied to all label embeddings to determine whether a label belongs to the input image. Therefore, semantic classifiers are image-adaptive and are generated during inference. IGSC is conceptually simple and can be realized by a slight enhancement of an existing deep architecture for classification; yet it is effective and outperforms state-of-the-art embedding-based generalized ZSL approaches on standard benchmarks.


title: A structure-preserving numerical approach for simulating algae blooms in marine water bodies of western Patagonia

abstract: Patagonian fjords' area is one of the largest estuarine regions in the world. Every one of its water bodies displays a unique hydrodynamic behavior with enormous effects on the biogeochemical characteristics of the ecosystems. In this context, algal blooms are ecological phenomena of major relevance. Numerical simulation has proved to be a promising tool to understand their impacts. It has not been used for studying algal blooms in this zone. This article focuses on proposing a novel numerical model for simulating brief algal blooms occurring in water bodies of western Patagonia. The proposed model presents a trade-off between complexity and applicability since field-data sparsity in the zone discourages using more sophisticated approaches. The model is based on a two-layer description of the water column. The first layer represents the euphotic zone where an embedded biogeochemical model of NPZD-type is used to model a mass-conserving trophic web. High intensity wind drives the water column mixing, introducing an upward flux of nutrients that boosts high rates of primary production. A time-dependent Gaussian pulse is used to describe this process. Mass losses due to detritus sinking are also included. Then, the ecosystem's dynamics is represented by means of an externally forced, non-autonomous system of ordinary differential equations which is characterized by strictly positive trajectories but that it is not longer mass-conserving. A structure-preserving time integrator based on a splitting-composition technique is designed for solving the system's equations. It is cast as a three-steps algorithm and provides an exact estimations of biomass fluxes. Additionally, a genetic algorithm-based tool is used to calibrate the model's parameters in realistic scenarios. The proposed model is applied im a detailed study of a winter bloom in an austral fjord.


title: Magnetic phase diagram of Cu$_{4-x}$Zn$_x$(OH)$_6$FBr studied by neutron-diffraction and $\mu$SR techniques

abstract: We have systematically studied the magnetic properties of Cu$_{4-x}$Zn$_x$(OH)$_6$FBr by the neutron diffraction and muon spin rotation and relaxation ($\mu$SR) techniques. Neutron-diffraction measurements suggest that the long-range magnetic order and the orthorhombic nuclear structure in the $x$ = 0 sample can persist up to $x$ = 0.23 and 0.43, respectively. The temperature dependence of the zero-field (ZF) $\mu$SR spectra provide two characteristic temperatures, $T_{A0}$ and $T_{\lambda}$. Comparison between $T_{A0}$ and $T_M$ from previously reported magnetic-susceptibility measurements suggest that the former comes from the short-range interlayer-spin clusters that persist up to $x$ = 0.82. On the other hand, the doping level where $T_{\lambda}$ becomes zero is about 0.66, which is much higher than threshold of the long-range order, i.e., $\sim$ 0.4. Our results suggest that the change in the nuclear structure may alter the spin dynamics of the kagome layers and a gapped quantum-spin-liquid state may exist above $x$ = 0.66 with the perfect kagome planes.


title: Revisiting a stability problem of two-component droplets

abstract: We study the problem of the stability of a two-component droplet. The standard solution known from the literature is based on a particular form of the mean field energy functional, in particular on distinction of hard mode and soft mode contributions. By imposing the constraint on densities of the two species which minimizes the hard mode energy, the problem is reduced to a stability analysis of a one component system. As opposed to this, we address the issue in full generality. Our analysis is valid for arbitrary forms of energy density. We formulate constraints which correspond to the physically relevant situation of a system which has unconstrained volume and may evaporate particles. For the specific case of a two component Bose-Bose droplet we find approximate analytic solutions and compare them to the standard result. We show that the densities of both components of a stable droplet are limited to a range depending on interaction strength, in contrast to the original unique solution.


title: Speculative Interference Attacks: Breaking Invisible Speculation Schemes

abstract: Recent security vulnerabilities that target speculative execution (e.g., Spectre) present a significant challenge for processor design. The highly publicized vulnerability uses speculative execution to learn victim secrets by changing cache state. As a result, recent computer architecture research has focused on invisible speculation mechanisms that attempt to block changes in cache state due to speculative execution. Prior work has shown significant success in preventing Spectre and other vulnerabilities at modest performance costs. In this paper, we introduce speculative interference attacks, which show that prior invisible speculation mechanisms do not fully block these speculation-based attacks. We make two key observations. First, misspeculated younger instructions can change the timing of older, bound-to-retire instructions, including memory operations. Second, changing the timing of a memory operation can change the order of that memory operation relative to other memory operations, resulting in persistent changes to the cache state. Using these observations, we demonstrate (among other attack variants) that secret information accessed by mis-speculated instructions can change the order of bound-to-retire loads. Load timing changes can therefore leave secret-dependent changes in the cache, even in the presence of invisible speculation mechanisms. We show that this problem is not easy to fix: Speculative interference converts timing changes to persistent cache-state changes, and timing is typically ignored by many cache-based defenses. We develop a framework to understand the attack and demonstrate concrete proof-of-concept attacks against invisible speculation mechanisms. We provide security definitions sufficient to block speculative interference attacks; describe a simple defense mechanism with a high performance cost; and discuss how future research can improve its performance.


title: A Non-Intrusive Load Monitoring Approach for Very Short Term Power Predictions in Commercial Buildings

abstract: This paper presents a new algorithm to extract device profiles fully unsupervised from three phases reactive and active aggregate power measurements. The extracted device profiles are applied for the disaggregation of the aggregate power measurements using particle swarm optimization. Finally, this paper provides a new approach for short term power predictions using the disaggregation data. For this purpose, a state changes forecast for every device is carried out by an artificial neural network and converted into a power prediction afterwards by reconstructing the power regarding the state changes and the device profiles. The forecast horizon is 15 minutes. To demonstrate the developed approaches, three phase reactive and active aggregate power measurements of a multi-tenant commercial building are used. The granularity of data is 1 s. In this work, 52 device profiles are extracted from the aggregate power data. The disaggregation shows a very accurate reconstruction of the measured power with a percentage energy error of approximately 1 %. The developed indirect power prediction method applied to the measured power data outperforms two persistence forecasts and an artificial neural network, which is designed for 24h-day-ahead power predictions working in the power domain.


title: AI Data poisoning attack: Manipulating game AI of Go

abstract: With the extensive use of AI in various fields, the issue of AI security has become more significant. The AI data poisoning attacks will be the most threatening approach against AI security after the adversarial examples. As the continuous updating of AI applications online, the data pollution models can be uploaded by attackers to achieve a certain malicious purpose. Recently, the research on AI data poisoning attacks is mostly out of practice and use self-built experimental environments so that it cannot be as close to reality as adversarial example attacks. This article's first contribution is to provide a solution and a breakthrough for the aforementioned issue with research limitations, to aim at data poisoning attacks that target real businesses, in this case: data poisoning attacks on real Go AI. We install a Trojan virus into the real Go AI that manipulates the AI's behavior. It is the first time that we succeed in manipulating complicated AI and provide a reliable approach to the AI data poisoning attack verification method. The method of building Trojan in this article can be expanded to more practical algorithms for other fields such as content recommendation, text translation, and intelligent dialogue.


title: Providing early indication of regional anomalies in COVID19 case counts in England using search engine queries

abstract: COVID19 was first reported in England at the end of January 2020, and by mid-June over 150,000 cases were reported. We assume that, similarly to influenza-like illnesses, people who suffer from COVID19 may query for their symptoms prior to accessing the medical system (or in lieu of it). Therefore, we analyzed searches to Bing from users in England, identifying cases where unexpected rises in relevant symptom searches occurred at specific areas of the country. Our analysis shows that searches for "fever" and "cough" were the most correlated with future case counts, with searches preceding case counts by 16-17 days. Unexpected rises in search patterns were predictive of future case counts multiplying by 2.5 or more within a week, reaching an Area Under Curve (AUC) of 0.64. Similar rises in mortality were predicted with an AUC of approximately 0.61 at a lead time of 3 weeks. Thus, our metric provided Public Health England with an indication which could be used to plan the response to COVID19 and could possibly be utilized to detect regional anomalies of other pathogens.


title: A note on generalized fractional diffusion equations on Poincar\`e half plane

abstract: In this paper we study generalized time-fractional diffusion equations on the Poincar\`e half plane $\mathbb{H}_2^+$. The time-fractional operators here considered are fractional derivatives of a function with respect to another function, that can be obtained by starting from the classical Caputo-derivatives essentially by means of a deterministic change of variable. We obtain an explicit representation of the fundamental solution of the generalized-diffusion equation on $\mathbb{H}_2^+$ and provide a probabilistic interpretation related to the time-changed hyperbolic Brownian motion. We finally include an explicit result regarding the non-linear case admitting a separating variable solution.


title: WeightNet: Revisiting the Design Space of Weight Networks

abstract: We present a conceptually simple, flexible and effective framework for weight generating networks. Our approach is general that unifies two current distinct and extremely effective SENet and CondConv into the same framework on weight space. The method, called WeightNet, generalizes the two methods by simply adding one more grouped fully-connected layer to the attention activation layer. We use the WeightNet, composed entirely of (grouped) fully-connected layers, to directly output the convolutional weight. WeightNet is easy and memory-conserving to train, on the kernel space instead of the feature space. Because of the flexibility, our method outperforms existing approaches on both ImageNet and COCO detection tasks, achieving better Accuracy-FLOPs and Accuracy-Parameter trade-offs. The framework on the flexible weight space has the potential to further improve the performance. Code is available at https://github.com/megvii-model/WeightNet.


title: Funnel Activation for Visual Recognition

abstract: We present a conceptually simple but effective funnel activation for image recognition tasks, called Funnel activation (FReLU), that extends ReLU and PReLU to a 2D activation by adding a negligible overhead of spatial condition. The forms of ReLU and PReLU are y = max(x, 0) and y = max(x, px), respectively, while FReLU is in the form of y = max(x,T(x)), where T(x) is the 2D spatial condition. Moreover, the spatial condition achieves a pixel-wise modeling capacity in a simple way, capturing complicated visual layouts with regular convolutions. We conduct experiments on ImageNet, COCO detection, and semantic segmentation tasks, showing great improvements and robustness of FReLU in the visual recognition tasks. Code is available at https://github.com/megvii-model/FunnelAct.


title: Influence of M/A substitution on material properties of intermetallic compounds MSn$_2$ (M = Fe, Co; A = Li, Na): A first-principles study

abstract: Iron and cobalt distannides \ce{MSn2} (M = Fe, Co) are regarded as a promising conversion-type anode material for lithium- and sodium-ion batteries, but their properties are not well understood. In this work, we report a first-principles study of alkali metal (A = Li, Na) substitutional effect on the structural, mechanical, lattice vibrational, electronic and defect properties of these distannides. Special attention is paid to systematic comparison between \ce{FeSn2} and \ce{CoSn2}. Our calculations reveal that M/A substitution induces a lattice expansion and decrease of elastic constants, which is more announced with Na substitution than Li, and moreover changes the elastic property of \ce{FeSn2} from ductile to brittle whereas preserves the ductility of \ce{CoSn2}. An imaginary phonon frequency mode appears only for \ce{FeSn2} and \ce{FeNaSn2}, and M/A substitution provokes a definite gap between high and low frequency regions. We perform a careful analysis of electronic density of states, band structures and Fermi surface, providing an insight into difference of electronic structures between \ce{FeSn2} and \ce{CoSn2}. With further calculation of defect formation energies and alkali ion diffusion barriers, we believe this work can be useful to design conversion-type anode materials for alkali-ion batteries.


title: Hierarchical Verification for Adversarial Robustness

abstract: We introduce a new framework for the exact point-wise $\ell_p$ robustness verification problem that exploits the layer-wise geometric structure of deep feed-forward networks with rectified linear activations (ReLU networks). The activation regions of the network partition the input space, and one can verify the $\ell_p$ robustness around a point by checking all the activation regions within the desired radius. The GeoCert algorithm (Jordan et al., NeurIPS 2019) treats this partition as a generic polyhedral complex in order to detect which region to check next. In contrast, our LayerCert framework considers the \emph{nested hyperplane arrangement} structure induced by the layers of the ReLU network and explores regions in a hierarchical manner. We show that, under certain conditions on the algorithm parameters, LayerCert provably reduces the number and size of the convex programs that one needs to solve compared to GeoCert. Furthermore, our LayerCert framework allows the incorporation of lower bounding routines based on convex relaxations to further improve performance. Experimental results demonstrate that LayerCert can significantly reduce both the number of convex programs solved and the running time over the state-of-the-art.


title: Spectral damping without quasiparticle decay: The dynamic structure factor of two-dimensional quantum Heisenberg antiferromagnets

abstract: Two-dimensional Heisenberg antiferromagnets play a central role in quantum magnetism, yet the nature of dynamic correlations in these systems at finite temperature has remained poorly understood for decades. We solve this long-standing problem by using a novel quantum-classical duality to calculate the dynamic structure factor analytically and, paradoxically, find a broad frequency spectrum despite the very long quasiparticle lifetime. The solution reveals new multi-scale physics whereby an external probe creates a classical radiation field containing infinitely-many quanta. Crucially, it is the multi-scale nature of this phenomenon which prevents a conventional renormalization group approach. We also challenge the common wisdom on static correlations and perform Monte Carlo simulations which demonstrate excellent agreement with our theory.


title: Exponential node clustering at singularities for rational approximation, quadrature, and PDEs

abstract: Rational approximations of functions with singularities can converge at a root-exponential rate if the poles are exponentially clustered. We begin by reviewing this effect in minimax, least-squares, and AAA approximations on intervals and complex domains, conformal mapping, and the numerical solution of Laplace, Helmholtz, and biharmonic equations by the "lightning" method. Extensive and wide-ranging numerical experiments are involved. We then present further experiments showing that in all of these applications, it is advantageous to use exponential clustering whose density on a logarithmic scale is not uniform but tapers off linearly to zero near the singularity. We give a theoretical explanation of the tapering effect based on the Hermite contour integral and potential theory, showing that tapering doubles the rate of convergence. Finally we show that related mathematics applies to the relationship between exponential (not tapered) and doubly exponential (tapered) quadrature formulas. Here it is the Gauss--Takahasi--Mori contour integral that comes into play.


title: Stiffness of Probability Distributions of Work and Jarzynski Relation for Initial Microcanonical and Energy Eigenstates

abstract: We consider closed quantum systems (into which baths may be integrated) that are driven, i.e., subject to time-dependent Hamiltonians. As a starting point we assume that, for systems initialized in microcanonical states at some energies, the resulting probability densities of work (work-PDFs) are largely independent of these specific initial energies. We show analytically that this assumption of "stiffness", together with the assumption of an exponentially growing density of energy eigenstates, is sufficient but not necessary for the validity of the Jarzynski relation (JR) for the above microcanonical initial states. This holds, even in the absence of microreversibility. To scrutinize the connection between stiffness and the JR for microcanonical initial states, we perform numerical analysis on systems comprising random matrices which may be tuned from stiff to nonstiff. In these examples we find the JR fulfilled in the presence of stiffness, and violated in its absence, which indicates a very close connection between stiffness and the JR. Remarkably, in the limit of large systems, we find the JR fulfilled, even for pure initial energy eigenstates. As this has no analogue in classical systems, we consider it a genuine quantum phenomenon.


title: Groebner basis structure of ideal interpolation

abstract: We study the relationship between certain Groebner bases for zero dimensional ideals, and the interpolation condition functionals of ideal interpolation. Ideal interpolation is defined by a linear idempotent projector whose kernel is a polynomial ideal. In this paper, we propose the notion of "reverse" complete reduced basis. Based on the notion, we present a fast algorithm to compute the reduced Groebner basis for the kernel of ideal projector under an arbitrary compatible ordering. As an application, we show that knowing the affine variety makes available information concerning the reduced Groebner basis.


title: DBS: Dynamic Batch Size For Distributed Deep Neural Network Training

abstract: Synchronous strategies with data parallelism, such as the Synchronous StochasticGradient Descent (S-SGD) and the model averaging methods, are widely utilizedin distributed training of Deep Neural Networks (DNNs), largely owing to itseasy implementation yet promising performance. Particularly, each worker ofthe cluster hosts a copy of the DNN and an evenly divided share of the datasetwith the fixed mini-batch size, to keep the training of DNNs convergence. In thestrategies, the workers with different computational capability, need to wait foreach other because of the synchronization and delays in network transmission,which will inevitably result in the high-performance workers wasting computation.Consequently, the utilization of the cluster is relatively low. To alleviate thisissue, we propose the Dynamic Batch Size (DBS) strategy for the distributedtraining of DNNs. Specifically, the performance of each worker is evaluatedfirst based on the fact in the previous epoch, and then the batch size and datasetpartition are dynamically adjusted in consideration of the current performanceof the worker, thereby improving the utilization of the cluster. To verify theeffectiveness of the proposed strategy, extensive experiments have been conducted,and the experimental results indicate that the proposed strategy can fully utilizethe performance of the cluster, reduce the training time, and have good robustnesswith disturbance by irrelevant tasks. Furthermore, rigorous theoretical analysis hasalso been provided to prove the convergence of the proposed strategy.


title: Probabilistic Analysis of Binary Sessions

abstract: We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. The probability annotations in session types enable the reasoning on the probability that a session terminates successfully, for some user-definable notion of successful termination. We develop a type system for a simple session calculus featuring probabilistic choices and show that the success probability of well-typed processes agrees with that of the sessions they use. To this aim, the type system needs to track the propagation of probabilistic choices across different sessions.


title: Large and robust mechanical squeezing of optomechanical systems in a highly unresolved sideband regime via Duffing nonlinearity and intracavity squeezed light

abstract: We propose a scheme to generate strong and robust mechanical squeezing in an optomechanical system in the highly unresolved sideband (HURSB) regime with the help of the Duffing nonlinearity and intracavity squeezed light. The system is formed by a standard optomechanical system with the Duffing nonlinearity (mechanical nonlinearity) and a second-order nonlinear medium (optical nonlinearity). In the resolved sideband regime, the second-order nonlinear medium may play a destructive role in the generation of mechanical squeezing. However, it can significantly increase the mechanical squeezing (larger than 3dB) in the HURSB regime. Finally, we show the mechanical squeezing is robust against thermal fluctuations of the mechanical resonator. The generation of large and robust mechanical squeezing in the HURSB regime is a combined effect of the mechanical and optical nonlinearities.


title: Contact Tracing -- Old Models and New Challenges

abstract: Contact tracing is an effective method to control emerging diseases. Since the 1980's, mathematical modelers are developing a consistent theory for contact tracing, with the aim to find effective and efficient implementations of contact tracing, and to assess the effects of contact tracing on the spread of an infectious disease. Despite the progress made in the area, there remain important open questions. In addition, technological developments, especially in the field of molecular biology (genetic sequencing of pathogens) and modern communication (digital contact tracing), have posed new challenges for the modeling community. In the present paper, we discuss modeling approaches for contact tracing and identify some of the current challenges for the field.


title: Domain-decomposition least-squares Petrov-Galerkin (DD-LSPG) nonlinear model reduction

abstract: A novel domain-decomposition least-squares Petrov-Galerkin (DD-LSPG) model-reduction method applicable to parameterized systems of nonlinear algebraic equations (e.g., arising from discretizing a parameterized partial-differential-equations problem) is proposed. In contrast with previous works, we adopt an algebraically non-overlapping decomposition strategy rather than a spatial-decomposition strategy, which facilitates application to different spatial-discretization schemes. Rather than constructing a low-dimensional subspace for the entire state space in a monolithic fashion, the methodology constructs separate subspaces for the different subdomains/components characterizing the original model. In the offline stage, the method constructs low-dimensional bases for the interior and interface of components. In the online stage, the approach constructs an LSPG ROM for each component and enforces strong or weak compatibility on the 'ports' connecting them. We propose four different ways to construct reduced bases on the interface/ports of subdomains and several ways to enforce compatibility across connecting ports. We derive a posteriori and a priori error bounds for the DD-LSPG solutions. Numerical results performed on nonlinear benchmark problems in heat transfer and fluid dynamics demonstrate that the proposed method performs well in terms of both accuracy and computational cost, with different choices of basis and compatibility constraints yielding different performance profiles.


title: A Novel Framework for Spatio-Temporal Prediction of Environmental Data Using Deep Learning

abstract: As the role played by statistical and computational sciences in climate and environmental modelling and prediction becomes more important, Machine Learning researchers are becoming more aware of the relevance of their work to help tackle the climate crisis. Indeed, being universal nonlinear function approximation tools, Machine Learning algorithms are efficient in analysing and modelling spatially and temporally variable environmental data. While Deep Learning models have proved to be able to capture spatial, temporal, and spatio-temporal dependencies through their automatic feature representation learning, the problem of the interpolation of continuous spatio-temporal fields measured on a set of irregular points in space is still under-investigated. To fill this gap, we introduce here a framework for spatio-temporal prediction of climate and environmental data using deep learning. Specifically, we show how spatio-temporal processes can be decomposed in terms of a sum of products of temporally referenced basis functions, and of stochastic spatial coefficients which can be spatially modelled and mapped on a regular grid, allowing the reconstruction of the complete spatio-temporal signal. Applications on two case studies based on simulated and real-world data will show the effectiveness of the proposed framework in modelling coherent spatio-temporal fields.

categories: stat.ML cs.LG physics.ao-ph physics.data-an


title: Spin and polarisation dependent LCFA rates for nonlinear Compton and Breit-Wheeler processes

abstract: In this paper we derive and discuss the completely spin- and photon-polarisation dependent probability rates for nonlinear Compton scattering and nonlinear Breit-Wheeler pair production. The locally constant field approximation, which is essential for applications in plasma-QED simulation codes, is rigorously derived from the strong-field QED matrix elements in the Furry picture for a general plane-wave background field. We discuss important polarisation correlation effects in the spectra of both processes. Asymptotic limits for both small and large values of $\chi$ are derived and their spin/polarisation dependence is discussed.


title: PClean: Bayesian Data Cleaning at Scale with Domain-Specific Probabilistic Programming

abstract: Data cleaning is naturally framed as probabilistic inference in a generative model of ground-truth data and likely errors, but the diversity of real-world error patterns and the hardness of inference make Bayesian approaches difficult to automate. We present PClean, a probabilistic programming language (PPL) for leveraging dataset-specific knowledge to automate Bayesian cleaning. Compared to general-purpose PPLs, PClean tackles a restricted problem domain, enabling three modeling and inference innovations: (1) a non-parametric model of relational database instances, which users' programs customize; (2) a novel sequential Monte Carlo inference algorithm that exploits the structure of PClean's model class; and (3) a compiler that generates near-optimal SMC proposals and blocked-Gibbs rejuvenation kernels based on the user's model and data. We show empirically that short (< 50-line) PClean programs can: be faster and more accurate than generic PPL inference on data-cleaning benchmarks; match state-of-the-art data-cleaning systems in terms of accuracy and runtime (unlike generic PPL inference in the same runtime); and scale to real-world datasets with millions of records.


title: A Guideline on Pseudorandom Number Generation (PRNG) in the IoT

abstract: Random numbers are an essential input to many functions on the Internet of Things (IoT). Common use cases of randomness range from low-level packet transmission to advanced algorithms of artificial intelligence as well as security and trust, which heavily rely on unpredictable random sources. In the constrained IoT, though, unpredictable random sources are a challenging desire due to limited resources, deterministic real-time operations, and frequent lack of a user interface. In this paper, we revisit the generation of randomness from the perspective of an IoT operating system (OS) that needs to support general purpose or crypto-secure random numbers. We analyse the potential attack surface, derive common requirements, and discuss the potentials and shortcomings of current IoT OSs. A systematic evaluation of current IoT hardware components and popular software generators based on well-established test suits and on experiments for measuring performance give rise to a set of clear recommendations on how to build such a random subsystem and which generators to use.


title: Regularization of Building Boundaries in Satellite Images using Adversarial and Regularized Losses

abstract: In this paper we present a method for building boundary refinement and regularization in satellite images using a fully convolutional neural network trained with a combination of adversarial and regularized losses. Compared to a pure Mask R-CNN model, the overall algorithm can achieve equivalent performance in terms of accuracy and completeness. However, unlike Mask R-CNN that produces irregular footprints, our framework generates regularized and visually pleasing building boundaries which are beneficial in many applications.


title: Learning the heterogeneous hypermutation landscape of immunoglobulins from high-throughput repertoire data

abstract: Somatic hypermutations of immunoglobulin (Ig) genes occuring during affinity maturation drive B-cell receptors' ability to evolve strong binding to their antigenic targets. The landscape of these mutations is highly heterogeneous, with certain regions of the Ig gene being preferentially targeted. However, a rigorous quantification of this bias has been difficult because of phylogenetic correlations between sequences and the interference of selective forces. Here, we present an approach that corrects for these issues, and use it to learn a model of hypermutation preferences from a recently published large IgH repertoire dataset. The obtained model predicts mutation profiles accurately and in a reproducible way, including in the previously uncharacterized Complementarity Determining Region 3, revealing that both the sequence context of the mutation and its absolute position along the gene are important. In addition, we show that hypermutations occurring concomittantly along B-cell lineages tend to co-localize, suggesting a possible mechanism for accelerating affinity maturation.


title: Complex coordinate rotation method based on gradient optimization

abstract: In atomic, molecular, and nuclear physics, the method of complex coordinate rotation is a widely used theoretical tool for studying resonant states. Here, we propose a novel implementation of this method based on the gradient optimization (CCR-GO). The main strength of the CCR-GO method is that it does not require manual adjustment of optimization parameters in the wave function; instead, a mathematically well-defined optimization path can be followed. Our method is proven to be very efficient in searching resonant positions and widths over a variety of few-body atomic systems, and can significantly improve the accuracy of the results. As a special case, the CCR-GO method is equally capable of dealing with bound-state problems with high accuracy, which is traditionally achieved through the usual extreme conditions of energy itself.


title: Rheology of protein-stabilised emulsion gels envisioned as composite networks. 2 -- Framework for the study of emulsion gels

abstract: The aggregation of protein-stabilised emulsions leads to the formation of emulsion gels. These soft solids are classically envisioned as droplet-filled matrices. Here however, it is assumed that protein-coated sub-micron droplets contribute to the network formation in a similar way to proteins. Emulsion gels are thus envisioned as composite networks made of proteins and droplets. Emulsion gels with a wide range of composition are prepared and their viscoelasticity and frequency dependence are measured. Their rheological behaviours are then analysed and compared with the properties of pure gels presented in the first part of this study. The rheological behaviour of emulsion gels is shown to depend mostly on the total volume fraction, while the composition of the gel indicates its level of similarity with either pure droplet gels or pure protein gels. These results converge to form an emerging picture of protein-stabilised emulsion gel as intermediate between droplet and protein gels. This justifies a posteriori the hypothesis of composite networks, and opens the road for the formulation of emulsion gels with fine-tuned rheology.


title: On graphs with some normalized Laplacian eigenvalue of extremal multiplicity

abstract: Let $G$ be a connected simple graph on $n$ vertices. Let $\mathcal{L}(G)$ be the normalized Laplacian matrix of $G$ and $\rho_{n-1}(G)$ be the second least eigenvalue of $\mathcal{L}(G)$. Denote by $\nu(G)$ the independence number of $G$. Recently, the paper [Characterization of graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$, arXiv:1912.13227] discussed the graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$. However, there is one remaining case (graphs with $\rho_{n-1}(G)\neq 1$ and $\nu(G)= 2$) not considered. In this paper, we focus on cographs and graphs with diameter 3 to investigate the graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$.


title: Time Perception: A Review on Psychological, Computational and Robotic Models

abstract: Animals exploit time to survive in the world. Temporal information is required for higher-level cognitive abilities such as planning, decision making, communication, and effective cooperation. Since time is an inseparable part of cognition, there is a growing interest in the artificial intelligence approach to subjective time, which has a possibility of advancing the field. The current survey study aims to provide researchers with an interdisciplinary perspective on time perception. Firstly, we introduce a brief background from the psychology and neuroscience literature, covering the characteristics and models of time perception and related abilities. Secondly, we summarize the emergent computational and robotic models of time perception. A general overview to the literature reveals that a substantial amount of timing models are based on a dedicated time processing like the emergence of a clock-like mechanism from the neural network dynamics and reveal a relationship between the embodiment and time perception. We also notice that most models of timing are developed for either sensory timing (i.e. ability to assess an interval) or motor timing (i.e. ability to reproduce an interval). The number of timing models capable of retrospective timing, which is the ability to track time without paying attention, is insufficient. In this light, we discuss the possible research directions to promote interdisciplinary collaboration in the field of time perception.


title: The truncated Hamburger moment problems with gaps in the index set

abstract: In this article we solve four special cases of the truncated Hamburger moment problem (THMP) of degree $2k$ with one or two missing moments in the sequence. As corollaries we obtain, by using appropriate substitutions, the solutions to bivariate truncated moment problems of degree $2k$ for special curves. Namely, for the curves $y=x^3$ (first solved by Fialkow), $y^2=x^3$, $y=x^4$ where a certain moment of degree $2k+1$ is known and $y^3=x^4$ with a certain moment given. The main technique is the completion of the partial positive semidefinite matrix (ppsd) such that the conditions of Curto and Fialkow's solution of the THMP are satisfied. The main tools are the use of the properties of positive semidefinite Hankel matrices and a result on all completions of a ppsd matrix with one unknown entry, proved by the use of the Schur complements for $2\times 2$ and $3\times 3$ block matrices.


title: METEOR: Learning Memory and Time Efficient Representations from Multi-modal Data Streams

abstract: Many learning tasks involve multi-modal data streams, where continuous data from different modes convey a comprehensive description about objects. A major challenge in this context is how to efficiently interpret multi-modal information in complex environments. This has motivated numerous studies on learning unsupervised representations from multi-modal data streams. These studies aim to understand higher-level contextual information (e.g., a Twitter message) by jointly learning embeddings for the lower-level semantic units in different modalities (e.g., text, user, and location of a Twitter message). However, these methods directly associate each low-level semantic unit with a continuous embedding vector, which results in high memory requirements. Hence, deploying and continuously learning such models in low-memory devices (e.g., mobile devices) becomes a problem. To address this problem, we present METEOR, a novel MEmory and Time Efficient Online Representation learning technique, which: (1) learns compact representations for multi-modal data by sharing parameters within semantically meaningful groups and preserves the domain-agnostic semantics; (2) can be accelerated using parallel processes to accommodate different stream rates while capturing the temporal changes of the units; and (3) can be easily extended to capture implicit/explicit external knowledge related to multi-modal data streams. We evaluate METEOR using two types of multi-modal data streams (i.e., social media streams and shopping transaction streams) to demonstrate its ability to adapt to different domains. Our results show that METEOR preserves the quality of the representations while reducing memory usage by around 80% compared to the conventional memory-intensive embeddings.


title: Multivariate sparse clustering for extremes

abstract: Identifying directions where extreme events occur is a major challenge in multivariate extreme value analysis. In this paper, we use the concept of sparse regular variation introduced by Meyer and Wintenberger (2021)} to infer the tail dependence of a random vector X. This approach relies on the Euclidean projection onto the simplex which better exhibits the sparsity structure of the tail of X than the standard methods. Our procedure based on a rigorous methodology aims at capturing clusters of extremal coordinates of X. It also includes the identification of the threshold above which the values taken by X are considered as extreme. We provide an efficient and scalable algorithm called MUSCLE and apply it on numerical examples to highlight the relevance of our findings. Finally we illustrate our approach with financial return data.


title: Learning Infinite-horizon Average-reward MDPs with Linear Function Approximation

abstract: We develop several new algorithms for learning Markov Decision Processes in an infinite-horizon average-reward setting with linear function approximation. Using the optimism principle and assuming that the MDP has a linear structure, we first propose a computationally inefficient algorithm with optimal $\widetilde{O}(\sqrt{T})$ regret and another computationally efficient variant with $\widetilde{O}(T^{3/4})$ regret, where $T$ is the number of interactions. Next, taking inspiration from adversarial linear bandits, we develop yet another efficient algorithm with $\widetilde{O}(\sqrt{T})$ regret under a different set of assumptions, improving the best existing result by Hao et al. (2020) with $\widetilde{O}(T^{2/3})$ regret. Moreover, we draw a connection between this algorithm and the Natural Policy Gradient algorithm proposed by Kakade (2002), and show that our analysis improves the sample complexity bound recently given by Agarwal et al. (2020).


title: Unveiling the Hierarchical Structure of Open Star Clusters: the Perseus Double Cluster

abstract: We introduce a new kinematic method to investigate the structure of open star clusters. We adopt a hierarchical clustering algorithm that uses the celestial coordinates and the proper motions of the stars in the field of view of the cluster to estimate a proxy of the pairwise binding energy of the stars and arrange them in a binary tree. The cluster substructures and their members are identified by trimming the tree at two thresholds, according to the $\sigma$-plateau method. Testing the algorithm on 100 mock catalogs shows that, on average, the membership of the identified clusters is $(91.5\pm 3.5)$\% complete and the fraction of unrelated stars is $(10.4\pm 2.0)$\%. We apply the algorithm to the stars in the field of view of the Perseus double cluster from the Data Release 2 of Gaia. This approach identifies a single structure, Sub1, that separates into two substructures, Sub1-1 and Sub1-2. These substructures coincide with $h$ Per and $\chi$ Per: the distributions of the proper motions and the color-magnitude diagrams of the members of Sub1-1 and Sub1-2 are fully consistent with those of $h$ Per and $\chi$ Per reported in the literature. These results suggest that our hierarchical clustering algorithm can be a powerful tool to unveil the complex kinematic information of star clusters.


title: Obliquity measurement and atmospheric characterization of the WASP-74 planetary system

abstract: We present new transit observations of the hot Jupiter WASP-74 b ($T_\mathrm{eq} \sim$ 1860 K) using the high-resolution spectrograph HARPS-N and the multi-colour simultaneous imager MuSCAT2. We refine the orbital properties of the planet and its host star, and measure its obliquity for the first time. The measured sky-projected angle between the stellar spin-axis and the planet's orbital axis is compatible with an orbit well-aligned with the equator of the host star ($\lambda = 0.77\pm0.99 \mathrm{deg}$). We are not able to detect any absorption feature of H$\alpha$, or any other atomic spectral features, in its high-resolution transmission spectra due to low S/N at the line cores. Despite previous claims regarding the presence of strong optical absorbers such TiO and VO gases in the atmosphere of WASP-74 b, the new ground-based photometry combined with a reanalysis of previously reported observations from the literature shows a slope in the low-resolution transmission spectrum steeper than expected from Rayleigh scattering alone.


title: Temperature and Chemical Potential Dependence of the Parity Anomaly in Quantum Anomalous Hall Insulators

abstract: The low-energy physics of two-dimensional Quantum Anomalous Hall insulators like (Hg,Mn)Te quantum wells or magnetically doped (Bi,Sb)Te thin films can be effectively described by two Chern insulators, including a Dirac, as well as a momentum-dependent mass term. Each of those Chern insulators is directly related to the parity anomaly of planar quantum electrodynamics. In this work, we analyze the finite temperature Hall conductivity of a single Chern insulator in 2+1 space-time dimensions under the influence of a chemical potential and an out-of-plane magnetic field. At zero magnetic field, this non-dissipative transport coefficient originates from the parity anomaly of planar quantum electrodynamics. We show that the parity anomaly itself is not renormalized by finite temperature effects. However, it induces two terms of different physical origin in the effective action of a Chern insulator, which is proportional to the Hall conductivity. The first term is temperature and chemical potential independent, and solely encodes the intrinsic topological response. The second term specifies the non-topological thermal response of conduction and valence band states. In particular, we show that the relativistic mass of a Chern insulator counteracts finite temperature effects, whereas its non-relativistic mass enhances these corrections. Moreover, we extend our analysis to finite magnetic fields and relate the thermal response of a Chern insulator therein to the spectral asymmetry, which is a measure of the parity anomaly in orbital fields.


title: On weighted sublinear separators

abstract: Consider a graph G with an assignment of costs to vertices. Even if G and all its subgraphs admit balanced separators of sublinear size, G may only admit a balanced separator of sublinear cost after deleting a small set Z of exceptional vertices. We improve the bound on |Z| from O(log |V(G)|) to O(log log...log |V(G)|), for any fixed number of iterations of the logarithm.


title: Monotone solutions for mean field games master equations : finite state space and optimal stopping

abstract: We present a new notion of solution for mean field games master equations. This notion allows us to work with solutions which are merely continuous. We prove first results of uniqueness and stability for such solutions. It turns out that this notion is helpful to characterize the value function of mean field games of optimal stopping or impulse control and this is the topic of the second half of this paper. The notion of solution we introduce is only useful in the monotone case. We focus in this paper in the finite state space case.


title: Neural Geometric Parser for Single Image Camera Calibration

abstract: We propose a neural geometric parser learning single image camera calibration for man-made scenes. Unlike previous neural approaches that rely only on semantic cues obtained from neural networks, our approach considers both semantic and geometric cues, resulting in significant accuracy improvement. The proposed framework consists of two networks. Using line segments of an image as geometric cues, the first network estimates the zenith vanishing point and generates several candidates consisting of the camera rotation and focal length. The second network evaluates each candidate based on the given image and the geometric cues, where prior knowledge of man-made scenes is used for the evaluation. With the supervision of datasets consisting of the horizontal line and focal length of the images, our networks can be trained to estimate the same camera parameters. Based on the Manhattan world assumption, we can further estimate the camera rotation and focal length in a weakly supervised manner. The experimental results reveal that the performance of our neural approach is significantly higher than that of existing state-of-the-art camera calibration techniques for single images of indoor and outdoor scenes.


title: Multivariate L\'evy-type drift change detection and mortality modeling

abstract: In this paper we give a solution to the quickest drift change detection problem for a multivariate L\'evy process consisting of both continuous (Gaussian) and jump components in the Bayesian approach. We do it for a general 0-modified continuous prior distribution of the change point. Classically, our criterion of optimality is based on a probability of false alarm and an expected delay of the detection, which is then reformulated in terms of a posterior probability of the change point. We find a generator of the posterior probability, which in case of general prior distribution is inhomogeneous in time. The main solving technique uses the optimal stopping theory and is based on solving a certain free-boundary problem. We also construct a Generelized Shiryaev-Roberts statistic, which can be used for applications. The paper is supplemented by two examples, one of which is further used to analyze Polish life tables (after proper calibration) and detect the drift change in the correlated force of mortality of men and women jointly.


title: Switching a polar metal via strain gradients

abstract: Although rare, spontaneous breakdown of inversion symmetry sometimes occurs in a material which is metallic: these are commonly known as polar metals or ferroelectric metals. Their 'polarization', however, cannot be switched via an electric field, which limits the experimental control over band topology. Here we shall investigate, via first-principles theory, flexoelectricity as a possible way around this obstacle with the well known polar metal LiOsO$_3$. The flexocoupling coefficients are computed for this metal with high accuracy with a completely new approach based on real-space sums of the inter-atomic force constants. A Landau-Ginzburg-Devonshire-type first-principles Hamiltonian is built and a critical bending radius to switch the material is estimated, whose order of magnitude is comparable to that of BaTiO$_3$.


title: Whole-Body Human Pose Estimation in the Wild

abstract: This paper investigates the task of 2D human whole-body pose estimation, which aims to localize dense landmarks on the entire human body including face, hands, body, and feet. As existing datasets do not have whole-body annotations, previous methods have to assemble different deep models trained independently on different datasets of the human face, hand, and body, struggling with dataset biases and large model complexity. To fill in this blank, we introduce COCO-WholeBody which extends COCO dataset with whole-body annotations. To our best knowledge, it is the first benchmark that has manual annotations on the entire human body, including 133 dense landmarks with 68 on the face, 42 on hands and 23 on the body and feet. A single-network model, named ZoomNet, is devised to take into account the hierarchical structure of the full human body to solve the scale variation of different body parts of the same person. ZoomNet is able to significantly outperform existing methods on the proposed COCO-WholeBody dataset. Extensive experiments show that COCO-WholeBody not only can be used to train deep models from scratch for whole-body pose estimation but also can serve as a powerful pre-training dataset for many different tasks such as facial landmark detection and hand keypoint estimation. The dataset is publicly available at https://github.com/jin-s13/COCO-WholeBody.


title: Polynomial Null Solutions to Bosonic Laplacians, Bosonic Bergman and Hardy Spaces

abstract: A bosonic Laplacian, which is a generalization of Laplacian, is constructed as a second order conformally invariant differential operator acting on functions taking values in irreducible representations of the special orthogonal group, hence of the spin group. In this paper, we firstly introduce some properties for homogeneous polynomial null solutions to bosonic Laplacians, which give us some important results, such as an orthogonal decomposition of the space of polynomials in terms of homogeneous polynomial null solutions to bosonic Laplacians, etc. This work helps us to introduce Bergman spaces related to bosonic Laplacians, named as bosonic Bergman spaces, in higher spin spaces. Reproducing kernels for bosonic Bergman spaces in the unit ball and a description of bosonic Bergman projection are given as well. At the end, we investigate bosonic Hardy spaces, which are considered as generalizations of harmonic Hardy spaces. Analogs of some well known results for harmonic Hardy spaces are provided here. For instance, connections to certain complex Borel measure spaces, growth estimates for functions in the bosonic Hardy spaces, etc.


title: Protein-like dynamical transition of hydrated polymer chains

abstract: Combining elastic incoherent neutron scattering experiments at different resolutions with molecular dynamics simulations, we report the observation of a protein-like dynamical transition in linear chains of Poly(N-isopropylacrylamide). We identify the onset of the transition at a temperature $T_d$ of about 225~K. Thanks to a novel global fit procedure, we find quantitative agreement between measured and calculated polymer mean-squared displacements at all temperatures and time resolutions. Our results confirm the generality of the dynamical transition in macromolecular systems in aqueous environments, independently of the internal polymer topology.


title: Discrepancy Properties and Conjugacy Classes of Interval Exchange Transformations

abstract: Interval exchange transformations are typically uniquely ergodic maps and therefore have uniformly distributed orbits. Their degree of uniformity can be measured in terms of the star-discrepancy. Few examples of interval exchange transformations with low-discrepancy orbits are known so far and only for $n=2,3$ intervals, there are criteria to completely characterize those interval exchange transformations. In this paper, it is shown that having low-discrepancy orbits is a conjugacy class invariant under composition of maps. To a certain extent, this approach allows us to distinguish interval exchange transformations with low-discrepancy orbits from those without. For $n=4$ intervals, the classification is almost complete with the only exceptional case having monodromy invariant $\rho = (4,3,2,1)$. This particular monodromy invariant is discussed in detail.


title: One MAX phase, different MXenes: a guideline to understand the crucial role of etching conditions on Ti$_3$C$_2$T$_x$ surface chemistry

abstract: MXenes are a new, and growing, family of 2D materials with very promising properties for a wide variety of applications. Obtained from the etching of MAX phases, numerous properties can be targeted thanks to the chemical richness of the precursors. Herein, we highlight how etching agents govern surface chemistries of Ti$_3$C$_2$T$_x$, the most widely studied MXene to date. By combining characterization tools such as X-ray diffraction, X-ray photoelectron, Raman and electron energy loss spectroscopies, scanning and transmission electron microscopies and a surface sensitive electrochemical reaction-the hydrogen evolution reaction, HER-we clearly demonstrate that the etching agent (HF, LiF/HCl or FeF$_3$/HCl) strongly modifies the nature of surface terminal groups (F, OH and/or O), oxidation sensitivity, delamination ability, nature of the inserted species, interstratification, concentration of defects and size of flakes. Beyond showing how using these different characterization tools to analyze MXenes, this work highlights that the MXene synthesis routes can influence targeted applications.


title: Plane augmentation of plane graphs to meet parity constraints

abstract: A plane topological graph $G=(V,E)$ is a graph drawn in the plane whose vertices are points in the plane and whose edges are simple curves that do not intersect, except at their endpoints. Given a plane topological graph $G=(V,E)$ and a set $C_G$ of parity constraints, in which every vertex has assigned a parity constraint on its degree, either even or odd, we say that $G$ is \emph{topologically augmentable} to meet $C_G$ if there exits a plane topological graph $H$ on the same set of vertices, such that $G$ and $H$ are edge-disjoint and their union is a plane topological graph that meets all parity constraints. In this paper, we prove that the problem of deciding if a plane topological graph is topologically augmentable to meet parity constraints is $\mathcal{NP}$-complete, even if the set of vertices that must change their parities is $V$ or the set of vertices with odd degree. In particular, deciding if a plane topological graph can be augmented to a Eulerian plane topological graph is $\mathcal{NP}$-complete. Analogous complexity results are obtained, when the augmentation must be done by a plane topological perfect matching between the vertices not meeting their parities. We extend these hardness results to planar graphs, when the augmented graph must be planar, and to plane geometric graphs (plane topological graphs whose edges are straight-line segments). In addition, when it is required that the augmentation is made by a plane geometric perfect matching between the vertices not meeting their parities, we also prove that this augmentation problem is $\mathcal{NP}$-complete for plane geometric trees and paths. For the particular family of maximal outerplane graphs, we characterize maximal outerplane graphs that are topological augmentable to satisfy a set of parity constraints.


title: Differentiable Hierarchical Graph Grouping for Multi-Person Pose Estimation

abstract: Multi-person pose estimation is challenging because it localizes body keypoints for multiple persons simultaneously. Previous methods can be divided into two streams, i.e. top-down and bottom-up methods. The top-down methods localize keypoints after human detection, while the bottom-up methods localize keypoints directly and then cluster/group them for different persons, which are generally more efficient than top-down methods. However, in existing bottom-up methods, the keypoint grouping is usually solved independently from keypoint detection, making them not end-to-end trainable and have sub-optimal performance. In this paper, we investigate a new perspective of human part grouping and reformulate it as a graph clustering task. Especially, we propose a novel differentiable Hierarchical Graph Grouping (HGG) method to learn the graph grouping in bottom-up multi-person pose estimation task. Moreover, HGG is easily embedded into main-stream bottom-up methods. It takes human keypoint candidates as graph nodes and clusters keypoints in a multi-layer graph neural network model. The modules of HGG can be trained end-to-end with the keypoint detection network and is able to supervise the grouping process in a hierarchical manner. To improve the discrimination of the clustering, we add a set of edge discriminators and macro-node discriminators. Extensive experiments on both COCO and OCHuman datasets demonstrate that the proposed method improves the performance of bottom-up pose estimation methods.


title: AI4D -- African Language Dataset Challenge

abstract: As language and speech technologies become more advanced, the lack of fundamental digital resources for African languages, such as data, spell checkers and Part of Speech taggers, means that the digital divide between these languages and others keeps growing. This work details the organisation of the AI4D - African Language Dataset Challenge, an effort to incentivize the creation, organization and discovery of African language datasets through a competitive challenge. We particularly encouraged the submission of annotated datasets which can be used for training task-specific supervised machine learning models.


title: Reliable Label Bootstrapping for Semi-Supervised Learning

abstract: Reducing the amount of labels required to train convolutional neural networks without performance degradation is key to effectively reduce human annotation efforts. We propose Reliable Label Bootstrapping (ReLaB), an unsupervised preprossessing algorithm which improves the performance of semi-supervised algorithms in extremely low supervision settings. Given a dataset with few labeled samples, we first learn meaningful self-supervised, latent features for the data. Second, a label propagation algorithm propagates the known labels on the unsupervised features, effectively labeling the full dataset in an automatic fashion. Third, we select a subset of correctly labeled (reliable) samples using a label noise detection algorithm. Finally, we train a semi-supervised algorithm on the extended subset. We show that the selection of the network architecture and the self-supervised algorithm are important factors to achieve successful label propagation and demonstrate that ReLaB substantially improves semi-supervised learning in scenarios of very limited supervision on CIFAR-10, CIFAR-100 and mini-ImageNet. We reach average error rates of $\boldsymbol{22.34}$ with 1 random labeled sample per class on CIFAR-10 and lower this error to $\boldsymbol{8.46}$ when the labeled sample in each class is highly representative. Our work is fully reproducible: https://github.com/PaulAlbert31/ReLaB.


title: Free-energy landscape of polymer-crystal polymorphism

abstract: Polymorphism rationalizes how processing can control the final structure of a material. The rugged free-energy landscape and exceedingly slow kinetics in the solid state have so far hampered computational investigations. We report for the first time the free-energy landscape of a polymorphic crystalline polymer, syndiotactic polystyrene. Coarse-grained metadynamics simulations allow us to efficiently sample the landscape at large. The free-energy difference between the two main polymorphs, $\alpha$ and $\beta$, is further investigated by quantum-chemical calculations. The two methods are in line with experimental observations: they predict $\beta$ as the more stable polymorph at standard conditions. Critically, the free-energy landscape suggests how the $\alpha$ polymorph may lead to experimentally observed kinetic traps. The combination of multiscale modeling, enhanced sampling, and quantum-chemical calculations offers an appealing strategy to uncover complex free-energy landscapes with polymorphic behavior.


title: Two-way Greedy: Algorithms for Imperfect Rationality

abstract: The realization that selfish interests need to be accounted for in the design of algorithms has produced many contributions in computer science under the umbrella of algorithmic mechanism design. Novel algorithmic properties and paradigms have been identified and studied. Our work stems from the observation that selfishness is different from rationality; agents will attempt to strategize whenever they perceive it to be convenient according to their imperfect rationality. Recent work has focused on a particular notion of imperfect rationality, namely absence of contingent reasoning skills, and defined obvious strategyproofness (OSP) as a way to deal with the selfishness of these agents. Essentially, this definition states that to care for the incentives of these agents, we need not only pay attention about the relationship between input and output, but also about the way the algorithm is run. However, it is not clear what algorithmic approaches must be used for OSP. In this paper, we show that, for binary allocation problems, OSP is fully captured by a combination of two well-known algorithmic techniques: forward and reverse greedy. We call two-way greedy this algorithmic design paradigm. Our main technical contribution establishes the connection between OSP and two-way greedy. We build upon the recently introduced cycle monotonicity technique for OSP. By means of novel structural properties of cycles and queries of OSP mechanisms, we fully characterize these mechanisms in terms of extremal implementations. These are protocols that ask each agent to consistently separate one extreme of their domain at the current history from the rest. Through the connection with the greedy paradigm, we are able to import a host of approximation bounds to OSP and strengthen the strategic properties of this family of algorithms. Finally, we begin exploring the power of two-way greedy for set systems.


title: An Experimental mmWave Channel Model for UAV-to-UAV Communications

abstract: Unmanned Aerial Vehicle (UAV) networks can provide a resilient communication infrastructure to enhance terrestrial networks in case of traffic spikes or disaster scenarios. However, to be able to do so, they need to be based on high-bandwidth wireless technologies for both radio access and backhaul. With this respect, the millimeter wave (mmWave) spectrum represents an enticing solution, since it provides large chunks of untapped spectrum that can enable ultra-high data-rates for aerial platforms. Aerial mmWave channels, however, experience characteristics that are significantly different from terrestrial deployments in the same frequency bands. As of today, mmWave aerial channels have not been extensively studied and modeled. Specifically, the combination of UAV micro-mobility (because of imprecisions in the control loop, and external factors including wind) and the highly directional mmWave transmissions require ad hoc models to accurately capture the performance of UAV deployments. To fill this gap, we propose an empirical propagation loss model for UAV-to-UAV communications at 60 GHz, based on an extensive aerial measurement campaign conducted with the Facebook Terragraph channel sounders. We compare it with 3GPP channel models and make the measurement dataset publicly available.


title: Delay and reliability-constrained VNF placement on mobile and volatile 5G infrastructure

abstract: The ongoing research and industrial exploitation of SDN and NFV technologies promise higher flexibility on network automation and infrastructure optimization. Choosing the location of Virtual Network Functions is a central problem in the automation and optimization of the software-defined, virtualization-based next generation of networks such as 5G and beyond. Network services provided for autonomous vehicles, factory automation, e-health and cloud robotics often require strict delay bounds and reliability constraints, which are influenced by the location of its composing Virtual Network Functions. Robots, vehicles and other end-devices provide significant capabilities such as actuators, sensors and local computation which are essential for some services. Moreover, these devices are continuously on the move and might lose network connection or run out of battery power, which further challenge service delivery in this dynamic environment. This work tackles the mobility, and battery restrictions; as well as the temporal aspects and conflicting traits of reliable, low latency service deployment over a volatile network, where mobile compute nodes act as an extension of the cloud and edge computing infrastructure. The problem is formulated as a cost-minimizing Virtual Network Function placement optimization and an efficient heuristic is proposed. The algorithms are extensively evaluated from various aspects by simulation on detailed real-world scenarios.


title: Weighted operator-valued function spaces applied to the stability of delay systems

abstract: This paper extends the theory of Zen spaces (weighted Hardy/Berg\-man spaces on the right-hand half-plane) to the Hilbert-space valued case, and describes the multipliers on them; it is shown that the methods of $H^\infty$ control can therefore be extended to a family of weighted $L^2$ input and output spaces. Next, the particular case of retarded delay systems with operator-valued transfer functions is analysed, and the dependence of $H^\infty$ structure on the delay is determined by developing an extension of the Walton--Marshall technique used in the scalar case. The method is illustrated with examples.


title: On the Lefschetz standard conjecture for Lagrangian covered hyper-K\"ahler varieties

abstract: We investigate the Lefschetz standard conjecture for degree $2$ cohomology of hyper-K\"ahler manifolds admitting a covering by Lagrangian subvarieties. In the case of a Lagrangian fibration, we show that the Lefschetz standard conjecture is implied by the SYZ conjecture characterizing classes of divisors associated with Lagrangian fibration. In dimension $4$, we consider the more general case of a Lagrangian covered fourfold $X$, and prove the Lefschetz standard conjecture in degree $2$, assuming $\rho(X)=1$ and $X$ is general in moduli. Finally we discuss various links between Lefschetz cycles and the study of the rational equivalence of points and Bloch-Beilinson type filtrations, giving a general interpretation of a recent intriguing result of Marian and Zhao.


title: Note on relations among multiple zeta(-star) values II

abstract: I obtain new evaluations of special values of multiple polylogarithms by using a limiting case of a basic hypergeometric identity of G. E. Andrews.


title: Far-infrared star-formation rates of six GRB host galaxies with ALMA

abstract: Gamma-Ray Bursts (GRBs) can be a promising tracer of cosmic star-formation rate history (CSFRH). In order to reveal the CSFRH using GRBs, it is important to understand whether they are biased tracers or not. For this purpose, it is crucial to understand properties of GRB host galaxies, in comparison to field galaxies. In this work, we report ALMA far-infrared (FIR) observations of six $z\sim2$ IR-bright GRB host galaxies, which are selected for the brightness in IR. Among them, four host galaxies are detected for the first time in the rest-frame FIR. In addition to the ALMA data, we collected multi-wavelength data from previous studies for the six GRB host galaxies. Spectral energy distribution (SED) fitting analyses were performed with \texttt{CIGALE} to investigate physical properties of the host galaxies, and to test whether active galactic nucleus (AGN) and radio components are required or not. Our results indicate that the best-fit templates of five GRB host galaxies do not require an AGN component, suggesting the absence of AGNs. One GRB host galaxy, 080207, shows a very small AGN contribution. While derived stellar masses of the three host galaxies are mostly consistent with those in previous studies, interestingly the value of star-formation rates (SFRs) of all six GRB hosts are inconsistent with previous studies. Our results indicate the importance of rest-frame FIR observations to correctly estimate SFRs by covering thermal emission from cold dust heated by star formation.


title: From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics

abstract: We extend to natural deduction the approach of Linear Nested Sequents and of 2-sequents. Formulas are decorated with a spatial coordinate, which allows a formulation of formal systems in the original spirit of natural deduction -- only one introduction and one elimination rule per connective, no additional (structural) rule, no explicit reference to the accessibility relation of the intended Kripke models. We give systems for the normal modal logics from K to S4. For the intuitionistic versions of the systems, we define proof reduction, and prove proof normalization, thus obtaining a syntactical proof of consistency. For logics K and K4 we use existence predicates (following Scott) for formulating sound deduction rules.


title: Real-time CNN-based Segmentation Architecture for Ball Detection in a Single View Setup

abstract: This paper considers the task of detecting the ball from a single viewpoint in the challenging but common case where the ball interacts frequently with players while being poorly contrasted with respect to the background. We propose a novel approach by formulating the problem as a segmentation task solved by an efficient CNN architecture. To take advantage of the ball dynamics, the network is fed with a pair of consecutive images. Our inference model can run in real time without the delay induced by a temporal analysis. We also show that test-time data augmentation allows for a significant increase the detection accuracy. As an additional contribution, we publicly release the dataset on which this work is based.


title: Proposal for a Comprehensive (Crypto) Asset Taxonomy

abstract: Developments in the distributed ledger technology have led to new types of assets with a broad range of purposes. Although some classification frameworks for common instruments from traditional finance and some for these new, so called cryptographic assets already exist and are used, a holistic approach to integrate both worlds is missing. The present paper fills this research gap by identifying 14 attributes, each of which is assigned different characteristics, that can be used to classify all types of assets in a structured manner. Our proposed taxonomy which is an extension of existing classification frameworks, summarises these findings in a morphological box and is tested for practicability by classifying exemplary assets like cash and bitcoin. The final classification framework can help to ensure that the various stakeholders, such as investors or supervisors, have a consistent view of the different types of assets, and in particular of their characteristics, and also helps to establish standardised terminology.


title: Globally bounded trajectories for the barotropic Navier-Stokes system with general boundary conditions

abstract: We consider the barotropic Navier--Stokes system describing the motion of a viscous compressible fluid interacting with the outer world through general in/out flux boundary conditions. We consider a hard--sphere type pressure EOS and show that all trajectories eventually enter a bounded absorbing set. In particular, the associated omega-limit sets are compact and support a stationary statistical solution.


title: N-nH complexes in GaAs studied at the atomic scale by cross-sectional scanning tunneling microscopy

abstract: Hydrogenation of nitrogen (N) doped GaAs allows for reversible tuning of the bandgap and the creation of site controlled quantum dots through the manipulation of N-nH complexes, N-nH complexes, wherein a nitrogen atom is surrounded by n hydrogen (H) atoms. Here we employ cross-sectional scanning tunneling microscopy (X-STM) to study these complexes in the GaAs (110) surface at the atomic scale. In addition to that we performed density functional theory (DFT) calculations to determine the atomic properties of the N-nH complexes. We argue that at or near the (110) GaAs surface two H atoms from N-nH complexes dissociate as an H$_2$ molecule. We observe multiple features related to the hydrogenation process, of which a subset is classified as N-1H complexes. These N-1H related features show an apparent reduction of the local density of states (LDOS), characteristic to N atoms in the GaAs (110) surface with an additional apparent localized enhancement of the LDOS located in one of three crystal directions. N-nH features can be manipulated with the STM tip. Showing in one case a switching behavior between two mirror-symmetric states and in another case a removal of the localized enhancement of the LDOS. The disappearance of the bright contrast is most likely a signature of the removal of an H atom from the N-nH complex.


title: Challenging common bolus advisor for self-monitoring type-I diabetes patients using Reinforcement Learning

abstract: Patients with diabetes who are self-monitoring have to decide right before each meal how much insulin they should take. A standard bolus advisor exists, but has never actually been proven to be optimal in any sense. We challenged this rule applying Reinforcement Learning techniques on data simulated with T1DM, an FDA-approved simulator developed by Kovatchev et al. modeling the gluco-insulin interaction. Results show that the optimal bolus rule is fairly different from the standard bolus advisor, and if followed can actually avoid hypoglycemia episodes.


title: Reachability Queries with Label and Substructure Constraints on Knowledge Graphs

abstract: Since knowledge graphs (KGs) describe and model the relationships between entities and concepts in the real world, reasoning on KGs often correspond to the reachability queries with label and substructure constraints (LSCR). Specially, for a search path p, LSCR queries not only require that the labels of the edges passed by p are in a certain label set, but also claim that a vertex in p could satisfy a certain substructure constraint. LSCR queries is much more complex than the label-constraint reachability (LCR) queries, and there is no efficient solution for LSCR queries on KGs, to the best of our knowledge. Motivated by this, we introduce two solutions for such queries on KGs, UIS and INS. The former can also be utilized for general edge-labeled graphs, and is relatively handy for practical implementation. The latter is an efficient local-index-based informed search strategy. An extensive experimental evaluation, on both synthetic and real KGs, illustrates that our solutions can efficiently process LSCR queries on KGs.


title: Deep Spatial-angular Regularization for Compressive Light Field Reconstruction over Coded Apertures

abstract: Coded aperture is a promising approach for capturing the 4-D light field (LF), in which the 4-D data are compressively modulated into 2-D coded measurements that are further decoded by reconstruction algorithms. The bottleneck lies in the reconstruction algorithms, resulting in rather limited reconstruction quality. To tackle this challenge, we propose a novel learning-based framework for the reconstruction of high-quality LFs from acquisitions via learned coded apertures. The proposed method incorporates the measurement observation into the deep learning framework elegantly to avoid relying entirely on data-driven priors for LF reconstruction. Specifically, we first formulate the compressive LF reconstruction as an inverse problem with an implicit regularization term. Then, we construct the regularization term with an efficient deep spatial-angular convolutional sub-network to comprehensively explore the signal distribution free from the limited representation ability and inefficiency of deterministic mathematical modeling. Experimental results show that the reconstructed LFs not only achieve much higher PSNR/SSIM but also preserve the LF parallax structure better, compared with state-of-the-art methods on both real and synthetic LF benchmarks. In addition, experiments show that our method is efficient and robust to noise, which is an essential advantage for a real camera system. The code is publicly available at \url{https://github.com/angmt2008/LFCA}


title: Nonlinear diffusion in the Keller-Segel model of parabolic-parabolic type

abstract: In this paper we study the initial boundary value problem for the system $u_t-\Delta u^m=-\mbox{div}(u^{q}\nabla v),\ v_t-\Delta v+v=u$. This problem is the so-called Keller-Segel model with nonlinear diffusion. Our investigation reveals that nonlinear diffusion can prevent overcrowding. To be precise, we show that solutions are bounded as long as $m>q>0$, thereby substantially generalizing the known results in this area. Furthermore, our result seems to imply that the Keller-Segel model can have bounded solutions and blow-up ones simultaneously.


title: Quantum Secrecy in Thermal States III

abstract: In this paper we expanded the security of a central broadcast protocol using thermal states to the case in which the eavesdropper controls the source. Quantum secrecy in a continuous variable central broadcast scheme is guaranteed by the quantum correlations present in thermal states arising from the Hanbury Brown and Twiss effect. This work allows for a method of key exchange in which two parties can agree a key as long as both can detect the same source and they are within the spatial coherence length of the source. This is important because it allows quantum secure key exchange with only minimal changes to existing infrastructure.