title: Joint Triplet Autoencoder for Histopathological Colon Cancer Nuclei Retrieval

abstract: Deep learning has shown a great improvement in the performance of visual tasks. Image retrieval is the task of extracting the visually similar images from a database for a query image. The feature matching is performed to rank the images. Various hand-designed features have been derived in past to represent the images. Nowadays, the power of deep learning is being utilized for automatic feature learning from data in the field of biomedical image analysis. Autoencoder and Siamese networks are two deep learning models to learn the latent space (i.e., features or embedding). Autoencoder works based on the reconstruction of the image from latent space. Siamese network utilizes the triplets to learn the intra-class similarity and inter-class dissimilarity. Moreover, Autoencoder is unsupervised, whereas Siamese network is supervised. We propose a Joint Triplet Autoencoder Network (JTANet) by facilitating the triplet learning in autoencoder framework. A joint supervised learning for Siamese network and unsupervised learning for Autoencoder is performed. Moreover, the Encoder network of Autoencoder is shared with Siamese network and referred as the Siamcoder network. The features are extracted by using the trained Siamcoder network for retrieval purpose. The experiments are performed over Histopathological Routine Colon Cancer dataset. We have observed the promising performance using the proposed JTANet model against the Autoencoder and Siamese models for colon cancer nuclei retrieval in histopathological images.


title: Celestial Superamplitudes

abstract: We study celestial amplitudes in (super) Yang-Mills theory using a parameterisation of the spinor helicity variables where their overall phase is not fixed by the little group action. In this approach the spin constraint $h-\bar{h}=J$ for celestial conformal primaries emerges naturally from a new Mellin transform, and the action of conformal transformations on celestial amplitudes is derived. Applying this approach to $\mathcal{N}\!=\!4$ super Yang-Mills, we show how the appropriate definition of on-shell superspace coordinates leads naturally to a formulation of chiral celestial superamplitudes and a representation of the generators of the four-dimensional superconformal algebra on the celestial sphere, which by construction annihilate all tree-level celestial superamplitudes.


title: Vanadium Dioxide Thin Films Synthesized Using Low Thermal Budget Atmospheric Oxidation

abstract: Vanadium dioxide is a complex oxide material, which shows large resistivity and optical reflectance change while transitioning from the insulator to metal phase at ~68 {\deg}C. In this work, we use a modified atmospheric thermal oxidation method to oxidize RF-sputtered Vanadium films. Structural, surface-morphology and phase-transition properties of the oxidized films as a function of oxidation duration are presented. Phase-pure VO2 films are obtained by oxidizing ~130 nm Vanadium films in short oxidation duration of ~30 seconds. Compared to previous reports on VO2 synthesis using atmospheric oxidation of Vanadium films of similar thickness, we obtain a reduction in oxidation duration by more than one order. Synthesized VO2 thin film shows resistance switching of ~3 orders of magnitude. We demonstrate optical reflectance switching in long-wave infrared wavelengths in VO2 films synthesized using atmospheric oxidation of Vanadium. The extracted refractive index of VO2 in the insulating and in the metallic phase is in good agreement with VO2 synthesized using other methods. The considerable reduction in oxidation time of VO2 synthesis while retaining good resistance and optical switching properties will help in integration of VO2 in limited thermal budget processes, enabling further applications of this phase-transition material.


title: The impact of Over The Top service providers on the Global Mobile Telecom Industry: A quantified analysis and recommendations for recovery

abstract: Telecom industry is significantly evolving all over the globe than ever. Mobile users number is increasing remarkably. Telecom operators are investing to get more users connected and to improve user experience, however, they are facing various challenges. Decrease of main revenue streams of voice calls, SMS (Short Message Service) and LDC (Long distance calls) with a significant increase in data traffic. In contrary, with free cost, OTT (Over the top) providers such as WhatsApp and Facebook communication services rendered over networks that built and owned by MNOs. Recently, OTT services gradually substituting the traditional MNOs` services and became ubiquitous with the help of the underlying data services provided by MNOs. The OTTs` services massive penetration into telecom industry is driving the MNOs to reconsider their strategies and revenue sources.


title: Ensemble Quantile Networks: Uncertainty-Aware Reinforcement Learning with Applications in Autonomous Driving

abstract: Reinforcement learning (RL) can be used to create a decision-making agent for autonomous driving. However, previous approaches provide only black-box solutions, which do not offer information on how confident the agent is about its decisions. An estimate of both the aleatoric and epistemic uncertainty of the agent's decisions is fundamental for real-world applications of autonomous driving. Therefore, this paper introduces the Ensemble Quantile Networks (EQN) method, which combines distributional RL with an ensemble approach, to obtain a complete uncertainty estimate. The distribution over returns is estimated by learning its quantile function implicitly, which gives the aleatoric uncertainty, whereas an ensemble of agents is trained on bootstrapped data to provide a Bayesian estimation of the epistemic uncertainty. A criterion for classifying which decisions that have an unacceptable uncertainty is also introduced. The results show that the EQN method can balance risk and time efficiency in different occluded intersection scenarios, by considering the estimated aleatoric uncertainty. Furthermore, it is shown that the trained agent can use the epistemic uncertainty information to identify situations that the agent has not been trained for and thereby avoid making unfounded, potentially dangerous, decisions outside of the training distribution.


title: Towards a Universal NLG for Dialogue Systems and Simulators with Future Bridging

abstract: In a dialogue system pipeline, a natural language generation (NLG) unit converts the dialogue direction and content to a corresponding natural language realization. A recent trend for dialogue systems is to first pre-train on large datasets and then fine-tune in a supervised manner using datasets annotated with application-specific features. Though novel behaviours can be learned from custom annotation, the required effort severely bounds the quantity of the training set, and the application-specific nature limits the reuse. In light of the recent success of data-driven approaches, we propose the novel future bridging NLG (FBNLG) concept for dialogue systems and simulators. The critical step is for an FBNLG to accept a future user or system utterance to bridge the present context towards. Future bridging enables self supervised training over annotation-free datasets, decoupled the training of NLG from the rest of the system. An FBNLG, pre-trained with massive datasets, is expected to apply in classical or new dialogue scenarios with minimal adaptation effort. We evaluate a prototype FBNLG to show that future bridging can be a viable approach to a universal few-shot NLG for task-oriented and chit-chat dialogues.


title: On-Shell Physics of Black Holes

abstract: On-shell scattering amplitudes have proven to be useful tools for tackling the two-body problem in general relativity. This thesis outlines how to compute relevant classical observables that are themselves on-shell, directly from amplitudes; examples considered are the momentum impulse, total radiated momentum, and angular impulse for spinning particles. As applications we derive results relevant for black hole physics, computing in the post-Minkowskian expansion of GR, and construct a worldsheet effective action for the leading spin interactions of Kerr black holes.


title: Celestial superamplitude in $\mathcal N=4$ SYM theory

abstract: Celestial amplitude is a new reformulation of momentum space scattering amplitude and offers a promising way for flat holography. In this paper, we study the celestial amplitude in $\mathcal N=4$ Super-Yang-Mills (SYM) theory aiming at understanding the role of superconformal symmetry in celestial holography. We first construct the superconformal generators acting on the celestial superfield which assembles all the on-shell fields in the multiplet together in terms of celestial variables and Grassmann parameters. These generators satisfy the superconformal algebra of $\mathcal N=4$ SYM theory. We also compute the three-point and four-point celestial super-amplitude explicitly. They can be identified as the correlation functions of the celestial superfields living at the celestial sphere. We further study the soft and collinear limits which give rise to the super-Ward identity and super-OPE on the celestial sphere, respectively. Our results initiate a new perspective of understanding the well-studied $\mathcal N=4$ SYM amplitude via 2D celestial conformal field theory.


title: Measure Concentration on the OFDM-based Random Access Channel

abstract: It is well known that CS can boost massive random access protocols. Usually, the protocols operate in some overloaded regime where the sparsity can be exploited. In this paper, we consider a different approach by taking an orthogonal FFT base, subdivide its image into appropriate sub-channels and let each subchannel take only a fraction of the load. To show that this approach can actually achieve the full capacity we provide i) new concentration inequalities, and ii) devise a sparsity capture effect, i.e where the sub-division can be driven such that the activity in each each sub-channel is sparse by design. We show by simulations that the system is scalable resulting in a coarsely 30-fold capacity increase.


title: Positive magnetoresistance induced by hydrodynamic fluctuations in chiral media

abstract: We analyze the combined effects of hydrodynamic fluctuations and chiral magnetic effect (CME) for a chiral medium in the presence of a background magnetic field. Based on the recently developed non-equilibrium effective field theory, we show fluctuations give rise to a CME-related positive contribution to magnetoresistance, while the early studies without accounting for the fluctuations find a CME-related negative magnetoresistance. At zero axial relaxation rate, the fluctuations contribute to the transverse conductivity in addition to the longitudinal one.


title: Stance Detection with BERT Embeddings for Credibility Analysis of Information on Social Media

abstract: The evolution of electronic media is a mixed blessing. Due to the easy access, low cost, and faster reach of the information, people search out and devour news from online social networks. In contrast, the increasing acceptance of social media reporting leads to the spread of fake news. This is a minacious problem that causes disputes and endangers societal stability and harmony. Fake news spread has gained attention from researchers due to its vicious nature. proliferation of misinformation in all media, from the internet to cable news, paid advertising and local news outlets, has made it essential for people to identify the misinformation and sort through the facts. Researchers are trying to analyze the credibility of information and curtail false information on such platforms. Credibility is the believability of the piece of information at hand. Analyzing the credibility of fake news is challenging due to the intent of its creation and the polychromatic nature of the news. In this work, we propose a model for detecting fake news. Our method investigates the content of the news at the early stage i.e. when the news is published but is yet to be disseminated through social media. Our work interprets the content with automatic feature extraction and the relevance of the text pieces. In summary, we introduce stance as one of the features along with the content of the article and employ the pre-trained contextualized word embeddings BERT to obtain the state-of-art results for fake news detection. The experiment conducted on the real-world dataset indicates that our model outperforms the previous work and enables fake news detection with an accuracy of 95.32%.


title: Nanomaterials decoration on commercial cotton bandages for pain and infection management

abstract: Cotton gauze bandages (CGB) are one of the most widely used wound dressing materials. These bandages are placed over a wound site to keep it clean and facilitate the healing process. However, it is used along with antibacterial agents (ointment) to prevent post-dressing infections. Further, other medications have to be orally administered for managing pain and wound healing. Therefore, in the current work, nanomaterials having drug releasing and antibacterial properties is coated onto the cotton gauze bandage to minimize the local pain and post-dressing infections at a wound site. We fabricated diclofenac sodium (an anti-inflammatory drug) loaded biodegradable, polycaprolactone (PCL) nanofibers mat through electrospinning and deposited it over the surface of a CGB that was initially coated by chitosan and decorated with ZnO nanoparticles. Chitosan coating over the CGB provides the antibacterial properties while the drug loaded nanofibers mat releases diclofenac sodium under a simulated drug release condition. In addition, the decorated ZnO nanoparticles have ultra violet radiation blocking properties. The modified bandage was characterised by SEM, EDAX, DSC, UV spectroscopy, and FTIR. The antibacterial property of the bandage was evaluated through zone of inhibition test during the anti-bacterial study. Thereafter, drug release and degradation studies revealed the modified bandage could provide sustained drug release for 15 days, perhaps through surface erosion and later bulk degradation mechanism. Thus, the nanomaterials decorated CGB can be a better alternative to native CGB for wound dressing applications.


title: On the convergence of the regularized entropy-based moment method for kinetic equations

abstract: The entropy-based moment method is a well-known discretization for the velocity variable in kinetic equations which has many desirable theoretical properties but is difficult to implement with high-order numerical methods. The regularized entropy-based moment method was recently introduced to remove one of the main challenges in the implementation of the entropy-based moment method, namely the requirement of the realizability of the numerical solution. In this work we use the method of relative entropy to prove the convergence of the regularized method to the original method as the regularization parameter goes to zero and give convergence rates. Our main assumptions are the boundedness of the velocity domain and that the original moment solution is Lipschitz continuous in space and bounded away from the boundary of realizability. We provide results from numerical simulations showing that the convergence rates we prove are optimal.


title: Molecular Excited State Calculations with Adaptive Wavefunctions on a Quantum Eigensolver Emulation: Reducing Circuit Depth and Separating Spin States

abstract: Ab initio electronic excited state calculations are necessary for the quantitative study of photochemical reactions, but their accurate computation on classical computers is plagued by prohibitive scaling. The Variational Quantum Deflation (VQD) is an extension of the Variational Quantum Eigensolver (VQE) for calculating electronic excited state energies, and has the potential to address some of these scaling challenges using quantum computers. However, quantum computers available in the near term can only support a limited number of circuit operations, so reducing the quantum computational cost in VQD methods is critical to their realisation. In this work, we investigate the use of adaptive quantum circuit growth (ADAPT-VQE) in excited state VQD calculations, a strategy that has been successful previously in reducing the resource for ground state energy VQE calculations. We also invoke spin restrictions to separate the recovery of eigenstates with different spin symmetry to reduce the number of calculations and accumulation of errors. We created a quantum eigensolver emulation package - Quantum Eigensolver Building on Achievements of Both quantum computing and quantum chemistry (QEBAB) - for testing the proposed adaptive procedure against two VQD methods that use fixed-length quantum circuits. For a lithium hydride test case we found that the spin-restricted adaptive growth variant of VQD uses the most compact circuits by far, consistently recovers adequate electron correlation energy for different nuclear geometries and eigenstates while isolating the singlet and triplet manifold. This work is a further step towards developing techniques which improve the efficiency of hybrid quantum algorithms for excited state quantum chemistry, opening up the possibility of exploiting real quantum computers for electronic excited state calculations sooner than previously anticipated.


title: Fast-Racing: An Open-source Strong Baseline for SE(3) Planning in Autonomous Drone Racing

abstract: With the autonomy of aerial robots advances in recent years, autonomous drone racing has drawn increasing attention. In a professional pilot competition, a skilled operator always controls the drone to agilely avoid obstacles in aggressive attitudes, for reaching the destination as fast as possible. Autonomous flight like elite pilots requires planning in SE(3), whose non-triviality and complexity hindering a convincing solution in our community by now. To bridge this gap, this paper proposes an open-source baseline, which includes a high-performance SE(3) planner and a challenging simulation platform tailored for drone racing. We specify the SE(3) trajectory generation as a soft-penalty optimization problem, and speed up the solving process utilizing its underlying parallel structure. Moreover, to provide a testbed for challenging the planner, we develop delicate drone racing tracks which mimic real-world set-up and necessities planning in SE(3). Besides, we provide necessary system components such as common map interfaces and a baseline controller, to make our work plug-in-and-use. With our baseline, we hope to future foster the research of SE(3) planning and the competition of autonomous drone racing.


title: Maximum and Leaky Maximum Propagation

abstract: In this work, we present an alternative to conventional residual connections, which is inspired by maxout nets. This means that instead of the addition in residual connections, our approach only propagates the maximum value or, in the leaky formulation, propagates a percentage of both. In our evaluation, we show on different public data sets that the presented approaches are comparable to the residual connections and have other interesting properties, such as better generalization with a constant batch normalization, faster learning, and also the possibility to generalize without additional activation functions. In addition, the proposed approaches work very well if ensembles together with residual networks are formed. https://atreus.informatik.uni-tuebingen.de/seafile/d/8e2ab8c3fdd444e1a135/?p=%2FMaximumPropagation&mode=list


title: On Explaining Random Forests with SAT

abstract: Random Forest (RFs) are among the most widely used Machine Learning (ML) classifiers. Even though RFs are not interpretable, there are no dedicated non-heuristic approaches for computing explanations of RFs. Moreover, there is recent work on polynomial algorithms for explaining ML models, including naive Bayes classifiers. Hence, one question is whether finding explanations of RFs can be solved in polynomial time. This paper answers this question negatively, by proving that computing one PI-explanation of an RF is D^P-complete. Furthermore, the paper proposes a propositional encoding for computing explanations of RFs, thus enabling finding PI-explanations with a SAT solver. This contrasts with earlier work on explaining boosted trees (BTs) and neural networks (NNs), which requires encodings based on SMT/MILP. Experimental results, obtained on a wide range of publicly available datasets, demontrate that the proposed SAT-based approach scales to RFs of sizes common in practical applications. Perhaps more importantly, the experimental results demonstrate that, for the vast majority of examples considered, the SAT-based approach proposed in this paper significantly outperforms existing heuristic approaches.


title: Energy-momentum tensor of the nucleon on the light front: Abel tomography case

abstract: We investigate the two-dimensional energy-momentum-tensor (EMT) distributions of the nucleon on the light front, using the Abel transforms of the three-dimensional EMT ones. We explicitly show that the main features of all EMT distributions are kept intact in the course of the Abel transform. We also examine the equivalence between the global and local conditions for the nucleon stability in the three-dimensional Breit frame and in the two-dimensional transverse plane on the light front. We also discuss the two-dimensional force fields inside a nucleon on the light front.


title: Near-Optimal Design of Safe Output Feedback Controllers from Noisy Data

abstract: As we transition towards the deployment of data-driven controllers for black-box cyberphysical systems, complying with hard safety constraints becomes a primary concern. Two key aspects should be addressed when input-output data are corrupted by noise: how much uncertainty can one tolerate without compromising safety, and to what extent is the control performance affected? By focusing on finite-horizon constrained linear-quadratic problems, we provide an answer to these questions in terms of the model mismatch incurred during a preliminary identification phase. We propose a control design procedure based on a quasiconvex relaxation of the original robust problem and we prove that, if the uncertainty is sufficiently small, the synthesized controller is safe and near-optimal, in the sense that the suboptimality gap increases linearly with the model mismatch level. Since the proposed method is independent of the specific identification procedure, our analysis holds in combination with state-of-the-art behavioral estimators beyond standard least-squares. The main theoretical results are validated by numerical experiments.


title: Complexes de modules \'equivariants sur l'alg\`ebre de Steenrod associ\'es \`a un $(\mathbb{Z}/2)^{n}$-CW-complexe fini

abstract: Let $V$ be an elementary abelian $2$-group and $X$ be a finite $V$-CW-complex. In this memoir we study two cochain complexes of modules over the mod2 Steenrod algebra $\mathrm{A}$, equipped with an action of $\mathrm{H}^{*}V$, the mod2 cohomology of $V$, both associated with $X$. The first, which we call the "topological complex", is defined using the orbit filtration of $X$. The second, which we call the "algebraic complex", is defined just in terms of the unstable $\mathrm{A}$-module $\mathrm{H}^*_V X$, the mod2 equivariant cohomology of $X$. Our study makes intensive use of the theory of unstable $\mathrm{H}^{*}V$-$\mathrm{A}$-modules which is a by-product of the researches on Sullivan conjecture. There is a noteworthy overlap between the topological part of our memoir and the paper "Syzygies in equivariant cohomology in positive characteristic", by Allday, Franz and Puppe, which has just appeared; however our techniques are quite different from theirs (the name "Steenrod" does not show up in their article).


title: AI-Based and Mobility-Aware Energy Efficient Resource Allocation and Trajectory Design for NFV Enabled Aerial Networks

abstract: In this paper, we propose a novel joint intelligent trajectory design and resource allocation algorithm based on user's mobility and their requested services for unmanned aerial vehicles (UAVs) assisted networks, where UAVs act as nodes of a network function virtualization (NFV) enabled network. Our objective is to maximize energy efficiency and minimize the average delay on all services by allocating the limited radio and NFV resources. In addition, due to the traffic conditions and mobility of users, we let some Virtual Network Functions (VNFs) to migrate from their current locations to other locations to satisfy the Quality of Service requirements. We formulate our problem to find near-optimal locations of UAVs, transmit power, subcarrier assignment, placement, and scheduling the requested service's functions over the UAVs and perform suitable VNF migration. Then we propose a novel Hierarchical Hybrid Continuous and Discrete Action (HHCDA) deep reinforcement learning method to solve our problem. Finally, the convergence and computational complexity of the proposed algorithm and its performance analyzed for different parameters. Simulation results show that our proposed HHCDA method decreases the request reject rate and average delay by 31.5% and 20% and increases the energy efficiency by 40% compared to DDPG method.


title: A Lightweight Deep Network for Efficient CSI Feedback in Massive MIMO Systems

abstract: To fully exploit the advantages of massive multiple-input multiple-output (m-MIMO), accurate channel state information (CSI) is required at the transmitter. However, excessive CSI feedback for large antenna arrays is inefficient and thus undesirable in practical applications. By exploiting the inherent correlation characteristics of complex-valued channel responses in the angular-delay domain, we propose a novel neural network (NN) architecture, namely ENet, for CSI compression and feedback in m-MIMO. Even if the ENet processes the real and imaginary parts of the CSI values separately, its special structure enables the network trained for the real part only to be reused for the imaginary part. The proposed ENet shows enhanced performance with the network size reduced by nearly an order of magnitude compared to the existing NN-based solutions. Experimental results verify the effectiveness of the proposed ENet.


title: Double strangeness $\Xi^{-}$ production as a probe of nuclear equation of state at high densities

abstract: Double strangeness $\Xi^{-}$ production in Au+Au collisions at 2, 4, and 6 GeV/nucleon incident beam energies is studied with the pure hadron cascade version of a multi-phase transport model. It is found that due to larger nuclear compression, the model with the soft equation of state (EoS) gives larger yields of both single strangeness ($K^{+}$ and $\Lambda+\Sigma^{0}$) and double strangeness $\Xi^{-}$. The sensitivity of the double strangeness $\Xi^{-}$ to the EoS is evidently larger than that of $K^{+}$ or $\Lambda+\Sigma^{0}$ since the phase-space distribution of produced $\Xi^{-}$ is more compact compared to those of the single strangeness. The larger sensitivity of the yields ratio of $\Xi^{-}$ to the EoS from heavy and light systems is kept compared to that of the single strangeness. The study of $\Xi^{-}$ production in relativistic heavy-ion collisions provides an alternative for the ongoing heavy-ion collision program at facilities worldwide for identifying the EoS at high densities, which is relevant to the investigation of the phase boundary and onset of deconfinement of dense nuclear matter.


title: Effects of ambipolar diffusion on waves in the solar chromosphere

abstract: The chromosphere is a partially ionized layer of the solar atmosphere, the transition between the photosphere where the gas motion is determined by the gas pressure and the corona dominated by the magnetic field. We study the effect of partial ionization for 2D wave propagation in a gravitationally stratified, magnetized atmosphere with properties similar to the solar chromosphere. We adopt an oblique uniform magnetic field in the plane of propagation with strength suitable for a quiet sun region. The theoretical model used is a single fluid magnetohydrodynamic approximation, where ion-neutral interaction is modeled by the ambipolar diffusion term. Magnetic energy can be converted into internal energy through the dissipation of the electric current produced by the drift between ions and neutrals. We use numerical simulations where we continuously drive fast waves at the bottom of the atmosphere. The collisional coupling between ions and neutrals decreases with the decrease of the density and the ambipolar effect becomes important. Fast waves excited at the base of the atmosphere reach the equipartition layer and reflect or transmit as slow waves. While the waves propagate through the atmosphere and the density drops, the waves steepen into shocks. The main effect of ambipolar diffusion is damping of the waves. We find that for the parameters chosen in this work, the ambipolar diffusion affects the fast wave before it is reflected, with damping being more pronounced for waves which are launched in a direction perpendicular to the magnetic field. Slow waves are less affected by ambipolar effects. The damping increases for shorter periods and larger magnetic field strengths. Small scales produced by the nonlinear effects and the superposition of different types of waves created at the equipartition height are efficiently damped by ambipolar diffusion.


title: Nucleon-Nucleon Interaction ib the Singlet State at Low Energy

abstract: It is possible to describe the scattering and the radiative capture with help of a Breit-Wigner resonance with negative energy.


title: A nonlinear diffusion equation with reaction localized to the half-line

abstract: We study the behaviour of the solutions to the quasilinear heat equation with a reaction restricted to a half-line $$ u_t=(u^m)_{xx}+a(x) u^p, $$ $m, p>0$ and $a(x)=1$ for $x>0$, $a(x)=0$ for $x<0$. We first characterize the global existence exponent $p_0=1$ and the Fujita exponent $p_c=m+2$. Then we pass to study the grow-up rate in the case $p\le1$ and the blow-up rate for $p>1$. In particular we show that the grow-up rate is different as for global reaction if $p>m$ or $p=1\neq m$.


title: Extremely Lightweight Quantization Robust Real-Time Single-Image Super Resolution for Mobile Devices

abstract: Single-Image Super Resolution (SISR) is a classical computer vision problem and it has been studied for over decades. With the recent success of deep learning methods, recent work on SISR focuses solutions with deep learning methodologies and achieves state-of-the-art results. However most of the state-of-the-art SISR methods contain millions of parameters and layers, which limits their practical applications. In this paper, we propose a hardware (Synaptics Dolphin NPU) limitation aware, extremely lightweight quantization robust real-time super resolution network (XLSR). The proposed model's building block is inspired from root modules for Image classification. We successfully applied root modules to SISR problem, further more to make the model uint8 quantization robust we used Clipped ReLU at the last layer of the network and achieved great balance between reconstruction quality and runtime. Furthermore, although the proposed network contains 30x fewer parameters than VDSR its performance surpasses it on Div2K validation set. The network proved itself by winning Mobile AI 2021 Real-Time Single Image Super Resolution Challenge.


title: Gamma Factory Searches for Extremely Weakly-Interacting Particles

abstract: The Gamma Factory is a proposal to back-scatter laser photons off a beam of partially-stripped ions at the LHC, producing a beam of $\sim 10$ MeV to $1$ GeV photons with intensities of $10^{16}$ to $10^{18}~\text{s}^{-1}$. This implies $\sim 10^{23}$ to $10^{25}$ photons on target per year, many orders of magnitude greater than existing accelerator light sources and also far greater than all current and planned electron and proton fixed target experiments. We determine the Gamma Factory's discovery potential through "dark Compton scattering," $\gamma e \to e X$, where $X$ is a new, weakly-interacting particle. For dark photons and other new gauge bosons with masses in the 1~to~100 MeV range, the Gamma Factory has the potential to discover extremely weakly-interacting particles with just a few hours of data and will probe couplings as low as $\sim 10^{-9}$ with a year of running. The Gamma Factory therefore may probe couplings lower than all other terrestrial experiments and is highly complementary to astrophysical probes. We outline the requirements of an experiment to realize this potential and determine the sensitivity reach for various experimental configurations.


title: Viscous flow-fields in hyperelastic Chambers

abstract: Viscous flows in hyperelastic chambers are relevant to many biological phenomena such as inhalation into the lung's acinar region and medical applications such as the inflation of a small chamber in minimally invasive procedures. In this work, we analytically study the viscous flow and elastic deformation created due to inflation of such spherical chambers from one or two inlets. Our investigation considers the shell's constitutive hyperelastic law coupled with the flow dynamics inside the chamber. For the case of a narrow tube filling a larger chamber, the pressure within the chamber involves a large spatially uniform part, and a small order correction. We derive a closed-form expression for the inflation dynamics, accounting for the effect of elastic bi-stability. Interestingly, the obtained pressure distribution shows that the maximal pressure on the chamber's surface is greater than the pressure at the entrance to the chamber. The calculated series solution of the velocity and pressure fields during inflation is verified by using a fully coupled finite element scheme, resulting in excellent agreement. Our results allow estimating the chamber's viscous resistance at different pressures, thus enabling us to model the process of inflation and deflation.


title: Optimal control of an HIV model with a trilinear antibody growth function

abstract: We propose and study a new mathematical model of the human immunodeficiency virus (HIV). The main novelty is to consider that the antibody growth depends not only on the virus and on the antibodies concentration but also on the uninfected cells concentration. The model consists of five nonlinear differential equations describing the evolution of the uninfected cells, the infected ones, the free viruses, and the adaptive immunity. The adaptive immune response is represented by the cytotoxic T-lymphocytes (CTL) cells and the antibodies with the growth function supposed to be trilinear. The model includes two kinds of treatments. The objective of the first one is to reduce the number of infected cells, while the aim of the second is to block free viruses. Firstly, the positivity and the boundedness of solutions are established. After that, the local stability of the disease free steady state and the infection steady states are characterized. Next, an optimal control problem is posed and investigated. Finally, numerical simulations are performed in order to show the behavior of solutions and the effectiveness of the two incorporated treatments via an efficient optimal control strategy.


title: Minimization and Synthesis of the Tail in Sequential Compositions of Mealy Machines

abstract: We consider a system consisting of a sequential composition of Mealy machines, called head and tail. We study two problems related to these systems. In the first problem, models of both head and tail components are available, and the aim is to obtain a replacement for the tail with the minimum number of states. We introduce a minimization method for this context which yields an exponential improvement over the state of the art. In the second problem, only the head is known, and a desired model for the whole system is given. The objective is to construct a tail that causes the system to behave according to the given model. We show that, while it is possible to decide in polynomial time whether such a tail exists, there are instances where its size is exponential in the sizes of the head and the desired system. This shows that the complexity of the synthesis procedure is at least exponential, matching the upper bound in complexity provided by the existing methods for solving unknown component equations.


title: Decision Questions for Probabilistic Automata on Small Alphabets

abstract: We study the emptiness and $\lambda$-reachability problems for unary and binary Probabilistic Finite Automata (PFA) and characterise the complexity of these problems in terms of the degree of ambiguity of the automaton and the size of its alphabet. Our main result is that emptiness and $\lambda$-reachability are solvable in EXPTIME for polynomially ambiguous unary PFA and if, in addition, the transition matrix is binary, we show they are in NP. In contrast to the Skolem-hardness of the $\lambda$-reachability and emptiness problems for exponentially ambiguous unary PFA, we show that these problems are NP-hard even for finitely ambiguous unary PFA. For binary polynomially ambiguous PFA with fixed and commuting transition matrices, we prove NP-hardness of the $\lambda$-reachability (dimension 9), nonstrict emptiness (dimension 37) and strict emptiness (dimension 40) problems.


title: Band-gap engineering, magnetic behavior and Dirac-semimetal character in the MoSi2N4 nanoribbon with armchair and zigzag edges

abstract: Motivated by the recent successful formation of the MoSi2N4 monolayer [Hong et al., Sci. 369, 670 (2020)], the structural, electronic and magnetic properties of MoSi2N4 nanoribbons (NRs) is investigated for the first time . The band structure calculations showed spin-polarization in zigzag edges and a non-magnetic semiconducting character in armchair edges. For armchair-edges, we identify an indirect to direct band gap shift compared to the MoSi2N4 monolayer, and its energy gap increases with increasing NR width. Anisotropic electrical and magnetic behavior is observed via band structure calculations in the zigzag and armchair edges, where, surprisingly, for the one type of zigzag-edges configuration, we identify a Dirac-semimetal character. The appearance of magnetism and Dirac-semimetal in MoSi2N4 ribbon can give rise to novel physical properties, which could be useful in applications for next-generation electronic devices.


title: Shear dynamics of confined membranes

abstract: We model the nonlinear response of a lubricated contact composed of a two-dimensional lipid membrane immersed in a simple fluid between two parallel flat and porous walls under shear. The nonlinear dynamics of the membrane gives rise to a rich dynamical behavior depending on the shear velocity. In quiescent conditions (i.e., absence of shear), the membrane freezes into a disordered labyrinthine wrinkle pattern. In the presence of shear, we find four different regimes depending on the shear rate. Regime I. For small shear, the labyrinthine pattern is still frozen, but exhibits a small drift which is mainly along the shear direction. In this regime, the tangential forces on the walls due to the presence of the membrane increase linearly with the shear rate. Regime II. When the shear rate is increased above a critical value, the membrane rearranges, and wrinkles start to align along the shear direction. This regime is accompanied by a sharp drop of the tangential forces on the wall. Regime III. For larger shear rates, the wrinkles align strongly along the shear direction, with a set of dislocation defects which assemble in pairs. The tangential forces are then controlled by the number of dislocations, and by the number of wrinkles between the two dislocations within each dislocation pairs. In this dislocation-dominated regime, the tangential forces in the transverse direction most often exceed those in the shear direction. Regime IV. For even larger shear, the membrane organizes into a perfect array of parallel stripes with no defects. The wavelength of the wrinkles is still identical to the wavelength in the absence of shear. In this final regime, the tangential forces due to the membrane vanish. These behaviors give rise to a non-linear rheological behavior of lubricated contacts containing membranes.


title: Measuring densities of cold atomic clouds smaller than the resolution limit

abstract: We propose and demonstrate an experimental method to measure by absorption imaging the size and local column density of a cloud of atoms, even when its smallest dimension is smaller than the resolution of the imaging system. To do this, we take advantage of the fact that, for a given total number of atoms, a smaller and denser cloud scatters less photons when the gas is optically thick. The method relies on making an ansatz on the cloud shape along the unresolved dimension(s), and on providing an additional information such as the total number of atoms. We demonstrate the method on \textit{in-situ} absorption images of elongated 87Sr Fermi gases. We find significant non-linear corrections to the estimated size and local density of the cloud compared to a standard analysis. This allows us to recover an un-distorted longitudinal density profile, and to measure transverse sizes as small as one fourth of our imaging resolution. The ultimate limit of our method is the wavelength that is used for imaging.


title: A Prosumer-Centric Framework for Concurrent Generation and Transmission Planning -- Part I

abstract: The growing share of proactive actors in the electricity markets calls for more attention on prosumers and more support for their decision-making under decentralized electricity markets. In view of the changing paradigm, it is crucial to study the long-term planning under the decentralized and prosumer-centric markets to unravel the effects of such markets on the planning decisions. In the first part of the two-part paper, we propose a prosumer-centric framework for concurrent generation and transmission planning. Here, three planning models are presented where a peer-to-peer market with product differentiation, a pool market and a mixed bilateral/pool market and their associated trading costs are explicitly modeled, respectively. To fully reveal the individual costs and benefits, we start by formulating the optimization problems of various actors, i.e. prosumers, transmission system operator, energy market operator and carbon market operator. Moreover, to enable decentralized planning where the privacy of the prosumers is preserved, distributed optimization algorithms are presented based on the corresponding centralized optimization problems.


title: Robust Self-Testing of Multiparticle Entanglement

abstract: Quantum self-testing is a device-independent way to certify quantum states and measurements using only the input-output statistics, with minimal assumptions about the quantum devices. Because of the high demand on tolerable noise, however, experimental self-testing was limited to two-photon systems. Here, we demonstrate the first robust self-testing for multi-photon genuinely entangled quantum states. We prepare two examples of four-photon graph states, the Greenberger-Horne-Zeilinger (GHZ) states with a fidelity of 0.957(2) and the linear cluster states with a fidelity of 0.945(2). Based on the observed input-output statistics, we certify the genuine four-photon entanglement and further estimate their qualities with respect to realistic noise in a device-independent manner.


title: Optimal Estimator Design and Properties Analysis for Interconnected Systems with Asymmetric Information Structure

abstract: This paper studies the optimal state estimation problem for interconnected systems. Each subsystem can obtain its own measurement in real time, while, the measurements transmitted between the subsystems suffer from random delay. The optimal estimator is analytically designed for minimizing the conditional error covariance. The boundedness of the expected error covariance (EEC) is analyzed. In particular, a new condition that is easy to verify is established for the boundedness of EEC. Further, the properties of EEC with respect to the delay probability are studied. We found that there exists a critical probability such that the EEC is bounded if the delay probability is below the critical probability. Also, a lower and upper bound of the critical probability is derived. Finally, the proposed results are applied to a power system, and the effectiveness of the designed methods is illustrated by simulations.


title: Roughness and Correlations in the Transition from Island to Film Growth: Simulations and Application to CdTe Deposition

abstract: Using kinetic Monte Carlo simulations, we develop a framework to relate morphological properties and microscopic dynamics during island growth, coalescence, and initial formation of continuous heteroepitaxial films. The average island width is controlled by adatom mobility on the substrate. Subsequent evolution strongly depends on the Ehrlich-Schw\"{o}ebel energy barrier $E_{ES}$ of the deposited material. As $E_{ES}$ decreases, islands becomes taller and their coalescence is delayed. For small islands and large $E_{ES}$, the global roughness increases as $W\sim{\text{thickness}}^{1/2}$ and the local roughness increases at short scales (apparent anomalous scaling) before and after island coalescence. If the islands are wide, $W$ may have a plateau for large $E_{ES}$ and has a maximum for small $E_{ES}$ when the islands coalesce. This framework is applied to atomic-force microscopy data of the initial stages of CdTe deposition on Kapton: a maximum of $W$ during island coalescence indicates negligible ES barrier, consistently with scaling properties of much thicker films, and the diffusion coefficient ${10}^{-7}{\text{--}}{10}^{-5}{\text{cm}}^2/{\text s}$ on the Kapton surface at $150\,^{\circ}\mathrm{C}$ is estimated. Applications of the framework to other materials are suggested, in which the expected roles of ES barriers are highlighted.


title: A Prosumer-Centric Framework for Concurrent Generation and Transmission Planning -- Part II

abstract: We propose a framework where generation and transmission capacities are planned concurrently in market environments with a focus on the prosumers. This paper is a continuation of Part I and presents numerical results from three archetypal case studies. Following the proposed framework, optimal planning decisions are shown in all the cases. Furthermore, in case study I, no-regret planning decisions considering the uncertainties in future electricity market designs are discussed. In case study II, we look at a situation where the social resistance of wind energy prevails and the prosumers choose to not invest in wind energy. This preference results in an increased system cost, and thus may harm other prosumers. The framework is used as a negotiation simulator to deal with this problem. Case study III presents numerical results for a mixed bilateral/pool market. The case studies utilize realistic data from the Dutch power system and the European power system to provide policy-relevant results that aid their decarbonization in various market environments.


title: Trimming Feature Extraction and Inference for MCU-based Edge NILM: a Systematic Approach

abstract: Non-Intrusive Load Monitoring (NILM) enables the disaggregation of the global power consumption of multiple loads, taken from a single smart electrical meter, into appliance-level details. State-of-the-Art approaches are based on Machine Learning methods and exploit the fusion of time- and frequency-domain features from current and voltage sensors. Unfortunately, these methods are compute-demanding and memory-intensive. Therefore, running low-latency NILM on low-cost, resource-constrained MCU-based meters is currently an open challenge. This paper addresses the optimization of the feature spaces as well as the computational and storage cost reduction needed for executing State-of-the-Art (SoA) NILM algorithms on memory- and compute-limited MCUs. We compare four supervised learning techniques on different classification scenarios and characterize the overall NILM pipeline's implementation on a MCU-based Smart Measurement Node. Experimental results demonstrate that optimizing the feature space enables edge MCU-based NILM with 95.15% accuracy, resulting in a small drop compared to the most-accurate feature vector deployment (96.19%) while achieving up to 5.45x speed-up and 80.56% storage reduction. Furthermore, we show that low-latency NILM relying only on current measurements reaches almost 80% accuracy, allowing a major cost reduction by removing voltage sensors from the hardware design.


title: Updated measurement of $R_{K}$ at LHCb

abstract: In the Standard Model of particle physics, charged leptons of different flavour couple to the electroweak force carriers with the same interaction strength. This property, known as lepton flavour universality, was found to be consistent with experimental evidence in a wide range of particle decays. Lepton flavour universality can be tested by comparing branching fractions in ratios such as $R_K = \mathcal{B}(B^+ \rightarrow K^+ \mu^+ \mu^-)/\mathcal{B}(B^+ \rightarrow K^+ e^+ e^-)$. This observable is measured using proton-proton collision data recorded with the LHCb detector at CERN's Large Hadron Collider corresponding to an integrated luminosity of $9 \rm{~fb}^{-1}$. For a dilepton invariant mass range of $q^{2} \in [1.1,6.0]~\rm{Ge}\kern -0.1em \rm{V}^{2}$, the measured value of $R_{K}=0.846\,^{+\,0.042}_{-\,0.039}\,^{+\,0.013}_{-\,0.012}$, where the first uncertainty is statistic and the second systematic, is in tension with the Standard Model predicted value at the $3.1\sigma$ level raising evidence for lepton flavour universality violation in $B^+ \rightarrow K^+ \ell^+ \ell^-$ decays.


title: Exploring Misclassifications of Robust Neural Networks to Enhance Adversarial Attacks

abstract: Progress in making neural networks more robust against adversarial attacks is mostly marginal, despite the great efforts of the research community. Moreover, the robustness evaluation is often imprecise, making it difficult to identify promising approaches. We analyze the classification decisions of 19 different state-of-the-art neural networks trained to be robust against adversarial attacks. Our findings suggest that current untargeted adversarial attacks induce misclassification towards only a limited amount of different classes. Additionally, we observe that both over- and under-confidence in model predictions result in an inaccurate assessment of model robustness. Based on these observations, we propose a novel loss function for adversarial attacks that consistently improves attack success rate compared to prior loss functions for 19 out of 19 analyzed models.


title: Correlated Input-Dependent Label Noise in Large-Scale Image Classification

abstract: Large scale image classification datasets often contain noisy labels. We take a principled probabilistic approach to modelling input-dependent, also known as heteroscedastic, label noise in these datasets. We place a multivariate Normal distributed latent variable on the final hidden layer of a neural network classifier. The covariance matrix of this latent variable, models the aleatoric uncertainty due to label noise. We demonstrate that the learned covariance structure captures known sources of label noise between semantically similar and co-occurring classes. Compared to standard neural network training and other baselines, we show significantly improved accuracy on Imagenet ILSVRC 2012 79.3% (+2.6%), Imagenet-21k 47.0% (+1.1%) and JFT 64.7% (+1.6%). We set a new state-of-the-art result on WebVision 1.0 with 76.6% top-1 accuracy. These datasets range from over 1M to over 300M training examples and from 1k classes to more than 21k classes. Our method is simple to use, and we provide an implementation that is a drop-in replacement for the final fully-connected layer in a deep classifier.


title: Turnover-Adjusted Information Ratio

abstract: In this paper, we study the behavior of information ratio (IR) as determined by the fundamental law of active investment management. We extend the classic relationship between IR and its two determinants (i.e., information coefficient and investment "breadth") by explicitly and simultaneously taking into account the volatility of IC and the cost from portfolio turnover. Through mathematical derivations and simulations, we show that - for both mean-variance and quintile portfolios - a turnover-adjusted IR is always lower than an IR that ignores the cost from turnover; more importantly, we find that, contrary to the implication from the fundamental low but consistent with available empirical evidence, investment managers may improve their investment performance or IR by limiting/optimizing trade or portfolio turnover.


title: A Fair and Scalable Power Control Scheme in Multi-cell Massive MIMO

abstract: This paper studies the transmit power optimization in a multi-cell massive multiple-input multiple-output (MIMO) system. To overcome the scalability issue of network-wide max-min fairness (NW-MMF), we propose a novel power control (PC) scheme. This scheme maximizes the geometric mean (GM) of the per-cell max-min spectral efficiency (SE). To solve this new optimization problem, we prove that it can be rewritten in a convex form and then solved using standard tools. To provide a fair comparison with the available utility functions in the literature, we solve the network-wide proportional fairness (NW-PF) PC as well. The NW-PF focuses on maximizing the sum SE, thereby ignoring fairness, but gives some extra attention to the weakest users. The simulation results highlight the benefits of our model which is balancing between NW-PF and NW-MMF.


title: Effects of capillary number and flow rates on the hydrodynamics of droplet generation in T-junction microfluidic systems

abstract: The hydrodynamics of droplets is significant in wide-ranging applications involving immiscible fluids and emulsions in food and pharmaceutical. The control and manipulation of droplets are primarily a function of flow governing and geometrical parameters. The finite element and level set approaches are used in this work to explore the influences of capillary number (Ca) and flow rate ratio (Qr) of dispersed and continuous phases on hydrodynamics of droplet generation in two-phase flow through T-junction cross-flow microfluidic device. A mathematical model based on a mass continuity, Navier-Stokes, and level set equations are solved computationally using the Eulerian framework for Ca = 1e-4 - 1 and Qr =0.1 - 10. Both immiscible phases, having equal density and unequal viscosity, flow (Re=0.1) through equal-sized channels. In particular, instantaneous phase flow field, droplet size, droplet detachment time and generation frequency are presented and discussed as a function of governing parameters (Ca and Qr). Considered parametric space is characterized as squeezing, first transition, dripping, second transition, parallel, and jet flow regimes. In contrast to threshold Ca ~ 0.01 in earlier studies, squeezing regime exists for all Ca and Qr = 2- 10. Flow regimes are also mapped into droplets and non-droplet zones. Threshold interfacial Ca, defining the boundary between droplet and non-droplet zones, scales quadratically with Qr. Droplet dynamics shows a complex dependence on Ca and Qr. Droplet length varies linearly with Qr in squeezing regime whereas power-law variation with Ca and Qr in dripping regime. Droplet frequency shows a power-law function of Ca and Qr in droplet zone. Present results compare excellently with earlier limited experimental and numerical studies. Finally, present results and predictive correlations can guide engineering and design of droplet microfluidics devices.


title: Foliations whose first Chern class is nef

abstract: Let $\mathcal{F}$ be a foliation on a projective manifold $X$ with $-K_{\mathcal{F}}$ nef. Assume that either $\mathcal{F}$ is regular, or it has a compact leaf. We prove that there is a locally trivial fibration $f\colon X\to Y$, and a foliation $\mathcal{G}$ on $Y$ with $K_{\mathcal{G}} \equiv 0$, such that $\mathcal{F} = f^{-1}(\mathcal{G})$.


title: Multi-Task, Multi-Domain Deep Segmentation with Shared Representations and Contrastive Regularization for Sparse Pediatric Datasets

abstract: Automatic segmentation of magnetic resonance (MR) images is crucial for morphological evaluation of the pediatric musculoskeletal system in clinical practice. However, the accuracy and generalization performance of individual segmentation models are limited due to the restricted amount of annotated pediatric data. Hence, we propose to train a segmentation model on multiple datasets, arising from different parts of the anatomy, in a multi-task and multi-domain learning framework. This approach allows to overcome the inherent scarcity of pediatric data while benefiting from a more robust shared representation. The proposed segmentation network comprises shared convolutional filters, domain-specific batch normalization parameters that compute the respective dataset statistics and a domain-specific segmentation layer. Furthermore, a supervised contrastive regularization is integrated to further improve generalization capabilities, by promoting intra-domain similarity and impose inter-domain margins in embedded space. We evaluate our contributions on two pediatric imaging datasets of the ankle and shoulder joints for bone segmentation. Results demonstrate that the proposed model outperforms state-of-the-art approaches.


title: Pretrained Language Models for Text Generation: A Survey

abstract: Text generation has become one of the most important yet challenging tasks in natural language processing (NLP). The resurgence of deep learning has greatly advanced this field by neural generation models, especially the paradigm of pretrained language models (PLMs). In this paper, we present an overview of the major advances achieved in the topic of PLMs for text generation. As the preliminaries, we present the general task definition and briefly describe the mainstream architectures of PLMs for text generation. As the core content, we discuss how to adapt existing PLMs to model different input data and satisfy special properties in the generated text. We further summarize several important fine-tuning strategies for text generation. Finally, we present several future directions and conclude this paper. Our survey aims to provide text generation researchers a synthesis and pointer to related research.


title: Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time Workloads

abstract: In order to satisfy timing constraints, modern real-time applications require massively parallel accelerators such as General Purpose Graphic Processing Units (GPGPUs). Generation after generation, the number of computing clusters made available in novel GPU architectures is steadily increasing, hence, investigating suitable scheduling approaches is now mandatory. Such scheduling approaches are related to mapping different and concurrent compute kernels within the GPU computing clusters, hence grouping GPU computing clusters into schedulable partitions. In this paper we propose novel techniques to define GPU partitions; this allows us to define suitable task-to-partition allocation mechanisms in which tasks are GPU compute kernels featuring different timing requirements. Such mechanisms will take into account the interference that GPU kernels experience when running in overlapping time windows. Hence, an effective and simple way to quantify the magnitude of such interference is also presented. We demonstrate the efficiency of the proposed approaches against the classical techniques that considered the GPU as a single, non-partitionable resource.


title: Sharing Pain: Using Pain Domain Transfer for Video Recognition of Low Grade Orthopedic Pain in Horses

abstract: Orthopedic disorders are common among horses, often leading to euthanasia, which often could have been avoided with earlier detection. These conditions often create varying degrees of subtle long-term pain. It is challenging to train a visual pain recognition method with video data depicting such pain, since the resulting pain behavior also is subtle, sparsely appearing, and varying, making it challenging for even an expert human labeller to provide accurate ground-truth for the data. We show that a model trained solely on a dataset of horses with acute experimental pain (where labeling is less ambiguous) can aid recognition of the more subtle displays of orthopedic pain. Moreover, we present a human expert baseline for the problem, as well as an extensive empirical study of various domain transfer methods and of what is detected by the pain recognition method trained on clean experimental pain in the orthopedic dataset. Finally, this is accompanied with a discussion around the challenges posed by real-world animal behavior datasets and how best practices can be established for similar fine-grained action recognition tasks. Our code is available at https://github.com/sofiabroome/painface-recognition.


title: On the Quantum Chemical Nature of Lead(II) "Lone Pair"

abstract: We discuss the quantum chemical nature of the Lead(II) valence basins, sometime called the Lead "lone pair". Using various chemical interpretation tools such as the molecular orbital analysis, Natural Bond Orbitals (NBO), Natural Population Analysis (NPA) and Electron Localization Function (ELF) topological analysis, we study a variety of Lead(II) complexes. A careful analysis of the results show that the optimal structures of the lead complexes are only govern by the 6s and 6p subshells whereas no involvement of the 5d orbitals is found. Similarly, we do not find any significant contribution of the 6d. Therefore, the Pb(II) complexation with its ligand can be explained through the interaction of the 6s2 electrons and the accepting 6p orbitals. We detail the potential structural and dynamical consequences of such electronic structure organization of the Pb (II) valence domain.


title: Online Statistical Inference for Parameters Estimation with Linear-Equality Constraints

abstract: Stochastic gradient descent (SGD) and projected stochastic gradient descent (PSGD) are scalable algorithms to compute model parameters in unconstrained and constrained optimization problems. In comparison with SGD, PSGD forces its iterative values into the constrained parameter space via projection. From a statistical point of view, this paper studies the limiting distribution of PSGD-based estimate when the true parameters satisfy some linear-equality constraints. Our theoretical findings reveal the role of projection played in the uncertainty of the PSGD-based estimate. As a byproduct, we propose an online hypothesis testing procedure to test the linear-equality constraints. Simulation studies on synthetic data and an application to a real-world dataset confirm our theory.


title: Analysis of voxel-based 3D object detection methods efficiency for real-time embedded systems

abstract: Real-time detection of objects in the 3D scene is one of the tasks an autonomous agent needs to perform for understanding its surroundings. While recent Deep Learning-based solutions achieve satisfactory performance, their high computational cost renders their application in real-life settings in which computations need to be performed on embedded platforms intractable. In this paper, we analyze the efficiency of two popular voxel-based 3D object detection methods providing a good compromise between high performance and speed based on two aspects, their ability to detect objects located at large distances from the agent and their ability to operate in real time on embedded platforms equipped with high-performance GPUs. Our experiments show that these methods mostly fail to detect distant small objects due to the sparsity of the input point clouds at large distances. Moreover, models trained on near objects achieve similar or better performance compared to those trained on all objects in the scene. This means that the models learn object appearance representations mostly from near objects. Our findings suggest that a considerable part of the computations of existing methods is focused on locations of the scene that do not contribute with successful detection. This means that the methods can achieve a speed-up of $40$-$60\%$ by restricting operation to near objects while not sacrificing much in performance.


title: On the use of feature-maps and parameter control for improved quality-diversity meta-evolution

abstract: In Quality-Diversity (QD) algorithms, which evolve a behaviourally diverse archive of high-performing solutions, the behaviour space is a difficult design choice that should be tailored to the target application. In QD meta-evolution, one evolves a population of QD algorithms to optimise the behaviour space based on an archive-level objective, the meta-fitness. This paper proposes an improved meta-evolution system such that (i) the database used to rapidly populate new archives is reformulated to prevent loss of quality-diversity; (ii) the linear transformation of base-features is generalised to a feature-map, a function of the base-features parametrised by the meta-genotype; and (iii) the mutation rate of the QD algorithm and the number of generations per meta-generation are controlled dynamically. Experiments on an 8-joint planar robot arm compare feature-maps (linear, non-linear, and feature-selection), parameter control strategies (static, endogenous, reinforcement learning, and annealing), and traditional MAP-Elites variants, for a total of 49 experimental conditions. Results reveal that non-linear and feature-selection feature-maps yield a 15-fold and 3-fold improvement in meta-fitness, respectively, over linear feature-maps. Reinforcement learning ranks among top parameter control methods. Finally, our approach allows the robot arm to recover a reach of over 80% for most damages and at least 60% for severe damages.


title: Lecture notes on non-convex algorithms for low-rank matrix recovery

abstract: Low-rank matrix recovery problems are inverse problems which naturally arise in various fields like signal processing, imaging and machine learning. They are non-convex and NP-hard in full generality. It is therefore a delicate problem to design efficient recovery algorithms and to provide rigorous theoretical insights on the behavior of these algorithms. The goal of these notes is to review recent progress in this direction for the class of so-called "non-convex algorithms", with a particular focus on the proof techniques. Although they aim at presenting very recent research works, these notes have been written with the intent to be, as much as possible, accessible to non-specialists.


title: Characterizing the Anti-Vaxxers' Reply Behavior on Social Media

abstract: Although the online campaigns of anti-vaccine advocates, or anti-vaxxers, severely threaten efforts for herd immunity, their reply behavior--the form of directed messaging that can be sent beyond follow-follower relationships--remains poorly understood. Here, we examined the characteristics of anti-vaxxers' reply behavior on Twitter to attempt to comprehend their characteristics of spreading their beliefs in terms of interaction frequency, content, and targets. Among the results, anti-vaxxers more frequently conducted reply behavior with other clusters, especially neutral accounts. Anti-vaxxers' replies were significantly more toxic than those from neutral accounts and pro-vaxxers, and their toxicity, in particular, was higher with regard to the rollout of vaccines. Anti-vaxxers' replies were more persuasive than the others in terms of the emotional aspect, rather than linguistical styles. The targets of anti-vaxxers' replies tend to be accounts with larger numbers of followers and posts, including accounts that relate to health care or represent scientists, policy-makers, or media figures or outlets. We discussed how their reply behaviors are effective in spreading their beliefs, as well as possible countermeasures to restrain them. These findings should prove useful for pro-vaxxers and platformers to promote trusted information while reducing the effect of vaccine disinformation.


title: Note on Surfaces of Revolution with an Affine-Linear Relation between their Curvature Radii

abstract: This note derives parametrizations for surfaces of revolution that satisfy an affine-linear relation between their respective curvature radii. Alongside, parametrizations for the uniform normal offsets of those surfaces are obtained. Those parametrizations are found explicitly for a countably-infinite many of them, and of those, it is shown which are algebraic. Lastly, for those surfaces which have a constant ratio of principal curvatures, parametrizations with a constant angle between the parameter curves are found.


title: L'invariance conforme et l'universalit\'e au point critique des mod\`eles bidimensionnels

abstract: R\'esum\'e. Des quelques articles publi\'es par Robert P. Langlands en physique math\'ematique, c'est celui publi\'e dans le {\it Bulletin of the American Mathematical Society} sous le titre {\it Conformal invariance in two-dimensional percolation} qui a eu, \`a ce jour, le plus d'impact : les id\'ees d'Oded Schramm ayant men\'e \`a l'\'equation de Loewner stochastique et les preuves de l'invariance conforme de mod\`eles de physique statistique par Stanislav Smirnov ont \'et\'e suscit\'ees, au moins en partie, par cet article. Ce chapitre rappelle sommairement quelques id\'ees de l'article original ainsi que celles issues des travaux de Schramm et Smirnov. Il est aussi l'occasion pour moi de d\'ecrire la naissance de ma collaboration avec Robert Langlands et d'exprimer ma profonde gratitude pour cette fantastique exp\'erience scientifique et humaine. Abstract. Of all mathematical physics contributions by Robert P. Langlands, the paper {\it Conformal invariance in two-dimensional percolation} published in the {\it Bulletin of the American Mathematical Society} is the one that has had, up to now, the most significant impact: Oded Schramm's ideas leading to the stocastic Loewner equation and Stanislav Smirnov's proof in two dimensions were at least partially inspired by it. This chapter reviews briefly some ideas of the original paper and some of those by Schramm and Smirnov.


title: Characterisation of the PTB ion counter nanodosimeter's target volume and its equivalent size in terms of liquid H2O

abstract: For the first time a dedicated investigation of the target size of a nanodosimeter device has been carried out in order to investigate to what extent measured ionisation cluster size distributions can serve as benchmark data for modelling approaches, with particular focus on the target size in terms of liquid H2O. To this end, measurements with alpha particles from a 241Am source were carried out using three different target gases, H2O, C3H8 and C4H8O. For each of the three target gases, three different drift-time windows were applied to realise three different target sizes. A method has been developed to determine the dimensions of the simulated nanometric target volume in liquid H2O for cylindrical and spherical shape, as often used in approaches to model radiation effects to DNA. Simulations with nanometric targets of dimensions determined with this method agree very well with the corresponding measurements. Scaling of the spatial distribution of the extraction efficiency for different target gases and drift-time windows, which corresponds to the nanodosimeter's target volume, in terms of liquid H2O using ($\rho\lambda_{ion}$)-ratios has also been investigated and proved to yield an estimate of the target volume in liquid H2O. Thus, it can be concluded that ionisation cluster size distributions measured with a nanodosimeter device are suited as benchmark data for approaches that model radiation induced damage to DNA in nanometric volumes of liquid H2O in simple geometries such as cylinders or spheres, provided that the nanodosimeter's target volume is characterised accordingly. By proper selection of drift-time window length as well as target gas and density a wide range of target volume dimensions in terms of liquid H2O can be realised with the PTB Ion Counter nanodosimeter according to specific requirements of modelling approaches.


title: Learning from My Friends: Few-Shot Personalized Conversation Systems via Social Networks

abstract: Personalized conversation models (PCMs) generate responses according to speaker preferences. Existing personalized conversation tasks typically require models to extract speaker preferences from user descriptions or their conversation histories, which are scarce for newcomers and inactive users. In this paper, we propose a few-shot personalized conversation task with an auxiliary social network. The task requires models to generate personalized responses for a speaker given a few conversations from the speaker and a social network. Existing methods are mainly designed to incorporate descriptions or conversation histories. Those methods can hardly model speakers with so few conversations or connections between speakers. To better cater for newcomers with few resources, we propose a personalized conversation model (PCM) that learns to adapt to new speakers as well as enabling new speakers to learn from resource-rich speakers. Particularly, based on a meta-learning based PCM, we propose a task aggregator (TA) to collect other speakers' information from the social network. The TA provides prior knowledge of the new speaker in its meta-learning. Experimental results show our methods outperform all baselines in appropriateness, diversity, and consistency with speakers.


title: Estimating Unknown Time-Varying Parameters in Uncertain Differential Equation

abstract: Uncertain differential equations have a wide range of applications. How to obtain estimated values of unknown parameters in uncertain differential equations through observations has always been a subject of concern and research, many methods have been developed to estimate unknown parameters. However, these parameters are constants. In this paper, the method of least squares estimation is recast for estimating the unknown time-varying parameters in uncertain differential equations. A set of unknown time-varying parameter estimates will be obtained, and then the unknown time-varying parameters will be obtained by regression fitting using the estimated values. Using this method, the uncertain differential equation of blood alcohol concentration in human body after drinking and the uncertain differential equation of COVID-19 are derived.


title: Behind the leaves -- Estimation of occluded grapevine berries with conditional generative adversarial networks

abstract: The need for accurate yield estimates for viticulture is becoming more important due to increasing competition in the wine market worldwide. One of the most promising methods to estimate the harvest is berry counting, as it can be approached non-destructively, and its process can be automated. In this article, we present a method that addresses the challenge of occluded berries with leaves to obtain a more accurate estimate of the number of berries that will enable a better estimate of the harvest. We use generative adversarial networks, a deep learning-based approach that generates a likely scenario behind the leaves exploiting learned patterns from images with non-occluded berries. Our experiments show that the estimate of the number of berries after applying our method is closer to the manually counted reference. In contrast to applying a factor to the berry count, our approach better adapts to local conditions by directly involving the appearance of the visible berries. Furthermore, we show that our approach can identify which areas in the image should be changed by adding new berries without explicitly requiring information about hidden areas.


title: NetGraf: A Collaborative Network Monitoring Stack for Network Experimental Testbeds

abstract: Network performance monitoring collects heterogeneous data suchas network flow data to give an overview of network performance,and other metrics, necessary for diagnosing and optimizing servicequality. However, due to disparate and heterogeneity, to obtainmetrics and visualize entire data from several devices, engineershave to log into multiple dashboards.In this paper we present NetGraf, a complete end-to-end networkmonitoring stack, that uses open-source network monitoring toolsand collects, aggregates, and visualizes network measurements on asingle easy-to-use real-time Grafana dashboard. We develop a novelNetGraf architecture and can deploy it on any network testbed suchas Chameleon Cloud by single easy-to-use script for a full view ofnetwork performance in one dashboard.This paper contributes to the theme of automating open-sourcenetwork monitoring tools software setups and their usability forresearchers looking to deploy an end-to-end monitoring stack ontheir own testbeds.


title: Weighted Burrows-Wheeler Compression

abstract: A weight based dynamic compression method has recently been proposed, which is especially suitable for the encoding of files with locally skewed distributions. Its main idea is to assign larger weights to closer to be encoded symbols by means of an increasing weight function, rather than considering each position in the text evenly. A well known transformation that tends to convert input files into files with a more skewed distribution is the Burrows-Wheeler Transform. This paper employs the weighted approach on Burrows-Wheeler transformed files and provides empirical evidence of the efficiency of this combination.


title: Few-to-many vortex states of density-angular-momentum coupled Bose-Einstein condensates

abstract: Motivated by recent experiments, we theoretically study a gas of atomic bosons confined in an elliptical harmonic trap; forming a quasi-two-dimensional atomic Bose-Einstein condensate subject to a density-dependent gauge potential which realises an effective density-angular-momentum coupling. We present exact Thomas-Fermi solutions which allows us to identify the stable regimes of the full parameter space of the model. Accompanying numerical simulations reveal the effect of the interplay of the rigid body and density-angular-momentum coupling for the elliptically confined condensate. By varying the strength of the gauge potential and trap anisotropy we explore how the superfluid state emerges in different experimentally accessible geometries, while for large rotation strengths dense vortex lattices and concentric vortex ring arrangements are obtained.


title: Polyjuice: High-Performance Transactions via Learned Concurrency Control

abstract: Concurrency control algorithms are key determinants of the performance of in-memory databases. Existing algorithms are designed to work well for certain workloads. For example, optimistic concurrency control (OCC) is better than two-phase-locking (2PL) under low contention, while the converse is true under high contention. To adapt to different workloads, prior works mix or switch between a few known algorithms using manual insights or simple heuristics. We propose a learning-based framework that instead explicitly optimizes concurrency control via offline training to maximize performance. Instead of choosing among a small number of known algorithms, our approach searches in a "policy space" of fine-grained actions, resulting in novel algorithms that can outperform existing algorithms by specializing to a given workload. We build Polyjuice based on our learning framework and evaluate it against several existing algorithms. Under different configurations of TPC-C and TPC-E, Polyjuice can achieve throughput numbers higher than the best of existing algorithms by 15% to 56%.


title: WNOS: Enabling Principled Software-Defined Wireless Networking

abstract: This article investigates the basic design principles for a new Wireless Network Operating System (WNOS), a radically different approach to software-defined networking (SDN) for infrastructure-less wireless networks. Departing from well-understood approaches inspired by OpenFlow, WNOS provides the network designer with an abstraction hiding (i) the lower-level details of the wireless protocol stack and (ii) the distributed nature of the network operations. Based on this abstract representation, the WNOS takes network control programs written on a centralized, high-level view of the network and automatically generates distributed cross-layer control programs based on distributed optimization theory that are executed by each individual node on an abstract representation of the radio hardware. We first discuss the main architectural principles of WNOS. Then, we discuss a new approach to automatically generate solution algorithms for each of the resulting subproblems in an automated fashion. Finally, we illustrate a prototype implementation of WNOS on software-defined radio devices and test its effectiveness by considering specific cross-layer control problems. Experimental results indicate that, based on the automatically generated distributed control programs, WNOS achieves 18%, 56% and 80.4% utility gain in networks with low, medium and high levels of interference; maybe more importantly, we illustrate how the global network behavior can be controlled by modifying a few lines of code on a centralized abstraction.


title: A Self-Guided Approach for Navigation in a Minimalistic Foraging Robotic Swarm

abstract: We present a biologically inspired design for swarm foraging based on ant's pheromone deployment, where the swarm is assumed to have very restricted capabilities. The robots do not require global or relative position measurements and the swarm is fully decentralized and needs no infrastructure in place. Additionally, the system only requires one-hop communication over the robot network, we do not make any assumptions about the connectivity of the communication graph and the transmission of information and computation is scalable versus the number of agents. This is done by letting the agents in the swarm act as foragers or as guiding agents (beacons). We present experimental results computed for a swarm of Elisa-3 robots on a simulator, and show how the swarm self-organizes to solve a foraging problem over an unknown environment, converging to trajectories around the shortest path. At last, we discuss the limitations of such a system and propose how the foraging efficiency can be increased.


title: The Two-Dimensional Swept Rule Applied on Heterogeneous Architectures

abstract: The partial differential equations describing compressible fluid flows can be notoriously difficult to resolve on a pragmatic scale and often require the use of high performance computing systems and/or accelerators. However, these systems face scaling issues such as latency, the fixed cost of communicating information between devices in the system. The swept rule is a technique designed to minimize these costs by obtaining a solution to unsteady equations at as many possible spatial locations and times prior to communicating. In this study, we implemented and tested the swept rule for solving two-dimensional problems on heterogeneous computing systems across two distinct systems. Our solver showed a speedup range of 0.22-2.71 for the heat diffusion equation and 0.52-1.46 for the compressible Euler equations. We can conclude from this study that the swept rule offers both potential for speedups and slowdowns and that care should be taken when designing such a solver to maximize benefits. These results can help make decisions to maximize these benefits and inform designs.


title: Ecology in the digital world of Wikipedia

abstract: Wikipedia, a paradigmatic example of online knowledge space is organized in a collaborative, bottom-up way with voluntary contributions, yet it maintains a level of reliability comparable to that of traditional encyclopedias. The lack of selected professional writers and editors makes the judgement about quality and trustworthiness of the articles a real challenge. Here we show that a self-consistent metrics for the network defined by the edit records captures well the character of editors' activity and the articles' level of complexity. Using our metrics, one can better identify the human-labeled high-quality articles, e.g., "featured" ones, and differentiate them from the popular and controversial articles. Furthermore, the dynamics of the editor-article system is also well captured by the metrics, revealing the evolutionary pathways of articles and diverse roles of editors. We demonstrate that the collective effort of the editors indeed drives to the direction of article improvement.


title: Fact-driven Logical Reasoning for Machine Reading Comprehension

abstract: Recent years have witnessed an increasing interest in training machines with reasoning ability, which deeply relies on accurately and clearly presented clue forms. The clues are usually modeled as entity-aware knowledge in existing studies. However, those entity-aware clues are primarily focused on commonsense, making them insufficient for tasks that require knowledge of temporary facts or events, particularly in logical reasoning for reading comprehension. To address this challenge, we are motivated to cover both commonsense and temporary knowledge clues hierarchically. Specifically, we propose a general formalism of knowledge units by extracting backbone constituents of the sentence, such as the subject-verb-object formed ``facts''. We then construct a supergraph on top of the fact units, allowing for the benefit of sentence-level (relations among fact groups) and entity-level interactions (concepts or actions inside a fact). Experimental results on logical reasoning benchmarks and dialogue modeling datasets show that our approach improves the baselines substantially, and it is general across backbone models. Code is available at \url{https://github.com/ozyyshr/FocalReasoner}.


title: Data-driven Weight Initialization with Sylvester Solvers

abstract: In this work, we propose a data-driven scheme to initialize the parameters of a deep neural network. This is in contrast to traditional approaches which randomly initialize parameters by sampling from transformed standard distributions. Such methods do not use the training data to produce a more informed initialization. Our method uses a sequential layer-wise approach where each layer is initialized using its input activations. The initialization is cast as an optimization problem where we minimize a combination of encoding and decoding losses of the input activations, which is further constrained by a user-defined latent code. The optimization problem is then restructured into the well-known Sylvester equation, which has fast and efficient gradient-free solutions. Our data-driven method achieves a boost in performance compared to random initialization methods, both before start of training and after training is over. We show that our proposed method is especially effective in few-shot and fine-tuning settings. We conclude this paper with analyses on time complexity and the effect of different latent codes on the recognition performance.


title: The "emerging" reality from "hidden" spaces

abstract: The main purpose of this paper is to show and introduce some new interpretative aspects of the concept of "emergent space" as geometric/topological approach in the cosmological field. We will present some possible applications of this theory, among which the possibility of considering a non-orientable wormhole. Finally, in Subsection 2.3, we give a topological interpretation, using this new approach, to M-Theory and String Theory in $10$ dimensions. Further we present some conclusions which this new interpretation suggests, and also some remarks considering a unifying approach between strings and dark matter. The approach shown in the paper considers that reality, as it appears to us, can be the "emerging" part of a more complex hidden structure.


title: Transport and spectral properties of magic angle twisted bilayer graphene junctions based on local orbital models

abstract: The electronic properties of junctions defined electrostatically on twisted bilayer graphene can be addressed theoretically using lattice models. Recent works have introduced minimal local orbital models to describe twisted bilayer graphene at the magic angle (MATBLG) with different degrees of approximation and accounting for fragile topology. In the present work we use a Green's function formalism to obtain the spectral and transport properties for MATBLG junctions based on these models. We introduce different symmetry breaking perturbations to simulate the effect of interactions and characterize the topology of the bulk bands by analyzing the corresponding Wilson loops. We then analyze the spectral properties for different types of edges and in the case of a domain wall in the sublattice symmetry breaking parameter. We further consider a three region junction where one could control independently the central and lateral regions doping level. In the limit where the central region is fixed at the charge neutrality point and the lateral ones are heavily doped, the spectral and the two terminal transport properties can be understood in terms of the hybridization of chiral states along the junctions. These properties are found to be extremely sensitive to the orientation of the junctions along the moir\'e lattice.


title: Group properties and solutions for the 1D Hall MHD system in the cold plasma approximation

abstract: We study the Lie point symmetries and the similarity transformations for the partial differential equations of the nonlinear one-dimensional magnetohydrodynamic system with the Hall term known as HMHD system. For this 1+1 system of partial differential equations we find that is invariant under the action of a seventh dimensional Lie algebra. Furthermore, the one-dimensional optimal system is derived while the Lie invariants are applied for the derivation of similarity transformations. We present different kinds of oscillating solutions.

categories: physics.plasm-ph math-ph math.AP math.MP


title: Infection in a Confined Space using an Agent-Based Model

abstract: This study examined a simulated confined space modelled as a hospital waiting area, where people who could have underlying conditions congregate and mix with potentially infectious individuals. It further investigated the impact of the volume of the waiting area, the number of people in the room, the placement of them as well as their weight. The simulation is an agent-based model (ABM).


title: Unsupervised Multi-Target Domain Adaptation for Acoustic Scene Classification

abstract: It is well known that the mismatch between training (source) and test (target) data distribution will significantly decrease the performance of acoustic scene classification (ASC) systems. To address this issue, domain adaptation (DA) is one solution and many unsupervised DA methods have been proposed. These methods focus on a scenario of single source domain to single target domain. However, we will face such problem that test data comes from multiple target domains. This problem can be addressed by producing one model per target domain, but this solution is too costly. In this paper, we propose a novel unsupervised multi-target domain adaption (MTDA) method for ASC, which can adapt to multiple target domains simultaneously and make use of the underlying relation among multiple domains. Specifically, our approach combines traditional adversarial adaptation with two novel discriminator tasks that learns a common subspace shared by all domains. Furthermore, we propose to divide the target domain into the easy-to-adapt and hard-to-adapt domain, which enables the system to pay more attention to hard-to-adapt domain in training. The experimental results on the DCASE 2020 Task 1-A dataset and the DCASE 2019 Task 1-B dataset show that our proposed method significantly outperforms the previous unsupervised DA methods.


title: Error Resilient Collaborative Intelligence via Low-Rank Tensor Completion

abstract: In the race to bring Artificial Intelligence (AI) to the edge, collaborative intelligence has emerged as a promising way to lighten the computation load on edge devices that run applications based on Deep Neural Networks (DNNs). Typically, a deep model is split at a certain layer into edge and cloud sub-models. The deep feature tensor produced by the edge sub-model is transmitted to the cloud, where the remaining computationally intensive workload is performed by the cloud sub-model. The communication channel between the edge and cloud is imperfect, which will result in missing data in the deep feature tensor received at the cloud side. In this study, we examine the effectiveness of four low-rank tensor completion methods in recovering missing data in the deep feature tensor. We consider both sparse tensors, such as those produced by the VGG16 model, as well as non-sparse tensors, such as those produced by ResNet34 model. We study tensor completion effectiveness in both conplexity-constrained and unconstrained scenario.


title: A Reinforcement Learning based Path Planning Approach in 3D Environment

abstract: Optimal motion planning involves obstacles avoidance where path planning is the key to success in optimal motion planning. Due to the computational demands, most of the path planning algorithms can not be employed for real-time based applications. Model-based reinforcement learning approaches for path planning have received certain success in the recent past. Yet, most of such approaches do not have deterministic output due to the randomness. We analyzed several types of reinforcement learning-based approaches for path planning. One of them is a deterministic tree-based approach and other two approaches are based on Q-learning and approximate policy gradient, respectively. We tested preceding approaches on two different simulators, each of which consists of a set of random obstacles that can be changed or moved dynamically. After analysing the result and computation time, we concluded that the deterministic tree search approach provides highly stable result. However, the computational time is considerably higher than the other two approaches. Finally, the comparative results are provided in terms of accuracy and computational time as evidence.


title: Time-optimal control of a two-peakon collision

abstract: We study a time-optimal control problem of a two-peakon collision. First, we state the controllability. Next, we find the time-optimal strategy. This is done via the HamiltonJacobi-Bellman equation and the dynamic programming method. We find a tricky way to solve a corresponding Hamilton-Jacobi-Bellman equation. Our approach can be extended to more general control problems. Indeed, a special version of a maximum principle for time-optimal controls of particular Hamiltonian systems is proposed.


title: Towards Scalable Modeling of Biology in Event-B

abstract: Biology offers many examples of large-scale, complex, concurrent systems: many processes take place in parallel, compete on resources and influence each other's behavior. The scalable modeling of biological systems continues to be a very active field of research. In this paper we introduce a new approach based on Event-B, a state-based formal method with refinement as its central ingredient, allowing us to check for model consistency step-by-step in an automated way. Our approach based on functions leads to an elegant and concise modeling method. We demonstrate this approach by constructing what is, to our knowledge, the largest ever built Event-B model, describing the ErbB signaling pathway, a key evolutionary pathway with a significant role in development and in many types of cancer. The Event-B model for the ErbB pathway describes 1320 molecular reactions through 242 events.


title: Some variational properties of tangent directions at infinity of real algebraic sets

abstract: In this paper, we relate the set of asymptotic critical values of a polynomial function $f$ with the set of discontinuity of two functions, the multivalued function which associate to each value $t$ the set of tangent directions at infinity of the fiber $f^{-1}(t)$ and the composition of the $(n-2)$-dimensional volume function with the first one. This gives necessary conditions of equisingularity at infinity for the family of the fibers of a real polynomial function.


title: Parity symmetry as the origin of 'spin' in the quantum spin Hall effect

abstract: The quantum spin Hall effect arises due to band inversion in topological insulators, and has the defining characteristic that it hosts helical edge channels at zero magnetic field, leading to a finite spin Hall conductivity. The spin Hall conductivity is understood as the difference of the contributions of two spin states. In the effective four-band BHZ model, these two spin states appear as two uncoupled blocks in the Hamiltonian matrix. However, this idea breaks down if additional degrees of freedom are considered. The two blocks cannot be identified by proper spin $S_z$ or total angular momentum $J_z$, both not conserved quantum numbers. In this work, we discuss a notion of block structure for the more general k.p model, defined by a conserved quantum number that we call isoparity, a combination of parity $z\to-z$ and spin. Isoparity remains a conserved quantity under a wide range of conditions, in particular in presence of a perpendicular external magnetic field. From point-group considerations, isoparity is fundamentally defined as the action of $z\to-z$ on the spatial and spinorial degrees of freedom. Since time reversal anticommutes with isoparity, the two blocks act as Kramers partners. The combination of conductivity and isoparity defines spin conductivity. This generalized notion of spin Hall conductivity uncovers the meaning of 'spin': It is not the proper spin $S_z$, but a crystal symmetry that is realized by a spinorial representation.