title: Lightweight Sybil-Resilient Multi-Robot Networks by Multipath Manipulation

abstract: Wireless networking opens up many opportunities to facilitate miniaturized robots in collaborative tasks, while the openness of wireless medium exposes robots to the threats of Sybil attackers, who can break the fundamental trust assumption in robotic collaboration by forging a large number of fictitious robots. Recent advances advocate the adoption of bulky multi-antenna systems to passively obtain fine-grained physical layer signatures, rendering them unaffordable to miniaturized robots. To overcome this conundrum, this paper presents ScatterID, a lightweight system that attaches featherlight and batteryless backscatter tags to single-antenna robots to defend against Sybil attacks. Instead of passively "observing" signatures, ScatterID actively "manipulates" multipath propagation by using backscatter tags to intentionally create rich multipath features obtainable to a single-antenna robot. These features are used to construct a distinct profile to detect the real signal source, even when the attacker is mobile and power-scaling. We implement ScatterID on the iRobot Create platform and evaluate it in typical indoor and outdoor environments. The experimental results show that our system achieves a high AUROC of 0.988 and an overall accuracy of 96.4% for identity verification.


title: Time Delay Estimation from Multiband Radio Channel Samples in Nonuniform Noise

abstract: The multipath radio channel is considered to have a non-bandlimited channel impulse response. Therefore, it is challenging to achieve high resolution time-delay (TD) estimation of multipath components (MPCs) from bandlimited observations of communication signals. It this paper, we consider the problem of multiband channel sampling and TD estimation of MPCs. We assume that the nonideal multibranch receiver is used for multiband sampling, where the noise is nonuniform across the receiver branches. The resulting data model of Hankel matrices formed from acquired samples has multiple shift-invariance structures, and we propose an algorithm for TD estimation using weighted subspace fitting. The subspace fitting is formulated as a separable nonlinear least squares (NLS) problem, and it is solved using a variable projection method. The proposed algorithm supports high resolution TD estimation from an arbitrary number of bands, and it allows for nonuniform noise across the bands. Numerical simulations show that the algorithm almost attains the Cramer Rao Lower Bound, and it outperforms previously proposed methods such as multiresolution TOA, MI-MUSIC, and ESPRIT.


title: The Athena space X-ray Observatory and the astrophysics of hot plasma

abstract: The properties (temperature, density, chemical composition, velocity) of hot astrophysical plasma and the physical processes affecting them (heating/cooling, turbulence, shocks, acceleration) can be probed by high resolution X-ray spectroscopy, to be complemented by high spatial resolution imaging. The paper presents a status of the ESA's Advanced Telescope for High Energy Astrophysics (Athena) mission, particularly focusing on the science performance of its two focal plane instruments for the studies of extended X-ray sources: the Wide Field Imager (WFI) and the X-ray Integral Field Unit (X-IFU). This paper then provides a brief summary of the breakthroughs expected with Athena on the astrophysics of hot plasma, building on the vast heritage of the discoveries and revolutionary results obtained by Chandra and XMM-Newton in this field. As of November 12th, 2019, Athena successfully concluded its feasibility study, and has since then moved into the definition phase, with a launch date scheduled in the early 2030s.


title: OpenBioLink: A benchmarking framework for large-scale biomedical link prediction

abstract: SUMMARY: Recently, novel machine-learning algorithms have shown potential for predicting undiscovered links in biomedical knowledge networks. However, dedicated benchmarks for measuring algorithmic progress have not yet emerged. With OpenBioLink, we introduce a large-scale, high-quality and highly challenging biomedical link prediction benchmark to transparently and reproducibly evaluate such algorithms. Furthermore, we present preliminary baseline evaluation results. AVAILABILITY AND IMPLEMENTATION: Source code, data and supplementary files are openly available at https://github.com/OpenBioLink/OpenBioLink CONTACT: matthias.samwald ((at)) meduniwien.ac.at


title: Second-Order Non-Convex Optimization for Constrained Fixed-Structure Static Output Feedback Controller Synthesis

abstract: For linear time-invariant (LTI) systems, the design of an optimal controller is a commonly encountered problem in many applications. Among all the optimization approaches available, the linear quadratic regulator (LQR) methodology certainly garners much attention and interest. As is well-known, standard numerical tools in linear algebra are readily available which enable the determination of the optimal static LQR feedback gain matrix when all the system state variables are measurable. However, in various certain scenarios where some of the system state variables are not measurable, and consequent prescribed structural constraints on the controller structure arise, the optimization problem can become intractable due to the non-convexity characteristics that can then be present. In such cases, there have been some first-order methods proposed to cater to these problems, but all of these first-order optimization methods, if at all successful, are limited to only linear convergence. To speed up the convergence, a second-order approach in the matrix space is essential, with appropriate methodology to solve the linear equality constrained static output feedback (SOF) problem with a suitably defined linear quadratic cost function. Thus along this line, in this work, an efficient method is proposed in the matrix space to calculate the Hessian matrix by solving several Lyapunov equations. Then a new optimization technique is applied to deal with the indefiniteness of the Hessian matrix. Subsequently, through Newton's method with linear equality constraints, a second-order optimization algorithm is developed to effectively solve the constrained SOF LQR problem. Finally, two numerical examples are described which demonstrate the applicability and effectiveness of the proposed method.


title: Deep Attention Based Semi-Supervised 2D-Pose Estimation for Surgical Instruments

abstract: For many practical problems and applications, it is not feasible to create a vast and accurately labeled dataset, which restricts the application of deep learning in many areas. Semi-supervised learning algorithms intend to improve performance by also leveraging unlabeled data. This is very valuable for 2D-pose estimation task where data labeling requires substantial time and is subject to noise. This work aims to investigate if semi-supervised learning techniques can achieve acceptable performance level that makes using these algorithms during training justifiable. To this end, a lightweight network architecture is introduced and mean teacher, virtual adversarial training and pseudo-labeling algorithms are evaluated on 2D-pose estimation for surgical instruments. For the applicability of pseudo-labelling algorithm, we propose a novel confidence measure, total variation. Experimental results show that utilization of semi-supervised learning improves the performance on unseen geometries drastically while maintaining high accuracy for seen geometries. For RMIT benchmark, our lightweight architecture outperforms state-of-the-art with supervised learning. For Endovis benchmark, pseudo-labelling algorithm improves the supervised baseline achieving the new state-of-the-art performance.


title: Inception Architecture and Residual Connections in Classification of Breast Cancer Histology Images

abstract: This paper presents results of applying Inception v4 deep convolutional neural network to ICIAR-2018 Breast Cancer Classification Grand Challenge, part a. The Challenge task is to classify breast cancer biopsy results, presented in form of hematoxylin and eosin stained images. Breast cancer classification is of primary interest to the medical practitioners and thus binary classification of breast cancer images have been under investigation by many researchers, but multi-class categorization of histology breast images have been challenging due to the subtle differences among the categories. In this work extensive data augmentation is conducted to reduce overfitting and effectiveness of committee of several Inception v4 networks is studied. We report 89% accuracy on 4 class classification task and 93.7% on carcinoma/non-carcinoma two class classification task using our test set of 80 images.


title: Counterexamples to the local-global principle associated with Swinnerton-Dyer's cubic form

abstract: In this paper, we imitate a classical construction of a counterexample to the local-global principle of cubic forms of 4 variables which was discovered first by Swinnerton-Dyer (Mathematica (1962)). Our construction gives new explicit families of counterexamples in homogeneous forms of $4, 5, 6, ..., 2n+2$ variables of degree $2n+1$ for infinitely many integers $n$. It is contrastive to Swinnerton-Dyer's original construction that we do not need any concrete calculation in the proof of local solubility.


title: Collisions and rebounds of chemically-active droplets

abstract: Active droplets swim as a result of the nonlinear advective coupling of the distribution of chemical species they consume or release with the Marangoni flows created by their non-uniform surface distribution. Most existing models focus on the self-propulsion of a single droplet in an unbounded fluid, which arises when diffusion is slow enough (i.e. beyond a critical P\'eclet number, $\mbox{Pe}_c$). Despite its experimental relevance, the coupled dynamics of multiple droplets and/or collision with a wall remains mostly unexplored. Using a novel approach based on a moving fitted bispherical grid, the fully-coupled nonlinear dynamics of the chemical solute and flow fields are solved here to characterise in detail the axisymmetric collision of an active droplet with a rigid wall (or with a second droplet). The dynamics is strikingly different depending on the convective-to-diffusive transport ratio, $\mbox{Pe}$: near the self-propulsion threshold (moderate $\mbox{Pe}$), the rebound dynamics are set by chemical interactions and are well captured by asymptotic analysis; in contrast, for larger $\mbox{Pe}$, a complex and nonlinear combination of hydrodynamic and chemical effects set the detailed dynamics, including a closer approach to the wall and a velocity plateau shortly after the rebound of the droplet. The rebound characteristics, i.e. minimum distance and duration, are finally fully characterised in terms of $\mbox{Pe}$.

categories: physics.flu-dyn cond-mat.soft physics.bio-ph physics.chem-ph


title: Husimi function for electrons moving in magnetic fields

abstract: Husimi functions allow one to obtain sensible and useful phase space probability distributions from quantumechanical wavefunctions or classical wave fields, linking them to (semi-)classical methods and intuition. They have been used in several fields of physics, including electronic transport. We show that applying Husimi functions to ballistic electron dynamics in magnetic fields needs special consideration in order for them to obey gauge invariance and energy conservation. We therefore extend the Husimi function formalism to allow for magnetic fields making use of magnetic translation operators. We demonstrate the application in tight-binding magneto-transport calculations in graphene nanodevices, highlighting connections with Klein tunneling. In continuation of recent work, with this paper we further pave the way for using the Husimi function to unravel quantum transport phenomena in nanodevices.


title: Temperature and gate effects on contact resistance and mobility in graphene transistors by TLM and Y-function methods

abstract: The metal-graphene contact resistance is one of the major limiting factors toward the technological exploitation of graphene in electronic devices and sensors. A high contact resistance can be detrimental to device performance and spoil the intrinsic great properties of graphene. In this paper, we fabricate graphene field-effect transistors with different geometries to study the contact and channel resistance as well as the carrier mobility as a function of gate voltage and temperature. We apply the transfer length method and the y-function method showing that the two approaches can complement each other to evaluate the contact resistance and prevent artifacts in the estimation of the gate-voltage dependence of the carrier mobility. We find that the gate voltage modulates the contact and the channel resistance in a similar way but does not change the carrier mobility. We also show that the raising temperature lowers the carrier mobility, has negligible effect on the contact resistance, and can induce a transition from a semiconducting to a metallic behavior of the graphene sheet resistance, depending on the applied gate voltage. Finally we show that eliminating the detrimental effects of the contact resistance on the transistor channel current almost doubles the carrier field-effect mobility and that a competitive contact resistance an be achieved by the zig-zag shaping of the Ni contact.


title: Generation of coupled orbital angular momentum modes from an optical vortex parametric laser source

abstract: We report on the generation of flower (wheel) modes, which manifest coupled orbital angular momentum (OAM) modes, from a vortex pumped optical parametric oscillator simply by employing a pump source with a short temporal coherence time. This vortex oscillator was also developed to generate a further higher-order vortex signal output with $l_s=2-4$ by replacement of the pump source with a longer coherence time. The signal and idler outputs were tuned within wavelength ranges of 745-955 nm and 1200-1855 nm, respectively. The maximum signal output energy of 1.2 mJ was measured with an optical efficiency of 15.6%.


title: Regularity of maximal operators: recent progress and some open problems

abstract: This is an expository paper on the regularity theory of maximal operators, when these act on Sobolev and BV functions, with a special focus on some of the current open problems in the topic. Overall, a list of fifteen research problems is presented. It summarizes the contents of a talk delivered by the author at the CIMPA 2017 Research School - Harmonic Analysis, Geometric Measure Theory and Applications, in Buenos Aires, Argentina.


title: Averaging method and asymptotic solutions in some mechanical problems

abstract: In the paper we consider systems in oscillating force fields such that the classical method of averaging can be applied. We present sufficient conditions for the existence of forced oscillations in such systems and study the asymptotic behaviour of some solutions. In particular, we show that for an inverted pendulum with a horizontally moving pivot point in an oscillating gravity field there exists a solution along which the pendulum never falls.


title: SuperNCN: Neighbourhood consensus network for robust outdoor scenes matching

abstract: In this paper, we present a framework for computing dense keypoint correspondences between images under strong scene appearance changes. Traditional methods, based on nearest neighbour search in the feature descriptor space, perform poorly when environmental conditions vary, e.g. when images are taken at different times of the day or seasons. Our method improves finding keypoint correspondences in such difficult conditions. First, we use Neighbourhood Consensus Networks to build spatially consistent matching grid between two images at a coarse scale. Then, we apply Superpoint-like corner detector to achieve pixel-level accuracy. Both parts use features learned with domain adaptation to increase robustness against strong scene appearance variations. The framework has been tested on a RobotCar Seasons dataset, proving large improvement on pose estimation task under challenging environmental conditions.


title: Plato's cube and the natural geometry of fragmentation

abstract: Plato envisioned Earth's building blocks as cubes, a shape rarely found in nature. The solar system is littered, however, with distorted polyhedra -- shards of rock and ice produced by ubiquitous fragmentation. We apply the theory of convex mosaics to show that the average geometry of natural 2D fragments, from mud cracks to Earth's tectonic plates, has two attractors: "Platonic" quadrangles and "Voronoi" hexagons. In 3D the Platonic attractor is dominant: remarkably, the average shape of natural rock fragments is cuboid. When viewed through the lens of convex mosaics, natural fragments are indeed geometric shadows of Plato's forms. Simulations show that generic binary breakup drives all mosaics toward the Platonic attractor, explaining the ubiquity of cuboid averages. Deviations from binary fracture produce more exotic patterns that are genetically linked to the formative stress field. We compute the universal pattern generator establishing this link, for 2D and 3D fragmentation.


title: Classification under local differential privacy

abstract: We consider the binary classification problem in a setup that preserves the privacy of the original sample. We provide a privacy mechanism that is locally differentially private and then construct a classifier based on the private sample that is universally consistent in Euclidean spaces. Under stronger assumptions, we establish the minimax rates of convergence of the excess risk and see that they are slower than in the case when the original sample is available.


title: TDOA Source-Localization Technique Robust to Timing Attacks

abstract: In this paper, we focus on the localization of a passive source from time difference of arrival (TDOA) measurements. TDOA values are computed with respect to pairs of fixed sensors that are required to be accurately time-synchronized. This constitutes a weakness as all synchronization techniques are vulnerable to delay injections. Attackers are able either to spoof the signal or to inject asymmetric delays in the communication channel. By nature, TDOA measurements are highly sensitive to time-synchronization offsets between sensors. Our first contribution is to show that timing attacks can severely affect the localization process. With a delay of a few microseconds injected on one sensor, the resulting estimate might be several kilometers away from the true location of the unknown source. We also show that residual analysis does not enable the detection and identification of timing attacks. Our second contribution is to propose a two-step TDOA-localization technique that is robust against timing attacks. It uses a known source to define a weight for each pair of sensors, reflecting the confidence in their time synchronization. Our solution then uses the weighted least-squares estimator with the newly created weights and the TDOA measurements received from the unknown source. As a result, our method either identifies the network as being too corrupt to localize, or gives a corrected estimate of the unknown position along with a confidence metric. Numerical results illustrate the performance of our technique.


title: Optically Pumped Cs Magnetometers Enabling a High-Sensitivity Search for the Neutron Electric Dipole Moment

abstract: An array of sixteen laser-pumped scalar Cs magnetometers was part of the neutron electric dipole moment (nEDM) experiment taking data at the Paul Scherrer Institute in 2015 and 2016. It was deployed to measure the gradients of the experiment's magnetic field and to monitor their temporal evolution. The originality of the array lies in its compact design, in which a single near-infrared diode laser drives all magnetometers that are located in a high-vacuum chamber, with a selection of the sensors mounted on a high-voltage electrode. We describe details of the Cs sensors' construction and modes of operation, emphasizing the accuracy and sensitivity of the magnetic field readout. We present two applications of the magnetometer array directly beneficial to the nEDM experiment: (i) the implementation of a strategy to correct for the drift of the vertical magnetic field gradient and (ii) a procedure to homogenize the magnetic field. The first reduces the uncertainty of the new nEDM result. The second enables transverse neutron spin relaxation times exceeding 1500 s, improving the statistical sensitivity of the nEDM experiment by about 35% and effectively increasing the rate of nEDM data taking by a factor of 1.8.


title: Erratum to "On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields "

abstract: We correct a mistake in the paper "On the cuspidal cohomology of $S$-arithmetic subgroups of reductive groups over number fields " by A. Borel, J.-P. Labesse, J. Schwermer that appeared in Compositio Mathematica, 102 (1996), 1-40.


title: A Powerful Pulsed "Point-Like" Neutron Source Based on the High-Current ECR Ion Source

abstract: The paper presents recent results of a "point-like" neutron source development based on a D-D fusion in a D-loaded target caused by its bombardment with a sharply focused deuterium ion beam. These developments are undergoing at the Institute of Applied Physics of Russian Academy of Sciences in order to study a possibility to create an effective and compact device for fast-neutron radiography. Last experiments with a beam produced by a gasdynamic high-current ECR ion source and its focusing with magnetic lens demonstrated that 60 mA of deuterium ions may be constricted to a transversal size of ~1 mm at the focal plane. With a purpose to improve this result in terms of the beam current and its size a combined electrostatic and magnetic focusing system is proposed and analysed. It is shown that combined system may enhance the total beam current and reduce its footprint down to 0.13 mm. All numerical analysis was performed using the IBSimu code.


title: Minimal graphs for hamiltonian extension

abstract: For every $n\ge 3$ we determine the minimum number of edges of graph with $n$ vertices such that for any non edge $xy$ there exits a hamiltonian cycle containing $xy$.


title: Backprop Diffusion is Biologically Plausible

abstract: The Backpropagation algorithm relies on the abstraction of using a neural model that gets rid of the notion of time, since the input is mapped instantaneously to the output. In this paper, we claim that this abstraction of ignoring time, along with the abrupt input changes that occur when feeding the training set, are in fact the reasons why, in some papers, Backprop biological plausibility is regarded as an arguable issue. We show that as soon as a deep feedforward network operates with neurons with time-delayed response, the backprop weight update turns out to be the basic equation of a biologically plausible diffusion process based on forward-backward waves. We also show that such a process very well approximates the gradient for inputs that are not too fast with respect to the depth of the network. These remarks somewhat disclose the diffusion process behind the backprop equation and leads us to interpret the corresponding algorithm as a degeneration of a more general diffusion process that takes place also in neural networks with cyclic connections.


title: Mimetic Black Holes

abstract: In this paper, we look for the vacuum static spherically symmetric solution in the mimetic gravity scenario based on the conformal invariance principle. The trivial solution is a stealth Schwarzschild black hole with scalar hair where the mimetic field does not contribute to the background. However, a solution with two naked singularities shows up when the mimetic scalar field contributes to the background. We show that one of these singularities is the same as the singularity at the center of standard Schwarzschild black hole while the other appears due to caustics formation. However, we construct the mimetic black hole solution by gluing the exterior static spherically symmetric solution to a time-dependent anisotropic spacetime describing the interior of the black hole. It is shown that these two solutions match continuously on the surface of the apparent horizon. Some physical properties of the corresponding mimetic black holes are discussed.


title: Double quantum-dot engine fueled by entanglement between electron spins

abstract: The laws of thermodynamics allow work extraction from a single heat bath provided that the entropy decrease of the bath is compensated for by another part of the system. We propose a thermodynamic quantum engine that exploits this principle and consists of two electrons on a double quantum dot (QD). The engine is fueled by providing it with singlet spin states, where the electron spins on different QDs are maximally entangled, and its operation involves only changing the tunnel coupling between the QDs. Work can be extracted since the entropy of an entangled singlet is lower than that of a thermal (mixed) state, although they look identical when measuring on a single QD. We show that the engine is an optimal thermodynamic engine in the long-time limit. In addition, we include a microscopic description of the bath and analyze the engine's finite-time performance using experimentally relevant parameters.


title: A comment on "Performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid"

abstract: We provide a counterexample to the performance guarantee obtained in the paper "Performance guarantees of a greedy algorithm for minimizing a supermodular set function on comatroid", which was published in Volume 171 of the European Journal of Operational Research. We comment on where this error originates from in the proof of the main theorem.


title: Introducing MANtIS: a novel Multi-Domain Information Seeking Dialogues Dataset

abstract: Conversational search is an approach to information retrieval (IR), where users engage in a dialogue with an agent in order to satisfy their information needs. Previous conceptual work described properties and actions a good agent should exhibit. Unlike them, we present a novel conceptual model defined in terms of conversational goals, which enables us to reason about current research practices in conversational search. Based on the literature, we elicit how existing tasks and test collections from the fields of IR, natural language processing (NLP) and dialogue systems (DS) fit into this model. We describe a set of characteristics that an ideal conversational search dataset should have. Lastly, we introduce MANtIS (the code and dataset are available at https://guzpenha.github.io/MANtIS/), a large-scale dataset containing multi-domain and grounded information seeking dialogues that fulfill all of our dataset desiderata. We provide baseline results for the conversation response ranking and user intent prediction tasks.


title: Flipping Geometric Triangulations on Hyperbolic Surfaces

abstract: We consider geometric triangulations of surfaces, i.e., triangulations whose edges can be realized by disjoint locally geodesic segments. We prove that the flip graph of geometric triangulations with fixed vertices of a flat torus or a closed hyperbolic surface is connected. We give upper bounds on the number of edge flips that are necessary to transform any geometric triangulation on such a surface into a Delaunay triangulation.


title: Stress distribution in quark--anti-quark and single quark systems at nonzero temperature

abstract: We explore the distribution of the energy momentum tensor (EMT) around quark--anti-quark and single quark at nonzero temperature in SU(3) Yang-Mills gauge theory by extending our previous study on the EMT distribution in static quark--anti-quark systems in vacuum. We discuss the disappearance of the flux tube structure observed in the vacuum simulation. We investigate the total stress acting on the mid-plane between a quark and an anti-quark and show that it agrees with the force obtained from the derivative of the free energy. The color Debye screening effect in the deconfined phase is also discussed in terms of the EMT distribution.


title: Dissipation-driven selection in non-equilibrium chemical networks

abstract: Life has most likely originated as a consequence of processes taking place in non-equilibrium conditions (\textit{e.g.} in the proximity of deep-sea thermal vents) selecting states of matter that would have been otherwise unfavorable at equilibrium. Here we present a simple chemical network in which the selection of states is driven by the thermodynamic necessity of dissipating heat as rapidly as possible in the presence of a thermal gradient: states participating to faster reactions contribute the most to the dissipation rate, and are the most populated ones in non-equilibrium steady-state conditions. Building upon these results, we show that, as the complexity of the chemical network increases, the \textit{velocity} of the reaction path leading to a given state determines its selection, giving rise to non-trivial localization phenomena in state space. A byproduct of our studies is that, in the presence of a temperature gradient, thermophoresis-like behavior inevitably appears depending on the transport properties of each individual state, thus hinting at a possible microscopic explanation of this intriguing yet still not fully understood phenomenon.


title: WCE Polyp Detection with Triplet based Embeddings

abstract: Wireless capsule endoscopy is a medical procedure used to visualize the entire gastrointestinal tract and to diagnose intestinal conditions, such as polyps or bleeding. Current analyses are performed by manually inspecting nearly each one of the frames of the video, a tedious and error-prone task. Automatic image analysis methods can be used to reduce the time needed for physicians to evaluate a capsule endoscopy video, however these methods are still in a research phase. In this paper we focus on computer-aided polyp detection in capsule endoscopy images. This is a challenging problem because of the diversity of polyp appearance, the imbalanced dataset structure and the scarcity of data. We have developed a new polyp computer-aided decision system that combines a deep convolutional neural network and metric learning. The key point of the method is the use of the triplet loss function with the aim of improving feature extraction from the images when having small dataset. The triplet loss function allows to train robust detectors by forcing images from the same category to be represented by similar embedding vectors while ensuring that images from different categories are represented by dissimilar vectors. Empirical results show a meaningful increase of AUC values compared to baseline methods. A good performance is not the only requirement when considering the adoption of this technology to clinical practice. Trust and explainability of decisions are as important as performance. With this purpose, we also provide a method to generate visual explanations of the outcome of our polyp detector. These explanations can be used to build a physician's trust in the system and also to convey information about the inner working of the method to the designer for debugging purposes.


title: On global properties of lower semicontinuous quadratically minorized functions

abstract: We use the framework of a type of abstract convexity ($\Phi_{lsc}$-convexity) to investigate properties of lower semicontinuous quadratically minorized functions in Hilbert spaces. A new result, which states that, for every local $\Phi_{lsc}$-subgradient there exists a global one is proved and plays a crucial role in our considerations. We deliver conditions for abstract subdifferentiability ($\Phi_{lsc}$-subdifferentiability) of locally $C^{1,1}$ functions, twice continuously differentiable functions, prox-regular functions and paraconvex functions. As an application we establish a new sufficient and necessary condition for minimax equality for $\Phi_{lsc}$-convex functions. This new condition is expressed in therms of $\Phi_{lsc}$-subdifferential.


title: Neural Point Cloud Rendering via Multi-Plane Projection

abstract: We present a new deep point cloud rendering pipeline through multi-plane projections. The input to the network is the raw point cloud of a scene and the output are image or image sequences from a novel view or along a novel camera trajectory. Unlike previous approaches that directly project features from 3D points onto 2D image domain, we propose to project these features into a layered volume of camera frustum. In this way, the visibility of 3D points can be automatically learnt by the network, such that ghosting effects due to false visibility check as well as occlusions caused by noise interferences are both avoided successfully. Next, the 3D feature volume is fed into a 3D CNN to produce multiple layers of images w.r.t. the space division in the depth directions. The layered images are then blended based on learned weights to produce the final rendering results. Experiments show that our network produces more stable renderings compared to previous methods, especially near the object boundaries. Moreover, our pipeline is robust to noisy and relatively sparse point cloud for a variety of challenging scenes.


title: Comments on the stability of the KPV state

abstract: Using the blackfold approach, we study the classical stability of the KPV (Kachru-Pearson-Verlinde) state of anti-D3 branes at the tip of the Klebanov-Strassler throat. With regards to generic long-wavelength deformations considered, we found no instabilities. We comment on the relation of our results to existing results on the stability of the KPV state.


title: Quadratic fields, Artin-Schreier extensions, and Bell numbers

abstract: In this article, we prove a modulo $p$ congruence which connects the class number of the quadratic field $\mathbb{Q}(\sqrt{(-1)^{(p-1)/2}p})$ and the trace of a certain monomial in a root $\theta$ of the Artin-Schreier polynomial $\theta^{p}-\theta-1$ over the field $\mathbb{F}_{p}$ of $p$ elements. This formula has a flavor of Dirichlet's class number formula which connects the class number and the $L$-value. The proof of our formula is based on several formulae satisfied by the Bell number, where the latter is defined as the number of partitions of $\{ 1, 2, ..., n \}$ and a purely combinatorial object. Among such formulae, we prove a generalization of the so called ``trace formula'' due to Barsky and Benzaghou which describes the special values of the Bell polynomials modulo $p$ by the trace mentioned above.


title: SENSE: Scalable Data Acquisition from Distributed Sensors with Guaranteed Time Coherence

abstract: Data analysis in the Internet of Things (IoT) requires us to combine event streams from a huge amount of sensors. This combination (join) of events is usually based on the time stamps associated with the events. We address two challenges in environments which acquire and join events in the IoT: First, due to the growing number of sensors, we are facing the performance limits of central joins with respect to throughput, latency, and network utilization. Second, in the IoT, diverse sensor nodes are operated by different organizations and use different time synchronization techniques. Thus, events with the same timestamps are not necessarily recorded at the exact same time and joined data tuples have an unknown time incoherence. This can cause undetected failures, such as false correlations and wrong predictions. We present SENSE, a system for scalable data acquisition from distributed sensors. SENSE introduces time coherence measures as a fundamental data characteristic in addition to common time synchronization techniques. The time coherence of a data tuple is the time span in which all values contained in the tuple have been read from sensors. We explore concepts and algorithms to quantify and optimize time coherence and show that SENSE scales to thousands of sensors, operates efficiently under latency and coherence constraints, and adapts to changing network conditions.


title: Acoustic response of a laser-excited polycrystalline Au-film studied by ultrafast Debye-Scherrer diffraction at a table-top short-pulse X-ray source

abstract: The transient acoustic response of a free-standing, polycrystalline thin Au film upon femtosecond optical excitation has been studied by time-resolved Debye-Scherrer X-ray diffraction using ultrashort Cu K$_{\alpha}$ X-ray pulses from a laser-driven plasma X-ray source. The temporal strain evolution has been determined from the transient shifts of multiple Bragg diffraction peaks. The experimental data are in good agreement with the results of calculations based on the two-temperature model and an acoustic model assuming uni-axial strain propagation in the laser-excited thin film.


title: The agrarian polytope of two-generator one-relator groups

abstract: Relying on the theory of agrarian invariants introduced in previous work, we solve a conjecture of Friedl-Tillmann: we show that the marked polytopes they constructed for two-generator one-relator groups with nice presentations are independent of the presentations used. We also show that, when the groups are additionally torsion-free, the agrarian polytope encodes the splitting complexity of the group. This generalises theorems of Friedl-Tillmann and Friedl-L\"uck-Tillmann.


title: Peering into the formation history of beta Pictoris b with VLTI/GRAVITY long baseline interferometry

abstract: Our objective is to estimate the C/O ratio in the atmosphere of beta Pictoris b and obtain an estimate of the dynamical mass of the planet, as well as to refine its orbital parameters using high-precision astrometry. We used the GRAVITY instrument with the four 8.2 m telescopes of the Very Large Telescope Interferometer to obtain K-band spectro-interferometric data on $\beta$ Pic b. We extracted a medium resolution (R=500) K-band spectrum of the planet and a high-precision astrometric position. We estimated the planetary C/O ratio using two different approaches (forward modeling and free retrieval) from two different codes (ExoREM and petitRADTRANS, respectively). Finally, we used a simplified model of two formation scenarios (gravitational collapse and core-accretion) to determine which can best explain the measured C/O ratio. Our new astrometry disfavors a circular orbit for $\beta$ Pic b ($e=0.15^{+0.05}_{-0.04}$). Combined with previous results and with Hipparcos/GAIA measurements, this astrometry points to a planet mass of $M = 12.7\pm{}2.2\,M_\mathrm{Jup}$. This value is compatible with the mass derived with the free-retrieval code petitRADTRANS using spectral data only. The forward modeling and free-retrieval approches yield very similar results regarding the atmosphere of beta Pic b. In particular, the C/O ratios derived with the two codes are identical ($0.43\pm{}0.05$ vs $0.43^{+0.04}_{-0.03}$). We argue that if the stellar C/O in $\beta$ Pic is Solar, then this combination of a very high mass and a low C/O ratio for the planet suggests a formation through core-accretion, with strong planetesimal enrichment.


title: Filtration shrinkage, the structure of deflators, and failure of market completeness

abstract: We analyse the structure of local martingale deflators projected on smaller filtrations. In a general continuous-path setting, we show that the local martingale part in the multiplicative Doob-Meyer decomposition of projected local martingale deflators are themselves local martingale deflators in the smaller information market. Via use of a Bayesian filtering approach, we demonstrate the exact mechanism of how updates on the possible class of models under less information result in the strict supermartingale property of projections of such deflators. Finally, we demonstrate that these projections are unable to span all possible local martingale deflators in the smaller information market, by investigating a situation where market completeness is not retained under filtration shrinkage.


title: Permutation Polynomials with Carlitz Rank 2

abstract: Let $\mathbb{F}_q$ denote the finite field with $q$ elements. The Carlitz rank of a permutation polynomial is a important measure of complexity of the polynomial. In this paper we find the sharp lower bound for the weight of any permutation polynomial with Carlitz rank $2$, improving the bound found by G\'omez-P\'erez, Ostafe and Topuzo\u{g}lu in that case.


title: More Brieskorn spheres bounding rational balls

abstract: We call an integral homology sphere $\textit{non-trivially}$ bounds a rational homology ball if it is obstructed from bounding an integral homology ball. After Fintushel and Stern's well-known example $\Sigma(2,3,7)$, Akbulut and Larson recently provided the first infinite families of Brieskorn spheres non-trivially bounding rational homology balls: $\Sigma(2,4n+1,12n+5)$ and $\Sigma(3,3n+1,12n+5)$ for odd~$n$. Using their technique, we present new such families: $\Sigma(2,4n+3,12n+7)$ and $\Sigma(3,3n+2,12n+7)$ for even $n$. Also manipulating their main argument, we simply recover some classical results of Akbulut and Kirby, Fickle, Casson and Harer, and Stern about Brieskorn spheres bounding integral homology balls.


title: Radiogenic power and geoneutrino luminosity of the Earth and other terrestrial bodies through time

abstract: We report the Earth's rate of radiogenic heat production and (anti)neutrino luminosity from geologically relevant short-lived radionuclides (SLR) and long-lived radionuclides (LLR) using decay constants from the geological community, updated nuclear physics parameters, and calculations of the $\beta$ spectra. We track the time evolution of the radiogenic power and luminosity of the Earth over the last 4.57 billion years, assuming an absolute abundance for the refractory elements in the silicate Earth and key volatile/refractory element ratios (e.g., Fe/Al, K/U, and Rb/Sr) to set the abundance levels for the moderately volatile elements. The relevant decays for the present-day heat production in the Earth ($19.9\pm3.0$ TW) are from $^{40}$K, $^{87}$Rb, $^{147}$Sm, $^{232}$Th, $^{235}$U, and $^{238}$U. Given element concentrations in kg-element/kg-rock and density $\rho$ in kg/m$^3$, a simplified equation to calculate the present day heat production in a rock is: $$ h \, [\mu \text{W m}^{-3}] = \rho \left( 3.387 \times 10^{-3}\,\text{K} + 0.01139 \,\text{Rb} + 0.04595\,\text{Sm} + 26.18\,\text{Th} + 98.29\,\text{U} \right) $$ The radiogenic heating rate of Earth-like material at Solar System formation was some 10$^3$ to 10$^4$ times greater than present-day values, largely due to decay of $^{26}$Al in the silicate fraction, which was the dominant radiogenic heat source for the first $\sim10$ Ma. Assuming instantaneous Earth formation, the upper bound on radiogenic energy supplied by the most powerful short-lived radionuclide $^{26}$Al ($t_{1/2}$ = 0.7 Ma) is 5.5$\;\times\;$10$^{31}$ J, which is comparable (within a factor of a few) to the planet's gravitational binding energy.


title: Deformed Boson Condensate as a Model of Dark Matter

abstract: We consider the condensate of $q$-deformed bosons as a model of dark matter. Our observations demonstrate that for all $q$ values, the system condenses below a $q$-dependent critical temperature $T^{q}_c$. The critical temperature interestingly tends to infinity when $q\rightarrow 0$, so that the $q$- deformed boson gas is always in the condensed phase in this limit irrespective to the temperature. We argue that this has remarkable outcomes, e.g. on the entropy of the system, and also the fraction of the particles in the ground state. Especially, by direct evaluation of the entropy of the system we reveal that it tends to zero at this limit for all temperatures, and also the fraction of particles in the ground state becomes unity. These observations prove the consistency of the model, put it in the list of appropriate candidates for the dark matter. Also, the lower and upper bounds of mass are evaluated using the phase space density and observational data for $q$ deformed Bose-Einstein condensate ($q$-BEC) model.


title: A SkyMapper view of the Large Magellanic Cloud: The dynamics of stellar populations

abstract: We present the first SkyMapper stellar population analysis of the Large Magellanic Cloud (hereafter LMC),including the identification of 3578 candidate Carbon Stars through their extremely red $g-r$ colours. Coupled with Gaia astrometry, we analyse the distribution and kinematics of this Carbon Star population, finding the LMC to be centred at $(R.A., Dec.) = (80.90^{\circ}\pm{0.29}, -68.74^{\circ}\pm{0.12})$, with a bulk proper motion of $(\mu_{\alpha},\mu_{\delta}) = (1.878\pm0.007,0.293\pm0.018) \mathrm{mas\ yr^{-1}}$ and a disk inclination of $i = 25.6^{\circ}\pm1.1$ at position angle $\theta = 135.6^{\circ}\pm 3.3^{\circ}$. We complement this study with the identification and analysis of additional stellar populations, finding that the dynamical centre for Red Giant Branch (RGB) stars is similar to that seen for the Carbon Stars, whereas for young stars the dynamical centre is significantly offset from the older populations. This potentially indicates that the young stars were formed as a consequence of a strong tidal interaction, probably with the Small Magellanic Cloud (SMC). In terms of internal dynamics, the tangential velocity profile increases linearly within $\sim3\ \mathrm{kpc}$, after which it maintains an approximately constant value of $V_{rot} = 83.6\pm 1.7 \mathrm{km\ s^{-1}}$ until $\sim7 \mathrm{kpc}$. With an asymmetric drift correction, we estimate the mass within $7 \mathrm{kpc}$ to be $M_{\rm LMC}(<7\mathrm{kpc}) = (2.5\pm0.1)\times10^{10}\ \mathrm{M}_{\odot}$ and within the tidal radius ($\sim 30\ \mathrm{kpc}$) to be $M_{\rm LMC}(<30\mathrm{kpc}) = (1.06 \pm 0.32)\times10^{11}\ \mathrm{M}_{\odot}$, consistent with other recent measurements.


title: Infinite product formulae for generating functions for sequences of squares

abstract: We state and prove product formulae for several generating functions for sequences $(a_n)_{n\ge0}$ that are defined by the property that $Pa_n+b^2$ is a square, where $P$ and $b$ are given integers. In particular, we prove corresponding conjectures of the second author. We show that, by means of the Jacobi triple product identity, all these generating functions can be reduced to a linear combination of theta function products. The proof of our formulae then consists in simplifying these linear combinations of theta products into single products. We do this in two ways: (1) by using modular function theory, and (2) by applying the Weierstra\ss addition formula for theta products.


title: Collective ratchet transport generated by particle crowding under asymmetric sawtooth-shaped static potential

abstract: In this study, we describe the ratchet transport of particles under static asymmetric potential with periodicity. Ratchet transport has garnered considerable attention due to its potential for developing smart transport techniques on a micrometer scale. In previous studies, either particle self-propulsion or time varying potential was introduced to realize unidirectional transport. Without utilizing these two factors, we experimentally demonstrate ratchet transport through particle interactions during crowding. Such ratchet transport induced by particle interaction has not been experimentally demonstrated thus far, although some theoretical studies had suggested that particle crowding enhances ratchet transport. In addition, we constructed a model for such transport in which the potential varies depending on the particle density, which agrees well with our experimental results. This study can accelerate the development of transport techniques on a micrometer scale.


title: Error bound conditions and convergence of optimization methods on smooth and proximally smooth manifolds

abstract: We analyse the convergence of the gradient projection algorithm, which is finalized with the Newton method, to a stationary point for the problem of nonconvex constrained optimization $\min_{x \in S} f(x)$ with a proximally smooth set $S = \{x \in R^n : g(x) = 0 \}, \; g : R^n \rightarrow R^m$ and a smooth function $f$. We propose new Error bound (EB) conditions for the gradient projection method which lead to the convergence domain of the Newton method. We prove that these EB conditions are typical for a wide class of optimization problems. It is possible to reach high convergence rate of the algorithm by switching to the Newton method.


title: Adaptive Dynamic Model Averaging with an Application to House Price Forecasting

abstract: Dynamic model averaging (DMA) combines the forecasts of a large number of dynamic linear models (DLMs) to predict the future value of a time series. The performance of DMA critically depends on the appropriate choice of two forgetting factors. The first of these controls the speed of adaptation of the coefficient vector of each DLM, while the second enables time variation in the model averaging stage. In this paper we develop a novel, adaptive dynamic model averaging (ADMA) methodology. The proposed methodology employs a stochastic optimisation algorithm that sequentially updates the forgetting factor of each DLM, and uses a state-of-the-art non-parametric model combination algorithm from the prediction with expert advice literature, which offers finite-time performance guarantees. An empirical application to quarterly UK house price data suggests that ADMA produces more accurate forecasts than the benchmark autoregressive model, as well as competing DMA specifications.


title: A companion star launching jets in the wind acceleration zone of a giant star

abstract: By conducting three-dimensional (3D) hydrodynamical simulations we find that jets that a main sequence companion launches as it orbits inside the wind acceleration zone of an asymptotic giant branch (AGB) star can efficiently remove mass from that zone. We assume that during the intensive wind phase a large fraction of the gas in the acceleration zone does not reach the escape velocity. Therefore, in the numerical simulations we blow the wind with a velocity just below the escape velocity. We assume that a main sequence companion accretes mass from the slow wind via an accretion disk, and launches two opposite jets perpendicular to the equatorial plane. This novel flow interaction shows that by launching jets a companion outside a giant star, but close enough to be in the acceleration zone of a slow intensive wind, can enhance the mass loss rate from the giant by ejecting some gas that would otherwise fall back onto the giant star. The jets are bent inside the wind acceleration zone and eject mass in a belt on the two sides of the equatorial plane. The jet-wind interaction contains instabilities that mix shocked jets' gas with the wind, leading to energy transfer from the jets to the wind. As well, our new simulations add to the rich variety of jet-induced outflow morphologies from evolved stars.


title: 3D-GMNet: Single-View 3D Shape Recovery as A Gaussian Mixture

abstract: In this paper, we introduce 3D-GMNet, a deep neural network for 3D object shape reconstruction from a single image. As the name suggests, 3D-GMNet recovers 3D shape as a Gaussian mixture. In contrast to voxels, point clouds, or meshes, a Gaussian mixture representation provides an analytical expression with a small memory footprint while accurately representing the target 3D shape. At the same time, it offers a number of additional advantages including instant pose estimation and controllable level-of-detail reconstruction, while also enabling interpretation as a point cloud, volume, and a mesh model. We train 3D-GMNet end-to-end with single input images and corresponding 3D models by introducing two novel loss functions, a 3D Gaussian mixture loss and a 2D multi-view loss, which collectively enable accurate shape reconstruction as kernel density estimation. We thoroughly evaluate the effectiveness of 3D-GMNet with synthetic and real images of objects. The results show accurate reconstruction with a compact representation that also realizes novel applications of single-image 3D reconstruction.


title: How to Evaluate the Next System: Automatic Dialogue Evaluation from the Perspective of Continual Learning

abstract: Automatic dialogue evaluation plays a crucial role in open-domain dialogue research. Previous works train neural networks with limited annotation for conducting automatic dialogue evaluation, which would naturally affect the evaluation fairness as dialogue systems close to the scope of training corpus would have more preference than the other ones. In this paper, we study alleviating this problem from the perspective of continual learning: given an existing neural dialogue evaluator and the next system to be evaluated, we fine-tune the learned neural evaluator by selectively forgetting/updating its parameters, to jointly fit dialogue systems have been and will be evaluated. Our motivation is to seek for a lifelong and low-cost automatic evaluation for dialogue systems, rather than to reconstruct the evaluator over and over again. Experimental results show that our continual evaluator achieves comparable performance with reconstructing new evaluators, while requires significantly lower resources.


title: Minimal log discrepancies in positive characteristic

abstract: We show the existence of prime divisors computing minimal log discrepancies in positive characteristic except for a special case. Moreover we prove the lower semicontinuity of minimal log discrepancies for smooth varieties in positive characteristic.


title: Large deviations built on max-stability

abstract: In this paper, we show that the basic results in large deviations theory hold for general monetary risk measures, which satisfy the crucial property of max-stability. A max-stable monetary risk measure fulfills a lattice homomorphism property, and satisfies under a suitable tightness condition the Laplace Principle (LP), that is, admits a dual representation with affine convex conjugate. By replacing asymptotic concentration of probability by concentration of risk, we formulate a Large Deviation Principle (LDP) for max-stable monetary risk measures, and show its equivalence to the LP. In particular, the special case of the asymptotic entropic risk measure corresponds to the classical Varadhan-Bryc equivalence between the LDP and LP. The main results are illustrated by the asymptotic shortfall risk measure.


title: Colloidal Quantum Nanostructures: Emerging Materials for Display Applications

abstract: Colloidal semiconductor nanocrystals (SCNCs) or, more broadly, colloidal quantum nanostructures constitute outstanding model systems for investigating size and dimensionality effects. Their nanoscale dimensions lead to quantum confinement effects that enable tuning of their optical and electronic properties. Thus, emission color control with narrow photoluminescence spectra, wide absorbance spectra, and outstanding photostability, combined with their chemical processability through control of their surface chemistry leads to the emergence of SCNCs as outstanding materials for present and next-generation displays. In this Review, we present the fundamental chemical and physical properties of SCNCs, followed by a description of the advantages of different colloidal quantum nanostructures for display applications. The open challenges with respect to their optical activity are addressed. Both photoluminescent and electroluminescent display scenarios utilizing SCNCs are described.


title: Automorphism groups of dense subgroups of R^n

abstract: By an automorphism of a topological group G we mean an isomorphism of G onto itself which is also a homeomorphism. In this article, we study the automorphism group Aut(G) of a dense subgroup G of R^n, n>=1. We show that Aut(G) can be naturally identified with the subgroup I(G)={A in GL(n,R): G A =G} of the group GL(n,R) of all non-degenerated (n x n)-matrices over R, where G A={g A:g in G}. We describe $I(G) for many dense subgroups G of either R or R^2. We consider also an inverse problem of which symmetric subgroups of GL(n,R) can be realized as I(G) for some dense subgroup G of R^n. For example, for n>=2, we show that the group {A in GL(n,R): det A=+-1} cannot be realized in this way. The realization problem is quite non-trivial even in the one-dimensional case and has deep connections to number theory.


title: Client-side Vulnerabilities in Commercial VPNs

abstract: Internet users increasingly rely on commercial virtual private network (VPN) services to protect their security and privacy. The VPN services route the client's traffic over an encrypted tunnel to a VPN gateway in the cloud. Thus, they hide the client's real IP address from online services, and they also shield the user's connections from perceived threats in the access networks. In this paper, we study the security of such commercial VPN services. The focus is on how the client applications set up VPN tunnels, and how the service providers instruct users to configure generic client software. We analyze common VPN protocols and implementations on Windows, macOS and Ubuntu. We find that the VPN clients have various configuration flaws, which an attacker can exploit to strip off traffic encryption or to bypass authentication of the VPN gateway. In some cases, the attacker can also steal the VPN user's username and password. We suggest ways to mitigate each of the discovered vulnerabilities.


title: DR-GAN: Conditional Generative Adversarial Network for Fine-Grained Lesion Synthesis on Diabetic Retinopathy Images

abstract: Diabetic retinopathy (DR) is a complication of diabetes that severely affects eyes. It can be graded into five levels of severity according to international protocol. However, optimizing a grading model to have strong generalizability requires a large amount of balanced training data, which is difficult to collect particularly for the high severity levels. Typical data augmentation methods, including random flipping and rotation, cannot generate data with high diversity. In this paper, we propose a diabetic retinopathy generative adversarial network (DR-GAN) to synthesize high-resolution fundus images which can be manipulated with arbitrary grading and lesion information. Thus, large-scale generated data can be used for more meaningful augmentation to train a DR grading and lesion segmentation model. The proposed retina generator is conditioned on the structural and lesion masks, as well as adaptive grading vectors sampled from the latent grading space, which can be adopted to control the synthesized grading severity. Moreover, a multi-scale spatial and channel attention module is devised to improve the generation ability to synthesize details. Multi-scale discriminators are designed to operate from large to small receptive fields, and joint adversarial losses are adopted to optimize the whole network in an end-to-end manner. With extensive experiments evaluated on the EyePACS dataset connected to Kaggle, as well as the FGADR dataset, we validate the effectiveness of our method, which can both synthesize highly realistic (1280 x 1280) controllable fundus images and contribute to the DR grading task.


title: A high temperature W$_2$B cermet for compact neutron shielding

abstract: We have developed a new material for neutron shielding applications where space is restricted. W$_2$B is an excellent attenuator of neutrons and gamma-rays, due to the combined gamma attenuation of W and neutron absorption of B. However, its low fracture toughness (~3.5 MPa$\cdot$m$^{0.5}$) and high melting point (2670 {\deg}C) prevent the fabrication of large fully-dense monolithic parts with adequate mechanical properties. Here we meet these challenges by combining W$_2$B with a minor fraction (43 vol.%) of metallic W. The material was produced by reaction sintering W and BN powders. The mechanical properties under flexural and compressive loading were determined up to 1900 {\deg}C. The presence of the ductile metallic W phase enabled a peak flexural strength of ~950 MPa at 1100 {\deg}C, which is a factor of 2-3 higher than typical monolithic transition-metal borides. Its ductile-brittle transition temperature of ~1000 {\deg}C is typical of W-based composites, which is surprising as the W phase was the minor constituent and did not appear to form a fully continuous network. Compression tests showed hardening below ~1500 {\deg}C and significant elongation of the phase domains, which suggest that by forging or rolling, further improvements in ductility may be possible.


title: Effects of lead position, cardiac rhythm variation and drug-induced QT prolongation on performance of machine learning methods for ECG processing

abstract: Machine learning shows great performance in various problems of electrocardiography (ECG) signal analysis. However, collecting a dataset for biomedical engineering is a very difficult task. Any dataset for ECG processing contains from 100 to 10,000 times fewer cases than datasets for image or text analysis. This issue is especially important because of physiological phenomena that can significantly change the morphology of heartbeats in ECG signals. In this preliminary study, we analyze the effects of lead choice from the standard ECG recordings, variation of ECG during 24-hours, and the effects of QT-prolongation agents on the performance of machine learning methods for ECG processing. We choose the problem of subject identification for analysis, because this problem may be solved for almost any available dataset of ECG data. In a discussion, we compare our findings with observations from other works that use machine learning for ECG processing with different problem statements. Our results show the importance of training dataset enrichment with ECG signals acquired in specific physiological conditions for obtaining good performance of ECG processing for real applications.


title: Study of Gasdynamic Electron Cyclotron Resonance Plasma Vacuum Ultraviolet Emission to Optimize Negative Hydrogen Ion Production Efficiency

abstract: Negative hydrogen ion sources are used as injectors into accelerators and drive the neutral beam heating in ITER. Certain processes in low-temperature hydrogen plasmas are accompanied by the emission of vacuum ultraviolet (VUV) emission. Studying the VUV radiation therefore provides volumetric rates of plasma-chemical processes and plasma parameters. In the past we have used gasdynamic ECR discharge for volumetric negative ion production and investigated the dependencies between the extracted H$^-$ current density and various ion source parameters. It was shown that it is possible to reach up to 80 mA/cm$^2$ of negative ion current density with a two electrode extraction. We report experimental studies on negative hydrogen ion production in a high-density gasdynamic ECR discharge plasma consisting of two simple mirror traps together with the results of VUV emission measurements. The VUV-power was measured in three ranges -- Ly$_\alpha$, Lyman band and molecular continuum -- varying the source control parameters near their optima for H$^-$ production. It was shown that the molecular continuum emission VUV power is the highest in the first chamber while Ly$_\alpha$ emission prevails in the second one. Modifications for the experimental scheme for further optimization of negative hydrogen ion production are suggested.


title: Efficient cylindrical envelope modeling for laser wakefield acceleration

abstract: The resolution of the system given by Maxwell's equations and Vlasov equation in three dimensions can describe all the phenomena of interest for laser wakefield acceleration, with few exceptions (e.g. ionization). Such arduous task can be numerically completed using Particle in Cell (PIC) codes, where the plasma is sampled by an ensemble of macroparticles and the electromagnetic fields are defined on a computational grid. However, the resulting three dimensional PIC simulations require substantial resources and often yield a larger amount of information than the one necessary to study a particular aspect of a phenomenon. Reduced models, i.e. models of the Maxwell-Vlasov system taking into account approximations and symmetries, are thus of fundamental importance for preliminary studies and parametric scans. In this work, the implementation of one of these models in the code Smilei, an envelope description of the laser-plasma interaction with cylindrical symmetry, is described.


title: Quantum metrology in a non-Markovian quantum evolution

abstract: The problem of quantum metrology under the context of a particular non-Markovian quantum evolution is explored. We study the dynamics of the quantum Fisher information (QFI) of a composite quantum probe coupled to a Lorentzian environment, for a full variety of different classes of parameters. We are able to find the best metrological state which is not maximally entangled but is the one which evolves fastest. This is shown by evidencing a connection between QFI and different quantum speed limits. At the same time, by optimizing a control field acting over the probes, we show how the total information flow is actively manipulated by the control such as to enhance the parameter estimation at a given final evolution time. At last, under this controlled scenario, a sharp interplay between the dynamics of QFI, non-Markovianity, and entanglement is revealed within different control schemes.


title: Three dimensional structure of mean motion resonances beyond Neptune

abstract: We propose a semianalytical method for the calculation of widths, libration centers and small amplitude libration periods of the mean motion resonances k_p:k in the framework of the circular restricted three body problem valid for arbitrary eccentricities and inclinations. Applying the model to the trans Neptunian region (TNR) we obtain several atlas of resonances between 30 and 100 au showing their domain in the plane (a,e) for different orbital inclinations. The resonance width may change substantially when varying the argument of the perihelion of the resonant object and in order to take into account these variations we introduce the concept of resonance fragility. Resonances 1:k and 2:k are the widest, strongest, most isolated ones and with lower fragility for all interval of inclinations and eccentricities. We discuss about the existence of high k_p:k resonances. We analyze the distribution of the resonant populations inside resonances 1:1, 2:3, 3:5, 4:7, 1:2 and 2:5. We found that the populations are in general located near the regions of the space (e,i) where the resonances are wider and less fragile with the notable exception of the population inside the resonance 4:7 and in a lesser extent the population inside 3:5 which are shifted to lower eccentricities.


title: Testing and Estimating Change-Points in the Covariance Matrix of a High-Dimensional Time Series

abstract: This paper studies methods for testing and estimating change-points in the covariance structure of a high-dimensional linear time series. The assumed framework allows for a large class of multivariate linear processes (including vector autoregressive moving average (VARMA) models) of growing dimension and spiked covariance models. The approach uses bilinear forms of the centered or non-centered sample variance-covariance matrix. Change-point testing and estimation are based on maximally selected weighted cumulated sum (CUSUM) statistics. Large sample approximations under a change-point regime are provided including a multivariate CUSUM transform of increasing dimension. For the unknown asymptotic variance and covariance parameters associated to (pairs of) CUSUM statistics we propose consistent estimators. Based on weak laws of large numbers for their sequential versions, we also consider stopped sample estimation where observations until the estimated change-point are used. Finite sample properties of the procedures are investigated by simulations and their application is illustrated by analyzing a real data set from environmetrics.


title: Dynamically and Thermally Nonequilibrium Fluctuation-Electromagnetic Interactions: Recent Results and Trends

abstract: Our recent theoretical developments related to the nonrelativistic and relativistic fluctuation-electromagnetic interactions of bodies with different temperatures moving translationally and (or) rotationally relative to each other are briefly summarized. Three basic geometrical configurations and physical systems are discussed: "a small particle and a thick plate (i);"a small particle in radiation vacuum background" (ii), and "two thick plates in relative motion (iii) -classical Casimir-Lifshitz configuration with allowance for relative motion and different temperatures of plates. For the third configuration, it is shown that the theory of friction and heat exchange by Levin-Polevoi-Rytov proves to be quite adequate contrary to the settled point of view of many authors.


title: Full Counting Statistics of Topological Defects After Crossing a Phase Transition

abstract: We consider the number distribution of topological defects resulting from the finite-time crossing of a continuous phase transition and identify signatures of universality beyond the mean value, predicted by the Kibble-Zurek mechanism. Statistics of defects follows a binomial distribution with $\mathcal{N}$ Bernouilli trials associated with the probability of forming a topological defect at the locations where multiple domains merge. All cumulants of the distribution are predicted to exhibit a common universal power-law scaling with the quench time in which the transition is crossed. Knowledge of the distribution is used to discuss the onset of adiabatic dynamics and bound rare events associated with large deviations.

categories: cond-mat.stat-mech cond-mat.quant-gas hep-th quant-ph


title: Exact distributions for stochastic models of gene expression with arbitrary regulation

abstract: Stochasticity in gene expression can result in fluctuations in gene product levels. Recent experiments indicated that feedback regulation plays an important role in controlling the noise in gene expression. A quantitative understanding of the feedback effect on gene expression requires analysis of the corresponding stochastic model. However, for stochastic models of gene expression with general regulation functions, exact analytical results for gene product distributions have not been given so far. Here, we propose a technique to solve a generalized ON-OFF model of stochastic gene expression with arbitrary (positive or negative, linear or nonlinear) feedbacks including posttranscriptional or posttranslational regulation. The obtained results, which generalize results obtained previously, provide new insights into the role of feedback in regulating gene expression. The proposed analytical framework can easily be extended to analysis of more complex models of stochastic gene expression.


title: Accelerated Sampling on Discrete Spaces with Non-Reversible Markov Processes

abstract: We consider the task of MCMC sampling from a distribution defined on a discrete space. Building on recent insights provided in [Zan19], we devise a class of efficient continuous-time, non-reversible algorithms which make active use of the structure of the underlying space. Particular emphasis is placed on how symmetries and other group-theoretic notions can be used to improve exploration of the space. We test our algorithms on a range of examples from statistics, computational physics, machine learning, and cryptography, which show improvement on alternative algorithms. We provide practical recommendations on how to design and implement these algorithms, and close with remarks on the outlook for both discrete sampling and continuous-time Monte Carlo more broadly.


title: Improved model-independent constraints on the recombination era and development of a direct projection method

abstract: The precision of recent experiments such as ${\it Planck}$ have allowed us to constrain standard and non-standard physics (e.g., due to dark matter annihilation or varying fundamental constants) during the recombination epoch. However, we can also probe this era of cosmic history using model-independent variations of the free electron fraction, $X_{\rm e}$, which in turn affects the temperature and polarization anisotropies of the cosmic microwave background. In this paper, we improve on the previous efforts to construct and constrain these generalised perturbations in the ionization history, deriving new optimized eigenmodes based on the full Planck 2015 likelihood data, introducing the new module 'FEARec++'. We develop a direct likelihood sampling method for attaining the numerical derivatives of the standard and non-standard parameters, and discuss complications arising from the stability of the likelihood code. We improve the amplitude constraints of the ${\it Planck}$ 2015 principal components constructed here, $\mu_1=-0.09\pm0.12$, $\mu_2=-0.17\pm0.20$ and $\mu_3=-0.30\pm0.35$, finding no indication for departures from the standard recombination scenario. The third mode error is reduced by $60\%$. We utilise an efficient eigen-analyser that keeps the cross-correlations of the first three eigenmodes to $\xi_{\mu,\mu'}<0.1\%$ after marginalisation for all the considered data combinations. We also propose a new projection method for estimating constraints on the parameters of non-standard recombination. Using our eigenmodes, this allows us to recreate the ${\it Planck}$ constraint on the two-photon decay rate, $A_{\rm 2s1s}=7.60\pm0.64$, giving an estimate to within $\simeq 0.05\sigma$ of the full MCMC result. The improvements on the analysis using the ${\it Planck}$ data will allow us to implement this new method for analysis with fundamental constant variations in the future.


title: A variance for $k$-free numbers in arithmetic progressions of given modulus

abstract: An asymptotic formula for the variance of squarefree numbers in arithmetic progressions of given modulus was obtained by Nunes (see reference [3]). We improve one of the error terms.


title: Neural Network Based Explicit MPC for Chemical Reactor Control

abstract: In this paper, we show the implementation of deep neural networks applied in process control. In our approach, we based the training of the neural network on model predictive control. Model predictive control is popular for its ability to be tuned by the weighting matrices and by the fact that it respects the constraints. We present the neural network that can approximate the behavior of the MPC in the way of mimicking the control input trajectory while the constraints on states and control input remain unimpaired of the value of the weighting matrices. This approach is demonstrated in a simulation case study involving a continuous stirred tank reactor, where multi-component chemical reaction takes place.


title: Thermodynamic costs of Turing Machines

abstract: Turing Machines (TMs) are the canonical model of computation in computer science and physics. We combine techniques from algorithmic information theory and stochastic thermodynamics to analyze the thermodynamic costs of TMs. We consider two different ways of realizing a given TM with a physical process. The first realization is designed to be thermodynamically reversible when fed with random input bits. The second realization is designed to generate less heat, up to an additive constant, than any realization that is computable (i.e., consistent with the physical Church-Turing thesis). We consider three different thermodynamic costs: the heat generated when the TM is run on each input (which we refer to as the "heat function"), the minimum heat generated when a TM is run with an input that results in some desired output (which we refer to as the "thermodynamic complexity" of the output, in analogy to the Kolmogorov complexity), and the expected heat on the input distribution that minimizes entropy production. For universal TMs, we show for both realizations that the thermodynamic complexity of any desired output is bounded by a constant (unlike the conventional Kolmogorov complexity), while the expected amount of generated heat is infinite. We also show that any computable realization faces a fundamental tradeoff between heat generation, the Kolmogorov complexity of its heat function, and the Kolmogorov complexity of its input-output map. We demonstrate this tradeoff by analyzing the thermodynamics of erasing a long string.


title: $T\bar{T}$ deformed YM$_{2}$ on general backgrounds from an integral transformation

abstract: We consider the $T\bar{T}$ deformation of two dimensional Yang--Mills theory on general curved backgrounds. We compute the deformed partition function through an integral transformation over frame fields weighted by a Gaussian kernel. We show that this partition function satisfies a flow equation which has been derived previously in the literature, which now holds on general backgrounds. We connect ambiguities associated to first derivative terms in the flow equation to the normalization of the functional integral over frame fields. We then compute the entanglement entropy for a general state in the theory. The connection to the string theoretic description of the theory is also investigated.


title: A novel formulation of the PBH mass function

abstract: Computations of the primordial black hole (PBH) mass function discussed in the literature have conceptual issues. They stem from that the mass function is a differential quantity and the standard criterion of the PBH formation from the seed primordial fluctuations cannot be directly applied to the computation of the differential quantities. We propose a new criterion of the PBH formation which is an addition of one extra condition to the existing one. By doing this, we derive a formal expression of the PBH mass function without introducing any ambiguous interpretations which exist in the previous studies. Once the underlying primordial fluctuations are specified, the PBH mass function can be in principle determined by the new formula. As a demonstration of our formulation, we compute the PBH mass function analytically for the case where the perturbations are Gaussian and the space is one dimension.


title: Floquet analysis on a viscous cylindrical fluid surface subject to a time-periodic radial acceleration

abstract: Parametrically excited standing waves are observed on a cylindrical fluid filament. These are the cylindrical analog of Faraday instability in a flat surface or spherical droplet. Using the Floquet technique, linear stability analysis has been investigated on a viscous cylindrical fluid surface, which is subjected to a time-periodic radial acceleration. Viscosity has a significant impact on the critical forcing amplitude as well as the dispersion relation of the non-axis symmetric patterns. The effect of viscosity on onset parameters of the pattern with azimuthal wavenumber, $m=1$, has shown different dependency from $m>1$. The effect of viscosity increases with an increasing $m$ is also observed.


title: Covariant connections on bicovariant differential calculus

abstract: Given a bicovariant differential calculus $(\mathcal{E}, d)$ such that the braiding map is diagonalisable in a certain sense, the bimodule of two-tensors admits a direct sum decomposition into symmetric and anti-symmetric tensors. This is used to prove the existence of a bicovariant torsionless connection on $\mathcal{E}$. Following Heckenberger and Schm{\"u}dgen, we study invariant metrics and the compatibility of covariant connections with such metrics. A sufficient condition for the existence and uniqueness of bicovariant Levi-Civita connections is derived. This condition is shown to hold for cocycle deformations of classical Lie groups.


title: Reconstructing Multi-echo Magnetic Resonance Images via Structured Deep Dictionary Learning

abstract: Multi-echo magnetic resonance (MR) images are acquired by changing the echo times (for T2 weighted) or relaxation times (for T1 weighted) of scans. The resulting (multi-echo) images are usually used for quantitative MR imaging. Acquiring MR images is a slow process and acquiring multi scans of the same cross section for multi-echo imaging is even slower. In order to accelerate the scan, compressed sensing (CS) based techniques have been advocating partial K-space (Fourier domain) scans; the resulting images are reconstructed via structured CS algorithms. In recent times, it has been shown that instead of using off-the-shelf CS, better results can be obtained by adaptive reconstruction algorithms based on structured dictionary learning. In this work, we show that the reconstruction results can be further improved by using structured deep dictionaries. Experimental results on real datasets show that by using our proposed technique the scan-time can be cut by half compared to the state-of-the-art.


title: Electrically tunable topological transport of moir\'e polaritons

abstract: Moir\'e interlayer exciton in transition metal dichalcogenide heterobilayer features a permanent electric dipole that enables the electrostatic control of its flow, and optical dipole that is spatially varying in the moir\'e landscape. We show the hybridization of moir\'e interlayer exciton with photons in a planar 2D cavity leads to two types of moir\'e polaritons that exhibit distinct forms of topological transport phenomena including the spin/valley Hall and polarization Hall effects, which feature remarkable electrical tunability through the control of exciton-cavity detuning by the interlayer bias.


title: Geometric analysis of 1+1 dimensional quasilinear wave equations

abstract: We prove global well-posedness of the initial value problem for a class of variational quasilinear wave equations, in one spatial dimension, with initial data that is not-necessarily small. Key to our argument is a form of quasilinear null condition (a "nilpotent structure") that persists for our class of equations even in the large data setting. This in particular allows us to prove global well-posedness for $C^2$ initial data of moderate decrease, provided the data is sufficiently close to that which generates a simple traveling wave. We take here a geometric approach inspired by works in mathematical relativity and recent works on shock formation for fluid systems. First we recast the equations of motion in terms of a dynamical double-null coordinate system; we show that this formulation semilinearizes our system and decouples the wave variables from the null structure equations. After solving for the wave variables in the double-null coordinate system, we next analyze the null structure equations, using the wave variables as input, to show that the dynamical coordinates are $C^1$ regular and covers the entire space-time.


title: Assessing the Search and Rescue Domain as an Applied and Realistic Benchmark for Robotic Systems

abstract: Aim of this paper is to provide a review of the state of the art in Search and Rescue (SAR) robotics. Suitable robotic applications in the SAR domain are described, and SAR-specific demands and requirements on the various components of a robotic system are pictured. Current research and development in SAR robotics is outlined, and an overview of robotic systems and sub-systems currently in use in SAR and disaster response scenarios is given. Finally we show a number of possible research directions for SAR robots, which might change the overall design and operation of SAR robotics in the longer-term future. All this is meant to support our main idea of taking SAR applications as an applied benchmark for the Field Robotics (FR) domain.


title: From computation to comparison of tensor decompositions

abstract: Decompositions of higher-order tensors into sums of simple terms are ubiquitous. We show that in order to verify that two tensors are generated by the same (possibly scaled) terms it is not necessary to compute the individual decompositions. In general the explicit computation of such a decomposition may have high complexity and can be ill-conditioned. We now show that under some assumptions the verification can be reduced to a comparison of both the column and row spaces of the corresponding matrix representations of the tensors. We consider rank-1 terms as well as low multilinear rank terms (also known as block terms) and show that the number of the terms and their multilinear rank can be inferred as well. The comparison relies only on numerical linear algebra and can be done in a numerically reliable way. We also illustrate how our results can be applied to solve a multi-label classification problem that appears in the context of blind source separation.


title: Transparent Classification with Multilayer Logical Perceptrons and Random Binarization

abstract: Models with transparent inner structure and high classification performance are required to reduce potential risk and provide trust for users in domains like health care, finance, security, etc. However, existing models are hard to simultaneously satisfy the above two properties. In this paper, we propose a new hierarchical rule-based model for classification tasks, named Concept Rule Sets (CRS), which has both a strong expressive ability and a transparent inner structure. To address the challenge of efficiently learning the non-differentiable CRS model, we propose a novel neural network architecture, Multilayer Logical Perceptron (MLLP), which is a continuous version of CRS. Using MLLP and the Random Binarization (RB) method we proposed, we can search the discrete solution of CRS in continuous space using gradient descent and ensure the discrete CRS acts almost the same as the corresponding continuous MLLP. Experiments on 12 public data sets show that CRS outperforms the state-of-the-art approaches and the complexity of the learned CRS is close to the simple decision tree. Source code is available at https://github.com/12wang3/mllp.


title: The Unfairness of Popularity Bias in Music Recommendation: A Reproducibility Study

abstract: Research has shown that recommender systems are typically biased towards popular items, which leads to less popular items being underrepresented in recommendations. The recent work of Abdollahpouri et al. in the context of movie recommendations has shown that this popularity bias leads to unfair treatment of both long-tail items as well as users with little interest in popular items. In this paper, we reproduce the analyses of Abdollahpouri et al. in the context of music recommendation. Specifically, we investigate three user groups from the LastFM music platform that are categorized based on how much their listening preferences deviate from the most popular music among all LastFM users in the dataset: (i) low-mainstream users, (ii) medium-mainstream users, and (iii) high-mainstream users. In line with Abdollahpouri et al., we find that state-of-the-art recommendation algorithms favor popular items also in the music domain. However, their proposed Group Average Popularity metric yields different results for LastFM than for the movie domain, presumably due to the larger number of available items (i.e., music artists) in the LastFM dataset we use. Finally, we compare the accuracy results of the recommendation algorithms for the three user groups and find that the low-mainstreaminess group significantly receives the worst recommendations.


title: Heavy $K^*(4307)$ meson with hidden charm

abstract: We report on a robust prediction of heavy $K^*$ meson by solving the Faddeev equations with fixed-center approximation for the three-body $KD\bar{D}^*$ system. As the excited Kaon state, $K^*$ is an exotic hidden charm meson with $M-i\Gamma/2=4307\pm2-i9\pm2$ MeV and $I(J^P)=1/2(1^-)$. We further performed the evaluation of the decay width of $K^*(4307)$ to the open two-body channels. We expect that the above findings inspire an experimental investigation of this exotic $K^*$ meson and to study the so far unexplored heavy strange meson sector.


title: Disarming the Ultimate Historical Challenge to Scientific Realism

abstract: Probably the most dramatic historical challenge to scientific realism concerns Arnold Sommerfeld's 1916 derivation of the fine structure energy levels of hydrogen. Not only were his predictions good, he derived exactly the same formula that would later drop out of Dirac's 1928 treatment, something not possible using 1925 Schroedinger-Heisenberg quantum mechanics. And yet the most central elements of Sommerfeld's theory were not even approximately true: his derivation leans heavily on a classical approach to elliptical orbits, including the necessary adjustments to these orbits demanded by relativity. Even physicists call Sommerfeld's success a 'miracle', which rather makes a joke of the so-called 'no miracles argument'. However, this can all be turned around. Here I argue that the realist has a story to tell vis-a-vis the discontinuities between the old and the new theory, leading to a realist defence based on sufficient continuity of relevant structure.


title: Towards systematic grid selection in LES: iterative identification of the coarse-graining length scale by minimizing the solution sensitivity

abstract: The accuracy of a large eddy simulation (LES) is determined by the accuracy of the model used to describe the effect of unresolved scales, the numerical errors of the resolved scales, and the optimality of the length scale that separates resolved from unresolved scales (the filter-width, or the coarse-graining length scale). This paper is focused entirely on the last of these, proposing a systematic algorithm for identifying the "optimal" spatial distribution of the coarse-graining length scale and its aspect ratio. The core idea is that the "optimal" coarse-graining length scale for LES is the largest length scale for which the LES solution is minimally sensitive to it. This idea is formulated based on an error indicator that measures the sensitivity of the solution and a criterion that determines how that error indicator should vary in space and direction to minimize the overall sensitivity of the solution. The solution to this optimization problem is that the cell-integrated error indicator should be equi-distributed; a corollary is that one cannot link the accuracy in LES to quantities that are not cell-integrated, including the common belief that LES is accurate whenever 80-90\% of the energy is resolved. The full method is tested on the wall-resolved LES of turbulent channel flow and the flow over a backward-facing step, with final length scale fields (or filter-width fields, or grids) that are close to what is considered "best practice" in the LES literature. Finally, the derivation of the error indicator offers an alternative explanation for the success of the dynamic procedure.


title: Development and Evaluation of Video Recordings for the OLSA Matrix Sentence Test

abstract: One of the established multi-lingual methods for testing speech intelligibility is the matrix sentence test (MST). Most versions of this test are designed with audio-only stimuli. Nevertheless, visual cues play an important role in speech intelligibility, mostly making it easier to understand speech by speechreading. In this work we present the creation and evaluation of dubbed videos for the Oldenburger female MST (OLSA). 28 normal-hearing participants completed test and retest sessions with conditions including audio and visual modalities, speech in quiet and noise, and open and closed-set response formats. The levels to reach 80% sentence intelligibility were measured adaptively for the different conditions. In quiet, the audiovisual benefit compared to audio-only was 7 dB in sound pressure level (SPL). In noise, the audiovisual benefit was 5 dB in signal-to-noise ratio (SNR). Speechreading scores ranged from 0% to 84% speech reception in visual-only sentences, with an average of 50% across participants. This large variability in speechreading abilities was reflected in the audiovisual speech reception thresholds (SRTs), which had a larger standard deviation than the audio-only SRTs. Training and learning effects in audiovisual sentences were found: participants improved their SRTs by approximately 3 dB SNR after 5 trials. Participants retained their best scores on a separate retest session and further improved their SRTs by approx. -1.5 dB.


title: Probabilistic methods of bypassing the maze using stones and a random number sensor

abstract: In this paper, some open questions that are posed in Ajans' dissertation continue to be addressed: a robot bypass with a generator of random bits of integer spaces in the presence of a stone and a subspace of flags. This work is devoted to bypassing the maze with a finite state machine with a random bit generator. This task is part of the rapidly evolving theme of bypassing the maze by various finite state machines. or their teams, which is closely related to problems from the theory of computational complexity and probability theory. In this paper, it is shown at what dimensions a robot with a random bit generator and a stone can bypass integer space with a subspace of flags. In this paper, we will study the behavior of a finite state machine with a random bit generator on integer spaces. In particular, it was proved that the robot bypasses $ \ zs ^ 2 $ and cannot bypass $ \ zs ^ 3 $; a robot with a stone bypasses $ \ zs ^ 4 $ and cannot bypass $ \ zs ^ 5 $; a robot with a stone and a flag bypasses $ \ zs ^ 6 $ and cannot bypass $ \ zs ^ 7 $; a robot with a stone and a plane of flags bypasses $ \ zs ^ 8 $ and cannot bypass $ \ zs ^ 9 $.


title: Can we travel to the past? Irreversible physics along closed timelike curves

abstract: The Einstein equations allow solutions containing closed timelike curves. These have generated much puzzlement and suspicion that they could imply paradoxes. I show that puzzlement and paradoxes disappears if we discuss carefully the physics of the irreversible phenomena in the context of these solutions.


title: System of equations and staggered solution algorithm for immiscible two-phase flow coupled with linear poromechanics

abstract: This document is a presentation of the equations of simultaneous water and oil flow in deformable porous medium and linear poromechanics as well as the staggered solution algorithm to solve the coupled system of equations.


title: Super-resolution Orthogonal Deterministic Imaging Technique for Terahertz Subwavelength Microscopy

abstract: Terahertz subwavelength imaging aims at developing THz microscopes able to resolve deeply subwavelength features. To improve the spatial resolution beyond the diffraction limit, a current trend is to use various subwavelength probes to convert the near-field to the far-field. These techniques, while offering significant gains in spatial resolution, inherently lack the ability to rapidly obtain THz images due to the necessity of slow pixel-by-pixel raster scan and often suffer from low light throughput. In parallel, in the visible spectral range, several super-resolution imaging techniques were developed that enhance the image resolution by recording and statistically correlating multiple images of an object backlit with light from stochastically blinking fluorophores. Inspired by this methodology, we develop a Super-resolution Orthogonal Deterministic Imaging (SODI) technique and apply it in the THz range. Since there are no natural THz fluorophores, we use optimally designed mask sets brought in proximity with the object as artificial fluorophores. Because we directly control the form of the masks, rather than relying on statistical averages, we aim at employing the smallest possible number of frames. After developing the theoretical basis of SODI, we demonstrate the second-order resolution improvement experimentally using phase masks and binary amplitude masks with only 8 frames. We then numerically show how to extend the SODI technique to higher orders to further improve the resolution. As our formulation is based on the equation of linear imaging and it uses spatial modulation of either the phase or the amplitude of the THz wave, our methodology can be readily adapted for the use with existing phase-sensitive single pixel imaging systems or any amplitude sensitive THz imaging arrays.


title: Observation of chiral solitons in the quantum spin liquid phase of LiCuVO$_4$

abstract: Quantum spin liquids represent a magnetic ground state arising in the presence of strong quantum fluctuations that preclude ordering down to zero temperature and leave clear fingerprints in the excitation spectra. While theory bears a variety of possible quantum spin liquid phases their experimental realization is still scarce. Here, we report the first experimental evidence of a vector-chiral quantum spin liquid state in the $S=1/2$ spin chain compound LiCuVO$_4$ from measurements of the complex permittivity $\varepsilon^*$ in the GHz range. In zero magnetic field our results show short-lived thermally activated chiral fluctuations above the multiferroic phase transition at $T_\mathrm{N}=2.4$ K with divergent life-times when approaching $T_\mathrm{N}$. In $\varepsilon^*$ this fluctuation dynamics are seen as the slowing down of a relaxation with a critical dynamical exponent $\nu_\xi z \approx 1.3$ in agreement with mean-field predictions. When using a magnetic field to suppress $T_N$ towards 0 K the influence of quantum fluctuations is increased until they condense into the chrial spin liquid phase below 400 mK. Within this phase we measure a nearly-gapless chiral soliton excitation with a tiny energy gap of $E_\mathrm{SE}\approx14.1$ $\mu$eV.