title: Confederated Learning: Federated Learning with Decentralized Edge Servers

abstract: Federated learning (FL) is an emerging machine learning paradigm that allows to accomplish model training without aggregating data at a central server. Most studies on FL consider a centralized framework, in which a single server is endowed with a central authority to coordinate a number of devices to perform model training in an iterative manner. Due to stringent communication and bandwidth constraints, such a centralized framework has limited scalability as the number of devices grows. To address this issue, in this paper, we propose a ConFederated Learning (CFL) framework. The proposed CFL consists of multiple servers, in which each server is connected with an individual set of devices as in the conventional FL framework, and decentralized collaboration is leveraged among servers to make full use of the data dispersed throughout the network. We develop an alternating direction method of multipliers (ADMM) algorithm for CFL. The proposed algorithm employs a random scheduling policy which randomly selects a subset of devices to access their respective servers at each iteration, thus alleviating the need of uploading a huge amount of information from devices to servers. Theoretical analysis is presented to justify the proposed method. Numerical results show that the proposed method can converge to a decent solution significantly faster than gradient-based FL algorithms, thus boasting a substantial advantage in terms of communication efficiency.


title: Flavor- and CP-safe explanation of $g_\mu-2$ anomaly

abstract: Supersymmetry is still a viable explanation for the muon $g-2$ anomaly, if the sleptons and electroweak gauginos are $\mathcal{O}(100)$ GeV. However, for supersymmetry breaking masses this light, the SUSY flavor and CP-problem are exacerbated. To address this issue, we consider a flavor-safe gauge mediated explanation of the muon $g-2$ with additional Higgs soft supersymmetry breaking mass parameters. The setup provides a generic parameter space within minimal gauge mediation. Furthermore, we show that the problematic CP violating phase can be dynamically suppressed. We find that gauge mediation models have large portions of parameter space where the muon $g-2$ can be explained at 1 $\sigma$ level. The interplay between the slepton and the CP-odd Higgs masses also makes the majority of this model's parameter space testable at the LHC through searches for sleptons or additional Higgs bosons.


title: High-throughput study of the anomalous Hall effect

abstract: Despite being known for a long time the anomalous Hall effect still attracts attention because of its complex origins, its connection to topology and because it serves as a useful probe of the magnetic order. Here we study the anomalous Hall effect using automatic high-throughput calculation scheme. We calculate the intrinsic anomalous Hall effect in 2871 ferromagnetic materials. We use these results to study general properties of the anomalous Hall effect such as its dependence on the strength of the spin-orbit coupling or magnetization. We also examine the origin of the anomalous Hall effect in the materials with the largest effect and show that the origin of the large anomalous Hall effect is usually associated with symmetry protected band degeneracies in the non-relativistic electronic structure, typically mirror symmetry protected nodal lines. Additionally, we study the dependence of the anomalous Hall effect on the magnetization direction, showing that in many materials it differs significantly from the commonly assumed expression $\mathbf{j}^\text{AHE} \sim \mathbf{M} \times \mathbf{E}$.


title: Adaptive color transfer from images to terrain visualizations

abstract: Terrain mapping is not only dedicated to communicating how high or how steep a landscape is but can also help to narrate how we feel about a place. However, crafting effective and expressive hypsometric tints is challenging for both nonexperts and experts. In this paper, we present a two-step image-to-terrain color transfer method that can transfer color from arbitrary images to diverse terrain models. First, we present a new image color organization method that organizes discrete, irregular image colors into a continuous, regular color grid that facilitates a series of color operations, such as local and global searching, categorical color selection and sequential color interpolation. Second, we quantify a series of subjective concerns about elevation color crafting, such as "the lower, the higher" principle, color conventions, and aerial perspectives. We also define color similarity between image and terrain visualization with aesthetic quality. We then mathematically formulate image-to-terrain color transfer as a dual-objective optimization problem and offer a heuristic searching method to solve the problem. Finally, we compare elevation tints from our method with a standard color scheme on four test terrains. The evaluations show that the hypsometric tints from the proposed method can work as effectively as the standard scheme and that our tints are more visually favorable. We also showcase that our method can transfer emotion from image to terrain visualization.


title: Phase transitions in the Haldane-Hubbard model with ionic potentials

abstract: By employing the exact-diagonalization method, we revisit the ground-state phase diagram of the Haldane-Hubbard model on the honeycomb lattice with staggered sublattice potentials. The phase diagram includes the band insulator, Mott insulator, and two Chern insulator phases with Chern numbers C=2 and C=1, respectively. The character of transitions between different phases is studied by analyzing the lower-lying energy levels, excitation gaps, structure factors, and fidelity metric. We find that the C=1 phase can be continuously deformed into the C=2 phase without a gap closure in the periodic boundary condition, while a further analysis on the Berry curvatures indicates that the excitation gap closes at the phase boundary in a twisted boundary condition, accompanied by the discontinuities of structure factors. All the other phase transitions are found to be first-order ones as expected.


title: A novel ringdown amplitude-phase consistency test

abstract: The ringdown signal emitted during a binary black hole coalescence can be modeled as a linear superposition of the characteristic damped modes of the remnant black hole that get excited during the merger phase. While checking the consistency of the measured frequencies and damping times against the Kerr BH spectrum predicted by General Relativity (GR) is a cornerstone of strong-field tests of gravity, the consistency of measured excitation amplitudes and phases have been largely left unexplored. For a nonprecessing, quasi-circular binary black hole merger, we find that GR predicts a narrow region in the space of mode amplitude ratio and phase difference, independently of the spin of the binary components. % Using this unexpected result, we develop a new null test of strong-field gravity which demands that the measured amplitudes and phases of different ringdown modes should lie within this narrow region predicted by GR. We call this the \emph{amplitude-phase consistency test} and introduce a procedure for performing it using information from the ringdown signal. Lastly, we apply this test to the GW190521 event, using the multimodal ringdown parameters inferred by Capano et al. (2021) \cite{Capano:2021etf}. While ringdown measurements errors for this event are large, we show that GW190521 is consistent with the amplitude-phase consistency test. Our test is particularly well suited for accommodating multiple loud ringdown detections as those expected in the near future, and can be used complementarily to standard black-hole spectroscopy as a proxy for modified gravity, compact objects other than black holes, binary precession and eccentricity.


title: The development of the theory of automatic groups

abstract: We describe the development of the theory of automatic groups. We begin with a historical introduction, define the concepts of automatic, biautomatic and combable groups, derive basic properties, then explain how hyperbolic groups and the groups of compact 3-manifolds based on six of Thurston's eight geometries can be proved automatic. We describe software developed in Warwick to compute automatic structures, as well as the development of practical algorithms that use those structures. We explain how actions of groups on spaces displaying various notions of negative curvature can be used to prove automaticity or biautomaticity, and show how these results have been used to derive these properties for groups in some infinite families (braid groups, mapping class groups, families of Artin groups, and Coxeter groups). Throughout the text we flag up open problems as well as problems that remained open for some time but have now been resolved.


title: E2S2: Encoding-Enhanced Sequence-to-Sequence Pretraining for Language Understanding and Generation

abstract: Sequence-to-sequence (seq2seq) learning is a popular fashion for large-scale pretraining language models. However, the prior seq2seq pretraining models generally focus on reconstructive objectives on the decoder side and neglect the effect of encoder-side supervision, which we argue may lead to sub-optimal performance. To verify our hypothesis, we first empirically study the functionalities of the encoder and decoder in seq2seq pretrained language models, and find that the encoder takes an important but under-exploitation role than the decoder regarding the downstream performance and neuron activation. Therefore, we propose an encoding-enhanced seq2seq pretraining strategy, namely E2S2, which improves the seq2seq models via integrating more efficient self-supervised information into the encoders. Specifically, E2S2 adopts two self-supervised objectives on the encoder side from two aspects: 1) locally denoising the corrupted sentence (denoising objective); and 2) globally learning better sentence representations (contrastive objective). With the help of both objectives, the encoder can effectively distinguish the noise tokens and capture high-level (i.e., syntactic and semantic) knowledge, thus strengthening the ability of seq2seq model to accurately achieve the conditional generation. On a large diversity of downstream natural language understanding and generation tasks, E2S2 dominantly improves the performance of its powerful backbone models, e.g., BART and T5. For example, upon BART backbone, we achieve +1.1% averaged gain on the general language understanding evaluation (GLUE) benchmark and +1.75% F_0.5 score improvement on CoNLL2014 dataset. We also provide in-depth analyses to show the improvement stems from better linguistic representation. We hope that our work will foster future self-supervision research on seq2seq language model pretraining.


title: Skyrmion-based Leaky Integrate and Fire Neurons for Neuromorphic Applications

abstract: Spintronics is an important emerging technology for data storage and computation. In this field, magnetic skyrmion-based devices are attractive due to their small size and energy consumption. However, controlling the creation, deletion and motion of skyrmions is challenging. Here we propose a novel energy-efficient skyrmion-based device structure, and demonstrate its use as leaky integrate (LIF) and fire neuron for neuromorphic computing. Here we show that skyrmions can be confined by patterning the geometry of the free layer in a magnetic tunnel junction (MTJ), and demonstrate that the size of the skyrmion can be adjusted by applying pulsed voltage stresses. A spiking neural network (SNN) made of such skyrmion-based LIF neurons shows the capability of classifying images from the Modified National Institute of Standards and Technology (MNIST) dataset.


title: De Rham prismatic crystals over $\mathcal{O}_K$

abstract: We study de Rham prismatic crystals on $(\mathcal{O}_K)_{\bbold{\Delta}}$. We show that a de Rham crystal is controlled by a sequence of matrices $\{A_{m,1}\}_{m \geq 0}$ with $A_{0,1}$ "nilpotent". Using this, we prove that the natural functor from de Rham crystals over $(\mathcal{O}_K)_{\bbold{\Delta}}$ to the category of nearly de Rham representations is fully faithful. The key ingredient is a Sen style decompletion theorem for de Rham representations of $G_K$.


title: Skyrmion-Magnetic Tunnel Junction Synapse with Mixed Synaptic Plasticity for Neuromorphic Computing

abstract: Magnetic skyrmion-based data storage and unconventional computing devices have gained increasing attention due to their topological protection, small size, and low driving current. However, skyrmion creation, deletion, and motion are still being studied. In this study, we propose a skyrmion-based neuromorphic magnetic tunnel junction (MTJ) device with both long- and short-term plasticity (LTP and STP) (mixed synaptic plasticity). We showed that plasticity could be controlled by magnetic field, spin-orbit torque (SOT), and the voltage-controlled magnetic anisotropy (VCMA) switching mechanism. LTP depends on the skyrmion density and is manipulated by the SOT and magnetic field while STP is controlled by the VCMA. The LTP property of the device was utilized for static image recognition. By incorporating the STP feature, the device gained additional temporal filtering ability and could adapt to a dynamic environment. The skyrmions were conserved and confined to a nanotrack to minimize the skyrmion nucleation energy. The synapse device was trained and tested for emulating a deep neural network. We observed that when the skyrmion density was increased, the inference accuracy improved: 90% accuracy was achieved by the system at the highest density. We further demonstrated the dynamic environment learning and inference capabilities of the proposed device.


title: A Probabilistic Call-by-Need Lambda-Calculus -- Extended Version

abstract: To support the understanding of declarative probabilistic programming languages, we introduce a lambda-calculus with a fair binary probabilistic choice that chooses between its arguments with equal probability. The reduction strategy of the calculus is a call-by-need strategy that performs lazy evaluation and implements sharing by recursive let-expressions. Expected convergence of expressions is the limit of the sum of all successful reduction outputs weighted by their probability. We use contextual equivalence as program semantics: two expressions are contextually equivalent if and only if the expected convergence of the expressions plugged into any program context is always the same. We develop and illustrate techniques to prove equivalences including a context lemma, two derived criteria to show equivalences and a syntactic diagram-based method. This finally enables us to show correctness of a large set of program transformations with respect to the contextual equivalence.


title: Uncertainty Quantification and Resource-Demanding Computer Vision Applications of Deep Learning

abstract: Bringing deep neural networks (DNNs) into safety critical applications such as automated driving, medical imaging and finance, requires a thorough treatment of the model's uncertainties. Training deep neural networks is already resource demanding and so is also their uncertainty quantification. In this overview article, we survey methods that we developed to teach DNNs to be uncertain when they encounter new object classes. Additionally, we present training methods to learn from only a few labels with help of uncertainty quantification. Note that this is typically paid with a massive overhead in computation of an order of magnitude and more compared to ordinary network training. Finally, we survey our work on neural architecture search which is also an order of magnitude more resource demanding then ordinary network training.


title: Trapped-mode excitation in all-dielectric metamaterials with loss and gain

abstract: Non-Hermitian photonics based on combining loss and gain media within a single optical system provides a number of approaches to control and generate the flow of light. In this paper, we show that by introducing non-Hermitian perturbation into the system with loss and gain constituents, the high-quality resonances known as trapped modes can be excited without the need to change the symmetry of the unit cell geometry. To demonstrate this idea, we consider a widely used all-dielectric planar metamaterial whose unit cell consists of a pair of rectangular nanoantennas made of ordinal (with loss) and doped (with gain) silicon. Since the quality factor of the trapped-mode resonance can be controlled by changing both spatial symmetry and non-Hermiticity, varying loss and gain allows us to compensate for the influence of asymmetry and restore the quality factor of the localized mode. The results obtained suggest new ways to achieve high-quality resonances in non-Hermitian metamaterials promising for many practical applications in nanophotonics.


title: A Deep Learning Approach for Automatic Detection of Qualitative Features of Lecturing

abstract: Artificial Intelligence in higher education opens new possibilities for improving the lecturing process, such as enriching didactic materials, helping in assessing students' works or even providing directions to the teachers on how to enhance the lectures. We follow this research path, and in this work, we explore how an academic lecture can be assessed automatically by quantitative features. First, we prepare a set of qualitative features based on teaching practices and then annotate the dataset of academic lecture videos collected for this purpose. We then show how these features could be detected automatically using machine learning and computer vision techniques. Our results show the potential usefulness of our work.


title: Mechanistic framework for reduced-order models in soft materials: Application to three-dimensional granular intrusion

abstract: Soft materials often display complex behaviors that transition through apparent solid- and fluid-like regimes. While a growing number of microscale simulation methods exist for these materials, reduced-order models that encapsulate the global-scale physics are often desired to predict how external bodies interact with soft media, as occurs in diverse situations from impact and penetration problems to locomotion over natural terrains. This work proposes a systematic program to develop three-dimensional reduced-order models for soft materials from a fundamental basis using continuum symmetries and rheological principles. In particular, we derive a reduced-order technique for modeling intrusion in granular media which we term three-dimensional Resistive Force Theory (3D-RFT), which is capable of accurately and quickly predicting the resistive stress distribution on arbitrary-shaped intruding bodies. Aided by a continuum description of the granular medium, a comprehensive set of spatial symmetry constraints, and a limited amount of reference data, we develop a self-consistent and accurate 3D-RFT. We verify the model capabilities in a wide range of cases and show it can be quickly recalibrated to different media and intruder surface types. The premises leading to 3D-RFT anticipate application to other soft materials with strongly hyperlocalized intrusion behavior.

categories: cond-mat.soft physics.app-ph physics.flu-dyn physics.geo-ph


title: OutFin, a multi-device and multi-modal dataset for outdoor localization based on the fingerprinting approach

abstract: In recent years, fingerprint-based positioning has gained researchers attention since it is a promising alternative to the Global Navigation Satellite System and cellular network-based localization in urban areas. Despite this, the lack of publicly available datasets that researchers can use to develop, evaluate, and compare fingerprint-based positioning solutions constitutes a high entry barrier for studies. As an effort to overcome this barrier and foster new research efforts, this paper presents OutFin, a novel dataset of outdoor location fingerprints that were collected using two different smartphones. OutFin is comprised of diverse data types such as WiFi, Bluetooth, and cellular signal strengths, in addition to measurements from various sensors including the magnetometer, accelerometer, gyroscope, barometer, and ambient light sensor. The collection area spanned four dispersed sites with a total of 122 reference points. Each site is different in terms of its visibility to the Global Navigation Satellite System and reference points number, arrangement, and spacing. Before OutFin was made available to the public, several experiments were conducted to validate its technical quality.


title: ACIL: Analytic Class-Incremental Learning with Absolute Memorization and Privacy Protection

abstract: Class-incremental learning (CIL) learns a classification model with training data of different classes arising progressively. Existing CIL either suffers from serious accuracy loss due to catastrophic forgetting, or invades data privacy by revisiting used exemplars. Inspired by linear learning formulations, we propose an analytic class-incremental learning (ACIL) with absolute memorization of past knowledge while avoiding breaching of data privacy (i.e., without storing historical data). The absolute memorization is demonstrated in the sense that class-incremental learning using ACIL given present data would give identical results to that from its joint-learning counterpart which consumes both present and historical samples. This equality is theoretically validated. Data privacy is ensured since no historical data are involved during the learning process. Empirical validations demonstrate ACIL's competitive accuracy performance with near-identical results for various incremental task settings (e.g., 5-50 phases). This also allows ACIL to outperform the state-of-the-art methods for large-phase scenarios (e.g., 25 and 50 phases).


title: Unbalanced CO-Optimal Transport

abstract: Optimal transport (OT) compares probability distributions by computing a meaningful alignment between their samples. CO-optimal transport (COOT) takes this comparison further by inferring an alignment between features as well. While this approach leads to better alignments and generalizes both OT and Gromov-Wasserstein distances, we provide a theoretical result showing that it is sensitive to outliers that are omnipresent in real-world data. This prompts us to propose unbalanced COOT for which we provably show its robustness to noise in the compared datasets. To the best of our knowledge, this is the first such result for OT methods in incomparable spaces. With this result in hand, we provide empirical evidence of this robustness for the challenging tasks of heterogeneous domain adaptation with and without varying proportions of classes and simultaneous alignment of samples and features across single-cell measurements.


title: Uniform approximation problems of expanding Markov maps

abstract: Let $ T:[0,1]\to[0,1] $ be an expanding Markov map with a finite partition. Let $ \mu_\phi $ be the invariant Gibbs measure associated with a H\"older continuous potential $ \phi $. In this paper, we investigate the size of the uniform approximation set \[\mathcal U^\kappa(x):=\{y\in[0,1]:\forall N\gg1,~\exists n\le N, \text{ such that }|T^nx-y|<N^{-\kappa}\},\] where $ \kappa>0 $ and $ x\in[0,1] $. The critical value of $ \kappa $ such that $ \textrm{dim}_{\textrm H}\mathcal U^\kappa(x)=1 $ for $ \mu_\phi $-a.e.$ \, x $ is proven to be $ 1/\alpha_{\max} $, where $ \alpha_{\max}=-\int \phi\,d\mu_{\max}/\int\log|T'|\,d\mu_{\max} $ and $ \mu_{\max} $ is the Gibbs measure associated with the potential $ -\log|T'| $. Moreover, when $ \kappa>1/\alpha_{\max} $, we show that for $ \mu_\phi $-a.e.$ \, x $, the Hausdorff dimension of $ \mathcal U^\kappa(x) $ agrees with the multifractal spectrum of $ \mu_\phi $.


title: The u-index: a simple metric to objectively measure academic impact of individual researchers

abstract: This short paper introduces the u-index, a simple and objective metric to evaluate the impact and relevance of academic research output, as a possible alternative to widespread metrics such as the h-index or the i10-index. The proposed index is designed to address possible issues with standard metrics such as inflated ratings resulting from self-citations or by means of extended co-authorship numbers where every citation has the same impact as for works written by smaller groups, despite limited individual contributions. The new index makes also possible to differentiate scholars who would otherwise fall into the same h-index group, hence providing further insights into the actual impact of a specific individual researcher.


title: CalFAT: Calibrated Federated Adversarial Training with Label Skewness

abstract: Recent studies have shown that, like traditional machine learning, federated learning (FL) is also vulnerable to adversarial attacks. To improve the adversarial robustness of FL, federated adversarial training (FAT) methods have been proposed to apply adversarial training locally before global aggregation. Although these methods demonstrate promising results on independent identically distributed (IID) data, they suffer from training instability on non-IID data with label skewness, resulting in degraded natural accuracy. This tends to hinder the application of FAT in real-world applications where the label distribution across the clients is often skewed. In this paper, we study the problem of FAT under label skewness, and reveal one root cause of the training instability and natural accuracy degradation issues: skewed labels lead to non-identical class probabilities and heterogeneous local models. We then propose a Calibrated FAT (CalFAT) approach to tackle the instability issue by calibrating the logits adaptively to balance the classes. We show both theoretically and empirically that the optimization of CalFAT leads to homogeneous local models across the clients and better convergence points.


title: Passively Measuring IPFS Churn and Network Size

abstract: The InterPlanetary File System~(IPFS) is a popular decentralized peer-to-peer network for exchanging data. While there are many use cases for IPFS, the success of these use cases depends on the network. In this paper, we provide a passive measurement study of the IPFS network, investigating peer dynamics and curiosities of the network. With the help of our measurement, we estimate the network size and confirm the results of previous active measurement studies.


title: A new coupled three-form dark energy model and implications for the $H_0$ tension

abstract: We propose a new coupled three-form dark energy model to relieve the Hubble tension in this paper. Firstly, by performing a dynamical analysis with the coupled three-form dark energy model, we obtain four fixed points, including a saddle point representing a radiation dominated Universe, a saddle point representing a matter dominated Universe, and two attractors representing two saturated de Sitter Universes. Secondly, by confronting the coupled three-form dark energy model and the $\Lambda$ cold dark matter model (the $\Lambda$CDM model) with cosmic microwave background (CMB), baryonic acoustic oscillations (BAO), Type Ia supernovae (SN Ia) observations, we obtain $H_0= 67.8_{-0.6}^{+0.7}$($1\sigma$ level) km/s/Mpc for the coupled three-form dark energy model and $H_0=67.6_{-0.5}^{+0.5}$($1\sigma$ level) km/s/Mpc for the $\Lambda$CDM model, the former is in strong tension with the latest local measured $H_0$ value at $4.3\sigma$ confidence level, while the latter is in strong tension with the latest local measured $H_0$ value at $5.1\sigma$ level.


title: Neural Volumetric Object Selection

abstract: We introduce an approach for selecting objects in neural volumetric 3D representations, such as multi-plane images (MPI) and neural radiance fields (NeRF). Our approach takes a set of foreground and background 2D user scribbles in one view and automatically estimates a 3D segmentation of the desired object, which can be rendered into novel views. To achieve this result, we propose a novel voxel feature embedding that incorporates the neural volumetric 3D representation and multi-view image features from all input views. To evaluate our approach, we introduce a new dataset of human-provided segmentation masks for depicted objects in real-world multi-view scene captures. We show that our approach out-performs strong baselines, including 2D segmentation and 3D segmentation approaches adapted to our task.


title: Pure crossed Andreev reflection assisted transverse valley currents in $\alpha-\mathcal{T}_3$ lattices

abstract: We propose a novel method for the generation of the transverse valley currents, which is based on the pure crossed Andreev reflection (pCAR) in the superconducting hybrid junctions composed of the gapped $\alpha-\mathcal{T}_3$ lattices with ferromagnet-induced exchange interaction. The angle-resolved pCAR probability is asymmetric for a given valley, resulting in the transverse valley currents with zero net charge. This pCAR assisted charge-valley conversion is highly efficient with the valley Hall angle reaching an order of unity, suggesting potential applications for valleytronic devices.


title: A multimedia recommendation model based on collaborative graph

abstract: As one of the main solutions to the information overload problem, recommender systems are widely used in daily life. In the recent emerging micro-video recommendation scenario, micro-videos contain rich multimedia information, involving text, image, video and other multimodal data, and these rich multimodal information conceals users' deep interest in the items. Most of the current recommendation algorithms based on multimodal data use multimodal information to expand the information on the item side, but ignore the different preferences of users for different modal information, and lack the fine-grained mining of the internal connection of multimodal information. To investigate the problems in the micro-video recommendr system mentioned above, we design a hybrid recommendation model based on multimodal information, introduces multimodal information and user-side auxiliary information in the network structure, fully explores the deep interest of users, measures the importance of each dimension of user and item feature representation in the scoring prediction task, makes the application of graph neural network in the recommendation system is improved by using an attention mechanism to fuse the multi-layer state output information, allowing the shallow structural features provided by the intermediate layer to better participate in the prediction task. The recommendation accuracy is improved compared with the traditional recommendation algorithm on different data sets, and the feasibility and effectiveness of our model is verified.


title: Perovskite quantum dot topological laser

abstract: Various topological laser concepts have recently enabled the demonstration of robust light-emitting devices that are immune to structural deformations and tolerant to fabrication imperfections. Current realizations of photonic cavities with topological boundaries are often limited by outcoupling issues or poor directionality and require complex design and fabrication that hinder operation at small wavelengths. Here we propose a topological cavity design based on interface states between two one-dimensional photonic crystals with distinct Zak phases and demonstrate a lithography-free, single-mode perovskite laser emitting in the green. Few monolayers of solution processed all-inorganic cesium lead halide perovskite quantum dots are used as ultrathin gain medium. The topological laser has planar design with large output aperture, akin to vertical-cavity surface-emitting lasers (VCSELs) and is robust against variations of the thickness of the gain medium, from deeply subwavelength to thick quantum dot films. This experimental observation also unveils the topological nature of VCSELs, that is usually overlooked in the description of conventional Fabry-Perot cavity lasers. The design simplicity and topological characteristics make this perovskite quantum dot laser architecture suitable for low-cost and fabrication tolerant vertical emitting lasers operating across the visible spectral region.


title: Self-biased SAW Magnetic Field Sensors Based on Angle Dependent Magneto-acoustic Coupling

abstract: Surface-acoustic-wave (SAW) based devices have emerged as a promising technology in magnetic field sensing by integrating a magnetostrictive layer with the giant {\Delta}E/{\Delta}G effect. However, almost all SAW magnetic field sensors require a bias field to obtain high sensitivity. In addition, the true nature of magneto-acoustic coupling still presents a major challenge in understanding and designing of this kind of devices. In current work, a dynamic magnetoelastic model for the {\Delta}E/{\Delta}G effect is established in consideration of the important role of the dipole-dipole interaction. The model is also implemented into a FEM software to calculate the resonance frequency responses of multiple fabricated sensors with different {\psi} angles between of the acoustic wave vector and the induced uniaxial magnetic anisotropy. The measured results are in excellent agreement with the simulated ones. A strong resonance frequency sensitivity (RFS) of 630.4 kHz/Oe was achieved at zero bias field for the device with optimized {\psi} angle. Furthermore, the RFS measurements along different directions verify its vector-sensing capability.


title: Abundances of uranium and thorium elements in Earth estimated by geoneutrino spectroscopy

abstract: The decay of the primordial isotopes $^{238}\mathrm{U}$, $^{235}\mathrm{U}$, $^{232}\mathrm{Th}$, and $^{40}\mathrm{K}$ have contributed to the terrestrial heat budget throughout the Earth's history. Hence the individual abundance of those isotopes are key parameters in reconstructing contemporary Earth model. The geoneutrinos produced by the radioactive decays of uranium and thorium have been observed with the Kamioka Liquid-Scintillator Antineutrino Detector (KamLAND). Those measurements have been improved with more than 18-year observation time, and improvements in detector background levels mainly by an 8-year almost rector-free period now permit spectroscopy with geoneutrinos. Our results yield the first constraint on both uranium and thorium heat contributions. Herein the KamLAND result is consistent with geochemical estimations based on elemental abundances of chondritic meteorites and mantle peridotites. The High-Q model is disfavored at 99.76% C.L. and a fully radiogenic model is excluded at 5.2$\sigma$ assuming a homogeneous heat producing element distribution in the mantle.


title: Deep Learning Methods for Fingerprint-Based Indoor Positioning: A Review

abstract: Outdoor positioning systems based on the Global Navigation Satellite System have several shortcomings that have deemed their use for indoor positioning impractical. Location fingerprinting, which utilizes machine learning, has emerged as a viable method and solution for indoor positioning due to its simple concept and accurate performance. In the past, shallow learning algorithms were traditionally used in location fingerprinting. Recently, the research community started utilizing deep learning methods for fingerprinting after witnessing the great success and superiority these methods have over traditional/shallow machine learning algorithms. This paper provides a comprehensive review of deep learning methods in indoor positioning. First, the advantages and disadvantages of various fingerprint types for indoor positioning are discussed. The solutions proposed in the literature are then analyzed, categorized, and compared against various performance evaluation metrics. Since data is key in fingerprinting, a detailed review of publicly available indoor positioning datasets is presented. While incorporating deep learning into fingerprinting has resulted in significant improvements, doing so, has also introduced new challenges. These challenges along with the common implementation pitfalls are discussed. Finally, the paper is concluded with some remarks as well as future research trends.


title: Tilings of the sphere by congruent quadrilaterals II: edge combination $a^3 b$ with rational angles

abstract: Edge-to-edge tilings of the sphere by congruent quadrilaterals are completely classified in a series of three papers. This second one applies the powerful tool of trigonometric Diophantine equations to classify the case of $a^3b$-quadrilaterals with all angles being rational degrees. There are $12$ sporadic and $3$ infinite sequences of quadrilaterals admitting the $2$-layer earth map tilings together with their modifications, and $3$ sporadic quadrilaterals admitting $4$ exceptional tilings. Among them only $3$ quadrilaterals are convex. New interesting non-edge-to-edge triangular tilings are obtained as a byproduct.


title: Gathering despite a linear number of weakly Byzantine agents

abstract: We study the gathering problem to make multiple agents initially scattered in arbitrary networks gather at a single node. There exist $k$ agents with unique identifiers (IDs) in the network, and $f$ of them are weakly Byzantine agents, which behave arbitrarily except for falsifying their IDs. The agents behave in synchronous rounds, and each node does not have any memory like a whiteboard. In the literature, there exists a gathering algorithm that tolerates any number of Byzantine agents, while the fastest gathering algorithm requires $\Omega(f^2)$ non-Byzantine agents. This paper proposes an algorithm that solves the gathering problem efficiently with $\Omega(f)$ non-Byzantine agents since there is a large gap between the number of non-Byzantine agents in previous works. The proposed algorithm achieves the gathering in $O(f\cdot|\Lambda_{good}|\cdot X(N))$ rounds in case of $9f+8\leq k$ and simultaneous startup if $N$ is given to agents, where $|\Lambda_{good}|$ is the length of the largest ID among non-Byzantine agents, and $X(n)$ is the number of rounds required to explore any network composed of $n$ nodes. This algorithm is faster than the most fault-tolerant existing algorithm and requires fewer non-Byzantine agents than the fastest algorithm if $n$ is given to agents, although the guarantees on simultaneous termination and startup delay are not the same. To achieve this property, we propose a new technique to simulate a Byzantine consensus algorithm for synchronous message-passing systems on agent systems.


title: Spectral Maps for Learning on Subgraphs

abstract: In graph learning, maps between graphs and their subgraphs frequently arise. For instance, when coarsening or rewiring operations are present along the pipeline, one needs to keep track of the corresponding nodes between the original and modified graphs. Classically, these maps are represented as binary node-to-node correspondence matrices and used as-is to transfer node-wise features between the graphs. In this paper, we argue that simply changing this map representation can bring notable benefits to graph learning tasks. Drawing inspiration from recent progress in geometry processing, we introduce a spectral representation for maps that is easy to integrate into existing graph learning models. This spectral representation is a compact and straightforward plug-in replacement and is robust to topological changes of the graphs. Remarkably, the representation exhibits structural properties that make it interpretable, drawing an analogy with recent results on smooth manifolds. We demonstrate the benefits of incorporating spectral maps in graph learning pipelines, addressing scenarios where a node-to-node map is not well defined, or in the absence of exact isomorphism. Our approach bears practical benefits in knowledge distillation and hierarchical learning, where we show comparable or improved performance at a fraction of the computational cost.


title: Metabolic scaling is governed by Murray's network in animals and by hydraulic conductance and photosynthesis in plants

abstract: The prevailing theory for metabolic scaling is based on area-preserved, space-filling fractal vascular networks. However, it's known both theoretically and experimentally that animals' vascular systems obey Murray's cubic branching law. Area-preserved branching conflicts with energy minimization and hence the least-work principle. Additionally, while Kleiber's law is the dominant rule for both animals and plants, small animals are observed to follow the 2/3-power law, large animals have larger than 3/4 scaling exponents, and small plants have near-linear scaling behaviors. No known theory explains all the observations. Here, I show that animals' metabolism is determined by their Murray's vascular systems. For plants, the scaling is determined by the trunks' hydraulic conductance and the leaves' photosynthesis. Both analyses agree with data of various body sizes. Animals' scaling has a concave curvature while plants have a convex one. The empirical power laws are approximations within selected mass ranges. Generally, the 3/4-power law applies to animals of ~15 g to 10,000 kg and the 2/3-power law to those of ~1 g to 10 kg. For plants, the scaling exponent is 1 for small plants and decreases to 3/4 for those greater than ~10 kg.


title: Detecting Unknown DGAs without Context Information

abstract: New malware emerges at a rapid pace and often incorporates Domain Generation Algorithms (DGAs) to avoid blocking the malware's connection to the command and control (C2) server. Current state-of-the-art classifiers are able to separate benign from malicious domains (binary classification) and attribute them with high probability to the DGAs that generated them (multiclass classification). While binary classifiers can label domains of yet unknown DGAs as malicious, multiclass classifiers can only assign domains to DGAs that are known at the time of training, limiting the ability to uncover new malware families. In this work, we perform a comprehensive study on the detection of new DGAs, which includes an evaluation of 59,690 classifiers. We examine four different approaches in 15 different configurations and propose a simple yet effective approach based on the combination of a softmax classifier and regular expressions (regexes) to detect multiple unknown DGAs with high probability. At the same time, our approach retains state-of-the-art classification performance for known DGAs. Our evaluation is based on a leave-one-group-out cross-validation with a total of 94 DGA families. By using the maximum number of known DGAs, our evaluation scenario is particularly difficult and close to the real world. All of the approaches examined are privacy-preserving, since they operate without context and exclusively on a single domain to be classified. We round up our study with a thorough discussion of class-incremental learning strategies that can adapt an existing classifier to newly discovered classes.


title: Regularization by noise of an averaged version of the Navier-Stokes equations

abstract: In Tao 2016, the author constructs an averaged version of the deterministic three-dimensional Navier-Stokes equations (3D NSE) which experiences blow-up in finite time. In the last decades, various works have studied suitable perturbations of ill-behaved deterministic PDEs in order to prevent or delay such behavior. A promising example is given by a particular choice of stochastic transport noise closely studied in Flandoli et al. 2021. We analyze the model in Tao 2016 in view of these results and discuss the regularization skills of this noise in the context of the averaged 3D NSE.


title: Edge YOLO: Real-Time Intelligent Object Detection System Based on Edge-Cloud Cooperation in Autonomous Vehicles

abstract: Driven by the ever-increasing requirements of autonomous vehicles, such as traffic monitoring and driving assistant, deep learning-based object detection (DL-OD) has been increasingly attractive in intelligent transportation systems. However, it is difficult for the existing DL-OD schemes to realize the responsible, cost-saving, and energy-efficient autonomous vehicle systems due to low their inherent defects of low timeliness and high energy consumption. In this paper, we propose an object detection (OD) system based on edge-cloud cooperation and reconstructive convolutional neural networks, which is called Edge YOLO. This system can effectively avoid the excessive dependence on computing power and uneven distribution of cloud computing resources. Specifically, it is a lightweight OD framework realized by combining pruning feature extraction network and compression feature fusion network to enhance the efficiency of multi-scale prediction to the largest extent. In addition, we developed an autonomous driving platform equipped with NVIDIA Jetson for system-level verification. We experimentally demonstrate the reliability and efficiency of Edge YOLO on COCO2017 and KITTI data sets, respectively. According to COCO2017 standard datasets with a speed of 26.6 frames per second (FPS), the results show that the number of parameters in the entire network is only 25.67 MB, while the accuracy (mAP) is up to 47.3%.


title: Data-driven Numerical Invariant Synthesis with Automatic Generation of Attributes

abstract: We propose a data-driven algorithm for numerical invariant synthesis and verification. The algorithm is based on the ICE-DT schema for learning decision trees from samples of positive and negative states and implications corresponding to program transitions. The main issue we address is the discovery of relevant attributes to be used in the learning process of numerical invariants. We define a method for solving this problem guided by the data sample. It is based on the construction of a separator that covers positive states and excludes negative ones, consistent with the implications. The separator is constructed using an abstract domain representation of convex sets. The generalization mechanism of the decision tree learning from the constraints of the separator allows the inference of general invariants, accurate enough for proving the targeted property. We implemented our algorithm and showed its efficiency.


title: Clinical use and future requirements of relative biological effectiveness: survey among all european proton therapy centres

abstract: Background and purpose: The relative biological effectiveness (RBE) varies along the treatment field. However, in clinical practice, a constant RBE of 1.1 is assumed, which can result in undesirable side effects. This study provides an accurate overview of current clinical practice for considering proton RBE in Europe. Materials and Methods: A survey was devised and sent to all proton therapy centres in Europe that treat patients. The online questionnaire consisted of 39 questions addressing various aspects of RBE consideration in clinical practice, including treatment planning, patient follow-up and future demands. Results: All 25 proton therapy centres responded. All centres prescribed a constant RBE of 1.1, but also applied measures (except for one eye treatment centre) to counteract variable RBE effects such as avoiding beams stopping inside or in front of an organ at risk and putting restrictions on the minimum number and opening angle of incident beams for certain treatment sites. For the future, most centres (16) asked for more retrospective or prospective outcome studies investigating the potential effect of the effect of a variable RBE. To perform such studies, 18 centres asked for LET and RBE calculation and visualisation tools developed by treatment planning system vendors. Conclusion: All European proton centres are aware of RBE variability but comply with current guidelines of prescribing a constant RBE. However, they actively mitigate uncertainty and risk of side effects resulting from increased RBE by applying measures and restrictions during treatment planning. To change RBE-related clinical guidelines in the future more clinical data on RBE are explicitly demanded.


title: Functional and evolutionary genomics of the Streptomyces metabolism

abstract: This thesis is focused in the study of the evolution of the metabolic repertoire of Streptomyces, which are renowned as proficient producers of bioactive Natural Products (NPs). The main goal of my work was to contribute into the understanding of the evolutionary mechanisms behind the evolution of NP biosynthetic pathways. Specifically, the development of a bioinformatic method that helps into the discovery of new NP biosynthetic pathways from actinobacterial genome sequences with emphasis on members of the genus Streptomyces. I developed this method using a comparative and functional genomics perspective. My studies indicate that central metabolic enzymes were expanded in a genus-specific manner in Actinobacteria, and that they have been extensively recruited for the biosynthesis of NPs. Based in these observations, I developed EvoMining, a bioinformatic pipeline for the identificatoon of novel biosynthetic pathways in microbial genomes. Using EvoMining several new NP biosynthetic pathways have been predicted in different members of the phylum Actinobacteria, including the model organism S. lividans 66. To test this approach, the genome sequence of this model strain was obtained, and its analysis led to the discovery of an unprecedented system for peptide bond formation, as well as a biosynthetic pathway for an arsenic-containing metabolite. Moreover, this work also led to the identification of expansions on a conserved metabolic node in the glycolytic pathway of Streptomyces. These expansions occurred before the radiation of Streptomyces and are concomitant with the evolution of their capability to produce NPs. Experimental analyses indicate that this node evolved to mediate the interplay between central an NP metabolism.


title: Dynamics of interacting scalar field model in the realm of chiral cosmology

abstract: The strange behaviour of the universe's dark sector offers us the flexibility to address cosmological problems with different approaches. Using this flexibility, we consider a possible exchange of energy among the dark sector components as a viable candidate model. In the present work, we investigate the interaction between two scalar fields within the generalization of a two-component chiral cosmology. We also show that there exists a unique equivalence between fields and fluids description of interacting dark sector model. Later, a detailed analysis of the dynamics of the dark energy-dark matter model with coupling in both kinetic and potential parts has been performed using a method of qualitative analysis of dynamical systems. Moreover, the cosmological viability of this model is analyzed for the potential of an exponential form via the phase-space study of autonomous system for various cosmological parameters.


title: Movie moves for framed foams from multijet transversality

abstract: We use multijet transversality techniques to give a presentation by generators and relations of the categories of framed tangled webs and foams.


title: Felice Casorati's work on finite differences and its influence on Salvatore Pincherle

abstract: This paper, which is mainly based on unpublished material, focuses on the scientific influence that Felice Casorati exerted on Salvatore Pincherle. This influence can be traced, in particular, in Casorati's work on the finite-difference calculus as conceived and published between 1879 and 1880 when Pincherle was living in Pavia. Casorati's work has an interesting {\it back story} related to his entry to the 1880 {\it Grand Prix} of the French {\it Acad\'emie des Sciences} that helps us in understanding Casorati's personality. Moreover, the correspondence that Casorati exchanged with other mathematicians on his work reveals that some of the results contained in [Casorati, 1880b] had been obtained -- though in a narrower context -- in an early paper by Christoffel. Finally, the letters between Casorati and Pincherle contain a short unpublished note by Pincherle on a paper by Jules Tannery [Tannery, 1875]. This note offers the first evidence of the influence of [Casorati, 1880b] on Pincherle's work on the finite-difference calculus.


title: HiViT: Hierarchical Vision Transformer Meets Masked Image Modeling

abstract: Recently, masked image modeling (MIM) has offered a new methodology of self-supervised pre-training of vision transformers. A key idea of efficient implementation is to discard the masked image patches (or tokens) throughout the target network (encoder), which requires the encoder to be a plain vision transformer (e.g., ViT), albeit hierarchical vision transformers (e.g., Swin Transformer) have potentially better properties in formulating vision inputs. In this paper, we offer a new design of hierarchical vision transformers named HiViT (short for Hierarchical ViT) that enjoys both high efficiency and good performance in MIM. The key is to remove the unnecessary "local inter-unit operations", deriving structurally simple hierarchical vision transformers in which mask-units can be serialized like plain vision transformers. For this purpose, we start with Swin Transformer and (i) set the masking unit size to be the token size in the main stage of Swin Transformer, (ii) switch off inter-unit self-attentions before the main stage, and (iii) eliminate all operations after the main stage. Empirical studies demonstrate the advantageous performance of HiViT in terms of fully-supervised, self-supervised, and transfer learning. In particular, in running MAE on ImageNet-1K, HiViT-B reports a +0.6% accuracy gain over ViT-B and a 1.9$\times$ speed-up over Swin-B, and the performance gain generalizes to downstream tasks of detection and segmentation. Code will be made publicly available.


title: QB-II for Evaluating the Reliability of Binary-State Networks

abstract: Current real-life applications of various networks such as utility (gas, water, electric, 4G/5G) networks, the Internet of Things, social networks, and supply chains. Reliability is one of the most popular tools for evaluating network performance. The fundamental structure of these networks is a binary state network. Distinctive methods have been proposed to efficiently assess binary-state network reliability. A new algorithm called QB-II (quick binary-addition tree algorithm II) is proposed to improve the efficiency of quick BAT, which is based on BAT and outperforms many algorithms. The proposed QB-II implements the shortest minimum cuts (MCs) to separate the entire BAT into main-BAT and sub-BATs, and the source-target matrix convolution products to connect these subgraphs intelligently to improve the efficiency. Twenty benchmark problems were used to validate the performance of the QB-II.


title: Benchmarking the Robustness of LiDAR-Camera Fusion for 3D Object Detection

abstract: There are two critical sensors for 3D perception in autonomous driving, the camera and the LiDAR. The camera provides rich semantic information such as color, texture, and the LiDAR reflects the 3D shape and locations of surrounding objects. People discover that fusing these two modalities can significantly boost the performance of 3D perception models as each modality has complementary information to the other. However, we observe that current datasets are captured from expensive vehicles that are explicitly designed for data collection purposes, and cannot truly reflect the realistic data distribution due to various reasons. To this end, we collect a series of real-world cases with noisy data distribution, and systematically formulate a robustness benchmark toolkit, that simulates these cases on any clean autonomous driving datasets. We showcase the effectiveness of our toolkit by establishing the robustness benchmark on two widely-adopted autonomous driving datasets, nuScenes and Waymo, then, to the best of our knowledge, holistically benchmark the state-of-the-art fusion methods for the first time. We observe that: i) most fusion methods, when solely developed on these data, tend to fail inevitably when there is a disruption to the LiDAR input; ii) the improvement of the camera input is significantly inferior to the LiDAR one. We further propose an efficient robust training strategy to improve the robustness of the current fusion method. The benchmark and code are available at https://github.com/kcyu2014/lidar-camera-robust-benchmark


title: CMB constraints on monodromy inflation at strong coupling

abstract: We carry out a thorough numerical examination of field theory monodromy inflation at strong coupling. We perform an MCMC analysis using a Gaussian likelihood, fitting multiparameter models using CMB constraints on the spectral index and the tensor to scalar ratio. We show that models with uniquely positive Wilson coefficients are ruled out. If there are coefficients that can take on both signs, there can be a cancellation of terms that flattens the potentials and allows one to satisfy current data, and forecasts with strong constraints on the tensor to scalar ratio. Models of field theory monodromy are naturally enhanced to include a mechanism for canceling off radiative corrections to vacuum energy, via vacuum energy sequestering (VES). Although they include a much larger parameter space, we find that a similar numerical examination yields no significant change in the Bayesian evidence for VES enhanced models, with naturalness considerations making them more attractive from a theoretical perspective.


title: Multi-Agent Reinforcement Learning is a Sequence Modeling Problem

abstract: Large sequence model (SM) such as GPT series and BERT has displayed outstanding performance and generalization capabilities on vision, language, and recently reinforcement learning tasks. A natural follow-up question is how to abstract multi-agent decision making into an SM problem and benefit from the prosperous development of SMs. In this paper, we introduce a novel architecture named Multi-Agent Transformer (MAT) that effectively casts cooperative multi-agent reinforcement learning (MARL) into SM problems wherein the task is to map agents' observation sequence to agents' optimal action sequence. Our goal is to build the bridge between MARL and SMs so that the modeling power of modern sequence models can be unleashed for MARL. Central to our MAT is an encoder-decoder architecture which leverages the multi-agent advantage decomposition theorem to transform the joint policy search problem into a sequential decision making process; this renders only linear time complexity for multi-agent problems and, most importantly, endows MAT with monotonic performance improvement guarantee. Unlike prior arts such as Decision Transformer fit only pre-collected offline data, MAT is trained by online trials and errors from the environment in an on-policy fashion. To validate MAT, we conduct extensive experiments on StarCraftII, Multi-Agent MuJoCo, Dexterous Hands Manipulation, and Google Research Football benchmarks. Results demonstrate that MAT achieves superior performance and data efficiency compared to strong baselines including MAPPO and HAPPO. Furthermore, we demonstrate that MAT is an excellent few-short learner on unseen tasks regardless of changes in the number of agents. See our project page at https://sites.google.com/view/multi-agent-transformer.


title: On the origin of the reactor antineutrino anomalies in light of a new summation model with parameterized $\beta^{-}$ transitions

abstract: We investigate the possible origins of the norm and shape reactor antineutrino anomalies in the framework of a summation model (SM) where $\beta^{-}$ transitions are simulated by a phenomenological Gamow-Teller $\beta$-decay strength model. The general trends of the discrepancies to the Huber-Mueller model on the antineutrino side can be reproduced both in norm and shape. From the exact electron-antineutrino correspondence of the SM model, we predict similar distortions in the electron spectra, suggesting that biases on the reference fission-electron spectra could be at the origin of the anomalies.


title: AttentionCode: Ultra-Reliable Feedback Codes for Short-Packet Communications

abstract: Ultra-reliable short-packet communication is a major challenge in future wireless networks with critical applications. To achieve ultra-reliable communications beyond 99.999%, this paper envisions a new interaction-based communication paradigm that exploits feedback from the receiver. We present AttentionCode, a new class of feedback codes leveraging deep learning (DL) technologies. The underpinnings of AttentionCode are three architectural innovations: AttentionNet, input restructuring, and adaptation to fading channels, accompanied by several training methods, including large-batch training, distributed learning, look-ahead optimizer, training-test signal-to-noise ratio (SNR) mismatch, and curriculum learning. The training methods can potentially be generalized to other wireless communication applications with machine learning. Numerical experiments verify that AttentionCode establishes a new state of the art among all DL-based feedback codes in both additive white Gaussian noise (AWGN) channels and fading channels. In AWGN channels with noiseless feedback, for example, AttentionCode achieves a block error rate (BLER) of $10^{-7}$ when the forward channel SNR is 0 dB for a block size of 50 bits, demonstrating the potential of AttentionCode to provide ultra-reliable short-packet communications.


title: A Scheme for Deterministic N-photon State Generation Using Lithium Niobate on Insulator Device

abstract: Large-photon-number quantum state is a fundamental but non-resolved request for practical quantum information applications. Here we propose an N-photon state generation scheme that is feasible and scalable, using lithium niobate on insulator circuits. Such scheme is based on the integration of a common building block called photon-number doubling unit (PDU), for deterministic single-photon parametric down-conversion and up-conversion. The PDU relies on 10^7-optical-quality-factor resonator and mW-level on-chip power, which is within the current fabrication and experiment limits. N-photon state generation schemes, with cluster and GHZ state as examples, are shown for different quantum tasks.


title: $W$ boson mass tension caused by its right-handed gauge coupling at high energies?

abstract: The CDF collaboration's recent high-precision measurement of the $W$mass is in $7.0~\sigma$ disagreement with the Standard Model expectation. This tension will be relieved if the $W$ boson has a non-trivial right-handed gauge coupling at high energies. At TeV scales, the SM gauge symmetric four-fermion interactions induce a right-handed gauge coupling, and SM fermions compose massive composite particles. We investigate the top-quark mass produced by spontaneous symmetry breaking and compute the $W$ and $Z$ boson propagators and decays. The right-handed coupling corrections to their masses and widths are consistent with experimental measurements. We discuss how SM gauge bosons and composite particles can restore parity-preserving gauge symmetries at TeV scales.


title: Axial-vector form factor of nucleons in the isospin medium from the hard-wall AdS/QCD model

abstract: We study the axial-vector form factor of the nucleons at constant and homogenous isospin chemical potential using holographic QCD. Nucleon mass splitting in such isospin medium is taken into account. According to AdS/CFT correspondence, the critical value of the isospin chemical potential \mu_I equals to UV- boundary value of the time component of the bulk gauge field. We calculate the axial-vector form factor of the proton and neutron in such background in the framework of the hard-wall model and plot the form factors for the isospin chemical potential critical value \mu_I=m_{\pi}.


title: Dataset Condensation via Efficient Synthetic-Data Parameterization

abstract: The great success of machine learning with massive amounts of data comes at a price of huge computation costs and storage for training and tuning. Recent studies on dataset condensation attempt to reduce the dependence on such massive data by synthesizing a compact training dataset. However, the existing approaches have fundamental limitations in optimization due to the limited representability of synthetic datasets without considering any data regularity characteristics. To this end, we propose a novel condensation framework that generates multiple synthetic data with a limited storage budget via efficient parameterization considering data regularity. We further analyze the shortcomings of the existing gradient matching-based condensation methods and develop an effective optimization technique for improving the condensation of training data information. We propose a unified algorithm that drastically improves the quality of condensed data against the current state-of-the-art on CIFAR-10, ImageNet, and Speech Commands.


title: FedAUXfdp: Differentially Private One-Shot Federated Distillation

abstract: Federated learning suffers in the case of non-iid local datasets, i.e., when the distributions of the clients' data are heterogeneous. One promising approach to this challenge is the recently proposed method FedAUX, an augmentation of federated distillation with robust results on even highly heterogeneous client data. FedAUX is a partially $(\epsilon, \delta)$-differentially private method, insofar as the clients' private data is protected in only part of the training it takes part in. This work contributes a fully differentially private modification, termed FedAUXfdp. We further contribute an upper bound on the $l_2$-sensitivity of regularized multinomial logistic regression. In experiments with deep networks on large-scale image datasets, FedAUXfdp with strong differential privacy guarantees performs significantly better than other equally privatized SOTA baselines on non-iid client data in just a single communication round. Full privatization of the modified method results in a negligible reduction in accuracy at all levels of data heterogeneity.


title: Einige Bemerkungen \"uber inhomogene diophantische Approximationen

abstract: We discuss some easy statements dealing with linear inhomogeneous Diophantine approximation. Surprisingly, we did not find some of them in the literature.


title: Sampling-free Inference for Ab-Initio Potential Energy Surface Networks

abstract: Recently, it has been shown that neural networks not only approximate the ground-state wave functions of a single molecular system well but can also generalize to multiple geometries. While such generalization significantly speeds up training, each energy evaluation still requires Monte Carlo integration which limits the evaluation to a few geometries. In this work, we address the inference shortcomings by proposing the Potential learning from ab-initio Networks (PlaNet) framework, in which we simultaneously train a surrogate model in addition to the neural wave function. At inference time, the surrogate avoids expensive Monte-Carlo integration by directly estimating the energy, accelerating the process from hours to milliseconds. In this way, we can accurately model high-resolution multi-dimensional energy surfaces for larger systems that previously were unobtainable via neural wave functions. Finally, we explore an additional inductive bias by introducing physically-motivated restricted neural wave function models. We implement such a function with several additional improvements in the new PESNet++ model. In our experimental evaluation, PlaNet accelerates inference by 7 orders of magnitude for larger molecules like ethanol while preserving accuracy. Compared to previous energy surface networks, PESNet++ reduces energy errors by up to 74%.


title: Deuteration of c-C$_3$H$_2$ towards the pre-stellar core L1544

abstract: Context: In the centre of pre-stellar cores, the deuterium fractionation is enhanced due to the cold temperatures and high densities. Therefore, the chemistry of deuterated molecules can be used to probe the evolution and the kinematics in the earliest stages of star formation. Aims: We analyse emission maps of cyclopropenylidene, c-C$_3$H$_2$, to study the distribution of the deuteration throughout the prototypical pre-stellar core L1544. Methods: We use single-dish observations of c-C$_3$H$_2$, c-H$^{13}$CC$_2$H, c-C$_3$HD, and c-C$_3$D$_2$ towards the pre-stellar core L1544, performed at the IRAM 30m telescope. We derive the column density and deuterium fraction maps, and compare these observations with non-LTE radiative transfer simulations. Results: The highest deuterium fractions are found close to the dust peak at the centre of L1544, where the increased abundance of H$_2$D$^+$ ions drives the deuteration process. The peak values are N(c-C$_3$HD)/N(c-C$_3$H$_2)=0.17\pm0.01$, N(c-C$_3$D$_2$)/N(c-C$_3$H$_2)=0.025\pm0.003$ and N(c-C$_3$D$_2$)/N(c-C$_3$HD$)=0.16\pm0.03$, which is consistent with previous single point observations. The distributions of c-C$_3$HD and c-C$_3$D$_2$ indicate that the deuterated forms of c-C$_3$H$_2$ in fact trace the dust peak and not the c-C$_3$H$_2$ peak. Conclusions: The N(c-C$_3$D$_2$)/N(c-C$_3$HD) map confirms that the process of deuteration is more efficient towards the centre of the core and demonstrates that carbon-chain molecules are still present at high densities. This is likely caused by an increased abundance of He$^+$ ions destroying CO, which increases the amount of carbon atoms in the gas phase.


title: Effectiveness and Scalability of Fuzzing Techniques in CI/CD Pipelines

abstract: Fuzzing has proven to be a fundamental technique to automated software testing but also a costly one. With the increased adoption of CI/CD practices in software development, a natural question to ask is `What are the best ways to integrate fuzzing into CI/CD pipelines considering the velocity in code changes and the automated delivery/deployment practices?'. Indeed, a recent study by B\"ohme and Zhu shows that four in every five bugs have been introduced by recent code changes (i.e. regressions). In this paper, we take a close look at the integration of fuzzers to CI/CD pipelines from both automated software testing and continuous development angles. Firstly, we study an optimization opportunity to triage commits that do not require fuzzing and find, through experimental analysis, that the average fuzzing effort in CI/CD can be reduced by ~63% in three of the nine libraries we analyzed (>40% for six libraries). Secondly, we investigate the impact of fuzzing campaign duration on the CI/CD process: A shorter fuzzing campaign such as 15 minutes (as opposed to the wisdom of 24 hours in the field) facilitates a faster pipeline and can still uncover important bugs, but may also reduce its capability to detect sophisticated bugs. Lastly, we discuss a prioritization strategy that automatically assigns resources to fuzzing campaigns based on a set of predefined priority strategies. Our findings suggest that continuous fuzzing (as part of the automated testing in CI/CD) is indeed beneficial and there are many optimization opportunities to improve the effectiveness and scalability of fuzz testing.


title: PSNet: Fast Data Structuring for Hierarchical Deep Learning on Point Cloud

abstract: In order to retain more feature information of local areas on a point cloud, local grouping and subsampling are the necessary data structuring steps in most hierarchical deep learning models. Due to the disorder nature of the points in a point cloud, the significant time cost may be consumed when grouping and subsampling the points, which consequently results in poor scalability. This paper proposes a fast data structuring method called PSNet (Point Structuring Net). PSNet transforms the spatial features of the points and matches them to the features of local areas in a point cloud. PSNet achieves grouping and sampling at the same time while the existing methods process sampling and grouping in two separate steps (such as using FPS plus kNN). PSNet performs feature transformation pointwise while the existing methods uses the spatial relationship among the points as the reference for grouping. Thanks to these features, PSNet has two important advantages: 1) the grouping and sampling results obtained by PSNet is stable and permutation invariant; and 2) PSNet can be easily parallelized. PSNet can replace the data structuring methods in the mainstream point cloud deep learning models in a plug-and-play manner. We have conducted extensive experiments. The results show that PSNet can improve the training and inference speed significantly while maintaining the model accuracy.


title: The Source Stabilized Galerkin Formulation for Linear Moving Conductor Problems with Edge Elements

abstract: The phenomenon of linear motion of conductor in a magnetic field is commonly found in electric machineries such as, electromagnetic brakes, linear induction motor, electromagnetic flowmeter etc. The design and analysis of the same requires an accurate evaluation of induced currents and the associated reaction magnetic fields. The finite element method is a generally employed numerical technique for this purpose. However, it needs stabilization techniques to provide an accurate solution. In this work, such a stabilization technique is developed for the edge elements. The stability and hence the accuracy is brought in by a suitable representation of the source term. The stability and accuracy of the proposed scheme is first shown analytically and then demonstrated with the help of 2D and 3D simulations. The proposed scheme is parameter-free and it would require a graded regular mesh along the direction of motion.


title: Universally-Optimal Distributed Exact Min-Cut

abstract: We present a universally-optimal distributed algorithm for the exact weighted min-cut. The algorithm is guaranteed to complete in $\widetilde{O}(D + \sqrt{n})$ rounds on every graph, recovering the recent result of Dory, Efron, Mukhopadhyay, and Nanongkai~[STOC'21], but runs much faster on structured graphs. Specifically, the algorithm completes in $\widetilde{O}(D)$ rounds on (weighted) planar graphs or, more generally, any (weighted) excluded-minor family. We obtain this result by designing an aggregation-based algorithm: each node receives only an aggregate of the messages sent to it. While somewhat restrictive, recent work shows any such black-box algorithm can be simulated on any minor of the communication network. Furthermore, we observe this also allows for the addition of (a small number of) arbitrarily-connected virtual nodes to the network. We leverage these capabilities to design a min-cut algorithm that is significantly simpler compared to prior distributed work. We hope this paper showcases how working within this paradigm yields simple-to-design and ultra-efficient distributed algorithms for global problems. Our main technical contribution is a distributed algorithm that, given any tree $T$, computes the minimum cut that $2$-respects $T$ (i.e., cuts at most $2$ edges of $T$) in universally near-optimal time. Moreover, our algorithm gives a \emph{deterministic} $\widetilde{O}(D)$-round 2-respecting cut solution for excluded-minor families and a \emph{deterministic} $\widetilde{O}(D + \sqrt{n})$-round solution for general graphs, the latter resolving a question of Dory, et al.~[STOC'21]


title: Two improvements of the foliation based quad meshing method

abstract: Quadrilateral meshes with high level structure and feature preserving property benefit industrial applications the most. Generation of such quad mesh remains a challenge. Quad meshes generated using surface foliation have the highest level structure, however they lack of the feature preserving ability. In this paper, we analyze the boundary curvature with Gauss-Bonnet theorem to determine whether a boundary rectangle corner preserving foliation based method exists. When it exists, we adopt a modified double cover technique together with surface foliation method to generate a corner feature preserving quad mesh. The experiments demonstrate the efficacy of our algorithm.


title: Guided Diffusion Model for Adversarial Purification

abstract: With wider application of deep neural networks (DNNs) in various algorithms and frameworks, security threats have become one of the concerns. Adversarial attacks disturb DNN-based image classifiers, in which attackers can intentionally add imperceptible adversarial perturbations on input images to fool the classifiers. In this paper, we propose a novel purification approach, referred to as guided diffusion model for purification (GDMP), to help protect classifiers from adversarial attacks. The core of our approach is to embed purification into the diffusion denoising process of a Denoised Diffusion Probabilistic Model (DDPM), so that its diffusion process could submerge the adversarial perturbations with gradually added Gaussian noises, and both of these noises can be simultaneously removed following a guided denoising process. On our comprehensive experiments across various datasets, the proposed GDMP is shown to reduce the perturbations raised by adversarial attacks to a shallow range, thereby significantly improving the correctness of classification. GDMP improves the robust accuracy by 5%, obtaining 90.1% under PGD attack on the CIFAR10 dataset. Moreover, GDMP achieves 70.94% robustness on the challenging ImageNet dataset.


title: Towards Personalized Bundle Creative Generation with Contrastive Non-Autoregressive Decoding

abstract: Current bundle generation studies focus on generating a combination of items to improve user experience. In real-world applications, there is also a great need to produce bundle creatives that consist of mixture types of objects (e.g., items, slogans and templates) for achieving better promotion effect. We study a new problem named bundle creative generation: for given users, the goal is to generate personalized bundle creatives that the users will be interested in. To take both quality and efficiency into account, we propose a contrastive non-autoregressive model that captures user preferences with ingenious decoding objective. Experiments on large-scale real-world datasets verify that our proposed model shows significant advantages in terms of creative quality and generation speed.


title: Knowledge Distillation for 6D Pose Estimation by Aligning Distributions of Local Predictions

abstract: Knowledge distillation facilitates the training of a compact student network by using a deep teacher one. While this has achieved great success in many tasks, it remains completely unstudied for image-based 6D object pose estimation. In this work, we introduce the first knowledge distillation method driven by the 6D pose estimation task. To this end, we observe that most modern 6D pose estimation frameworks output local predictions, such as sparse 2D keypoints or dense representations, and that the compact student network typically struggles to predict such local quantities precisely. Therefore, instead of imposing prediction-to-prediction supervision from the teacher to the student, we propose to distill the teacher's \emph{distribution} of local predictions into the student network, facilitating its training. Our experiments on several benchmarks show that our distillation method yields state-of-the-art results with different compact student models and for both keypoint-based and dense prediction-based architectures.


title: Tropical Positivity and Determinantal Varieties

abstract: We initiate the study of positive-tropical generators as positive analogues of the concept of tropical bases. Applying this to the tropicalization of determinantal varieties, we develop criteria for characterizing their positive part. We focus on the study of low-rank matrices, in particular matrices of rank 2 and 3. Moreover, in the case square-matrices of corank 1, we fully classify the signed tropicalization of the determinantal variety, even beyond the positive part.


title: Hidden symmetries from distortions of the conformal structure

abstract: It is well established that the mass parameter breaks the conformal symmetries in the case of geodesic motion. The proper conformal Killing vectors cease to generate conserved charges when non-null geodesics are considered. We examine how the introduction of the mass is actually related to the appearance of appropriate distortions in the conformal sector, which lead to new conservation laws. As a prominent example we use a general pp-wave metric, which exploits this property to the maximum. We study the necessary geometric conditions, so that such types of distortions are applicable. We show that the relative vectors are generators of disformal transformations and prove their connection to higher order (hidden) symmetries. Except from the pp-wave geometry, we also provide an additional example in the form of the de Sitter metric. Again, the proper conformal Killing vectors can be appropriately distorted to generate conserved quantities for massive geodesics. Subsequently, we proceed by introducing an additional symmetry breaking effect. The latter is realized by considering a Bogoslovsky type of line-element, which involves a Lorentz violating parameter. We utilize once more the pp-wave case as a guide to study how the broken symmetries - this time also related to Killing vectors - are substituted by distortions of the original generators. We further analyze and discuss the necessary geometric conditions that lead to the emergence of these distortions.


title: Dynamics of order-disorder and complexity for interacting bosons in optical lattice

abstract: The present work reports on the dynamical measures of order, disorder and complexity for the interacting bosons in optical lattice. We report results both for the relaxed state as well as quench dynamics. Our key observations are: (1) Lattice depth can be taken as order-disorder parameter. (2) The superfluid to Mott insulator transition can be treated as `order-disorder' transition. Our main motivation is to find how the system organize by itself during quench and how it optimizes the complexity. We find dynamical measures of order and disorder are more sensitive tool than entropy measures. We specifically calculate the time scale of entry and exit of different phases during time evolution. Initially the system exhibits collapse revival trend, however gradually looses its ability to turn back to superfluid phase and finally Settle to Mott insulator phase.


title: Water observed in the atmosphere of {\tau} Bootis Ab with CARMENES/CAHA

abstract: Characterising the atmospheres of hot Jupiters is important in understanding the formation and migration of these exotic planets. However, there are still many open questions about the chemical and physical properties of these atmospheres. Here, we confirm the detection of water vapour in thermal emission from the non-transiting hot Jupiter {\tau} Bootis Ab with the high resolution NIR CARMENES spectrograph. Combining over 17 h of observations (560 spectra) and using a Bayesian cross-correlation to log-likelihood approach, we measure a systemic velocity of $V_{sys} = -11.51^{+0.59}_{-0.60}$ km/s and a radial velocity semi-amplitude of $K_{P} = 106.21^{+1.76}_{-1.71}$ km/s for the planet, which results in an absolute mass of $M_{P} = 6.24^{+0.17}_{-0.18} M_{J}$ and an orbital inclination of $41.6^{+1.0}_{-0.9}$ degrees. Our retrieved $V_{sys}$ shows a significant shift (+5 km/s) from the literature value, which could be caused by an inaccurate time of periastron. Within the explored model grid, we measure a preference for solar water abundance (VMR = $10^{-3}$) and no evidence for additional minor species in the atmosphere. Given the extensive orbital coverage of the data, we searched for a phase dependency in the water signal but found no strong evidence of variation with orbital phase. This detection is at odds with recent observations from SPIRou/CFHT and their tight upper limit on water abundance. We recommend further observations of the atmosphere {\tau} Bootis Ab to try and resolve these discrepancies.


title: Rethinking Saliency Map: An Context-aware Perturbation Method to Explain EEG-based Deep Learning Model

abstract: Deep learning is widely used to decode the electroencephalogram (EEG) signal. However, there are few attempts to specifically investigate how to explain the EEG-based deep learning models. We conduct a review to summarize the existing works explaining the EEG-based deep learning model. Unfortunately, we find that there is no appropriate method to explain them. Based on the characteristic of EEG data, we suggest a context-aware perturbation method to generate a saliency map from the perspective of the raw EEG signal. Moreover, we also justify that the context information can be used to suppress the artifacts in the EEG-based deep learning model. In practice, some users might want a simple version of the explanation, which only indicates a few features as salient points. To this end, we propose an optional area limitation strategy to restrict the highlighted region. To validate our idea and make a comparison with the other methods, we select three representative EEG-based models to implement experiments on the emotional EEG dataset DEAP. The results of the experiments support the advantages of our method.


title: Fast Nonlinear Vector Quantile Regression

abstract: Quantile regression (QR) is a powerful tool for estimating one or more conditional quantiles of a target variable $\mathrm{Y}$ given explanatory features $\boldsymbol{\mathrm{X}}$. A limitation of QR is that it is only defined for scalar target variables, due to the formulation of its objective function, and since the notion of quantiles has no standard definition for multivariate distributions. Recently, vector quantile regression (VQR) was proposed as an extension of QR for vector-valued target variables, thanks to a meaningful generalization of the notion of quantiles to multivariate distributions via optimal transport. Despite its elegance, VQR is arguably not applicable in practice due to several limitations: (i) it assumes a linear model for the quantiles of the target $\boldsymbol{\mathrm{Y}}$ given the features $\boldsymbol{\mathrm{X}}$; (ii) its exact formulation is intractable even for modestly-sized problems in terms of target dimensions, number of regressed quantile levels, or number of features, and its relaxed dual formulation may violate the monotonicity of the estimated quantiles; (iii) no fast or scalable solvers for VQR currently exist. In this work we fully address these limitations, namely: (i) We extend VQR to the non-linear case, showing substantial improvement over linear VQR; (ii) We propose {vector monotone rearrangement}, a method which ensures the quantile functions estimated by VQR are monotone functions; (iii) We provide fast, GPU-accelerated solvers for linear and nonlinear VQR which maintain a fixed memory footprint, and demonstrate that they scale to millions of samples and thousands of quantile levels; (iv) We release an optimized python package of our solvers as to widespread the use of VQR in real-world applications.


title: Approximating k-Edge-Connected Spanning Subgraphs via a Near-Linear Time LP Solver

abstract: In the $k$-edge-connected spanning subgraph ($k$ECSS) problem, our goal is to compute a minimum-cost sub-network that is resilient against up to $k$ link failures: Given an $n$-node $m$-edge graph with a cost function on the edges, our goal is to compute a minimum-cost $k$-edge-connected spanning subgraph. This NP-hard problem generalizes the minimum spanning tree problem and is the "uniform case" of a much broader class of survival network design problems (SNDP). A factor of two has remained the best approximation ratio for polynomial-time algorithms for the whole class of SNDP, even for a special case of $2$ECSS. The fastest $2$-approximation algorithm is however rather slow, taking $O(mn k)$ time [Khuller, Vishkin, STOC'92]. A faster time complexity of $O(n^2)$ can be obtained, but with a higher approximation guarantee of $(2k-1)$ [Gabow, Goemans, Williamson, IPCO'93]. Our main contribution is an algorithm that $(1+\epsilon)$-approximates the optimal fractional solution in $\tilde O(m/\epsilon^2)$ time (independent of $k$), which can be turned into a $(2+\epsilon)$ approximation algorithm that runs in time $\tilde O\left(\frac{m}{\epsilon^2} + \frac{k^2n^{1.5}}{\epsilon^2}\right)$ for (integral) $k$ECSS; this improves the running time of the aforementioned results while keeping the approximation ratio arbitrarily close to a factor of two.


title: A nonclassical algebraic solution of a 3-variable irregular Garnier system

abstract: In this paper, a nonclassical algebraic solution of a 3-variable irregular Garnier system is constructed. Diarra--Loray have studied classification of algebraic solutions of irregular Garnier systems. There are two type of the algebraic solutions: classical type and pull-back type. They have shown that there are exactly three nonclassical algebraic solutions for $N$-variables irregular Garnier systems with $N>1$. Explicit forms of two of the three solutions are already given. The solution constructed in the present paper is the remained algebraic solution.


title: Orbital-free approach for large-scale electrostatic simulations of quantum nanoelectronics devices

abstract: The route to reliable quantum nanoelectronic devices hinges on precise control of the electrostatic environment. For this reason, accurate methods for electrostatic simulations are essential in the design process. The most widespread methods for this purpose are the Thomas-Fermi approximation, which provides quick approximate results, and the Schr\"odinger-Poisson method, which better takes into account quantum mechanical effects. The mentioned methods suffer from relevant shortcomings: the Thomas-Fermi method fails to take into account quantum confinement effects that are crucial in heterostructures, while the Schr\"odinger-Poisson method suffers severe scalability problems. This paper outlines the application of an orbital-free approach inspired by density functional theory. By introducing gradient terms in the kinetic energy functional, our proposed method incorporates corrections to the electronic density due to quantum confinement while it preserves the scalability of a theory that can be expressed as a functional minimization problem. This method offers a new approach to addressing large-scale electrostatic simulations of quantum nanoelectronic devices.


title: ZusammenQA: Data Augmentation with Specialized Models for Cross-lingual Open-retrieval Question Answering System

abstract: This paper introduces our proposed system for the MIA Shared Task on Cross-lingual Open-retrieval Question Answering (COQA). In this challenging scenario, given an input question the system has to gather evidence documents from a multilingual pool and generate from them an answer in the language of the question. We devised several approaches combining different model variants for three main components: Data Augmentation, Passage Retrieval, and Answer Generation. For passage retrieval, we evaluated the monolingual BM25 ranker against the ensemble of re-rankers based on multilingual pretrained language models (PLMs) and also variants of the shared task baseline, re-training it from scratch using a recently introduced contrastive loss that maintains a strong gradient signal throughout training by means of mixed negative samples. For answer generation, we focused on language- and domain-specialization by means of continued language model (LM) pretraining of existing multilingual encoders. Additionally, for both passage retrieval and answer generation, we augmented the training data provided by the task organizers with automatically generated question-answer pairs created from Wikipedia passages to mitigate the issue of data scarcity, particularly for the low-resource languages for which no training data were provided. Our results show that language- and domain-specialization as well as data augmentation help, especially for low-resource languages.


title: Dynamical Model of Mild Atherosclerosis: Applied Mathematical Aspects

abstract: Atherosclerosis is a chronic inflammatory disease occurs due to plaque accumulation in the inner artery wall. In atherosclerotic plaque formation monocytes and macrophages play a significant role in controlling the disease dynamics. In the present article, the entire biochemical process of atherosclerotic plaque formation is presented in terms of an autonomous system of nonlinear ordinary differential equations involving concentrations of oxidized low-density lipoprotein (LDL), monocytes, macrophages, and foam cells as the key dependent variables. To observe the capacity of monocytes and macrophages the model has been reduced to a two-dimensional temporal model using quasi steady state approximation theory. Linear stability analysis of the two-dimensional ordinary differential equations (ODEs) model has revealed the stability of the equilibrium points in the system. We have considered both one- and two- parameter bifurcation analysis with respect to parameters associated to the rate at which macrophages phagocytose oxidised LDL and the rate at which LDL enters into the intima. The bifurcation diagrams reveal the oscillating nature of the curves representing concentration of monocytes and macrophages with respect to significant model parameters. We are able to find the threshold values at which the plaque accumulation accelerates in an uncontrollable way. Further to observe the impact of diffusion, a spatiotemporal model has been developed. Numerical investigation of the partial differential equations (PDEs) model reveals the existence of travelling wave in the system which ensures the fact that the development of atherosclerotic plaque formation follows reaction-diffusion wave.


title: Type-II see-saw: searching the LHC elusive low-mass triplet-like Higgses at $e^-e^+$ colliders

abstract: While the triplet-like Higgses up to a few hundred GeV masses are already excluded for a vast region of the model parameter space from the LHC searches, strikingly, there is a region of this parameter space that is beyond the reach of the existing LHC searches, and doubly/singly-charged and neutral Higgses as light as 200 GeV or even lighter are still allowed by the LHC data. We study several search strategies targeting different parts of this LHC elusive parameter space at two configurations of $e^-e^+$ colliders -- 500 GeV and 1 TeV centre of mass energies. We find that a vast region of this parameter space could be probed with 5$\sigma$ discovery with the early $e^-e^+$ colliders' data.


title: The Engel graph of almost simple groups

abstract: Given a finite group $G$, the Engel graph of $G$ is a directed graph encoding pairs of elements satisfying some Engel word. From the work of Detomi, Lucchini and Nemmi, the strongly connectivity of the Engel graph of an arbitrary group $G$ is reduced to the understanding of the strongly connectivity of the Engel graph of non-abelian simple groups. In this paper, we investigate the strongly connectivity of the Engel graph of finite non-abelian simple groups.


title: Electrical evolution of W and WC Schottky contacts on 4H-SiC at different annealing temperatures

abstract: In this paper, we investigate the electrical evolution of tungsten (W) and tungsten carbide (WC) Schottky contacts on 4H-SiC subjected to thermal treatments at different annealing temperatures from 475 to 700 {\deg} C. For each annealing temperature, the uniformity of the Schottky barrier height (${\phi_B}$) and ideality factor (n) was monitored by current-voltage (I-V) measurements in forward bias, performed over sets of equivalent diodes. Good values of n (below 1.05) were found for both contacts up to thermal annealing at 700 {\deg} C. On the other hand, the barrier of the two contacts behaves differently. For the W/4H-SiC diode, the ${\phi_B}$ increases with the annealing temperature (from 1.14 eV at 475 {\deg} C to 1.25 eV at 700 {\deg} C), whereas the Schottky barrier in WC/4H-SiC features a slight reduction already with thermal annealing at 475 {\deg} C, remaining almost constant at around 1.06 eV up to annealing at 700 {\deg} C. A deeper characterization was performed on the 700 {\deg} C-annealed contacts by studying the temperature-dependence of the Schottky parameters by current-voltage-temperature (I-V-T) characterization. The ${\phi_B}$ and n behaviour with temperature indicates the presence of a nanoscale lateral inhomogeneity for both Schottky contacts, which can be described by Tung's model. Finally, the temperature-dependence of the reverse characteristics could be described by the thermionic field emission model (TFE), accounting for the temperature dependent barrier height determined from forward characterization.