title: PAD-UFES-20: a skin lesion dataset composed of patient data and clinical images collected from smartphones

abstract: Over the past few years, different computer-aided diagnosis (CAD) systems have been proposed to tackle skin lesion analysis. Most of these systems work only for dermoscopy images since there is a strong lack of public clinical images archive available to design them. To fill this gap, we release a skin lesion benchmark composed of clinical images collected from smartphone devices and a set of patient clinical data containing up to 22 features. The dataset consists of 1,373 patients, 1,641 skin lesions, and 2,298 images for six different diagnostics: three skin diseases and three skin cancers. In total, 58.4% of the skin lesions are biopsy-proven, including 100% of the skin cancers. By releasing this benchmark, we aim to aid future research and the development of new tools to assist clinicians to detect skin cancer.


title: The Restricted Isometry of ReLU Networks: Generalization through Norm Concentration

abstract: While regression tasks aim at interpolating a relation on the entire input space, they often have to be solved with a limited amount of training data. Still, if the hypothesis functions can be sketched well with the data, one can hope for identifying a generalizing model. In this work, we introduce with the Neural Restricted Isometry Property (NeuRIP) a uniform concentration event, in which all shallow $\mathrm{ReLU}$ networks are sketched with the same quality. To derive the sample complexity for achieving NeuRIP, we bound the covering numbers of the networks in the Sub-Gaussian metric and apply chaining techniques. In case of the NeuRIP event, we then provide bounds on the expected risk, which hold for networks in any sublevel set of the empirical risk. We conclude that all networks with sufficiently small empirical risk generalize uniformly.


title: Computational Model for Urban Growth Using Socioeconomic Latent Parameters

abstract: Land use land cover changes (LULCC) are generally modeled using multi-scale spatio-temporal variables. Recently, Markov Chain (MC) has been used to model LULCC. However, the model is derived from the proportion of LULCC observed over a given period and it does not account for temporal factors such as macro-economic, socio-economic, etc. In this paper, we present a richer model based on Hidden Markov Model (HMM), grounded in the common knowledge that economic, social and LULCC processes are tightly coupled. We propose a HMM where LULCC classes represent hidden states and temporal fac-tors represent emissions that are conditioned on the hidden states. To our knowledge, HMM has not been used in LULCC models in the past. We further demonstrate its integration with other spatio-temporal models such as Logistic Regression. The integrated model is applied on the LULCC data of Pune district in the state of Maharashtra (India) to predict and visualize urban LULCC over the past 14 years. We observe that the HMM integrated model has improved prediction accuracy as compared to the corresponding MC integrated model


title: Do students benefit from drawing productive diagrams themselves while solving introductory physics problems? The case of two electrostatic problems

abstract: An appropriate diagram is a required element of a solution building process in physics problem solving and it can transform a given problem into a representation that is easier to exploit for solving the problem. A major focus while helping introductory physics students learn problem solving is to help them appreciate that drawing diagrams facilitates problem solving. We conducted an investigation in which two different interventions were implemented during recitation quizzes throughout the semester in a large enrollment, algebra-based introductory physics course. Students were either (1) asked to solve problems in which the diagrams were drawn for them or (2) explicitly told to draw a diagram. A comparison group was not given any instruction regarding diagrams. We developed a rubric to score the problem solving performance of students in different intervention groups. We investigated two problems involving electric field and electric force and found that students who drew productive diagrams were more successful problem solvers and that a higher level of relevant detail in a student's diagram corresponded to a better score. We also conducted think-aloud interviews with nine students who were at the time taking an equivalent introductory algebra-based physics course in order to gain insight into how drawing diagrams affects the problem solving process. These interviews supported some of the interpretations of the quantitative results. We end by discussing instructional implications of the findings.


title: On Lurie's theorem and applications

abstract: This article proves Lurie's theorem using recent advances in spectral algebraic geometry and elliptic cohomology theories by Jacob Lurie. This is the first publicly available proof of this powerful theorem, which states the existence of a sheaf of $\mathbf{E}_\infty$-rings on a small \'{e}tale site over the classical moduli stack of $p$-divisible groups of height $n$. To further demonstrate the utility of such a theorem connecting algebraic geometry to homotopy theory, we reconstruct many known cohomology theories as well as some known (and some not previously written down) operations on these theories.


title: SLAM using ICP and graph optimization considering physical properties of environment

abstract: This paper describes a novel SLAM (simultaneous localization and mapping) scheme based on scan matching in an environment including various physical properties.


title: On the necessity of the constant rank condition for $L^p$ estimates

abstract: We consider a generalization of the elliptic $L^p$-estimate suited for linear operators with non-trivial kernels. A classical result of Schulenberger and Wilcox (Ann. Mat. Pura Appl. (4) 88: 229-305, 1971) shows that if the operator has constant rank then the estimate holds. We prove necessity of the constant rank condition for such an estimate.


title: Enhancement of recoil optical forces via high-k plasmons on thin metallic films

abstract: The recoil optical force that acts on emitters near a surface or waveguide relies on near-field directionality and conservation of momentum. It features desirable properties uncommon in optical forces, such as the ability to produce it via wide-area illumination of vast numbers of particles without the need for focusing, or being dynamically switchable via the polarization of light. Unfortunately, these recoil forces are usually very weak and have not been experimentally observed in small dipolar particles. Some works theoretically demonstrate orders-of-magnitude enhancement of these forces via complex nano-structuring involving hyperbolic surfaces or metamaterials, complicating the fabrication and experimental demonstration. In this work, we theoretically and numerically show enhancement of the lateral recoil force by simply using thin metallic films, which support ultra-high-momentum plasmonic modes. The high-momentum carried by these modes impart a correspondingly large recoil force on the dipole, enhancing the force by several orders of magnitude in a remarkably simple geometry, bringing it closer to practical applications.


title: Barriers to grid-connected battery systems: Evidence from the Spanish electricity market

abstract: Electrical energy storage is considered essential for the future energy systems. Among all the energy storage technologies, battery systems may provide flexibility to the power grid in a more distributed and decentralized way. In countries with deregulated electricity markets, grid-connected battery systems should be operated under the specific market design of the country. In this work, using the Spanish electricity market as an example, the barriers to grid-connected battery systems are investigated using utilization analysis. The concept of "potentially profitable utilization time" is proposed and introduced to identify and evaluate future potential grid applications for battery systems. The numerical and empirical analysis suggests that the high cycle cost for battery systems is still the main barrier for grid-connected battery systems. In Spain, for energy arbitrage within the day-ahead market, it is required that the battery wear cost decreases to 15 Euro/MWh to make the potentially profitable utilization rate higher than 20%. Nevertheless, the potentially profitable utilization of batteries is much higher in the applications when higher flexibility is demanded. The minimum required battery wear cost corresponding to 20% potentially profitable utilization time increases to 35 Euro/MWh for energy arbitrage within the day-ahead market and ancillary services, and 50 Euro/MWh for upward secondary reserve. The results of this study contribute to the awareness of battery storage technology and its flexibility in grid applications. The findings also have significant implications for policy makers and market operators interested in promoting grid-connected battery storage under a deregulated power market.


title: Continual Learning: Tackling Catastrophic Forgetting in Deep Neural Networks with Replay Processes

abstract: Humans learn all their life long. They accumulate knowledge from a sequence of learning experiences and remember the essential concepts without forgetting what they have learned previously. Artificial neural networks struggle to learn similarly. They often rely on data rigorously preprocessed to learn solutions to specific problems such as classification or regression. In particular, they forget their past learning experiences if trained on new ones. Therefore, artificial neural networks are often inept to deal with real-life settings such as an autonomous-robot that has to learn on-line to adapt to new situations and overcome new problems without forgetting its past learning-experiences. Continual learning (CL) is a branch of machine learning addressing this type of problem. Continual algorithms are designed to accumulate and improve knowledge in a curriculum of learning-experiences without forgetting. In this thesis, we propose to explore continual algorithms with replay processes. Replay processes gather together rehearsal methods and generative replay methods. Generative Replay consists of regenerating past learning experiences with a generative model to remember them. Rehearsal consists of saving a core-set of samples from past learning experiences to rehearse them later. The replay processes make possible a compromise between optimizing the current learning objective and the past ones enabling learning without forgetting in sequences of tasks settings. We show that they are very promising methods for continual learning. Notably, they enable the re-evaluation of past data with new knowledge and the confrontation of data from different learning-experiences. We demonstrate their ability to learn continually through unsupervised learning, supervised learning and reinforcement learning tasks.


title: Non-rigid 3D motion estimation at high temporal resolution from prospectively undersampled k-space data using low-rank MR-MOTUS

abstract: With the recent introduction of the MR-LINAC, an MR-scanner combined with a radiotherapy LINAC, MR-based motion estimation has become of increasing interest to (retrospectively) characterize tumor and organs-at-risk motion during radiotherapy. To this extent, we introduce low-rank MR-MOTUS, a framework to retrospectively reconstruct time-resolved non-rigid 3D+t motion-fields from a single low-resolution reference image and prospectively undersampled k-space data acquired during motion. Low-rank MR-MOTUS exploits spatio-temporal correlations in internal body motion with a low-rank motion model, and inverts a signal model that relates motion-fields directly to a reference image and k-space data. The low-rank model reduces the degrees-of-freedom, memory consumption and reconstruction times by assuming a factorization of space-time motion-fields in spatial and temporal components. Low-rank MR-MOTUS was employed to estimate motion in 2D/3D abdominothoracic scans and 3D head scans. Data were acquired using golden-ratio radial readouts. Reconstructed 2D and 3D respiratory motion-fields were respectively validated against time-resolved and respiratory-resolved image reconstructions, and the head motion against static image reconstructions from fully-sampled data acquired right before and right after the motion. Results show that 2D+t respiratory motion can be estimated retrospectively at 40.8 motion-fields-per-second, 3D+t respiratory motion at 7.6 motion-fields-per-second and 3D+t head-neck motion at 9.3 motion-fields-per-second. The validations show good consistency with image reconstructions. The proposed framework can estimate time-resolved non-rigid 3D motion-fields, which allows to characterize drifts and intra and inter-cycle patterns in breathing motion during radiotherapy, and could form the basis for real-time MR-guided radiotherapy.


title: Understanding phishers' strategies of mimicking uniform resource locators to leverage phishing attacks: A machine learning approach

abstract: Phishing is a type of social engineering attack with an intention to steal user data, including login credentials and credit card numbers, leading to financial losses for both organisations and individuals. It occurs when an attacker, pretending as a trusted entity, lure a victim into click on a link or attachment in an email, or in a text message. Phishing is often launched via email messages or text messages over social networks. Previous research has revealed that phishing attacks can be identified just by looking at URLs. Identifying the techniques which are used by phishers to mimic a phishing URL is rather a challenging issue. At present, we have limited knowledge and understanding of how cybercriminals attempt to mimic URLs with the same look and feel of the legitimate ones, to entice people into clicking links. Therefore, this paper investigates the feature selection of phishing URLs (Uniform Resource Locators), aiming to explore the strategies employed by phishers to mimic URLs that can obviously trick people into clicking links. We employed an Information Gain (IG) and Chi-Squared feature selection methods in Machine Learning (ML) on a phishing dataset. The dataset contains a total of 48 features extracted from 5000 phishing and another 5000 legitimate URL from web pages downloaded from January to May 2015 and from May to June 2017. Our results revealed that there were 10 techniques that phishers used to mimic URLs to manipulate humans into clicking links. Identifying these phishing URL manipulation techniques would certainly help to educate individuals and organisations and keep them safe from phishing attacks. In addition, the findings of this research will also help develop anti-phishing tools, framework or browser plugins for phishing prevention.


title: Inferring Human Observer Spectral Sensitivities from Video Game Data

abstract: With the use of primaries which have increasingly narrow bandwidths in modern displays, observer metameric breakdown is becoming a significant factor. This can lead to discrepancies in the perceived color between different observers. If the spectral sensitivity of a user's eyes could be easily measured, next generation displays would be able to adjust the display content to ensure that the colors are perceived as intended by a given observer. We present a mathematical framework for calculating spectral sensitivities of a given human observer using a color matching experiment that could be done on a mobile phone display. This forgoes the need for expensive in-person experiments and allows system designers to easily calibrate displays to match the user's vision, in-the-wild. We show how to use sRGB pixel values along with a simple display model to calculate plausible color matching functions (CMFs) for the users of a given display device (e.g., a mobile phone). We evaluate the effect of different regularization functions on the shape of the calculated CMFs and the results show that a sum of squares regularizer is able to predict smooth and qualitatively realistic CMFs.


title: Optimisation of a Siamese Neural Network for Real-Time Energy Efficient Object Tracking

abstract: In this paper the research on optimisation of visual object tracking using a Siamese neural network for embedded vision systems is presented. It was assumed that the solution shall operate in real-time, preferably for a high resolution video stream, with the lowest possible energy consumption. To meet these requirements, techniques such as the reduction of computational precision and pruning were considered. Brevitas, a tool dedicated for optimisation and quantisation of neural networks for FPGA implementation, was used. A number of training scenarios were tested with varying levels of optimisations - from integer uniform quantisation with 16 bits to ternary and binary networks. Next, the influence of these optimisations on the tracking performance was evaluated. It was possible to reduce the size of the convolutional filters up to 10 times in relation to the original network. The obtained results indicate that using quantisation can significantly reduce the memory and computational complexity of the proposed network while still enabling precise tracking, thus allow to use it in embedded vision systems. Moreover, quantisation of weights positively affects the network training by decreasing overfitting.


title: Towards User Friendly Medication Mapping Using Entity-Boosted Two-Tower Neural Network

abstract: Recent advancements in medical entity linking have been applied in the area of scientific literature and social media data. However, with the adoption of telemedicine and conversational agents such as Alexa in healthcare settings, medical name inference has become an important task. Medication name inference is the task of mapping user friendly medication names from a free-form text to a concept in a normalized medication list. This is challenging due to the differences in the use of medical terminology from health care professionals and user conversations coming from the lay public. We begin with mapping descriptive medication phrases (DMP) to standard medication names (SMN). Given the prescriptions of each patient, we want to provide them with the flexibility of referring to the medication in their preferred ways. We approach this as a ranking problem which maps SMN to DMP by ordering the list of medications in the patient's prescription list obtained from pharmacies. Furthermore, we leveraged the output of intermediate layers and performed medication clustering. We present the Medication Inference Model (MIM) achieving state-of-the-art results. By incorporating medical entities based attention, we have obtained further improvement for ranking models.


title: Optimisation of the PointPillars network for 3D object detection in point clouds

abstract: In this paper we present our research on the optimisation of a deep neural network for 3D object detection in a point cloud. Techniques like quantisation and pruning available in the Brevitas and PyTorch tools were used. We performed the experiments for the PointPillars network, which offers a reasonable compromise between detection accuracy and calculation complexity. The aim of this work was to propose a variant of the network which we will ultimately implement in an FPGA device. This will allow for real-time LiDAR data processing with low energy consumption. The obtained results indicate that even a significant quantisation from 32-bit floating point to 2-bit integer in the main part of the algorithm, results in 5%-9% decrease of the detection accuracy, while allowing for almost a 16-fold reduction in size of the model.


title: Content-Aware Automated Parameter Tuning for Approximate Color Transforms

abstract: There are numerous approximate color transforms reported in the literature that aim to reduce display power consumption by imperceptibly changing the color content of displayed images. To be practical, these techniques need to be content-aware in picking transformation parameters to preserve perceptual quality. This work presents a computationally-efficient method for calculating a parameter lower bound for approximate color transform parameters based on the content to be transformed. We conduct a user study with 62 participants and 6,400 image pair comparisons to derive the proposed solution. We use the user study results to predict this lower bound reliably with a 1.6% mean squared error by using simple image-color-based heuristics. We show that these heuristics have Pearson and Spearman rank correlation coefficients greater than 0.7 (p<0.01) and that our model generalizes beyond the data from the user study. The user study results also show that the color transform is able to achieve up to 50% power saving with most users reporting negligible visual impairment.


title: Doppler narrowing, Zeeman and laser beam-shape effects in $\Lambda$-type Electromagnetically Induced Transparency on the $^{85}$Rb D2 line in a vapor cell

abstract: We study $\Lambda$-type Electromagnetically Induced Transparency (EIT) on the Rb D2 transition in a buffer-gas-free thermal vapor cell without anti-relaxation coating. Experimental data show distinguished features of velocity-selective optical pumping and one EIT resonance. The Zeeman splitting of the EIT line in magnetic fields up to 12 Gauss is investigated. One Zeeman component is free of the first-order shift and its second-order shift agrees well with theory. The full width at half maximum (FWHM) of this magnetic-field-insensitive EIT resonance is reduced due to Doppler narrowing, scales linearly in Rabi frequency over the range studied, and reaches about 100~kHz at the lowest powers. These observations agree with an analytic model for a Doppler-broadened medium developed in Ref. \cite{PhysRevA.66.013805,7653385}. Numerical simulation using the Lindblad equation reveals that the transverse laser intensity distribution and two $\Lambda$-EIT systems must be included to fully account for the measured line width and line shape of the signals. Ground-state decoherence, caused by effects that include residual optical frequency fluctuations, atom-wall and trace-gas collisions, is discussed.


title: Syzygies in equivariant cohomology in positive characteristic

abstract: We develop a theory of syzygies in equivariant cohomology for tori as well as $p$-tori and coefficients in $\mathbb{F}_p$. A noteworthy feature is a new algebraic approach to the partial exactness of the Atiyah-Bredon sequence, which also covers all instances considered so far.


title: Tess asteroseismology of the known planet host star $\lambda^2$ Fornacis

abstract: The Transiting Exoplanet Survey Satellite (TESS) is observing bright known planet-host stars across almost the entire sky. These stars have been subject to extensive ground-based observations, providing a large number of radial velocity (RV) measurements. In this work we use the new TESS photometric observations to characterize the star $\lambda^2$ Fornacis, and following this to update the parameters of the orbiting planet $\lambda^2$ For b. We measure the p-mode oscillation frequencies in $\lambda^2$ For, and in combination with non-seismic parameters estimate the stellar fundamental properties using stellar models. Using the revised stellar properties and a time series of archival RV data from the UCLES, HIRES and HARPS instruments spanning almost 20 years, we refit the orbit of $\lambda^2$ For b and search the RV residuals for remaining variability. We find that $\lambda^2$ For has a mass of $1.16\pm0.03$M$_\odot$ and a radius of $1.63\pm0.04$R$_\odot$, with an age of $6.3\pm0.9$Gyr. This and the updated RV measurements suggest a mass of $\lambda^2$ For b of $16.8^{+1.2}_{-1.3}$M$_\oplus$, which is $\sim5$M$_\oplus$ less than literature estimates. We also detect a periodicity at 33 days in the RV measurements, which is likely due to the rotation of the host star. While previous literature estimates of the properties of $\lambda^2$ are ambiguous, the asteroseismic measurements place the star firmly at the early stage of its subgiant evolutionary phase. Typically only short time series of photometric data are available from TESS, but by using asteroseismology it is still possible to provide tight constraints on the properties of bright stars that until now have only been observed from the ground. This prompts a reexamination of archival RV data from the past few decades to update the characteristics of the planet hosting systems observed by TESS for which asteroseismology is possible.


title: Structural and physical properties of trilayer nickelates $R_4$Ni$_3$O$_{10}$ ($R =$ La, Pr and Nd)

abstract: We investigate the low temperature structural and physical properties of the trilayer nickelates R4Ni3O10 (R = La, Pr and Nd) using resistivity, thermopower, thermal conductivity, specific heat, high-resolution synchrotron powder X-ray diffraction and thermal expansion experiments. We show that all three compounds crystallize with a monoclinic symmetry, and undergo a metal-to-metal (MMT) transition at 135 K (La), 156 K (Pr) and 160 K (Nd). At MMT, the lattice parameters show distinct anomalies; however, without any lowering of the lattice symmetry. Unambiguous signatures of MMT are also seen in magnetic and thermal measurements, which suggest a strong coupling between the electronic, magnetic and structural degrees of freedom in these nickelates. Analysis of thermal expansion yields hydrostatic pressure dependence of MMT in close agreement with experiments. We show that the 9-fold coordinated Pr ions in the rocksalt (RS) layers have a crystal field (CF) split doublet ground state with possible antiferromagnetic ordering at 5 K. The Pr ions located in the perovskite block (PB) layers with 12-fold coordination, however, exhibit a non-magnetic singlet ground state. The CF ground state of Nd in both RS and PB layers is a Kramers doublet. Heat capacity of R = Nd shows a Schottky-like anomaly near35 K, and an upturn below T = 10 K suggesting the presence of short-range correlations between the Nd moments. However, no signs of long-range ordering could be found down to 2 K despite a sizeable theta_p ~ -40 K. The strongly suppressed magnetic long-range ordering in both R = Pr and Nd suggests the presence of strong magnetic frustration in these compounds. The low-temperature resistivity shows a T^0.5 dependence. No evidence for the heavy fermion behavior could be found in any of the three compounds.


title: Enhancing NEMD with automatic shear rate sampling to model viscosity and correction of systematic errors in modelling density: Application to linear and light branched alkanes

abstract: We perform molecular dynamics simulations to model density as a function of temperature for 74 alkanes with 5 to 10 carbon atoms and non-equilibrium molecular dynamics simulations in the NVT ensemble to model kinematic viscosity of 10 linear alkanes as a function of molecular weight, pressure, and temperature. To model density, we perform simulations in the NPT ensemble before applying correction factors to exploit the systematic error in the SciPCFF force field, and compare results to experimental values, obtaining an average absolute deviation of 3.4g/l at 25 $^{\circ}$ C and of 7.2g/l at 100 $^{\circ}$ C. We develop a sampling algorithm that automatically selects good shear rates at which to perform viscosity simulations in the NVT ensemble and use Carreau model with weighted least squares regression to extrapolate Newtonian viscosity. Viscosity simulations are performed at experimental densities and show an excellent agreement with experimental viscosities, with an average percent deviation of -1% and an average absolute percent deviation of 5%. Future plans to study and apply the sampling algorithm are outlined.


title: LeakyPick: IoT Audio Spy Detector

abstract: Manufacturers of smart home Internet of Things (IoT) devices are increasingly adding voice assistant and audio monitoring features to a wide range of devices including smart speakers, televisions, thermostats, security systems, and doorbells. Consequently, many of these devices are equipped with microphones, raising significant privacy concerns: users may not always be aware of when audio recordings are sent to the cloud, or who may gain access to the recordings. In this paper, we present the LeakyPick architecture that enables the detection of the smart home devices that stream recorded audio to the Internet without the user's consent. Our proof-of-concept is a LeakyPick device that is placed in a user's smart home and periodically "probes" other devices in its environment and monitors the subsequent network traffic for statistical patterns that indicate audio transmission. Our prototype is built on a Raspberry Pi for less than USD40 and has a measurement accuracy of 94% in detecting audio transmissions for a collection of 8 devices with voice assistant capabilities. Furthermore, we used LeakyPick to identify 89 words that an Amazon Echo Dot misinterprets as its wake-word, resulting in unexpected audio transmission. LeakyPick provides a cost effective approach for regular consumers to monitor their homes for unexpected audio transmissions to the cloud.


title: Few-shots Parallel Algorithm Portfolio Construction via Co-evolution

abstract: Generalization, i.e., the ability of solving problem instances that are not available during the system design and development phase, is a critical goal for intelligent systems. A typical way to achieve good generalization is to learn a model from vast data. In the context of heuristic search, such a paradigm could be implemented as configuring the parameters of a parallel algorithm portfolio (PAP) based on a set of training problem instances, which is often referred to as PAP construction. However, compared to traditional machine learning, PAP construction often suffers from the lack of training instances, and the obtained PAPs may fail to generalize well. This paper proposes a novel competitive co-evolution scheme, named Co-Evolution of Parameterized Search (CEPS), as a remedy to this challenge. By co-evolving a configuration population and an instance population, CEPS is capable of obtaining generalizable PAPs with few training instances. The advantage of CEPS in improving generalization is analytically shown in this paper. Two concrete algorithms, namely CEPS-TSP and CEPS-VRPSPDTW, are presented for the Traveling Salesman Problem (TSP) and the Vehicle Routing Problem with Simultaneous Pickup-Delivery and Time Windows (VRPSPDTW), respectively. Experimental results show that CEPS has led to better generalization, and even managed to find new best-known solutions for some instances.


title: Decidable Entailments in Separation Logic with Inductive Definitions: Beyond Established Systems

abstract: We define a class of Separation Logic formulae, whose entailment problem: given formulae $\phi, \psi_1, \ldots, \psi_n$, is every model of $\phi$ a model of some $\psi_i$? is 2EXPTIME-complete. The formulae in this class are existentially quantified separating conjunctions involving predicate atoms, interpreted by the least sets of store-heap structures that satisfy a set of inductive rules, which is also part of the input to the entailment problem. Previous work consider established sets of rules, meaning that every existentially quantified variable in a rule must eventually be bound to an allocated location, i.e. from the domain of the heap. In particular, this guarantees that each structure has treewidth bounded by the size of the largest rule in the set. In contrast, here we show that establishment, although sufficient for decidability (alongside two other natural conditions), is not necessary, by providing a condition, called equational restrictedness, which applies syntactically to (dis-)equalities. The entailment problem is more general in this case, because equationally restricted rules define richer classes of structures, of unbounded treewidth. In this paper we show that (1) every established set of rules can be converted into an equationally restricted one and (2) the entailment problem is 2EXPTIME-complete in the latter case, thus matching the complexity of entailments for established sets of rules.


title: Opers and nonabelian Hodge: numerical studies

abstract: We present numerical experiments that test the predictions of a conjecture of Gaiotto-Moore-Neitzke and Gaiotto concerning the monodromy map for opers, the nonabelian Hodge correspondence, and the restriction of Hitchin's hyperk\"ahler metric to the Hitchin section. These experiments are conducted in the setting of polynomial holomorphic differentials on the complex plane, where the predictions take the form of conjectural formulas for the Stokes data and the Hitchin metric tensor. Overall, the results of our experiments support the conjecture.


title: Existence of Crepant resolutions for two-parameter Gorenstein Cyclic Quotient Singularities

abstract: In this paper, we show a condition for two-parameter Gorenstein cyclic quotient singularities to have a crepant resolution by using the remainder polynomial in any dimension.


title: Computation of the Transient in Max-Plus Linear Systems via SMT-Solving

abstract: This paper proposes a new approach, grounded in Satisfiability Modulo Theories (SMT), to study the transient of a Max-Plus Linear (MPL) system, that is the number of steps leading to its periodic regime. Differently from state-of-the-art techniques, our approach allows the analysis of periodic behaviors for subsets of initial states, as well as the characterization of sets of initial states exhibiting the same specific periodic behavior and transient. Our experiments show that the proposed technique dramatically outperforms state-of-the-art methods based on max-plus algebra computations for systems of large dimensions.


title: Cluster-galaxy weak lensing

abstract: Weak gravitational lensing of background galaxies provides a direct probe of the projected matter distribution in and around galaxy clusters. Here we present a self-contained pedagogical review of cluster--galaxy weak lensing, covering a range of topics relevant to its cosmological and astrophysical applications. We begin by reviewing the theoretical foundations of gravitational lensing from first principles, with special attention to the basics and advanced techniques of weak gravitational lensing. We summarize and discuss key findings from recent cluster--galaxy weak-lensing studies on both observational and theoretical grounds, with a focus on cluster mass profiles, the concentration--mass relation, the splashback radius, and implications from extensive mass calibration efforts for cluster cosmology.


title: Reduction of Feynman Integrals in the Parametric Representation III: Integrals with Cuts

abstract: Phase space cuts are implemented by inserting Heaviside theta functions in the integrands of momentum-space Feynman integrals. By directly parametrizing theta functions and constructing integration-by-parts (IBP) identities in the parametric representation, we provide a systematic method to reduce integrals with cuts. Since the IBP method is available, it becomes possible to evaluate integrals with cuts by constructing and solving differential equations.


title: Is a trillion trees enough?

abstract: Global warming is a major environmental concern of our times. It has been suggested that the planting of trees could constitute a way of mitigating the adverse effects of the increasing anthropogenic carbon emissions. We developed a simple data-driven model to predict the global average temperature in diverse scenarios to better understand the outcome of human interventions. We find that to remain under the 1.5 degree of anomaly set by the Paris agreement, the fossil-fuel energy production needs to decrease to at least 10% of the projected figure in 2050 combined with planting a trillion trees.


title: Minimizing the evacuation time of a crowd from a complex building using rescue guides

abstract: In an emergency situation, the evacuation of a large crowd from a complex building can become slow or even dangerous without a working evacuation plan. The use of rescue guides that lead the crowd out of the building can improve the evacuation efficiency. An important issue is how to choose the number, positions, and exit assignments of these guides to minimize the evacuation time of the crowd. Here, we model the evacuating crowd as a multi-agent system with the social force model and simple interaction rules for guides and their followers. We formulate the problem of minimizing the evacuation time using rescue guides as a stochastic control problem. Then, we solve it with a procedure combining numerical simulation and a genetic algorithm (GA). The GA iteratively searches for the optimal evacuation plan, while numerical simulations evaluate the evacuation time of the plans. We apply the procedure on a test case and on an evacuation of a fictional conference building. The procedure is able to solve the number of guides, their initial positions and exit assignments in a single although complicated optimization. The attained results show that the procedure converges to an optimal evacuation plan, which minimizes the evacuation time and mitigates congestion and the effect of random deviations in agents' motion.


title: Maat: Automatically Analyzing VirusTotal for Accurate Labeling and Effective Malware Detection

abstract: The malware analysis and detection research community relies on the online platform VirusTotal to label Android apps based on the scan results of around 60 antiviral scanners. Unfortunately, there are no standards on how to best interpret the scan results acquired from VirusTotal, which leads to the utilization of different threshold-based labeling strategies (e.g., if ten or more scanners deem an app malicious, it is considered malicious). While some of the utilized thresholds may be able to accurately approximate the ground truths of apps, the fact that VirusTotal changes the set and versions of the scanners it uses makes such thresholds unsustainable over time. We implemented a method, Maat, that tackles these issues of standardization and sustainability by automatically generating a Machine Learning (ML)-based labeling scheme, which outperforms threshold-based labeling strategies. Using the VirusTotal scan reports of 53K Android apps that span one year, we evaluated the applicability of Maat's ML-based labeling strategies by comparing their performance against threshold-based strategies. We found that such ML-based strategies (a) can accurately and consistently label apps based on their VirusTotal scan reports, and (b) contribute to training ML-based detection methods that are more effective at classifying out-of-sample apps than their threshold-based counterparts.


title: Scale-dependent Rayleigh-Taylor dynamics with variable acceleration by group theory approach

abstract: This work focuses on Rayleigh-Taylor instability (RTI)driven by acceleration with power-law time-dependence. We review the existing theoretical approaches, apply the group theory approach to solve this long-standing problem, and yield the unified framework for the scale-dependent dynamics of Rayleigh-Taylor (RT) bubbles and RT spikes. For the early-time linear dynamics we provide the dependence of RTI evolution on the acceleration parameters and the initial conditions. For the late-time nonlinear dynamics, we find a continuous family of asymptotic solutions, directly link the interface velocity to the interface morphology and the interfacial shear, derive solutions for the regular bubbles and for the singular spikes, and study stability of these solutions. The properties of special nonlinear solutions in the RT family are scrupulously described, including the critical, the Taylor, the Layzer-drag, and the Atwood solutions. It is shown that the fastest Atwood bubble is regular and stable, and the fastest Atwood spike is singular and unstable. The essentially multi-scale and interfacial character of RT dynamics is demonstrated. The former can be understood by viewing RT coherent structure of bubbles and spikes as a standing wave with the growing amplitude. The latter implies that RT flow has effectively no motion of the fluids away from the interface and has intense motion of the fluids near the interface, with shear-driven vortical structures appearing at the interface. Our theory agrees with available observations, and elaborates extensive benchmarks for future research and for better understanding of RT driven phenomena in plasmas.


title: Factoring Polynomials over Finite Fields with Linear Galois Groups: An Additive Combinatorics Approach

abstract: Let $\tilde{f}(X)\in\mathbb{Z}[X]$ be a degree-$n$ polynomial such that $f(X):=\tilde{f}(X)\bmod p$ factorizes into $n$ distinct linear factors over $\mathbb{F}_p$. We study the problem of deterministically factoring $f(X)$ over $\mathbb{F}_p$ given $\tilde{f}(X)$. Under the generalized Riemann hypothesis (GRH), we give an improved deterministic algorithm that computes the complete factorization of $f(X)$ in the case that the Galois group of $\tilde{f}(X)$ is (permutation isomorphic to) a linear group $G\leq \mathrm{GL}(V)$ on the set $S$ of roots of $\tilde{f}(X)$, where $V$ is a finite-dimensional vector space over a finite field $\mathbb{F}$ and $S$ is identified with a subset of $V$. In particular, when $|S|=|V|^{\Omega(1)}$, the algorithm runs in time polynomial in $n^{\log n/(\log\log\log\log n)^{1/3}}$ and the size of the input, improving Evdokimov's algorithm. Our result also applies to a general Galois group $G$ when combined with a recent algorithm of the author. To prove our main result, we introduce a family of objects called linear $m$-schemes and reduce the problem of factoring $f(X)$ to a combinatorial problem about these objects. We then apply techniques from additive combinatorics to obtain an improved bound. Our techniques may be of independent interest.


title: A quantum formalism for events and how time can emerge from its foundations

abstract: Although time is one of our most intuitive physical concepts, its understanding at the fundamental level is still an open question in physics. For instance, time in quantum mechanics and general relativity are two distinct and incompatible entities. While relativity deals with events (points in spacetime), with time being observer-dependent and dynamical, quantum mechanics describes physical systems by treating time as an independent parameter. To resolve this conflict, in this work, we extend the classical concept of an event to the quantum domain by defining an event as a transfer of information between physical systems. Then, by describing the universe from the perspective of a certain observer, we introduce quantum states of events with space-time-symmetric wave functions that predict the joint probability distribution of a measurement (observation) at $ (t, {\vec x}) $. Under these circumstances, we propose that a well-defined instant of time, like any other observable, arises from a single event, thus being an observer-dependent property. As a result, a counterfactual asymmetry along a particular sequence of events within a stationary quantum state gives rise to the flow of time as being successive "snapshots" from the observer's perspective. In this proposal, it is the many distinguishable states in which the observer stores information that makes the existence of time possible.


title: Regularized Online Allocation Problems: Fairness and Beyond

abstract: Online allocation problems with resource constraints have a rich history in operations research. In this paper, we introduce the \emph{regularized online allocation problem}, a variant that includes a non-linear regularizer acting on the total resource consumption. In this problem, requests repeatedly arrive over time and, for each request, a decision maker needs to take an action that generates a reward and consumes resources. The objective is to simultaneously maximize additively separable rewards and the value of a non-separable regularizer subject to the resource constraints. Our primary motivation is allowing decision makers to trade off separable objectives such as the economic efficiency of an allocation with ancillary, non-separable objectives such as the fairness or equity of an allocation. We design an algorithm that is simple, fast, and attains good performance with both stochastic i.i.d.~and adversarial inputs. In particular, our algorithm is asymptotically optimal under stochastic i.i.d. input models and attains a fixed competitive ratio that depends on the regularizer when the input is adversarial. Furthermore, the algorithm and analysis do not require convexity or concavity of the reward function and the consumption function, which allows more model flexibility. Numerical experiments confirm the effectiveness of the proposed algorithm and of regularization in an internet advertising application.


title: Learning unbiased zero-shot semantic segmentation networks via transductive transfer

abstract: Semantic segmentation, which aims to acquire a detailed understanding of images, is an essential issue in computer vision. However, in practical scenarios, new categories that are different from the categories in training usually appear. Since it is impractical to collect labeled data for all categories, how to conduct zero-shot learning in semantic segmentation establishes an important problem. Although the attribute embedding of categories can promote effective knowledge transfer across different categories, the prediction of segmentation network reveals obvious bias to seen categories. In this paper, we propose an easy-to-implement transductive approach to alleviate the prediction bias in zero-shot semantic segmentation. Our method assumes that both the source images with full pixel-level labels and unlabeled target images are available during training. To be specific, the source images are used to learn the relationship between visual images and semantic embeddings, while the target images are used to alleviate the prediction bias towards seen categories. We conduct comprehensive experiments on diverse split s of the PASCAL dataset. The experimental results clearly demonstrate the effectiveness of our method.


title: Sobolev, Hardy, Gagliardo-Nirenberg and Caffarelli-Kohn-Nirenberg type inequalities for some fractional derivatives

abstract: In this paper we show different inequalities for fractional order differential operators. In particular, the Sobolev, Hardy, Gagliardo-Nirenberg and Caffarelli-Kohn-Nirenberg type inequalities for the Caputo, Riemann-Liouville and Hadamard derivatives are obtained. In addition, we show some applications of these inequalities.


title: Microphase separation in active filament systems is maintained by cyclic dynamics of cluster size and order

abstract: The onset of polar flocking in active matter is discontinuous, akin to gas-liquid phase transitions, except that the steady state exhibits microphase separation into polar clusters. While these features have been observed in theoretical models and experiments, little is known about the underlying mesoscopic processes at the cluster level. Here we show that emergence and maintenance of polar order are governed by the interplay between the assembly and disassembly dynamics of clusters with varying size and degree of polar order. Using agent-based simulations of propelled filaments in a parameter regime relevant for actomyosin motility assays, we monitor the temporal evolution of cluster statistics and the transport processes of filaments between clusters. We find that, over a broad parameter range, the emergence of order is determined by nucleation and growth of polar clusters, where the nucleation threshold depends not only on the cluster size but also on its polar moment. Growth involves cluster self-replication, and polar order is established by cluster growth and fragmentation. Maintenance of the microphase-separated, polar-ordered state results from a cyclic dynamics in cluster size and order, driven by an interplay between cluster nucleation, coagulation, fragmentation and evaporation of single filaments. These findings are corroborated by a kinetic model for the cluster dynamics that includes these elementary cluster-level processes. It consistently reproduces the cluster statistics as well as the cyclic turnover from disordered to ordered clusters and back. Such cyclic kinetic processes could represent a general mechanism for the maintenance of order in active matter systems.


title: Dynamic Movement Primitives: Volumetric Obstacle Avoidance Using Dynamic Potential Functions

abstract: Obstacle avoidance for DMPs is still a challenging problem. In our previous work, we proposed a framework for obstacle avoidance based on superquadric potential functions to represent volumes. In this work, we extend our previous work to include the velocity of the trajectory in the definition of the potential. Our formulations guarantee smoother behavior with respect to state-of-the-art point-like methods. Moreover, our new formulation allows to obtain a smoother behavior in proximity of the obstacle than when using a static (i.e. velocity independent) potential. We validate our framework for obstacle avoidance in a simulated multi-robot scenario and with different real robots: a pick-and-place task for an industrial manipulator and a surgical robot to show scalability; and navigation with a mobile robot in dynamic environment.


title: Fermion-boson many-body interplay in a frustrated kagome paramagnet

abstract: Kagome-net, appearing in areas of fundamental physics, materials, photonic and cold-atom systems, hosts frustrated fermionic and bosonic excitations. However, it is extremely rare to find a system to study both fermionic and bosonic modes to gain insights into their many-body interplay. Here we use state-of-the-art scanning tunneling microscopy and spectroscopy to discover unusual electronic coupling to flat-band phonons in a layered kagome paramagnet. Our results reveal the kagome structure with unprecedented atomic resolution and observe the striking bosonic mode interacting with dispersive kagome electrons near the Fermi surface. At this mode energy, the fermionic quasi-particle dispersion exhibits a pronounced renormalization, signaling a giant coupling to bosons. Through a combination of self-energy analysis, first-principles calculation, and a lattice vibration model, we present evidence that this mode arises from the geometrically frustrated phonon flat-band, which is the lattice analog of kagome electron flat-band. Our findings provide the first example of kagome bosonic mode (flat-band phonon) in electronic excitations and its strong interaction with fermionic degrees of freedom in kagome-net materials.


title: Constructed measures and causal inference: towards a new model of measurement for psychosocial constructs

abstract: Psychosocial constructs can only be assessed indirectly, and measures are typically formed by a combination of indicators that are thought to relate to the construct. Reflective and formative measurement models offer different conceptualizations of the relation between the indicators and what is sometimes conceived of as a univariate latent variable supposed to correspond in some way to the construct. It is argued that the empirical implications of reflective and formative models will often be violated by data since the causally relevant constituents will generally be multivariate, not univariate. These empirical implications can be formally tested but factor analysis is not adequate to do so. It is argued that formative models misconstrue the relationship between the constructed measures and the underlying reality by which causal processes operate, but that reflective models misconstrue the nature of the underlying reality itself by typically presuming that the constituents of it that are causally efficacious are unidimensional. The ensuing problems arising from these misconstruals are discussed. A causal interpretation is proposed of associations between constructed measures and various outcomes that is applicable to both reflective and formative models and is applicable even if the usual assumptions of these models are violated. An outline for a new model of the process of measure construction is put forward. Discussion is given to the practical implications of these observations and proposals for the provision of definitions, the selection of items, item-by-item analyses, the construction of measures, and the interpretation of the associations of these measures with subsequent outcomes.


title: Experimental evidence on photo-assisted O$^-$ ion production from Al$_2$O$_3$ cathode in cesium sputter negative ion source

abstract: The production of negative ions in cesium sputter ion sources is generally considered to be a pure surface process. It has been recently proposed that ion pair production could explain the higher-than-expected beam currents extracted from these ion sources, therefore opening the door for laser-assisted enhancement of the negative ion yield. We have tested this hypothesis by measuring the effect of various pulsed diode lasers on the O$^-$ beam current produced from Al$_2$O$_3$ cathode of a cesium sputter ion source. It is expected that the ion pair production of O$^-$ requires populating the 5d electronic states of neutral cesium, thus implying that the process should be provoked only with specific wavelengths. Our experimental results provide evidence for the existence of a wavelength-dependent photo-assisted effect but cast doubt on its alleged resonant nature as the prompt enhancement of beam current can be observed with laser wavelengths exceeding a threshold photon energy. The beam current transients observed during the laser pulses suggest that the magnitude and longevity of the beam current enhancement depends on the cesium balance on the cathode surface. We conclude that the photo-assisted negative ion production could be of practical importance as it can more than double the extracted beam current under certain operational settings of the ion source.


title: The Complex of Hypersurfaces in a Homology Class

abstract: For a compact oriented smooth $n$-manifold $M$ and a codimension-$1$ homology class $\phi \in \operatorname{H}_{n-1}(M, \partial M)$, we investigate a simplicial complex $\mathcal{S}^\dagger(M, \phi)$ relating the properly embedded hypersurfaces in $M$ representing $\phi$. Its definition is akin to that of other classical complexes, such as the curve complex of a surface or the Kakimizu complex of a knot, with the difference that hypersurfaces are not taken up to isotopy. We prove that $\mathcal{S}^\dagger(M, \phi)$ is connected and simply connected in every dimension $n$. We also show connectedness of a similar complex $\mathcal{T}^\dagger(M, \phi)$ adapted to the $3$-dimensional case, where only Thurston norm-realizing surfaces are considered. The connectedness results are transported to the complexes $\mathcal{S}(M, \phi), \mathcal{T}(M, \phi)$ where hypersurfaces are taken up to isotopy, and for $n=2$ the simple connectedness result carries over as well. We also briefly discuss extensions to a context studied by Turaev, where regular graphs in $2$-complexes are used to represent $1$-dimensional cohomology classes. We finish with two applications: we give an alternative proof of the fact that all Seifert surfaces for a fixed knot in a rational homology sphere are tube-equivalent, and we use connectedness of $\mathcal{T}^\dagger(M, \phi)$ to define a new $\ell^2$-invariant of $2$-dimensional homology classes in irreducible and boundary-irreducible oriented compact connected $3$-manifolds with empty or toroidal boundary.


title: Drug discovery with explainable artificial intelligence

abstract: Deep learning bears promise for drug discovery, including advanced image analysis, prediction of molecular structure and function, and automated generation of innovative chemical entities with bespoke properties. Despite the growing number of successful prospective applications, the underlying mathematical models often remain elusive to interpretation by the human mind. There is a demand for 'explainable' deep learning methods to address the need for a new narrative of the machine language of the molecular sciences. This review summarizes the most prominent algorithmic concepts of explainable artificial intelligence, and dares a forecast of the future opportunities, potential applications, and remaining challenges.


title: On the precision of neural computation with interaural time differences in the medial superior olive

abstract: Incoming sound is in cochlea and auditory nerve encoded into spike trains. At the third neuron of the auditory pathway, spike trains of the left and right sides are processed in brainstem nuclei to yield sound localization information. Two different localization encoding mechanisms are employed in two centers for low and high sound frequencies in the brainstem. The centers are superior olivary nuclei, medial and lateral. This paper contains analytical estimates of parameters needed in description of auditory coding in sound localization neural circuit. Our model spike trains are based on electro-physiological recordings. We arrive to best estimates for neuronal signaling with the use of just noticeable difference of the ideal observer. We describe spike timing jitter and its role in the spike train processing. All parameters are accompanied with detailed estimates of their values and variability. Intervals bounding all the parameter from lower and higher values are discussed.


title: A Characteristic Function-based Algorithm for Geodesic Active Contours

abstract: Active contour models have been widely used in image segmentation, and the level set method (LSM) is the most popular approach for solving the models, via implicitly representing the contour by a level set function. However, the LSM suffers from high computational burden and numerical instability, requiring additional regularization terms or re-initialization techniques. In this paper, we use characteristic functions to implicitly represent the contours, propose a new representation to the geodesic active contours and derive an efficient algorithm termed as the iterative convolution-thresholding method (ICTM). Compared to the LSM, the ICTM is simpler and much more efficient. In addition, the ICTM enjoys most desired features of the level set-based methods. Extensive experiments, on 2D synthetic, 2D ultrasound, 3D CT, and 3D MR images for nodule, organ and lesion segmentation, demonstrate that the proposed method not only obtains comparable or even better segmentation results (compared to the LSM) but also achieves significant acceleration.


title: Feedback control for random, linear hyperbolic balance laws

abstract: We design the controls of physical systems that are faced by uncertainties. The system dynamics are described by random hyperbolic balance laws. The control aims to steer the system to a desired state under uncertainties. We propose a control based on Lyapunov stability analysis of a suitable series expansion of the random dynamics. The control damps the impact of uncertainties exponentially fast in time. The presented approach can be applied to a large class of physical systems and random perturbations, as e.g. Gaussian processes. We illustrate the control effect on a stochastic viscoplastic material model.


title: Euler-scale dynamical correlations in integrable systems with fluid motion

abstract: We devise an iterative scheme for numerically calculating dynamical two-point correlation functions in integrable many-body systems, in the Eulerian scaling limit. Expressions for these were originally derived in Ref. [1] by combining the fluctuation-dissipation principle with generalized hydrodynamics. Crucially, the scheme is able to address non-stationary, inhomogeneous situations, when motion occurs at the Euler-scale of hydrodynamics. In such situations, in interacting systems, the simple correlations due to fluid modes propagating with the flow receive subtle corrections, which we test. Using our scheme, we study the spreading of correlations in several integrable models from inhomogeneous initial states. For the classical hard-rod model we compare our results with Monte-Carlo simulations and observe excellent agreement at long time-scales, thus providing the first demonstration of validity for the expressions derived in Ref. [1]. We also observe the onset of the Euler-scale limit for the dynamical correlations.

categories: cond-mat.stat-mech math-ph math.MP nlin.SI


title: Investigating the XENON1T Low-Energy Electronic Recoil Excess Using NEST

abstract: The search for dark matter, the missing mass of the Universe, is one of the most active fields of study within particle physics. The XENON1T experiment recently observed a 3.5$\sigma$ excess potentially consistent with dark matter, or with solar axions. Here, we will use the Noble Element Simulation Technique (NEST) software to simulate the XENON1T detector, reproducing the excess. We utilize different detector efficiency and energy reconstruction models, but they primarily impact sub-keV energies and cannot explain the XENON1T excess. However, using NEST, we can reproduce their excess in multiple, unique ways, most easily via the addition of 31$\pm$11 $^{37}Ar$ decays. Furthermore, this results in new, modified background models, reducing the significance of the excess to $\le2.2\sigma$ at least using non-Profile Likelihood Ratio (PLR) methods. This is independent confirmation that the excess is a real effect, but potentially explicable by known physics. Many cross-checks of our $^{37}Ar$ hypothesis are presented.


title: Smooth Lasso Estimator for the Function-on-Function Linear Regression Model

abstract: A new estimator, named S-LASSO, is proposed for the coefficient function of the Function-on-Function linear regression model. The S-LASSO estimator is shown to be able to increase the interpretability of the model, by better locating regions where the coefficient function is zero, and to smoothly estimate non-zero values of the coefficient function. The sparsity of the estimator is ensured by a \textit{functional LASSO penalty}, which pointwise shrinks toward zero the coefficient function, while the smoothness is provided by two roughness penalties that penalize the curvature of the final estimator. The resulting estimator is proved to be estimation and pointwise sign consistent. Via an extensive Monte Carlo simulation study, the estimation and predictive performance of the S-LASSO estimator are shown to be better than (or at worst comparable with) competing estimators already presented in the literature before. Practical advantages of the S-LASSO estimator are illustrated through the analysis of the \textit{Canadian weather}, \textit{Swedish mortality} and \textit{ship CO\textsubscript{2} emission data}. The S-LASSO method is implemented in the \textsf{R} package \textsf{slasso}, openly available online on CRAN.


title: MLPs to Find Extrema of Functionals

abstract: Multilayer perceptron (MLP) is a class of networks composed of multiple layers of perceptrons, and it is essentially a mathematical function. Based on MLP, we develop a new numerical method to find the extrema of functionals. As demonstrations, we present our solutions in three physic scenes. Ideally, the same method is applicable to any cases where the objective curve/surface can be fitted by second-order differentiable functions. This method can also be extended to cases where there are a finite number of non-differentiable (but continuous) points/surfaces.


title: A Note on the smoothness of flow maps for the Yang-Mills system in the Lorenz gauge

abstract: We study the failure of the smoothness of flow maps for the $(1+3)$ dimensional Yang-Mills system in the Lorenz gauge by Knapp type counterexamples. This shows a gap between the scaling critical regularity exponents and the best attainable regularity via Picard's iteration in the Yang-Mills system under the Lorenz gauge condition.


title: Framings of $W_{g,1}$

abstract: We compute the set of framings of $W_{g,1} = D^{2n} \# (S^n \times S^n)^{\# g}$, up to homotopy and diffeomorphism relative to the boundary.


title: Partial Recovery in the Graph Alignment Problem

abstract: In this paper, we consider the graph alignment problem, which is the problem of recovering, given two graphs, a one-to-one mapping between nodes that maximizes edge overlap. This problem can be viewed as a noisy version of the well-known graph isomorphism problem and appears in many applications, including social network deanonymization and cellular biology. Our focus here is on partial recovery, i.e., we look for a one-to-one mapping which is correct on a fraction of the nodes of the graph rather than on all of them, and we assume that the two input graphs to the problem are correlated Erd\H{o}s-R\'enyi graphs of parameters $(n,q,s)$. Our main contribution is then to give necessary and sufficient conditions on $(n,q,s)$ under which partial recovery is possible with high probability as the number of nodes $n$ goes to infinity. In particular, we show that it is possible to achieve partial recovery in the $nqs=\Theta(1)$ regime under certain additional assumptions.


title: On Convergence-Diagnostic based Step Sizes for Stochastic Gradient Descent

abstract: Constant step-size Stochastic Gradient Descent exhibits two phases: a transient phase during which iterates make fast progress towards the optimum, followed by a stationary phase during which iterates oscillate around the optimal point. In this paper, we show that efficiently detecting this transition and appropriately decreasing the step size can lead to fast convergence rates. We analyse the classical statistical test proposed by Pflug (1983), based on the inner product between consecutive stochastic gradients. Even in the simple case where the objective function is quadratic we show that this test cannot lead to an adequate convergence diagnostic. We then propose a novel and simple statistical procedure that accurately detects stationarity and we provide experimental results showing state-of-the-art performance on synthetic and real-world datasets.


title: Liouville reflection operator, affine Yangian and Bethe ansatz

abstract: In these notes we study integrable structure of conformal field theory by means of Liouville reflection operator/Maulik-Okounkov $R$-matrix. We discuss the relation between $RLL$ and current realization of the affine Yangian of $\mathfrak{gl}(1)$. We construct the family of commuting transfer matrices related to the Intermediate Long Wave hierarchy and derive Bethe ansatz equations for their spectra discovered by Nekrasov and Okounkov and independently by one of the authors. Our derivation mostly follows the one by Feigin, Jimbo, Miwa and Mukhin, but is adapted to the conformal case.


title: Observation of photonic spin-momentum locking due to coupling of achiral metamaterials and quantum dots

abstract: Here, we report observations of photonic spin-momentum locking in the form of directional and chiral emission from achiral quantum dots (QDs) evanescently coupled to achiral hyperbolic metamaterials (HMM). Efficient coupling between QDs and the metamaterial leads to emergence of these photonic topological modes which can be detected in the far field. We provide theoretical explanation for the emergence of spin-momentum locking through rigorous modeling based on photon Green's function where pseudo spin of light arises from coupling of QDs to evanescent modes of HMM.


title: Phonon-Assisted Ballistic Current From First Principles Calculations

abstract: The bulk photovoltaic effect (BPVE) refers to current generation due to illumination by light in a homogeneous bulk material lacking inversion symmetry. In addition to the intensively studied shift current, the ballistic current, which originates from asymmetric carrier generation due to scattering processes, also constitutes an important contribution to the overall kinetic model of the BPVE. In this letter, we use a perturbative approach to derive a formula for the ballistic current resulting from the intrinsic electron-phonon scattering in a form amenable to first-principles calculation. We then implement the theory and calculate the ballistic current of the prototypical BPVE material \ch{BaTiO3} using quantum-mechanical density functional theory. The magnitude of the ballistic current is comparable to that of shift current, and the total spectrum (shift plus ballistic) agrees well with the experimentally measured photocurrents. Furthermore, we show that the ballistic current is sensitive to structural change, which could benefit future photovoltaic materials design.


title: Entanglement distribution with wavevector-multiplexed quantum memory

abstract: Feasible distribution of quantum entanglement over long distances remains a fundamental step towards quantum secure communication and quantum network implementations. Quantum repeater nodes based on quantum memories promise to overcome exponential signal decay inherent to optical implementations of quantum communication. While performance of current quantum memories hinders their practical application, multimode solutions with multiplexing can offer tremendous increase in entanglement distribution rates. We propose to use a wavevector-multiplexed atomic quantum memory (WV-MUX-QM) as a fundamental block of a multiplexed quantum repeater architecture. We show the WV-MUX-QM platform to provide quasi-deterministic entanglement generation over extended distances, mitigating the fundamental issue of optical loss even with currently available quantum memory devices, and exceeding performance of repeaterless solutions as well as other repeater-based protocols such as temporal multiplexing. We establish the entangled-bit (ebit) rate per number of employed nodes as a practical figure of merit reflecting the cost-efficiency of larger inter-node distances.


title: A note on the phase transition for independent alignment percolation

abstract: We study the independent alignment percolation model on $\mathbb{Z}^d$ introduced by Beaton, Grimmett and Holmes [arXiv:1908.07203]. It is a model for random intersecting line segments defined as follows. First the sites of $\mathbb{Z}^d$ are independently declared occupied with probability $p$ and vacant otherwise. Conditional on the configuration of occupied vertices, consider the set of all line segments that are parallel to the coordinate axis, whose extremes are occupied vertices and that do not traverse any other occupied vertex. Declare independently the segments on this set open with probability $\lambda$ and closed otherwise. All the edges that lie on open segments are also declared open giving rise to a bond percolation model in $\mathbb{Z}^d$. We show that for any $d \geq 2$ and $p \in (0,1]$ the critical value for $\lambda$ satisfies $\lambda_c(p)<1$ completing the proof that the phase transition is non-trivial over the whole interval $(0,1]$. We also show that the critical curve $p \mapsto \lambda_c(p)$ is continuous at $p=1$, answering a question posed by the authors in [arXiv:1908.07203].


title: Kolmogorov and Kelvin wave cascades in a generalized model for quantum turbulence

abstract: We performed numerical simulations of decaying quantum turbulence by using a generalized Gross-Pitaevskii equation, that includes a beyond mean field correction and a nonlocal interaction potential. The nonlocal potential is chosen in order to mimic He II by introducing a roton minimum in the excitation spectrum. We observe that at large scales the statistical behavior of the flow is independent of the interaction potential, but at scales smaller than the intervortex distance a Kelvin wave cascade is enhanced in the generalized model. In this range, the incompressible kinetic energy spectrum obeys the weak wave turbulence prediction for Kelvin wave cascade not only for the scaling with wave numbers but also for the energy fluxes and the intervortex distance.


title: Benchmarking for Metaheuristic Black-Box Optimization: Perspectives and Open Challenges

abstract: Research on new optimization algorithms is often funded based on the motivation that such algorithms might improve the capabilities to deal with real-world and industrially relevant optimization challenges. Besides a huge variety of different evolutionary and metaheuristic optimization algorithms, also a large number of test problems and benchmark suites have been developed and used for comparative assessments of algorithms, in the context of global, continuous, and black-box optimization. For many of the commonly used synthetic benchmark problems or artificial fitness landscapes, there are however, no methods available, to relate the resulting algorithm performance assessments to technologically relevant real-world optimization problems, or vice versa. Also, from a theoretical perspective, many of the commonly used benchmark problems and approaches have little to no generalization value. Based on a mini-review of publications with critical comments, advice, and new approaches, this communication aims to give a constructive perspective on several open challenges and prospective research directions related to systematic and generalizable benchmarking for black-box optimization.


title: Instantaneous PSD Estimation for Speech Enhancement based on Generalized Principal Components

abstract: Power spectral density (PSD) estimates of various microphone signal components are essential to many speech enhancement procedures. As speech is highly non-nonstationary, performance improvements may be gained by maintaining time-variations in PSD estimates. In this paper, we propose an instantaneous PSD estimation approach based on generalized principal components. Similarly to other eigenspace-based PSD estimation approaches, we rely on recursive averaging in order to obtain a microphone signal correlation matrix estimate to be decomposed. However, instead of estimating the PSDs directly from the temporally smooth generalized eigenvalues of this matrix, yielding temporally smooth PSD estimates, we propose to estimate the PSDs from newly defined instantaneous generalized eigenvalues, yielding instantaneous PSD estimates. The instantaneous generalized eigenvalues are defined from the generalized principal components, i.e. a generalized eigenvector-based transform of the microphone signals. We further show that the smooth generalized eigenvalues can be understood as a recursive average of the instantaneous generalized eigenvalues. Simulation results comparing the multi-channel Wiener filter (MWF) with smooth and instantaneous PSD estimates indicate better speech enhancement performance for the latter. A MATLAB implementation is available online.


title: A dynamical and radiation semi-analytical model of pulsar-star colliding winds along the orbit: Application to LS 5039

abstract: Gamma-ray binaries are systems that emit non-thermal radiation peaking at energies above 1 MeV. One proposed scenario to explain their emission consists of a pulsar orbiting a massive star, with particle acceleration taking place in shocks produced by the interaction of the stellar and pulsar winds. We develop a semi-analytical model of the non-thermal emission of the colliding-wind structure including the dynamical effects of orbital motion. We apply the model to a general case and to LS 5039. The model consists of a one-dimensional emitter the geometry of which is affected by Coriolis forces owing to orbital motion. Two particle accelerators are considered: one at the two-wind standoff location, and the other one at the turnover produced by the Coriolis force. Synchrotron and inverse Compton emission is studied, accounting for Doppler boosting and absorption processes associated to the massive star. If both accelerators are provided with the same energy budget, most of the radiation comes from the region of the Coriolis turnover and beyond, up to a few orbital separations from the binary system. The model allows us to reproduce some of the LS 5039 emission features, but not all of them. In particular, the MeV radiation is probably too high to be explained by our model alone, the GeV flux is recovered but not its modulation, and the radio emission beyond the Coriolis turnover is too low. The predicted system inclination is consistent with the presence of a pulsar in the binary. The model is quite successful in reproducing the overall non-thermal behavior of LS 5039. Some improvements are suggested to better explain the phenomenology observed in this source, like accounting for particle reacceleration beyond the Coriolis turnover, unshocked pulsar wind emission, and the three-dimensional extension of the emitter.


title: UAV Path Planning for Wireless Data Harvesting: A Deep Reinforcement Learning Approach

abstract: Autonomous deployment of unmanned aerial vehicles (UAVs) supporting next-generation communication networks requires efficient trajectory planning methods. We propose a new end-to-end reinforcement learning (RL) approach to UAV-enabled data collection from Internet of Things (IoT) devices in an urban environment. An autonomous drone is tasked with gathering data from distributed sensor nodes subject to limited flying time and obstacle avoidance. While previous approaches, learning and non-learning based, must perform expensive recomputations or relearn a behavior when important scenario parameters such as the number of sensors, sensor positions, or maximum flying time, change, we train a double deep Q-network (DDQN) with combined experience replay to learn a UAV control policy that generalizes over changing scenario parameters. By exploiting a multi-layer map of the environment fed through convolutional network layers to the agent, we show that our proposed network architecture enables the agent to make movement decisions for a variety of scenario parameters that balance the data collection goal with flight time efficiency and safety constraints. Considerable advantages in learning efficiency from using a map centered on the UAV's position over a non-centered map are also illustrated.

categories: cs.LG cs.IT cs.RO eess.SP math.IT stat.ML


title: Implications of $A_4$ modular symmetry on Neutrino mass, Mixing and Leptogenesis with Linear Seesaw

abstract: The present work is inspired by the application of $A_4$ modular symmetry in the linear seesaw framework, which restricts the use of multiple flavon fields. Linear seesaw is realized with six heavy $SU(2)_L$ singlet fermion superfields and a weighton in a supersymmetric framework. The non-trivial transformation of Yukawa couplings under the $A_4$ modular symmetry helps to explore the neutrino phenomenology with a specific flavor structure of the mass matrix. We discuss the phenomena of neutrino mixing and show that the obtained mixing angles and CP violating phase in this framework are compatible with the observed $3\sigma$ range of the current oscillation data. In addition, we also investigate the non-zero CP asymmetry from the decay of lightest heavy fermion superfield to explain the preferred phenomena of baryogenesis through leptogenesis including flavor effects.


title: Unbounded solutions to systems of differential equations at resonance

abstract: We deal with a weakly coupled system of ODEs of the type $$ x_j'' + n_j^2 \,x_j + h_j(x_1,\ldots,x_d) = p_j(t), \qquad j=1,\ldots,d, $$ with $h_j$ locally Lipschitz continuous and bounded, $p_j$ continuous and $2\pi$-periodic, $n_j \in \mathbb{N}$ (so that the system is at resonance). By means of a Lyapunov function approach for discrete dynamical systems, we prove the existence of unbounded solutions, when either global or asymptotic conditions on the coupling terms $h_1,\ldots,h_d$ are assumed.


title: Deformations and embeddings of three-dimensional strictly pseudoconvex CR manifolds

abstract: Abstract deformations of the CR structure of a compact strictly pseudoconvex hypersurface $M$ in $\mathbb{C}^2$ are encoded by complex functions on $M$. In sharp contrast with the higher dimensional case, the natural integrability condition for $3$-dimensional CR structures is vacuous, and generic deformations of a compact strictly pseudoconvex hypersurface $M\subseteq \mathbb{C}^2$ are not embeddable even in $\mathbb{C}^N$ for any $N$. A fundamental (and difficult) problem is to characterize when a complex function on $M \subseteq \mathbb{C}^2$ gives rise to an actual deformation of $M$ inside $\mathbb{C}^2$. In this paper we study the embeddability of families of deformations of a given embedded CR $3$-manifold, and the structure of the space of embeddable CR structures on $S^3$. We show that the space of embeddable deformations of the standard CR $3$-sphere is a Frechet submanifold of $C^{\infty}(S^3,\mathbb{C})$ near the origin. We establish a modified version of the Cheng-Lee slice theorem in which we are able to characterize precisely the embeddable deformations in the slice (in terms of spherical harmonics). We also introduce a canonical family of embeddable deformations and corresponding embeddings starting with any infinitesimally embeddable deformation of the unit sphere in $\mathbb{C}^2$.


title: Rethinking Anticipation Tasks: Uncertainty-aware Anticipation of Sparse Surgical Instrument Usage for Context-aware Assistance

abstract: Intra-operative anticipation of instrument usage is a necessary component for context-aware assistance in surgery, e.g. for instrument preparation or semi-automation of robotic tasks. However, the sparsity of instrument occurrences in long videos poses a challenge. Current approaches are limited as they assume knowledge on the timing of future actions or require dense temporal segmentations during training and inference. We propose a novel learning task for anticipation of instrument usage in laparoscopic videos that overcomes these limitations. During training, only sparse instrument annotations are required and inference is done solely on image data. We train a probabilistic model to address the uncertainty associated with future events. Our approach outperforms several baselines and is competitive to a variant using richer annotations. We demonstrate the model's ability to quantify task-relevant uncertainties. To the best of our knowledge, we are the first to propose a method for anticipating instruments in surgery.


title: Non-Abelian Bloch oscillations in higher-order topological insulators

abstract: Bloch oscillations (BOs) are a fundamental phenomenon by which a wave packet undergoes a periodic motion in a lattice when subjected to an external force. Observed in a wide range of synthetic lattice systems, BOs are intrinsically related to the geometric and topological properties of the underlying band structure. This has established BOs as a prominent tool for the detection of Berry phase effects, including those described by non-Abelian gauge fields. In this work, we unveil a unique topological effect that manifests in the BOs of higher-order topological insulators through the interplay of non-Abelian Berry curvature and quantized Wilson loops. It is characterized by an oscillating Hall drift that is synchronized with a topologically-protected inter-band beating and a multiplied Bloch period. We elucidate that the origin of this synchronization mechanism relies on the periodic quantum dynamics of Wannier centers. Our work paves the way to the experimental detection of non-Abelian topological properties in synthetic matter through the measurement of Berry phases and center-of-mass displacements.


title: Kalman Filter Meets Subjective Logic: A Self-Assessing Kalman Filter Using Subjective Logic

abstract: Self-assessment is a key to safety and robustness in automated driving. In order to design safer and more robust automated driving functions, the goal is to self-assess the performance of each module in a whole automated driving system. One crucial component in automated driving systems is the tracking of surrounding objects, where the Kalman filter is the most fundamental tracking algorithm. For Kalman filters, some classical online consistency measures exist for self-assessment, which are based on classical probability theory. However, these classical approaches lack the ability to measure the explicit statistical uncertainty within the self-assessment, which is an important quality measure, particularly, if only a small number of samples is available for the self-assessment. In this work, we propose a novel online self-assessment method using subjective logic, which is a modern extension of probabilistic logic that explicitly models the statistical uncertainty. Thus, by embedding classical Kalman filtering into subjective logic, our method additionally features an explicit measure for statistical uncertainty in the self-assessment.


title: Electron-pairing in the quantum Hall regime due to neutralon exchange

abstract: The behavior of electrons in condensed matter systems is mostly determined by the repulsive Coulomb interaction. However, under special circumstances the Coulomb interaction can be effectively attractive, giving rise to electron pairing in unconventional superconductors and specifically designed mesoscopic setups. In quantum Hall systems electron interactions can play a particularly important role due to the huge degeneracy of Landau levels, leading for instance to the emergence of quasi-particles with fractional charge and anyonic statistics. Quantum Hall Fabry-P\'erot (FPI) interferometers have attracted increasing attention due to their ability to probe such exotic physics. In addition, such interferometers are affected by electron interactions themselves in interesting ways. Recently, experimental evidence for electron pairing in a quantum Hall FPI was found (H.K. Choi et al., Nat. Comm 6, 7435 (2015)) . Theoretically describing an FPI in the limit of strong backscattering and under the influence of a screened Coulomb interaction, we compute electron shot noise and indeed find a two-fold enhanced Fano factor for some parameters, indicative of electron pairing. This result is explained in terms of an electron interaction due to exchange of neutral inter-edge plasmons, so-called neutralons.


title: Thermal ripples in bilayer graphene

abstract: We study thermal fluctuations of a free-standing bilayer graphene subject to vanishing external tension. Within a phenomenological theory, the system is described as a stack of two continuum crystalline membranes, characterized by finite elastic moduli and a nonzero bending rigidity. A nonlinear rotationally-invariant model guided by elasticity theory is developed to describe interlayer interactions. After neglection of in-plane phonon nonlinearities and anharmonic interactions involving interlayer shear and compression modes, an effective theory for soft flexural fluctuations of the bilayer is constructed. The resulting model, neglecting anisotropic interactions, has the same form of a well-known effective theory for out-of-plane fluctuations in a single-layer membrane, but with a strongly wave-vector dependent bare bending rigidity. Focusing on AB-stacked bilayer graphene, parameters governing interlayer interactions in the theory are derived by first-principles calculations. Statistical-mechanical properties of interacting flexural fluctuations are then calculated by a numerical iterative solution of field-theory integral equations within the self-consistent screening approximation (SCSA). The bare bending rigidity in the considered model exhibits a crossover between a long-wavelength regime governed by in-plane elastic stress and a short wavelength region controlled by monolayer curvature stiffness. Interactions between flexural fluctuations drive a further crossover between a harmonic and a strong-coupling regime, characterized by anomalous scale invariance. The overlap and interplay between these two crossover behaviors is analyzed at varying temperatures.


title: Non-commensurable hyperbolic manifolds with the same trace ring

abstract: We prove that there are infinitely many pairwise non-commensurable hyperbolic $n$-manifolds that have the same ambient group and trace ring, for any $n \geq 3$. The manifolds can be chosen compact if $n \geq 4$.


title: Feedback control for stochastic gas flow

abstract: We consider linear hyperbolic balance law that describe gas flow. Stochastic influences are introduced by series of orthogonal functions. A deterministic stabilization concept, which makes deviations at steady states decay exponentially fast, is extended to stochastic influences. These can be described by general Gaussian processes. The computational complexity, however, may prevent an application to certain random fields.


title: What is the price of abandoning dark matter? Cosmological constraints on alternative gravity theories

abstract: Any successful alternative gravity theory that obviates the need for dark matter must fit our cosmological observations. Measurements of microwave background polarization trace the large-scale baryon velocity field at recombination and show very strong, $O(1)$, baryon acoustic oscillations. Measurements of the large-scale structure of galaxies at low redshift show much weaker features in the spectrum. If the alternative gravity theory's dynamical equations for the growth rate of structure are linear, then the density field growth can be described by a Green's function: $\delta(\vec x,t) = \delta(\vec x,t')G(x,t,t')$. We show that the Green function, $G(x,t,t')$, must have dramatic features that erase the initial baryon oscillations. This implies an acceleration law that changes sign on the $\sim 150$ Mpc scale. On the other hand, if the alternative gravity theory has a large nonlinear term that couples modes on different scales, then the theory would predict large-scale non-Gaussian features in large-scale structure. These are not seen in the distribution of galaxies nor in the distribution of quasars. No proposed alternative gravity theory for dark matter seems to satisfy these constraints.


title: On universal black holes

abstract: Recent results of arXiv:1907.08788 on universal black holes in $d$ dimensions are summarized. These are static metrics with an isotropy-irreducible homogeneous base space which can be consistently employed to construct solutions to virtually any metric theory of gravity in vacuum.


title: Two-dimensional correlation analysis of periodicity in active galactic nuclei time series

abstract: The active galactic nuclei (AGN) are among the most powerful sources with an inherent, pronounced and random variation of brightness. The randomness of their time series is so subtle as to blur the border between aperiodic fluctuations and noisy oscillations. This poses challenges to analysing of such time series because neither visual inspection nor pre-exisitng methods can identify well oscillatory signals in them. Thus, there is a need for an objective method for periodicity detection. Here we review our a new data analysis method that combines a two-dimensional correlation (2D) of time series with the powerful methods of Gaussian processes. To demonstrate the utility of this technique, we apply it to two example problems which were not exploited enough: damped rednoised artificial time series mimicking AGN time series and newly published observed time series of changing look AGN (CL AGN) NGC 3516. The method successfully detected periodicities in both types of time series. Identified periodicity of $\sim 4$ yr in NGC 3516 allows us to speculate that if the thermal instability formed in its accretion disc (AD) on a time scale resembling detected periodicity then AD radius could be $\sim 0.0024$ pc.


title: FVV Live: A real-time free-viewpoint video system with consumer electronics hardware

abstract: FVV Live is a novel end-to-end free-viewpoint video system, designed for low cost and real-time operation, based on off-the-shelf components. The system has been designed to yield high-quality free-viewpoint video using consumer-grade cameras and hardware, which enables low deployment costs and easy installation for immersive event-broadcasting or videoconferencing. The paper describes the architecture of the system, including acquisition and encoding of multiview plus depth data in several capture servers and virtual view synthesis on an edge server. All the blocks of the system have been designed to overcome the limitations imposed by hardware and network, which impact directly on the accuracy of depth data and thus on the quality of virtual view synthesis. The design of FVV Live allows for an arbitrary number of cameras and capture servers, and the results presented in this paper correspond to an implementation with nine stereo-based depth cameras. FVV Live presents low motion-to-photon and end-to-end delays, which enables seamless free-viewpoint navigation and bilateral immersive communications. Moreover, the visual quality of FVV Live has been assessed through subjective assessment with satisfactory results, and additional comparative tests show that it is preferred over state-of-the-art DIBR alternatives.


title: Index Coding in Vehicle to Vehicle Communication

abstract: Vehicle to Vehicle (V2V) communication phase is an integral part of collaborative message dissemination in vehicular ad-hoc networks (VANETs). In this work, we apply index coding techniques to reduce the number of transmissions required for data exchange. The index coding problem has a sender, which tries to meet the demands of several receivers in a minimum number of transmissions. All these receivers have some prior knowledge of the messages, known as the side-information. In this work, we consider a particular case of the index coding problem, where multiple nodes want to share information among them. Under this set up, lower bound on the number of transmissions is established when the cardinality of side-information is the same. An optimal solution to achieve the bound in a special case of VANET scenario is presented. For this special case, we consider the link between the nodes to be error-prone, and in this setting, we construct optimal linear error correcting index codes.


title: Electromagnetic fields and directed flow in large and small colliding systems at ultrarelativistic energies

abstract: The hot and dense QCD matter produced in nuclear collisions at ultrarelativistic energy is characterized by very intense electromagnetic fields which attain their maximal strength in the early pre-equilibrium stage and interplay with the strong vorticity induced in the plasma by the large angular momentum of the colliding system. A promising observable keeping trace of these phenomena is the directed flow of light hadrons and heavy mesons produced in symmetric and asymmetric heavy-ion collisions as well as in proton-induced reactions. In particular, the splitting of the directed flow between particles with the same mass but opposite electric charge as a function of rapidity and transverse momentum gives access to the electromagnetic response of medium in all collision stages and in the different colliding systems. The highest influence of electromagnetic fields is envisaged in the pre-equilibrium stage of the collision and therefore a significant imprint is left on the early-produced heavy quarks. The aim of this review is to discuss the current developments towards the understanding of the generation and relaxation time of the electromagnetic fields embedded in both large and small systems and their impact on the charge-odd directed flow of light and heavy particles, highlighting the experimental results and the different theoretical approaches. Since it is possible to perform realistic simulations of high-energy collisions that incorporate also the generated electromagnetic fields and vorticity, the study of the directed flow can provide unique insight into the early nonequilibrium phase and the ensuing QGP formation and transport properties.


title: Duality and approximation of stochastic optimal control problems under expectation constraints

abstract: We consider a continuous time stochastic optimal control problem under both equality and inequality constraints on the expectation of some functionals of the controlled process. Under a qualification condition, we show that the problem is in duality with an optimization problem involving the Lagrange multiplier associated with the constraints. Then by convex analysis techniques, we provide a general existence result and some a priori estimation of the dual optimizers. We further provide a necessary and sufficient optimality condition for the initial constrained control problem. The same results are also obtained for a discrete time constrained control problem. Moreover, under additional regularity conditions, it is proved that the discrete time control problem converges to the continuous time problem, possibly with a convergence rate. This convergence result can be used to obtain numerical algorithms to approximate the continuous time control problem, which we illustrate by two simple numerical examples.