title: The Galaxy Population of the Core of Coma Cluster

abstract: In this paper we present the structural properties and morphology of galaxies in the central region of the Coma Cluster brighter than $19.5^m$ in the $F814W$ band. from the HST/ACS Coma Cluster Treasury Survey. Using mainly spectroscopic redshifts, we find 132 members from our sample of 219 galaxies. In our sample of 132 members, we find 51 non-dwarfs and 81 dwarfs and amongst our 32 non-members, we find 4 dwarfs and 28 non dwarfs. We do not have redshifts for the remaining 55 galaxies. We present bulge-disc decomposition of the sample using GALFIT and obtain parameters for our sample. Using visual inspection of residuals, we do a a morphological classification of the galaxies. We studied the relation of morphological types with Bulge to Total Light Ratio ($B/T$), color magnitude relation (CMR), S\'ersic index ($n$), Kormendy relation and cross-correlations between these parameters for the bulges and galaxies. %Of the members, six galaxies have been classified as E/SBO on the basis of their residuals and contour maps which show a boxy/peanut bulge at the center of galaxy. So we have little confusion to classify the elliptical or SBO, we have given E/SBO. This work helps us understand important relations between various parameters like $B/T$, color and $n$ as well as insights into the merger history of these galaxies in terms of their positions in the Kormendy Diagram and their S\'ersic indices. Using statistical methods, we find that the there are significantly more E/SO, ESOs galaxies in the member population compared to non-members.


title: CL-NERIL: A Cross-Lingual Model for NER in Indian Languages

abstract: Developing Named Entity Recognition (NER) systems for Indian languages has been a long-standing challenge, mainly owing to the requirement of a large amount of annotated clean training instances. This paper proposes an end-to-end framework for NER for Indian languages in a low-resource setting by exploiting parallel corpora of English and Indian languages and an English NER dataset. The proposed framework includes an annotation projection method that combines word alignment score and NER tag prediction confidence score on source language (English) data to generate weakly labeled data in a target Indian language. We employ a variant of the Teacher-Student model and optimize it jointly on the pseudo labels of the Teacher model and predictions on the generated weakly labeled data. We also present manually annotated test sets for three Indian languages: Hindi, Bengali, and Gujarati. We evaluate the performance of the proposed framework on the test sets of the three Indian languages. Empirical results show a minimum 10% performance improvement compared to the zero-shot transfer learning model on all languages. This indicates that weakly labeled data generated using the proposed annotation projection method in target Indian languages can complement well-annotated source language data to enhance performance. Our code is publicly available at https://github.com/aksh555/CL-NERIL


title: Structural dynamics of polycrystalline graphene

abstract: The exceptional properties of the two-dimensional material graphene make it attractive for multiple functional applications, whose large-area samples are typically polycrystalline. Here, we study the mechanical properties of graphene in computer simulations and connect these to the experimentally relevant mechanical properties. In particular, we study the fluctuations in the lateral dimensions of the periodic simulation cell. We show that over short time scales, both the area A and the aspect ratio B of the rectangular periodic box show diffusive behavior under zero external field during dynamical evolution, with diffusion coefficients DA and DB that are related to each other. At longer times, fluctuations in A are bounded, while those in B are not. This makes the direct determination of DB much more accurate, from which DA can then be derived indirectly. We then show that the dynamic behavior of polycrystalline graphene under external forces can also be derived from DA and DB via the Nernst-Einstein relation. Additionally, we study how the diffusion coefficients depend on structural properties of the polycrystalline graphene, in particular, the density of defects.


title: More on co-even domination number

abstract: Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $\gamma(G)$, is the domination number of $G$. A dominating set $D$ is called co-even dominating set if the degree of vertex $v$ is even number for all $v\in V-D$. The cardinality of a smallest co-even dominating set of $G$, denoted by $\gamma _{coe}(G)$, is the co-even domination number of $G$. In this paper, we find more results on co-even domination number of graphs and count the number of co-even dominating sets of some specific graphs.


title: Trimming Stability Selection increases variable selection robustness

abstract: Contamination can severely distort an estimator unless the estimation procedure is suitably robust. This is a well-known issue and has been addressed in Robust Statistics, however, the relation of contamination and distorted variable selection has been rarely considered in literature. As for variable selection, many methods for sparse model selection have been proposed, including the Stability Selection which is a meta-algorithm based on some variable selection algorithm in order to immunize against particular data configurations. We introduce the variable selection breakdown point that quantifies the number of cases resp. cells that have to be contaminated in order to let no relevant variable be detected. We show that particular outlier configurations can completely mislead model selection and argue why even cell-wise robust methods cannot fix this problem. We combine the variable selection breakdown point with resampling, resulting in the Stability Selection breakdown point that quantifies the robustness of Stability Selection. We propose a trimmed Stability Selection which only aggregates the models with the lowest in-sample losses so that, heuristically, models computed on heavily contaminated resamples should be trimmed away. An extensive simulation study with non-robust regression and classification algorithms as well as with Sparse Least Trimmed Squares reveals both the potential of our approach to boost the model selection robustness as well as the fragility of variable selection using non-robust algorithms, even for an extremely small cell-wise contamination rate.


title: Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach

abstract: We address the problem of checking the satisfiability of Constrained Horn Clauses (CHCs) defined on Algebraic Data Types (ADTs), such as lists and trees. We propose a new technique for transforming CHCs defined on ADTs into CHCs where the arguments of the predicates have only basic types, such as integers and booleans. Thus, our technique avoids, during satisfiability checking, the explicit use of proof rules based on induction over the ADTs. The main extension over previous techniques for ADT removal is a new transformation rule, called differential replacement, which allows us to introduce auxiliary predicates, whose definitions correspond to lemmas that are used when making inductive proofs. We present an algorithm that performs the automatic removal of ADTs by applying the new rule, together with the traditional folding/unfolding rules. We prove that, under suitable hypotheses, the set of the transformed clauses is satisfiable if and only if so is the set of the original clauses. By an experimental evaluation, we show that the use of the new rule significantly improves the effectiveness of ADT removal. We also show that our approach is competitive with respect to tools that extend CHC solvers with the use of inductive rules.


title: On the spread of outerplanar graphs

abstract: The spread of a graph is the difference between the largest and most negative eigenvalue of its adjacency matrix. We show that for sufficiently large $n$, the $n$-vertex outerplanar graph with maximum spread is a vertex joined to a linear forest with $\Omega(n)$ edges. We conjecture that the extremal graph is a vertex joined to a path on $n-1$ vertices.


title: Learning Representation for Clustering via Prototype Scattering and Positive Sampling

abstract: Existing deep clustering methods rely on either contrastive or non-contrastive representation learning for downstream clustering task. Contrastive-based methods thanks to negative pairs learn uniform representations for clustering, in which negative pairs, however, may inevitably lead to the class collision issue and consequently compromise the clustering performance. Non-contrastive-based methods, on the other hand, avoid class collision issue, but the resulting non-uniform representations may cause the collapse of clustering. To enjoy the strengths of both worlds, this paper presents a novel end-to-end deep clustering method with prototype scattering and positive sampling, termed ProPos. Specifically, we first maximize the distance between prototypical representations, named prototype scattering loss, which improves the uniformity of representations. Second, we align one augmented view of instance with the sampled neighbors of another view -- assumed to be truly positive pair in the embedding space -- to improve the within-cluster compactness, termed positive sampling alignment. The strengths of ProPos are avoidable class collision issue, uniform representations, well-separated clusters, and within-cluster compactness. By optimizing ProPos in an end-to-end expectation-maximization framework, extensive experimental results demonstrate that ProPos achieves competing performance on moderate-scale clustering benchmark datasets and establishes new state-of-the-art performance on large-scale datasets. Source code is available at \url{https://github.com/Hzzone/ProPos}.


title: Towards rationalizing photoswitchable behavior of Cu$^{\mathrm{II}}_{2}$Mo$^{\mathrm{IV}}$ cyanido-bridged molecule

abstract: [Cu$^{\mathrm{II}}$(enpnen)]$_{2}$[Mo$^{\mathrm{IV}}$(CN)$_{8}$]$\cdot$7H$_{2}$O (enpnen = N,N$^\prime$-bis(2-aminoethyl)-1,3-propane-diamine) molecular cluster compound was subject to a series of irradiations with the light of 405 nm. On irradiation isothermal magnetization at 1.8 and 5 K in the field range 0-70 kOe as well as magnetic susceptibility in the temperature range of 2-300 K were subsequently detected. Both types of magnetic signals were next analyzed assuming that the irradiation triggers two independent processes: the metal to metal charge transfer (MMCT) leading to a state with the Arrhenius-type relaxation and the spin crossover (SC) transition ending in a state whose relaxation displays a threshold behavior. The first mechanism leads to an electron from the spinless Mo(IV) configuration being transferred to one of the Cu(II) ions transforming the trimer into the state Cu(II)-N-C-Mo(V)-C-N-Cu(I), with spin 1/2 on the Mo(V) ion and the spinless Cu(I) ion. The other mechanism gives rise to an excited paramagnetic Mo(IV)$^{*}$ linked to two paramagnetic Cu(II) centers with a possible superexchange interaction. The spin of the excited Mo(IV)$^{*}$ species is equal to 1 and associated to a disruption of the 5s-electronic pair. A reasonable result of simultaneous fitting the full series of susceptibility and magnetization data to the model taking into account both mechanisms corroborates their presence.


title: Kurepa trees and the failure of the Galvin property

abstract: We force the existence of a non-trivial $\kappa$-complete ultrafilter over $\kappa$ which fails to satisfy the Galvin property. This answers a question asked by the first author and Moti Gitik.


title: On Resonant Scattering States in Graphene Circular Quantum Dots

abstract: Due to effect of Klein tunneling two-dimensional graphene quantum dots do not possess genuine bound states but quasi-bound (resonant tunneling) states only. We discuss in detail the attempt to describe these states within the framework of the Dirac pseudo-fermion model for circular dot. We demonstrate explicitly that introduced earlier the so called "resonance condition" corresponds to inconsistent system of linear equations obtained from matching conditions on the boundary of the quantum dot when one try to use it for complex energy values and to the case of total reflection for the energies coincided with the potential well top.


title: Quantum Dot-Based Parametric Amplifiers

abstract: Josephson parametric amplifiers (JPAs) approaching quantum-limited noise performance have been instrumental in enabling high fidelity readout of superconducting qubits and, recently, semiconductor quantum dots (QDs). We propose that the quantum capacitance arising in electronic two-level systems (the dual of Josephson inductance) can provide an alternative dissipation-less non-linear element for parametric amplification. We experimentally demonstrate phase-sensitive parametric amplification using a QD-reservoir electron transition in a CMOS nanowire split-gate transistor embedded in a 1.8~GHz superconducting lumped-element microwave cavity, achieving parametric gains of -3 to +3 dB, limited by Sisyphus dissipation. Using a semi-classical model, we find an optimised design within current technological capabilities could achieve gains and bandwidths comparable to JPAs, while providing complementary specifications with respect to integration in semiconductor platforms or operation at higher magnetic fields.


title: List chromatic numbers and singular compactness

abstract: We prove that the list chromatic number of graphs satisfies singular compactness at strong limit singular cardinals. We also use the list chromatic number in order to prove a statement concerning the club principle.


title: A General Divergence Modeling Strategy for Salient Object Detection

abstract: Salient object detection is subjective in nature, which implies that multiple estimations should be related to the same input image. Most existing salient object detection models are deterministic following a point to point estimation learning pipeline, making them incapable of estimating the predictive distribution. Although latent variable model based stochastic prediction networks exist to model the prediction variants, the latent space based on the single clean saliency annotation is less reliable in exploring the subjective nature of saliency, leading to less effective saliency divergence modeling. Given multiple saliency annotations, we introduce a general divergence modeling strategy via random sampling, and apply our strategy to an ensemble based framework and three latent variable model based solutions to explore the subjective nature of saliency. Experimental results prove the superior performance of our general divergence modeling strategy.


title: Variance Reduction in Deep Learning: More Momentum is All You Need

abstract: Variance reduction (VR) techniques have contributed significantly to accelerating learning with massive datasets in the smooth and strongly convex setting (Schmidt et al., 2017; Johnson & Zhang, 2013; Roux et al., 2012). However, such techniques have not yet met the same success in the realm of large-scale deep learning due to various factors such as the use of data augmentation or regularization methods like dropout (Defazio & Bottou, 2019). This challenge has recently motivated the design of novel variance reduction techniques tailored explicitly for deep learning (Arnold et al., 2019; Ma & Yarats, 2018). This work is an additional step in this direction. In particular, we exploit the ubiquitous clustering structure of rich datasets used in deep learning to design a family of scalable variance reduced optimization procedures by combining existing optimizers (e.g., SGD+Momentum, Quasi Hyperbolic Momentum, Implicit Gradient Transport) with a multi-momentum strategy (Yuan et al., 2019). Our proposal leads to faster convergence than vanilla methods on standard benchmark datasets (e.g., CIFAR and ImageNet). It is robust to label noise and amenable to distributed optimization. We provide a parallel implementation in JAX.


title: Molecular orbital theory in cavity QED environments

abstract: Coupling between molecules and vacuum photon fields inside an optical cavity has proven to be an effective way to engineer molecular properties, in particular reactivity. To ease the rationalization of cavity induced effects we introduce an ab initio method leading to the first fully consistent molecular orbital theory for quantum electrodynamics environments. Our framework is non-perturbative and explains modifications of the electronic structure due to the interaction with the photon field. We show that the newly developed orbital theory can be used to predict cavity induced modifications of molecular reactivity and pinpoint classes of systems with significant cavity effects. We also investigate cavity-induced modifications of molecular reactivity in the vibrational strong coupling regime.


title: All along the line of sight: a closer look at opening angles and absorption regions in the atmospheres of transiting exoplanets

abstract: Transmission spectra contain a wealth of information about the atmospheres of transiting exoplanets. However, large thermal and chemical gradients along the line of sight can lead to biased inferences in atmospheric retrievals. In order to determine how far from the limb plane the atmosphere still impacts the transmission spectrum, we derive a new formula to estimate the opening angle of a planet. This is the angle subtended by the atmospheric region that contributes to the observation along the line of sight, as seen from the planet centre. We benchmark our formula with a 3D Monte-Carlo radiative transfer code and we define an opening angle suitable for the interpretation of JWST observations, assuming a 10-ppm noise floor. We find that the opening angle is only a few degrees for planets cooler than ca. 500 Kelvins, while it can be as large as 25 degrees for (ultra-)hot Jupiters and 50 degrees for hot Neptunes. Compared to previous works, our more robust approach leads to smaller estimates for the opening angle across a wide range scale heights and planetary radii. Finally, we show that ultra-hot Jupiters have an opening angle that is smaller than the angle over which the planet rotates during the transit. This allows for time-resolved transmission spectroscopy observations that probe independent parts of the planetary limb during the first and second half of the transit.


title: SpeechMoE2: Mixture-of-Experts Model with Improved Routing

abstract: Mixture-of-experts based acoustic models with dynamic routing mechanisms have proved promising results for speech recognition. The design principle of router architecture is important for the large model capacity and high computational efficiency. Our previous work SpeechMoE only uses local grapheme embedding to help routers to make route decisions. To further improve speech recognition performance against varying domains and accents, we propose a new router architecture which integrates additional global domain and accent embedding into router input to promote adaptability. Experimental results show that the proposed SpeechMoE2 can achieve lower character error rate (CER) with comparable parameters than SpeechMoE on both multi-domain and multi-accent task. Primarily, the proposed method provides up to 1.6% - 4.8% relative CER improvement for the multidomain task and 1.9% - 17.7% relative CER improvement for the multi-accent task respectively. Besides, increasing the number of experts also achieves consistent performance improvement and keeps the computational cost constant.


title: Bio-informatics: a working concept. A translation of "Bio-informatica: een werkconcept" by B. Hesper and P. Hogeweg

abstract: A translation of the Dutch article from 1970 in which the term "bioinformatics" was first introduced by Ben Hesper and Paulien Hogeweg.


title: Field-Free Deterministic Writing of SOT-MTJ by Unipolar Current

abstract: We propose a manufacturable solution for field-free writing of perpendicular SOT-MTJ without sacrificing integration density on a 200 mm wafer. The field-free writing operation can be achieved by unipolar current pulses via engineering the interlayer exchange coupling in SOT-MTJ thin films. The proposed device can reach a high writing speed of up to 1 ns and work properly at temperature of 100 C. The deterministic writing of SOT-MTJ by unipolar current offers an effective approach for high density SOT-MRAM integration.


title: Harmless Sets in Sparse Classes

abstract: In the classic TARGET SAT SELECTION problem, we are asked to minimise the number of nodes to activate so that, after the application of a certain propagation process, all nodes of the graph are active. Bazgan and Chopin [Discrete Optimization}, 14:170--182, 2014] introduced the opposite problem, named HARMLESS SET, in which they ask to maximise the number of nodes to activate such that not a single additional node is activated. In this paper we investigate how sparsity impacts the tractability of HARMLESS SET. Specifically, we answer two open questions posed by the aforementioned authors, namely a) whether the problem is FPT on planar graphs and b) whether it is FPT parametrised by treewidth. The first question can be answered in the positive using existing meta-theorems on sparse classes, and we further show that HARMLESS SET not only admits a polynomial kernel, but that it can be solved in subexponential time. We then answer the second question in the negative by showing that the problem is W[1]-hard when parametrised by a parameter that upper bounds treewidth.


title: HR-length of a free group via polynomial functors

abstract: We prove that for a subring $R\subseteq \mathbb Q$ and a free group $F$ of rank at least $2$ the length of the Bousfield's $HR$-localization tower for $F$ is at least $\omega+\omega$. The key ingredient of the proof is the theory of polynomial functors over $\mathbb Q.$


title: NUMAscope: Capturing and Visualizing Hardware Metrics on Large ccNUMA Systems

abstract: Cache-coherent non-uniform memory access (ccNUMA) systems enable parallel applications to scale-up to thousands of cores and many terabytes of main memory. However, since remote accesses come at an increased cost, extra measures are necessitated to scale the applications to high core-counts and process far greater amounts of data than a typical server can hold. In a similar manner to how applications are optimized to improve cache utilization, applications also need to be optimized to improve data-locality on ccNUMA systems to use larger topologies effectively. The first step to optimizing an application is to understand what slows it down. Consequently, profiling tools, or manual instrumentation, are necessary to achieve this. When optimizing applications on large ccNUMA systems, however, there are limited mechanisms to capture and present actionable telemetry. This is partially driven by the proprietary nature of such interconnects, but also by the lack of development of a common and accessible (read open-source) framework that developers or vendors can leverage. In this paper, we present an open-source, extensible framework that captures high-rate on-chip events with low overhead (<10% single-core utilization). The presented framework can operate in live or record mode, allowing both real-time monitoring or capture for later post-workload or offline analysis. High-resolution visualization is available either through a standards-based (web) interactive graphical interface or through a convenient textual interface for quick-look analysis.


title: Focal and Global Knowledge Distillation for Detectors

abstract: Knowledge distillation has been applied to image classification successfully. However, object detection is much more sophisticated and most knowledge distillation methods have failed on it. In this paper, we point out that in object detection, the features of the teacher and student vary greatly in different areas, especially in the foreground and background. If we distill them equally, the uneven differences between feature maps will negatively affect the distillation. Thus, we propose Focal and Global Distillation (FGD). Focal distillation separates the foreground and background, forcing the student to focus on the teacher's critical pixels and channels. Global distillation rebuilds the relation between different pixels and transfers it from teachers to students, compensating for missing global information in focal distillation. As our method only needs to calculate the loss on the feature map, FGD can be applied to various detectors. We experiment on various detectors with different backbones and the results show that the student detector achieves excellent mAP improvement. For example, ResNet-50 based RetinaNet, Faster RCNN, RepPoints and Mask RCNN with our distillation method achieve 40.7%, 42.0%, 42.0% and 42.1% mAP on COCO2017, which are 3.3, 3.6, 3.4 and 2.9 higher than the baseline, respectively. Our codes are available at https://github.com/yzd-v/FGD.


title: Design of Many-Core Big Little \mu Brain for Energy-Efficient Embedded Neuromorphic Computing

abstract: As spiking-based deep learning inference applications are increasing in embedded systems, these systems tend to integrate neuromorphic accelerators such as $\mu$Brain to improve energy efficiency. We propose a $\mu$Brain-based scalable many-core neuromorphic hardware design to accelerate the computations of spiking deep convolutional neural networks (SDCNNs). To increase energy efficiency, cores are designed to be heterogeneous in terms of their neuron and synapse capacity (big cores have higher capacity than the little ones), and they are interconnected using a parallel segmented bus interconnect, which leads to lower latency and energy compared to a traditional mesh-based Network-on-Chip (NoC). We propose a system software framework called SentryOS to map SDCNN inference applications to the proposed design. SentryOS consists of a compiler and a run-time manager. The compiler compiles an SDCNN application into subnetworks by exploiting the internal architecture of big and little $\mu$Brain cores. The run-time manager schedules these sub-networks onto cores and pipeline their execution to improve throughput. We evaluate the proposed big little many-core neuromorphic design and the system software framework with five commonlyused SDCNN inference applications and show that the proposed solution reduces energy (between 37% and 98%), reduces latency (between 9% and 25%), and increases application throughput (between 20% and 36%). We also show that SentryOS can be easily extended for other spiking neuromorphic accelerators.


title: Reliable Deep Learning based Localization with CSI Fingerprints and Multiple Base Stations

abstract: Deep learning (DL) methods have been recently proposed for user equipment (UE) localization in wireless communication networks, based on the channel state information (CSI) between a UE and each base station (BS) in the uplink. With the CSI from the available BSs, UE localization can be performed in different ways. One the one hand, a single neural network (NN) can be trained for the UE localization by considering the CSI from all the available BSs as one overall fingerprint of the user's location. On the other hand, the CSI at each BS can be used to obtain an estimate of the UE's position with a separate NN at each BS, and then the position estimates of all BSs are combined to obtain an overall estimate of the UE position. In this work, we show that UE localization with the latter approach can achieve a higher positioning accuracy. We propose to consider the uncertainty in the UE localization at each BS, such that overall UE's position is determined by combining the position estimates of the different BSs based on the uncertainty at each BS. With this approach, a more reliable position estimate can be obtained in case of variations in the channel.


title: Subgraph Permutation Equivariant Networks

abstract: In this work we develop a new method, named Sub-graph Permutation Equivariant Networks (SPEN), which provides a framework for building graph neural networks that operate on sub-graphs, while using a base update function that is permutation equivariant, that are equivariant to a novel choice of automorphism group. Message passing neural networks have been shown to be limited in their expressive power and recent approaches to over come this either lack scalability or require structural information to be encoded into the feature space. The general framework presented here overcomes the scalability issues associated with global permutation equivariance by operating more locally on sub-graphs. In addition, through operating on sub-graphs the expressive power of higher-dimensional global permutation equivariant networks is improved; this is due to fact that two non-distinguishable graphs often contain distinguishable sub-graphs. Furthermore, the proposed framework only requires a choice of $k$-hops for creating ego-network sub-graphs and a choice of representation space to be used for each layer, which makes the method easily applicable across a range of graph based domains. We experimentally validate the method on a range of graph benchmark classification tasks, demonstrating statistically indistinguishable results from the state-of-the-art on six out of seven benchmarks. Further, we demonstrate that the use of local update functions offers a significant improvement in GPU memory over global methods.


title: Magnetospheric curvature radiation by bunches as emission mechanism for repeating fast radio bursts

abstract: Coherent curvature radiation as the radiation mechanism for fast radio bursts (FRBs) has been discussed since FRBs were discovered. We study the spectral and polarization properties of repeating FRBs within the framework of coherent curvature radiation by charged bunches in the magnetosphere of a highly magnetized neutron star. The spectra can be generally characterized by multisegment broken power laws, and evolve as bunches move and the line of sight sweeps. Emitted waves are highly linear polarized if the line of sight is confined to the beam within an angle of $1/\gamma$, while circular polarized degree becomes strong for off-beam cases. The spectro-temporal pulse-to-pulse properties can be a natural consequence due to the magnetospheric geometry. We investigate the relationship between drift rate, central frequency and their temporal duration. The radius-to-frequency mapping is derived and simulated within the assumptions of both dipolar and quadrupolar magnetic configurations. The geometric results show that FRBs are emitted in field lines more curved than open field lines for a dipolar geometry. This suggests that there are most likely existing multipolar magnetic configurations in the emission region.


title: A short noncomplex proof for the solution set of homogeneous second order linear differential equations with constant coefficients

abstract: We provide a short proof, not utilizing complex numbers, for the solution set of homogeneous second order linear differential equations with constant coefficients.


title: U-shape Transformer for Underwater Image Enhancement

abstract: The light absorption and scattering of underwater impurities lead to poor underwater imaging quality. The existing data-driven based underwater image enhancement (UIE) techniques suffer from the lack of a large-scale dataset containing various underwater scenes and high-fidelity reference images. Besides, the inconsistent attenuation in different color channels and space areas is not fully considered for boosted enhancement. In this work, we constructed a large-scale underwater image (LSUI) dataset including 5004 image pairs, and reported an U-shape Transformer network where the transformer model is for the first time introduced to the UIE task. The U-shape Transformer is integrated with a channel-wise multi-scale feature fusion transformer (CMSFFT) module and a spatial-wise global feature modeling transformer (SGFMT) module, which reinforce the network's attention to the color channels and space areas with more serious attenuation. Meanwhile, in order to further improve the contrast and saturation, a novel loss function combining RGB, LAB and LCH color spaces is designed following the human vision principle. The extensive experiments on available datasets validate the state-of-the-art performance of the reported technique with more than 2dB superiority.


title: The effective dynamics of weak coupling loop quantum gravity

abstract: By taking the limit that Newton's Gravitational constant tends to zero, the weak coupling loop quantum gravity can be formulated as a $U(1)^3$ gauge theory instead of the original $SU(2)$ gauge theory. In this paper, a parametrization of the $SU(2)$ holonomy-flux variables by the $U(1)^3$ holonomy-flux variables is introduced, and the Hamiltonian operator based on this parametrization is obtained for the weak coupling loop quantum gravity. It is shown that the effective dynamics obtained from the coherent state path integrals in $U(1)^3$ and $SU(2)$ loop quantum gravity respectively are consistent to each other in the weak coupling limit, provided that the expectation values of the Hamiltonian operators on the coherent states in these two theories coincide with their classical expressions respectively.


title: Triple Classification for Scholarly Knowledge Graph Completion

abstract: Scholarly Knowledge Graphs (KGs) provide a rich source of structured information representing knowledge encoded in scientific publications. With the sheer volume of published scientific literature comprising a plethora of inhomogeneous entities and relations to describe scientific concepts, these KGs are inherently incomplete. We present exBERT, a method for leveraging pre-trained transformer language models to perform scholarly knowledge graph completion. We model triples of a knowledge graph as text and perform triple classification (i.e., belongs to KG or not). The evaluation shows that exBERT outperforms other baselines on three scholarly KG completion datasets in the tasks of triple classification, link prediction, and relation prediction. Furthermore, we present two scholarly datasets as resources for the research community, collected from public KGs and online resources.


title: Predicting High-Flow Nasal Cannula Failure in an ICU Using a Recurrent Neural Network with Transfer Learning and Input Data Perseveration: A Retrospective Analysis

abstract: High Flow Nasal Cannula (HFNC) provides non-invasive respiratory support for critically ill children who may tolerate it more readily than other Non-Invasive (NIV) techniques. Timely prediction of HFNC failure can provide an indication for increasing respiratory support. This work developed and compared machine learning models to predict HFNC failure. A retrospective study was conducted using EMR of patients admitted to a tertiary pediatric ICU from January 2010 to February 2020. A Long Short-Term Memory (LSTM) model was trained to generate a continuous prediction of HFNC failure. Performance was assessed using the area under the receiver operating curve (AUROC) at various times following HFNC initiation. The sensitivity, specificity, positive and negative predictive values (PPV, NPV) of predictions at two hours after HFNC initiation were also evaluated. These metrics were also computed in a cohort with primarily respiratory diagnoses. 834 HFNC trials [455 training, 173 validation, 206 test] met the inclusion criteria, of which 175 [103, 30, 42] (21.0%) escalated to NIV or intubation. The LSTM models trained with transfer learning generally performed better than the LR models, with the best LSTM model achieving an AUROC of 0.78, vs 0.66 for the LR, two hours after initiation. Machine learning models trained using EMR data were able to identify children at risk for failing HFNC within 24 hours of initiation. LSTM models that incorporated transfer learning, input data perseveration and ensembling showed improved performance than the LR and standard LSTM models.


title: La ecuaci\'on de Keller-Segel

abstract: The purpose of this work is the study of \textit{chemotaxis} and how to model it through the equations of Keller-Segel. \textit{Chemotaxis} is a natural process which induces the organisms to direct their movement according to certain chemicals concentrated on their surroundings. This was observed in some myxamoebas, which experiment a random walk, spreading through space, looking for food, while they are affected by chemotaxis. As a result of combining both behaviours, one obtains a competition between diffusion and aggregation. This notes try to make a summary of the main results about these equations, providing an exhaustive bibliography about them. First of all, we would like to present the model in PDEs, we will use the model set by E.F. Keller and L.A. Segel and by C.S. Patlak. Following it, we will do a probabilistic deduction in order to check that these equations could model this situation. After that, we realise that the mass remains constant along time. In dimension $2$, on a slightly simplified model, we observe several behaviours according to the initial mass $M$: If $M<8 \pi$, the diffusion dominates, if $M>8 \pi$ (and finite initial second moment) there will be aggregation, and if $M=8 \pi$ (and finite initial second moment) we get a blow-up in infinite time. Finally, motivated by the use of entropy techniques on several parts of the work, we decide to further develop them on other type of equations.


title: Time Series Prediction about Air Quality using LSTM-Based Models: A Systematic Mapping

abstract: This systematic mapping study investigates the use of Long short-term memory networks to predict time series data about air quality, trying to understand the reasons, characteristics and methods available in the scientific literature, identify gaps in the researched area and potential approaches that can be exploited on later studies.


title: An Exceptional G(2) Extension of the Standard Model from the Correspondence with Cayley-Dickson Algebras Automorphism Groups

abstract: In this article I propose a new criterion to extend the Standard Model of particle physics from a straightforward algebraic conjecture: the symmetries of physical microscopic forces originate from the automorphism groups of main Cayley-Dickson algebras, from complex numbers to octonions and sedenions. This correspondence leads to a natural enlargement of the Standard Model color sector, from a SU(3) gauge group to an exceptional Higgs-broken G(2) group, following the octonionic automorphism relation guideline. In this picture, an additional ensemble of massive G(2)-gluons emerges, which is separated from the particle dynamics of the Standard Model.


title: Incentive Mechanisms for Federated Learning: From Economic and Game Theoretic Perspective

abstract: Federated learning (FL) becomes popular and has shown great potentials in training large-scale machine learning (ML) models without exposing the owners' raw data. In FL, the data owners can train ML models based on their local data and only send the model updates rather than raw data to the model owner for aggregation. To improve learning performance in terms of model accuracy and training completion time, it is essential to recruit sufficient participants. Meanwhile, the data owners are rational and may be unwilling to participate in the collaborative learning process due to the resource consumption. To address the issues, there have been various works recently proposed to motivate the data owners to contribute their resources. In this paper, we provide a comprehensive review for the economic and game theoretic approaches proposed in the literature to design various schemes for stimulating data owners to participate in FL training process. In particular, we first present the fundamentals and background of FL, economic theories commonly used in incentive mechanism design. Then, we review applications of game theory and economic approaches applied for incentive mechanisms design of FL. Finally, we highlight some open issues and future research directions concerning incentive mechanism design of FL.


title: Mobility of screw dislocation in BCC tungsten at high temperature in presence of carbon

abstract: The interplay of screw dislocations with carbon atoms is investigated in tungsten at high temperature using in situ straining experiments in a transmission electron microscope (TEM) and through ab initio calculations. When the temperature is high enough to activate carbon diffusion, above 1373 K, carbon segregates in the core of screw dislocations and modifies their mobility, even for a carbon concentration as low as 1 appm. TEM observations reveal the reappearance of a Peierls mechanism at these high temperatures, with screw dislocations gliding viscously through nucleation and propagation of kink-pairs. The mobility of screw dislocations saturated with carbon atoms is then investigated with ab initio calculations to determine kink-pair formation, nucleation and migration energies. These energies are used in kinetic Monte-Carlo simulations and in an analytical model to obtain the velocity of screw dislocations as a function of the temperature, the applied stress and the dislocation length. The obtained mobility law parametrised on ab initio calculations compares well with experiments.


title: Photon intrinsic frequency and size in stringy photon model

abstract: Exploiting an open string which performs both rotational and pulsating motions, we investigate a photon intrinsic frequency. Explicitly evaluating the zero point fluctuation of the string which is delineated in terms of the quantum mechanical ground state energy in the vibrational mode of the string and the classical energy in the rotational mode, we find that the intrinsic frequency of the photon is given by $\omega_{\gamma}=9.00\times 10^{23}~{\rm sec}^{-1}$ and comparable to those of the baryons such as nucleon and delta baryon. Next, we calculate the photon size $\langle r^{2}\rangle^{1/2}(\rm photon)=0.17~{\rm fm}$ in a phenomenological stringy photon model.


title: Robustness of Majorana zero-energy state

abstract: Based on the principle of linearized stability proposed by Lyapounov, we investigate the robustness of Majorana zero energy state (MZES), which plays an important role in topological quantum computation. We show that the MZES is not enough robust against the external perturbations, because mathematically it is critical stable instead of the asymptotic stable, only the states with asymptotic stability can be regarded as robustness, so the MZES can not be used to carry quantum information in topological quantum computation. Our study is different from previous works that usually make the numerical test by some special perturbations, our analytical derivation is suitable for arbitrary perturbations. As an example, we demonstrate it by the stability analysis of MZES in the spin-orbit coupled semiconductor/ superconductor junction.


title: Compresion y analisis de imagenes por medio de algoritmos para la ganaderia de precision

abstract: The problem that we want to solve in this project of the subject of Data Structures and Algorithms, is to decipher some images, which have in them animals, being more specific, bovine animals; in which it is necessary to identify if the animal is healthy, that is to say, if it is in good conditions to be taken into account in the process of selection of the cattle, or if it is sick, to know if it is discarded. All this by means of an algorithm of compression, which allows to take the images and to take them to an examination of these in the code, where not always the results are going to be one hundred percent exact, but what allows this code to be efficient, is that it works with machine learning, which means that the more information it takes, the more precise the results are going to be without bringing with it general affectations. The proposed algorithms are NN and bilinear interpolation, where significant results were obtained on the execution speed. It is concluded that a better job could have been done, but with what was delivered, it is believed that it is a good result of the work.


title: Introducing Discrepancy Values of Matrices with Application to Bounding Norms of Commutators

abstract: We introduce discrepancy values, quantities inspired by the notion of the spectral spread of Hermitian matrices. We define them as the discrepancy between two consecutive Ky-Fan-like seminorms. As a result, discrepancy values share many properties with singular values and eigenvalues, yet are substantially different to merit their own study. We describe key properties of discrepancy values, and establish several tools such as representation theorems, majorization inequalities, convex formulations, etc., for working with them. As an important application, we illustrate the role of discrepancy values in deriving tight bounds on the norms of commutators.


title: Spatio-Temporal Split Learning for Autonomous Aerial Surveillance using Urban Air Mobility (UAM) Networks

abstract: Autonomous surveillance unmanned aerial vehicles (UAVs) are deployed to observe the streets of the city for any suspicious activities. This paper utilizes surveillance UAVs for the purpose of detecting the presence of a fire in the streets. An extensive database is collected from UAV surveillance drones. With the aid of artificial intelligence (AI), fire stations can swiftly identify the presence of a fire emerging in the neighborhood. Spatio-temporal split learning is applied to this scenario to preserve privacy and globally train a fire classification model. Fires are hazardous natural disasters that can spread very quickly. Swift identification of fire is required to deploy firefighters to the scene. In order to do this, strong communication between the UAV and the central server where the deep learning process occurs is required. Improving communication resilience is integral to enhancing a safe experience on the roads. Therefore, this paper explores the adequate number of clients and data ratios for split learning in this UAV setting, as well as the required network infrastructure.


title: An identity for $(-q^{5};\,q^{10})_{\infty}$

abstract: We prove that $$ \prod_{n=0}^{\infty}(1+q^{10n+5}) = \frac{\sum_{n=-\infty}^{\infty}q^{n^{2}}\, \sum_{n=-\infty}^{\infty}(-1)^{n}\, (-q)^{n(3n-1)/2}}{4\, \sum_{n\geq 0}(-q)^{\frac{n(n+1)}{2}}\sin \left\{\frac{(2n+1)3\pi}{10}\right\}\, \sum_{n\geq 0}(-q)^{\frac{n(n+1)}{2}}\sin \left\{\frac{(2n+1)\pi}{10}\right\}} \qquad |q|<1 $$ using identities due to Ramanujan.


title: Asteroid Flyby Cycler Trajectory Design Using Deep Neural Networks

abstract: Asteroid exploration has been attracting more attention in recent years. Nevertheless, we have just visited tens of asteroids while we have discovered more than one million bodies. As our current observation and knowledge should be biased, it is essential to explore multiple asteroids directly to better understand the remains of planetary building materials. One of the mission design solutions is utilizing asteroid flyby cycler trajectories with multiple Earth gravity assists. An asteroid flyby cycler trajectory design problem is a subclass of global trajectory optimization problems with multiple flybys, involving a trajectory optimization problem for a given flyby sequence and a combinatorial optimization problem to decide the sequence of the flybys. As the number of flyby bodies grows, the computation time of this optimization problem expands maliciously. This paper presents a new method to design asteroid flyby cycler trajectories utilizing a surrogate model constructed by deep neural networks approximating trajectory optimization results. Since one of the bottlenecks of machine learning approaches is the computation time to generate massive trajectory databases, we propose an efficient database generation strategy by introducing pseudo-asteroids satisfying the Karush-Kuhn-Tucker conditions. The numerical result applied to JAXA's DESTINY+ mission shows that the proposed method is practically applicable to space mission design and can significantly reduce the computational time for searching asteroid flyby sequences.

categories: astro-ph.IM astro-ph.EP cs.CE cs.LG cs.NE


title: Longitudinal Speech Biomarkers for Automated Alzheimer's Detection

abstract: We introduce a novel audio processing architecture, the Open Voice Brain Model (OVBM), improving detection accuracy for Alzheimer's (AD) longitudinal discrimination from spontaneous speech. We also outline the OVBM design methodology leading us to such architecture, which in general can incorporate multimodal biomarkers and target simultaneously several diseases and other AI tasks. Key in our methodology is the use of multiple biomarkers complementing each other, and when two of them uniquely identify different subjects in a target disease we say they are orthogonal. We illustrate the methodology by introducing 16 biomarkers, three of which are orthogonal, demonstrating simultaneous above state-of-the-art discrimination for apparently unrelated diseases such as AD and COVID-19. Inspired by research conducted at the MIT Center for Brain Minds and Machines, OVBM combines biomarker implementations of the four modules of intelligence: The brain OS chunks and overlaps audio samples and aggregates biomarker features from the sensory stream and cognitive core creating a multi-modal graph neural network of symbolic compositional models for the target task. We apply it to AD, achieving above state-of-the-art accuracy of 93.8% on raw audio, while extracting a subject saliency map that longitudinally tracks relative disease progression using multiple biomarkers, 16 in the reported AD task. The ultimate aim is to help medical practice by detecting onset and treatment impact so that intervention options can be longitudinally tested. Using the OBVM design methodology, we introduce a novel lung and respiratory tract biomarker created using 200,000+ cough samples to pre-train a model discriminating cough cultural origin. This cough dataset sets a new benchmark as the largest audio health dataset with 30,000+ subjects participating in April 2020, demonstrating for the first-time cough cultural bias.


title: A Discrete-Time Compartmental Epidemiological Model for COVID-19 with a Case Study for Portugal

abstract: In [Ecological Complexity 44 (2020) Art. 100885, DOI: 10.1016/j.ecocom.2020.100885] a continuous-time compartmental mathematical model for the spread of the Coronavirus disease 2019 (COVID-19) is presented with Portugal as case study, from 2 March to 4 May 2020, and the local stability of the Disease Free Equilibrium (DFE) is analysed. Here, we propose an analogous discrete-time model and, using a suitable Lyapunov function, we prove the global stability of the DFE point. Using COVID-19 real data, we show, through numerical simulations, the consistence of the obtained theoretical results.


title: Flight Control System Design for Autonomous Aerial Surveys of Volcanoes

abstract: The controller for a quadrotor working in severe environment is developed in this study. Here, the severe environment indicates the temperature-varying air near the volcano. The controller overcomes the intensively changing temperature above the crater of the volcano which biases the nominal dynamics (25 Celcius). The target Volcano is picked as Satsuma-iojima located in a tiny insular South to the mainland of Japan. The temperature distribution is contributed from previous research by Geological Survey of Japan. To guarantee that the control signal is under the input saturation, a path planning method is developed. Picking the eigenvalue for a system with a moving reference is a novel topic; the method to develop a controller with specific requirement is created for the first time. This method might be referred as a standard way for designers/engineers in developing controller with a moving target/reference in further study. In controlling part, a state feedback controller is designed to stabilize the height of the quadrotor. The eigenvalue of the feedback controller is picked based on the method developed in Chapter Path Planning. And a PID controller is designed to control the attitude. The result of these are verified in a simulator written in MATLAB. At last, a Kalman filter is applied in height control to combine the measurement noise from IMU and laser scanner and the system noise caused by the changing temperature. Another reason for developing a Kalman filter is that IMU readout provides with acceleration. While the velocity is not achieved by sensor directly. The result of height control with a Kalman filter is verified in MATLAB Simulink.


title: Inferring User Facial Affect in Work-like Settings

abstract: Unlike the six basic emotions of happiness, sadness, fear, anger, disgust and surprise, modelling and predicting dimensional affect in terms of valence (positivity - negativity) and arousal (intensity) has proven to be more flexible, applicable and useful for naturalistic and real-world settings. In this paper, we aim to infer user facial affect when the user is engaged in multiple work-like tasks under varying difficulty levels (baseline, easy, hard and stressful conditions), including (i) an office-like setting where they undertake a task that is less physically demanding but requires greater mental strain; (ii) an assembly-line-like setting that requires the usage of fine motor skills; and (iii) an office-like setting representing teleworking and teleconferencing. In line with this aim, we first design a study with different conditions and gather multimodal data from 12 subjects. We then perform several experiments with various machine learning models and find that: (i) the display and prediction of facial affect vary from non-working to working settings; (ii) prediction capability can be boosted by using datasets captured in a work-like context; and (iii) segment-level (spectral representation) information is crucial in improving the facial affect prediction.


title: Explainable Deep Image Classifiers for Skin Lesion Diagnosis

abstract: A key issue in critical contexts such as medical diagnosis is the interpretability of the deep learning models adopted in decision-making systems. Research in eXplainable Artificial Intelligence (XAI) is trying to solve this issue. However, often XAI approaches are only tested on generalist classifier and do not represent realistic problems such as those of medical diagnosis. In this paper, we analyze a case study on skin lesion images where we customize an existing XAI approach for explaining a deep learning model able to recognize different types of skin lesions. The explanation is formed by synthetic exemplar and counter-exemplar images of skin lesion and offers the practitioner a way to highlight the crucial traits responsible for the classification decision. A survey conducted with domain experts, beginners and unskilled people proof that the usage of explanations increases the trust and confidence in the automatic decision system. Also, an analysis of the latent space adopted by the explainer unveils that some of the most frequent skin lesion classes are distinctly separated. This phenomenon could derive from the intrinsic characteristics of each class and, hopefully, can provide support in the resolution of the most frequent misclassifications by human experts.


title: Some Generalized Multi-sum Chu-Vandermonde Identities

abstract: Some generalized multi-sum Chu-Vandermonde identities are presented and proved, generalizing some known multi-sum Chu-Vandermonde identities from literature and adding some quadratic and cubic examples of these identities. Some other closely related identities are provided. The identities are proved with the integral representation method using complex residues, a method also used in some earlier papers.


title: Cost Optimization of Water Distribution Networks: Model Refinement Is Better Than Problem-Specific Solving Techniques

abstract: Existing techniques for the cost optimization of water distribution networks either employ meta-heuristics, or try to develop problem-specific optimization techniques. Instead, we exploit recent advances in generic NLP solvers and explore a rich set of model refinement techniques. The networks that we study contain a single source and multiple demand nodes with residual pressure constraints. Indeterminism of flow values and flow direction in the network leads to non-linearity in these constraints making the optimization problem non-convex. While the physical network is cyclic, flow through the network is necessarily acyclic and thus enforces an acyclic orientation. We devise different strategies of finding acyclic orientations and explore the benefit of enforcing such orientations explicitly as a constraint. Finally, we propose a parallel link formulation that models flow in each link as two separate flows with opposing directions. This allows us to tackle numerical difficulties in optimization when flow in a link is near zero. We find that all our proposed formulations give results at par with least cost solutions obtained in the literature on benchmark networks. We also introduce a suite of large test networks since existing benchmark networks are small in size, and find that the parallel link approach outperforms all other approaches on these bigger networks, resulting in a more tractable technique of cost optimization.


title: 4D Segmentation Algorithm with application to 3D+time Image Segmentation

abstract: In this paper, we introduce and study a novel segmentation method for 4D images based on surface evolution governed by a nonlinear partial differential equation, the generalized subjective surface equation. The new method uses 4D digital image information and information from a thresholded 4D image in a local neighborhood. Thus, the 4D image segmentation is accomplished by defining the edge detector function's input as the weighted sum of the norm of gradients of presmoothed 4D image and norm of presmoothed thresholded 4D image in a local neighborhood. Additionally, we design and study a numerical method based on the finite volume approach for solving the new model. The reduced diamond cell approach is used for approximating the gradient of the solution. We use a semi-implicit finite volume scheme for the numerical discretization and show that our numerical scheme is unconditionally stable. The new 4D method was tested on artificial data and applied to real data representing 3D+time microscopy images of cell nuclei within the zebrafish pectoral fin and hind-brain. In a real application, processing 3D+time microscopy images amounts to solving a linear system with several billion unknowns and requires over $1000$ GB of memory; thus, it may not be possible to process these images on a serial machine without parallel implementation utilizing the MPI. Consequently, we develop and present in the paper OpenMP and MPI parallel implementation of designed algorithms. Finally, we include cell tracking results to show how our new method serves as a basis for finding trajectories of cells during embryogenesis.


title: Quantum Analogue of Entropy Based DDoS Detection

abstract: Distributed Denial-of-Service (DDoS) attacks can occur in quantum networks, which can pose a significant threat to its key distribution protocols. We introduce a quantum analogue of a classical entropic DDoS detection system, and apply it in the context of detecting an attack on a quantum network. In particular, we examine DDoS attacks on a quantum repeater and harness the associated entanglement entropy for the detection system. Our method contributes to the applicability of quantum information from the domain of data security to the area of network security.


title: Multi-agent Bayesian Deep Reinforcement Learning for Microgrid Energy Management under Communication Failures

abstract: Microgrids (MGs) are important players for the future transactive energy systems where a number of intelligent Internet of Things (IoT) devices interact for energy management in the smart grid. Although there have been many works on MG energy management, most studies assume a perfect communication environment, where communication failures are not considered. In this paper, we consider the MG as a multi-agent environment with IoT devices in which AI agents exchange information with their peers for collaboration. However, the collaboration information may be lost due to communication failures or packet loss. Such events may affect the operation of the whole MG. To this end, we propose a multi-agent Bayesian deep reinforcement learning (BA-DRL) method for MG energy management under communication failures. We first define a multi-agent partially observable Markov decision process (MA-POMDP) to describe agents under communication failures, in which each agent can update its beliefs on the actions of its peers. Then, we apply a double deep Q-learning (DDQN) architecture for Q-value estimation in BA-DRL, and propose a belief-based correlated equilibrium for the joint-action selection of multi-agent BA-DRL. Finally, the simulation results show that BA-DRL is robust to both power supply uncertainty and communication failure uncertainty. BA-DRL has 4.1% and 10.3% higher reward than Nash Deep Q-learning (Nash-DQN) and alternating direction method of multipliers (ADMM) respectively under 1% communication failure probability.


title: Machine unlearning via GAN

abstract: Machine learning models, especially deep models, may unintentionally remember information about their training data. Malicious attackers can thus pilfer some property about training data by attacking the model via membership inference attack or model inversion attack. Some regulations, such as the EU's GDPR, have enacted "The Right to Be Forgotten" to protect users' data privacy, enhancing individuals' sovereignty over their data. Therefore, removing training data information from a trained model has become a critical issue. In this paper, we present a GAN-based algorithm to delete data in deep models, which significantly improves deleting speed compared to retraining from scratch, especially in complicated scenarios. We have experimented on five commonly used datasets, and the experimental results show the efficiency of our method.


title: DBIA: Data-free Backdoor Injection Attack against Transformer Networks

abstract: Recently, transformer architecture has demonstrated its significance in both Natural Language Processing (NLP) and Computer Vision (CV) tasks. Though other network models are known to be vulnerable to the backdoor attack, which embeds triggers in the model and controls the model behavior when the triggers are presented, little is known whether such an attack is still valid on the transformer models and if so, whether it can be done in a more cost-efficient manner. In this paper, we propose DBIA, a novel data-free backdoor attack against the CV-oriented transformer networks, leveraging the inherent attention mechanism of transformers to generate triggers and injecting the backdoor using the poisoned surrogate dataset. We conducted extensive experiments based on three benchmark transformers, i.e., ViT, DeiT and Swin Transformer, on two mainstream image classification tasks, i.e., CIFAR10 and ImageNet. The evaluation results demonstrate that, consuming fewer resources, our approach can embed backdoors with a high success rate and a low impact on the performance of the victim transformers. Our code is available at https://anonymous.4open.science/r/DBIA-825D.


title: Solve Optimization Problems with Unknown Constraint Networks

abstract: In most optimization problems, users have a clear understanding of the function to optimize (e.g., minimize the makespan for scheduling problems). However, the constraints may be difficult to state and their modelling often requires expertise in Constraint Programming. Active constraint acquisition has been successfully used to support non-experienced users in learning constraint networks through the generation of a sequence of queries. In this paper, we propose Learn&Optimize, a method to solve optimization problems with known objective function and unknown constraint network. It uses an active constraint acquisition algorithm which learns the unknown constraints and computes boundaries for the optimal solution during the learning process. As a result, our method allows users to solve optimization problems without learning the overall constraint network.


title: Real-time intelligent big data processing: technology, platform, and applications

abstract: Human beings keep exploring the physical space using information means. Only recently, with the rapid development of information technologies and the increasing accumulation of data, human beings can learn more about the unknown world with data-driven methods. Given data timeliness, there is a growing awareness of the importance of real-time data. There are two categories of technologies accounting for data processing: batching big data and streaming processing, which have not been integrated well. Thus, we propose an innovative incremental processing technology named after Stream Cube to process both big data and stream data. Also, we implement a real-time intelligent data processing system, which is based on real-time acquisition, real-time processing, real-time analysis, and real-time decision-making. The real-time intelligent data processing technology system is equipped with a batching big data platform, data analysis tools, and machine learning models. Based on our applications and analysis, the real-time intelligent data processing system is a crucial solution to the problems of the national society and economy.


title: Deformable image registration with deep network priors: a study on longitudinal PET images

abstract: Longitudinal image registration is challenging and has not yet benefited from major performance improvements thanks to deep-learning. Inspired by Deep Image Prior, this paper introduces a different use of deep architectures as regularizers to tackle the image registration question. We propose a subject-specific deformable registration method called MIRRBA, relying on a deep pyramidal architecture to be the prior parametric model constraining the deformation field. Diverging from the supervised learning paradigm, MIRRBA does not require a learning database, but only the pair of images to be registered to optimize the network's parameters and provide a deformation field. We demonstrate the regularizing power of deep architectures and present new elements to understand the role of the architecture in deep learning methods for registration. Hence, to study the impact of the network parameters, we ran our method with different architectural configurations on a private dataset of 110 metastatic breast cancer full-body PET images with manual segmentations of the brain, bladder and metastatic lesions. We compared it against conventional iterative registration approaches and supervised deep learning-based models. Global and local registration accuracies were evaluated using the detection rate and the Dice score respectively, while registration realism was evaluated using the Jacobian's determinant. Moreover, we computed the ability of the different methods to shrink vanishing lesions with the disappearing rate. MIRRBA significantly improves the organ and lesion Dice scores of supervised models. Regarding the disappearing rate, MIRRBA more than doubles the best performing conventional approach SyNCC score. Our work therefore proposes an alternative way to bridge the performance gap between conventional and deep learning-based methods and demonstrates the regularizing power of deep architectures.


title: Is this IoT Device Likely to be Secure? Risk Score Prediction for IoT Devices Using Gradient Boosting Machines

abstract: Security risk assessment and prediction are critical for organisations deploying Internet of Things (IoT) devices. An absolute minimum requirement for enterprises is to verify the security risk of IoT devices for the reported vulnerabilities in the National Vulnerability Database (NVD). This paper proposes a novel risk prediction for IoT devices based on publicly available information about them. Our solution provides an easy and cost-efficient solution for enterprises of all sizes to predict the security risk of deploying new IoT devices. After an extensive analysis of the NVD records over the past eight years, we have created a unique, systematic, and balanced dataset for vulnerable IoT devices, including key technical features complemented with functional and descriptive features available from public resources. We then use machine learning classification models such as Gradient Boosting Decision Trees (GBDT) over this dataset and achieve 71% prediction accuracy in classifying the severity of device vulnerability score.


title: Functional Model of Residential Consumption Elasticity under Dynamic Tariffs

abstract: One of the major barriers for the retailers is to understand the consumption elasticity they can expect from their contracted demand response (DR) clients. The current trend of DR products provided by retailers are not consumer-specific, which poses additional barriers for the active engagement of consumers in these programs. The elasticity of consumers demand behavior varies from individual to individual. The utility will benefit from knowing more accurately how changes in its prices will modify the consumption pattern of its clients. This work proposes a functional model for the consumption elasticity of the DR contracted consumers. The model aims to determine the load adjustment the DR consumers can provide to the retailers or utilities for different price levels. The proposed model uses a Bayesian probabilistic approach to identify the actual load adjustment an individual contracted client can provide for different price levels it can experience. The developed framework provides the retailers or utilities with a tool to obtain crucial information on how an individual consumer will respond to different price levels. This approach is able to quantify the likelihood with which the consumer reacts to a DR signal and identify the actual load adjustment an individual contracted DR client provides for different price levels they can experience. This information can be used to maximize the control and reliability of the services the retailer or utility can offer to the System Operators.


title: The 'most classical' states of Euclidean invariant elementary quantum mechanical systems

abstract: Complex techniques of general relativity are used to determine \emph{all} the states in the two and three dimensional momentum spaces in which the equality holds in the uncertainty relations for the non-commuting basic observables of Euclidean invariant elementary quantum mechanical systems, even with non-zero intrinsic spin. It is shown that while there is a 1-parameter family of such states for any two components of the angular momentum vector operator with any angle between them, such states exist for a component of the linear and angular momenta \emph{only if} these components are orthogonal to each other and hence the problem is reduced to the two-dimensional Euclidean invariant case. We also show that the analogous states exist for a component of the linear momentum and of the centre-of-mass vector \emph{only if} the angle between them is zero or an acute angle. \emph{No} such state (represented by a square integrable and differentiable wave function) can exist for \emph{any} pair of components of the centre-of-mass vector operator. Therefore, the existence of such states depends not only on the Lie algebra, but on the choice for its generators as well.


title: Atomic and mesoscopic structure of Dy-based surface alloys on noble metals

abstract: Surface alloys are a highly tunable class of low dimensional materials with the opportunity to tune and control the spin and charge carrier functionalities on the nanoscale. Here, we focus on the atomic and mesoscopic structural details of three distinctive binary rare-earth-noble metals (RE/NM) surface alloys by employing scanning tunneling microscopy (STM) and low energy electron diffraction (LEED). Using Dysprosium as the guest element on fcc(111) noble metal substrates, we identify the formation of non-commensurate surface alloy superstructures which exhibit homogeneous moir\'e patterns for DyCu2/Cu (111) and DyAu2/Au(111), while an inhomogeneous one is found for DyAg2/Ag(111). The variations in the local structure are analyzed for all three surface alloys and the observed differences are discussed in the light of the lattice mismatches of the alloy layer with respect to the underlying substrate. For the particularly intriguing case of a Dy-Ag surface alloy, the surface alloy layer does not show a uniform long-range periodic structure, but consists of local hexagonal tiles separated by extended domain walls. These domain walls exist to relief the in-plane strain within the DyAg2 surface alloy layer. Our findings clearly demonstrate that surface alloying is an intriguing tool to tailor both the local atomic, but also the mesoscopic moir\'e structures of metallic heterostructures.


title: Skyrmions in synthetic antiferromagnets and their nucleation via electrical current and ultrafast laser illumination

abstract: Magnetic skyrmions are topological spin textures that hold great promise as nanoscale information carriers in non-volatile memory and logic devices. While room-temperature magnetic skyrmions and their current-induced manipulation were recently demonstrated, the stray field resulting from their finite magnetization as well as their topological charge limit their minimum size and reliable motion in tracks. Antiferromagnetic (AF) skyrmions allow these limitations to be lifted owing to their vanishing magnetization and net zero topological charge, promising room-temperature, ultrasmall skyrmions, fast dynamics, and insensitivity to external magnetic fields. While room-temperature AF spin textures have been recently demonstrated, the observation and controlled nucleation of AF skyrmions operable at room temperature in industry-compatible synthetic antiferromagnetic (SAF) material systems is still lacking. Here we demonstrate that isolated skyrmions can be stabilized at zero field and room temperature in a fully compensated SAF. Using X-ray microscopy techniques, we are able to observe the skyrmions in the different SAF layers and demonstrate their antiparallel alignment. The results are substantiated by micromagnetic simulations and analytical models using experimental parameters, which confirm the chiral SAF skyrmion spin texture and allow the identification of the physical mechanisms that control the SAF skyrmion size and stability. We also demonstrate the local nucleation of SAF skyrmions via local current injection as well as ultrafast laser excitations at zero field. These results will enable the utilization of SAF skyrmions in skyrmion-based devices.


title: Weakly-Supervised Cloud Detection with Fixed-Point GANs

abstract: The detection of clouds in satellite images is an essential preprocessing task for big data in remote sensing. Convolutional neural networks (CNNs) have greatly advanced the state-of-the-art in the detection of clouds in satellite images, but existing CNN-based methods are costly as they require large amounts of training images with expensive pixel-level cloud labels. To alleviate this cost, we propose Fixed-Point GAN for Cloud Detection (FCD), a weakly-supervised approach. Training with only image-level labels, we learn fixed-point translation between clear and cloudy images, so only clouds are affected during translation. Doing so enables our approach to predict pixel-level cloud labels by translating satellite images to clear ones and setting a threshold to the difference between the two images. Moreover, we propose FCD+, where we exploit the label-noise robustness of CNNs to refine the prediction of FCD, leading to further improvements. We demonstrate the effectiveness of our approach on the Landsat-8 Biome cloud detection dataset, where we obtain performance close to existing fully-supervised methods that train with expensive pixel-level labels. By fine-tuning our FCD+ with just 1% of the available pixel-level labels, we match the performance of fully-supervised methods.


title: CRISPR SWAPnDROP -- A multifunctional system for genome editing and large-scale interspecies gene transfer

abstract: The need for diverse chromosomal modifications in biotechnology, synthetic biology and basic research requires the development of new technologies. With CRISPR SWAPnDROP, we extend the limits of genome editing to large-scale in-vivo DNA transfer between bacterial species. Its modular platform approach facilitates species specific adaptation to confer genome editing in various species. In this study, we show the implementation of the CRISPR SWAPnDROP concept for the model organism Escherichia coli and the currently fastest growing and biotechnologically relevant organism Vibrio natriegens. We demonstrate the excision, transfer and integration of 151kb chromosomal DNA between E. coli strains and from E. coli to V. natriegens without size-limiting intermediate DNA extraction. With the transfer of the E. coli MG1655 wild type lac operon, we establish a functional lactose and galactose degradation pathway in V. natriegens to extend its biotechnological spectrum. We also transfer the E. coli DH5alpha lac operon and make V. natriegens capable of alpha-complementation - a step towards an ultra-fast cloning strain. Furthermore, CRISPR SWAPnDROP is designed to be the swiss army knife of genome engineering. Its spectrum of application comprises scarless, marker-free, iterative and parallel insertions and deletions, genome rearrangements, as well as gene transfer between strains and across species. The modular character facilitates DNA library applications and the recycling of standardized parts. Its novel multi-color scarless co-selection system significantly improves editing efficiency to 92% for single edits and 83% for quadruple edits and provides visual quality controls throughout the assembly and editing process.


title: TecCoBot: Technology-aided support for self-regulated learning

abstract: In addition to formal learning at universities, like in lecture halls and seminar rooms, students are regularly confronted with self-study activities. Instead of being left to their own devices, students might benefit from a proper design of such activities, including pedagogical interventions. Such designs can increase the degree of activity and the contribution of self-study activities to the achievement of learning outcomes. Especially in times of a global pandemic, self-study activities are increasingly executed at home, where students already use technology-enhanced materials, processes, and digital platforms. Thus we pick up these building blocks and introduce TecCoBot within this paper. TecCoBot is not only a chatbot, supporting students in reading texts by offering writing assignments and providing automated feedback on these, but also implements a design for self-study activities, typically only offered to a few students as face-to-face mentoring.


title: Dataset of Spatial Room Impulse Responses in a Variable Acoustics Room for Six Degrees-of-Freedom Rendering and Analysis

abstract: Room acoustics measurements are used in many areas of audio research, from physical acoustics modelling and speech enhancement to virtual reality applications. This paper documents the technical specifications and choices made in the measurement of a dataset of spatial room impulse responses (SRIRs) in a variable acoustics room. Two spherical microphone arrays are used: the mh Acoustics Eigenmike em32 and the Zylia ZM-1, capable of up to fourth- and third-order Ambisonic capture, respectively. The dataset consists of three source and seven receiver positions, repeated with five configurations of the room's acoustics with varying levels of reverberation. Possible applications of the dataset include six degrees-of-freedom (6DoF) analysis and rendering, SRIR interpolation methods, and spatial dereverberation techniques.


title: Determining radii of convergence of fractional power expansions around singular points of algebraic functions

abstract: The purpose of this paper is to introduce the branching geometry of algebraic functions around singular points and to describe a simple method of determining radii of convergence of their power expansions in terms of those singular points. Branching geometries are categorized into six types. Then a method is presented to determine radii of convergence of branch power expansions using analytic continuation and the identification of convergence-limiting singular points. Test cases exhibiting a variety of branching morphologies are analyzed, and convergence results obtained through analytic continuation are checked against Root Tests of the associated power series. All Root Tests agreed well with the results obtained by analytic continuation. Mathematica ver. 12.3 was used to implement the numeric algorithms.


title: A new class of irreducible modules over the affine-Virasoro algebra of type $A_1$

abstract: In this paper, we construct a class of non-weight modules over the affine-Virasoro algebra of type $A_1$ by taking tensor products of a finite number of irreducible modules $M(\lambda, \alpha, \beta, \gamma)$ with irreducible highest weight modules $V(\eta, \epsilon, \theta)$. We obtain the necessary and sufficient conditions for such tensor product modules to be irreducible, and determine the necessary and sufficient conditions for such two modules to be isomorphic. We also compare these modules with other known non-weight modules, showing that these irreducible modules are new.


title: SACRIFICE: A Secure Road Condition Monitoring Scheme over Fog-based VANETs

abstract: With the rapid growth of Vehicular Ad-Hoc Networks (VANETs), huge amounts of road condition data are constantly being generated and sent to the cloud for processing. However, this introduces a significant load on the network bandwidth causing delay in the network and for a time-critical application like VANET such delay may have severe impact on real-time traffic management. This delay maybe reduced by offloading some computational tasks to devices as close as possible to the vehicles. Further, security and privacy of vehicles is another important concern in such applications. Thus, this paper proposes a secure road condition monitoring scheme for fog-based vehicular networks. It considers Road-Side Units (RSUs) with computational capabilities, which act as intermediate fog nodes in between vehicles and cloud to reduce delay in decision making and thereby increases scalability. Apart from fulfilling basic security features, our scheme also supports advanced features like unlinkability and untraceability. A detailed security analysis proves that the proposed scheme can handle both internal and external adversaries. We also justify the efficiency of our scheme through theoretical overhead analysis. Finally, the scheme is simulated using an integrated SUMO and NS-3 platform to show its feasibility for practical implementations while not compromising on the network performance. The results show an average 80.96\% and 37.5\% improvement in execution time and end-to-end delay respectively while maintaining at par results for packet delivery ratio over a state-of-the-art scheme.


title: Learning Dynamic Preference Structure Embedding From Temporal Networks

abstract: The dynamics of temporal networks lie in the continuous interactions between nodes, which exhibit the dynamic node preferences with time elapsing. The challenges of mining temporal networks are thus two-fold: the dynamic structure of networks and the dynamic node preferences. In this paper, we investigate the dynamic graph sampling problem, aiming to capture the preference structure of nodes dynamically in cooperation with GNNs. Our proposed Dynamic Preference Structure (DPS) framework consists of two stages: structure sampling and graph fusion. In the first stage, two parameterized samplers are designed to learn the preference structure adaptively with network reconstruction tasks. In the second stage, an additional attention layer is designed to fuse two sampled temporal subgraphs of a node, generating temporal node embeddings for downstream tasks. Experimental results on many real-life temporal networks show that our DPS outperforms several state-of-the-art methods substantially owing to learning an adaptive preference structure. The code will be released soon at https://github.com/doujiang-zheng/Dynamic-Preference-Structure.


title: Hierarchy of correlation quantifiers comparable to negativity

abstract: Quantum systems generally exhibit different kinds of correlations. In order to compare them on equal footing, one uses the so-called distance-based approach where different types of correlations are captured by the distance to different sets of states. However, these quantifiers are usually hard to compute as their definition involves optimization aiming to find the closest states within the set. On the other hand, negativity is one of the few computable entanglement monotones, but its comparison with other correlations required further justification. Here we place negativity as part of a family of correlation measures that has a distance-based construction. We introduce a suitable distance, discuss the emerging measures and their applications, and compare them to relative entropy-based correlation quantifiers. This work is a step towards correlation measures that are simultaneously comparable and computable.


title: Structural origins of the infamous "Low Temperature Orthorhombic" to "Low Temperature Tetragonal" phase transition in high-Tc cuprates

abstract: We undertake a detailed high-resolution diffraction study of a novel plain band insulator, La$_2$MgO$_4$, which may be viewed as a structural surrogate system of the undoped end-member of the high-T$_c$ superconductors, La$_{2-x-y}$A$^{2+}_x$RE$^{3+}_y$CuO$_{4}$ (A = Ba, Sr, RE= Rare Earth). We find that La$_2$MgO$_4$ exhibits the infamous low-temperature orthorhombic (LTO) to low-temperature tetragonal (LTT) phase transition that has been linked to the suppression of superconductivity in a variety of underdoped cuprates, including the well known La$_{2-x}$Ba$_{x}$CuO$_4$ ($x=0.125$). Furthermore, we find that the LTO-to-LTT phase transition in La$_2$MgO$_4$ occurs for an octahedral tilt angle in the 4 $^{\circ}$ to 5 $^{\circ}$ range, similar to that which has previously been identified as a critical tipping point for superconductivity in these systems. We show that this phase transition, occurring in a system lacking spin correlations and competing electronic states such as charge-density waves and superconductivity, can be understood by simply navigating the density-functional theory ground-state energy landscape as a function of the order parameter amplitude. This result calls for a careful re-investigation of the origins of the phase transitions in high-T$_c$ superconductors based on the hole-doped, $n = 1$ Ruddelsden-Popper lanthanum cuprates.


title: Observation of cation-specific critical behavior at the improper ferroelectric phase transition in Gd2(MoO4)3

abstract: Gadolinium molybdate is a classical example of an improper ferroelectric and ferroelastic material. It is established that the spontaneous polarization arises as a secondary effect, induced by a structural instability in the paraelectric phase, which leads to a unit cell doubling and the formation of a polar axis. However, previous X-ray diffraction studies on gadolinium molybdate have been restricted by the limited ability to include the entire 2{\theta} range in the analysis, and thus, at atomic scale, much remains to be explored. By applying temperature dependent X-ray diffraction, we observe the transition from the paraelectric tetragonal phase to the orthorhombic ferroelectric phase. The ferroelastic strain is calculated based on the thermal evolution of the lattice parameters and Rietveld refinement of the temperature dependent data reveals that the displacement of different cations follows different critical behavior, providing new insight into the structural changes that drive the improper ferroelectricity in gadolinium molybdate.


title: Application of Gaussian Processes to online approximation of compressor maps for load-sharing in a compressor station

abstract: Devising optimal operating strategies for a compressor station relies on the knowledge of compressor characteristics. As the compressor characteristics change with time and use, it is necessary to provide accurate models of the characteristics that can be used in optimization of the operating strategy. This paper proposes a new algorithm for online learning of the characteristics of the compressors using Gaussian Processes. The performance of the new approximation is shown in a case study with three compressors. The case study shows that Gaussian Processes accurately capture the characteristics of compressors even if no knowledge about the characteristics is initially available. The results show that the flexible nature of Gaussian Processes allows them to adapt to the data online making them amenable for use in real-time optimization problems.


title: Closed-open morphisms on periodic Floer homology

abstract: In this note, we investigate homomorphisms from the periodic Floer homology (PFH) to the quantitative Heegaard Floer homology. We call the homomorphisms closed-open morphisms. Under certain assumptions on the Lagrangian link, we first follow R. Lipshitz's idea to give a cylindrical formulation of the quantitative Heegaard Floer homology. Then we construct the closed-open morphisms from the PFH to the quantitative Heegaard Floer homology. Moreover, we show that the morphisms are non-vanishing. As an application, we deduce a relation between the PFH-spectral invariants and the HF-spectral invariants.


title: LMGP: Lifted Multicut Meets Geometry Projections for Multi-Camera Multi-Object Tracking

abstract: Multi-Camera Multi-Object Tracking is currently drawing attention in the computer vision field due to its superior performance in real-world applications such as video surveillance in crowded scenes or in wide spaces. In this work, we propose a mathematically elegant multi-camera multiple object tracking approach based on a spatial-temporal lifted multicut formulation. Our model utilizes state-of-the-art tracklets produced by single-camera trackers as proposals. As these tracklets may contain ID-Switch errors, we refine them through a novel pre-clustering obtained from 3D geometry projections. As a result, we derive a better tracking graph without ID switches and more precise affinity costs for the data association phase. Tracklets are then matched to multi-camera trajectories by solving a global lifted multicut formulation that incorporates short and long-range temporal interactions on tracklets located in the same camera as well as inter-camera ones. Experimental results on the WildTrack dataset yield near-perfect performance, outperforming state-of-the-art trackers on Campus while being on par on the PETS-09 dataset.


title: Extending the Unmixing methods to Multispectral Images

abstract: In the past few decades, there has been intensive research concerning the Unmixing of hyperspectral images. Some methods such as NMF, VCA, and N-FINDR have become standards since they show robustness in dealing with the unmixing of hyperspectral images. However, the research concerning the unmixing of multispectral images is relatively scarce. Thus, we extend some unmixing methods to the multispectral images. In this paper, we have created two simulated multispectral datasets from two hyperspectral datasets whose ground truths are given. Then we apply the unmixing methods (VCA, NMF, N-FINDR) to these two datasets. By comparing and analyzing the results, we have been able to demonstrate some interesting results for the utilization of VCA, NMF, and N-FINDR with multispectral datasets. Besides, this also demonstrates the possibilities in extending these unmixing methods to the field of multispectral imaging.


title: TWEETSUMM -- A Dialog Summarization Dataset for Customer Service

abstract: In a typical customer service chat scenario, customers contact a support center to ask for help or raise complaints, and human agents try to solve the issues. In most cases, at the end of the conversation, agents are asked to write a short summary emphasizing the problem and the proposed solution, usually for the benefit of other agents that may have to deal with the same customer or issue. The goal of the present article is advancing the automation of this task. We introduce the first large scale, high quality, customer care dialog summarization dataset with close to 6500 human annotated summaries. The data is based on real-world customer support dialogs and includes both extractive and abstractive summaries. We also introduce a new unsupervised, extractive summarization method specific to dialogs.


title: On decomposition of ambient surfaces admitting A-diffeomorphisms with nontrivial attractors and repellers

abstract: It is well-known that there is a close relationship between the dynamics of diffeomorphisms satisfying the axiom $A$ and the topology of the ambient manifold. In the given article, this statement is considered for the class $\mathbb G(M^2)$ of $A$-diffeomorphisms of closed orientable surfaces such that their non-wandering set consists of $k_f\geq 2$ connected components of one-dimensional basic sets (attractors and repellers). We prove that the ambient surface of every diffeomorphism $f\in \mathbb G(M^2)$ is homeomorphic to the connected sum of $k_f$ closed orientable surfaces and $l_f$ two-dimensional tori such that the genus of each surface is determined by the dynamical properties of appropriating connected component of a basic set and $l_f$ is determined by the number and position of bunches, belonging to all connected components of basic sets. We also prove that every diffeomorphism from the class $\mathbb G(M^2)$ is $\Omega$-stable but is not structurally stable.


title: Superconducting aluminum heat switch with 3 n$\Omega$ equivalent resistance

abstract: Superconducting heat switches with extremely low normal state resistances are needed for constructing continuous nuclear demagnetization refrigerators with high cooling power. Aluminum is a suitable superconductor for the heat switch because of its high Debye temperature and its commercial availability in high purity. We have constructed a high quality Al heat switch whose design is significantly different than that of previous heat switches. In order to join the Al to Cu with low contact resistance, we plasma etched the Al to remove its oxide layer then immediately deposited Au without breaking the vacuum of the e-beam evaporator. In the normal state of the heat switch, we measured a thermal conductance of $8 T$ W/K$^2$ which is equivalent to an electrical resistance of 3 n$\Omega$ according to the Wiedemann-Franz law. In the superconducting state we measured a thermal conductance that is $2\times10^6$ times lower than that of the normal state at 50 mK.


title: Colouring Generalized Claw-Free Graphs and Graphs of Large Girth: Bounding the Diameter

abstract: For a fixed integer, the $k$-Colouring problem is to decide if the vertices of a graph can be coloured with at most $k$ colours for an integer $k$, such that no two adjacent vertices are coloured alike. A graph $G$ is $H$-free if $G$ does not contain $H$ as an induced subgraph. It is known that for all $k\geq 3$, the $k$-Colouring problem is NP-complete for $H$-free graphs if $H$ contains an induced claw or cycle. The case where $H$ contains a cycle follows from the known result that the problem is NP-complete even for graphs of arbitrarily large fixed girth. We examine to what extent the situation may change if in addition the input graph has bounded diameter.


title: On a uniform bound for exponential sums modulo $p^m$ for Deligne polynomials

abstract: Let $f$ be a polynomial of degree $d>1$ in $n$ variables over $\mathbb{Z}$. Let $f_d$ be the homogeneous part of degree $d$ of $f$ and $s$ be the dimension of the critical locus of $f_d$. In this paper, we prove Igusa's conjecture for exponential sums with the exponent $(n-s)/(2(d-1))$. This implies a weak solution for a recent conjecture raised by Cluckers and the author (2020) about an analogue of the results of Deligne (1974) and Katz (1999) for exponential sums over finite fields in the finite ring setting. Moreover, this also improves the result of Cluckers, Musta\c{t}\u{a} and the author (2019) in case $n-s>2(d-1)$. In particular, this result improves the conditions $n-s>2^d(d-1)$ of Birch (1962) and $n-s>3(d-1)2^{d-2}$ of Browning-Prendiville (2017) on the validity of the estimation for the major arcs to $(n-s)>4(d-1)$. Therefore this result may have further applications on subjects related to the Hardy-Littlewood circle method such as the Hasse principle or distribution of rational points in algebraic varieties. On the other hand, we also improve the recent work of Cluckers, Koll\'ar and Musta\c{t}\u{a} (2019) on the strong monodromy conjecture in the range $(-{\rm lct}((f)+J_f^2),0]$ in case of bad reduction and bad Schwartz-Bruhat function. Namely, in the range $(-{\rm lct}((f)+J_f^2),0]$, the real part of any pole of the Igusa local zeta functions associated with $f$ and any Schwartz-Bruhat function over any $p$-adic field is a root of the Bernstein-Sato polynomial of $f$.


title: Results of improved fractional/integer order PDE-based binarization model

abstract: In this report, we present and compare the results of an improved fractional and integer order partial differential equation (PDE)-based binarization scheme. The improved model incorporates a diffusion term in addition to the edge and binary source terms from the previous formulation. Furthermore, logarithmic local contrast edge normalization and combined isotropic and anisotropic edge detection enables simultaneous bleed-through elimination with faded text restoration for degraded document images. Comparisons of results with state-of-the-art PDE methods show improved and superior results.