title: Revisiting Binary Code Similarity Analysis using Interpretable Feature Engineering and Lessons Learned

abstract: Binary code similarity analysis (BCSA) is widely used for diverse security applications, including plagiarism detection, software license violation detection, and vulnerability discovery. Despite the surging research interest in BCSA, it is significantly challenging to perform new research in this field for several reasons. First, most existing approaches focus only on the end results, namely, increasing the success rate of BCSA, by adopting uninterpretable machine learning. Moreover, they utilize their own benchmark, sharing neither the source code nor the entire dataset. Finally, researchers often use different terminologies or even use the same technique without citing the previous literature properly, which makes it difficult to reproduce or extend previous work. To address these problems, we take a step back from the mainstream and contemplate fundamental research questions for BCSA. Why does a certain technique or a certain feature show better results than the others? Specifically, we conduct the first systematic study on the basic features used in BCSA by leveraging interpretable feature engineering on a large-scale benchmark. Our study reveals various useful insights on BCSA. For example, we show that a simple interpretable model with a few basic features can achieve a comparable result to that of recent deep learning-based approaches. Furthermore, we show that the way we compile binaries or the correctness of underlying binary analysis tools can significantly affect the performance of BCSA. Lastly, we make all our source code and benchmark public and suggest future directions in this field to help further research.


title: Evolution of the Toroidal Flux of CME Flux Ropes during Eruption

abstract: Coronal mass ejections (CMEs) are large-scale explosions of the coronal magnetic field. It is believed that magnetic reconnection significantly builds up the core structure of CMEs, a magnetic flux rope, during the eruption. However, the quantitative evolution of the flux rope, particularly its toroidal flux, is still unclear. In this paper, we study the evolution of the toroidal flux of the CME flux rope for four events. The toroidal flux is estimated as the magnetic flux in the footpoint region of the flux rope, which is identified by a method that simultaneously takes the coronal dimming and the hook of the flare ribbon into account. We find that the toroidal flux of the CME flux rope for all four events shows a two-phase evolution: a rapid increasing phase followed by a decreasing phase. We further compare the evolution of the toroidal flux with that of the Geostationary Operational Environmental Satellites soft X-ray flux and find that they are basically synchronous in time, except that the peak of the former is somewhat delayed. The results suggest that the toroidal flux of the CME flux rope may be first quickly built up by the reconnection mainly taking place in the sheared overlying field and then reduced by the reconnection among the twisted field lines within the flux rope, as enlightened by a recent 3D magnetohydrodynamic simulation of CMEs.


title: First-passage probability: a test for DNA Hamiltonian parameters

abstract: A method is proposed to select the suitable sets of potential parameters for a one-dimensional mesoscopic Hamiltonian model, first introduced to describe the DNA melting transition and later extended to investigate thermodynamic and dynamical properties of nucleic acids. The DNA base pair fluctuations are considered as time dependent trajectories whose initial condition sets the no crossing constraint enforced in the path integral for the first-passage probability. Performing the path integration at room temperature, relations are established between the cutoff on the amplitude of the base pair fluctuations and the model parameters. In particular, it is shown that the non-linear stacking parameter should be $\sim 1$. The formalism here developed may be applied to compute the lifetime of open base pairs in three-dimensional helical models for DNA molecules.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph q-bio.BM


title: MRI-Guided High Intensity Focused Ultrasound of Liver and Kidney

abstract: High Intensity Focused Ultrasound (HIFU) can be used to achieve a local temperature increase deep inside the human body in a non-invasive way. MRI guidance of the procedure allows in situ target definition. In addition, MRI can be used to provide continuous temperature mapping during HIFU for spatial and temporal control of the heating procedure and prediction of the final lesion based on the received thermal dose. Temperature mapping of mobile organs as kidney and liver is challenging, as well as real-time processing methods for feedback control of the HIFU procedure. In this paper, recent technological advances are reviewed in MR temperature mapping of these organs, in motion compensation of the HIFU beam, in intercostal HIFU sonication, and in volumetric ablation and feedback control strategies. Recent pre-clinical studies have demonstrated the feasibility of each of these novel methods. The perspectives to translate those advances into the clinic are addressed. It can be concluded that MR guided HIFU for ablation in liver and kidney appears feasible but requires further work on integration of technologically advanced methods.


title: Emergent Road Rules In Multi-Agent Driving Environments

abstract: For autonomous vehicles to safely share the road with human drivers, autonomous vehicles must abide by specific "road rules" that human drivers have agreed to follow. "Road rules" include rules that drivers are required to follow by law -- such as the requirement that vehicles stop at red lights -- as well as more subtle social rules -- such as the implicit designation of fast lanes on the highway. In this paper, we provide empirical evidence that suggests that -- instead of hard-coding road rules into self-driving algorithms -- a scalable alternative may be to design multi-agent environments in which road rules emerge as optimal solutions to the problem of maximizing traffic flow. We analyze what ingredients in driving environments cause the emergence of these road rules and find that two crucial factors are noisy perception and agents' spatial density. We provide qualitative and quantitative evidence of the emergence of seven social driving behaviors, ranging from obeying traffic signals to following lanes, all of which emerge from training agents to drive quickly to destinations without colliding. Our results add empirical support for the social road rules that countries worldwide have agreed on for safe, efficient driving.


title: Human computation requires and enables a new approach to ethical review

abstract: With humans increasingly serving as computational elements in distributed information processing systems and in consideration of the profit-driven motives and potential inequities that might accompany the emerging thinking economy[1], we recognize the need for establishing a set of related ethics to ensure the fair treatment and wellbeing of online cognitive laborers and the conscientious use of the capabilities to which they contribute. Toward this end, we first describe human-in-the-loop computing in context of the new concerns it raises that are not addressed by traditional ethical research standards. We then describe shortcomings in the traditional approach to ethical review and introduce a dynamic approach for sustaining an ethical framework that can continue to evolve within the rapidly shifting context of disruptive new technologies.


title: Near-wall forces on a neutrally-buoyant spherical particle in an axisymmetric stagnation-point flow

abstract: Hydrodynamic forces acting on a neutrally-buoyant spherical particle immersed in a wall-bounded axisymmetric stagnation point flow (Hiemenz-Homann flow) are predicted, based on a suitable form of the reciprocal theorem. An approximate algebraic form of the undisturbed velocity field is set up, mimicking the gradual transition of the actual carrying flow throughout the boundary layer, from a pure linear straining flow in the bulk to a parabolic flow at the wall. The particle Reynolds number is assumed to be small and predictions based on the creeping-flow assumption are first derived. Then, inertial corrections are computed, assuming that the particle stands close enough to the wall for the latter to be in the inner region of the disturbance. Predictions for the time-dependent slip velocity between the particle and ambient fluid are obtained in the form of a differential equation, first assuming that the particle moves along the flow symmetry axis, then extending the analysis to particles released at an arbitrary radial position. In the former case, these predictions are compared with results provided by numerical simulations. When the strain-based Reynolds number (built on the particle radius and strain rate in the bulk) exceeds $0.1$, finite-inertia effects due to particle-wall interactions and to the relative acceleration between the particle and fluid are found to substantially modify the way the slip velocity varies with the distance to the wall.


title: Co-Design of Embodied Intelligence: A Structured Approach

abstract: We consider the problem of co-designing embodied intelligence as a whole in a structured way, from hardware components such as propulsion systems and sensors to software modules such as control and perception pipelines. We propose a principled approach to formulate and solve complex embodied intelligence co-design problems, leveraging a monotone co-design theory. The methods we propose are intuitive and integrate heterogeneous engineering disciplines, allowing analytical and simulation-based modeling techniques and enabling interdisciplinarity. We illustrate through a case study how, given a set of desired behaviors, our framework is able to compute Pareto efficient solutions for the entire hardware and software stack of a self-driving vehicle.


title: Data Processing Pipeline For Tianlai Experiment

abstract: The Tianlai project is a 21cm intensity mapping experiment aimed at detecting dark energy by measuring the baryon acoustic oscillation (BAO) features in the large scale structure power spectrum. This experiment provides an opportunity to test the data processing methods for cosmological 21cm signal extraction, which is still a great challenge in current radio astronomy research. The 21cm signal is much weaker than the foregrounds and easily affected by the imperfections in the instrumental responses. Furthermore, processing the large volumes of interferometer data poses a practical challenge. We have developed a data processing pipeline software called {\tt tlpipe} to process the drift scan survey data from the Tianlai experiment. It performs offline data processing tasks such as radio frequency interference (RFI) flagging, array calibration, binning, and map-making, etc. It also includes utility functions needed for the data analysis, such as data selection, transformation, visualization and others. A number of new algorithms are implemented, for example the eigenvector decomposition method for array calibration and the Tikhonov regularization for $m$-mode analysis. In this paper we describe the design and implementation of the {\tt tlpipe} and illustrate its functions with some analysis of real data. Finally, we outline directions for future development of this publicly code.


title: Co-Design of Autonomous Systems: From Hardware Selection to Control Synthesis

abstract: Designing cyber-physical systems is a complex task which requires insights at multiple abstraction levels. The choices of single components are deeply interconnected and need to be jointly studied. In this work, we consider the problem of co-designing the control algorithm as well as the platform around it. In particular, we leverage a monotone theory of co-design to formalize variations of the LQG control problem as monotone feasibility relations. We then show how this enables the embedding of control co-design problems in the higher level co-design problem of a robotic platform. We illustrate the properties of our formalization by analyzing the co-design of an autonomous drone performing search-and-rescue tasks and show how, given a set of desired robot behaviors, we can compute Pareto efficient design solutions.


title: Visual Recognition of Great Ape Behaviours in the Wild

abstract: We propose a first great ape-specific visual behaviour recognition system utilising deep learning that is capable of detecting nine core ape behaviours.


title: Enhanced Innovized Repair Operator for Evolutionary Multi- and Many-objective Optimization

abstract: "Innovization" is a task of learning common relationships among some or all of the Pareto-optimal (PO) solutions in multi- and many-objective optimization problems. Recent studies have shown that a chronological sequence of non-dominated solutions obtained in consecutive iterations during an optimization run also possess salient patterns that can be used to learn problem features to help create new and improved solutions. In this paper, we propose a machine-learning- (ML-) assisted modelling approach that learns the modifications in design variables needed to advance population members towards the Pareto-optimal set. We then propose to use the resulting ML model as an additional innovized repair (IR2) operator to be applied on offspring solutions created by the usual genetic operators, as a novel mean of improving their convergence properties. In this paper, the well-known random forest (RF) method is used as the ML model and is integrated with various evolutionary multi- and many-objective optimization algorithms, including NSGA-II, NSGA-III, and MOEA/D. On several test problems ranging from two to five objectives, we demonstrate improvement in convergence behaviour using the proposed IR2-RF operator. Since the operator does not demand any additional solution evaluations, instead using the history of gradual and progressive improvements in solutions over generations, the proposed ML-based optimization opens up a new direction of optimization algorithm development with advances in AI and ML approaches.


title: Vector fields on projective Stiefel manifolds and the Browder-Dupont invariant

abstract: We develop strong lower bounds for the span of the projective Stiefel manifolds $X_{n,r}=O(n)/(O(n-r)\times \mathbb Z/2)$, which enable very accurate (in many cases exact) estimates of the span. The technique, for the most part, involves elementary stability properties of vector bundles. However, the case $X_{n,2}$ with $n$ odd presents extra difficulties, which are partially resolved using the Browder-Dupont invariant. In the process, we observe that the symmetric lift due to Sutherland does not necessarily exist for all odd dimensional closed manifolds, and therefore the Browder-Dupont invariant, as he formulated it, is not defined in general. We will characterize those $n$'s for which the Browder-Dupont invariant is well-defined on $X_{n,2}$. Then the invariant will be used in this case to obtain the lower bounds for the span as a corollary of a stronger result.


title: Swelling negation during sintering of sterling silver: An experimental and theoretical approach

abstract: One of the main challenges of the sintering of sterling silver is the phenomenon of swelling causing de-densification and a considerable reduction of the sintering kinetics. This swelling phenomenon opposes sintering and it needs to be addressed by a well-controlled processing atmosphere. In the present study, the pressure-less sintering behavior of sterling silver is investigated in air, argon, and vacuum. A specially modified spark plasma sintering mold is designed to study the pressure-less sintering of sterling silver in a high vacuum environment. The conducted analysis is extended to the new constitutive equations of sintering enabling the prediction of the swelling phenomena and the identification of the internal equivalent pressure that opposes the sintering.


title: Measuring Quadrangle Formation in Complex Networks

abstract: The classic clustering coefficient and the lately proposed closure coefficient quantify the formation of triangles from two different perspectives, with the focal node at the centre or at the end in an open triad respectively. As many networks are naturally rich in triangles, they become standard metrics to describe and analyse networks. However, the advantages of applying them can be limited in networks, where there are relatively few triangles but which are rich in quadrangles, such as the protein-protein interaction networks, the neural networks and the food webs. This yields for other approaches that would leverage quadrangles in our journey to better understand local structures and their meaning in different types of networks. Here we propose two quadrangle coefficients, i.e., the i-quad coefficient and the o-quad coefficient, to quantify quadrangle formation in networks, and we further extend them to weighted networks. Through experiments on 16 networks from six different domains, we first reveal the density distribution of the two quadrangle coefficients, and then analyse their correlations with node degree. Finally, we demonstrate that at network-level, adding the average i-quad coefficient and the average o-quad coefficient leads to significant improvement in network classification, while at node-level, the i-quad and o-quad coefficients are useful features to improve link prediction.


title: Nonlocal reaction preventing blow-up in the supercritical case of chemotaxis

abstract: This paper studies the non-negative solutions of the Keller-Segel model with a nonlocal nonlinear source in a bounded domain. The competition between the aggregation and the nonlocal reaction term is highlighted: when the growth factor is stronger than the dampening effect, with the help of the nonlocal term, the model admits a classical solution which is uniformly bounded. Moreover, when the growth factor is of the same order compared to the dampening effect, the nonlocal nonlinear exponents can prevent the chemotactic collapse. Global existence of classical solutions is shown for an appropriate range of the exponents as well as convergence to the constant equilibrium state.


title: Simultaneous Spark Plasma Sintering of Multiple Complex Shapes

abstract: This work addresses the two great challenges of the spark plasma sintering (SPS) process: the sintering of complex shapes and the simultaneous production of multiple parts. A new controllable interface method is employed to concurrently consolidate two nickel gear shapes by SPS. A graphite deformable sub-mold is specifically designed for the mutual densification of the both complex parts in a unique 40 mm powder deformation space. An energy efficient SPS configuration is developed to allow the sintering of a large-scale powder assembly under electric current lower than 900 A. The stability of the developed process is studied by electro-thermal-mechanical (ETM) simulation. The ETM simulation reveals that homogeneous densification conditions can be attained by inserting an alumina powder at the sample/punches interfaces enabling the energy efficient heating and the thermal confinement of the nickel powder. Finally, the feasibility of the fabrication of the two near net shape gears with a very homogeneous microstructure is demonstrated.


title: Kagome Flatbands for Coherent Exciton-Polariton Lasing

abstract: Kagome lattices supporting Dirac cone and flatband dispersions are well known as a highly frustrated, two-dimensional lattice system. Particularly the flatbands therein are attracting continuous interest based on their link to topological order, correlations and frustration. In this work, we realize coupled microcavity implementations of Kagome lattices hosting exciton-polariton quantum fluids of light. We demonstrate precise control over the dispersiveness of the flatband as well as selective condensation of exciton-polaritons into the flatband. Subsequently, we focus on the spatial and temporal coherence properties of the laser-like emission from these polariton condensates that are closely connected to the flatband nature of the system. Notably, we find a drastic increase in coherence time due to the localization of flatband condensates. Our work illustrates the outstanding suitability of the exciton-polariton system for detailed studies of flatband states as a platform for microlaser arrays in compact localized states, including strong interactions, topology and non-linearity.


title: Dielectric properties of flash spark plasma sintered BaTiO$_3$ and CaCu$_3$Ti$_4$O$_{12}$

abstract: Flash sintering is an approach allowing reducing the sintering time to mere seconds. To improve the microstructures and the properties of flash sintered specimens, this process has been successfully adapted to pressure assisted sintering such as the spark plasma sintering. This work is the exploration of the potential of this ultra-rapid sintering process for the improvement of the dielectric properties of well-known materials such as BaTiO$_3$ and CaCu$_3$Ti$_4$O$_{12}$. In particular, we focus on the potential improvement of the dielectric loss,


title: Porosity dependence of powder compaction constitutive parameters: Determination based on spark plasma sintering tests

abstract: The modeling of powder compaction process, such as spark plasma sintering (SPS), requires the determination of the visco-plastic deformation behavior of the particle material including the viscosity moduli. The establishment of these parameters usually entails a long and difficult experimental campaign which in particular involves several hot isostatic pressing tests. A more straightforward method based on the coupled sinter-forging and die compaction tests, which can be easily carried out in a regular SPS device, is presented. Compared to classical creep mechanism studies, this comprehensive experimental approach can reveal the in situ porous structure morphology influence on the sintering process.


title: Microwave flash sintering of metal powders: From experimental evidence to multiphysics simulation

abstract: Flash sintering phenomena are predominantly associated with ceramics due to thermal runaway of their electric conductivity noticeably represented in materials such as zirconia or silicon carbide. Because of their high electric conductivity, flash sintering of metals is nearly inexistent. In this work, an original metal powder flash sintering method based on a microwave approach is presented. Within the developed approach, an unusually fast (60 s) thermal and sintering runaway of Ti-6Al-4V powder is experimentally revealed under microwave illumination. This phenomenon is simulated based on an electromagnetic-thermal-mechanical (EMTM) model. The developed multiphysics model reveals that the metal powder specimen's runaway does not result from its intrinsic material properties, but results from the resonance phenomenon thermally activated by the surrounding tooling material. The EMTM simulation predicts with a very good accuracy the microwave repartition and the resulting densification and powder specimen's shape distortions observed experimentally. The comparison of the microwave and conventional sintering kinetics indicates an important acceleration of the sintering behavior under microwave heating. The developed sintering approach has a potential of the implementation for time-effective mass production of small metal parts.


title: Cosmic voids and induced hyperbolicity

abstract: Cosmic voids - the low density regions in the Universe - as characteristic features of the large scale matter distribution, are known for their hyperbolic properties. The latter implies the deviation of photon beams due to their underdensity, thus mimicing the negative curvature. We now show that the hyperbolicity can be induced not only by negative curvature or underdensity but also depends on the anisotropy of the photon beams.


title: TMEM240 mutations cause spinocerebellar ataxia 21 with mental retardation and severe cognitive impairment

abstract: Autosomal dominant cerebellar ataxia corresponds to a clinically and genetically heterogeneous group of neurodegenerative disorders that primarily affect the cerebellum. Here, we report the identification of the causative gene in spinocerebellar ataxia 21, an autosomal-dominant disorder previously mapped to chromosome 7p21.3-p15.1. This ataxia was firstly characterized in a large French family with slowly progressive cerebellar ataxia, accompanied by severe cognitive impairment and mental retardation in two young children. Following the recruitment of 12 additional young family members, linkage analysis enabled us to definitively map the disease locus to chromosome 1p36.33-p36.32. The causative mutation, (c.509C4T/p.P170L) in the transmembrane protein gene TMEM240, was identified by whole exome sequencing and then was confirmed by Sanger sequencing and co-segregation analyses. Index cases from 368 French families with autosomal-dominant cerebellar ataxia were also screened for mutations. In seven cases, we identified a range of missense mutations (c.509C4T/p.P170L, c.239C4T/p.T80M, c.346C4T/p.R116C, c.445G4A/p.E149K, c.511C4T/p.R171W), and a stop mutation (c.489C4G/p.Y163*) in the same gene. TMEM240 is a small, strongly conserved transmembrane protein of unknown function present in cerebellum and brain. Spinocerebellar ataxia 21 may be a particular early-onset disease associated with severe cognitive impairment.


title: One Metric to Measure them All: Localisation Recall Precision (LRP) for Evaluating Visual Detection Tasks

abstract: Despite being widely used as a performance measure for visual detection tasks, Average Precision (AP) is limited in (i) reflecting localisation quality, (ii) interpretability and (iii) robustness to the design choices regarding its computation, and its applicability to outputs without confidence scores. Panoptic Quality (PQ), a measure proposed for evaluating panoptic segmentation (Kirillov et al., 2019), does not suffer from these limitations but is limited to panoptic segmentation. In this paper, we propose Localisation Recall Precision (LRP) Error as the average matching error of a visual detector computed based on both its localisation and classification qualities for a given confidence score threshold. LRP Error, initially proposed only for object detection by Oksuz et al. (2018), does not suffer from the aforementioned limitations and is applicable to all visual detection tasks. We also introduce Optimal LRP (oLRP) Error as the minimum LRP Error obtained over confidence scores to evaluate visual detectors and obtain optimal thresholds for deployment. We provide a detailed comparative analysis of LRP Error with AP and PQ, and use nearly 100 state-of-the-art visual detectors from seven visual detection tasks (i.e. object detection, keypoint detection, instance segmentation, panoptic segmentation, visual relationship detection, zero-shot detection and generalised zero-shot detection) using ten datasets to empirically show that LRP Error provides richer and more discriminative information than its counterparts. Code available at: https://github.com/kemaloksuz/LRP-Error


title: Quantum Sequential Hypothesis Testing

abstract: We introduce sequential analysis in quantum information processing, by focusing on the fundamental task of quantum hypothesis testing. In particular our goal is to discriminate between two arbitrary quantum states with a prescribed error threshold, $\epsilon$, when copies of the states can be required on demand. We obtain ultimate lower bounds on the average number of copies needed to accomplish the task. We give a block-sampling strategy that allows to achieve the lower bound for some classes of states. The bound is optimal in both the symmetric as well as the asymmetric setting in the sense that it requires the least mean number of copies out of all other procedures, including the ones that fix the number of copies ahead of time. For qubit states we derive explicit expressions for the minimum average number of copies and show that a sequential strategy based on fixed local measurements outperforms the best collective measurement on a predetermined number of copies. Whereas for general states the number of copies increases as $\log 1/\epsilon$, for pure states sequential strategies require a finite average number of samples even in the case of perfect discrimination, i.e., $\epsilon=0$.


title: Creation and evolution of roughness on silica under unlubricated wear

abstract: Friction and wear are important phenomena occurring in all devices with moving parts. While their origin and the way they evolve over time are not fully understood, they are both intimately linked to surface roughness. Guided by pin-on-disc experiments, we present the steps giving rise to the formation of surface roughness on silica, first by the creation of roughly spherical wear particles whose size is related to a critical length scale governing the transition between ductile and brittle behavior, then by the accumulation of these small particles into a larger third body layer, or gouge. We show that, for the explored range of loading conditions, the surface roughness evolves toward a common steady state under unlubricated wear regardless of the initial surface roughness, hinting toward the possible predictability of roughness evolution in wearing components. The friction coefficient is shown to be related to the surface roughness and its time evolution is discussed as well.


title: Mixing strategies combined with shape design to enhance productivity of a raceway pond

abstract: This paper focuses on mixing strategies and designing shape of the bottom topographies to enhance the growth of the microalgae in raceway ponds. A physical-biological coupled model is used to describe the growth of the algae. A simple model of a mixing device such as a paddle wheel is also considered. The complete process model was then included in an optimization problem associated with the maximization of the biomass production. The results show that non-trivial topographies can be coupled with some specific mixing strategies to improve the microalgal productivity.


title: DmifNet:3D Shape Reconstruction Based on Dynamic Multi-Branch Information Fusion

abstract: 3D object reconstruction from a single-view image is a long-standing challenging problem. Previous work was difficult to accurately reconstruct 3D shapes with a complex topology which has rich details at the edges and corners. Moreover, previous works used synthetic data to train their network, but domain adaptation problems occurred when tested on real data. In this paper, we propose a Dynamic Multi-branch Information Fusion Network (DmifNet) which can recover a high-fidelity 3D shape of arbitrary topology from a 2D image. Specifically, we design several side branches from the intermediate layers to make the network produce more diverse representations to improve the generalization ability of network. In addition, we utilize DoG (Difference of Gaussians) to extract edge geometry and corners information from input images. Then, we use a separate side branch network to process the extracted data to better capture edge geometry and corners feature information. Finally, we dynamically fuse the information of all branches to gain final predicted probability. Extensive qualitative and quantitative experiments on a large-scale publicly available dataset demonstrate the validity and efficiency of our method. Code and models are publicly available at https://github.com/leilimaster/DmifNet.


title: Observability for Schr\"odinger equations with quadratic Hamiltonians

abstract: We consider time dependent harmonic oscillators and construct a parametrix to the corresponding Schr\"odinger equation using Gaussian wavepackets. This parametrix of Gaussian wavepackets is precise and tractable. Using this parametrix we prove $L^2$ and $L^2-L^{\infty}$ observability estimates on unbounded domains $\omega$ for a restricted class of initial data. This data includes a class of compactly supported piecewise $C^1$ functions which have been extended from characteristic functions. Initial data of this form which has the bulk of its mass away from $\omega^c=\Omega$, a connected bounded domain, is observable, but data centered over $\Omega$ must be very nearly a single Gaussian to be observable. We also give counterexamples to established principles for the simple harmonic oscillator in the case of certain time dependent harmonic oscillators.


title: On the Random Batch Method for second order interacting particle systems

abstract: We investigate several important issues regarding the Random Batch Method (RBM) for second order interacting particle systems. We first show the uniform-in-time strong convergence for second order systems under suitable contraction conditions. Secondly, we propose the application of RBM for singular interaction kernels via kernel splitting strategy, and investigate numerically the application to molecular dynamics.


title: Knizhnik--Zamolodchikov functor for degenerate double affine Hecke algebras : algebraic theory

abstract: In this article, we define an algebraic version of the Knizhnik--Zamolodchikov functor for the degenerate double affine Hecke algebras (a.k.a. trigonometric Cherednik algebras). We compare it with the KZ monodromy functor constructed by Varagnolo--Vasserot. We prove the double centraliser property for our functor and give a characterisation of its kernel. We establish these results for a family of algebras, called quiver double Hecke algebras, which includes the degenerate double affine Hecke algebras as special cases.


title: Delayed finite-dimensional observer-based control of 1D heat equation under Neumann actuation

abstract: Recently a constructive method was introduced for finite-dimensional observer-based control of 1D parabolic PDEs. In this paper we present an improved method in terms of the reduced-order LMIs (that significantly shorten the computation time) and introduce predictors to manage with larger delays. We treat the case of a 1D heat equation under Neumann actuation and non-local measurement, that has not been studied yet. We apply modal decomposition and prove $L^2$ exponential stability by a direct Lyapunov method. We provide reduced-order LMI conditions for finding the observer dimension $N$ and resulting decay rate. The LMI dimension does not grow with $N$. The LMI is always feasible for large $N$, and feasibility for $N$ implies feasibility for $N+1$. For the first time we manage with delayed implementation of the controller in the presence of fast-varying (without any constraints on the delay-derivative) input and output delays. To manage with larger delays, we construct classical observer-based predictors. For the known input delay, the LMIs dimension does not grow with $N$, whereas for unknown one the LMIs dimension grows, but it is ssentially smaller than in the existing results. A numerical example demonstrates the efficiency of our method.


title: Chitrakar: Robotic System for Drawing Jordan Curve of Facial Portrait

abstract: This paper presents a robotic system (\textit{Chitrakar}) which autonomously converts any image of a human face to a recognizable non-self-intersecting loop (Jordan Curve) and draws it on any planar surface. The image is processed using Mask R-CNN for instance segmentation, Laplacian of Gaussian (LoG) for feature enhancement and intensity-based probabilistic stippling for the image to points conversion. These points are treated as a destination for a travelling salesman and are connected with an optimal path which is calculated heuristically by minimizing the total distance to be travelled. This path is converted to a Jordan Curve in feasible time by removing intersections using a combination of image processing, 2-opt, and Bresenham's Algorithm. The robotic system generates $n$ instances of each image for human aesthetic judgement, out of which the most appealing instance is selected for the final drawing. The drawing is executed carefully by the robot's arm using trapezoidal velocity profiles for jerk-free and fast motion. The drawing, with a decent resolution, can be completed in less than 30 minutes which is impossible to do by hand. This work demonstrates the use of robotics to augment humans in executing difficult craft-work instead of replacing them altogether.


title: Critical behavior of weakly disordered Ising model: Six-loop $\sqrt \varepsilon$ expansion study

abstract: The critical behavior of three-dimensional weakly diluted quenched Ising model is examined on the base of six-loop renormalization group expansions obtained within the minimal subtraction scheme in $4-\epsilon$ space dimensions. For this purpose the $\phi^4$ field theory with cubic symmetry was analyzed in the replica limit $n\rightarrow 0$. Along with renormalization group expansions in terms of renormalized couplings the $\sqrt{\varepsilon}$ expansions of critical exponents are presented. Corresponding numerical estimates for the physical, three-dimensional system are obtained by means of different resummation procedures applied both to the $\sqrt{\varepsilon}$ series and to initial renormalization group expansions. The results given by the latter approach are in a good agreement with their counterparts obtained experimentally and within the Monte Carlo simulations, while resumming of $\sqrt{\varepsilon}$ series themselves turned out to be disappointing.


title: Optics Design of Vertical Excursion Fixed-Field Alternating Gradient Accelerators

abstract: Vertical excursion fixed-field alternating gradient accelerators can be designed with tunes that are invariant with respect to momentum and trajectories that are scaled images of each other displaced only in the vertical direction. This is possible using guiding fields that have a vertical exponential increase, with a skew quadrupole component in the magnet body and a solenoid component at the magnet ends. Because of the coupling this introduces, orbit and optics calculations and optimisation of parameters need to be performed numerically. In this paper, idealised magnetic fields are calculated from first principles, taking into account end fields. The parameter dependence of the optics and the dynamic aperture of the ring are calculated for the example of a ring with an approximately 25 m circumference that accelerates proton beams from 3 MeV to 12 MeV. The paper reports for the first time the design of such an accelerator lattice using tools specifically devised to analyse transverse coupled optics without the need for approximations.


title: On the Sun-shadow dynamics

abstract: We investigate the planar motion of a mass particle in a force field defined by patching Kepler's and Stark's dynamics. This model is called Sun-shadow dynamics, referring to the motion of an Earth satellite perturbed by the solar radiation pressure and considering the Earth shadow effect. The existence of periodic orbits of brake type is proved, and the Sun-shadow dynamics is investigated by means of a Poincare'-like map defined by a quantity that is not conserved along the flow. We also present the results of our numerical investigations on some properties of the map. Moreover, we construct the invariant manifolds of the hyperbolic fixed points related to the periodic orbits of brake type. The global picture of the map shows evidence of regular and chaotic behaviour.


title: Evaluating the Effect of Activity Based Method of Teaching Mathematics on Nigerian Secondary School Students Achievement in Mathematics

abstract: Mathematics is a compulsory subject in Nigerian secondary schools, and the subject plays an important role in the scientific and technological growth and development of the nation. A shortfall in the knowledge of the students in Mathematics means that the goal may not be realized, hence the need to improve teaching methods for solving the problem of poor performance in the subject. This study evaluated the effect of the activity-based teaching method on the students' achievement in secondary school Mathematics. The design of the study was a quasi-experimental pretest-posttest research design using intact classes. Finding revealed that there was a significant difference in the Mathematics performance between the posttest mean scores of the students who were exposed to activity-based teaching methods (experimental) and those that were taught with lecture method (control) groups after controlling for the effect of the pre-test on Mathematics scores. The paper recommends among others that secondary school Mathematics teachers should be trained and retrained to update their knowledge in the use of activity-based teaching for making the teaching and learning of Mathematics more interesting and rewarding.


title: $\boldsymbol{N=32}$ shell closure below calcium: Low-lying structure of $^{50}$Ar

abstract: Low-lying excited states in the $N=32$ isotope $^{50}$Ar were investigated by in-beam $\gamma$-ray spectroscopy following proton- and neutron-knockout, multi-nucleon removal, and proton inelastic scattering at the RIKEN Radioactive Isotope Beam Factory. The energies of the two previously reported transitions have been confirmed, and five additional states are presented for the first time, including a candidate for a 3$^-$ state. The level scheme built using $\gamma\gamma$ coincidences was compared to shell-model calculations in the $sd-pf$ model space, and to ab initio predictions based on chiral two- and three-nucleon interactions. Theoretical proton- and neutron-knockout cross sections suggest that two of the new transitions correspond to $2^+$ states, while the previously proposed $4^+$ state could also correspond to a $2^+$ state.


title: An Empirical Study on Failed Error Propagation in Java Programs with Real Faults

abstract: During testing, developers can place oracles externally or internally with respect to a method. Given a faulty execution state, i.e., one that differs from the expected one, an oracle might be unable to expose the fault if it is placed at a program point with no access to the incorrect program state or where the program state is no longer corrupted. In such a case, the oracle is subject to failed error propagation. We conducted an empirical study to measure failed error propagation on Defects4J, the reference benchmark for Java programs with real faults, considering all 6 projects available (386 real bugs and 459 fixed methods). Our results indicate that the prevalence of failed error propagation is negligible when testing is performed at the unit level. However, when system-level inputs are provided, the prevalence of failed error propagation increases substantially. This indicates that it is enough for method postconditions to predicate only on the externally observable state/data and that intermediate steps should be checked when testing at system level.


title: Reconstructing three-dimensional densities from two-dimensional observations of molecular gas

abstract: Star formation has long been known to be an inefficient process, in the sense that only a small fraction $\epsilon_{\rm ff}$ of the mass of any given gas cloud is converted to stars per cloud free-fall time. However, developing a successful theory of star formation will require measurements of both the mean value of $\epsilon_{\rm ff}$ and its scatter from one molecular cloud to another. Because $\epsilon_{\rm ff}$ is measured relative to the free-fall time, such measurements require accurate determinations of cloud volume densities. Efforts to measure the volume density from two-dimensional projected data, however, have thus far relied on treating molecular clouds as simple uniform spheres, while their real shapes are likely filamentary and their density distributions far from uniform. The resulting uncertainty in the true volume density is likely one of the major sources of error in observational estimates of $\epsilon_{\rm ff}$. In this paper, we use a suite of simulations of turbulent, magnetized, radiative, self-gravitating star-forming clouds to examine whether it is possible to obtain more accurate volume density estimates and thereby reduce this error. We create mock observations from simulations, and show that current analysis methods relying on the spherical assumption likely yield ~ 0.26 dex underestimations and ~ 0.51 dex errors in volume density estimates, corresponding to a ~ 0.13 dex overestimation and a ~ 0.25 dex scatter in $\epsilon_{\rm ff}$, comparable to the scatter in observed cloud samples. We build a predictive model that uses information accessible in two-dimensional measurements -- most significantly the Gini coefficient of the surface density distribution -- to estimate volume density with ~ 0.3 dex less scatter. We test our method on a recent observation of the Ophiuchus cloud, and show that it successfully reduces the $\epsilon_{\rm ff}$ scatter.


title: lospre in linear time

abstract: Lifetime-optimal speculative partial redundancy elimination (lospre) is the most advanced currently known redundancy elimination technique. It subsumes many previously known approaches, such as common subexpression elimination, global common subexpression elimination, and loop-invariant code motion. However, previously known lospre algorithms have high time complexity; faster but less powerful approaches have been used and developed further instead. We present a simple linear-time algorithm for lospre for structured programs that can also handle some more general scenarios compared to previous approaches. We prove that our approach is optimal and that the runtime is linear in the number of nodes in the control-flow graph. The condition on programs of being structured is automatically true for many programming languages and for others, such as C, is equivalent to a bound on the number of goto labels per function. An implementation in a mainstream C compiler demonstrates the practical feasibility of our approach. Our approach is based on graph-structure theory and uses tree-decompositions. We also show that, for structured programs, the runtime of deterministic implementations of the previously known MC-PRE and MC-SSAPRE algorithms can be bounded by $O(n^{2.5})$, improving the previous bounds of $O(n^3)$.


title: Convexity and transport for the isentropic Euler equations on the sphere

abstract: The paper considers the Euler system of PDE on a smooth compact Riemannian manifold of positive curvature without boundary, and the sphere ${\mathbb{S}}^2$ in particular. The paper interprets the Euler equations as a transport problem for the fluid density under dynamics governed by the gradient of the internal energy of the fluid. The paper develops the notion of transport cost in the tangent bundle, and compares its properties with the Wasserstein transportation cost on the manifold. There are applications to the discrete approximation to the Euler equations in the style of Gangbo and Wesdickenberg ({\sl Comm. Partial Diff. Equations} {\bf 34} (2009), 1041-1073), except that the analysis is heavily dependent upon the curvature of the underlying manifold. The internal energy is assumed to satisfy convexity conditions that allow analysis via $\Phi$-entropy entropy-production inequalities, and the results apply to the power law $\rho^\gamma$ where $1<\gamma<3/2$, which includes the case of a diatomic gas. The paper proves existence of weak solutions of the continuity equation, and gives a sufficient condition for existence of weak solutions to the acceleration equation.


title: Disjoint cycles covering specified vertices in bipartite graphs with partial degrees

abstract: Let $k$ be a positive integer. Let $G$ be a balanced bipartite graph of order $2n$ with bipartition $(X, Y)$, and $S$ a subset of $X$. Suppose that every pair of nonadjacent vertices $(x,y)$ with $x\in S, y\in Y$ satisfies $d(x)+d(y)\geq n+1$. We show that if $|S|\geq 2k+2$, then $G$ contains $k$ disjoint cycles covering $S$ such that each of the $k$ cycles contains at least two vertices of $S$. Here, both the degree condition and the lower bound of $|S|$ are best possible. And we also show that if $|S|=2k+1$, then $G$ contains $k$ disjoint cycles such that each of the $k$ cycles contains at least two vertices of $S$.


title: Travelling wave solutions for gravity fingering in porous media flows

abstract: We study an imbibition problem for porous media. When a wetted layer is above a dry medium, gravity leads to the propagation of the water downwards into the medium. In experiments, the occurrence of fingers was observed, a phenomenon that can be described with models that include hysteresis. In the present paper, we describe a single finger in a moving frame and set up a free boundary problem to describe the shape and the motion of one finger that propagates with a constant speed. We show the existence of solutions to the travelling wave problem and investigate the system numerically.


title: Parameter estimation for threshold Ornstein-Uhlenbeck processes from discrete observations

abstract: Assuming that a threshold Ornstein-Uhlenbeck process is observed at discrete time instants, we propose generalized moment estimators to estimate the parameters. Our theoretical basis is the celebrated ergodic theorem. To use this theorem we need to find the explicit form of the invariant measure. With the sampling time step arbitrarily fixed, we prove the strong consistency and asymptotic normality of our estimators as the sample size tends to infinity.


title: Spatially Correlated Patterns in Adversarial Images

abstract: Adversarial attacks have proved to be the major impediment in the progress on research towards reliable machine learning solutions. Carefully crafted perturbations, imperceptible to human vision, can be added to images to force misclassification by an otherwise high performing neural network. To have a better understanding of the key contributors of such structured attacks, we searched for and studied spatially co-located patterns in the distribution of pixels in the input space. In this paper, we propose a framework for segregating and isolating regions within an input image which are particularly critical towards either classification (during inference), or adversarial vulnerability or both. We assert that during inference, the trained model looks at a specific region in the image, which we call Region of Importance (RoI); and the attacker looks at a region to alter/modify, which we call Region of Attack (RoA). The success of this approach could also be used to design a post-hoc adversarial defence method, as illustrated by our observations. This uses the notion of blocking out (we call neutralizing) that region of the image which is highly vulnerable to adversarial attacks but is not important for the task of classification. We establish the theoretical setup for formalising the process of segregation, isolation and neutralization and substantiate it through empirical analysis on standard benchmarking datasets. The findings strongly indicate that mapping features into the input space preserves the significant patterns typically observed in the feature-space while adding major interpretability and therefore simplifies potential defensive mechanisms.


title: Defects and Perturbation

abstract: We investigate perturbatively tractable deformations of topological defects in two-dimensional conformal field theories. We perturbatively compute the change in the $g$-factor, the reflectivity, and the entanglement entropy of the conformal defect at the end of these short RG flows. We also give instances of such flows in the diagonal Virasoro and Super-Virasoro Minimal Models.


title: The line-of-sight analysis of spatial distribution of galaxies in the COSMOS2015 catalogue

abstract: New observations of high-redshift objects are crucial for the improvement of the standard $\Lambda$CDM cosmological model and our understanding of the Universe. One of the main directions of modern observational cosmology is the analysis of the large-scale structure of Universe, in particular, in deep fields. We study the large-scale structure of the Universe along the line of sight using the latest version of the COSMOS2015 catalogue, which contains 518,404 high quality photometric redshifts of galaxies selected in the optical range of the COSMOS field ($2\times 2$ deg$^2$), with depth up to the redshift $z \sim 6$. We analyze large-scale fluctuations in the number of galaxies along the line of sight and provide an estimate of the average linear sizes of the self-correlating fluctuations (structures) in independent redshift bins of $ \Delta z = 0.1 $ along with the estimate of the standard deviation from homogeneity (the observed cosmic variance). We suggest a new method of the line-of-sight analysis based on previous works and formulate further prospects of method development. For the case of the theoretical form of approximation of homogeneity in the $\Lambda$CDM framework, the average standard deviation of detected structures from homogeneity is $ \sigma_\text{mean}^{\Lambda \text{CDM}} = 0.09 \pm 0.02 $, and the average characteristic size of structures is $ R_\text{mean}^{\Lambda \text{CDM}} = 790 \pm 150 $ Mpc. For the case of the empirical approximation of homogeneity, the average standard deviation of detected structures from homogeneity is $ \sigma_\text{mean}^\text{empiric} = 0.08 \pm 0.01 $, and the average characteristic size of structures is $ R_\text{mean}^\text{empiric} = 640 \pm 140 $ Mpc.


title: Adversarial Classification: Necessary conditions and geometric flows

abstract: We study a version of adversarial classification where an adversary is empowered to corrupt data inputs up to some distance $\varepsilon$, using tools from variational analysis. In particular, we describe necessary conditions associated with the optimal classifier subject to such an adversary. Using the necessary conditions, we derive a geometric evolution equation which can be used to track the change in classification boundaries as $\varepsilon$ varies. This evolution equation may be described as an uncoupled system of differential equations in one dimension, or as a mean curvature type equation in higher dimension. In one dimension, and under mild assumptions on the data distribution, we rigorously prove that one can use the initial value problem starting from $\varepsilon=0$, which is simply the Bayes classifier, in order to solve for the global minimizer of the adversarial problem for small values of $\varepsilon$. In higher dimensions we provide a similar result, albeit conditional to the existence of regular solutions of the initial value problem. In the process of proving our main results we obtain a result of independent interest connecting the original adversarial problem with an optimal transport problem under no assumptions on whether classes are balanced or not. Numerical examples illustrating these ideas are also presented.


title: A Better and Faster End-to-End Model for Streaming ASR

abstract: End-to-end (E2E) models have shown to outperform state-of-the-art conventional models for streaming speech recognition [1] across many dimensions, including quality (as measured by word error rate (WER)) and endpointer latency [2]. However, the model still tends to delay the predictions towards the end and thus has much higher partial latency compared to a conventional ASR model. To address this issue, we look at encouraging the E2E model to emit words early, through an algorithm called FastEmit [3]. Naturally, improving on latency results in a quality degradation. To address this, we explore replacing the LSTM layers in the encoder of our E2E model with Conformer layers [4], which has shown good improvements for ASR. Secondly, we also explore running a 2nd-pass beam search to improve quality. In order to ensure the 2nd-pass completes quickly, we explore non-causal Conformer layers that feed into the same 1st-pass RNN-T decoder, an algorithm called Cascaded Encoders [5]. Overall, we find that the Conformer RNN-T with Cascaded Encoders offers a better quality and latency tradeoff for streaming ASR.


title: Deep Smartphone Sensors-WiFi Fusion for Indoor Positioning and Tracking

abstract: We address the indoor localization problem, where the goal is to predict user's trajectory from the data collected by their smartphone, using inertial sensors such as accelerometer, gyroscope and magnetometer, as well as other environment and network sensors such as barometer and WiFi. Our system implements a deep learning based pedestrian dead reckoning (deep PDR) model that provides a high-rate estimation of the relative position of the user. Using Kalman Filter, we correct the PDR's drift using WiFi that provides a prediction of the user's absolute position each time a WiFi scan is received. Finally, we adjust Kalman Filter results with a map-free projection method that takes into account the physical constraints of the environment (corridors, doors, etc.) and projects the prediction on the possible walkable paths. We test our pipeline on IPIN'19 Indoor Localization challenge dataset and demonstrate that it improves the winner's results by 20\% using the challenge evaluation protocol.


title: On the dynamics of Lipschitz operators

abstract: By the linearization property of Lipschitz-free spaces, any Lipschitz map $f : M \to N$ between two pointed metric spaces may be extended uniquely to a bounded linear operator $\widehat{f} : \mathcal F(M) \to \mathcal F(N)$ between their corresponding Lipschitz-free spaces. In this note, we explore the connections between the dynamics of Lipschitz self-maps $f : M \to M$ and the linear dynamics of their extensions $\widehat{f} : \mathcal F(M) \to \mathcal F(M)$. This not only allows us to relate topological dynamical systems to linear dynamical systems but also provide a new class of hypercyclic operators acting on Lipschitz-free spaces.


title: Central and Non-central Limit Theorems arising from the Scattering Transform and its Neural Activation Generalization

abstract: Motivated by analyzing complicated and non-stationary time series, we study a generalization of the scattering transform (ST) that includes broad neural activation functions, which is called neural activation ST (NAST). On the whole, NAST is a transform that comprises a sequence of ``neural processing units'', each of which applies a high pass filter to the input from the previous layer followed by a composition with a nonlinear function as the output to the next neuron. Here, the nonlinear function models how a neuron gets excited by the input signal. In addition to showing properties like non-expansion, horizontal translational invariability and insensitivity to local deformation, the statistical properties of the second order NAST of a Gaussian process with various dependence and (non-)stationarity structure and its interaction with the chosen high pass filters and activation functions are explored and central limit theorem (CLT) and non-CLT results are provided. Numerical simulations are also provided. The results explain how NAST processes complicated and non-stationary time series, and pave a way towards statistical inference based on NAST under the non-null case.


title: MeV neutrino dark matter in the SLIM model

abstract: We explore the parameter space of a variant of the SLIM model, which extends the SM with a singlet and a doublet of complex scalars and two generations of right-handed neutrinos, the lightest of which has a mass in the MeV to GeV region and plays the role of Dark Matter candidate. We impose the current collider and astrophysical constrains, as well as bounds from Lepton Flavour Violating experiments. We also consider the discovery potential in the XENON experiment exploiting the electron recoil as a possible direct detection signal. Despite the DM in this model being leptophilic, the predicted cross sections are too low due to the heavy charged mediator.


title: Resummation effects in weak SUSY processes

abstract: We present updated results for the production cross sections of slepton pairs and neutralino-chargino pairs at the LHC with next-to-next-to logarithmic precision matched at approximate QCD next-to-next-to leading order. The explored range of masses of the supersymmetric particles are chosen to be relevant for current and future searches at the LHC. We find moderate increases in the invariant mass distributions and integrated cross sections, and substantial reductions in the scale uncertainty of the results.


title: BARS: Joint Search of Cell Topology and Layout for Accurate and Efficient Binary ARchitectures

abstract: Binary Neural Networks (BNNs) have received significant attention due to their promising efficiency. Currently, most BNN studies directly adopt widely-used CNN architectures, which can be suboptimal for BNNs. This paper proposes a novel Binary ARchitecture Search (BARS) flow to discover superior binary architecture in a large design space. Specifically, we analyze the information bottlenecks that are related to both the topology and layout architecture design choices. And we propose to automatically search for the optimal information flow. To achieve that, we design a two-level (Macro & Micro) search space tailored for BNNs and apply a differentiable neural architecture search (NAS) to explore this search space efficiently. The macro-level search space includes width and depth decisions, which is required for better balancing the model performance and complexity. We also design the micro-level search space to strengthen the information flow for BNN. %A notable challenge of BNN architecture search lies in that binary operations exacerbate the "collapse" problem of differentiable NAS, for which we incorporate various search and derive strategies to stabilize the search process. On CIFAR-10, BARS achieves 1.5% higher accuracy with 2/3 binary operations and 1/10 floating-point operations comparing with existing BNN NAS studies. On ImageNet, with similar resource consumption, BARS-discovered architecture achieves a 6% accuracy gain than hand-crafted binary ResNet-18 architectures and outperforms other binary architectures while fully binarizing the architecture backbone.


title: Thermal, quantum anti-bunching and lasing thresholds from single emitters to macroscopic devices

abstract: Starting from a fully quantized Hamiltonian for an ensemble of identical emitters coupled to the modes of an optical cavity, we determine analytically regimes of thermal, collective anti-bunching and laser emission that depend explicitly on the number of emitters. The lasing regime is reached for a number of emitters above a critical number (which depends on the light-matter coupling, detuning and the dissipation rates) via a universal transition from thermal emission to collective anti-bunching to lasing as the pump increases. Cases where the second order intensity correlation fails to predict laser action are also presented.


title: The cutoff phenomenon in total variation for nonlinear Langevin systems with small layered stable noise

abstract: This paper provides an extended case study of the cutoff phenomenon for a prototypical class of nonlinear Langevin systems with a single stable state perturbed by an additive pure jump L\'evy noise of small amplitude $\varepsilon>0$, where the driving noise process is of layered stable type. Under a drift coercivity condition the associated family of processes $X^\varepsilon$ turns out to be exponentially ergodic with equilibrium distribution $\mu^{\varepsilon}$ in total variation distance which extends a result from Peng and Zhang (2018) to arbitrary polynomial moments. The main results establish the cutoff phenomenon with respect to the total variation, under a sufficient smoothing condition of Blumenthal-Getoor index $\alpha>3/2$. That is to say, in this setting we identify a deterministic time scale $\mathfrak{t}_{\varepsilon}^{\mathrm{cut}}$ satisfying $\mathfrak{t}_ \varepsilon^{\mathrm{cut}} \rightarrow \infty$, as $\varepsilon \rightarrow 0$, and a respective time window, $\mathfrak{t}_\varepsilon^{\mathrm{cut}} \pm o(\mathfrak{t}_\varepsilon^{\mathrm{cut}})$, during which the total variation distance between the current state and its equilibrium $\mu^{\varepsilon}$ essentially collapses as $\varepsilon$ tends to zero. In addition, we extend the dynamical characterization under which the latter phenomenon can be described by the convergence of such distance to a unique profile function first established in Barrera and Jara (2020) to the L\'evy case for nonlinear drift. This leads to sufficient conditions, which can be verified in examples, such as gradient systems subject to small symmetric $\alpha$-stable noise for $\alpha>3/2$. The proof techniques differ completely from the Gaussian case due to the absence of respective Girsanov transforms which couple the nonlinear equation and the linear approximation asymptotically even for short times.


title: A Novel Method for Estimating the Ambient Medium Density Around Distant Radio Sources from Their Observed Radio Spectra

abstract: The dynamical evolution and radiative properties of luminous radio galaxies and quasars of the FRII type, are well understood. As a result, through the use of detailed modeling of the observed radio emission of such sources, one can estimate various physical parameters of the systems, including the density of the ambient medium into which the radio structure evolves. This, however, requires rather comprehensive observational information, i.e. sampling the broad-band radio continua of the targets at several frequencies, and imaging their radio structures with high resolution. Such observations are, on the other hand, not always available, especially for high-redshift objects. Here we analyze the best-fit values of the source physical parameters, derived from an extensive modeling of the largest currently available sample of FRII radio sources, for which good-quality multi-wavelength radio flux measurements could be collected. In the analyzed dataset, we notice a significant and non-obvious correlation between the spectral index of the non-thermal radio emission continuum, and density of the ambient medium. We derive the corresponding correlation parameters, and quantify the intrinsic scatter by means of Bayesian analysis. We propose that the discovered correlation could be used as a cosmological tool to estimate the density of ambient medium for large samples of distant radio galaxies. Our method does not require any detailed modeling of individual sources, and relies on limited observational information, namely the slope of the radio continuum between the rest-frame frequencies 0.4GHz and 5GHz, possibly combined with the total linear size of the radio structure.


title: Atom-field correlations in the weak-excitation limit of absorptive optical bistability

abstract: We calculate the steady-state and first-order time varying atom-field correlation functions in the weak-excitation limit of absorptive optical bistability from a linearized theory of quantum fluctuations. We formulate a Fokker-Planck equation in the positive P representation following the phase-space analysis of [H. J. Carmichael, Phys. Rev. A 33, 3262 (1986)] which is suitable for the determination of cross-correlations as it does not resort to adiabatic elimination. Special emphasis is placed on the limit of collective strong coupling as attained from a vanishing photon-loss rate. We compare to the cavity-transmission spectrum with reference to experimental results obtained for macroscopic dissipative systems, discussing the role of anomalous correlations arising as distinct nonclassical features.


title: Quantum real numbers and $q$-deformed Conway-Coxeter friezes

abstract: We explain the notion of "$q$-deformed real numbers" introduced in our previous work and overview their main properties. We will also introduce $q$-deformed Conway-Coxeter friezes.


title: Monotonicity of the Trace-Inverse of Covariance Submatrices and Two-Sided Prediction

abstract: It is common to assess the "memory strength" of a stationary process looking at how fast the normalized log-determinant of its covariance submatrices (i.e., entropy rate) decreases. In this work, we propose an alternative characterization in terms of the normalized trace-inverse of the covariance submatrices. We show that this sequence is monotonically non-decreasing and is constant if and only if the process is white. Furthermore, while the entropy rate is associated with one-sided prediction errors (present from past), the new measure is associated with two-sided prediction errors (present from past and future). This measure can be used as an alternative to Burg's maximum-entropy principle for spectral estimation. We also propose a counterpart for non-stationary processes, by looking at the average trace-inverse of subsets.

categories: eess.SP cs.IT cs.SY eess.SY math.IT math.ST stat.TH


title: On the constancy of the extremal function in the embedding theorem of fractional order

abstract: We consider the problem of the minimizer constancy in the fractional embedding theorem $\mathcal{H}^s(\Omega) \hookrightarrow L_q(\Omega)$ for a bounded Lipschitz domain $\Omega,$ depending on the domain size. For the family of domains $\varepsilon \Omega,$ we prove that for small dilation coefficients $\varepsilon$ a unique minimizer is constant, whereas for large $\varepsilon$ a constant function is not even a local minimizer. We also discuss whether a constant function is a global minimizer if it is a local one.


title: MoNet: Motion-based Point Cloud Prediction Network

abstract: Predicting the future can significantly improve the safety of intelligent vehicles, which is a key component in autonomous driving. 3D point clouds accurately model 3D information of surrounding environment and are crucial for intelligent vehicles to perceive the scene. Therefore, prediction of 3D point clouds has great significance for intelligent vehicles, which can be utilized for numerous further applications. However, due to point clouds are unordered and unstructured, point cloud prediction is challenging and has not been deeply explored in current literature. In this paper, we propose a novel motion-based neural network named MoNet. The key idea of the proposed MoNet is to integrate motion features between two consecutive point clouds into the prediction pipeline. The introduction of motion features enables the model to more accurately capture the variations of motion information across frames and thus make better predictions for future motion. In addition, content features are introduced to model the spatial content of individual point clouds. A recurrent neural network named MotionRNN is proposed to capture the temporal correlations of both features. Besides, we propose an attention-based motion align module to address the problem of missing motion features in the inference pipeline. Extensive experiments on two large scale outdoor LiDAR datasets demonstrate the performance of the proposed MoNet. Moreover, we perform experiments on applications using the predicted point clouds and the results indicate the great application potential of the proposed method.


title: Efficient Neural Network Implementation with Quadratic Neuron

abstract: Previous works proved that the combination of the linear neuron network with nonlinear activation functions (e.g. ReLu) can achieve nonlinear function approximation. However, simply widening or deepening the network structure will introduce some training problems. In this work, we are aiming to build a comprehensive second-order CNN implementation framework that includes neuron/network design and system deployment optimization.


title: Minimax Adaptive Control for a Finite Set of Linear Systems

abstract: An adaptive controller with bounded l2-gain from disturbances to errors is derived for linear time-invariant systems with uncertain parameters restricted to a finite set. The gain bound refers to the closed loop system, including the non-linear learning procedure. As a result, robustness to unmodelled dynamics (possibly nonlinear and infinite-dimensional) follows from the small gain theorem. The approach is based on a new zero-sum dynamic game formulation, which optimizes the trade-off between exploration and exploitation. An explicit upper bound on the optimal value function is stated in terms of semi-definite programming and a corresponding simple formula for an adaptive controller achieving the upper bound is given. Once the uncertain parameters have been sufficiently estimated, the controller behaves like standard H-infinity optimal control.


title: Hi intensity mapping with MeerKAT: Primary beam effects on foreground cleaning

abstract: Upcoming and future neutral hydrogen Intensity Mapping surveys offer a great opportunity to constrain cosmology in the post-reionization Universe, provided a good accuracy is achieved in the separation between the strong foregrounds and the cosmological signal. Cleaning methods rely on the frequency smoothness of the foregrounds and are often applied under the assumption of a simplistic Gaussian primary beam. In this work, we test the cleaning in the presence of a realistic primary beam model with a non trivial frequency dependence. We focus on the Square Kilometre Array precursor MeerKAT telescope and simulate a single-dish wide area survey. We consider the main foreground components, including an accurate full sky point source catalogue. We find that the coupling between beam sidelobes and the foreground structure can complicate the cleaning. However, when the beam frequency dependence is smooth, we show that the cleaning is only problematic if the far sidelobes are unexpectedly large. Even in that case, a proper reconstruction is possible if the strongest point sources are removed and the cleaning is more aggressive. We then consider a non-trivial frequency dependence: a sinusoidal type feature in the beam width that is present in the MeerKAT beam and is expected in most dishes, including SKA1-MID. Such a feature, coupling with the foreground emission, biases the reconstruction of the signal across frequency, potentially impacting the cosmological analysis. Interestingly, such contamination is present at a lower level even when no point sources are included and the beam is Gaussian, showing that this frequency ripple can be problematic even within the main lobe. We show that this effect is constrained to a narrow region in $k_\parallel$ space and can be reduced if the maps are carefully re-smoothed to a common lower resolution.


title: Asymptotic limit for the Stokes and Navier-Stokes problems in a planar domain with a vanishing hole

abstract: We show that the eigenvalues of the Stokes operator in a domain with a small hole converge to the eigenvalues of the Stokes operator in the whole domain, when the diameter of the hole tends to 0. The convergence of the eigenspaces and the convergence of the Stokes semigroup are also established. Concerning the Navier--Stokes equations, we prove that the vorticity of the solution in the perforated domain converges as the hole shrinks to a point $r$ to the vorticity of the solution in the punctured domain (i.e. the whole domain with the point $r$ removed). The main ingredients of the analysis are a suitable decomposition of the vorticity space, the formalism elaborated in [7] and some basics of potential theory.


title: Detecting Fake News Spreaders in Social Networks using Inductive Representation Learning

abstract: An important aspect of preventing fake news dissemination is to proactively detect the likelihood of its spreading. Research in the domain of fake news spreader detection has not been explored much from a network analysis perspective. In this paper, we propose a graph neural network based approach to identify nodes that are likely to become spreaders of false information. Using the community health assessment model and interpersonal trust we propose an inductive representation learning framework to predict nodes of densely-connected community structures that are most likely to spread fake news, thus making the entire community vulnerable to the infection. Using topology and interaction based trust properties of nodes in real-world Twitter networks, we are able to predict false information spreaders with an accuracy of over 90%.


title: Dielectric Resonator Antenna Coupled Antimonide-Based Detectors (DRACAD) For the Infrared

abstract: In an infrared photodetector, noise current (dark current) is generated throughout the volume of the detector. Reducing the volume will reduce dark current, but the corresponding smaller area will also reduce the received signal. By using a separate antenna to receive light, one can reduce the detector area without reducing the signal, thereby increasing its signal to noise ratio (SNR). Here, we present a dielectric resonator antenna (DRA) coupled infrared photodetector. Its performance is compared to a conventional resonant cavity enhanced slab detector. The Noise Equivalent Power (NEP) is used as a figure of merit for the comparison. Formulas for the NEP are derived for both cases. A pBp photodiode detector is assumed in the comparison. The active region of the photodiode is an InAs/GaSb Type II Superlattice (T2SL). A Genetic Algorithm is used to optimize the dimensions of the detector and the DRA to achieve the smallest NEP. The result is a photodetector that converts over 85% of the incident light into carriers with a volume reduced by 95%. This optimal geometry leads to a NEP reduced by 6.02dB over that of the conventional resonant cavity enhanced slab detector.


title: Evaluating Semantic Accuracy of Data-to-Text Generation with Natural Language Inference

abstract: A major challenge in evaluating data-to-text (D2T) generation is measuring the semantic accuracy of the generated text, i.e. checking if the output text contains all and only facts supported by the input data. We propose a new metric for evaluating the semantic accuracy of D2T generation based on a neural model pretrained for natural language inference (NLI). We use the NLI model to check textual entailment between the input data and the output text in both directions, allowing us to reveal omissions or hallucinations. Input data are converted to text for NLI using trivial templates. Our experiments on two recent D2T datasets show that our metric can achieve high accuracy in identifying erroneous system outputs.


title: Tensor fundamental theorems of invariant theory

abstract: The aim of this paper is to establish a first and second fundamental theorem for $GL(V)$ equivariant polynomial maps from $k$--tuples of matrix variables $End(V)^{ k} $ to tensor spaces $End(V)^{ \otimes n}$ in the spirit of H. Weyl's book {\em The classical groups} \cite{Weyl} and of symbolic algebra.


title: Onsager's variational principle in active soft matter

abstract: Onsager's variational principle (OVP) was originally proposed by Lars Onsager in 1931 [L. Onsager, $Phys. Rev.$, 1931, $37$, 405]. This fundamental principle provides a very powerful tool for formulating thermodynamically consistent models. It can also be employed to find approximate solutions, especially in the study of soft matter dynamics. In this work, OVP is extended and applied to the dynamic modeling of active soft matter such as suspensions of bacteria and aggregates of animal cells. We first extend the general formulation of OVP to active matter dynamics where active forces are included as external non-conservative forces. We then use OVP to analyze the directional motion of individual active units: a molecular motor walking on a stiff biofilament and a toy two-sphere microswimmer. Next, we use OVP to formulate a diffuse-interface model for an active polar droplet on a solid substrate. In addition to the generalized hydrodynamic equations for active polar fluids in the bulk region, we have also derived thermodynamically consistent boundary conditions. Finally, we consider the dynamics of a thin active polar droplet under the lubrication approximation. We use OVP to derive a generalized thin film equation and then employ OVP as an approximation tool to find the spreading laws for the thin active polar droplet. By incorporating the activity of biological systems into OVP, we develop a general approach to construct thermodynamically consistent models for better understanding the emergent behaviors of individual animal cells and cell aggregates or tissues.


title: Control and implementation of fluid-driven soft gripper with dynamic uncertainty of object

abstract: Soft grippers, for stable grasping of objects, with high compliance could be considered a suitable candidate for replacement of conventional rigid grippers, and in recent years, they have been emerging exponentially in industries. Not only are these highly adaptable grippers capable of static grasping of an object, but also they can be utilized for performing object manipulation tasks. Plenty of contemporary studies have been emphasizing on static grasping ability of soft grippers. However, in this thesis, planar in-hand object manipulation in a soft gripper which comprises a pair of soft finger is investigated.


title: A System for Automatic Rice Disease Detection from Rice Paddy Images Serviced via a Chatbot

abstract: A LINE Bot System to diagnose rice diseases from actual paddy field images was developed and presented in this paper. It was easy-to-use and automatic system designed to help rice farmers improve the rice yield and quality. The targeted images were taken from the actual paddy environment without special sample preparation. We used a deep learning neural networks technique to detect rice diseases from the images. We developed an object detection model training and refinement process to improve the performance of our previous research on rice leave diseases detection. The process was based on analyzing the model's predictive results and could be repeatedly used to improve the quality of the database in the next training of the model. The deployment model for our LINE Bot system was created from the selected best performance technique in our previous paper, YOLOv3, trained by refined training data set. The performance of the deployment model was measured on 5 target classes and found that the Average True Positive Point improved from 91.1% in the previous paper to 95.6% in this study. Therefore, we used this deployment model for Rice Disease LINE Bot system. Our system worked automatically real-time to suggest primary diagnosis results to the users in the LINE group, which included rice farmers and rice disease specialists. They could communicate freely via chat. In the real LINE Bot deployment, the model's performance was measured by our own defined measurement Average True Positive Point and was found to be an average of 78.86%. The system was fast and took only 2-3 s for detection process in our system server.


title: Policy Teaching in Reinforcement Learning via Environment Poisoning Attacks

abstract: We study a security threat to reinforcement learning where an attacker poisons the learning environment to force the agent into executing a target policy chosen by the attacker. As a victim, we consider RL agents whose objective is to find a policy that maximizes reward in infinite-horizon problem settings. The attacker can manipulate the rewards and the transition dynamics in the learning environment at training-time, and is interested in doing so in a stealthy manner. We propose an optimization framework for finding an optimal stealthy attack for different measures of attack cost. We provide lower/upper bounds on the attack cost, and instantiate our attacks in two settings: (i) an offline setting where the agent is doing planning in the poisoned environment, and (ii) an online setting where the agent is learning a policy with poisoned feedback. Our results show that the attacker can easily succeed in teaching any target policy to the victim under mild conditions and highlight a significant security threat to reinforcement learning agents in practice.


title: Three dimensional vectorial imaging of surface phonons

abstract: While phonons and their related properties have been studied comprehensively in bulk materials, a thorough understanding of surface phonons for nanoscale objects remains elusive. Infra-red imaging methods with photons or electrons exist, which can map these vibrational excitations down to the individual atom scale. However, no technique so far was able to directly reveal the complete three-dimensional vectorial picture of the phononic electromagnetic density of states from a nanostructured object. Using a highly monochromated electron beam in a scanning transmission electron microscope, we could visualize varying phonon signatures from nanoscale MgO cubes both as a function of the beam position, energy-loss and tilt angle. The vibrational responses were described in terms of well-defined eigenmodes and were used to tomographically reconstruct the phononic surface fields of the object, disclosing effects invisible by conventional mapping. Surface phonon applications rely critically on the way the electromagnetic field is spatially and vectorially shaped, strongly influencing the optical, thermal and electronic behavior of the materials. Such 3D information therefore promises novel insights in nanoscale physical phenomena and is invaluable to the design and optimization of nanostructures for fascinating new uses.


title: The short-run impact of COVID-19 on the activity in the insurance industry in the Republic of North Macedonia

abstract: This paper investigates the impact of the COVID-19 pandemic on the insurance industry in the Republic of North Macedonia during the first half of 2020. By utilizing seasonal autoregressive models and data for 11 insurance classes, we find that the insurance activity shrank by more than 10% compared to what was expected. The total loss in the industry was, however, much less than the amount of funds made available by the Insurance Supervision Agency. This was because the pandemic induced changes in the activity structure - the share of Motor vehicles class fell at the expense of the property classes.


title: Notes on the Hankel transform of linear combinations of consecutive pairs of Catalan numbers

abstract: We provide a context around a conjectured closed form for the Hankel transform of linear combinations of consecutive pairs of Catalan numbers. This generalizes the formula for the Hankel transforms of the shifted Catalan numbers and the known results for linear combinations of pairs of Catalan numbers. Many interesting number triangles emerge, some of which we analyze using the language of Riordan arrays.


title: A heat equation approach to intertwining

abstract: In this paper we present a new approach based on the heat equation and extension problems to some intertwining formulas arising in conformal CR geometry.


title: On the Convergence of Reinforcement Learning in Nonlinear Continuous State Space Problems

abstract: We consider the problem of Reinforcement Learning for nonlinear stochastic dynamical systems. We show that in the RL setting, there is an inherent ``Curse of Variance" in addition to Bellman's infamous ``Curse of Dimensionality", in particular, we show that the variance in the solution grows factorial-exponentially in the order of the approximation. A fundamental consequence is that this precludes the search for anything other than ``local" feedback solutions in RL, in order to control the explosive variance growth, and thus, ensure accuracy. We further show that the deterministic optimal control has a perturbation structure, in that the higher order terms do not affect the calculation of lower order terms, which can be utilized in RL to get accurate local solutions.


title: Boundary-sensitive Pre-training for Temporal Localization in Videos

abstract: Many video analysis tasks require temporal localization thus detection of content changes. However, most existing models developed for these tasks are pre-trained on general video action classification tasks. This is because large scale annotation of temporal boundaries in untrimmed videos is expensive. Therefore no suitable datasets exist for temporal boundary-sensitive pre-training. In this paper for the first time, we investigate model pre-training for temporal localization by introducing a novel boundary-sensitive pretext (BSP) task. Instead of relying on costly manual annotations of temporal boundaries, we propose to synthesize temporal boundaries in existing video action classification datasets. With the synthesized boundaries, BSP can be simply conducted via classifying the boundary types. This enables the learning of video representations that are much more transferable to downstream temporal localization tasks. Extensive experiments show that the proposed BSP is superior and complementary to the existing action classification based pre-training counterpart, and achieves new state-of-the-art performance on several temporal localization tasks.


title: Continuous Ant-Based Neural Topology Search

abstract: This work introduces a novel, nature-inspired neural architecture search (NAS) algorithm based on ant colony optimization, Continuous Ant-based Neural Topology Search (CANTS), which utilizes synthetic ants that move over a continuous search space based on the density and distribution of pheromones, is strongly inspired by how ants move in the real world. The paths taken by the ant agents through the search space are utilized to construct artificial neural networks (ANNs). This continuous search space allows CANTS to automate the design of ANNs of any size, removing a key limitation inherent to many current NAS algorithms that must operate within structures with a size predetermined by the user. CANTS employs a distributed asynchronous strategy which allows it to scale to large-scale high performance computing resources, works with a variety of recurrent memory cell structures, and makes use of a communal weight sharing strategy to reduce training time. The proposed procedure is evaluated on three real-world, time series prediction problems in the field of power systems and compared to two state-of-the-art algorithms. Results show that CANTS is able to provide improved or competitive results on all of these problems, while also being easier to use, requiring half the number of user-specified hyper-parameters.


title: Sensing Ambiguity in Henry James' "The Turn of the Screw"

abstract: Fields such as the philosophy of language, continental philosophy, and literary studies have long established that human language is, at its essence, ambiguous and that this quality, although challenging to communication, enriches language and points to the complexity of human thought. On the other hand, in the NLP field there have been ongoing efforts aimed at disambiguation for various downstream tasks. This work brings together computational text analysis and literary analysis to demonstrate the extent to which ambiguity in certain texts plays a key role in shaping meaning and thus requires analysis rather than elimination. We revisit the discussion, well known in the humanities, about the role ambiguity plays in Henry James' 19th century novella, The Turn of the Screw. We model each of the novella's two competing interpretations as a topic and computationally demonstrate that the duality between them exists consistently throughout the work and shapes, rather than obscures, its meaning. We also demonstrate that cosine similarity and word mover's distance are sensitive enough to detect ambiguity in its most subtle literary form, despite doubts to the contrary raised by literary scholars. Our analysis is built on topic word lists and word embeddings from various sources. We first claim, and then empirically show, the interdependence between computational analysis and close reading performed by a human expert.


title: Tidal locking and the gravitational fold catastrophe

abstract: The purpose of this work is to study the phenomenon of tidal locking in a pedagogical framework by analyzing the effective gravitational potential of a two-body system with two spinning objects. It is shown that the effective potential of such a system is an example of a fold catastrophe. In fact, the existence of a local minimum and saddle point, corresponding to tidally-locked circular orbits, is regulated by a single dimensionless control parameter which depends on the properties of the two bodies and on the total angular momentum of the system. The method described in this work results in compact expressions for the radius of the circular orbit and the tidally-locked spin/orbital frequency. The limiting case in which one of the two orbiting objects is point-like is studied in detail. An analysis of the effective potential, which in this limit depends on only two parameters, allows one to clearly visualize the properties of the system. The notorious case of the Mars' moon Phobos is presented as an example of a satellite that is past the no return point and, therefore, will not reach a stable or unstable tidally-locked orbit.


title: The complementarity of a diverse range of deep learning features extracted from video content for video recommendation

abstract: Following the popularisation of media streaming, a number of video streaming services are continuously buying new video content to mine the potential profit from them. As such, the newly added content has to be handled well to be recommended to suitable users. In this paper, we address the new item cold-start problem by exploring the potential of various deep learning features to provide video recommendations. The deep learning features investigated include features that capture the visual-appearance, audio and motion information from video content. We also explore different fusion methods to evaluate how well these feature modalities can be combined to fully exploit the complementary information captured by them. Experiments on a real-world video dataset for movie recommendations show that deep learning features outperform hand-crafted features. In particular, recommendations generated with deep learning audio features and action-centric deep learning features are superior to MFCC and state-of-the-art iDT features. In addition, the combination of various deep learning features with hand-crafted features and textual metadata yields significant improvement in recommendations compared to combining only the former.


title: Multilevel symmetrized Toeplitz structures and spectral distribution results for the related matrix-sequences

abstract: In recent years, motivated by computational purposes, the singular value and spectral features of the symmetrization of Toeplitz matrices generated by a Lebesgue integrable function have been studied. Indeed, under the assumptions that $f$ belongs to $L^1([-\pi,\pi])$ and it has real Fourier coefficients, the spectral and singular value distribution of the matrix-sequence $\{Y_nT_n[f]\}_n$ has been identified, where $n$ is the matrix-size, $Y_n$ is the anti-identity matrix, and $T_n[f]$ is the Toeplitz matrix generated by $f$. In this note, we consider the multilevel Toeplitz matrix $T_{\bf n}[f]$ generated by $f\in L^1([-\pi,\pi]^k)$, $\bf n$ being a multi-index identifying the matrix-size, and we prove spectral and singular value distribution results for the matrix-sequence $\{Y_{\bf n}T_{\bf n}[f]\}_{\bf n}$ with $Y_{\bf n}$ being the corresponding tensorization of the anti-identity matrix.


title: Black holes and gravitational waves sourced by non-linear duality rotation-invariant conformal electromagnetic matter

abstract: Maxwell's equations are invariant under both duality rotations and conformal transformations. Recently Bandos, Lechner, Sorokin, and Townsend have found a nonlinear generalisation of electrodynamics which possesses both of these symmetries. We couple this theory to General Relativity and explore self-gravitating configurations with a clear physical interpretation. We find charged black holes and exact gravitational waves. The black hole geometry is Reissner-Nordstr\"om, however, the non-linearity parameter acts as a screening factor allowing extremal configurations where the mass of the black hole is smaller than its charge. Furthermore, we also discuss the phenomenon of birefringence and determine the optical metrics associated to the propagation of photons.


title: Imperfect Oracles: The Effect of Strategic Information on Stock Markets

abstract: Modern financial market dynamics warrant detailed analysis due to their significant impact on the world. This, however, often proves intractable; massive numbers of agents, strategies and their change over time in reaction to each other leads to difficulties in both theoretical and simulational approaches. Notable work has been done on strategy dominance in stock markets with respect to the ratios of agents with certain strategies. Perfect knowledge of the strategies employed could then put an individual agent at a consistent trading advantage. This research reports the effects of imperfect oracles on the system - dispensing noisy information about strategies - information which would normally be hidden from market participants. The effect and achievable profits of a singular trader with access to an oracle were tested exhaustively with previously unexplored factors such as changing order schedules. Additionally, the effect of noise on strategic information was traced through its effect on trader efficiency.


title: Integrating Structure, Information Architecture and Control Design: Application to Tensegrity Systems

abstract: A novel unified approach to jointly optimize structural design parameters, actuator and sensor precision and controller parameters is presented in this paper. The joint optimization problem is posed as a covariance control problem, where feasibility is achieved by bounding the covariance of the output as well as that of the control signals. The formulation is used to design a tensegrity system, where the initial prestress parameters, sensor and actuator precisions, and the control law are jointly optimized. Tensegrity system dynamics models linearized about an equilibrium point are used for system design, where minimality is ensured by constraint projection. The feedback loop is assumed to have a full-order dynamic compensator with its characteristic matrices chosen as optimization variables. The suboptimal solution of this non-convex system design problem is found by iterating over an approximated convex problem through the use of a convexifying potential function that enables the convergence to a stationary point. It is shown that for a linear dynamical system, the approximated joint optimization problem can be formulated using Linear Matrix Inequalities (LMIs).