title: Multi-Agent Task Allocation in Complementary Teams: A Hunter and Gatherer Approach

abstract: Consider a dynamic task allocation problem, where tasks are unknowingly distributed over an environment. This paper considers each task comprised of two sequential subtasks: detection and completion, where each subtask can only be carried out by a certain type of agent. We address this problem using a novel nature-inspired approach called "hunter and gatherer". The proposed method employs two complementary teams of agents: one agile in detecting (hunters) and another skillful in completing (gatherers) the tasks. To minimize the collective cost of task accomplishments in a distributed manner, a game-theoretic solution is introduced to couple agents from complementary teams. We utilize market-based negotiation models to develop incentive-based decision-making algorithms relying on innovative notions of "certainty and uncertainty profit margins". The simulation results demonstrate that employing two complementary teams of hunters and gatherers can effectually improve the number of tasks completed by agents compared to conventional methods, while the collective cost of accomplishments is minimized. In addition, the stability and efficacy of the proposed solutions are studied using Nash equilibrium analysis and statistical analysis respectively. It is also numerically shown that the proposed solutions function fairly, i.e. for each type of agent, the overall workload is distributed equally.


title: Do the TRAPPIST-1 Planets Have Hydrogen-rich Atmospheres?

abstract: Recently, transmission spectroscopy in the atmospheres of the TRAPPIST-1 planets revealed flat and featureless absorption spectra, which rule out cloud-free hydrogen-dominated atmospheres. Earth-sized planets orbiting TRAPPIST-1 likely have either a clear or a cloudy/hazy hydrogen-poor atmosphere. In this paper, we investigate whether a proposed formation scenario is consistent with expected atmospheric compositions of the TRAPPIST-1 planets. We examine the amount of a hydrogen-rich gas that TRAPPIST-1-like planets accreted from the ambient disk until disk dispersal. Since TRAPPIST-1 planets are trapped into a resonant chain, we simulate disk gas accretion onto a migrating TRAPPIST-1-like planet. We find that the amount of an accreted hydrogen-rich gas is as small as 10$^{-2}$ wt% and 0.1 wt% for TRAPPIST-1b and 1c, 10$^{-2}$ wt% for 1d, 1 wt% for 1e, a few wt% for 1f and 1g and 1 wt% for 1h, respectively. We also calculate a long-term thermal evolution of TRAPPIST-1-like planets after disk dissipation and estimate the mass loss of their hydrogen-rich atmospheres driven by a stellar X-ray and UV irradiation. We find that all the accreted hydrogen-rich atmospheres can be lost via hydrodynamic escape. Therefore, we conclude that TRAPPIST-1 planets should have no primordial hydrogen-rich gases but secondary atmospheres such as a Venus-like one and water vapor, if they currently retain atmospheres.


title: New insight into the diffusion of hydrogen and helium atoms in tungsten

abstract: Based on the in-detail tracking of the movements of atoms in a large number of molecular dynamics simulation boxes, we find that the diffusion of H and He atoms in single-crystal W is composed of non-Markovian jumps. The waiting time distribution of the triggering of jumps is not the usually recognized exponential distribution, but a temperature-dependent power-law distribution. The power-law distribution of the waiting time may lead to clear ergodicity-breaking diffusion, a phenomenon that has formerly been reported to only occur in complex systems such as living biological cells or soft matter. The present finding provides an insightful new view for the analysis and simulation of the puzzling H/He behaviors in W that are observed in experiments. Our findings will inspire reconsiderations on how to bridge the multiscale theoretical predictions with experimental observations, not only for H/He in W but also for H/He in other materials.


title: Study Of The Process $E^+E^-\To K_s^0 K_s^0 \Pi^+\Pi^-$ In The C.M. Energy Range 1.6--2.0 Gev With The Cmd-3 Detector

abstract: The cross section of the process $e^+e^- \to K_S^0 K_S^0\pi^+\pi^-$ has been measured using a data sample of 56.7 pb$^{-1}$ collected with the CMD-3 detector at the VEPP-2000 $e^+e^-$ collider. 596$\pm$27 and 210$\pm$18 signal events have been selected with six and five detected tracks, respectively, in the center-of-mass energy range 1.6--2.0 GeV. A study of the production dynamics confirms the dominance of the $K^*(892)^+ K^*(892)^-$ intermediate state.


title: The Use of Deep Learning for Symbolic Integration: A Review of (Lample and Charton, 2019)

abstract: Lample and Charton (2019) describe a system that uses deep learning technology to compute symbolic, indefinite integrals, and to find symbolic solutions to first- and second-order ordinary differential equations, when the solutions are elementary functions. They found that, over a particular test set, the system could find solutions more successfully than sophisticated packages for symbolic mathematics such as Mathematica run with a long time-out. This is an impressive accomplishment, as far as it goes. However, the system can handle only a quite limited subset of the problems that Mathematica deals with, and the test set has significant built-in biases. Therefore the claim that this outperforms Mathematica on symbolic integration needs to be very much qualified.


title: Pathway-Activity Likelihood Analysis and Metabolite Annotation for Untargeted Metabolomics using Probabilistic Modeling

abstract: Motivation: Untargeted metabolomics comprehensively characterizes small molecules and elucidates activities of biochemical pathways within a biological sample. Despite computational advances, interpreting collected measurements and determining their biological role remains a challenge. Results: To interpret measurements, we present an inference-based approach, termed Probabilistic modeling for Untargeted Metabolomics Analysis (PUMA). Our approach captures measurements and known information about the sample under study in a generative model and uses stochastic sampling to compute posterior probability distributions. PUMA predicts the likelihood of pathways being active, and then derives a probabilistic annotation, which assigns chemical identities to the measurements. PUMA is validated on synthetic datasets. When applied to test cases, the resulting pathway activities are biologically meaningful and distinctly different from those obtained using statistical pathway enrichment techniques. Annotation results are in agreement to those obtained using other tools that utilize additional information in the form of spectral signatures. Importantly, PUMA annotates many additional measurements.


title: Fast and simple quantum state estimation

abstract: We present an iterative method to solve the multipartite quantum state estimation problem. We demonstrate convergence for any informationally complete set of generalized quantum measurements in every finite dimension. Our method exhibits fast convergence in high dimension and strong robustness under the presence of realistic errors both in state preparation and measurement stages. In particular, for mutually unbiased bases and tensor product of generalized Pauli observables it converges in a single iteration. We show outperformance of our algorithm with respect to the state-of-the-art of maximum likelihood estimation methods both in runtime and fidelity of the reconstructed states.


title: Experimental observation the Einstein-Podolsky-Rosen Steering based on the detection of entanglement

abstract: The Einstein-Podolsky-Rosen (EPR) steering is an intermediate quantum nonlocality between entanglement and Bell nonlocality, which plays an important role in quantum information processing tasks. In the past few years, the investigations concerning EPR steering have been demonstrated in a series of experiments. However, these studies rely on the relevant steering inequalities and the choices of measurement settings. Here, we experimentally verify the EPR steering via entanglement detection without using any steering inequality and measurement setting. By constructing two new states from a two-qubit target state, we observe the EPR steering by detecting the entanglement of these new states. The results show that the entanglement of the newly constructed states can be regarded as a new kind of steering witness for target states. Compared to the results of Xiao et al. [Phys. Rev. Lett. 118, 140404 (2017)], we find that the ability of detecting EPR steering in our scenario is stronger than two-setting projective measurements, which can observe more steerable states. Hence, our demonstrations can deepen the understanding of the connection between the EPR steering and entanglement.


title: Properties of exotic nuclei and their linkage to the nucleonic interaction

abstract: The structure of exotic nuclei sheds new light on the linkage of the nuclear structure to the nucleonic interaction. The self-consistent mean-field (SCMF) theories are useful to investigate this linkage, which are applicable to many nuclei covering almost the whole range of the nuclear chart without artificial truncation of model space. For this purpose, it is desired to develop effective interaction for the SCMF calculations well connected to the bare nucleonic interaction. Focusing on ground-state properties, I show results of the SCMF calculations primarily with the M3Y-type semi-realistic interaction, M3Y-P6 and M3Y-P6a to be precise, and discuss in detail how the nucleonic interaction affects structure of nuclei including those far off the $\beta$-stability.


title: The $p$-curvature conjecture for the non-abelian Gauss-Manin connection

abstract: Originally conjectured unpublished by Grothendieck, then formulated precisely by Katz, the $p$-curvature conjecture is a local-global principle for algebraic differential equations. It is at present open, though various cases are known. Katz subsequently proved this conjecture in a wide range of cases, for differential equations corresponding to the Gauss-Manin connection on algebraic de Rham cohomology. This dissertation addresses the non-abelian analogue of Katz' theorem, in the sense of Simpson's non-abelian Hodge theory, surveyed by Simpson and later developed in characteristic $p$ by Ogus and Vologodsky. Specifically, there is a canonical non-abelian Gauss-Manin connection on $M_{dR}$, the stack of vector bundles with integrable connection, which is the appropriate definition of non-abelian de Rham cohomology. In this dissertation, I introduce this connection and its $p$-curvature; this requires the generalization of the $p$-curvature conjecture due to Bost, Ekedahl and Shepherd-Barron. Then, I prove that the analogue of the main technical result of Katz' theorem holds for this connection.


title: Estimating 3D Camera Pose from 2D Pedestrian Trajectories

abstract: We consider the task of re-calibrating the 3D pose of a static surveillance camera, whose pose may change due to external forces, such as birds, wind, falling objects or earthquakes. Conventionally, camera pose estimation can be solved with a PnP (Perspective-n-Point) method using 2D-to-3D feature correspondences, when 3D points are known. However, 3D point annotations are not always available or practical to obtain in real-world applications. We propose an alternative strategy for extracting 3D information to solve for camera pose by using pedestrian trajectories. We observe that 2D pedestrian trajectories indirectly contain useful 3D information that can be used for inferring camera pose. To leverage this information, we propose a data-driven approach by training a neural network (NN) regressor to model a direct mapping from 2D pedestrian trajectories projected on the image plane to 3D camera pose. We demonstrate that our regressor trained only on synthetic data can be directly applied to real data, thus eliminating the need to label any real data. We evaluate our method across six different scenes from the Town Centre Street and DUKEMTMC datasets. Our method achieves an improvement of $\sim50\%$ on both position and orientation prediction accuracy when compared to other SOTA methods.


title: GPRInvNet: Deep Learning-Based Ground Penetrating Radar Data Inversion for Tunnel Lining

abstract: A DNN architecture referred to as GPRInvNet was proposed to tackle the challenges of mapping the ground-penetrating radar (GPR) B-Scan data to complex permittivity maps of subsurface structures. The GPRInvNet consisted of a trace-to-trace encoder and a decoder. It was specially designed to take into account the characteristics of GPR inversion when faced with complex GPR B-Scan data, as well as addressing the spatial alignment issues between time-series B-Scan data and spatial permittivity maps. It displayed the ability to fuse features from several adjacent traces on the B-Scan data to enhance each trace, and then further condense the features of each trace separately. As a result, the sensitive zones on the permittivity maps spatially aligned to the enhanced trace could be reconstructed accurately. The GPRInvNet has been utilized to reconstruct the permittivity map of tunnel linings. A diverse range of dielectric models of tunnel linings containing complex defects has been reconstructed using GPRInvNet. The results have demonstrated that the GPRInvNet is capable of effectively reconstructing complex tunnel lining defects with clear boundaries. Comparative results with existing baseline methods also demonstrated the superiority of the GPRInvNet. For the purpose of generalizing the GPRInvNet to real GPR data, some background noise patches recorded from practical model testing were integrated into the synthetic GPR data to retrain the GPRInvNet. The model testing has been conducted for validation, and experimental results revealed that the GPRInvNet had also achieved satisfactory results with regard to the real data.


title: Quantum Fisher information and coherence of an atom in a dissipative cavity

abstract: In this work, we investigate quantum Fisher information(QFI) and quantum coherence(QC) of an atom in dissipative cavity. In zero temperature reservior and with one excitation number, we obtain the analytical solutions of QFI and QC as well as their relationship for Ohmic and Lorentzian reservoir, respectively. The results show that both of the atom-cavity coupling and the cavity-reservoir coupling can effectively protect QFI and QC. Especially, QFI and QC will tend to their stable values when the atom-cavity coupling or the cavity-reservoir coupling is larger than a certain value. QC can augment QFI and can effectively improve the quantum metrology. In addition, we give a physical explanation of the dynamic behavior of QFI and QC by using the decoherence rate.


title: Results of the MAJORANA DEMONSTRATOR's Search for Double-Beta Decay of $^{76}$Ge to Excited States of $^{76}$Se

abstract: The MAJORANA DEMONSTRATOR is searching for double-beta decay of $^{76}$Ge to excited states (E.S.) in $^{76}$Se using a modular array of high purity Germanium detectors. $^{76}$Ge can decay into three E.S.s of $^{76}$Se. The E.S. decays have a clear event signature consisting of a $\beta\beta$-decay with the prompt emission of one or two $\gamma$-rays, resulting in with high probability in a multi-site event. The granularity of the DEMONSTRATOR detector array enables powerful discrimination of this event signature from backgrounds. Using 21.3 kg-y of isotopic exposure, the DEMONSTRATOR has set world leading limits for each E.S. decay, with 90% CL lower half-life limits in the range of $(0.56-2.1)\cdot10^{24}$ y. In particular, for the $2\nu$ transition to the first $0^+$ E.S. of $^{76}$Se, a lower half-life limit of $0.68\cdot10^{24}$ at 90% CL was achieved.


title: A systematic study of the advection-dominated accretion flow for the origin of the X-ray emission in weakly magnetized low-level accreting neutron star

abstract: Observationally, the X-ray spectrum ($0.5-10$ keV) of low-level accreting neutron stars (NSs) can generally be well fitted by the model with two components, i.e, a thermal soft X-ray component plus a power-law component. Meanwhile, the fractional contribution of the power-law luminosity $\eta$ ($\eta\equiv L^{\rm power\ law}_{\rm 0.5-10\rm keV}/L_{\rm 0.5-10\rm keV}$) varies with the X-ray luminosity $L_{\rm 0.5-10\rm keV}$. In this paper, we systematically investigate the origin of such X-ray emission within the framework of the advection-dominated accretion flow (ADAF) around a weakly magnetized NS, in which the thermal soft X-ray component arises from the surface of the NS and the power-law component arises from the ADAF itself. We test the effects of the viscosity parameter $\alpha$ in the ADAF and thermalized parameter $f_{\rm th}$ (describing the fraction of the ADAF energy released at the surface of the NS as thermal emission) on the relation of $\eta$ versus $L_{\rm 0.5-10\rm keV}$. It is found that $\eta$ is nearly a constant ($\sim$ zero) with $L_{\rm 0.5-10\rm keV}$ for different $\alpha$ with $f_{\rm th}=1$, which is inconsistent with observations. Meanwhile, it is found that a change of $f_{\rm th}$ can significantly change the relation of $\eta$ versus $L_{\rm 0.5-10\rm keV}$. By comparing with a sample of non-pulsating NS-LMXBs probably dominated by low-level accretion onto NSs, it is found that a small value of $f_{\rm th} \lesssim 0.1$ is needed to match the observed range of $\eta \gtrsim 10\%$ in the diagram of $\eta$ versus $L_{\rm 0.5-10\rm keV}$. Finally, we argue that the small value of $f_{\rm th} \lesssim 0.1$ implies that the radiative efficiency of NSs with an ADAF accretion may not be as high as the predicted result previously of $\epsilon \sim {\dot M GM\over R_{*}}/{\dot M c^2}\sim 0.2$ despite the existence of the hard surface.


title: IterNet: Retinal Image Segmentation Utilizing Structural Redundancy in Vessel Networks

abstract: Retinal vessel segmentation is of great interest for diagnosis of retinal vascular diseases. To further improve the performance of vessel segmentation, we propose IterNet, a new model based on UNet, with the ability to find obscured details of the vessel from the segmented vessel image itself, rather than the raw input image. IterNet consists of multiple iterations of a mini-UNet, which can be 4$\times$ deeper than the common UNet. IterNet also adopts the weight-sharing and skip-connection features to facilitate training; therefore, even with such a large architecture, IterNet can still learn from merely 10$\sim$20 labeled images, without pre-training or any prior knowledge. IterNet achieves AUCs of 0.9816, 0.9851, and 0.9881 on three mainstream datasets, namely DRIVE, CHASE-DB1, and STARE, respectively, which currently are the best scores in the literature. The source code is available.


title: Multi-Messenger Connections among High-Energy Cosmic Particles

abstract: The origin of high-energy cosmic neutrinos is one of the biggest mysteries in astroparticle physics. The fact that diffuse intensities of high-energy neutrinos, ultrahigh-energy cosmic rays, and GeV-TeV gamma rays are all comparable suggests that these messengers are physically connected. The IceCube data above 100 TeV energies can be naturally explained by cosmic-ray reservoir models. In particular, starburst galaxies and galaxy clusters/groups serve as natural storage rooms of cosmic rays, and it has been theoretically predicted that these sources are promising sites of high-energy neutrinos and gamma rays that are produced via inelastic pp interactions. Indeed, the predictions made before the discovery of IceCube neutrinos are consistent with the current high-energy neutrino data measured in IceCube, and that they could give a grand-unified view of sub-PeV neutrinos, sub-TeV gamma rays, and ultrahigh-energy cosmic rays. These unified models have strong prediction powers, which can be tested by next-generation neutrino detectors such as IceCube-Gen2 as well as gamma-ray telescopes such as CTA. The recent observations have also shown that the 10-100 TeV diffuse neutrino flux is higher than that at PeV energies, which suggests that they come from a different class of neutrino sources. The detailed comparison with the diffuse isotropic gamma-ray background measured by Fermi has revealed that these medium-energy neutrinos are likely to come from hidden cosmic-ray accelerators, from which neutrinos can escape while GeV-TeV gamma rays are attenuated. The candidate source classes are choked gamma-ray burst jets and active galactic nuclei (AGN) cores. In particular, the AGN corona model predicts a unique connection between 10-100 TeV neutrinos and MeV gamma rays, which can be robustly tested with future MeV gamma-ray missions such as AMEGO.


title: CCCNet: An Attention Based Deep Learning Framework for Categorized Crowd Counting

abstract: Crowd counting problem that counts the number of people in an image has been extensively studied in recent years. In this paper, we introduce a new variant of crowd counting problem, namely "Categorized Crowd Counting", that counts the number of people sitting and standing in a given image. Categorized crowd counting has many real-world applications such as crowd monitoring, customer service, and resource management. The major challenges in categorized crowd counting come from high occlusion, perspective distortion and the seemingly identical upper body posture of sitting and standing persons. Existing density map based approaches perform well to approximate a large crowd, but lose important local information necessary for categorization. On the other hand, traditional detection-based approaches perform poorly in occluded environments, especially when the crowd size gets bigger. Hence, to solve the categorized crowd counting problem, we develop a novel attention-based deep learning framework that addresses the above limitations. In particular, our approach works in three phases: i) We first generate basic detection based sitting and standing density maps to capture the local information; ii) Then, we generate a crowd counting based density map as global counting feature; iii) Finally, we have a cross-branch segregating refinement phase that splits the crowd density map into final sitting and standing density maps using attention mechanism. Extensive experiments show the efficacy of our approach in solving the categorized crowd counting problem.


title: One Framework to Register Them All: PointNet Encoding for Point Cloud Alignment

abstract: PointNet has recently emerged as a popular representation for unstructured point cloud data, allowing application of deep learning to tasks such as object detection, segmentation and shape completion. However, recent works in literature have shown the sensitivity of the PointNet representation to pose misalignment. This paper presents a novel framework that uses PointNet encoding to align point clouds and perform registration for applications such as 3D reconstruction, tracking and pose estimation. We develop a framework that compares PointNet features of template and source point clouds to find the transformation that aligns them accurately. In doing so, we avoid computationally expensive correspondence finding steps, that are central to popular registration methods such as ICP and its variants. Depending on the prior information about the shape of the object formed by the point clouds, our framework can produce approaches that are shape specific or general to unseen shapes. Our framework produces approaches that are robust to noise and initial misalignment in data and work robustly with sparse as well as partial point clouds. We perform extensive simulation and real-world experiments to validate the efficacy of our approach and compare the performance with state-of-art approaches. Code is available at https://github.com/vinits5/pointnet-registrationframework.


title: Starlike And Convex Functions Associated with A Nephroid domain having Cusps On The Real Axis

abstract: In this paper, we show that the Carath\'{e}odory function $\varphi_{\scriptscriptstyle {Ne}}(z)=1+z-z^3/3$ maps the open unit disk $\mathbb{D}$ onto the interior of the nephroid, a $2$-cusped kidney-shaped curve, \begin{align*} \left((u-1)^2+v^2-\frac{4}{9}\right)^3-\frac{4 v^2}{3}=0, \end{align*} and introduce new Ma-Minda type function classes $\mathcal{S}^*_{Ne}$ and $\mathcal{C}_{Ne}$ associated with it. Apart from studying the characteristic properties of the region bounded by this nephroid, the structural formulas, extremal functions, growth and distortion results, inclusion results, coefficient bounds and Fekete-Szeg\"{o} problems are discussed for the classes $\mathcal{S}^*_{Ne}$ and $\mathcal{C}_{Ne}$. Moreover, for $\beta\in\mathbb{R}$ and some analytic function $p(z)$ satisfying $p(0)=1$, we prove certain subordination implications of the first order differential subordination $1+\beta\frac{zp'(z)}{p^j(z)}\prec\varphi_{\scriptscriptstyle {Ne}}(z),\,j=0,1,2,$ and obtain sufficient conditions for some geometrically defined function classes available in the literature.


title: On the Dedekind tessellation

abstract: The Dedekind tessellation -- the regular tessellation of the upper half-plane by the Mobius action of the modular group -- is usually viewed as a system of ideal triangles. We change the focus from triangles to circles and give their complete algebraic characterization with the help of a representation of the modular group acting by Lorentz transformations on Minkowski space. This interesting example of the interplay of geometry, group theory and number theory leads also to convenient algorithms for computer drawing of the Dedekind tessellation.


title: Testing Independence under Biased Sampling

abstract: Testing for association or dependence between pairs of random variables is a fundamental problem in statistics. In some applications, data are subject to selection bias that causes dependence between observations even when it is absent from the population. An important example is truncation models, in which observed pairs are restricted to a specific subset of the X-Y plane. Standard tests for independence are not suitable in such cases, and alternative tests that take the selection bias into account are required. To deal with this issue, we generalize the notion of quasi-independence with respect to the sampling mechanism, and study the problem of detecting any deviations from it. We develop two test statistics motivated by the classic Hoeffding's statistic, and use two approaches to compute their distribution under the null: (i) a bootstrap-based approach, and (ii) a permutation-test with non-uniform probability of permutations, sampled using either MCMC or importance sampling with various proposal distributions. We show that our tests can tackle cases where the biased sampling mechanism is estimated from the data, with an important application to the case of censoring with truncation. We prove the validity of the tests, and show, using simulations, that they perform well for important special cases of the problem and improve power compared to competing methods. The tests are applied to four datasets, two that are subject to truncation, with and without censoring, and two to positive bias mechanisms related to length bias.


title: Algorithmic Price Discrimination

abstract: We consider a generalization of the third degree price discrimination problem studied in Bergemann et al. (2015), where an intermediary between the buyer and the seller can design market segments to maximize any linear combination of consumer surplus and seller revenue. Unlike in Bergemann et al. (2015), we assume that the intermediary only has partial information about the buyer's value. We consider three different models of information, with increasing order of difficulty. In the first model, we assume that the intermediary's information allows him to construct a probability distribution of the buyer's value. Next we consider the sample complexity model, where we assume that the intermediary only sees samples from this distribution. Finally, we consider a bandit online learning model, where the intermediary can only observe past purchasing decisions of the buyer, rather than her exact value. For each of these models, we present algorithms to compute optimal or near optimal market segmentation.


title: Envisioning Device-to-Device Communications in 6G

abstract: To fulfill the requirements of various emerging applications, the future sixth generation (6G) mobile network is expected to be an innately intelligent, highly dynamic, ultradense heterogeneous network that interconnects all things with extremely low-latency and high speed data transmission. It is believed that artificial intelligence (AI) will be the most innovative technique that can achieve intelligent automated network operations, management and maintenance in future complex 6G networks. Driven by AI techniques, device-to-device (D2D) communication will be one of the pieces of the 6G jigsaw puzzle. To construct an efficient implementation of intelligent D2D in future 6G, we outline a number of potential D2D solutions associating with 6G in terms of mobile edge computing, network slicing, and Non-orthogonal multiple access (NOMA) cognitive Networking.


title: The Ramsey Number for Tree Versus Wheel with Odd Order

abstract: Chen et al. (2004) strongly conjectured that R(Tn,Wm)=2n-1 if the maximum degree of Tn is small and m is even. Related to the conjecture, it is interesting to know for which tree Tn, we have R(Tn,Wm) > 2n-1 for even m. In this paper, we find the Ramsey number R(Tn,W8) for tree Tn with the maximum degree of Tn is at least n-3, namely R(Tn,W8) > 2n-1 for almost all such tree Tn. We also prove that if the maximum degree of Tn is large, then R(Tn,Wm) is a function of both m and n. In the end, we refine the conjecture of Chen et al. by giving the condition of small maximum degree. For a tree Tn with large maximum degree and even m, the R(Tn,Wm) is also unknown in general. In this paper, we shall determine the Ramsey number R(Tn,W8) for all trees Tn of order n with the maximum degree of Tn is at least n-3.


title: Brexit Risk Implied by the SABR Martingale Defect in the EUR-GBP Smile

abstract: We construct a data-driven statistical indicator for quantifying the tail risk perceived by the EURGBP option market surrounding Brexit-related events. We show that under lognormal SABR dynamics this tail risk is closely related to the so-called martingale defect and provide a closed-form expression for this defect which can be computed by solving an inverse calibration problem. In order to cope with the the uncertainty which is inherent to this inverse problem, we adopt a Bayesian statistical parameter estimation perspective. We probe the resulting posterior densities with a combination of optimization and adaptive Markov chain Monte Carlo methods, thus providing a careful uncertainty estimation for all of the underlying parameters and the martingale defect indicator. Finally, to support the feasibility of the proposed method, we provide a Brexit "fever curve" for the year 2019.


title: Positive flow-spines and contact 3-manifolds

abstract: A flow-spine of a 3-manifold is a spine admitting a flow that is transverse to the spine, where the flow in the complement of the spine is diffeomorphic to a constant flow in an open ball. We say that a contact structure on a closed, connected, oriented 3-manifold is supported by a flow-spine if it has a contact form whose Reeb flow is a flow of the flow-spine. It is known by Thurston and Winkelnkemper that any open book decomposition of a closed oriented 3-manifold supports a contact structure. In this paper, we introduce a notion of positivity for flow-spines and prove that any positive flow-spine of a closed, connected, oriented 3-manifold supports a contact structure uniquely up to isotopy. The positivity condition is critical to the existence of the unique, supported contact structure, which is also proved in the paper.


title: On the Locating Chromatic Number of Trees

abstract: Some coloring algorithms gives an upper bound for the locating chromatic number of trees with all the vertices not in an end-path colored by only two colors. That means, a better coloring algorithm could be achieved by optimizing the number of colors used in the end-paths. We provide an estimation of the locating chromatic number of trees using the locating chromatic number of its end-palms. We also study the locating chromatic number of palms, a subdivision of star. We also prove $\chi_L(S_n(k))=\Theta(n^{1/k})$; $\chi_L(S_n(3))=(1+o(1))\sqrt[3]{4n}$; and $\chi_L(O_n)=\left\lceil\log_3\left(\frac{n}{4}\right)\right\rceil+3$.


title: Cohomological dimensions of specialization-closed subsets and subcategories of modules

abstract: Let R be a commutative noetherian ring. In this paper, we study specialization-closed subsets of Spec R. More precisely, we first characterize the specialization-closed subsets in terms of various closure properties of subcategories of modules. Then, for each nonnegative integer n we introduce the notion of n-wide subcategories of R-modules to consider the question asking when a given specialization-closed subset has cohomological dimension at most n.


title: Polarization Effects of Electro-Optic Sampling and Over-Rotation for High Field THz Detection

abstract: With ever increasing availability of terahertz fields, it is important to find suitable detection techniques without compromising the measured dynamic range. Electro-optic terahertz sampling techniques, which are commonly used to detect terahertz fields, exhibit over-rotation at high fields that limit the detection accuracy. Here we discuss a method to correct for over-rotation that put no limits on measured terahertz field strengths, while preserving the low field sensitivity. We further evaluate the induced polarizations at high terahertz fields and show how over-rotation can be corrected by simultaneously measuring the polarizations before and after the quarter wave plate.


title: Quark Transverse Parton Distribution at the Next-to-Next-to-Next-to-Leading Order

abstract: We report a calculation of the perturbative matching coefficients for the transverse-momentum-dependent parton distribution functions for quark at the next-to-next-to-next-to-leading order in QCD, which involves calculation of non-standard Feynman integrals with rapidity divergence. We introduce a set of generalized Integration-By-Parts equations, which allows an algorithmic evaluation of such integrals using the machinery of modern Feynman integral calculation.


title: Towards Expressive Priors for Bayesian Neural Networks: Poisson Process Radial Basis Function Networks

abstract: While Bayesian neural networks have many appealing characteristics, current priors do not easily allow users to specify basic properties such as expected lengthscale or amplitude variance. In this work, we introduce Poisson Process Radial Basis Function Networks, a novel prior that is able to encode amplitude stationarity and input-dependent lengthscale. We prove that our novel formulation allows for a decoupled specification of these properties, and that the estimated regression function is consistent as the number of observations tends to infinity. We demonstrate its behavior on synthetic and real examples.


title: Exploration of The Duality Between Generalized Geometry and Extraordinary Magnetoresistance

abstract: We outline the duality between the extraordinary magnetoresistance (EMR), observed in semiconductor-metal hybrids, and non-symmetric gravity coupled to a diffusive $U(1)$ gauge field. The corresponding gravity theory may be interpreted as the generalized complex geometry of the semi-direct product of the symmetric metric and the antisymmetric Kalb-Ramond field: ($g_{\mu\nu}+\beta_{\mu\nu}$). We construct the four dimensional covariant field theory and compute the resulting equations of motion. The equations encode the most general form of EMR within a well defined variational principle, for specific lower dimensional embedded geometric scenarios. Our formalism also reveals the emergence of additional diffusive pseudo currents for a completely dynamic field theory of EMR. The proposed equations of motion now include terms that induce geometrical deformations in the device geometry in order to optimize the EMR. This bottom-up dual description between EMR and generalized geometry/gravity lends itself to a deeper insight into the EMR effect with the promise of potentially new physical phenomena and properties.


title: Anomalous thermal fluctuation distribution sustains proto-metabolic cycles and biomolecule synthesis

abstract: An environment far from equilibrium is thought to be a necessary condition for the origin and persistence of life. In this context we report open-flow simulations of a non-enzymic proto-metabolic system, in which hydrogen peroxide acts both as oxidant and driver of thermochemical cycling. We find that a Gaussian perturbed input produces a non-Boltzmann output fluctuation distribution around the mean oscillation maximum. Our main result is that net biosynthesis can occur under fluctuating cyclical but not steady drive. Consequently we may revise the necessary condition to "dynamically far from equilibrium".


title: Uniform local definable cell decomposition for locally o-minimal expansion of the group of reals

abstract: We demonstrate the following uniform local definable cell decomposition theorem in this paper. Consider a structure $\mathcal M = (M, <,0,+, \ldots)$ elementarily equivalent to a locally o-minimal expansion of the group of reals $(\mathbb R, <,0,+)$. Let $\{A_\lambda\}_{\lambda\in\Lambda}$ be a finite family of definable subsets of $M^{m+n}$. There exist an open box $B$ in $M^n$ containing the origin and a finite partition of definable sets $M^m \times B = X_1 \cup \ldots \cup X_k$ such that $B=(X_1)_b \cup \ldots \cup (X_k)_b$ is a definable cell decomposition of $B$ for any $b \in M^m$ and $X_i \cap A_\lambda = \emptyset$ or $X_i \subset A_\lambda$ for any $1 \leq i \leq k$ and $\lambda \in \Lambda$. Here, the notation $S_b$ denotes the fiber of a definable subset $S$ of $M^{m+n}$ at $b \in M^m$.


title: CLOSURE: Assessing Systematic Generalization of CLEVR Models

abstract: The CLEVR dataset of natural-looking questions about 3D-rendered scenes has recently received much attention from the research community. A number of models have been proposed for this task, many of which achieved very high accuracies of around 97-99%. In this work, we study how systematic the generalization of such models is, that is to which extent they are capable of handling novel combinations of known linguistic constructs. To this end, we test models' understanding of referring expressions based on matching object properties (such as e.g. "another cube that is the same size as the brown cube") in novel contexts. Our experiments on the thereby constructed CLOSURE benchmark show that state-of-the-art models often do not exhibit systematicity after being trained on CLEVR. Surprisingly, we find that an explicitly compositional Neural Module Network model also generalizes badly on CLOSURE, even when it has access to the ground-truth programs at test time. We improve the NMN's systematic generalization by developing a novel Vector-NMN module architecture with vector-valued inputs and outputs. Lastly, we investigate how much few-shot transfer learning can help models that are pretrained on CLEVR to adapt to CLOSURE. Our few-shot learning experiments contrast the adaptation behavior of the models with intermediate discrete programs with that of the end-to-end continuous models.


title: Learning Improvement Heuristics for Solving Routing Problems

abstract: Recent studies in using deep learning to solve routing problems focus on construction heuristics, the solutions of which are still far from optimality. Improvement heuristics have great potential to narrow this gap by iteratively refining a solution. However, classic improvement heuristics are all guided by hand-crafted rules which may limit their performance. In this paper, we propose a deep reinforcement learning framework to learn the improvement heuristics for routing problems. We design a self-attention based deep architecture as the policy network to guide the selection of next solution. We apply our method to two important routing problems, i.e. travelling salesman problem (TSP) and capacitated vehicle routing problem (CVRP). Experiments show that our method outperforms state-of-the-art deep learning based approaches. The learned policies are more effective than the traditional hand-crafted ones, and can be further enhanced by simple diversifying strategies. Moreover, the policies generalize well to different problem sizes, initial solutions and even real-world dataset.


title: To Seal or Not To Seal

abstract: When an object impacts the free surface of a liquid, it ejects a splash curtain upwards and creates an air cavity below the free surface. As the object descends into the liquid, the air cavity eventually closes under the action of hydrostatic pressure (deep seal). In contrast, the surface curtain may splash outwards or dome over and close, creating a surface seal. In this paper we experimentally investigate how the splash curtain dynamics are governed by the interplay of cavity pressure difference, gravity, and surface tension and how they control the occurrence, or not, of surface seal. Based on the experimental observations and measurements, we develop an analytical model to describe the trajectory and dynamics of the splash curtain. The model enables us to reveal the scaling relationship for the dimensionless surface seal time and discover the existence of a critical dimensionless number that predicts the occurrence of surface seal. This scaling indicates that the most significant parameter governing the occurrence of surface seal is the velocity of the airflow rushing into the cavity. This is in contrast to the current understanding which considers the impact velocity as the determinant parameter.


title: Robust minimality of strong foliations for DA diffeomorphisms: $cu$-volume expansion and new examples

abstract: Let $f$ be a $C^2$ partially hyperbolic diffeomorphisms of ${\mathbb T}^3$ (not necessarily volume preserving or transitive) isotopic to a linear Anosov diffeomorphism $A$ with eigenvalues $$\lambda_{s}<1<\lambda_{c}<\lambda_{u}.$$ Under the assumption that the set $$\{x: \,\mid\log \det(Tf\mid_{E^{cu}(x)})\mid \leq \log \lambda_{u} \}$$ has zero volume inside any unstable leaf of $f$ where $E^{cu} = E^c\oplus E^u$ is the center unstable bundle, we prove that the stable foliation of $f$ is $C^1$ robustly minimal, i.e., the stable foliation of any diffeomorphism $C^1$ sufficiently close to $f$ is minimal. In particular, $f$ is robustly transitive.\par We build, with this criterion, a new example of a $C^1$ open set of partially hyperbolic diffeomorphisms, for which the strong stable foliation and the strong unstable foliation are both minimal.


title: Doubling pre-Lie algebra of rooted trees

abstract: We study the pre-Lie algebra of rooted trees $(\Cal T, \rightarrow)$ and we define a pre-Lie structure on its doubling space $(V, \leadsto)$. Also, we find the enveloping algebras of the two pre-Lie algebras denoted respectively by $(\Cal H', \star, \Gamma)$ and $(\Cal D', \bigstar, \chi)$. We prove that $(\Cal D', \bigstar, \chi)$ is a module-bialgebra on $(\Cal H', \star, \Gamma)$ and we find some relations between the two pre-Lie structures.


title: Interferometric calibration and the first elevation observations at EKB ISTP SB RAS radar at 10-12 MHz

abstract: The method for calibrating elevation measurements at EKB ISTP SB RAS radar obtained for the period 20/09/2019 - 18/11/2019 is presented. The calibration method is a modernization of the method for calibrating radar by meteor trails. The main difference of the method is the use of not a statistically processed FitACF data, but the full waveform of the signals scattered on the meteor trails. Using the full waveform makes it possible to more reliably distinguish meteor scattering from other possible scattered signal sources, and to determine meteor heights from the trail lifetime using the NRLMSIS-00 model. A comparison of the results with the results of E-layer calibration method shows a good agreement. The first examples of regular elevation observations at the EKB ISTP SB RAS radar are presented, and their preliminary interpretation is given.


title: Functional a posteriori error estimates for boundary element methods

abstract: Functional error estimates are well-established tools for a posteriori error estimation and related adaptive mesh-refinement for the finite element method (FEM). The present work proposes a first functional error estimate for the boundary element method (BEM). One key feature is that the derived error estimates are independent of the BEM discretization and provide guaranteed lower and upper bounds for the unknown error. In particular, our analysis covers Galerkin BEM and the collocation method, what makes the approach of particular interest for scientific computations and engineering applications. Numerical experiments for the Laplace problem confirm the theoretical results.


title: Zooming into Face Forensics: A Pixel-level Analysis

abstract: The stunning progress in face manipulation methods has made it possible to synthesize realistic fake face images, which poses potential threats to our society. It is urgent to have face forensics techniques to distinguish those tampered images. A large scale dataset "FaceForensics++" has provided enormous training data generated from prominent face manipulation methods to facilitate anti-fake research. However, previous works focus more on casting it as a classification problem by only considering a global prediction. Through investigation to the problem, we find that training a classification network often fails to capture high quality features, which might lead to sub-optimal solutions. In this paper, we zoom in on the problem by conducting a pixel-level analysis, i.e. formulating it as a pixel-level segmentation task. By evaluating multiple architectures on both segmentation and classification tasks, We show the superiority of viewing the problem from a segmentation perspective. Different ablation studies are also performed to investigate what makes an effective and efficient anti-fake model. Strong baselines are also established, which, we hope, could shed some light on the field of face forensics.


title: Symmetry breaking, strain solitons and mechanical edge modes in monolayer antimony

abstract: Two-dimensional materials exhibit a variety of mechanical instabilities accompanied by spontaneous symmetry breaking. Here we develop a continuum description of the buckling instability of antimonene sheets. Regions of oppositely directed buckling constitute domains separated by domain walls that are solitons in our model. Perturbations about equilibrium propagate as waves with a gapped dispersion in the bulk but there is a gapless mode with linear dispersion that propagates along the domain walls in a manner reminiscent of the electronic modes of topological insulators. We establish that monolayer antimonene is a mechanical topological insulator by demonstrating a mapping between our continuum model and an underlying Dirac equation of the symmetry class BDI which is known to be a topological insulator in one dimension and a weak topological insulator in two dimensions. Monolayer antimony can be produced by exfoliation as well as epitaxy and the effects predicted in this paper should be accessible to standard experimental tools such as scanning probe microscopy and Raman spectroscopy. We surmise that the effects studied here (namely low scale symmetry breaking, strain solitons and gapless edge modes) are not limited to antimonene but are common features of two dimensional materials.


title: Partial isometries in an absolute order unit space

abstract: In this paper, we extend the notion of orthogonality to the general elements of an absolute matrix order unit space and relate it to the orthogonality among positive elements. We introduce the notion of a partial isometry in an absolute matrix order unit space. As an application, we describe the comparison of order projections. We also discuss finiteness of order projections.


title: The Extended HOA Format for Synthesis

abstract: We propose a small extension to the Hanoi Omega-Automata format to define reactive-synthesis problems. Namely, we add a "controllable-AP" header item specifying the subset of atomic propositions which is controllable. We describe the semantics of the new format and propose an output format for synthesized strategies. Finally, we also comment on tool support meant to encourage fast adoption of the extended Hanoi Omega-Automata format for synthesis.


title: Enhanced boundary regularity of planar nonlocal minimal graphs, and a butterfly effect

abstract: In this note, we showcase some recent results concerning the stickiness properties of nonlocal minimal graphs in the plane. To start with, the nonlocal minimal graphs in the plane enjoy an enhanced boundary regularity, since boundary continuity with respect to the external datum is sufficient to ensure differentiability across the boundary of the domain. As a matter of fact, the H\"older exponent of the derivative is in this situation sufficiently high to provide the validity of the Euler-Lagrange equation at boundary points as well. From this, using a sliding method, one also deduces that the stickiness phenomenon is generic for nonlocal minimal graphs in the plane, since an arbitrarily small perturbation of continuous nonlocal minimal graphs can produce boundary discontinuities (making the continuous case somehow "exceptional" in this framework).


title: High resolution spectroscopy of individual erbium ions in strong magnetic fields

abstract: In this paper we use electrically detected optical excitation spectroscopy of individual erbium ions in silicon to determine their optical and paramagnetic properties simultaneously. We demonstrate that this high spectral resolution technique can be exploited to observe interactions typically unresolvable in silicon using conventional spectroscopy techniques due to inhomogeneous broadening. In particular, we resolve the Zeeman splitting of the 4I15/2 ground and 4I13/2 excited state separately and in strong magnetic fields we observe the anti-crossings between Zeeman components of different crystal field levels. We discuss the use of this electronic detection technique in identifying the symmetry and structure of erbium sites in silicon.


title: Automatic Layout Generation with Applications in Machine Learning Engine Evaluation

abstract: Machine learning-based lithography hotspot detection has been deeply studied recently, from varies feature extraction techniques to efficient learning models. It has been observed that such machine learning-based frameworks are providing satisfactory metal layer hotspot prediction results on known public metal layer benchmarks. In this work, we seek to evaluate how these machine learning-based hotspot detectors generalize to complicated patterns. We first introduce a automatic layout generation tool that can synthesize varies layout patterns given a set of design rules. The tool currently supports both metal layer and via layer generation. As a case study, we conduct hotspot detection on the generated via layer layouts with representative machine learning-based hotspot detectors, which shows that continuous study on model robustness and generality is necessary to prototype and integrate the learning engines in DFM flows. The source code of the layout generation tool will be available at https://github. com/phdyang007/layout-generation.


title: Wiener-Hopf factorisation on unit circle: some examples from discrete scattering

abstract: I discuss some problems featuring scattering due to discrete edges on certain structures. These problems stem from linear difference equations and the underlying basic issue can be mapped to Wiener-Hopf factorization on an annulus in the complex plane. In most of these problems, the relevant factorization involves a scalar function, while in some cases a nxn matrix kernel, with n>=2, appears. For the latter, I give examples of two non-trivial cases where it can be further reduced to a scalar problem but in general this is not the case. Some of the problems that I have presented in this paper can be also interpreted as discrete analogues of well-known scattering problems, notably a few of which are still open, in Wiener-Hopf factorization on an infinite strip in complex plane.


title: A remark on variational inequalities in small balls

abstract: In this paper, we prove the following result: Let $(H,\langle\cdot,\cdot\rangle)$ be a real Hilbert space, $B$ a ball in $H$ centered at $0$ and $\Phi:B\to H$ a $C^{1,1}$ function, with $\Phi(0)\neq 0$, such that the function $x\to \langle \Phi(x),x-y\rangle$ is weakly lower semicontinuous in $B$ for all $y\in B$. Then, for each $r>0$ small enough, there exists a unique point $x^*\in H$, with $\|x^*\|=r$, such that $$\max\{\langle \Phi(x^*),x^*-y\rangle, \langle \Phi(y),x^*-y\rangle\}< 0$$ for all $y\in H\setminus \{x^*\}$, with $\|y\|\leq r$.


title: Observation of Floquet prethermalization in dipolar spin chains

abstract: Periodically driven Floquet quantum systems provide a promising platform to investigate novel physics out of equilibrium. Unfortunately, the drive generically heats up the system to a featureless infinite temperature state. For large driving frequency, the heat absorption rate is predicted to be exponentially small, giving rise to a long-lived prethermal regime which exhibits all the intriguing properties of Floquet systems. Here we experimentally observe Floquet prethermalization using nuclear magnetic resonance techniques. We first show the relaxation of a far-from-equilibrium initial state to a long-lived prethermal state, well described by the time-independent ''prethermal'' Hamiltonian. By measuring the autocorrelation of this prethermal Hamiltonian we can further experimentally confirm the predicted exponentially slow heating rate. More strikingly, we find that in the timescale when the effective Hamiltonian picture breaks down, the Floquet system still possesses other quasi-conservation laws. Our results demonstrate that it is possible to realize robust Floquet engineering, thus enabling the experimental observation of non-trivial Floquet phases of matter.


title: Sensitivity analysis for bias due to a misclassfied confounding variable in marginal structural models

abstract: In observational research treatment effects, the average treatment effect (ATE) estimator may be biased if a confounding variable is misclassified. We discuss the impact of classification error in a dichotomous confounding variable in analyses using marginal structural models estimated using inverse probability weighting (MSMs-IPW) and compare this with its impact in conditional regression models, focusing on a point-treatment study with a continuous outcome. Expressions were derived for the bias in the ATE estimator from a MSM-IPW and conditional model by using the potential outcome framework. Based on these expressions, we propose a sensitivity analysis to investigate and quantify the bias due to classification error in a confounding variable in MSMs-IPW. Compared to bias in the ATE estimator from a conditional model, the bias in MSM-IPW can be dissimilar in magnitude but the bias will always be equal in sign. A simulation study was conducted to study the finite sample performance of MSMs-IPW and conditional models if a confounding variable is misclassified. Simulation results showed that confidence intervals of the treatment effect obtained from MSM-IPW are generally wider and coverage of the true treatment effect is higher compared to a conditional model, ranging from over coverage if there is no classification error to smaller under coverage when there is classification error. The use of the bias expressions to inform a sensitivity analysis was demonstrated in a study of blood pressure lowering therapy. It is important to consider the potential impact of classification error in a confounding variable in studies of treatment effects and a sensitivity analysis provides an opportunity to quantify the impact of such errors on causal conclusions. An online tool for sensitivity analyses was developed: https://lindanab.shinyapps.io/SensitivityAnalysis.


title: Amplification by stimulated emission of nitrogen vacancy centres in a diamond-loaded fibre cavity

abstract: Laser-threshold magetometry using the negatively charged nitrogen-vacancy (NV-) centre in diamond as a gain medium has been proposed as a technique to dramatically enhance the sensitivity of room-temperature magnetometry. We experimentally explore a diamond-loaded open tunable fibre-cavity system as a potential contender for the realization of lasing with NV- centres. We observe amplification of the transmission of a cavity-resonant seed laser at 721 nm when the cavity is pumped at 532 nm, and attribute this to stimulated emission. Changes in the intensity of spontaneously emitted photons accompany the amplification, and a qualitative model including stimulated emission and ionisation dynamics of the NV- centre captures the dynamics in the experiment very well. These results highlight important considerations in the realization of an NV- laser in diamond.


title: Two Phonon Interactions and Charge Density Wave in Single Crystalline VSe2 Probed by Raman Spectroscopy

abstract: Charge density wave (CDW) is a unique phenomenon mostly realized in two-dimensional (2D) metallic layered transition metal dichalcogenides (TMDCs). Here, we report on Raman spectroscopy of single crystal 1T-VSe2 and observed signature of commensurate CDW (C-CDW) and incommensurate (I-CDW) transition, in the temperature range of 50-120 K. The room temperature Raman spectra showed a sharp A1g mode ~ 206 cm-1 along with two new weak and broad Raman modes associated to Eg mode ~ 257 cm-1 and two-phonon mode (2ph) ~ 332 cm-1. The onset of I-CDW and C-CDW is estimated from resistance measurements supported by magnetic measurements. Remarkably, at the onset of I-CDW ~ 115 K, a significant enhancement in the intensity of weak Eg mode is observed along with emergence of a doubly degenerate Eg(2) mode ~ 144 cm-1. Below 70 K, a weak A1g mode ~ 170 cm-1 emerged signifying the onset of C-CDW. Anomalous phonon softening of Eg mode ~ 257 cm-1 and 2ph process mode below I-CDW has been also observed, which is signifying the involvement of electron-phonon coupling.


title: Optical needles with arbitrary homogeneous three-dimensional polarization

abstract: We propose a new method to generate optical needles by focusing vector beams comprised of radially polarized component and azimuthally polarized vortex components. The radial part can generate longitudinal polarization, while the azimuthal parts can generate left- and right-handed polarization. Hence, an arbitrary 3D polarization can be obtained. To our knoeledge, it may be the first time that arbitrarily polarized optical needles whose transverse sizes are under 0.5$\lambda$ have been achieved. And their polarized homogeneity is beyond 0.97.


title: Topological Lattice Metamaterials -- A Platform For Novel Electromagnetic Material Design Based On An Artificial Topological "Atom"

abstract: In nature, most materials are composed of atoms with periodic structures. Hence, it's impossible to introduce topological structures into their lattice compose, because the atoms as basic blocks cannot be modulated. However, the lattice compose of metamaterials can be designed conveniently. In our work, we propose to introduce topological non-trivial structures, Mobius unknots, as the basic block (the artificial chiral "atoms") to design metamaterials. A 5.95 GHz intrinsic peak, in addition to the electrical resonance peak near 11 GHz on the transmission coefficient spectrum was confirmed by theoretical calculations, finite-difference time-domain (FDTD) simulations and experiments when electromagnetic waves transfer to a chiral Mobius unknot. Theoretical analysis indicates that this intrinsic peak originates from the phase transition caused by the electromagnetic waves propagate along the Mobius unknot non-trivial structure. It is similar to the state of spin-splitting of electron levels. Take the artificial chiral "atoms" - Mobius unknots as the basic block, we can construct two-dimensional and even three-dimensional ordered metamaterials. The simulation and experimental results showed that the response to electromagnetic wave in the GHz band can be modulated by the coupling between the periodic potential and the spin-like of energy levels.


title: Online Distributed Learning over Graphs with Multitask Graph-Filter Models

abstract: In this work, we are interested in adaptive and distributed estimation of graph filters from streaming data. We formulate this problem as a consensus estimation problem over graphs, which can be addressed with diffusion LMS strategies. Most popular graph-shift operators such as those based on the graph Laplacian matrix, or the adjacency matrix, are not energy preserving. This may result in an ill-conditioned estimation problem, and reduce the convergence speed of the distributed algorithms. To address this issue and improve the transient performance, we introduce a preconditioned graph diffusion LMS algorithm. We also propose a computationally efficient version of this algorithm by approximating the Hessian matrix with local information. Performance analyses in the mean and mean-square sense are provided. Finally, we consider a more general problem where the filter coefficients to estimate may vary over the graph. To avoid a large estimation bias, we introduce an unsupervised clustering method for splitting the global estimation problem into local ones. Numerical results show the effectiveness of the proposed algorithms and validate the theoretical results.


title: Potential analysis of holographic Schwinger effect in the magnetized background

abstract: We study the holographic Schwinger effect with magnetic field at RHIC and LHC energies by using the AdS/CFT correspondence. We consider both weak and strong magnetic field cases with $B\ll T^2$ and $B\gg T^2$ solutions respectively. Firstly, we calculate separating length of the particle pairs at finite magnetic field. It is found that for both weak and strong magnetic field solutions the maximum value of separating length decreases with the increase of magnetic field , which can be inferred that the virtual electron-positron pairs become real particles more easily. We also find that the magnetic field reduces the potential barrier and the critical field for the weak magnetic field solution, thus favors the Schwinger effect. With strong magnetic field solution, the magnetic field enhances the Schwinger effect when the pairs are in perpendicular to the magnetic field although the magnetic field increases the critical electric field.


title: Parameters inference and model reduction for the Single-Particle Model of Li ion cells

abstract: The Single-Particle Model (SPM) of Li ion cell \cite{Santhanagopalan06, Guo2011} is a computationally efficient and fairly accurate model for simulating Li ion cell cycling behavior at weak to moderate currents. The model depends on a large number of parameters describing the geometry and material properties of a cell components. In order to use the SPM for simulation of a 18650 LP battery cycling behavior, we fitted the values of the model parameters to a cycling data. We found that the distribution of parametric values for which the SPM fits the data accurately is strongly delocalized in the (nondimensionalized) parametric space, with variances in certain directions larger by many orders of magnitude than in other directions. This property of the SPM is known to be shared by a multitude of the so-called "sloppy models" \cite{Brown2003, Waterfall2006}, characterized by a few stiff directions in the parametric space, in which the predicted behavior varies significantly, and a number of sloppy directions in which the behavior doesn't change appreciably. As a consequence, only stiff parameters of the SPM can be inferred with a fair degree of certainty and these are the parameters which determine the cycling behavior of the battery. Based on geometrical insights from the Sloppy Models theory, we derive an hierarchy of reduced models for the SPM. The fully reduced model depends on only three stiff effective parameters which can be used for the battery state of health characterization.


title: Backward Stochastic Differential Equations Driven by G-Brownian Motion with Double Reflections

abstract: In this paper, we study the reflected backward stochastic differential equations driven by G-Brownian motion with two reflecting obstacles, which means that the solution lies between two prescribed processes. A new kind of approximate Skorohod condition is proposed to derive the uniqueness and existence of the solutions. The uniqueness can be proved by a priori estimates and the existence is obtained via a penalization method.


title: Single-Stage Regulated Resonant WPT Receiver with Low Input Harmonic Distortion

abstract: Resonant rectifier topologies would be a promising candidate for achieving simple, compact, and reliable single-stage wireless power transfer (WPT) receiver if not for the lack of good DC regulation capability. This paper investigates the problems that prevent the feasibility of single-stage DC regulation in resonant rectifier topologies. A possible solution is the proposed differential resonant rectifier topology, of which the rectifier is designed to have a relatively constant AC voltage, and that phase shift control is used to achieve relatively good output regulation. Design considerations on the reactive component sizing, magnetic component design, frequency and phase synchronization, small signal modelling, and closed-loop feedback control design, are discussed. Experimental results verified that the proposed WPT receiver system can achieve single-stage AC rectification and DC regulation while attaining the key features of low harmonic distortion in its AC output voltage, continuous DC current, and zero-voltage-switching (ZVS) operation over a wide operating range.


title: Diagnosing model misspecification and performing generalized Bayes' updates via probabilistic classifiers

abstract: Model misspecification is a long-standing enigma of the Bayesian inference framework as posteriors tend to get overly concentrated on ill-informed parameter values towards the large sample limit. Tempering of the likelihood has been established as a safer way to do updates from prior to posterior in the presence of model misspecification. At one extreme tempering can ignore the data altogether and at the other extreme it provides the standard Bayes' update when no misspecification is assumed to be present. However, it is an open issue how to best recognize misspecification and choose a suitable level of tempering without access to the true generating model. Here we show how probabilistic classifiers can be employed to resolve this issue. By training a probabilistic classifier to discriminate between simulated and observed data provides an estimate of the ratio between the model likelihood and the likelihood of the data under the unobserved true generative process, within the discriminatory abilities of the classifier. The expectation of the logarithm of a ratio with respect to the data generating process gives an estimation of the negative Kullback-Leibler divergence between the statistical generative model and the true generative distribution. Using a set of canonical examples we show that this divergence provides a useful misspecification diagnostic, a model comparison tool, and a method to inform a generalised Bayesian update in the presence of misspecification for likelihood-based models.


title: Bayesian analysis of $b\to s\mu^+\mu^-$ Wilson coefficients using the full angular distribution of $\Lambda_b\to \Lambda(\to p\, \pi^-)\mu^+\mu^-$ decays

abstract: Following updated and extended measurements of the full angular distribution of the decay $\Lambda_b\to \Lambda(\to p\,\pi^-)\mu^+\mu^-$ by the LHCb collaborations, as well as a new measurement of the $\Lambda \to p \pi^-$ decay asymmetry parameter by the BESIII collaboration, we study the impact of these results on searches for non-standard effects in exclusive $b\to s\mu^+\mu^-$ decays. To this end, we constrain the Wilson coefficients $\mathcal{C}_{9}$ and $\mathcal{C}_{10}$ of the numerically leading dimension-six operators in the weak effective Hamiltonian, in addition to the relevant nuisance parameters. In stark contrast to previous analyses of this decay mode, the changes in the updated experimental results lead us to find very good compatibility with both the Standard Model and with the $b\to s\mu^+\mu^-$ anomalies observed in rare $B$-meson decays. We provide a detailed analysis of the impact of the partial angular distribution, the full angular distribution, and the $\Lambda_b\to \Lambda\mu^+\mu^-$ branching fraction on the Wilson coefficients. In this process, we are also able to constrain the size of the production polarization of the $\Lambda_b$ baryon at LHCb.


title: An Integral Representation of the Logarithmic Function with Applications in Information Theory

abstract: We explore a well-known integral representation of the logarithmic function, and demonstrate its usefulness in obtaining compact, easily-computable exact formulas for quantities that involve expectations and higher moments of the logarithm of a positive random variable (or the logarithm of a sum of positive random variables). The integral representation of the logarithm is proved useful in a variety of information-theoretic applications, including universal lossless data compression, entropy and differential entropy evaluations, and the calculation of the ergodic capacity of the single-input, multiple-output (SIMO) Gaussian channel with random parameters (known to both transmitter and receiver). This integral representation and its variants are anticipated to serve as a useful tool in additional applications, as a rigorous alternative to the popular (but non-rigorous) replica method (at least in some situations).


title: SOFIA/HAWC+ View of an Extremely Luminous Infrared Galaxy, WISE1013+6112

abstract: We present far-infrared (FIR) properties of an extremely luminous infrared galaxy (ELIRG) at $z_{\rm spec}$ = 3.703, WISE J101326.25+611220.1 (WISE1013+6112). This ELIRG is selected as an IR-bright dust-obscured galaxy (DOG) based on the photometry from the Sloan digital sky survey (SDSS) and wide-field infrared survey explorer (WISE). In order to derive its accurate IR luminosity, we perform follow-up observations at 89 and 154 $\mu$m using the high-resolution airborne wideband camera-plus (HAWC+) on board the 2.7-m stratospheric observatory for infrared astronomy (SOFIA) telescope. We conduct spectral energy distribution (SED) fitting with CIGALE using 15 photometric data (0.4-1300 $\mu$m). We successfully pin down FIR SED of WISE1013+6112 and its IR luminosity is estimated to be $L_{\rm IR}$ = (1.62 $\pm$ 0.08) $\times 10^{14}$ $L_{\odot}$, making it one of the most luminous IR galaxies in the universe. We determine the dust temperature of WISE1013+6112 is $T_{\rm dust}$ = 89 $\pm$ 3 K, which is significantly higher than that of other populations such as SMGs and FIR-selected galaxies at similar IR luminosities. The resultant dust mass is $M_{\rm dust}$ = (2.2 $\pm$ 0.1) $\times 10^{8}$ $M_{\odot}$. This indicates that WISE1013+6112 has a significant active galactic nucleus (AGN) and star-forming activity behind a large amount of dust.


title: Single-Switch-Regulated Resonant WPT Receiver

abstract: A single-switch-regulated wireless power transfer (WPT) receiver is presented in this letter. Aiming at low-cost applications, the system involves only a single-switch class-E resonant rectifier, a frequency synchronization circuit, and a microcontroller. The number of power semiconductor devices required in this circuit is minimal. Only one active switch is used and no diode is required. As a single-switch solution, this simplifies circuit implementation, improves reliability, and lowers hardware cost. The single-switch resonant rectifier provides a relatively constant quasi-sinusoidal voltage waveform to pick up the wireless power from the receiver coil. Due to the resonant nature of the rectifier, ZVS turn on and turn off are achieved. The steady-state analysis and discussions on the component sizing and the control design are provided. A prototype is built and experimental works are performed to verify the features.


title: On depth spectra of constacyclic codes

abstract: In this paper, we determine depth spectra of all repeated-root $(\alpha+\gamma \beta)$-constacyclic codes of arbitrary lengths over a finite commutative chain ring $\mathcal{R},$ where $\alpha$ is a non-zero element of the Teichm\"{u}ller set of $\mathcal{R},$ $\gamma$ is a generator of unique maximal ideal of $\mathcal{R}$ and $\beta$ is a unit in $\mathcal{R}.$ We also illustrate our results with some examples.


title: Reductions and exact solutions of a cubic Schrodinger Partial Differential Equation

abstract: Lie symmetry analysis is an established method for generating symmetries of differential equations. We apply this method together the generalized fundamental theorem of double reduction. In particular, Noether symmetries and some associated conservation laws are constructed in our investigation to find exact solutions of higher order partial differential equations and complex partial differential equations.


title: Supersymmetric Hyperbolic $\sigma$-models and Decay of Correlations in Two Dimensions

abstract: In this paper we study a family of nonlinear $\sigma$-models in which the target space is the super manifold $H^{2|2N}$. These models generalize Zirnbauer's $H^{2|2}$ nonlinear $\sigma$-model which has a number of special features for which we find analogs in the general case. For example, by supersymmetric localization, the partition function of the $H^{2|2}$ model is a constants independent of the coupling constants. Here we show that for the $H^{2|2N}$ model, the partition function is a multivariate polynomial of degree $N-1$, increasing in each variable. We use these facts to provide estimates on the Fourier and Laplace transforms of the '$t$-field' when these models are specialized to $\mathbb{Z}^2$. From the bounds, we conclude the $t$-field exhibits polynomial decay of correlations and has fluctuations which are at least those of a massless free field.


title: Josephson effect in two-band superconductors

abstract: We study theoretically the Josephson effect between two time-reversal two-band superconductors, where we assume the equal-time spin-singlet $s$-wave pair potential in each conduction band. %as well as the band asymmetry and the band hybridization in the normal state. The superconducting phase at the first band $\varphi_1$ and that at the second band $\varphi_2$ characterize a two-band superconducting state. We consider a Josephson junction where an insulating barrier separates two such two-band superconductors. By applying the tunnel Hamiltonian description, the Josephson current is calculated in terms of the anomalous Green's function on either side of the junction. We find that the Josephson current consists of three components which depend on three types of phase differences across the junction: the phase difference at the first band $\delta\varphi_1$, the phase difference at the second band $\delta\varphi_2$, and the difference at the center-of-mass phase $\delta(\varphi_1+\varphi_2)/2$. A Cooper pairs generated by the band hybridization carries the last current component. In some cases, the current-phase relationship deviates from the sinusoidal function as a result of time-reversal symmetry breaking down.


title: The Lexicographic Method for the Threshold Cover Problem

abstract: Threshold graphs are a class of graphs that have many equivalent definitions and have applications in integer programming and set packing problems. A graph is said to have a threshold cover of size $k$ if its edges can be covered using $k$ threshold graphs. Chv\'atal and Hammer, in 1977, defined the threshold dimension $\mathrm{th}(G)$ of a graph $G$ to be the least integer $k$ such that $G$ has a threshold cover of size $k$ and observed that $\mathrm{th}(G)\geq\chi(G^*)$, where $G^*$ is a suitably constructed auxiliary graph. Raschle and Simon~[Proceedings of the Twenty-seventh Annual ACM Symposium on Theory of Computing, STOC '95, pages 650--661, 1995] proved that $\mathrm{th}(G)=\chi(G^*)$ whenever $G^*$ is bipartite. We show how the lexicographic method of Hell and Huang can be used to obtain a completely new and, we believe, simpler proof for this result. For the case when $G$ is a split graph, our method yields a proof that is much shorter than the ones known in the literature.


title: The Zakharov system in dimension $d \geqslant 4$

abstract: The sharp range of Sobolev spaces is determined in which the Cauchy problem for the classical Zakharov system is well-posed, which includes existence of solutions, uniqueness, persistence of initial regularity, and real-analytic dependence on the initial data. In addition, under a condition on the data for the Schr\"odinger equation at the lowest admissible regularity, global well-posedness and scattering is proved. The results cover energy-critical and energy-supercritical dimensions $d \geqslant 4$.


title: TEXS: in-vacuum tender X-ray emission spectrometer with 11 Johansson crystal analyzers

abstract: We describe the design and show first results of a large solid angle X-ray emission spectrometer that is optimized for energies between 1.5 keV and 5.5 keV. The spectrometer is based on an array of 11 cylindrically bent Johansson crystal analyzers arranged in a non-dispersive Rowland circle geometry. The smallest achievable energy bandwidth is smaller than the core hole lifetime broadening of the absorption edges in this energy range. Energy scanning is achieved using an innovative design, maintaining the Rowland circle conditions for all crystals with only four motor motions. The entire spectrometer is encased in a high-vacuum chamber that allocates a liquid helium cryostat and provides sufficient space for in situ cells and operando catalysis reactors.


title: A Reconstructed Discontinuous Approximation to Monge-Ampere Equation in Least Square Formation

abstract: We propose a numerical method to solve the Monge-Ampere equation which admits a classical convex solution. The Monge-Ampere equation is reformulated into an equivalent first-order system. We adopt a novel reconstructed discontinuous approximation space which consists of piecewise irrotational polynomials. This space allows us to solve the first order system in two sequential steps. In the first step, we solve a nonlinear system to obtain the approximation to the gradient. A Newton iteration is adopted to handle the nonlinearity in the system. The approximation to the primitive variable is obtained from the approximate gradient by a trivial least squares finite element method in the second step. Numerical examples in both two dimensions and three dimensions are presented to show an optimal convergence rate in accuracy. It is interesting to observe that the approximate solution is piecewise convex in each element. Particularly, with the reconstructed approximation space, the proposed method demonstrates a remarkable robustness. The convergence of the Newton iteration does not rely on the initial values, which shows a very different behaviour from references. The dependence of the convergence on the penalty parameter in the discretization is also negligible, in comparison to the classical discontinuous approximation space.


title: Smart Contract Repair

abstract: Smart contracts are automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart contracts due to their potential benefits in terms of secure peer-to-peer transactions independent of external parties. Experience shows that many commonly used smart contracts are vulnerable to serious malicious attacks which may enable attackers to steal valuable assets of involving parties. There is therefore a need to apply analysis and automated repair techniques to detect and repair bugs in smart contracts before being deployed. In this work, we present the first general-purpose automated smart contract repair approach that is also gas-aware. Our repair method is search-based and searches among mutations of the buggy contract. Our method also considers the gas usage of the candidate patches by leveraging our novel notion of gas dominance relationship. We have made our smart contract repair tool SCRepair available open-source, for investigation by the wider community.


title: Self Similar Collapse and the Raychaudhuri equation

abstract: The role of the Raychaudhuri equation in studying gravitational collapse is discussed. A self-similar distribution of a scalar field along with an imperfect fluid in a conformally flat spacetime is considered for the purpose. The general focusing condition is found out and verified against the available exact solutions. The connection between the Raychaudhuri equation and the critical phenomena is also explored.


title: Many-body approach to non-Hermitian physics in fermionic systems

abstract: In previous studies, the topological invariants of 1D non-Hermitian systems have been defined in open boundary condition (OBC) to satisfy the bulk-boundary correspondence. The extreme sensitivity of bulk energy spectra to boundary conditions has been attributed to the breakdown of the conventional bulk-boundary correspondence based on the topological invariants defined under periodic boundary condition (PBC). Here we propose non-Hermitian many-body polarization as a topological invariant for 1D non-Hermitian systems defined in PBC, which satisfies the bulk-boundary correspondence. Employing many-body methodology in the non-Hermitian Su-Schrieffer-Heeger model for fermions, we show the absence of non-Hermitian skin effect due to the Pauli exclusion principle and demonstrate the bulk-boundary correspondence using the invariant defined under PBC. Moreover, we show that the bulk topological invariant is quantized in the presence of chiral or generalized inversion symmetry. Our study suggests the existence of generalized crystalline symmetries in non-Hermitian systems, which give quantized topological invariants that capture the symmetry-protected topology of non-Hermitian systems.


title: Efficient Approximation of the Matching Distance for 2-parameter persistence

abstract: The matching distance is a computationally tractable topological measure to compare multi-filtered simplicial complexes. We design efficient algorithms for approximating the matching distance of two bi-filtered complexes to any desired precision $\epsilon>0$. Our approach is based on a quad-tree refinement strategy introduced by Biasotti et al., but we recast their approach entirely in geometric terms. This point of view leads to several novel observations resulting in a practically faster algorithm. We demonstrate this speed-up by experimental comparison and provide our code in a public repository which provides the first efficient publicly available implementation of the matching distance.


title: An Efficient Explorative Sampling Considering the Generative Boundaries of Deep Generative Neural Networks

abstract: Deep generative neural networks (DGNNs) have achieved realistic and high-quality data generation. In particular, the adversarial training scheme has been applied to many DGNNs and has exhibited powerful performance. Despite of recent advances in generative networks, identifying the image generation mechanism still remains challenging. In this paper, we present an explorative sampling algorithm to analyze generation mechanism of DGNNs. Our method efficiently obtains samples with identical attributes from a query image in a perspective of the trained model. We define generative boundaries which determine the activation of nodes in the internal layer and probe inside the model with this information. To handle a large number of boundaries, we obtain the essential set of boundaries using optimization. By gathering samples within the region surrounded by generative boundaries, we can empirically reveal the characteristics of the internal layers of DGNNs. We also demonstrate that our algorithm can find more homogeneous, the model specific samples compared to the variations of {\epsilon}-based sampling method.


title: Formal Verification of Debates in Argumentation Theory

abstract: Humans engage in informal debates on a daily basis. By expressing their opinions and ideas in an argumentative fashion, they are able to gain a deeper understanding of a given problem and in some cases, find the best possible course of actions towards resolving it. In this paper, we develop a methodology to verify debates formalised as abstract argumentation frameworks. We first present a translation from debates to transition systems. Such transition systems can model debates and represent their evolution over time using a finite set of states. We then formalise relevant debate properties using temporal and strategy logics. These formalisations, along with a debate transition system, allow us to verify whether a given debate satisfies certain properties. The verification process can be automated using model checkers. Therefore, we also measure their performance when verifying debates, and use the results to discuss the feasibility of model checking debates.


title: Reliable Wide-Area Backscatter via Channel Polarization

abstract: A long-standing vision of backscatter communications is to provide long-range connectivity and high-speed transmissions for batteryless Internet-of-Things (IoT). Recent years have seen major innovations in designing backscatters toward this goal. Yet, they either operate at a very short range, or experience extremely low throughput. This paper takes one step further toward breaking this stalemate, by presenting PolarScatter that exploits channel polarization in long-range backscatter links. We transform backscatter channels into nearly noiseless virtual channels through channel polarization, and convey bits with extremely low error probability. Specifically, we propose a new polar code scheme that automatically adapts itself to different channel quality, and design a low-cost encoder to accommodate polar codes on resource-constrained backscatter tags. We build a prototype PCB tag and test it in various outdoor and indoor environments. Our experiments show that our prototype achieves up to 10$\times$ throughput gain, or extends the range limit by 1.8$\times$ compared with the state-of-the-art long-range backscatter solution. We also simulate an IC design in TSMC 65 nm LP CMOS process. Compared with traditional encoders, our encoder reduces storage overhead by three orders of magnitude, and lowers the power consumption to tens of microwatts.


title: Provably Efficient Exploration in Policy Optimization

abstract: While policy-based reinforcement learning (RL) achieves tremendous successes in practice, it is significantly less understood in theory, especially compared with value-based RL. In particular, it remains elusive how to design a provably efficient policy optimization algorithm that incorporates exploration. To bridge such a gap, this paper proposes an Optimistic variant of the Proximal Policy Optimization algorithm (OPPO), which follows an ``optimistic version'' of the policy gradient direction. This paper proves that, in the problem of episodic Markov decision process with linear function approximation, unknown transition, and adversarial reward with full-information feedback, OPPO achieves $\tilde{O}(\sqrt{d^2 H^3 T} )$ regret. Here $d$ is the feature dimension, $H$ is the episode horizon, and $T$ is the total number of steps. To the best of our knowledge, OPPO is the first provably efficient policy optimization algorithm that explores.


title: STEERAGE: Synthesis of Neural Networks Using Architecture Search and Grow-and-Prune Methods

abstract: Neural networks (NNs) have been successfully deployed in many applications. However, architectural design of these models is still a challenging problem. Moreover, neural networks are known to have a lot of redundancy. This increases the computational cost of inference and poses an obstacle to deployment on Internet-of-Thing sensors and edge devices. To address these challenges, we propose the STEERAGE synthesis methodology. It consists of two complementary approaches: efficient architecture search, and grow-and-prune NN synthesis. The first step, covered in a global search module, uses an accuracy predictor to efficiently navigate the architectural search space. The predictor is built using boosted decision tree regression, iterative sampling, and efficient evolutionary search. The second step involves local search. By using various grow-and-prune methodologies for synthesizing convolutional and feed-forward NNs, it reduces the network redundancy, while boosting its performance. We have evaluated STEERAGE performance on various datasets, including MNIST and CIFAR-10. On MNIST dataset, our CNN architecture achieves an error rate of 0.66%, with 8.6x fewer parameters compared to the LeNet-5 baseline. For the CIFAR-10 dataset, we used the ResNet architectures as the baseline. Our STEERAGE-synthesized ResNet-18 has a 2.52% accuracy improvement over the original ResNet-18, 1.74% over ResNet-101, and 0.16% over ResNet-1001, while having comparable number of parameters and FLOPs to the original ResNet-18. This shows that instead of just increasing the number of layers to increase accuracy, an alternative is to use a better NN architecture with fewer layers. In addition, STEERAGE achieves an error rate of just 3.86% with a variant of ResNet architecture with 40 layers. To the best of our knowledge, this is the highest accuracy obtained by ResNet-based architectures on the CIFAR-10 dataset.


title: A combinatorial Fredholm module on self-similar sets built on $n$-cubes

abstract: We construct a Fredholm module on self-similar sets such as the Cantor dust, the Sierpinski carpet and the Menger sponge. Our construction is a higher dimensional analogue of Connes' combinatorial construction of the Fredholm module on the Cantor set. We also calculate the Dixmier trace of two operators induced by the Fredholm module.


title: Speech-driven facial animation using polynomial fusion of features

abstract: Speech-driven facial animation involves using a speech signal to generate realistic videos of talking faces. Recent deep learning approaches to facial synthesis rely on extracting low-dimensional representations and concatenating them, followed by a decoding step of the concatenated vector. This accounts for only first-order interactions of the features and ignores higher-order interactions. In this paper we propose a polynomial fusion layer that models the joint representation of the encodings by a higher-order polynomial, with the parameters modelled by a tensor decomposition. We demonstrate the suitability of this approach through experiments on generated videos evaluated on a range of metrics on video quality, audiovisual synchronisation and generation of blinks.


title: The imperative to reduce carbon emissions in astronomy

abstract: For astronomers to make a significant contribution to the reduction of climate change-inducing greenhouse gas emissions, we first must quantify our sources of emissions and review the most effective approaches for reducing them. Here we estimate that Australian astronomers' total greenhouse gas emissions from their regular work activities are $\gtrsim$25 ktCO$_2$-e/yr (equivalent kilotonnes of carbon dioxide per year). This can be broken into $\sim$15 ktCO$_2$-e/yr from supercomputer usage, $\sim$4.2 ktCO$_2$-e/yr from flights (where individuals' flight emissions correlate with seniority), $>$3.3 ktCO$_2$-e/yr from the operation of observatories, and 2.6$\pm$0.4 ktCO$_2$-e/yr from powering office buildings. Split across faculty scientists, postdoctoral researchers, and PhD students, this averages to $\gtrsim$37 tCO$_2$-e/yr per astronomer, over 40% more than what the average Australian non-dependant emits in total, equivalent to $\sim$5$\times$ the global average. To combat these environmentally unsustainable practices, we suggest astronomers should strongly preference use of supercomputers, observatories, and office spaces that are predominantly powered by renewable energy sources. Where facilities that we currently use do not meet this requirement, their funders should be lobbied to invest in renewables, such as solar or wind farms. Air travel should also be reduced wherever possible, replaced primarily by video conferencing, which should also promote inclusivity.

categories: astro-ph.IM astro-ph.CO astro-ph.EP astro-ph.GA astro-ph.HE


title: A discrete variational scheme for isentropic processes in polyconvex thermoelasticity

abstract: We propose a variational scheme for the construction of isentropic processes of the equations of adiabatic thermoelasticity with polyconvex internal energy. The scheme hinges on the embedding of the equations of adiabatic polyconvex thermoelasticity into a symmetrizable hyperbolic system. We establish existence of minimizers for an associated minimization theorem and construct measure-valued solutions that dissipate the total energy. We prove that the scheme converges when the limiting solution is smooth.


title: The positive mass theorem for non-spin manifolds with distributional curvature

abstract: We prove the positive mass theorem for manifolds with distributional curvature which have been studied in \cite{Lee2015} without spin condition. In our case, the manifold $M$ has asymptotically flat metric $g\in C^0\bigcap W^{1,p}_{-q}$, $p>n$, $q>\frac{n-2}{2}$. We show that the generalized ADM mass $m_{ADM}(M,g)$ is non-negative as long as $q=n-2$, and $g$ has non-negative distributional scalar curvature, bounded curvature in the Alexandrov sense with its distributional Ricci curvature belonging to certain weighted Lebesgue space and some extra conditions.


title: Topological type of discriminants of some special families

abstract: We will describe the topological type of the discriminant curve of the morphism $(\ell, f)$, where $\ell$ is a smooth curve and $f$ is an irreducible curve (branch) of multiplicity less than five or a branch that the difference between its Milnor number and Tjurina number is less than 3. We prove that for a branch of these families, the topological type of the discriminant curve is determined by the semigroup, the Zariski invariant and at most two other analytical invariants of the branch.


title: Finite-parameter feedback stabilization of original Burgers' equations and Burgers' equation with nonlocal nonlinearities

abstract: We study the problem of global exponential stabilization of original Burgers' equations and the Burgers' equation with nonlocal nonlinearities by controllers depending on finitely many parameters. It is shown that solutions of the controlled equations are steering a concrete solution of the non-controlled system as $t\rightarrow \infty$ with an exponential rate.


title: Curvature criterion for vanishing of group cohomology

abstract: We introduce a new geometric criterion for vanishing of cohomology for BN-pair groups. In particular, this new criterion yields a sharp vanishing of cohomology result for all BN-pair groups acting on non-thin affine building.


title: Issues with Search for Critical Point in QCD with Relativistic Heavy Ion Collisions

abstract: A systematic search for a critical point in the phase diagram of QCD matter is underway at the Relativistic Heavy Ion Collider (RHIC) and is planned at several future facilities. Its existence, if confirmed, and its location will greatly enhance our understanding of QCD. In this note we emphasize several important issues that are often not fully recognized in theoretical interpretations of experimental results relevant to the critical point search. We discuss ways in which our understanding on these issues can be improved.


title: Modified Computation of Correlation Integral for Analyzing Epileptic Signals

abstract: Epilepsy is a chronic neurological disorder characterized by recurrent seizures. One method for analyzing seizure activity is to compute the correlation dimension of time-series electroencephalographic signals. The Grasserberg and Proccacia algorithm is commonly used to compute this correlation dimension. The algorithm uses the Heaviside function to determine the correlation integral by counting the number of distances between vectors (d_ij) that are greater than a threshold. However, information about the chaotic nature of the signal is not completely retained by this function. In this work, instead of using the Heaviside function, we calculated the correlation integral by using an exponential function of d_ij. Greater sensitivity to the interictal and ictal signals using this modified algorithm was verified using three datasets. Comparing heatmaps of d_ij obtained using the original and modified methods showed additional information that was retained with the new algorithm.