title: Alternation diameter of a product object

abstract: We prove that every permutation of a Cartesian product of two finite sets can be written as a composition of three permutations, the first of which only modifies the left projection, the second only the right projection, and the third again only the left projection, and three alternations is indeed the optimal number. We show that for two countably infinite sets, the corresponding optimal number of alternations, called the alternation diameter, is four. The notion of alternation diameter can be defined in any category. In the category of finite-dimensional vector spaces, the diameter is also three. For the category of topological spaces, we exhibit a single self-homeomorphism of the plane which is not generated by finitely many alternations of homeomorphisms that only change one coordinate. The results on finite sets and vector spaces were previously known in the context of memoryless computation.


title: Jammer-Assisted Resource Allocation in Secure OFDMA With Untrusted Users

abstract: In this paper, we consider the problem of resource allocation in the orthogonal frequency division multiple access system with single source and M untrusted users in presence of a friendly jammer. The jammer is used to improve either the weighted sum secure rate or the overall system fairness. The formulated optimization problem in both the cases is a mixed integer non-linear programming problem, belonging to the class of NP-hard. In the sum secure rate maximization scenario, we decouple the problem and first obtain the subcarrier allocation at source and the decision for jammer power utilization on a per-subcarrier basis. Then, we do joint source and jammer power allocation using primal decomposition and alternating optimization framework. Next, we consider fair resource allocation by introducing a novel concept of subcarrier snatching with the help of jammer. We propose two schemes for jammer power utilization, called proactively fair allocation (PFA) and on-demand allocation (ODA). PFA considers equitable distribution of jammer power among the subcarriers, while ODA distributes jammer power based on the user demand. In both cases of jammer usage, we also present suboptimal solutions that solve the power allocation at a highly reduced complexity. Asymptotically optimal solutions are derived to benchmark optimality of the proposed schemes. We compare the performance of our proposed schemes with equal power allocation at source and jammer. Our simulation results demonstrate that the jammer can indeed help in improving either the sum secure rate or the overall system fairness.


title: Decremental Strongly-Connected Components and Single-Source Reachability in Near-Linear Time

abstract: Computing the Strongly-Connected Components (SCCs) in a graph $G=(V,E)$ is known to take only $O(m + n)$ time using an algorithm by Tarjan from 1972[SICOMP 72] where $m = |E|$, $n=|V|$. For fully-dynamic graphs, conditional lower bounds provide evidence that the update time cannot be improved by polynomial factors over recomputing the SCCs from scratch after every update. Nevertheless, substantial progress has been made to find algorithms with fast update time for \emph{decremental} graphs, i.e. graphs that undergo edge deletions. In this paper, we present the first algorithm for general decremental graphs that maintains the SCCs in total update time $\tilde{O}(m)$, thus only a polylogarithmic factor from the optimal running time. Previously such a result was only known for the special case of planar graphs [Italiano et al, STOC 2017]. Our result should be compared to the formerly best algorithm for general graphs achieving $\tilde{O}(m\sqrt{n})$ total update time by Chechik et.al. [FOCS 16] which improved upon a breakthrough result leading to $O(mn^{0.9 + o(1)})$ total update time by Henzinger, Krinninger and Nanongkai [STOC 14, ICALP 15]; these results in turn improved upon the longstanding bound of $O(mn)$ by Roditty and Zwick [STOC 04]. All of the above results also apply to the decremental Single-Source Reachability (SSR) problem, which can be reduced to decrementally maintaining SCCs. A bound of $O(mn)$ total update time for decremental SSR was established already in 1981 by Even and Shiloach [JACM 1981]. Using a well known reduction, we can maintain the reachability of pairs $S \times V$, $S \subseteq V$ in fully-dynamic graphs with update time $\tilde{O}(\frac{|S|m}{t})$ and query time $O(t)$ for all $t \in [1,|S|]$; this generalizes an earlier All-Pairs Reachability where $S = V$ [{\L}\k{a}cki, TALG 2013].


title: Reference-free evaluation of thin films mass thickness and composition through energy dispersive x-ray spectroscopy

abstract: In this paper we report the development of a new method for the evaluation of thin films mass thickness and composition based on the Energy Dispersive X-Ray Spectroscopy (EDS). The method exploits the theoretical calculation of the in-depth characteristic X-ray generation distribution function, $\phi$/($\rho$ z), in multilayer samples, obtained by the numerical solution of the electron transport equation, to achieve reliable measurements without the need of a reference sample and multiple voltages acquisitions. The electron transport model is derived from the Boltzmann transport equation and it exploits the most updated and reliable physical parameters in order to obtain an accurate description of the phenomenon. The method for the calculation of film mass thickness and composition is validated with benchmarks from standard techniques. In addition, a model uncertainty and sensitivity analysis is carried out and it indicates that the mass thickness accuracy is in the order of 10 $\mu$g/cm$^2$, which is comparable to the nuclear standard techniques resolution. We show the technique peculiarities in one example measurement: two-dimensional mass thickness and composition profiles are obtained for a ultra-low density, high roughness, nanostructured film.


title: Noise sensitivity of random walks on groups

abstract: A random walk on a group is noise sensitive if resampling every step independantly with a small probability results in an almost independant output. We precisely define two notions: $\ell^1$-noise sensitivity and entropy noise sensitivity. Groups with one of these properties are necessarily Liouville. Homomorphisms to free abelian groups provide an obstruction to $\ell^1$-noise sensitivity. We also provide examples of $\ell^1$ and entropy noise sensitive random walks. Noise sensitivity raises many open questions which are described at the end of the paper.


title: Convergence of the follow-the-leader scheme for scalar conservation laws with space dependent flux

abstract: This paper deals with the derivation of entropy solutions to Cauchy problems for a class of scalar conservation laws with space-density depending fluxes from systems of deterministic particles of follow-the-leader type. We consider fluxes which are product of a function of the density $v(\rho)$ and a function of the space variable $\phi(x)$. We cover four distinct cases in terms of the sign of $\phi$, including cases in which the latter is not constant. The convergence result relies on a local maximum principle and on a uniform $BV$ estimate for the approximating density.


title: Accelerated Point-wise Maximum Approach to Approximate Dynamic Programming

abstract: We describe an approximate dynamic programming approach to compute lower bounds on the optimal value function for a discrete time, continuous space, infinite horizon setting. The approach iteratively constructs a family of lower bounding approximate value functions by using the so-called Bellman inequality. The novelty of our approach is that, at each iteration, we aim to compute an approximate value function that maximizes the point-wise maximum taken with the family of approximate value functions computed thus far. This leads to a non-convex objective, and we propose a gradient ascent algorithm to find stationary points by solving a sequence of convex optimization problems. We provide convergence guarantees for our algorithm and an interpretation for how the gradient computation relates to the state relevance weighting parameter appearing in related approximate dynamic programming approaches. We demonstrate through numerical examples that, when compared to existing approaches, the algorithm we propose computes tighter sub-optimality bounds with less computation time.


title: Power Control in Cellular Massive MIMO with Varying User Activity: A Deep Learning Solution

abstract: This paper considers the sum spectral efficiency (SE) optimization problem in multi-cell Massive MIMO systems with a varying number of active users. This is formulated as a joint pilot and data power control problem. Since the problem is non-convex, we first derive a novel iterative algorithm that obtains a stationary point in polynomial time. To enable real-time implementation, we also develop a deep learning solution. The proposed neural network, PowerNet, only uses the large-scale fading information to predict both the pilot and data powers. The main novelty is that we exploit the problem structure to design a single neural network that can handle a dynamically varying number of active users; hence, PowerNet is simultaneously approximating many different power control functions with varying number inputs and outputs. This is not the case in prior works and thus makes PowerNet an important step towards a practically useful solution. Numerical results demonstrate that PowerNet only loses $2\%$ in sum SE, compared to the iterative algorithm, in a nine-cell system with up to $90$ active users per in each coherence interval, and the runtime was only $0.03$ ms on a graphics processing unit (GPU). When good data labels are selected for the training phase, PowerNet can yield better sum SE than by solving the optimization problem with one initial point.


title: Discovery of stars surrounded by iron dust in the LMC

abstract: We consider a small sample of oxygen-rich, asymptotic giant branch stars in the Large Magellanic Cloud, observed by the Spitzer Space Telescope, exhibiting a peculiar spectral energy distribution, which can be hardly explained by the common assumption that dust around AGB stars is primarily composed of silicate grains. We suggest that this uncommon class of objects are the progeny of a metal-poor generation of stars, with metallicity $Z \sim 1-2\times 10^{-3}$, formed $\sim 100$ Myr ago. The main dust component in the circumstellar envelope is solid iron. In these stars the poor formation of silicates is set by the strong nucleosynthesis experienced at the base of the envelope, which provokes a scarcity of magnesium atoms and water molecules, required to the silicate formation. The importance of the present results to interpret the data from the incoming James Webb Space Telescope is also discussed.


title: Gallai-Ramsey number for $K_{5}$

abstract: Given a graph $H$, the $k$-colored Gallai Ramsey number $gr_{k}(K_{3} : H)$ is defined to be the minimum integer $n$ such that every $k$-coloring of the edges of the complete graph on $n$ vertices contains either a rainbow triangle or a monochromatic copy of $H$. Fox et al. [J. Fox, A. Grinshpun, and J. Pach. The Erd{\H o}s-Hajnal conjecture for rainbow triangles. J. Combin. Theory Ser. B, 111:75-125, 2015.] conjectured the value of the Gallai Ramsey numbers for complete graphs. Recently, this conjecture has been verified for the first open case, when $H = K_{4}$. In this paper we attack the next case, when $H = K_5$. Surprisingly it turns out, that the validity of the conjecture depends upon the (yet unknown) value of the Ramsey number $R(5,5)$. It is known that $43 \leq R(5,5) \leq 48$ and conjectured that $R(5,5)=43$ [B.D. McKay and S.P. Radziszowski. Subgraph counting identities and Ramsey numbers. J. Combin. Theory Ser. B, 69:193-209, 1997]. If $44 \leq R(5,5) \leq 48$, then Fox et al.'s conjecture is true and we present a complete proof. If, however, $R(5,5)=43$, then Fox et al.'s conjecture is false, meaning that at least one of these two conjectures must be false. For the case when $R(5, 5) = 43$, we show lower and upper bounds for the Gallai Ramsey number $gr_{k}(K_{3} : K_5)$.


title: Impact of pressure dissipation on fluid injection into layered aquifers

abstract: Carbon dioxide (CO2) capture and subsurface storage is one method for reducing anthropogenic CO2 emissions to mitigate climate change. It is well known that large-scale fluid injection into the subsurface leads to a buildup in pressure that gradually spreads and dissipates through lateral and vertical migration of water. This dissipation can have an important feedback on the shape of the CO2 plume during injection, and the impact of vertical pressure dissipation, in particular, remains poorly understood. Here, we investigate the impact of lateral and vertical pressure dissipation on the injection of CO2 into a layered aquifer system. We develop a compressible, two-phase model that couples pressure dissipation to the propagation of a CO2 gravity current. We show that our vertically integrated, sharp-interface model is capable of efficiently and accurately capturing water migration in a layered aquifer system with an arbitrary number of aquifers. We identify two limiting cases --- `no leakage' and `strong leakage' --- in which we derive analytical expressions for the water pressure field for the corresponding single-phase injection problem. We demonstrate that pressure dissipation acts to suppress the formation of an advancing CO2 tongue during injection, resulting in a plume with a reduced lateral extent. The properties of the seals and the number of aquifers determine the strength of pressure dissipation and subsequent coupling with the CO2 plume. The impact of pressure dissipation on the shape of the CO2 plume is likely to be important for storage efficiency and security.


title: Broad-band Emission from Gamma-ray Binaries

abstract: Gamma-ray binaries (GBs) have been object of intense studies in the last decade. From an observational perspective, GBs are phenomenologically similar to most X-ray binary systems in terms of their broad-band emission across the entire electromagnetic spectrum, being segregated from this source population by showing a maximum of their spectral energy distribution in the gamma-ray band, either at high-energies (HE: 100 MeV - 100 GeV) or very-high energies (VHE: above 100 GeV). From a theoretical perspective, the broad-band emission from GBs is a unique case in which particle acceleration and emission/absorption mechanisms can be tested against periodically changing conditions of their immediate surroundings. In this proceedings we examine some of the key observational results of the multi-wavelength emission from GBs. We discuss the correlated/contemporaneous emission observed in several of these systems, from radio to gamma-rays, by considering a single underlying particle-emitting population and the properties of the nearby photon, matter and magnetic ambient fields.


title: Universal Compression with Side Information from a Correlated Source

abstract: Packets originated from an information source in the network can be highly correlated. These packets are often routed through different paths, and compressing them requires to process them individually. Traditional universal compression solutions would not perform well over a single packet because of the limited data available for learning the unknown source parameters. In this paper, we define a notion of correlation between information sources and characterize the average redundancy in universal compression with side information from a correlated source. We define the side information gain as the ratio between the average maximin redundancy of universal compression without side information to that with side information. We derive a lower bound on the side information gain, where we show that the presence of side information provides at least 50% traffic reduction over traditional universal compression when applied to network packet data confirming previous empirical studies.


title: Dynamic fluence map sequencing using piecewise linear leaf position functions

abstract: Within the setting of intensity modulated radiation therapy (IMRT) and the fully continuous version of IMRT called volumetric modulated radiation therapy (VMAT), we consider the problem of matching a given fluence map as well as possible in limited time by the use of a linear accelerator (linac) with a multi-leaf collimator (MLC). We introduce two modeling strategies to manage the nonconvexity and the associated local minima of this problem. The first is the use of linear splines to model the MLC leaf positions as functions of time. The second is a progressively controllable smooth model (instead of a step function) of how the leaves block the fluence radiation. We propose a two part solution: an outer loop that optimizes the dose rate pattern over time, and an inner loop that given a dose rate pattern optimizes the leaf trajectories.


title: Destroying Bicolored $P_3$s by Deleting Few Edges

abstract: We introduce and study the Bicolored $P_3$ Deletion problem defined as follows. The input is a graph $G=(V,E)$ where the edge set $E$ is partitioned into a set $E_r$ of red edges and a set $E_b$ of blue edges. The question is whether we can delete at most $k$ edges such that $G$ does not contain a bicolored $P_3$ as an induced subgraph. Here, a bicolored $P_3$ is a path on three vertices with one blue and one red edge. We show that Bicolored $P_3$ Deletion is NP-hard and cannot be solved in $2^{o(|V|+|E|)}$ time on bounded-degree graphs if the ETH is true. Then, we show that Bicolored $P_3$ Deletion is polynomial-time solvable when $G$ does not contain a bicolored $K_3$, that is, a triangle with edges of both colors. Moreover, we provide a polynomial-time algorithm for the case that $G$ contains no blue $P_3$, red $P_3$, blue $K_3$, and red $K_3$. Finally, we show that Bicolored $P_3$ Deletion can be solved in $ O(1.84^k\cdot |V| \cdot |E|)$ time and that it admits a kernel with $ O(k\Delta\min(k,\Delta))$ vertices, where $\Delta$ is the maximum degree of $G$.


title: Image Disentanglement and Uncooperative Re-Entanglement for High-Fidelity Image-to-Image Translation

abstract: Cross-domain image-to-image translation should satisfy two requirements: (1) preserve the information that is common to both domains, and (2) generate convincing images covering variations that appear in the target domain. This is challenging, especially when there are no example translations available as supervision. Adversarial cycle consistency was recently proposed as a solution, with beautiful and creative results, yielding much follow-up work. However, augmented reality applications cannot readily use such techniques to provide users with compelling translations of real scenes, because the translations do not have high-fidelity constraints. In other words, current models are liable to change details that should be preserved: while re-texturing a face, they may alter the face's expression in an unpredictable way. In this paper, we introduce the problem of high-fidelity image-to-image translation, and present a method for solving it. Our main insight is that low-fidelity translations typically escape a cycle-consistency penalty, because the back-translator learns to compensate for the forward-translator's errors. We therefore introduce an optimization technique that prevents the networks from cooperating: simply train each network only when its input data is real. Prior works, in comparison, train each network with a mix of real and generated data. Experimental results show that our method accurately disentangles the factors that separate the domains, and converges to semantics-preserving translations that prior methods miss.


title: A Community-aware Network Growth Model for Synthetic Social Network Generation

abstract: This study proposes a novel network growth model named ComAwareNetGrowth which aims to mimic evolution of real-world social networks. The model works in discrete time. At each timestep, a new link (I) within-community or (II) anywhere in the network is created (a) between existing nodes or (b) between an existing node and a newcoming node, based on (i) random graph model, (ii) preferential attachment model, (iii) a triangle-closing model, or (iv) a quadrangle-closing model. Parameters control the probability of employing a particular mechanism in link creation. Experimental results on Karate and Caltech social networks shows that the model is able to mimic real-word social networks in terms of clustering coefficient, modularity, average path length, diameter, and power law exponent. Further experiments indicate that ComAwareNetGrowth model is able to generate variety of synthetic networks with different statistics.


title: Closed-cycle, low-vibration 4 K cryostat for ion traps and other applications

abstract: In-vacuo cryogenic environments are ideal for applications requiring both low temperatures and extremely low particle densities. This enables reaching long storage and coherence times for example in ion traps, essential requirements for experiments with highly charged ions, quantum computation, and optical clocks. We have developed a novel cryostat continuously refrigerated with a pulse-tube cryocooler and providing the lowest vibration level reported for such a closed-cycle system with 1 W cooling power for a <5 K experiment. A decoupling system suppresses vibrations from the cryocooler by three orders of magnitude down to a level of 10 nm peak amplitudes in the horizontal plane. Heat loads of about 40 W (at 45 K) and 1 W (at 4 K) are transferred from an experimental chamber, mounted on an optical table, to the cryocooler through a vacuum-insulated massive 120 kg inertial copper pendulum. The 1.4 m long pendulum allows installation of the cryocooler in a separate, acoustically isolated machine room. In the laser laboratory, we measured the residual vibrations using an interferometric setup. The positioning of the 4 K elements is reproduced to better than a few micrometer after a full thermal cycle to room temperature. Extreme high vacuum on the $10^{-15}$ mbar level is achieved. In collaboration with the Max-Planck-Intitut f\"ur Kernphysik (MPIK), such a setup is now in operation at the Physikalisch-Technische Bundesanstalt (PTB) for a next-generation optical clock experiment using highly charged ions.

categories: physics.atom-ph physics.app-ph physics.ins-det quant-ph


title: Generating maximal entanglement between spectrally distinct solid-state emitters

abstract: We show how to create maximal entanglement between spectrally distinct solid-state emitters embedded in a waveguide interferometer. By revealing the rich underlying structure of multi-photon scattering in emitters, we show that a two-photon input state can generate deterministic maximal entanglement even for emitters with significantly different transition energies and line-widths. The optimal frequency of the input is determined by two competing processes: which-path erasure and interaction strength. We find that smaller spectral overlap can be overcome with higher photon numbers, and quasi-monochromatic photons are optimal for entanglement generation. Our work provides a new methodology for solid-state entanglement generation, where the requirement for perfectly matched emitters can be relaxed in favour of optical state optimisation.


title: Spin-orbit torques in heavy metal/ferromagnet bilayers with varying strength of interfacial spin-orbit coupling

abstract: Despite intense efforts it has remained unresolved whether and how interfacial spin-orbit coupling (ISOC) affects spin transport across heavy metal (HM)/ferromagnet (FM) interfaces. Here we report conclusive experiment evidence that the ISOC at HM/FM interfaces is the dominant mechanism for "spin memory loss". An increase in ISOC significantly reduces, in a linear manner, the dampinglike spin-orbit torque (SOT) exerted on the FM layer via degradation of the spin transparency of the interface for spin currents generated in the HM. In addition, the fieldlike SOT is also dominated by the spin Hall contribution of the HM and decreases with increasing ISOC. This work reveals that ISOC at HM/FM interfaces should be minimized to advance efficient SOT devices through atomic layer passivation of the HM/FM interface or other means.


title: Solving linear programs on factorized databases

abstract: A typical workflow for solving a linear programming problem is to first write a linear program parametrized by the data in a language such as Math GNU Prog or AMPL then call the solver on this program while providing the data. When the data is extracted using a query on a database, this approach ignores the underlying structure of the answer set which may result in a blow-up of the size of the linear program if the answer set is big. In this paper, we study the problem of solving linear programming problems whose variables are the answers to a conjunctive query. We show that one can exploit the structure of the query to rewrite the linear program so that its size depends only on the size of the database and not on the size of the answer set. More precisely, we give a generic way of rewriting a linear program whose variables are the tuples in Q(D) for a conjunctive query Q and a database D into a linear program having a number of variables that only depends on the size of a factorized representation of Q(D), which can be much smaller when the fractional hypertree width of Q is bounded.


title: Variation Network: Learning High-level Attributes for Controlled Input Manipulation

abstract: This paper presents the Variation Network (VarNet), a generative model providing means to manipulate the high-level attributes of a given input. The originality of our approach is that VarNet is not only capable of handling pre-defined attributes but can also learn the relevant attributes of the dataset by itself. These two settings can also be easily considered at the same time, which makes this model applicable to a wide variety of tasks. Further, VarNet has a sound information-theoretic interpretation which grants us with interpretable means to control how these high-level attributes are learned. We demonstrate experimentally that this model is capable of performing interesting input manipulation and that the learned attributes are relevant and meaningful.


title: Medium modified leading hadrons, jets and sub-jets in a single formalism

abstract: Vacuum and medium modified fragmentation functions are used to study the properties of hadrons produced in hard interactions, in $p$-$p$ and $A$-$A$ collisions, respectively. We study the modification of reconstructed jets and high transverse momentum (high-$p_\mathrm{T}$) hadrons as they propagate through a dense medium. Jets and jet modification are studied within the framework of a factorized jet function. The vacuum jet function is found consistent with PYTHIA simulations. Both the modification of the fragmentation function and the jet function are carried out within the identical higher-twist energy loss formalism. This approach is then extended to di-hadron production within a jet. Its further extension to a "di-prong" function and its application to the soft-drop measurements are discussed. The methodology of extending these semi-analytical calculations to full Monte-Carlo simulations is outlined. All calculations are carried out within a (2+1)-D viscous hydrodynamic simulation and compared to experimental data from a variety of collision energies.


title: Transport through a magnetic impurity: a slave-spin approach

abstract: We study transport across a magnetic impurity by means of a recently developed slave-spin technique that does not require any constraint. Within a conserving mean-field approximation we find a conductance that displays both the known zero-bias anomaly but also the expected peak at bias of order U. We extend the slave-spin mean-field approximation to study the out of equilibrium transient evolution of a quantum dot. We apply the method to investigate the time-evolution of a quantum dot induced by a time-dependent electrochemical potential applied to the contacts. Similarly to the time-dependent Gutzwiller approximation, the mean-field slave-spin dynamics is able to capture dissipation in the leads, so that a steady-state is reached after a characteristic relaxation time.


title: Subcarrier Pairing as Channel Gain Tailoring: Joint Resource Allocation for Relay-Assisted Secure OFDMA with Untrusted Users

abstract: Joint resource allocation involving optimization of subcarrier allocation, subcarrier pairing (SCP), and power allocation in a cooperative secure orthogonal frequency division multiple access (OFDMA) communication system with untrusted users is considered. Both amplify and forward (AF), and decode and forward (DF) modes of operations are considered with individual power budget constraints for source and relay. After finding optimal subcarrier allocation for an AF relayed system, we prove the joint power allocation as a generalized convex problem, and solve it optimally. Compared to the conventional channel gain matching view, the optimal SCP is emphasized as a novel concept of channel gain tailoring. We prove that the optimal SCP pairs subcarriers such that the variance among the effective channel gains is minimized. For a DF relayed system, we show that depending on the power budgets of source and relay, SCP can either be in a subordinate role where it improves the energy efficiency, or in a main role where it improves the spectral efficiency of the system. In an AF relayed system we confirm that SCP plays a crucial role, and improves the spectral efficiency of the system. The channel gain tailoring property of SCP, various roles of SCP in improving the spectral and the energy efficiency of a cooperative communication system are validated with the help of simulation results.


title: A General Optimization-based Framework for Local Odometry Estimation with Multiple Sensors

abstract: Nowadays, more and more sensors are equipped on robots to increase robustness and autonomous ability. We have seen various sensor suites equipped on different platforms, such as stereo cameras on ground vehicles, a monocular camera with an IMU (Inertial Measurement Unit) on mobile phones, and stereo cameras with an IMU on aerial robots. Although many algorithms for state estimation have been proposed in the past, they are usually applied to a single sensor or a specific sensor suite. Few of them can be employed with multiple sensor choices. In this paper, we proposed a general optimization-based framework for odometry estimation, which supports multiple sensor sets. Every sensor is treated as a general factor in our framework. Factors which share common state variables are summed together to build the optimization problem. We further demonstrate the generality with visual and inertial sensors, which form three sensor suites (stereo cameras, a monocular camera with an IMU, and stereo cameras with an IMU). We validate the performance of our system on public datasets and through real-world experiments with multiple sensors. Results are compared against other state-of-the-art algorithms. We highlight that our system is a general framework, which can easily fuse various sensors in a pose graph optimization. Our implementations are open source\footnote{https://github.com/HKUST-Aerial-Robotics/VINS-Fusion}.


title: Importance of the Volume Fluctuation Correction on Higher Order Cumulants

abstract: Initial volume fluctuation (VF) caused by participant fluctuation would be the background which should be subtracted from experimentally measured higher-order cumulants. STAR experiment has been applied Centrality Bin Width Correction (CBWC) to suppress VF. However, CBWC is not perfect method, there might be thus residual fractions of VF backgrounds. Recently, Volume Fluctuation Correction (VFC) was developed under the assumption of the independent particle production (IPP) model. In this talk, the importance of subtracting VF and validity of the VFC are studied by using simple toy models assuming IPP as well as UrQMD model. The results showed that VFC worked well in toy model but did not work well in UrQMD which imply that IPP model could be broken in UrQMD.


title: Short Steps in Noncommutative Geometry

abstract: Noncommutative geometry (NCG) is a branch of mathematics concerned with a geometric approach to noncommutative algebras, and with the construction of spaces that are locally presented by noncommutative algebras of functions (possibly in some generalized sense). A noncommutative algebra is an associative algebra in which the multiplication is not commutative, that is, for which $xy$ does not always equal $yx$; or more generally an algebraic structure in which one of the principal binary operations is not commutative; one also allows additional structures, e.g. topology or norm, to be possibly carried by the noncommutative algebra of functions. These notes just to start understand what we need to study Noncommutative Geometry.


title: Convolutionally Coded SNR-Adaptive Transmission for Low-Latency Communications

abstract: Fifth generation new radio aims to facilitate new use cases in wireless communications. Some of these new use cases have highly de-manding latency requirements; many of the powerful forward error correction codes deployed in current systems, such as the turbo and low-density parity-check codes, do not perform well when the low-latency requirement does not allow iterative decoding. As such, there is a rejuvenated interest in noniterative/one-shot decoding algorithms. Motivated by this, we propose a signal-to-noise ratio-adaptive convolutionally coded system with optimized constellations designed specifically for a particular set of convolutional code parameters. Numerical results show that significant performance improvements in terms of bit-error-rate and spectral efficiency can be obtained compared to the traditional adaptive modulation and coding systems inlow-latency communications.


title: A General Optimization-based Framework for Global Pose Estimation with Multiple Sensors

abstract: Accurate state estimation is a fundamental problem for autonomous robots. To achieve locally accurate and globally drift-free state estimation, multiple sensors with complementary properties are usually fused together. Local sensors (camera, IMU, LiDAR, etc) provide precise pose within a small region, while global sensors (GPS, magnetometer, barometer, etc) supply noisy but globally drift-free localization in a large-scale environment. In this paper, we propose a sensor fusion framework to fuse local states with global sensors, which achieves locally accurate and globally drift-free pose estimation. Local estimations, produced by existing VO/VIO approaches, are fused with global sensors in a pose graph optimization. Within the graph optimization, local estimations are aligned into a global coordinate. Meanwhile, the accumulated drifts are eliminated. We evaluate the performance of our system on public datasets and with real-world experiments. Results are compared against other state-of-the-art algorithms. We highlight that our system is a general framework, which can easily fuse various global sensors in a unified pose graph optimization. Our implementations are open source\footnote{https://github.com/HKUST-Aerial-Robotics/VINS-Fusion}.


title: Efimov universality with Coulomb interaction

abstract: The universal properties of charged particles are modified by the presence of a long-range Coulomb interaction. We investigate the modification of Efimov universality as a function of the Coulomb strength using the Gaussian expansion method. The resonant short-range interaction is described by Gaussian potentials to which a Coulomb potential is added. We calculate binding energies and root mean square radii for the three- and four-body systems of charged particles and present our results in a generalised Efimov plot. We find that universal features can still be discerned for weak Coulomb interaction, but break down for strong Coulomb interaction. The root-mean-square radius plateaus at increasingly smaller values for strong Coulomb interaction and the probablity distributions of the states become more concentrated inside the Coulomb barrier. As an example, we apply our universal model to nuclei with an alpha-cluster substructure. Our results point to strong non-universal contributions in that sector.


title: ParaBank: Monolingual Bitext Generation and Sentential Paraphrasing via Lexically-constrained Neural Machine Translation

abstract: We present ParaBank, a large-scale English paraphrase dataset that surpasses prior work in both quantity and quality. Following the approach of ParaNMT, we train a Czech-English neural machine translation (NMT) system to generate novel paraphrases of English reference sentences. By adding lexical constraints to the NMT decoding procedure, however, we are able to produce multiple high-quality sentential paraphrases per source sentence, yielding an English paraphrase resource with more than 4 billion generated tokens and exhibiting greater lexical diversity. Using human judgments, we also demonstrate that ParaBank's paraphrases improve over ParaNMT on both semantic similarity and fluency. Finally, we use ParaBank to train a monolingual NMT model with the same support for lexically-constrained decoding for sentence rewriting tasks.


title: Evaluating betting odds and free coupons using desirability

abstract: In the UK betting market, bookmakers often offer a free coupon to new customers. These free coupons allow the customer to place extra bets, at lower risk, in combination with the usual betting odds. We are interested in whether a customer can exploit these free coupons in order to make a sure gain, and if so, how the customer can achieve this. To answer this question, we evaluate the odds and free coupons as a set of desirable gambles for the bookmaker. We show that we can use the Choquet integral to check whether this set of desirable gambles incurs sure loss for the bookmaker, and hence, results in a sure gain for the customer. In the latter case, we also show how a customer can determine the combination of bets that make the best possible gain, based on complementary slackness. As an illustration, we look at some actual betting odds in the market and find that, without free coupons, the set of desirable gambles derived from those odds avoids sure loss. However, with free coupons, we identify some combinations of bets that customers could place in order to make a guaranteed gain.


title: Towards a Liouville theorem for continuous viscosity solutions to fully nonlinear elliptic equations in conformal geometry

abstract: We study entire continuous viscosity solutions to fully nonlinear elliptic equations involving the conformal Hessian. We prove the strong comparison principle and Hopf Lemma for (non-uniformly) elliptic equations when one of the competitors is $C^{1,1}$. We obtain as a consequence a Liouville theorem for entire solutions which are approximable by $C^{1,1}$ solutions on larger and larger compact domains, and, in particular, for entire $C^{1,1}_{\rm loc}$ solutions: they are either constants or standard bubbles.


title: The renormalized volume of a 4-dimensional Ricci-flat ALE space

abstract: We introduce a natural definition of the renormalized volume of a 4-dimensional Ricci-flat ALE space. We then prove that the renormalized volume is always less or equal than zero, with equality if and only if the ALE space is isometric to its asymptotic cone. Currently the only known examples of 4-dimensional Ricci-flat ALE spaces are Kronheimer's gravitational instantons and their quotients, which are also known to be the only possible examples of special holonomy. We calculate the renormalized volume of these spaces in terms of Kronheimer's period map.


title: Tops in the forward region

abstract: Detailed results on top quark production at LHCb are reported from the first observation of top production in a forward region detector to the first measurement of top pair production at LHCb with 13 TeV data.


title: Bondi-Hoyle-Lyttleton Accretion onto Star Clusters

abstract: An isolated star moving supersonically through a uniform gas accretes material from its gravitationally-induced wake. The rate of accretion is set by the accretion radius of the star and is well-described by classical Bondi-Hoyle-Lyttleton theory. Stars, however, are not born in isolation. They form in clusters where they accrete material that is influenced by all the stars in the cluster. We perform three-dimensional hydrodynamic simulations of clusters of individual accretors embedded in a uniform-density wind in order to study how the accretion rates experienced by individual cluster members are altered by the properties of the ambient gas and the cluster itself. We study accretion as a function of number of cluster members, mean separation between them, and size of their individual accretion radii. We determine the effect of these key parameters on the aggregate and individual accretion rates, which we compare to analytic predictions. We show that when the accretion radii of the individual objects in the cluster substantially overlap, the surrounding gas is effectively accreted into the collective potential of the cluster prior to being accreted onto the individual stars. We find that individual cluster members can accrete drastically more than they would in isolation, in particular when the flow is able to cool efficiently. This effect could potentially modify the luminosity of accreting compact objects in star clusters and could lead to the rejuvenation of young star clusters as well as globular clusters with low-inclination and low-eccentricity.


title: Scale-dependent planar Anti-de Sitter black hole

abstract: In this work, we investigate four-dimensional planar black hole solutions in anti-de Sitter spacetimes in light of the so-called scale-dependent scenario. To obtain this new family of solutions, the classical couplings of the theory, i.e., the gravitational coupling and the cosmological constant, are not taken to be fixed values anymore. Thus, those classical parameters evolve to functions which change along the "height" coordinate, z. The effective Einstein field equations are solved, and the results are analyzed and compared with the classical counterpart. Finally, some thermodynamic properties of the presented scale--dependent black hole are investigated.


title: The Lightest Higgs Boson Mass of the MSSM at Three-Loop Accuracy

abstract: In this article we provide explicit computations of the quantum corrections to the lightest CP-even Higgs Boson mass in the real version of the Minimal Supersymmetric Standard Model. We compute the contributions coming from the SUSY-QCD sector with a precision of three loops at order $O(\alpha_t\alpha_s^2)$. The renormalization procedure adopted is based on the dimensional reduction scheme in order to preserve supersymmetry to all perturbative orders. The calculation extends the region of validity of previous studies to the whole supersymmetric parameter space. The involved master integrals have been computed by exploiting new proposed approaches based on the dispersion relation techniques for the numerical calculation of three-loop vacuum integrals with arbitrary mass scales.


title: Quantitative imaging of hybrid chiral spin textures in magnetic multilayer systems by Lorentz microscopy

abstract: Chiral magnetic textures in ultrathin perpendicularly magnetised multilayer film stacks with an interfacial Dzyaloshinskii-Moriya interaction have been the focus of much research recently. The chirality associated with the broken inversion symmetry at the interface between an ultrathin ferromagnetic layer and a heavy metal with large spin-orbit coupling supports homochiral N\'eel domain walls and hedgehog (N\'eel) skyrmions. Under spin-orbit torques these N\'eel type magnetic structures are predicted, and have been measured, to move at high velocities. However recent studies have indicated that some multilayered systems may possess a more complex hybrid domain wall configuration, due to the competition between interfacial DMI and interlayer dipolar fields. These twisted textures are expected to have thickness dependent N\'eel and Bloch contributions to the domain or skyrmion walls. In this work, we use the methods of Lorentz microscopy to measure quantitatively for the first time experimentally both; i) the contributions of the N\'eel and Bloch contributions and ii) their spatial spin variation at high resolution. These are compared with modelled and simulated structures which are in excellent agreement with our experimental results. Our quantitative analysis provides powerful direct evidence of the Bloch wall component which exists in these hybrid walls and will be significant when exploiting such phenomena in spintronic applications.


title: Cubefree Trinomial Discriminants

abstract: The discriminant of a polynomial of the form $\pm x^n \pm x^m \pm 1$ has the form $n^n \pm m^m(n-m)^{n-m}$ when $n,m$ are relatively prime. We investigate when these discriminants have prime power divisors. We explain several symmetries that appear in the classification of these values of $n,m$. We prove that there are infinitely many pairs of integers $n,m$ for which this discriminant has no prime cube divisors. This result is extended to show that for infinitely many fixed $m$, there are infinitely many $n$ for which the discriminant has no prime cube divisor.


title: On the semisimplicity of reductions and adelic openness for $E$-rational compatible systems over global function fields

abstract: Let $X$ be a normal geometrically connected variety over a finite field $\kappa$ of characteristic~$p$. Let $E$ be a number field. Using automorphic methods over global function fields, we derive properties of the geometric monodromy groups of arbitrary connected $E$-rational semisimple compatible systems $(\rho_\lambda)$ of $n$-dimensional representations of the arithmetic fundamental group $\pi_1(X)$, where $\lambda$ ranges over the finite places of $E$ not above $p$: Let $\Lambda_\lambda$ be any $\pi_1(X)$-stable lattice in $E_\lambda^n$ under $\rho_\lambda$. Then for almost all $\lambda$, the schematic closure of the geometric monodromy $\rho_\lambda(\pi_1(X_{\overline{\kappa}}))$ in $\mathrm{Aut}_{\mathcal{O}_\lambda}(\Lambda_\lambda)$ is a semisimple $\mathcal{O}_\lambda$-group scheme, and its special fiber agrees with the Nori envelope of the geometric monodromy of the mod-$\lambda$ reduction of $\rho_\lambda$. A comparable result under different hypotheses was recently proved by Cadoret, Hui and Tamagawa by other methods. We also provide natural criteria for the image of $\pi_1(X_{\overline{\kappa}})$ under $\prod_\lambda\rho_\lambda$ to have adelic open image in an appropriate sense.


title: Spectroscopic orbits of subsystems in multiple stars. V

abstract: Spectroscopic orbits are determined for inner subsystems in nine stellar hierachies (HIP 2863, 4974, 8353, 28796, 35261, 92929, 115272, 115552, and 117596). Their periods range from 2.5 to 312 days. For each system, estimates of masses, orbital inclination and other parameters are given.


title: Cooperative event-based rigid formation control

abstract: This paper discusses cooperative stabilization control of rigid formations via an event-based approach. We first design a centralized event-based formation control system, in which a central event controller determines the next triggering time and broadcasts the event signal to all the agents for control input update. We then build on this approach to propose a distributed event control strategy, in which each agent can use its local event trigger and local information to update the control input at its own event time. For both cases, the triggering condition, event function and triggering behavior are discussed in detail, and the exponential convergence of the event-based formation system is guaranteed.


title: Shift-Symmetric Orbital Inflation: single field or multi-field?

abstract: We present a new class of two-field inflationary attractor models, known as `shift-symmetric orbital inflation', whose behaviour is strongly multi-field but whose predictions are remarkably close to those of single-field inflation. In these models, the field space metric and potential are such that the inflaton trajectory is along an `angular' isometry direction whose `radius' is constant but arbitrary. As a result, the radial (isocurvature) perturbations away from the trajectory are exactly massless and they freeze on superhorizon scales. These models are the first exact realization of the `ultra-light isocurvature' scenario, previously described in the literature, where a combined shift symmetry emerges between the curvature and isocurvature perturbations and results in primordial perturbation spectra that are entirely consistent with current observations. Due to the turning trajectory, the radial perturbation sources the tangential (curvature) perturbation and makes it grow linearly in time. As a result, only one degree of freedom (i.e. the one from isocurvature modes) is responsible for the primordial observables at the end of inflation, which yields the same phenomenology as in single-field inflation. In particular, isocurvature perturbations and local non-Gaussianity are highly suppressed here, even if the inflationary dynamics is truly multi-field. We comment on the generalization to models with more than two fields.


title: Global existence of uniformly locally energy solutions for the incompressible fractional Navier-Stokes equations

abstract: In this paper, we introduce the concept of local Leray solutions starting from a locally square-integrable initial data to the fractional Navier-Stokes equations with $s\in [3/4,1)$. Furthermore, we prove its local in time existence when $s\in (3/4, 1)$. In particular, if the locally square-integrable initial data vanishs at infinity, we show that the fractional Navier-Stokes equations admit a global-in-time local Leray solution when $s\in [5/6, 1)$. For such local Leray solutions starting from locally square-integrable initial data vanishing at infinity, the singularity only occurs in $B_R(0)$ for some $R$.


title: An extended model of wine fermentation including aromas and acids

abstract: The art of viticulture and the quest for making wines has a long tradition and it just started recently that mathematicians entered this field with their main contribution of modelling alcoholic fermentation. These models consist of systems of ordinary differential equations that describe the kinetics of the bio-chemical reactions occurring in the fermentation process. The aim of this paper is to present a new model of wine fermentation that accurately describes the yeast dying component, the presence of glucose transporters, and the formation of aromas and acids. Therefore the new model could become a valuable tool to predict the taste of the wine and provide the starting point for an emerging control technology that aims at improving the quality of the wine by steering a well-behaved fermentation process that is also energetically more efficient. Results of numerical simulations are presented that successfully confirm the validity of the proposed model by comparison with real data.


title: Weightless Neural Network with Transfer Learning to Detect Distress in Asphalt

abstract: The present paper shows a solution to the problem of automatic distress detection, more precisely the detection of holes in paved roads. To do so, the proposed solution uses a weightless neural network known as Wisard to decide whether an image of a road has any kind of cracks. In addition, the proposed architecture also shows how the use of transfer learning was able to improve the overall accuracy of the decision system. As a verification step of the research, an experiment was carried out using images from the streets at the Federal University of Tocantins, Brazil. The architecture of the developed solution presents a result of 85.71% accuracy in the dataset, proving to be superior to approaches of the state-of-the-art.


title: An Optical Frontend for a Convolutional Neural Network

abstract: The parallelism of optics and the miniaturization of optical components using nanophotonic structures, such as metasurfaces present a compelling alternative to electronic implementations of convolutional neural networks. The lack of a low-power optical nonlinearity, however, requires slow and energy-inefficient conversions between the electronic and optical domains. Here, we design an architecture which utilizes a single electrical to optical conversion by designing a free-space optical frontend unit that implements the linear operations of the first layer with the subsequent layers realized electronically. Speed and power analysis of the architecture indicates that the hybrid photonic-electronic architecture outperforms sole electronic architecture for large image sizes and kernels. Benchmarking of the photonic-electronic architecture on a modified version of AlexNet achieves a classification accuracy of 87% on images from the Kaggle Cats and Dogs challenge database.


title: Individual common dolphin identification via metric embedding learning

abstract: Photo-identification (photo-id) of dolphin individuals is a commonly used technique in ecological sciences to monitor state and health of individuals, as well as to study the social structure and distribution of a population. Traditional photo-id involves a laborious manual process of matching each dolphin fin photograph captured in the field to a catalogue of known individuals. We examine this problem in the context of open-set recognition and utilise a triplet loss function to learn a compact representation of fin images in a Euclidean embedding, where the Euclidean distance metric represents fin similarity. We show that this compact representation can be successfully learnt from a fairly small (in deep learning context) training set and still generalise well to out-of-sample identities (completely new dolphin individuals), with top-1 and top-5 test set (37 individuals) accuracy of $90.5\pm2$ and $93.6\pm1$ percent. In the presence of 1200 distractors, top-1 accuracy dropped by $12\%$; however, top-5 accuracy saw only a $2.8\%$ drop


title: On the nature of the Born rule

abstract: A physical experiment comprises along the time trajectory a start, a time evolution (duration), and an end, which is the measurement. In non relativistic quantum mechanics the start of the experiment is defined by the wave function at time 0 taking into account the starting conditions, the evolution is described by the wave function following the Schr\"odinger equation and the measurement by the Born rule. While the Schr\"odinger equation is deterministic, it is the Born rule that makes quantum mechanics statistical with all its consequences. The nature of the Born rule is thereby unknown albeit necessary since it produces the correct ensemble averaged measures of the experiment. Here, it is demonstrated that the origin of the Born rule is the projection from the quantum frame (i.e. wave description) to the classical mechanics frame (i.e. particle description) described by a Ehrenfest theorem-oriented Fourier transformation. The statistical averaging over many measurements is necessary in order to eliminate the unknown initial and end time coordinate of the experiment in reference to the beginning of the universe.


title: Enabling FDD Massive MIMO through Deep Learning-based Channel Prediction

abstract: A major obstacle for widespread deployment of frequency division duplex (FDD)-based Massive multiple-input multiple-output (MIMO) communications is the large signaling overhead for reporting full downlink (DL) channel state information (CSI) back to the basestation (BS), in order to enable closed-loop precoding. We completely remove this overhead by a deep-learning based channel extrapolation (or "prediction") approach and demonstrate that a neural network (NN) at the BS can infer the DL CSI centered around a frequency $f_\text{DL}$ by solely observing uplink (UL) CSI on a different, yet adjacent frequency band around $f_\text{UL}$; no more pilot/reporting overhead is needed than with a genuine time division duplex (TDD)-based system. The rationale is that scatterers and the large-scale propagation environment are sufficiently similar to allow a NN to learn about the physical connections and constraints between two neighboring frequency bands, and thus provide a well-operating system even when classic extrapolation methods, like the Wiener filter (used as a baseline for comparison throughout) fails. We study its performance for various state-of-the-art Massive MIMO channel models, and, even more so, evaluate the scheme using actual Massive MIMO channel measurements, rendering it to be practically feasible at negligible loss in spectral efficiency when compared to a genuine TDD-based system.


title: A Biologically Inspired Visual Working Memory for Deep Networks

abstract: The ability to look multiple times through a series of pose-adjusted glimpses is fundamental to human vision. This critical faculty allows us to understand highly complex visual scenes. Short term memory plays an integral role in aggregating the information obtained from these glimpses and informing our interpretation of the scene. Computational models have attempted to address glimpsing and visual attention but have failed to incorporate the notion of memory. We introduce a novel, biologically inspired visual working memory architecture that we term the Hebb-Rosenblatt memory. We subsequently introduce a fully differentiable Short Term Attentive Working Memory model (STAWM) which uses transformational attention to learn a memory over each image it sees. The state of our Hebb-Rosenblatt memory is embedded in STAWM as the weights space of a layer. By projecting different queries through this layer we can obtain goal-oriented latent representations for tasks including classification and visual reconstruction. Our model obtains highly competitive classification performance on MNIST and CIFAR-10. As demonstrated through the CelebA dataset, to perform reconstruction the model learns to make a sequence of updates to a canvas which constitute a parts-based representation. Classification with the self supervised representation obtained from MNIST is shown to be in line with the state of the art models (none of which use a visual attention mechanism). Finally, we show that STAWM can be trained under the dual constraints of classification and reconstruction to provide an interpretable visual sketchpad which helps open the 'black-box' of deep learning.


title: The optimal system, similarity reduction and group-invariant solutions to the Fractional Porous Medium equation and Fractional Dual Porous Medium equation

abstract: In this paper, we developed the group analysis to the time Fractional Porous Medium Equation (FPME) and the time Fractional Dual Porous Medium Equation (FDPME). The symmetry groups and the corresponding optimal systems of these two equations are obtained. Based on the above results, similarity reductions are performed and some explicit group invariant solutions are constructed.


title: A Brezis-Lieb-type Lemma in Orlicz space

abstract: In this work, we extend the well known Brezis-Lieb Lemma to the Orlicz space.


title: Effect of strain inhomogeneity on a chiral p-wave superconductor

abstract: Motivated by recent measurements of strain effects on the transition temperature (T$_c$) of Sr$_2$RuO$_4$, we study the strain response of a two-dimensional chiral p-wave supercoductor. We focus on the effects of inhomgeneous strain fields, which are always present in any such experiment, and which have been neglected in previous theoretical treatments. We show that the response of T$_c$ of a chiral superconductor to strain chages from being linear without inhomogeneity, to quadratic in the presence of inhomogeneity. We discuss our results in the context of the ongoing debate of superconductivity in Sr$_2$RuO$_4$.


title: Performance Analysis of Receive Antenna Selection in Multi-Antenna Systems under Finite Constellation Size

abstract: Antenna selection (AS) is regarded as one of the most prospective technologies to reduce hardware cost but keep relatively high spectral efficiency in multi-antenna systems. By selecting a subset of antennas to transceive messages, AS greatly alleviates the requirement on RF chains. This paper studies receive antenna selection in single-input multiple-output (SIMO) systems, namely the antenna-selection SIMO (AS-SIMO) systems, from the perspective of digital modulation. The receiver, equipped with multiple antennas, selects an optimal antenna subset to receive messages from the single-antenna transmitter. By assuming independent and identical distributed (i.i.d) flat fading Rayleigh channels, we first analyze the input-output mutual information, also referred as symmetric capacity, of AS-SIMO systems when the modulation style is BPSK/QPSK/16QAM. To reduce the computation complexity of the capacity, closed-form approximated expressions of the symmetric capacity based on asymptotic theory are given for the first time to approach the exact results. Compared with the conventional derivations, our approximation holds much lower computation complexity with the guarantee of high precision. Next, this asymptotic approximation technique is extended to estimate the symbol error rate (SER) of antenna-selection SIMO systems and approximated expressions for SER are proposed which indicates much lower complexity. Finally, a special scenario of single-antenna-selection is detailedly investigated and series expressions of the symmetric capacity are formulated for the first time. Beside analytical derivations, simulation results are provided to demonstrate the approximation precision of the derived results. Experiment results show that the asymptotic theory has a remarkable approximation effect.


title: Non-ideal rheology of semidilute bacterial suspensions

abstract: The rheology of semidilute bacterial suspensions is studied with the tools of kinetic theory, considering binary interactions, going beyond the ideal gas approximation. Two models for the interactions are considered, which encompass both the steric and short range interactions. In these, swimmers can either align polarly regardless of the state previous to the collision or they can align axially, being possible the end up antiparallel if the relative angle between directors is large. In both cases, it is found that an ordered phase develops when increasing the density, where the shear stress oscillates with large amplitudes, when a constant shear rate is imposed. This oscillation disappears for large shear rates in a continuous or discontinuous transition, depending if the aligning is polar or axial, respectively. For pusher swimmers these non-linear effects can produce an increase on the shear stress, contrary to the prediction of viscosity reduction made for the dilute regime with the ideal gas approximation.


title: On Induced Online Ramsey Number of Paths, Cycles, and Trees

abstract: An online Ramsey game is a game between Builder and Painter, alternating in turns. They are given a graph $H$ and a graph $G$ of an infinite set of independent vertices. In each round Builder draws an edge and Painter colors it either red or blue. Builder wins if after some finite round there is a monochromatic copy of the graph $H$, otherwise Painter wins. The online Ramsey number $\widetilde{r}(H)$ is the minimum number of rounds such that Builder can force a monochromatic copy of $H$ in $G$. This is an analogy to the size-Ramsey number $\overline{r}(H)$ defined as the minimum number such that there exists graph $G$ with $\overline{r}(H)$ edges where for any edge two-coloring $G$ contains a monochromatic copy of $H$. In this paper, we introduce the concept of induced online Ramsey numbers: the induced online Ramsey number $\widetilde{r}_{ind}(H)$ is the minimum number of rounds Builder can force an induced monochromatic copy of $H$ in $G$. We prove asymptotically tight bounds on the induced online Ramsey numbers of paths, cycles and two families of trees. Moreover, we provide a result analogous to Conlon [On-line Ramsey Numbers, SIAM J. Discr. Math. 2009], showing that there is an infinite family of trees $T_1,T_2,\dots$, $|T_i|<|T_{i+1}|$ for $i\ge1$, such that \[ \lim_{i\to\infty} \frac{\widetilde{r}(T_i)}{\overline{r}(T_i)} = 0. \]


title: Recurrence equations and their classical orthogonal polynomial solutions on a quadratic or q-quadratic lattice

abstract: Every classical orthogonal polynomial system $p_n(x)$ satisfies a three-term recurrence relation of the type \[ p_{n+1}(x)=(A_nx+B_n)p_n(x)-C_np_{n-1}(x)~ (n=0,1,2,\ldots, p_{-1}\equiv 0), \] with $C_nA_nA_{n-1}>0$. Moreover, Favard's theorem states that the converse is true. A general method to derive the coefficients $A_n$, $B_n$, $C_n$ in terms of the polynomial coefficients of the divided-difference equations satisfied by orthogonal polynomials on a quadratic or $q$-quadratic lattice is recalled. The Maple implementations rec2ortho of Koorwinder and Swarttouw or retode of Koepf and Schmersau were developed to identify classical orthogonal polynomials given by their three-term recurrence relation as special functions. The two implementations rec2ortho and retode do not handle classical orthogonal polynomials on a quadratic or $q$-quadratic lattice. In this manuscript, the Maple implementation retode of Koepf and Schmersau is extended to cover classical orthogonal polynomials on quadratic or $q$-quadratic lattices and to answer as application an open problem submitted by Alhaidari during the 14th International Symposium on Orthogonal Polynomials, Special Functions and Applications.


title: QUEST Eclipsing Binaries and ELLISA: Eclipsing binary search in the QUEST low latitude catalogue and the ELLISA light curve simulator

abstract: The realistic simulation of variable star populations is fundamental to determine the selection function and contamination in existing and upcoming multi-epoch surveys. We present \ellisa, a simulator that produces an ensemble of mock light curves for a population of eclipsing binaries obtained from physical and orbital parameters consistent with different galactic populations, and which considers user-supplied time sampling and photometric errors to represent any given survey. We carried out a search for eclipsing binaries in the QUEST low-galactic latitude catalogue of variable stars, spanning an area of 476 sq. deg at $-25^\circ \la b \la 30^\circ$ and $190^ \circ \leqslant l \leqslant 230^ \circ$ towards the galactic anti-centre, and use \ellisa~to characterise the completeness of the resulting catalogue in terms of amplitudes and periods of variation as well as eclipsing binary type. The resulting catalogue consists of $1,125$ eclipsing binaries, out of which $179$, $60$ and $886$ are EA, EB and EW types respectively. We estimate, on average, $30\%$ completeness in the period range $0.25 \la P/d \la 1$ for EB+EW binaries and $15\%$ completeness for EA binaries with periods $2 \la P/d \la 10$, being the time sampling the primary factor determining the completeness of each type of eclipsing binary. This is one of few eclipsing binary catalogues reported with an estimate of the selection function. Mock eclipsing binary light curve libraries produced with \ellisa~can be used to estimate the selection function and optimise eclipsing binary searches in upcoming multi-epoch surveys such as Gaia, the Panoramic Survey Telescope and Rapid Response System, the Zwicky Transient Factory or the Large Synoptic Survey Telescope.


title: On the Global Convergence of Imitation Learning: A Case for Linear Quadratic Regulator

abstract: We study the global convergence of generative adversarial imitation learning for linear quadratic regulators, which is posed as minimax optimization. To address the challenges arising from non-convex-concave geometry, we analyze the alternating gradient algorithm and establish its Q-linear rate of convergence to a unique saddle point, which simultaneously recovers the globally optimal policy and reward function. We hope our results may serve as a small step towards understanding and taming the instability in imitation learning as well as in more general non-convex-concave alternating minimax optimization that arises from reinforcement learning and generative adversarial learning.


title: A Framework for Evaluating Security in the Presence of Signal Injection Attacks

abstract: Sensors are embedded in security-critical applications from medical devices to nuclear power plants, but their outputs can be spoofed through electromagnetic and other types of signals transmitted by attackers at a distance. To address the lack of a unifying framework for evaluating the effects of such transmissions, we introduce a system and threat model for signal injection attacks. We further define the concepts of existential, selective, and universal security, which address attacker goals from mere disruptions of the sensor readings to precise waveform injections. Moreover, we introduce an algorithm which allows circuit designers to concretely calculate the security level of real systems. Finally, we apply our definitions and algorithm in practice using measurements of injections against a smartphone microphone, and analyze the demodulation characteristics of commercial Analog-to-Digital Converters (ADCs). Overall, our work highlights the importance of evaluating the susceptibility of systems against signal injection attacks, and introduces both the terminology and the methodology to do so.


title: On the Flow Problem in Water Distribution Networks: Uniqueness and Solvers

abstract: Increasing concerns on the security and quality of water distribution systems (WDS), call for computational tools with performance guarantees. To this end, this work revisits the physical laws governing water flow and provides a hierarchy of solvers of complementary value. Given the water injection or pressure at each WDS node, finding the water flows within pipes and pumps along with the pressures at all WDS nodes constitutes the water flow (WF) problem. The latter entails solving a set of (non)-linear equations. We extend uniqueness claims on the solution to the WF equations in setups with multiple fixed-pressure nodes and detailed pump models. For networks without pumps, the WF solution is already known to be the minimizer of a convex function. The latter approach is extended to networks with pumps but not in cycles, through a stitching algorithm. For networks with non-overlapping cycles, a provably exact convex relaxation of the pressure drop equations yields a mixed-integer quadratically-constrained quadratic program (MI-QCQP) solver. A hybrid scheme combining the MI-QCQP with the stitching algorithm can handle WDS with overlapping cycles, but without pumps on them. Each solver is guaranteed to converge regardless of initialization, as numerically validated on a benchmark WDS.


title: Estimating influenza incidence using search query deceptiveness and generalized ridge regression

abstract: Seasonal influenza is a sometimes surprisingly impactful disease, causing thousands of deaths per year along with much additional morbidity. Timely knowledge of the outbreak state is valuable for managing an effective response. The current state of the art is to gather this knowledge using in-person patient contact. While accurate, this is time-consuming and expensive. This has motivated inquiry into new approaches using internet activity traces, based on the theory that lay observations of health status lead to informative features in internet data. These approaches risk being deceived by activity traces having a coincidental, rather than informative, relationship to disease incidence; to our knowledge, this risk has not yet been quantitatively explored. We evaluated both simulated and real activity traces of varying deceptiveness for influenza incidence estimation using linear regression. We found that deceptiveness knowledge does reduce error in such estimates, that it may help automatically-selected features perform as well or better than features that require human curation, and that a semantic distance measure derived from the Wikipedia article category tree serves as a useful proxy for deceptiveness. This suggests that disease incidence estimation models should incorporate not only data about how internet features map to incidence but also additional data to estimate feature deceptiveness. By doing so, we may gain one more step along the path to accurate, reliable disease incidence estimation using internet data. This capability would improve public health by decreasing the cost and increasing the timeliness of such estimates.


title: Machine Learning Automation Toolbox (MLaut)

abstract: In this paper we present MLaut (Machine Learning AUtomation Toolbox) for the python data science ecosystem. MLaut automates large-scale evaluation and benchmarking of machine learning algorithms on a large number of datasets. MLaut provides a high-level workflow interface to machine algorithm algorithms, implements a local back-end to a database of dataset collections, trained algorithms, and experimental results, and provides easy-to-use interfaces to the scikit-learn and keras modelling libraries. Experiments are easy to set up with default settings in a few lines of code, while remaining fully customizable to the level of hyper-parameter tuning, pipeline composition, or deep learning architecture. As a principal test case for MLaut, we conducted a large-scale supervised classification study in order to benchmark the performance of a number of machine learning algorithms - to our knowledge also the first larger-scale study on standard supervised learning data sets to include deep learning algorithms. While corroborating a number of previous findings in literature, we found (within the limitations of our study) that deep neural networks do not perform well on basic supervised learning, i.e., outside the more specialized, image-, audio-, or text-based tasks.


title: Real Univariate Quintics

abstract: For the general monic quintic with real coefficients, polynomial conditions on the coefficients are derived as directly and as simply as possible from the Sturm sequence that will determine the real and complex root multiplicities together with the order of the real roots with respect to multiplicity.


title: Protoplanetary disk rings and gaps across ages and luminosities

abstract: Since the discovery of the multi-ring structure of the HL Tau disk, ALMA data suggest that the dust continuum emission of many, if not all, protoplanetary disks consists of rings and gaps, no matter their spectral type or age. The origin of these gaps so far remains unclear. We present a sample study of 16 disks with multiple ring-like structures in the continuum, using published ALMA archival data, to compare their morphologies and gap locations in a systematic way. The 16 targets range from early to late type stars, from <0.5 Myr to >10 Myr, from ~0.2 to 40 L_Sun and include both full and transitional disks with cleared inner dust cavities. Stellar ages are revised using new Gaia distances. Gap locations are derived using a simple radial fit to the intensity profiles. Using a radiative transfer model, the temperature profiles are computed. The gap radii generally do not correspond to the orbital radii of snow lines of the most common molecules. A snow line model can likely be discarded as a common origin of multi-ring systems. In addition, there are no systematic trends in the gap locations that could be related to resonances of planets. Finally, the outer radius of the disks decreases for the oldest disks in the sample, indicating that if multi-ring disks evolve in a similar way, outer dust rings either dissipate with the gas or grow into planetesimal belts.


title: The structure of the Mg II broad line emitting region in Type 1 AGNs

abstract: We investigate the structure of the Mg II broad line emission region in a sample of 284 Type 1 active galactic nuclei (AGNs), through comparing the kinematical parameters of the broad Mg II and broad H$\beta$ lines. We found that the Mg II emitting region has more complex kinematics than the H$\beta$ one. It seems that the \ion{Mg}{ii} broad line originates from two subregions: one which contributes to the line core, which is probably virialized, and the other, 'fountain-like' emitting region, with outflows-inflows nearly orthogonal to the disc, which become suppressed with stronger gravitational influence. This subregion mostly contributes to the emission of the Mg II broad line wings. The kinematics of the Mg II core emitting region is similar to that of the H$\beta$ broad line region (seems to be virialized), and therefore the Full Width at Half Maximum (FWHM) of Mg II still can be used for the black hole (BH) mass estimation in the case where the Mg II core component is dominant. However, one should be careful with using the \ion{Mg}{ii} broad line for the BH mass estimation in the case of very large widths (FWHM$>$ 6000 km s$^{-1}$) and/or in the case of strong blue asymmetry.


title: A Basic Structure for Grids in Surfaces

abstract: A graph $G$ embedded in a surface $S$ is called an $S$-grid when every facial boundary walk has length four, that is, the topological dual graph of $G$ in $S$ is 4-regular. Aside from the case where $S$ is the torus or Klein bottle, an $S$-grid must have vertices of degrees other than four. Let the sequence of degrees other than four in $G$ be called the curvature sequence of $G$. We give a succinct characterization of $S$-grids with nonempty curvature sequence $L$ in terms of graphs that have degree sequence $L$ and are immersed in a certain way in $S$; furthermore, the immersion associated with the $S$-grid $G$ is unique and so our characterization of $S$-grids also partitions the collection of all $S$-grids.


title: Implementation of the 3GPP LTE-WLAN Interworking Protocols in NS-3

abstract: The next generation wireless standard, called Fifth Generation (5G), is being designed to encompass Heterogeneous Networks (HetNets) architectures consisting of a single holistic network with Multiple Radio Access Technologies (Multi-RAT). Multiple connectivity protocols and spectrum would be managed from a common core (management system) handling both: i) traditional macro cellular systems (such as LTE), that can provide long-range, outdoor coverage, as well as ii) low-power wireless systems with high capacity (such as Wi-Fi), that can be deployed to cater indoor traffic needs. 5G HetNets are expected to achieve ubiquitous connectivity that would guarantee Quality of Service (QoS), Quality of Experience (QoE) along with efficient use of spectrum and energy at low cost. Tightly coupled LTE-Wi-Fi networks have emerged as one of the promising solutions in the 5G era to boost network capacity and improve end user's quality of experience. LTE/Wi-Fi Link Aggregation (LWA) and LTE WLAN Radio Level Integration with IPSec Tunnel (LWIP) are two approaches put forward by the 3rd Generation Partnership Project (3GPP) to enable flexible, general, and scalable LTE-WLAN inter-working. These techniques enable operator-controlled access of licensed and unlicensed spectrum and allow transparent access of operator's evolved core. The most important aspect of these techniques is that they could be enabled with straightforward software upgrades and can utilize the already existing Wi-Fi networks. This article presents and motivates the design details of LWA and LWIP protocols. We also present the first NS-3 LWA and LWIP implementations over Network Simulator 3 (NS-3). In particular, this work focuses on the adaptation and concurrent usage of different NS-3 modules and protocols of different technologies to enable the support of these interworking schemes.


title: Multi-Level Batch Normalization In Deep Networks For Invasive Ductal Carcinoma Cell Discrimination In Histopathology Images

abstract: Breast cancer is the most diagnosed cancer and the most predominant cause of death in women worldwide. Imaging techniques such as the breast cancer pathology helps in the diagnosis and monitoring of the disease. However identification of malignant cells can be challenging given the high heterogeneity in tissue absorbotion from staining agents. In this work, we present a novel approach for Invasive Ductal Carcinoma (IDC) cells discrimination in histopathology slides. We propose a model derived from the Inception architecture, proposing a multi-level batch normalization module between each convolutional steps. This module was used as a base block for the feature extraction in a CNN architecture. We used the open IDC dataset in which we obtained a balanced accuracy of 0.89 and an F1 score of 0.90, thus surpassing recent state of the art classification algorithms tested on this public dataset.


title: Towards Quasi-Transverse Momentum Dependent PDFs Computable on the Lattice

abstract: Transverse momentum dependent parton distributions (TMDPDFs) which appear in factorized cross sections involve infinite Wilson lines with edges on or close to the light-cone. Since these TMDPDFs are not directly calculable with a Euclidean path integral in lattice QCD, we study the construction of quasi-TMDPDFs with finite-length spacelike Wilson lines that are amenable to such calculations. We define an infrared consistency test to determine which quasi-TMDPDF definitions are related to the TMDPDF, by carrying out a one-loop study of infrared logarithms of transverse position $b_T\sim \Lambda_{\rm QCD}^{-1}$, which must agree between them. This agreement is a necessary condition for the two quantities to be related by perturbative matching. TMDPDFs necessarily involve combining a hadron matrix element, which nominally depends on a single light-cone direction, with soft matrix elements that necessarily depend on two light-cone directions. We show at one loop that the simplest definitions of the quasi hadron matrix element, the quasi soft matrix element, and the resulting quasi-TMDPDF all fail the infrared consistency test. Ratios of impact parameter quasi-TMDPDFs still provide nontrivial information about the TMDPDFs, and are more robust since the soft matrix elements cancel. We show at one loop that such quasi ratios can be matched to ratios of the corresponding TMDPDFs. We also introduce a modified "bent" quasi soft matrix element which yields a quasi-TMDPDF that passes the consistency test with the TMDPDF at one loop, and discuss potential issues at higher orders.


title: KiDS+GAMA: Constraints on Horndeski gravity from combined large-scale structure probes

abstract: We present constraints on Horndeski gravity from a combined analysis of cosmic shear, galaxy-galaxy lensing and galaxy clustering from $450\,\mathrm{deg}^2$ of the Kilo-Degree Survey (KiDS) and the Galaxy And Mass Assembly (GAMA) survey. The Horndeski class of dark energy/modified gravity models includes the majority of universally coupled extensions to $\Lambda$CDM with one scalar field in addition to the metric. We study the functions of time that fully describe the evolution of linear perturbations in Horndeski gravity. Our results are compatible throughout with a $\Lambda$CDM model. By imposing gravitational wave constraints, we fix the tensor speed excess to zero and consider a subset of models including e.g. quintessence and $f(R)$ theories. Assuming proportionality of the Horndeski functions $\alpha_B$ and $\alpha_M$ (kinetic braiding and the Planck mass run rate, respectively) to the dark energy density fraction $\Omega_{\mathrm{DE}}(a) = 1 - \Omega_{\mathrm{m}}(a)$, we find for the proportionality coefficients $\hat{\alpha}_B = 0.20_{-0.33}^{+0.20} \,$ and $\, \hat{\alpha}_M = 0.25_{-0.29}^{+0.19}$. Our value of $S_8 \equiv \sigma_8 \sqrt{\Omega_{\mathrm{m}}/0.3}$ is in better agreement with the $Planck$ estimate when measured in the enlarged Horndeski parameter space than in a pure $\Lambda$CDM scenario. In our joint three-probe analysis we report a downward shift of the $S_8$ best fit value from the $Planck$ measurement of $\Delta S_8 = 0.016_{-0.046}^{+0.048}$ in Horndeski gravity, compared to $\Delta S_8 = 0.059_{-0.039}^{+0.040}$ in $\Lambda$CDM. Our constraints are robust to the modelling uncertainty of the non-linear matter power spectrum in Horndeski gravity. Our likelihood code for multi-probe analysis in both $\Lambda$CDM and Horndeski gravity is publicly available at http://github.com/alessiospuriomancini/KiDSHorndeski .


title: Benchmarking Substellar Evolutionary Models Using New Age Estimates for HD 4747 B and HD 19467 B

abstract: Constraining substellar evolutionary models (SSEMs) is particularly difficult due to a degeneracy between the mass, age, and luminosity of a brown dwarf. In cases where a brown dwarf is found as a directly imaged companion to a star, as in HD 4747 and HD 19467, the mass, age, and luminosity of the brown dwarf are determined independently, making them ideal objects to use to benchmark SSEMs. Using the Center for High Angular Resolution Astronomy Array, we measured the angular diameters and calculated the radii of the host stars HD 4747 A and HD 19467 A. After fitting their parameters to the Dartmouth Stellar Evolution Database, MESA Isochrones and Stellar Tracks, and Yonsei-Yale isochronal models, we adopt age estimates of $10.74^{+6.75}_{-6.87}$ Gyr for HD 4747 A and $10.06^{+1.16}_{-0.82}$ Gyr for HD 19467 A. Assuming the brown dwarf companions HD 4747 B and HD 19467 B have the same ages as their host stars, we show that many of the SSEMs under-predict bolometric luminosities by $\sim$ 0.75 dex for HD 4747 B and $\sim 0.5$ dex for HD 19467 B. The discrepancies in luminosity correspond to over-predictions of the masses by $\sim$ 12\% for HD 4747 B and $\sim$ 30\% for HD 19467 B. We also show that SSEMs that take into account the effect of clouds reduce the under-prediction of luminosity to $\sim 0.6$ dex and the over-prediction of mass to $\sim 8\%$ for HD 4747 B, an L/T transition object that is cool enough to begin forming clouds. One possible explanation for the remaining discrepancies is missing physics in the models, such as the inclusion of metallicity effects.


title: Quantifying echo chamber effects in information spreading over political communication networks

abstract: Echo chambers in online social networks, in which users prefer to interact only with ideologically-aligned peers, are believed to facilitate misinformation spreading and contribute to radicalize political discourse. In this paper, we gauge the effects of echo chambers in information spreading phenomena over political communication networks. Mining 12 million Twitter messages, we reconstruct a network in which users interchange opinions related to the impeachment of the former Brazilian President Dilma Rousseff. We define a continuous {political position} parameter, independent of the network's structure, that allows to quantify the presence of echo chambers in the strongly connected component of the network, reflected in two well-separated communities of similar sizes with opposite views of the impeachment process. By means of simple spreading models, we show that the capability of users in propagating the content they produce, measured by the associated spreadability, strongly depends on their attitude. Users expressing pro-impeachment sentiments are capable to transmit information, on average, to a larger audience than users expressing anti-impeachment sentiments. Furthermore, the users' spreadability is correlated to the diversity, in terms of political position, of the audience reached. Our method can be exploited to identify the presence of echo chambers and their effects across different contexts and shed light upon the mechanisms allowing to break echo chambers.


title: Depth First Search in the Semi-streaming Model

abstract: Depth first search (DFS) tree is a fundamental data structure for solving various graph problems. The classical DFS algorithm requires $O(m+n)$ time for a graph having $n$ vertices and $m$ edges. In the streaming model, an algorithm is allowed several passes (preferably single) over the input graph having a restriction on the size of local space used. Trivially, a DFS tree can be computed using a single pass using $O(m)$ space. In the semi-streaming model allowing $O(n)$ space, it can be computed in $O(n)$ passes, where each pass adds one vertex to the DFS tree. However, it remains an open problem to compute a DFS tree using $o(n)$ passes using $o(m)$ space even in any relaxed streaming environment. We present the first semi-streaming algorithms that compute a DFS tree of an undirected graph in $o(n)$ passes using $o(m)$ space. We first describe an extremely simple algorithm that requires at most $\lceil n/k\rceil$ passes using $O(nk)$ space, where $k$ is any positive integer. We then improve this algorithm by using more involved techniques to reduce the number of passes to $\lceil h/k\rceil$ under similar space constraints, where $h$ is the height of the computed DFS tree. In particular, this algorithm improves the bounds for the case where the computed DFS tree is shallow (having $o(n)$ height). Moreover, this algorithm is presented as a framework that allows the flexibility of using any algorithm to maintain a DFS tree of a stored sparser subgraph as a black box, which may be of independent interest. Both these algorithms essentially demonstrate the existence of a trade-off between the space and number of passes required for computing a DFS tree. Furthermore, we evaluate these algorithms experimentally which reveals their exceptional performance in practice. For both random and real graphs, they require merely a few passes even when allowed just $O(n)$ space.


title: Low-Power Neuromorphic Hardware for Signal Processing Applications

abstract: Machine learning has emerged as the dominant tool for implementing complex cognitive tasks that require supervised, unsupervised, and reinforcement learning. While the resulting machines have demonstrated in some cases even super-human performance, their energy consumption has often proved to be prohibitive in the absence of costly super-computers. Most state-of-the-art machine learning solutions are based on memory-less models of neurons. This is unlike the neurons in the human brain, which encode and process information using temporal information in spike events. The different computing principles underlying biological neurons and how they combine together to efficiently process information is believed to be a key factor behind their superior efficiency compared to current machine learning systems. Inspired by the time-encoding mechanism used by the brain, third generation spiking neural networks (SNNs) are being studied for building a new class of information processing engines. Modern computing systems based on the von Neumann architecture, however, are ill-suited for efficiently implementing SNNs, since their performance is limited by the need to constantly shuttle data between physically separated logic and memory units. Hence, novel computational architectures that address the von Neumann bottleneck are necessary in order to build systems that can implement SNNs with low energy budgets. In this paper, we review some of the architectural and system level design aspects involved in developing a new class of brain-inspired information processing engines that mimic the time-based information encoding and processing aspects of the brain.


title: Econophysics: Still fringe after 30 years?

abstract: Some personal reflections on the past and future of "econophysics", to appear in Europhysics News


title: Crystalline symmetry protected helical Majorana modes in the iron pnictides

abstract: We propose that propagating one-dimensional Majorana fermions will develop in the vortex cores of certain iron-based superconductors, most notably Li(Fe$_{1-x}$Co$_x$)As. A key ingredient of this proposal are the 3D Dirac cones recently observed in ARPES experiments [P. Zhang et al., Nat. Phys. $\textbf{15}$, 41 (2019)]. Using an effective Hamiltonian around the $\Gamma-Z$ line we demonstrate the development of gapless one-dimensional helical Majorana modes, protected by $C_4$ symmetry. A topological index is derived which links the helical Majorana modes to the presence of monopoles in the Berry curvature of the normal state. We present various experimental consequences of this theory and discuss its possible connections with cosmic strings.


title: Matter dependence of the four-loop cusp anomalous dimension

abstract: We compute analytically the matter-dependent contributions to the quartic Casimir term of the four-loop light-like cusp anomalous dimension in QCD, with $n_f$ fermion and $n_s$ scalar flavours. The result is extracted from the double pole of a scalar form factor. We adopt a new strategy for the choice of master integrals with simple analytic and infrared properties, which significantly simplifies our calculation. To this end we first identify a set of integrals whose integrands have a dlog form, and are hence expected to have uniform transcendental weight. We then perform a systematic analysis of the soft and collinear regions of loop integration and build linear combinations of integrals with a simpler infrared pole structure. In this way, only integrals with ten or fewer propagators are needed for obtaining the cusp anomalous dimension. These integrals are then computed via the method of differential equations through the addition of an auxiliary scale. Combining our result with that of a parallel paper, we obtain the complete $n_{f}$ dependence of the four-loop cusp anomalous dimension in QCD. Finally, using known numerical results for the gluonic contributions, we obtain an improved numerical prediction for the cusp anomalous dimension in $\mathcal{N}=4$ super Yang-Mills theory.


title: Dark Disk Substructure and Superfluid Dark Matter

abstract: Dark matter substructure has the potential to discriminate between broad classes of dark matter models. With this in mind, we construct novel solutions to the equations of motion governing condensate dark matter candidates, namely axion Bose-Einstein condensates and superfluids. These solutions are highly compressed along one axis and thus have a disk-like geometry. We discuss linear stability of these solutions, consider the astrophysical implications as a large-scale dark disk or as small scale substructure, and find a characteristic signal in strong gravitational lensing. This adds to the growing body of work that indicates that the morphology of dark matter substructure is a powerful probe of the nature of dark matter.

categories: astro-ph.CO astro-ph.GA gr-qc hep-ph hep-th


title: On Quantum Uncertainty Relations and Uncertainty Regions

abstract: Given two or more non-commuting observables, it is generally not possible to simultaneously assign precise values to each. This quantum mechanical uncertainty principle is widely understood to be encapsulated by some form of uncertainty relation, expressing a trade-off between the standard deviations or other measures of uncertainty of two (or more) observables, resulting from their non-commutativity. Typically, such relations are coarse, and miss important features. It was not until very recently that a broader perspective on quantum uncertainty was envisaged and explored, one that utilises the notion of an uncertainty region. Here we review this new approach, illustrating it with pairs or triples of observables in the case of qubit and qutrit systems. We recall some of the shortcomings of traditional uncertainty relations, and highlight their inability to identify the full uncertainty region. These shortcomings suggest a precautionary note that, we surmise, ought to accompany the presentation of the uncertainty principle in introductory quantum mechanics courses.


title: Key Factor Not to Drop Out is to Attend the Lecture

abstract: In addition to the learning check testing results performed at each lectures, we have extended the factors to find the key dropping out factors. Among them are, the number of successes in the learning check testing, the number of attendances to the follow-up program classes, and etc. Then, we have found key factors strongly related to the students at risk. They are the following. 1) Badly failed students (score range is 0-39 in the final examination) tend to be absent for the regular classes and fail in the learning check testing even if they attended, and they are very reluctant to attend the follow-up program classes. 2) Successful students (score range is 60-100 in the final examination) attend classes and get good scores in every learning check testing. 3) Failed students but not so badly (score range is 40-59 in the final examination) reveal both sides of features appeared in score range of 0-39 and score range of 60-100. Therefore, it is crucial to attend the lectures in order not to drop out. Students who failed in learning check testing more than half out of all testing times almost absolutely failed in the final examination, which could cause the drop out. Also, students who were successful to learning check testing more than two third out of all testing times took better score in the final examination.


title: Controlling effective dispersion within a channel with flow and active walls

abstract: Channels are fundamental building blocks from biophysics to soft robotics, often used to transport or separate solutes. As solute particles inevitably transverse between streamlines along the channel by molecular diffusion, the effective diffusion of the solute along the channel is enhanced - an effect known as Taylor dispersion. Here, we investigate how the Taylor dispersion effect can be suppressed or enhanced in different settings. Specifically, we study the impact of flow profile and active or pulsating channel walls on Taylor dispersion. We derive closed analytic expressions for the effective dispersion equation in all considered scenarios providing hands-on effective dispersion parameters for a multitude of applications. In particular, we find that active channel walls may lead to three regimes of dispersion: either dispersion decrease by entropic slow down at small Peclet number, or dispersion increase at large Peclet number dominated either by shuttle dispersion or by Taylor dispersion. This improves our understanding of solute transport e.g. in biological active systems such as blood flow and opens a number of possibilities to control solute transport in artificial systems such as soft robotics.