title: Impact of Autonomous Vehicle Technology on Long Distance Travel Behavior

abstract: Although rapid progress in-vehicle automated technology has sped up the possibility of using fully automated technology for public use, little research has been done on the possible influences of autonomous vehicles (AVs) technology on long-distance travel. This technology has the potential to have a significant effect on intercity trips. This study analyzed a travel survey to anticipate the impact of this technology on long-distance trips. We have divided trips into two different categories including trips for pleasure and trips for business. Different hypotheses based on the authors' knowledge and assisted by existing literature have been defined for each type of trip. By using the Pearson method these hypotheses have been tested and the positive or negative responses from respondents have been evaluated. The findings show that using AVs for pleasure trips can increase the number of travelers and stimulate people to choose longer distances for their trips. In addition, people enjoy more and will be interested to travel more frequently. For business trips, AV technology can reduce travel costs and job-related stress. Unlike pleasure trips for which people are not interested in traveling at night, business travelers prefer to travel at night.


title: How AI Developers Overcome Communication Challenges in a Multidisciplinary Team: A Case Study

abstract: The development of AI applications is a multidisciplinary effort, involving multiple roles collaborating with the AI developers, an umbrella term we use to include data scientists and other AI-adjacent roles on the same team. During these collaborations, there is a knowledge mismatch between AI developers, who are skilled in data science, and external stakeholders who are typically not. This difference leads to communication gaps, and the onus falls on AI developers to explain data science concepts to their collaborators. In this paper, we report on a study including analyses of both interviews with AI developers and artifacts they produced for communication. Using the analytic lens of shared mental models, we report on the types of communication gaps that AI developers face, how AI developers communicate across disciplinary and organizational boundaries, and how they simultaneously manage issues regarding trust and expectations.


title: Anharmonic lattice dynamics in large thermodynamic ensembles with machine-learning force fields: CsPbBr$_{3}$ a phonon-liquid with Cs rattlers

abstract: The phonon dispersion relations of crystal lattices can often be well-described with the harmonic approximation. However, when the potential energy landscape exhibits more anharmonicity, for instance, in case of a weakly bonded crystal or when the temperature is raised, the approximation fails to capture all crystal lattice dynamics properly. Phonon-phonon scattering mechanisms become important and limit the phonon lifetimes. We take a novel approach and simulate the phonon dispersion of a complex dynamic solid at elevated temperatures with Machine-Learning Force Fields of near-first-principles accuracy. Through large-scale molecular dynamics simulations the projected velocity autocorrelation function (PVACF) is obtained. We apply this approach to the inorganic perovskite CsPbBr$_{3}$. Imaginary modes in the harmonic picture of this perovskite are absent in the PVACF, indicating a dynamic stabilization of the crystal. The anharmonic nature of the potential makes a decoupling of the system into a weakly interacting phonon gas impossible. The phonon spectra of CsPbBr$_{3}$ show the characteristics of a phonon liquid. Rattling motions of the Cs$^{+}$ cations are studied by self-correlation functions and are shown to be nearly dispersionless motions of the cations with a frequency of $\sim$0.8THz within the lead-bromide framework.


title: A New Artificial Neuron Proposal with Trainable Simultaneous Local and Global Activation Function

abstract: The activation function plays a fundamental role in the artificial neural network learning process. However, there is no obvious choice or procedure to determine the best activation function, which depends on the problem. This study proposes a new artificial neuron, named global-local neuron, with a trainable activation function composed of two components, a global and a local. The global component term used here is relative to a mathematical function to describe a general feature present in all problem domain. The local component is a function that can represent a localized behavior, like a transient or a perturbation. This new neuron can define the importance of each activation function component in the learning phase. Depending on the problem, it results in a purely global, or purely local, or a mixed global and local activation function after the training phase. Here, the trigonometric sine function was employed for the global component and the hyperbolic tangent for the local component. The proposed neuron was tested for problems where the target was a purely global function, or purely local function, or a composition of two global and local functions. Two classes of test problems were investigated, regression problems and differential equations solving. The experimental tests demonstrated the Global-Local Neuron network's superior performance, compared with simple neural networks with sine or hyperbolic tangent activation function, and with a hybrid network that combines these two simple neural networks.


title: On the relation of the COVID-19 reproduction number to the explosive timescales: the case of Italy

abstract: A great issue of discussion of an infectious disease is its basic reproduction number R0, which provides an estimation of the contagiousness of the disease. When R0 > 1, the disease spread will potentially lead to an outbreak, such that of the ongoing COVID-19 pandemics. During the evolution of an outbreak, various non-pharmaceutical interventions are employed, the impact of which is frequently assessed by the reduction that they introduce to the effective reproduction number Rt; reduction below 1 is an indication of eventual dying out of the disease spread. Motivated by the fact that R0 essentially expresses the stability of the disease-free equilibrium, in this work, Rt was examined in the view of timescale analysis. It was shown that during the evolution of the COVID-19 outbreak in Italy, when various interventions were in place, Rt had a clear relation with the explosive timescale characterizing the dynamics of the outbreak. In particular, it is shown that the existence of an explosive timescale during the progression of the epidemics implies Rt > 1, while its absence implies Rt < 1. In addition, as this timescale converges/diverges with the immediately slowest one, Rt approaches to/withdraws from its threshold value 1. These results suggest that timescale analysis can be utilized for the assessment of the impact of various interventions, since it reflects the insight provided by the effective reproduction number, without being hindered by the selection of the population model, nor the parameter estimation process followed for model calibration.


title: GSM-GPRS Based Smart Street Light

abstract: Street lighting system has always been the traditional manual system of illuminating the streets in Bangladesh, where a dedicated person is posted only to control the street lights of a zone, who roams around the zonal area to switch on and switch off the lights two times a day, which brings about the exhibition of bright lights in street even after sunrise and in some cases maybe the whole day. This results in insertion to the budget. In addition to this, faulty lights may not come to the heed of the concerned authority for a long time which leads to the technical downside. This paper demonstrates a process of controlling the street lights in country like Bangladesh employing SIM900 GSM-GPRS Shield which comes up with the provision of manual control, semi-automated control as well as full-automated control.


title: Is the Chen-Sbert Divergence a Metric?

abstract: Recently, Chen and Sbert proposed a general divergence measure. This report presents some interim findings about the question whether the divergence measure is a metric or not. It has been postulated that (i) the measure might be a metric when (0 < k <= 1), and (ii) the k-th root of the measure might be a metric when (k > 1). The report shows that for a 2-letter alphabet, postulation (i) can be proved. The possible pathway for obtaining a proof for (i) in n-letter cases is also discussed. The authors hope that the report may stimulate more scholarly effort to study the mathematical properties of this divergence measure.


title: Modeling and Analysis of Three Properties of Mobile Interactive Systems Based on Variable Petri Nets

abstract: Due to the mobility and frequent disconnections, the correctness of mobile interaction systems, such as mobile robot systems and mobile payment systems, are often difficult to analyze. This paper introduces three critical properties of systems, called system connectivity, interaction soundness and data validity, and presents a related modeling and analysis method, based on a kind of Petri nets called VPN. For a given system, a model including component nets and interaction structure nets is constructed by using VPNs. The component net describes the internal process of each component, while the interaction structure net reflects the dynamic interaction between components. Based on this model, three properties are defined and analyzed. The case study of a practical mobile payment system shows the effectiveness of the proposed method.


title: Scientific Relevance and Future of Digital Immortality and Virtual Humans

abstract: We are on the threshold of a significant change in the way we view digital life, which will have a major effect on the physical world. Computers have increasingly emulated deceased human beings through growing awareness in the fields of artificial intelligence, big data, and machine learning, and have symbolically managed to overcome death with the help of technology. One thing is clear, though: now that there are proper and legitimate discussions happening about human immortality, we can be certain that the future is upon us. This article attempts to explain and challenge the ways in which digital immortality, in particular, has manifested itself. This paper summarizes the technological solutions, research findings and technical challenges of major researchers by reviewing the key technologies and general technical schemes in the field of digital human beings. The prospects of digital human beings are being investigated.


title: Big Data Generated by Connected and Automated Vehicles for Safety Monitoring, Assessment and Improvement, Final Report (Year 3)

abstract: This report focuses on safety aspects of connected and automated vehicles (CAVs). The fundamental question to be answered is how can CAVs improve road users' safety? Using advanced data mining and thematic text analytics tools, the goal is to systematically synthesize studies related to Big Data for safety monitoring and improvement. Within this domain, the report systematically compares Big Data initiatives related to transportation initiatives nationally and internationally and provides insights regarding the evolution of Big Data science applications related to CAVs and new challenges. The objectives addressed are: 1-Creating a database of Big Data efforts by acquiring reports, white papers, and journal publications; 2-Applying text analytics tools to extract key concepts, and spot patterns and trends in Big Data initiatives; 3-Understanding the evolution of CAV Big Data in the context of safety by quantifying granular taxonomies and modeling entity relations among contents in CAV Big Data research initiatives, and 4-Developing a foundation for exploring new approaches to tracking and analyzing CAV Big Data and related innovations. The study synthesizes and derives high-quality information from innovative research activities undertaken by various research entities through Big Data initiatives. The results can provide a conceptual foundation for developing new approaches for guiding and tracking the safety implications of Big Data and related innovations.


title: Complete Proof of the Collatz Conjecture

abstract: The \textit{Collatz's conjecture} is an unsolved problem in mathematics. It is named after Lothar Collatz in 1973. The conjecture also known as Syrucuse conjecture or problem. Take any positive integer $ n $. If $ n $ is even then divide it by $ 2 $, else do "triple plus one" and get $ 3n+1 $. The conjecture is that for all numbers, this process converges to one. In the modular arithmetic notation, define a function $ f $ as follows: \[f(x)= \left\{ \begin{array}{lll} \frac{n}{2} &if & n\equiv 0 \pmod 2\\ 3n+1& if& n\equiv 1 \pmod 2. \end{array}\right. \] In this paper, we present the proof of the Collatz conjecture for many types of sets defined by the remainder theorem of arithmetic. These sets are defined in mods $6, 12, 24, 36, 48, 60, 72, 84, 96, 108$ and we took only odd positive remainders to work with. It is not difficult to prove that the same results are true for any mod $12m, $ for positive integers $m$.


title: Quantum Interference on the Non-Commutative Plane and the Quantum-to-Classical Transition

abstract: We explore a possible link between the structure of space at short length scales and the emergence of classical phenomena at macroscopic scales. To this end we adopt the paradigm of non-commutative space at short length scales and explicitly compute the outcomes of a double slit experiment and a von Neumann measurement in the non-commutative plane. A very consistent picture of a continuous quantum-to-classical transition emerges. The mechanism driving this transition is standard decoherence, but here the ``environment'' arises quite naturally from the tensor product structure of the non-commutative quantum Hilbert space. The double slit calculation enables us to establish a lower bound on the non-commutative parameter for this transition to become effective at particle numbers of the order of Avogadro's number. Similarly, the result of the von Neumann measurement establishes a criterium involving the non-commutative parameter, apparatus size and coupling between system and apparatus for classicality to emerge.


title: Low-energy electrodynamics of Dirac semimetal phases in the doped Mott insulator Sr$_2$IrO$_4$

abstract: Correlated Dirac semimetal phases emerge in lightly doped (Tb- or La-doped) Mott insulator Sr$_2$IrO$_4$, where a d-wave symmetry-breaking order underlying a pseudogap plays a crucial role in determining the nature of Dirac degeneracy, i.e., whether it is a Dirac line node or Dirac point node. Here, using a realistic five-orbital tight-binding model with a Hubbard U and a semiclassical Boltzmann transport theory, we systematically study the low-energy electrodynamic properties of the Dirac semimetal phases in the paramagnetic lightly doped Sr$_2$IrO$_4$. We investigate the effects of the d-wave electronic order and electron doping concentration on the electronic band structures and optical properties of various Dirac semimetal phases. We calculate the intraband optical conductivity and obtain electrodynamic parameters of dc conductivity, scattering rate, and Drude weight for three Dirac semimetal phases: two are Dirac point-node states observed in the 3% Tb-doped and 5% La-doped Sr$_2$IrO$_4$, and the other is a Dirac line-node state. Our results show that the temperature dependence of the electrodynamic parameters is strong in the Tb-doped system while weak in the La-doped and Dirac line-node systems, which are consistent with available experimental data. Moreover, using the low-energy effective theory, we also compare the temperature-dependent screening effect in the Tb- and La-doped systems using graphene as a reference. Our paper provides valuable insight for understanding the transport and optical properties of correlated Dirac semimetal phases in the doped Sr$_2$IrO$_4$.


title: Bridging the Gap: the case for an Incompletely Theorized Agreement on AI policy

abstract: Recent progress in artificial intelligence (AI) raises a wide array of ethical and societal concerns. Accordingly, an appropriate policy approach is needed today. While there has been a wave of scholarship in this field, the research community at times appears divided amongst those who emphasize near-term concerns, and those focusing on long-term concerns and corresponding policy measures. In this paper, we seek to map and critically examine this alleged gulf, with a view to understanding the practical space for inter-community collaboration on AI policy. This culminates in a proposal to make use of the legal notion of an incompletely theorized agreement. We propose that on certain issue areas, scholars working with near-term and long-term perspectives can converge and cooperate on selected mutually beneficial AI policy projects all the while maintaining divergent perspectives.


title: Knowledge Graphs and Natural-Language Processing

abstract: Emergency-relevant data comes in many varieties. It can be high volume and high velocity, and reaction times are critical, calling for efficient and powerful techniques for data analysis and management. Knowledge graphs represent data in a rich, flexible, and uniform way that is well matched with the needs of emergency management. They build on existing standards, resources, techniques, and tools for semantic data and computing. This chapter explains the most important semantic technologies and how they support knowledge graphs. We proceed to discuss their benefits and challenges and give examples of relevant semantic data sources and vocabularies. Natural-language texts -- in particular those collected from social media such as Twitter -- is a type of data source that poses particular analysis challenges. We therefore include an overview of techniques for processing natural-language texts.


title: Context, input and process as critical elements for successful Emergency Remote Learning

abstract: In Spring 2020, the world moved from traditional classes to what was coined as ERL (Emergency Remote Teaching, Learning, Instruction), posing real challenges to all actors involved, requiring an immediate, unprecedented, and unplanned devising of mitigation strategies. The impacts of this transition cannot, however, be studied only at the educational level, as it consists of a broader social shift with multidomain repercussions. In this paper, we use the CIPP model (Context, Input, Process and Product evaluations) to further investigate interrelations among the context, input and process elements of ERL during the first wave of COVID-19, as the second wave presses towards reconfining. A correlation analysis of 46 variables, based students responses (N=360) to a closed-ended questionnaire shows the crucial importance of motivation and engagement in online classes, as learning enablers or constrainers. These also shape the students perception of the role that online classes play in helping them to stay more positive during ERL.


title: New Classes of Conservation Laws Based on Generalized Fluid Densities and Reynolds Transport Theorems

abstract: The Reynolds transport theorem occupies a central place in fluid dynamics, providing a generalized integral conservation equation for the transport of any conserved quantity within a fluid, and connected to its corresponding differential equation. Recently, a new generalized framework was presented for this theorem, enabling parametric transformations between positions on a manifold or in a generalized coordinate space, exploiting the underlying multivariate Lie symmetries associated with a conserved quantity. We examine the implications of this framework for fluid flow systems, within an Eulerian position-velocity (phase space) description. The analysis invokes a hierarchy of five probability density functions, which by convolution are used to define five fluid densities and generalized densities appropriate for different spaces. We obtain 11 formulations of the generalized Reynolds transport theorem for different choices of the coordinate space, parameter space and density, only the first of which is known. These are used to generate 11 tables of integral and differential conservation laws applicable to these systems, for eight important conserved quantities (fluid mass, species mass, linear momentum, angular momentum, energy, charge, entropy and probability). These substantially expand the set of conservation laws for the analysis of fluid flow and dynamical systems.


title: DMRG study of exciton condensation in the extended Falicov-Kimball model

abstract: The formation and condensation of excitonic bound states of conduction-band electrons and valence-band holes surely belongs to one of the most exciting ideas of contemporary solid state physics. In this short review we present the latest progress in this field reached by the density-matrix-renormalization-group (DMRG) calculations within various extensions of the Falicov-Kimball model. Particular attention is paid to a description of crucial mechanisms (interactions) that affect the stability of the excitonic phase, and namely: (i) the interband $d$-$f$ Coulomb interaction, (ii) the $f$-electron hopping, (iii) the nonlocal hybridization with odd and even parity, (iv) combined effects of the local and nonlocal hybridization, (v) the nearest-neighbor Coulomb interaction between $d$ and $f$ electrons and (vi) the correlated hopping. The relevance of numerical results obtained within different extensions of the Falicov-Kimball model for a description of the real $d$-$f$ materials is widely discussed.


title: Approximations with deep neural networks in Sobolev time-space

abstract: Solutions of evolution equation generally lies in certain Bochner-Sobolev spaces, in which the solution may has regularity and integrability properties for the time variable that can be different for the space variables. Therefore, in this paper, we develop a framework shows that deep neural networks can approximate Sobolev-regular functions with respect to Bochner-Sobolev spaces. In our work we use the so-called Rectified Cubic Unit (ReCU) as an activation function in our networks, which allows us to deduce approximation results of the neural networks while avoiding issues caused by the non regularity of the most commonly used Rectivied Linear Unit (ReLU) activation function.


title: Hyperspectral Image Classification-Traditional to Deep Models: A Survey for Future Prospects

abstract: Hyperspectral Imaging (HSI) has been extensively utilized in many real-life applications because it benefits from the detailed spectral information contained in each pixel. Notably, the complex characteristics i.e., the nonlinear relation among the captured spectral information and the corresponding object of HSI data make accurate classification challenging for traditional methods. In the last few years, Deep Learning (DL) has been substantiated as a powerful feature extractor that effectively addresses the nonlinear problems that appeared in a number of computer vision tasks. This prompts the deployment of DL for HSI classification (HSIC) which revealed good performance. This survey enlists a systematic overview of DL for HSIC and compared state-of-the-art strategies on the said topic. Primarily, we will encapsulate the main challenges of traditional machine learning for HSIC and then we will acquaint the superiority of DL to address these problems. This survey breakdown the state-of-the-art DL frameworks into spectral features, spatial features, and together spatial-spectral features to systematically analyze the achievements (future research directions as well) of these frameworks for HSIC. Moreover, we will consider the fact that DL requires a large number of labeled training examples whereas acquiring such a number for HSIC is challenging in terms of time and cost. Therefore, this survey discusses some strategies to improve the generalization performance of DL strategies which can provide some future guidelines.


title: Comment on: "On the Dirac oscillator subject to a Coulomb-type central potential induced by the Lorentz symmetry violation"

abstract: We analyze recent results on a Dirac oscillator. We show that the truncation of the Frobenius series does not yield all the eigenvalues and eigenfunctions of the radial equation. For this reason the eigenvalues reported by the authors are useless and the prediction of allowed oscillator frequencies meaningless.


title: Equivalence between limit theorems for lattice group-valued k-triangular set functions

abstract: We investigate some main properties of lattice group-valued k-triangular set functions and prove some Brooks-Jewett, Nikodym, Vitali-Hahn-Saks and Schur-type theorems and their equivalence. A Drewnowski-type theorem on existence of continuous restrictions of (s)-bounded set functions is given.


title: Data Science for Engineers: A Teaching Ecosystem

abstract: We describe an ecosystem for teaching data science (DS) to engineers which blends theory, methods, and applications, developed at the Faculty of Physical and Mathematical Sciences, Universidad de Chile, over the last three years. This initiative has been motivated by the increasing demand for DS qualifications both from academic and professional environments. The ecosystem is distributed in a collaborative fashion across three departments in the above Faculty and includes postgraduate programmes, courses, professional diplomas, data repositories, laboratories, trainee programmes, and internships. By sharing our teaching principles and the innovative components of our approach to teaching DS, we hope our experience can be useful to those developing their own DS programmes and ecosystems. The open challenges and future plans for our ecosystem are also discussed at the end of the article.


title: Effect of Gameplay Uncertainty, Display Type, and Age on Virtual Reality Exergames

abstract: Uncertainty is widely acknowledged as an engaging gameplay element but rarely used in exergames. In this research, we explore the role of uncertainty in exergames and introduce three uncertain elements (false-attacks, misses, and critical hits) to an exergame. We conducted a study under two conditions (uncertain and certain), with two display types (virtual reality and large display) and across young and middle-aged adults to measure their effect on game performance, experience, and exertion. Results show that (1) our designed uncertain elements are instrumental in increasing exertion levels; (2) when playing a motion-based first-person perspective exergame, virtual reality can improve performance, while maintaining the same motion sickness level as a large display; and (3) exergames for middle-aged adults should be designed with age-related declines in mind, similar to designing for elderly adults. We also framed two design guidelines for exergames that have similar features to the game used in this research.


title: Spin dynamics from a constrained magnetic Tight-Binding model

abstract: A dynamics of the precession of coupled atomic moments in the tight-binding (TB) approximation is presented. By implementing an angular penalty functional in the energy that captures the magnetic effective fields self-consistently, the motion of the orientation of the local magnetic moments is observed faster than the variation of their magnitudes. This allows the computation of the effective atomic magnetic fields that are found consistent with the Heisenberg's exchange interaction, by comparison with classical atomistic spin dynamics on Fe, Co and Ni magnetic clusters.


title: Electron beam studies of light collection in a scintillating counter with embedded fibers

abstract: The light collection of several fiber configurations embedded in a box-shaped plastic scintillating counter was studied by scanning with minimum ionizing electrons. The light was read out by silicon photomultipliers at both ends. The light yield produced by the 855-MeV beam of the Mainz Microtron showed a strong dependence on the transverse distance from the beam position to the fibers. The observations were modeled by attributing the collection of indirect light inside of the counter and of direct light reaching a fiber to the total light yield. The light collection with fibers was compared to that of a scintillating counter without fibers. These studies were carried out within the development of plastic scintillating detectors as an active veto system for the DarkMESA electron beam-dump experiment that will search for light dark matter particles in the MeV mass range.


title: From Order to Disorder of Alkanethiol SAMs on Complex Au (211), (221) and (311) Surfaces: Impact of the Substrate

abstract: We investigate the impact of the substrate on the structural properties and the morphology of alkanethiol self-assembled monolayers (SAMs) on gold, using first principles calculations and atomistic molecular dynamics simulations. We consider hexadecanethiols on Au(211), Au(221) and Au(311) surfaces which contain few-atom wide terraces separated by monoatomic steps similar to the complex Au surfaces used in experiments. The structure of the SAMs is probed via several structural properties including tilt angles, mean C atom heights from the surface, precession angles, gauche defects, gyration tensors and relative shape anisotropy. Comparing these properties to those of the well-studied SAMs on Au(111), we observe similarities but also striking differences. A clear order to disorder transition is observed by changing the substrate: well-ordered SAMs on (111) and (211) surfaces become mixed ordered-disordered structures on (311) and fully disordered on (221). The presence of steps on the Au surfaces also results in preferential tilt orientations with long-range order. Our results show that in addition to the expected grafting density dependence, the transition from order to disorder crucially depends on substrate morphology. The onset of ordering behavior is related to the atomic structure of the surface. The key parameter that affects long-range order is the energy for changing the dihedral angle between Au-S-$\mathrm{C^{(1)}-C^{(2)}}$ of the adsorbed alkanethiol.


title: Identifying Authorship Style in Malicious Binaries: Techniques, Challenges & Datasets

abstract: Attributing a piece of malware to its creator typically requires threat intelligence. Binary attribution increases the level of difficulty as it mostly relies upon the ability to disassemble binaries to identify authorship style. Our survey explores malicious author style and the adversarial techniques used by them to remain anonymous. We examine the adversarial impact on the state-of-the-art methods. We identify key findings and explore the open research challenges. To mitigate the lack of ground truth datasets in this domain, we publish alongside this survey the largest and most diverse meta-information dataset of 15,660 malware labeled to 164 threat actor groups.


title: The Impact of Post-editing and Machine Translation on Creativity and Reading Experience

abstract: This article presents the results of a study involving the translation of a fictional story from English into Catalan in three modalities: machine-translated (MT), post-edited (MTPE) and translated without aid (HT). Each translation was analysed to evaluate its creativity. Subsequently, a cohort of 88 Catalan participants read the story in a randomly assigned modality and completed a survey. The results show that HT presented a higher creativity score if compared to MTPE and MT. HT also ranked higher in narrative engagement, and translation reception, while MTPE ranked marginally higher in enjoyment. HT and MTPE show no statistically significant differences in any category, whereas MT does in all variables tested. We conclude that creativity is highest when professional translators intervene in the process, especially when working without any aid. We hypothesize that creativity in translation could be the factor that enhances reading engagement and the reception of translated literary texts.


title: EAGER: Embedding-Assisted Entity Resolution for Knowledge Graphs

abstract: Entity Resolution (ER) is a constitutional part for integrating different knowledge graphs in order to identify entities referring to the same real-world object. A promising approach is the use of graph embeddings for ER in order to determine the similarity of entities based on the similarity of their graph neighborhood. The similarity computations for such embeddings translates to calculating the distance between them in the embedding space which is comparatively simple. However, previous work has shown that the use of graph embeddings alone is not sufficient to achieve high ER quality. We therefore propose a more comprehensive ER approach for knowledge graphs called EAGER (Embedding-Assisted Knowledge Graph Entity Resolution) to flexibly utilize both the similarity of graph embeddings and attribute values within a supervised machine learning approach. We evaluate our approach on 23 benchmark datasets with differently sized and structured knowledge graphs and use hypothesis tests to ensure statistical significance of our results. Furthermore we compare our approach with state-of-the-art ER solutions, where our approach yields competitive results for table-oriented ER problems and shallow knowledge graphs but much better results for deeper knowledge graphs.


title: Private and Robust Distributed Nonconvex Optimization via Polynomial Approximation

abstract: There has been work that exploits polynomial approximation to solve distributed nonconvex optimization problems involving univariate objectives. This idea facilitates arbitrarily precise global optimization without requiring local evaluations of gradients at every iteration. Nonetheless, there remains a gap between existing guarantees and practical requirements, e.g., privacy preservation and robustness to network imperfections. To fill this gap and keep the above strengths, we propose a Private and Robust Chebyshev-Proxy-based distributed Optimization Algorithm (PR-CPOA). Specifically, to ensure both the accuracy of solutions and the privacy of local objectives, we design a new privacy-preserving mechanism. This mechanism leverages the randomness in blockwise insertions of perturbed vector states and hence provides a stronger privacy guarantee in the scope of ($\alpha,\beta$)-data-privacy. Furthermore, to gain robustness against network imperfections, we use the push-sum consensus protocol as a backbone and discuss its specific enhancements. Thanks to the purely consensus-type iterations, we avoid the privacy-accuracy trade-off and the bother of selecting proper step sizes in different settings. We rigorously analyze the accuracy, privacy, and complexity of the proposed algorithm. We show that the advantages brought by introducing polynomial approximation are maintained when all the above requirements exist.


title: Mesoscale Defect Motion in Binary Systems: Effects of Compositional Strain and Cottrell Atmospheres

abstract: The velocity of dislocations is derived analytically to incorporate and predict the intriguing effects induced by the preferential solute segregation and Cottrell atmospheres in both two-dimensional and three-dimensional binary systems of various crystalline symmetries. The corresponding mesoscopic description of defect dynamics is constructed through the amplitude formulation of the phase-field crystal model which has been shown to accurately capture elasticity and plasticity in a wide variety of systems. Modifications of the Peach-Koehler force as a result of solute concentration variations and compositional stresses are presented, leading to interesting new predictions of defect motion due to effects of Cottrell atmospheres. These include the deflection of dislocation glide paths, the variation of climb speed and direction, and the change or prevention of defect annihilation, all of which play an important role in determining the fundamental behaviors of complex defect network and dynamics. The analytic results are verified by numerical simulations.


title: Let's Share VMs: Optimal Placement and Pricing across Base Stations in MEC Systems

abstract: In mobile edge computing (MEC) systems, users offload computationally intensive tasks to edge servers at base stations. However, with unequal demand across the network, there might be excess demand at some locations and underutilized resources at other locations. To address such load-unbalanced problem in MEC systems, in this paper we propose virtual machines (VMs) sharing across base stations. Specifically, we consider the joint VM placement and pricing problem across base stations to match demand and supply and maximize revenue at the network level. To make this problem tractable, we decompose it into master and slave problems. For the placement master problem, we propose a Markov approximation algorithm MAP on the design of a continuous time Markov chain. As for the pricing slave problem, we propose OPA - an optimal VM pricing auction, where all users are truthful. Furthermore, given users' potential untruthful behaviors, we propose an incentive compatible auction iCAT along with a partitioning mechanism PUFF, for which we prove incentive compatibility and revenue guarantees. Finally, we combine MAP and OPA or PUFF to solve the original problem, and analyze the optimality gap. Simulation results show that collaborative base stations increases revenue by up to 50%.


title: Random and quasi-random designs in group testing

abstract: For large classes of group testing problems, we derive lower bounds for the probability that all significant items are uniquely identified using specially constructed random designs. These bounds allow us to optimize parameters of the randomization schemes. We also suggest and numerically justify a procedure of constructing designs with better separability properties than pure random designs. We illustrate theoretical considerations with a large simulation-based study. This study indicates, in particular, that in the case of the common binary group testing, the suggested families of designs have better separability than the popular designs constructed from disjunct matrices. We also derive several asymptotic expansions and discuss the situations when the resulting approximations achieve high accuracy.


title: Flow stability for dynamic community detection

abstract: Many systems exhibit complex temporal dynamics due to the presence of different processes taking place simultaneously. An important task in such systems is to extract a simplified view of their time-dependent network of interactions. Community detection in temporal networks usually relies on aggregation over time windows or consider sequences of different stationary epochs. For dynamics-based methods, attempts to generalize static-network methodologies also face the fundamental difficulty that a stationary state of the dynamics does not always exist. Here, we derive a method based on a dynamical process evolving on the temporal network. Our method allows dynamics that do not reach a steady state and uncovers two sets of communities for a given time interval that accounts for the ordering of edges in forward and backward time. We show that our method provides a natural way to disentangle the different dynamical scales present in a system with synthetic and real-world examples.

categories: physics.soc-ph cs.SI math.DS physics.data-an


title: A characterization of wreath products where knapsack is decidable

abstract: The knapsack problem for groups was introduced by Miasnikov, Nikolaev, and Ushakov. It is defined for each finitely generated group $G$ and takes as input group elements $g_1,\ldots,g_n,g\in G$ and asks whether there are $x_1,\ldots,x_n\ge 0$ with $g_1^{x_1}\cdots g_n^{x_n}=g$. We study the knapsack problem for wreath products $G\wr H$ of groups $G$ and $H$. Our main result is a characterization of those wreath products $G\wr H$ for which the knapsack problem is decidable. The characterization is in terms of decidability properties of the indiviual factors $G$ and $H$. To this end, we introduce two decision problems, the intersection knapsack problem and its restriction, the positive intersection knapsack problem. Moreover, we apply our main result to $H_3(\mathbb{Z})$, the discrete Heisenberg group, and to Baumslag-Solitar groups $\mathsf{BS}(1,q)$ for $q\ge 1$. First, we show that the knapsack problem is undecidable for $G\wr H_3(\mathbb{Z})$ for any $G\ne 1$. This implies that for $G\ne 1$ and for infinite and virtually nilpotent groups $H$, the knapsack problem for $G\wr H$ is decidable if and only if $H$ is virtually abelian and solvability of systems of exponent equations is decidable for $G$. Second, we show that the knapsack problem is decidable for $G\wr\mathsf{BS}(1,q)$ if and only if solvability of systems of exponent equations is decidable for $G$.


title: Teaming up with information agents

abstract: Despite the intricacies involved in designing a computer as a teampartner, we can observe patterns in team behavior which allow us to describe at a general level how AI systems are to collaborate with humans. Whereas most work on human-machine teaming has focused on physical agents (e.g. robotic systems), our aim is to study how humans can collaborate with information agents. We propose some appropriate team design patterns, and test them using our Collaborative Intelligence Analysis (CIA) tool.


title: Differential cross sections for {\Lambda}(1520) using photoproduction at CLAS

abstract: The reaction $\gamma p \rightarrow K^{+} \Lambda(1520)$ using photoproduction data from the CLAS $g12$ experiment at Jefferson Lab is studied. The decay of $\Lambda(1520)$ into two exclusive channels, $\Sigma^{+}\pi^{-}$ and $\Sigma^{-}\pi^{+}$, is studied from the detected $K^{+}$, $\pi^{+}$, and $\pi^{-}$ particles. A good agreement is established for the $\Lambda(1520)$ differential cross sections with the previous CLAS measurements. The differential cross sections as a function of CM angle are extended to higher photon energies. Newly added are the differential cross sections as a function of invariant 4-momentum transfer $t$, which is the natural variable to use for a theoretical model based on a Regge-exchange reaction mechanism. No new $N^*$ resonances decaying into the $K^+\Lambda(1520)$ final state are found.


title: An Introduction to FRW Cosmology and dark energy models

abstract: In this thesis we will focus on Einstein's interpretation of gravity. We will examine how the most famous equations in cosmology are derived from GR and also some results of cosmological significance. We will see how combining that with observational data forces us to consider some form of dark energy or vacuum energy. So we will conclude with some of the more well-known models for dark energy and examine how the dynamics of dark energy can lead us to the so-called cosmological inflation.


title: Re-defining the concept of hydration water in water under soft confinement

abstract: Water shapes and defines the properties of biological systems. Therefore, understanding the nature of the mutual interaction between water and biological systems is of primary importance for a proper assessment of biological activity and the development of new drugs and vaccines. A handy way to characterize the interactions between biological systems and water is to analyze their impact on water density and dynamics in the proximity of the interfaces. It is well established that water bulk density and dynamical properties are recovered at distances in the order of $\sim1$~nm from the surface of biological systems. Such evidence led to the definition of \emph{hydration} water as the thin layer of water covering the surface of biological systems and affecting-defining their properties and functionality. Here, we review some of our latest contributions showing that phospholipid membranes affect the structural properties and the hydrogen bond network of water at greater distances than the commonly evoked $\sim1$~nm from the membrane surface. Our results imply that the concept of hydration water should be revised or extended, and pave the way to a deeper understanding of the mutual interactions between water and biological systems.


title: Quantitative System-Level Security Verification of the IoV Infrastructure

abstract: The Internet of Vehicles (IoV) equips vehicles with connectivity to the Internet and the Internet of Things (IoT) to support modern applications such as autonomous driving. However, the consolidation of complex computing domains of vehicles, the Internet, and the IoT limits the applicability of tailored security solutions. In this paper, we propose a new methodology to quantitatively verify the security of single or system-level assets of the IoV infrastructure. In detail, our methodology decomposes assets of the IoV infrastructure with the help of reference sub-architectures and the 4+1 view model analysis to map identified assets into data, software, networking, and hardware categories. This analysis includes a custom threat modeling concept to perform parameterization of Common Vulnerability Scoring System (CVSS) scores per view model domain. As a result, our methodology is able to allocate assets from attack paths to view model domains. This equips assets of attack paths with our IoV-driven CVSS scores. Our CVSS scores assess the attack likelihood which we use for Markov Chain transition probabilities. This way, we quantitatively verify system-level security among a set of IoV assets. Our results show that our methodology applies to arbitrary IoV attack paths. Based on our parameterization of CVSS scores and our selection of use cases, remote attacks are less likely to compromise location data compared to attacks from close proximity for authorized and unauthorized attackers respectively.


title: TrustSECO: An Interview Survey into Software Trust

abstract: The software ecosystem is a trust-rich part of the world. Collaboratively, software engineers trust major hubs in the ecosystem, such as package managers, repository services, and programming language ecosystems. This trust, however, is often broken by vulnerabilities, ransomware, and abuse from malignant actors. But what is trust? In this paper we explore, through twelve in-depth interviews with software engineers, how they perceive trust in their daily work. From the interviews we conclude three things. First, software engineers make a distinction between an adoption factor and a trust factor when selecting a package. Secondly, while in literature mostly technical factors are considered as the main trust factors, the software engineers in this study conclude that organizational factors are more important. Finally, we find that different kinds of software engineers require different views on trust, and that it is impossible to create one unified perception of trust. Keywords: software ecosystem trust, empirical software engineering, TrustSECO, external software adoption, cross-sectional exploratory interview analysis, trust perception.


title: CPU Scheduling in Data Centers Using Asynchronous Finite-Time Distributed Coordination Mechanisms

abstract: We propose an asynchronous iterative scheme that allows a set of interconnected nodes to distributively reach an agreement within a pre-specified bound in a finite number of steps. While this scheme could be adopted in a wide variety of applications, we discuss it within the context of task scheduling for data centers. In this context, the algorithm is guaranteed to approximately converge to the optimal scheduling plan, given the available resources, in a finite number of steps. Furthermore, by being asynchronous, the proposed scheme is able to take into account the uncertainty that can be introduced from straggler nodes or communication issues in the form of latency variability while still converging to the target objective. In addition, by using extensive empirical evaluation through simulations we show that the proposed method exhibits state-of-the-art performance.


title: Causal Variational Principles in the Infinite-Dimensional Setting: Existence of Minimizers

abstract: We provide a method for constructing (possibly non-trivial) measures on non-locally compact Polish subspaces of infinite-dimensional separable Banach spaces which, under suitable assumptions, are minimizers of causal variational principles in the non-locally compact setting. Moreover, for non-trivial minimizers the corresponding Euler-Lagrange equations are derived. The method is to exhaust the underlying Banach space by finite-dimensional subspaces and to prove existence of minimizers of the causal variational principle restricted to these finite-dimensional subsets of the Polish space under suitable assumptions on the Lagrangian. This gives rise to a corresponding sequence of minimizers. Restricting the resulting sequence to countably many compact subsets of the Polish space, by considering the resulting diagonal sequence we are able to construct a regular measure on the Borel algebra over the whole topological space. For continuous Lagrangians of bounded range it can be shown that, under suitable assumptions, the obtained measure is a (possibly non-trivial) minimizer under variations of compact support. Under additional assumptions, we prove that the constructed measure is a minimizer under variations of finite volume and solves the corresponding Euler-Lagrange equations. Afterwards, we extend our results to continuous Lagrangians vanishing in entropy. Finally, assuming that the obtained measure is locally finite, topological properties of spacetime are worked out and a connection to dimension theory is established.


title: Operationalizing Framing to Support Multiperspective Recommendations of Opinion Pieces

abstract: Diversity in personalized news recommender systems is often defined as dissimilarity, and based on topic diversity (e.g., corona versus farmers strike). Diversity in news media, however, is understood as multiperspectivity (e.g., different opinions on corona measures), and arguably a key responsibility of the press in a democratic society. While viewpoint diversity is often considered synonymous with source diversity in communication science domain, in this paper, we take a computational view. We operationalize the notion of framing, adopted from communication science. We apply this notion to a re-ranking of topic-relevant recommended lists, to form the basis of a novel viewpoint diversification method. Our offline evaluation indicates that the proposed method is capable of enhancing the viewpoint diversity of recommendation lists according to a diversity metric from literature. In an online study, on the Blendle platform, a Dutch news aggregator platform, with more than 2000 users, we found that users are willing to consume viewpoint diverse news recommendations. We also found that presentation characteristics significantly influence the reading behaviour of diverse recommendations. These results suggest that future research on presentation aspects of recommendations can be just as important as novel viewpoint diversification methods to truly achieve multiperspectivity in online news environments.


title: Mean-stable surfaces in Static Einstein-Maxwell theory

abstract: In this paper we use the theory of mean-stable surfaces (stable minimal surfaces included) to explore the static Einstein-Maxwell space-time. We first prove that the zero set of the lapse function must be contained in the horizon boundary. Then, we explore some implications of it providing some results of nonexistence of stable minimal surfaces in the interior of an electrostatic space, subject to a certain initial boundary data. We finish by proving that the ADM mass is bounded from above by the Hawking quasi-local mass.


title: Ask Me or Tell Me? Enhancing the Effectiveness of Crowdsourced Design Feedback

abstract: Crowdsourced design feedback systems are emerging resources for getting large amounts of feedback in a short period of time. Traditionally, the feedback comes in the form of a declarative statement, which often contains positive or negative sentiment. Prior research has shown that overly negative or positive sentiment can strongly influence the perceived usefulness and acceptance of feedback and, subsequently, lead to ineffective design revisions. To enhance the effectiveness of crowdsourced design feedback, we investigate a new approach for mitigating the effects of negative or positive feedback by combining open-ended and thought-provoking questions with declarative feedback statements. We conducted two user studies to assess the effects of question-based feedback on the sentiment and quality of design revisions in the context of graphic design. We found that crowdsourced question-based feedback contains more neutral sentiment than statement-based feedback. Moreover, we provide evidence that presenting feedback as questions followed by statements leads to better design revisions than question- or statement-based feedback alone.


title: Three-body interactions from the finite-volume QCD spectrum

abstract: We perform a fit of the finite-volume QCD spectrum of three pions at maximal isospin to constrain the three-body force. We use the unitarity-based relativistic three-particle quantization condition, with the GWUQCD spectrum obtained at 315 MeV and 220 MeV pion mass in two-flavor QCD. For the heavier pion mass we find that the data is consistent with a constant contact term close to zero, whereas for the lighter mass we see a statistically significant energy dependence in tension with the prediction of leading order ChPT. Our results also suggest that with enough three-body energy levels, the two-body amplitude could be constrained.


title: Analyzing the Galactic pulsar distribution with machine learning

abstract: We explore the possibility of inferring the properties of the Galactic neutron star population through machine learning. In particular, in this paper we focus on their dynamical characteristics and show that an artificial neural network is able to estimate with high accuracy the parameters which control the current positions of a mock population of pulsars. For this purpose, we implement a simplified population-synthesis framework (where selection biases are neglected at this stage) and concentrate on the natal kick-velocity distribution and the distribution of birth distances from the Galactic plane. By varying these and evolving the pulsar trajectories in time, we generate a series of simulations that are used to train and validate a suitably structured convolutional neural network. We demonstrate that our network is able to recover the parameters governing the kick-velocity and Galactic height distribution with a mean relative error of about $10^{-2}$. We discuss the limitations of our idealized approach and study a toy problem to introduce selection effects in a phenomenological way by incorporating the observed proper motions of 216 isolated pulsars. Our analysis highlights that increasing the sample of pulsars with accurate proper motion measurements by a factor of $\sim$10, one of the future breakthroughs of the Square Kilometer Array, we might succeed in constraining the birth spatial and kick-velocity distribution of the neutron stars in the Milky Way with high precision through machine learning.


title: Needmining: Designing Digital Support to Elicit Needs from Social Media

abstract: Today's businesses face a high pressure to innovate in order to succeed in highly competitive markets. Successful innovations, though, typically require the identification and analysis of customer needs. While traditional, established need elicitation methods are time-proven and have demonstrated their capabilities to deliver valuable insights, they lack automation and scalability and, thus, are expensive and time-consuming. In this article, we propose an approach to automatically identify and quantify customer needs by utilizing a novel data source: Users voluntarily and publicly expose information about themselves via social media, as for instance Facebook or Twitter. These posts may contain valuable information about the needs, wants, and demands of their authors. We apply a Design Science Research (DSR) methodology to add design knowledge and artifacts for the digitalization of innovation processes, in particular to provide digital support for the elicitation of customer needs. We want to investigate whether automated, speedy, and scalable need elicitation from social media is feasible. We concentrate on Twitter as a data source and on e-mobility as an application domain. In a first design cycle we conceive, implement and evaluate a method to demonstrate the feasibility of identifying those social media posts that actually express customer needs. In a second cycle, we build on this artifact to additionally quantify the need information elicited, and prove its feasibility. Third, we integrate both developed methods into an end-user software artifact and test usability in an industrial use case. Thus, we add new methods for need elicitation to the body of knowledge, and introduce concrete tooling for innovation management in practice.


title: Estimation of the Frequency of Occurrence of Italian Phonemes in Text

abstract: The purpose of this project was to derive a reliable estimate of the frequency of occurrence of the 30 phonemes - plus consonant geminated counterparts - of the Italian language, based on four selected written texts. Since no comparable dataset was found in previous literature, the present analysis may serve as a reference in future studies. Four textual sources were considered: Come si fa una tesi di laurea: le materie umanistiche by Umberto Eco, I promessi sposi by Alessandro Manzoni, a recent article in Corriere della Sera (a popular daily Italian newspaper), and In altre parole by Jhumpa Lahiri. The sources were chosen to represent varied genres, subject matter, time periods, and writing styles. Results of the analysis, which also included an analysis of variance, showed that, for all four sources, the frequencies of occurrence reached relatively stable values after about 6,000 phonemes (approx. 1,250 words), varying by <0.025%. Estimated frequencies are provided for each single source and as an average across sources.


title: SRACARE: Secure Remote Attestation with Code Authentication and Resilience Engine

abstract: Recent technological advancements have enabled proliferated use of small embedded and IoT devices for collecting, processing, and transferring the security-critical information and user data. This exponential use has acted as a catalyst in the recent growth of sophisticated attacks such as the replay, man-in-the-middle, and malicious code modification to slink, leak, tweak or exploit the security-critical information in malevolent activities. Therefore, secure communication and software state assurance (at run-time and boot-time) of the device has emerged as open security problems. Furthermore, these devices need to have an appropriate recovery mechanism to bring them back to the known-good operational state. Previous researchers have demonstrated independent methods for attack detection and safeguard. However, the majority of them lack in providing onboard system recovery and secure communication techniques. To bridge this gap, this manuscript proposes SRACARE- a framework that utilizes the custom lightweight, secure communication protocol that performs remote/local attestation, and secure boot with an onboard resilience recovery mechanism to protect the devices from the above-mentioned attacks. The prototype employs an efficient lightweight, low-power 32-bit RISC-V processor, secure communication protocol, code authentication, and resilience engine running on the Artix 7 Field Programmable Gate Array(FPGA) board. This work presents the performance evaluation and state-of-the-art comparison results, which shows promising resilience to attacks and demonstrate the novel protection mechanism with onboard recovery. The framework achieves these with only 8 % performance overhead and a very small increase in hardware-software footprint.


title: Moving Away from the Joneses to Move Ahead: Migration, Information Gap and Signalling

abstract: Signalling social status through the consumption of visible goods has often been perceived as a way in which individuals seek to emulate or move up compared to others within the community. Using representative migration survey data from the Indian state of Kerala, this paper assesses the impact of transnational migration on consumption of visible goods. We utilize the plausibly exogenous variation in migration networks in the neighbourhood and religious communities to account for the potential endogeneity. The findings indicate a significantly positive and robust effect of migration on conspicuous consumption, even after controlling for household income. In terms of the mechanisms, while we are unable to rule out the associated taste-based changes in preferences and the peer group effects driving up the spending on status goods, we observe only limited effects of these channels. A potential channel that we propose is information gap among permanent residents about the income levels of an out-migrant, which is leveraged by them to signal higher status in society. We explore this channel through a theoretical model where we connect migration, information gap and status good consumption. We derive a set of conditions to test whether migrants exhibit snobbish or conformist behaviour. Empirical observations indicate predominance of a snobbish behaviour.


title: Annotation of epidemiological information in animal disease-related news articles: guidelines

abstract: This paper describes a method for annotation of epidemiological information in animal disease-related news articles. The annotation guidelines are generic and aim to embrace all animal or zoonotic infectious diseases, regardless of the pathogen involved or its way of transmission (e.g. vector-borne, airborne, by contact). The framework relies on the successive annotation of all the sentences from a news article. The annotator evaluates the sentences in a specific epidemiological context, corresponding to the publication of the news article.


title: Network Topology in Water Nanoconfined between Phospholipid Membranes

abstract: Water provides the driving force for the assembly and stability of many cellular components. Despite its impact on biological functions, a nanoscale understanding of the relationship between its structure and dynamics under soft confinement has remained elusive. As expected, water in contact with biological membranes recovers its bulk density and dynamics at $\sim 1$ nm from phospholipid headgroups but surprisingly enhances its intermediate-range order (IRO) over a distance, at least, twice as large. Here, we explore how the IRO is related to the water's hydrogen bond network (HBN) and its coordination defects. We characterize the increased IRO by an alteration of the HBN up to more than eight coordination shells of hydration water. The HBN analysis emphasizes the existence of a bound-unbound water interface at $\sim 0.8$ nm from the membrane. The unbound water has a distribution of defects intermediate between bound and bulk water, but with density and dynamics similar to bulk, while bound water has reduced thermal energy and much more HBN defects than low-temperature water. This observation could be fundamental for developing nanoscale models of biological interactions and for understanding how alteration of the water structure and topology, for example, due to changes in extracellular ions concentration, could affect diseases and signaling. More generally, it gives us a different perspective to study nanoconfined water.


title: Theoretical and numerical comparison of first-order algorithms for cocoercive equations and smooth convex optimization

abstract: This paper provides a theoretical and numerical comparison of classical first-order splitting methods for solving smooth convex optimization problems and cocoercive equations. From a theoretical point of view, we compare convergence rates of gradient descent, forward-backward, Peaceman-Rachford, and Douglas-Rachford algorithms for minimizing the sum of two smooth convex functions when one of them is strongly convex. A similar comparison is given in the more general cocoercive setting under the presence of strong monotonicity and we observe that the convergence rates in optimization are strictly better than the corresponding rates for cocoercive equations for some algorithms. We obtain improved rates with respect to the literature in several instances by exploiting the structure of our problems. Moreover, we indicate which algorithm has the lowest convergence rate depending on strong convexity and cocoercive parameters. From a numerical point of view, we verify our theoretical results by implementing and comparing previous algorithms in well-established signal and image inverse problems involving sparsity. We replace the widely used $\ell_1$ norm with the Huber loss and we observe that fully proximal-based strategies have numerical and theoretical advantages with respect to methods using gradient steps.


title: Towers of Looijenga pairs and asymptotics of ECH capacities

abstract: ECH capacities are rich obstructions to symplectic embeddings in 4-dimensions that have also been seen to arise in the context of algebraic positivity for (possibly singular) projective surfaces. We extend this connection to relate general convex toric domains on the symplectic side with towers of polarised toric surfaces on the algebraic side, and then use this perspective to show that the sub-leading asymptotics of ECH capacities for all convex and concave toric domains are $O(1)$. We obtain sufficient criteria for when the sub-leading asymptotics converge in this context, generalising results of Hutchings and of the author, and derive new obstructions to embeddings between toric domains of the same volume. We also propose two invariants to more precisely describe when convergence occurs in the toric case. Our methods are largely non-toric in nature, and apply more widely to towers of polarised Looijenga pairs.


title: On the statistical complexity of quantum circuits

abstract: In theoretical machine learning, the statistical complexity is a notion that measures the richness of a hypothesis space. In this work, we apply a particular measure of statistical complexity, namely the Rademacher complexity, to the quantum circuit model in quantum computation and study how the statistical complexity depends on various quantum circuit parameters. In particular, we investigate the dependence of the statistical complexity on the resources, depth, width, and the number of input and output registers of a quantum circuit. To study how the statistical complexity scales with resources in the circuit, we introduce a resource measure of magic based on the $(p,q)$ group norm, which quantifies the amount of magic in the quantum channels associated with the circuit. These dependencies are investigated in the following two settings: (i) where the entire quantum circuit is treated as a single quantum channel, and (ii) where each layer of the quantum circuit is treated as a separate quantum channel. The bounds we obtain can be used to constrain the capacity of quantum neural networks in terms of their depths and widths as well as the resources in the network.


title: Tunable spin-flop transition in artificial ferrimagnets

abstract: Spin-flop transition (SFT) consists in a jump-like reversal of antiferromagnetic magnetic moments into a non-collinear state when the magnetic field increases above the critical value. Potentially the SFT can be utilized in many applications of a rapidly developing antiferromagnetic spintronics. However, the difficulty of using them in conventional antiferromagnets lies in (a) too large switching magnetic fields (b) the need for presence of a magnetic anisotropy, and (c) requirement to apply magnetic field along the correspondent anisotropy axis. In this work we propose to use artificial ferrimagnets in which the spin-flop transition occurs without anisotropy and the transition field can be lowered by adjusting exchange coupling in the structure. This is proved by experiment on artificial Fe-Gd ferrimagnets where usage of Pd spacers allowed us to suppress the transition field by two orders of magnitude.


title: Data-Driven Controller Design via Finite-Horizon Dissipativity

abstract: Given one open-loop measured trajectory of a single-input single-output discrete-time linear time-invariant system, we present a framework for data-driven controller design for closed-loop finite-horizon dissipativity. First, we parametrize all closed-loop trajectories using the given data of the plant and a model of the controller. We then provide an approach to validate the controller by verifying closed-loop dissipativity in the standard feedback loop based on this parametrization. We use these conditions to design controllers leading to closed-loop dissipativity based on a quadratic matrix inequality feasibility problem. Finally, the results are illustrated with a simulation example.


title: The complexity of intersecting subproducts with subgroups in Cartesian powers

abstract: Given a finite abelian group $G$ and a natural number $t$, there are two natural substructures of the Cartesian power $G^t$; namely, $S^t$ where $S$ is a subset of $G$, and $x+H$ a coset of a subgroup $H$ of $G^t$. A natural question is whether two such different structures have non-empty intersection. This turns out to be an NP-complete problem. If we fix $G$ and $S$, then the problem is in $P$ if $S$ is a coset in $G$ or if $S$ is empty, and NP-complete otherwise; if we restrict to intersecting powers of $S$ with subgroups, the problem is in $P$ if $\bigcap_{n\in\mathbb{Z} \mid nS \subset S} nS$ is a coset or empty, and NP-complete otherwise. These theorems have applications in the article [Spe21], where they are used as a stepping stone between a purely combinatorial and a purely algebraic problem.


title: The accuracy of signal measurement with the water-Cherenkov detectors of the Pierre Auger Observatory

abstract: The Auger Surface Detector consists of a large array of water Cherenkov detector tanks each with a volume of 12,000 liters, for the detection of high energy cosmic rays. The accuracy in the measurement of the integrated signal amplitude of the detector unit has been studied using experimental air shower data. It can be described as a Poisson-like term with a normalization constant that depends on the zenith angle of the primary cosmic ray. This dependence reflects the increasing contribution to the signal of the muonic component of the shower, both due to the increasing muon/electromagnetic (e+- and gamma) ratio and muon track length with zenith angle.


title: Vision-based Vehicle Speed Estimation: A Survey

abstract: The need to accurately estimate the speed of road vehicles is becoming increasingly important for at least two main reasons. First, the number of speed cameras installed worldwide has been growing in recent years, as the introduction and enforcement of appropriate speed limits is considered one of the most effective means to increase the road safety. Second, traffic monitoring and forecasting in road networks plays a fundamental role to enhance traffic, emissions and energy consumption in smart cities, being the speed of the vehicles one of the most relevant parameters of the traffic state. Among the technologies available for the accurate detection of vehicle speed, the use of vision-based systems brings great challenges to be solved, but also great potential advantages, such as the drastic reduction of costs due to the absence of expensive range sensors, and the possibility of identifying vehicles accurately. This paper provides a review of vision-based vehicle speed estimation. We describe the terminology, the application domains, and propose a complete taxonomy of a large selection of works that categorizes all stages involved. An overview of performance evaluation metrics and available datasets is provided. Finally, we discuss current limitations and future directions.


title: Features of Excess Conductivity Behavior in a Magnetic Superconductor Dy$_{0.6}$Y$_{0.4}$Rh$_{3.85}$Ru$_{0.15}$B$_4$

abstract: The temperature dependencies of the excess conductivity $\sigma'(T)$ and possible pseudogap (PG), in a Dy$_{0.6}$Y$_{0.4}$Rh$_{3.85}$Ru$_{0.15}$B$_4$ polycrystal were studied for the first time. It was shown that $\sigma'(T)$ near T$_{c}$ is well described by the Aslamazov Larkin fluctuation theory, demonstrating a crossover with increasing temperature. Using the crossover temperature $T_0$, the coherence length along the c axis $\xi_c(0)$, was determined. Above the level of $T_{2D}>T_{0}$, an unusual dependence $\sigma'(T)$ was found, which is not described by the fluctuation theories in the range from $T_{0}$ to $T_{FM}$, at which a ferromagnetic transition occurs. The range in which superconducting fluctuations exist is apparently quite narrow and amounts to $\Delta T_{fl}=2.8 K$. The resulting temperature dependence of the PG parameter $\Delta^*(T)$ has the form typical of magnetic superconductors with features at $T_{max}=154 K$ and the temperature of a possible structural transition at $T_{s}=95 K$. Below $T_{s}$, dependence $\Delta^*{T}$ has a shape typical for PG in cuprates, which suggests that the PG state can be realized in Dy$_{0.6}$Y$_{0.4}$Rh$_{3.85}$Ru$_{0.15}$B$_4$ in this temperature range. Comparison of $\Delta^*(T)$ with the Peters Bauer theory made it possible to determine the density of local pairs ~0.35, near T$_{c}$, which is 1.17 times greater than in optimally doped YBa$_{2}$Cu$_{3}$O$_{7-\delta}$ single crystals.


title: Magnetic Exchange Interactions in the Molecular Nanomagnet Mn$_{12}$

abstract: The discovery of magnetic bistability in Mn$_{12}$ more than 20 years ago marked the birth of molecular magnetism, an extremely fertile interdisciplinary field and a powerful route to create tailored magnetic nanostructures. However, the difficulty to determine interactions in complex polycentric molecules often prevents their understanding. Mn$_{12}$ is an outstanding example of this difficulty: although it is the forefather and most studied of all molecular nanomagnets, an unambiguous determination of even the leading magnetic exchange interactions is still lacking. Here we exploit four-dimensional inelastic neutron scattering to portray how individual spins fluctuate around the magnetic ground state, thus fixing the exchange couplings of Mn$_{12}$ for the first time. Our results demonstrate the power of four-dimensional inelastic neutron scattering as an unrivaled tool to characterize magnetic clusters.


title: Learning Invariant Representation for Continual Learning

abstract: Continual learning aims to provide intelligent agents that are capable of learning continually a sequence of tasks, building on previously learned knowledge. A key challenge in this learning paradigm is catastrophically forgetting previously learned tasks when the agent faces a new one. Current rehearsal-based methods show their success in mitigating the catastrophic forgetting problem by replaying samples from previous tasks during learning a new one. However, these methods are infeasible when the data of previous tasks is not accessible. In this work, we propose a new pseudo-rehearsal-based method, named learning Invariant Representation for Continual Learning (IRCL), in which class-invariant representation is disentangled from a conditional generative model and jointly used with class-specific representation to learn the sequential tasks. Disentangling the shared invariant representation helps to learn continually a sequence of tasks, while being more robust to forgetting and having better knowledge transfer. We focus on class incremental learning where there is no knowledge about task identity during inference. We empirically evaluate our proposed method on two well-known benchmarks for continual learning: split MNIST and split Fashion MNIST. The experimental results show that our proposed method outperforms regularization-based methods by a big margin and is better than the state-of-the-art pseudo-rehearsal-based method. Finally, we analyze the role of the shared invariant representation in mitigating the forgetting problem especially when the number of replayed samples for each previous task is small.


title: An elementary proof for a generalization of a Pohst's inequality

abstract: Let $P_n(y_1,\ldots,y_n):= \prod_{1\leq i<j\leq n}\left( 1 -\frac{y_i}{y_j}\right) $ and $P_n:= \sup_{(y_1,\ldots,y_n)}P_n(y_1,\ldots,y_n) $ where the supremum is taken over the $n$-ples $(y_1,\ldots,y_n)$ of real numbers satisfying $0 <|y_1| < |y_2|< \cdots < |y_n|$. We prove that $P_n \leq 2^{\lfloor n/2\rfloor}$ for every $n$, i.e., we extend to all $n$ the bound that Pohst proved for $n\leq 11$. As a consequence, the bound for the absolute discriminant of a totally real field in terms of its regulator is now proved for every degree of the field.


title: 2-aminooxazole in astrophysical environments: IR spectra and destruction cross sections for energetic processing

abstract: 2-aminooxazole (2AO), a N-heterocyclic molecule, has been proposed as an intermediate in prebiotic syntheses. It has been demonstrated that it can be synthesized from small molecules such as cyanamide and glycoaldehyde, which are present in interstellar space. The aim of this work is to provide infrared spectra, in the solid phase for conditions typical of astrophysical environments and to estimate its stability toward UV photons and cosmic rays. Infrared (4000-600 cm$^{-1}$) absorption spectra at 20 K, 180 K, and 300 K, IR band strengths, and room temperature UV (120-250 nm) absorption spectra are given for the first time for this species. Destruction cross-sections of 9.5 10$^{-18}$ cm$^2$ and 2 10$^{-16}$ cm$^2$ were found in the irradiation at 20 K of pure 2AO and 2AO:H$_2$O ices with UV (6.3-10.9 eV) photons or 5 keV electrons, respectively. These data were used for the estimate of half-life times for the molecule in different environments. It is estimated that 2AO could survive UV radiation and cosmic rays in the ice mantles of dense clouds beyond cloud collapse. In contrast, it would be very unstable at the surface of cold Solar System bodies like Kuiper belt objects, but the molecule could still survive within dust grain agglomerates or cometesimals.


title: The complexity of root-finding in orders

abstract: Given an order, a fundamental problem is deciding whether a univariate polynomial has a zero. It is a special case of deciding whether $\text{Hom}(A,B)$ is non-empty for two orders $A$ and $B$. For fixed separable orders, deciding whether a polynomial has a zero is in $P$. If we instead fix a separable polynomial, the problem is NP-complete with probability $1$. We provide several theorems about NP-completeness, culminating into a complete classification of the problem for quadratic and cubic polynomials. A main ingredient is a new type of algebraic NP-complete group-theoretic problems, as seen in [Spe21].


title: A General Framework for Hypercomplex-valued Extreme Learning Machines

abstract: This paper aims to establish a framework for extreme learning machines (ELMs) on general hypercomplex algebras. Hypercomplex neural networks are machine learning models that feature higher-dimension numbers as parameters, inputs, and outputs. Firstly, we review broad hypercomplex algebras and show a framework to operate in these algebras through real-valued linear algebra operations in a robust manner. We proceed to explore a handful of well-known four-dimensional examples. Then, we propose the hypercomplex-valued ELMs and derive their learning using a hypercomplex-valued least-squares problem. Finally, we compare real and hypercomplex-valued ELM models' performance in an experiment on time-series prediction and another on color image auto-encoding. The computational experiments highlight the excellent performance of hypercomplex-valued ELMs to treat high-dimensional data, including models based on unusual hypercomplex algebras.


title: Putative helimagnetic phase in the kagome metal Co_3Sn_2-xIn_xS_2

abstract: The exploration of topological electronic phases that result from strong electronic correlations is a frontier in condensed matter physics. One class of systems that is currently emerging as a platform for such studies are so-called kagome magnets based on transition metals. Using muon spin-rotation, we explore magnetic correlations in the kagome magnet Co$_{3}$Sn$_{2-x}$In$_{x}$S$_{2}$ as a function of In-doping, providing putative evidence for an intriguing incommensurate helimagnetic (HM) state. Our results show that, while the undoped sample exhibits an out-of-plane ferromagnetic (FM) ground state, at 5 ${\%}$ of In-doping the system enters a state in which FM and in-plane antiferromagnetic (AFM) phases coexist. At higher doping, a HM state emerges and becomes dominant at the critical doping level of only $x_{\rm cr,1}$ ${\simeq}$ 0.3. This indicates a zero temperature first order quantum phase transition from the FM, through a mixed state, to a helical phase at $x_{\rm cr,1}$. In addition, at $x_{\rm cr,2}$ ${\simeq}$ 1, a zero temperature second order phase transition from helical to paramagnetic phase is observed, evidencing a HM quantum critical point (QCP) in the phase diagram of the topological magnet Co$_{3}$Sn$_{2-x}$In$_{x}$S$_{2}$. The observed diversity of interactions in the magnetic kagome lattice drives non-monotonous variations of the topological Hall response of this system.


title: Effective potential of a spinning heavy symmetric top when magnitudes of conserved angular momenta are not equal

abstract: Effective potential for a spinning heavy symmetric top is studied when magnitudes of conserved angular momenta are not equal to each other. The dependence of effective potential on conserved angular momenta is analyzed. This study shows that the minimum of effective potential goes to a constant derived from conserved angular momenta when one of the conserved angular momenta is greater than the other one, and it goes to infinity when the other one is greater. It also shows that the usage of strong or weak top separation does not work adequately in all cases.


title: Consistent polynomial expansions of stored energy function for incompressible hyperelastic materials

abstract: In the article, hyperelastic material models which state consistent polynomial expansions of the stored energy function are discussed. The approach follows from the muliplicative decomposition of the deformation gradient. Some advantages of the third order expansion model over the five-parameter Rivlin model using Treloar's experimental data are shown. The models are qualitatively and quantitatively compared to highlight these advantages of the discussed MV model.


title: Linear simultaneous measurements of position and momentum with minimum error-trade-off in each minimum uncertainty state

abstract: So-called quantum limits and their achievement are important themes in physics. Heisenberg's uncertainty relations are the most famous of them but are not universally valid and violated in general. In recent years, the reformulation of uncertainty relations is actively studied, and several universally valid uncertainty relations are derived. On the other hand, several measuring models, in particular, spin-1/2 measurements, are constructed and quantitatively examined. However, there are not so many studies on simultaneous measurements of position and momentum despite their importance. Here we show that an error-trade-off relation (ETR), called the Branciard-Ozawa ETR, for simultaneous measurements of position and momentum gives the achievable bound in minimum uncertainty states. We construct linear simultaneous measurements of position and momentum that achieve the bound of the Branciard-Ozawa ETR in each minimum uncertainty state. To check their performance, we then calculate probability distributions and families of posterior states, sets of states after the measurements, when using them. The results of the paper show the possibility of developing the theory of simultaneous measurements of incompatible observables. In the future, it will be widely applied to quantum information processing.


title: Probabilistic Inference for Learning from Untrusted Sources

abstract: Federated learning brings potential benefits of faster learning, better solutions, and a greater propensity to transfer when heterogeneous data from different parties increases diversity. However, because federated learning tasks tend to be large and complex, and training times non-negligible, it is important for the aggregation algorithm to be robust to non-IID data and corrupted parties. This robustness relies on the ability to identify, and appropriately weight, incompatible parties. Recent work assumes that a \textit{reference dataset} is available through which to perform the identification. We consider settings where no such reference dataset is available; rather, the quality and suitability of the parties needs to be \textit{inferred}. We do so by bringing ideas from crowdsourced predictions and collaborative filtering, where one must infer an unknown ground truth given proposals from participants with unknown quality. We propose novel federated learning aggregation algorithms based on Bayesian inference that adapt to the quality of the parties. Empirically, we show that the algorithms outperform standard and robust aggregation in federated learning on both synthetic and real data.


title: Empirical Evaluation of Supervision Signals for Style Transfer Models

abstract: Text style transfer has gained increasing attention from the research community over the recent years. However, the proposed approaches vary in many ways, which makes it hard to assess the individual contribution of the model components. In style transfer, the most important component is the optimization technique used to guide the learning in the absence of parallel training data. In this work we empirically compare the dominant optimization paradigms which provide supervision signals during training: backtranslation, adversarial training and reinforcement learning. We find that backtranslation has model-specific limitations, which inhibits training style transfer models. Reinforcement learning shows the best performance gains, while adversarial training, despite its popularity, does not offer an advantage over the latter alternative. In this work we also experiment with Minimum Risk Training, a popular technique in the machine translation community, which, to our knowledge, has not been empirically evaluated in the task of style transfer. We fill this research gap and empirically show its efficacy.


title: Inelastic neutron scattering determination of the spin Hamiltonian for BaCdVO(PO$_4$)$_2$

abstract: Single crystal inelastic neutron scattering is used to study spin wave excitations in the fully polarized state of the frustrated quantum ferro-antiferromagnet BaCdVO(PO$_4$)$_2$. The data analysis is based on a Heisenberg spin Hamiltonian that includes as many distinct nearest-neighbor and next-nearest neighbor interactions as allowed by crystal symmetry. All 8 such exchange constants are obtained in a simultaneous fit to over 150 scans across the dispersion manifold. This establishes a definitive quantitative model of this material. It turns out to be substantially different from the one assumed in numerous previous studies based on powder experiments.


title: Orbital solutions derived from radial velocities and time delays for four {\it Kepler} systems with A/F-type (candidate) hybrid pulsators

abstract: The presence of A/F-type {\it Kepler} hybrid stars extending across the entire $\delta$ Sct-$\gamma$ Dor instability strips and beyond remains largely unexplained. In order to better understand these particular stars, we performed a multi-epoch spectroscopic study of 49 candidate A/F-type hybrid stars and one cool(er) hybrid object detected by the {\it Kepler} mission. We determined a lower limit of 27 % for the multiplicity fraction. For six spectroscopic systems, we also reported long-term variations of the time delays. For four systems, the time delay variations are fully coherent with those of the radial velocities and can be attributed to orbital motion. We aim to improve the orbital solutions for those systems with long orbital periods (order of 4-6 years) among the {\it Kepler} hybrid stars. The orbits are computed based on a simultaneous modelling of the RVs obtained with high-resolution spectrographs and the photometric time delays derived from time-dependent frequency analyses of the {\it Kepler} light curves. We refined the orbital solutions of four spectroscopic systems with A/F-type {\it Kepler} hybrid component stars: KIC 4480321, 5219533, 8975515 and KIC 9775454. Simultaneous modelling of both data types analysed together enabled us to improve the orbital solutions, obtain more robust and accurate information on the mass ratio, and identify the component with the short-period $\delta$ Sct-type pulsations. In several cases, we were also able to derive new constraints for the minimum component masses. From a search for regular frequency patterns in the high-frequency regime of the Fourier transforms of each system, we found no evidence of tidal splitting among the triple systems with close (inner) companions. However, some systems exhibit frequency spacings which can be explained by the mechanism of rotational splitting.


title: PaddleSeg: A High-Efficient Development Toolkit for Image Segmentation

abstract: Image Segmentation plays an essential role in computer vision and image processing with various applications from medical diagnosis to autonomous car driving. A lot of segmentation algorithms have been proposed for addressing specific problems. In recent years, the success of deep learning techniques has tremendously influenced a wide range of computer vision areas, and the modern approaches of image segmentation based on deep learning are becoming prevalent. In this article, we introduce a high-efficient development toolkit for image segmentation, named PaddleSeg. The toolkit aims to help both developers and researchers in the whole process of designing segmentation models, training models, optimizing performance and inference speed, and deploying models. Currently, PaddleSeg supports around 20 popular segmentation models and more than 50 pre-trained models from real-time and high-accuracy levels. With modular components and backbone networks, users can easily build over one hundred models for different requirements. Furthermore, we provide comprehensive benchmarks and evaluations to show that these segmentation algorithms trained on our toolkit have more competitive accuracy. Also, we provide various real industrial applications and practical cases based on PaddleSeg. All codes and examples of PaddleSeg are available at https://github.com/PaddlePaddle/PaddleSeg.


title: The $Q$-shaped derived category of a ring

abstract: For any ring $A$ and a small, preadditive, Hom-finite, and locally bounded category $Q$ that has a Serre functor and satisfies the (strong) retraction property, we show that the category of additive functors from $Q$ to the category of (left) $A$-modules has a projective and an injective model structure. These model structures have the same trivial objects and weak equivalences, which in most cases can be naturally characterized in terms of certain (co)homology functors introduced in this paper. The associated homotopy category, which is triangulated, is called the $Q$-shaped derived category of $A$. The usual derived category of $A$ is one example; more general examples arise by taking $Q$ to be the mesh category of a suitably nice stable translation quiver. This paper builds upon, and generalizes, works of Enochs, Estrada, and Garcia-Rozas and of Dell'Ambrogio, Stevenson, and Stovicek.


title: Hierarchical Width-Based Planning and Learning

abstract: Width-based search methods have demonstrated state-of-the-art performance in a wide range of testbeds, from classical planning problems to image-based simulators such as Atari games. These methods scale independently of the size of the state-space, but exponentially in the problem width. In practice, running the algorithm with a width larger than 1 is computationally intractable, prohibiting IW from solving higher width problems. In this paper, we present a hierarchical algorithm that plans at two levels of abstraction. A high-level planner uses abstract features that are incrementally discovered from low-level pruning decisions. We illustrate this algorithm in classical planning PDDL domains as well as in pixel-based simulator domains. In classical planning, we show how IW(1) at two levels of abstraction can solve problems of width 2. For pixel-based domains, we show how in combination with a learned policy and a learned value function, the proposed hierarchical IW can outperform current flat IW-based planners in Atari games with sparse rewards.


title: Learning to Sample from Censored Markov Random Fields

abstract: We study learning Censor Markov Random Fields (abbreviated CMRFs). These are Markov Random Fields where some of the nodes are censored (not observed). We present an algorithm for learning high-temperature CMRFs within o(n) transportation distance. Crucially our algorithm makes no assumption about the structure of the graph or the number or location of the observed nodes. We obtain stronger results for high girth high-temperature CMRFs as well as computational lower bounds indicating that our results can not be qualitatively improved.


title: Complex organic molecules in protoplanetary disks : X-ray photodesorption from methanol-containing ices. Part I -- Pure methanol ices

abstract: Astrophysical observations show complex organic molecules (COMs) in the gas phase of protoplanetary disks. X-rays emitted from the central young stellar object (YSO) that irradiate interstellar ices in the disk, followed by the ejection of molecules in the gas phase, are a possible route to explain the abundances observed in the cold regions. This process, known as X-ray photodesorption, needs to be quantified for methanol-containing ices. This paper I focuses on the case of X-ray photodesorption from pure methanol ices. We aim at experimentally measuring X-ray photodesorption yields of methanol and its photo-products from pure CH$_3$OH ices, and to shed light on the mechanisms responsible for the desorption process. We irradiated methanol ices at 15 K with X-rays in the 525 - 570 eV range. The release of species in the gas phase was monitored by quadrupole mass spectrometry, and photodesorption yields were derived. Under our experimental conditions, the CH$_3$OH X-ray photodesorption yield from pure methanol ice is 10$^{-2}$ molecule/photon at 564 eV. Photo-products such as CH$_4$, H$_2$CO, H$_2$O, CO$_2$ , and CO also desorb at increasing efficiency. X-ray photodesorption of larger COMs, which can be attributed to either ethanol, dimethyl ether, and/or formic acid, is also detected. The physical mechanisms at play are discussed and must likely involve the thermalization of Auger electrons in the ice, thus indicating that its composition plays an important role. Finally, we provide desorption yields applicable to protoplanetary disk environments for astrochemical models. The X-rays are shown to be a potential candidate to explain gas-phase abundances of methanol in disks. However, more relevant desorption yields derived from experiments on mixed ices are mandatory to properly support the role played by X-rays in nonthermal desorption of methanol (see paper II).


title: Subgraph complementation and minimum rank

abstract: Any finite simple graph $G = (V,E)$ can be represented by a collection $\mathscr{C}$ of subsets of $V$ such that $uv\in E$ if and only if $u$ and $v$ appear together in an odd number of sets in $\mathscr{C}$. Let $c_2(G)$ denote the minimum cardinality of such a collection. This invariant is equivalent to the minimum dimension of a faithful orthogonal representation of $G$ over $\mathbb{F}_2$ and is closely connected to the minimum rank of $G$. We show that $c_2(G) = \operatorname{mr}(G,\mathbb{F}_2)$ when $\operatorname{mr}(G,\mathbb{F}_2)$ is odd, or when $G$ is a forest. Otherwise, $\operatorname{mr}(G,\mathbb{F}_2)\leq c_2(G)\leq \operatorname{mr}(G,\mathbb{F}_2)+1$. Furthermore, we show that the following are equivalent for any graph $G$ with at least one edge: i. $c_2(G)=\operatorname{mr}(G,\mathbb{F}_2)+1$; ii. the adjacency matrix of $G$ is the unique matrix of rank $\operatorname{mr}(G,\mathbb{F}_2)$ which fits $G$ over $\mathbb{F}_2$; iii. there is a minimum collection $\mathscr{C}$ as described in which every vertex appears an even number of times; and iv. for every component $G'$ of $G$, $c_2(G') = \operatorname{mr}(G',\mathbb{F}_2) + 1$. We also show that, for these graphs, $\operatorname{mr}(G,\mathbb{F}_2)$ is twice the minimum number of tricliques whose symmetric difference of edge sets is $E$. Additionally, we provide a set of upper bounds on $c_2(G)$ in terms of the order, size, and vertex cover number of $G$. Finally, we show that the class of graphs with $c_2(G)\leq k$ is hereditary and finitely defined. For odd $k$, the sets of minimal forbidden induced subgraphs are the same as those for the property $\operatorname{mr}(G,\mathbb{F}_2)\leq k$, and we exhibit this set for $c_2(G)\leq2$.


title: Equilibrium of Kirchhoff's rods subject to a distribution of magnetic couples

abstract: The equilibrium of magneto-elastic rods, formed of an elastic matrix containing a uniform distribution of paramagnetic particles, that are subject to terminal loads and are immersed in a uniform magnetic field, is studied. The deduced nonlinear equilibrium equations are fully consistent with Kirchhoff's theory in the sense that they hold at the same order of magnitude. Exact solutions of those equations in terms of Weierstrass elliptic functions are presented with reference to magneto-elastic cantilevers that undergo planar deformations under the action of a terminal force and a magnetic field whose directions are either parallel or orthogonal. The exact solutions are applied to the study of a problem of remotely controlled deformation of a rod and to a bifurcation problem in which the end force and the magnetic field act as an imperfection parameter and a bifurcation parameter, respectively.