title: Higgs Vacuum Decay in a Braneworld

abstract: We examine the effect of large extra dimensions on vacuum decay in the Randall-Sundrum (RS) braneworld paradigm. We assume the scalar field is confined to the brane, and compute the probability for forming an "anti de Sitter" (AdS) bubble inside a critical flat RS brane. We present the first full numerical solutions for the brane instanton considering two test potentials for the scalar field. We explore the geometrical impact of thin and thick bubble walls, and compute the instanton action in a range of cases. We conclude by commenting on a more physically realistic potential relevant for the standard model Higgs. For bubbles with large backreaction, the extra dimension has a dramatic effect on the tunnelling rate, however, for the weakly backreacting bubbles more relevant for realistic Standard Model potentials, the extra dimension has little impact.


title: On computational complexity of Cremer Julia sets

abstract: We find an abundance of Cremer Julia sets of an arbitrarily high computational complexity.


title: Robust Wavefield Inversion via Phase Retrieval

abstract: Extended formulation of Full Waveform Inversion (FWI), called Wavefield Reconstruction Inversion (WRI), offers potential benefits of decreasing the nonlinearity of the inverse problem by replacing the explicit inverse of the ill-conditioned wave-equation operator of classical FWI (the oscillating Green functions) with a suitably defined data-driven regularized inverse. This regularization relaxes the wave-equation constraint to reconstruct wavefields that match the data, hence mitigating the risk of cycle skipping. The subsurface model parameters are then updated in a direction that reduces these constraint violations. However, in the case of a rough initial model, the phase errors in the reconstructed wavefields may trap the waveform inversion in a local minimum leading to inaccurate subsurface models. In this paper, in order to avoid matching such incorrect phase information during the early WRI iterations, we design a new cost function based upon phase retrieval, namely a process which seeks to reconstruct a signal from the amplitude of linear measurements. This new formulation, called Wavefield Inversion with Phase Retrieval (WIPR), further improves the robustness of the parameter estimation subproblem by a suitable phase correction. We implement the resulting WIPR problem with an alternating-direction approach, which combines the Majorization-Minimization (MM) algorithm to linearise the phase-retrieval term and a variable splitting technique based upon the alternating direction method of multipliers (ADMM). This new workflow equipped with Tikhonov-total variation (TT) regularization, which is the combination of second-order Tikhonov and total variation regularizations and bound constraints, successfully reconstructs the 2004 BP salt model from a sparse fixed-spread acquisition using a 3~Hz starting frequency and a homogeneous initial velocity model.


title: Grammatical Sequence Prediction for Real-Time Neural Semantic Parsing

abstract: While sequence-to-sequence (seq2seq) models achieve state-of-the-art performance in many natural language processing tasks, they can be too slow for real-time applications. One performance bottleneck is predicting the most likely next token over a large vocabulary; methods to circumvent this bottleneck are a current research topic. We focus specifically on using seq2seq models for semantic parsing, where we observe that grammars often exist which specify valid formal representations of utterance semantics. By developing a generic approach for restricting the predictions of a seq2seq model to grammatically permissible continuations, we arrive at a widely applicable technique for speeding up semantic parsing. The technique leads to a 74% speed-up on an in-house dataset with a large vocabulary, compared to the same neural model without grammatical restrictions.


title: Instability of a smooth shear layer through wave interactions

abstract: Wave interaction theory can be used as a tool to understand and predict instability in a variety of homogeneous and stratified shear flows. It is however, most often limited to piecewise-linear profiles of the shear layer background velocity, in which stable vorticity wave modes can be easily identified, and their interaction quantified. This approach to understanding shear flow instability is extended herein to smooth shear layer profiles. We describe a method, by which the stable vorticity wave modes can be identified, and show that their interaction results in an excellent description of the stability properties of the smooth shear layer, thus demonstrating the presence of the wave interaction mechanism in smooth shear flows.


title: Computational Phenotype Discovery via Probabilistic Independence

abstract: Computational Phenotype Discovery research has taken various pragmatic approaches to disentangling phenotypes from the episodic observations in Electronic Health Records. In this work, we use transformation into continuous, longitudinal curves to abstract away the sparse irregularity of the data, and we introduce probabilistic independence as a guiding principle for disentangling phenotypes into patterns that may more closely match true pathophysiologic mechanisms. We use the identification of liver disease patterns that presage development of Hepatocellular Carcinoma as a proof-of-concept demonstration.


title: MDS coding is better than replication for job completion times

abstract: In a multi-server system, how can one get better performance than random assignment of jobs to servers if queue-states cannot be queried by the dispatcher? A replication strategy has recently been proposed where $d$ copies of each arriving job are sent to servers chosen at random. The job's completion time is the first time that the service of any of its copies is complete. On completion, redundant copies of the job are removed from other queues so as not to overburden the system. For digital jobs, where the objects to be served can be algebraically manipulated, and for servers whose output is a linear function of their input, here we consider an alternate strategy: Maximum Distance Separable (MDS) codes. For every batch of $n$ digital jobs that arrive, $n+m$ linear combinations are created over the reals or a large finite field, and each coded job is sent to a random server. The batch completion time is the first time that any $n$ of the $n+m$ coded jobs are served, as the evaluation of $n$ original jobs can be recovered by Gaussian elimination. If redundant jobs can be removed from queues on batch completion, we establish that in order to get the improved response-time performance of sending $d$ copies of each of $n$ jobs via the replication strategy, with the MDS methodology it suffices to send $n+d$ jobs. That is, while replication is multiplicative, MDS is linear.


title: Optimal make take fees in a multi market maker environment

abstract: Following the recent literature on make take fees policies, we consider an exchange wishing to set a suitable contract with several market makers in order to improve trading quality on its platform. To do so, we use a principal-agent approach, where the agents (the market makers) optimise their quotes in a Nash equilibrium fashion, providing best response to the contract proposed by the principal (the exchange). This contract aims at attracting liquidity on the platform. This is because the wealth of the exchange depends on the arrival of market orders, which is driven by the spread of market makers. We compute the optimal contract in quasi explicit form and also derive the optimal spread policies for the market makers. Several new phenomena appears in this multi market maker setting. In particular we show that it is not necessarily optimal to have a large number of market makers in the presence of a contracting scheme.


title: Resolution of the St. Petersburg paradox using Von Mises axiom of randomness

abstract: In this article we will propose a completely new point of view for solving one of the most important paradoxes concerning game theory. The solution develop shifts the focus from the result to the strategy s ability to operate in a cognitive way by exploiting useful information about the system. In order to determine from a mathematical point of view if a strategy is cognitive, we use Von Mises' axiom of randomness. Based on this axiom, the knowledge of useful information consequently generates results that cannot be reproduced randomly. Useful information in this case may be seen as a significant datum for the recipient, for their present or future decision-making process. Finally, by resolving the paradox from this new point of view, we will demonstrate that an expected gain that tends toward infinity is not always a consequence of a cognitive and non-random strategy. Therefore, this result leads us to define a hierarchy of values in decision-making, where the cognitive aspect, whose statistical consequence is a divergence from random behaviour, turns out to be more important than the expected gain.


title: Numerical Optimization of Plasmid DNA Delivery Combined with Hyaluronidase Injection for Electroporation Protocol

abstract: The definition of an innovative therapeutic protocol requires the fine tuning of all the involved operations in order to maximize the efficiency. In some cases, the price of the experiments, or their duration, represents a great obstacle and the full potential of the protocol risks to be reduced or even hidden by a non-optimal application. The implementation of a numerical model of the protocol may represent the solution, allowing a systematic exploration of all the different alternatives, shedding the light on the most promising combination and also identifying the key elements/parameters. In this paper, the injection of a plasmid, preceded by a hyaluronidase injection, is simulated through a mathematical model. Some key elements of the administration protocol are identified by means of a mathematical optimization procedure, maximizing the efficacy of the therapy. As a side effect of the extensive investigation, robust solutions able to reduce the effects of human errors in the administration are also obtained.


title: Order out of a Coulomb phase and Higgs transtion: frustrated transverse interactions of Nd2Zr2O7

abstract: The pyrochlore material Nd$_2$Zr$_2$O$_7$ with an "all-in-all-out" (AIAO) magnetic order shows novel quantum moment fragmentation with gapped flat dynamical spin ice modes. The parameterized spin Hamiltonian with a dominant frustrated ferromagnetic transverse term reveals a proximity to a U(1) spin liquid. Here we study magnetic excitations of Nd$_2$Zr$_2$O$_7$ above the ordering temperature ($T_\text{N}$) using high-energy-resolution inelastic neutron scattering. We find strong spin ice correlations at zero energy with the disappearance of gapped magnon excitations of the AIAO order. It seems that the gap to the dynamical spin ice closes above $T_\text{N}$ and the system enters a quantum spin ice state competing with and suppressing the AIAO order. Classical Monte Carlo, molecular dynamics and quantum boson calculations support the existence of a Coulombic phase above $T_\text{N}$. Our findings relate the magnetic ordering of Nd$_2$Zr$_2$O$_7$ with the Higgs mechanism and provide explanations for several previously reported experimental features.


title: Special Drawing Rights in a New Decentralized Century

abstract: Unfulfilled expectations from macro-economic initiatives during the Great Recession and the massive shift into globalization echo today with political upheaval, anti-establishment propaganda, and looming trade/currency wars that threaten domestic and international value chains. Once stable entities like the EU now look fragile and political instability in the US presents unprecedented challenges to an International Monetary System (IMS) that predominantly relies on the USD and EUR as reserve currencies. In this environment, it is critical for an international organization mandated to ensure stability to plan and act ahead. This paper argues that Decentralized Ledger-based technology (DLT) is key for the International Monetary Fund (IMF) to mitigate some of those risks, promote stability and safeguard world prosperity. Over the last two years, DLT has made headline news globally and created a worldwide excitement not seen since the internet entered the mainstream. The rapid adoption and open-to-all philosophy of DLT has already redefined global socioeconomics, promises to shake up the world of commerce/finance and challenges the workings of central governments/regulators. This paper examines DLT core premises and proposes a two-step approach for the IMF to expand Special Drawing Rights (SDR) into that sphere so as to become the originally envisioned numeraire and reserve currency for cross-border transactions in this new decentralized century.


title: From the measurement problem to the primitive ontology programme

abstract: The paper retraces the development from the measurement problem to the primitive ontology programme. It assesses the contribution of the GRW theory to this programme and discusses the pros and cons of the GRWm matter density ontology and the GRWf flash ontology in comparison to the Bohmian particle ontology. It thereby pursues the evaluation of the proposals for a primitive ontology of quantum physics.


title: Temperature and fluid velocity on the freeze-out surface from $\pi$, $K$, $p$ spectra in pp, p--Pb and Pb--Pb collisions

abstract: We present a new approach to take into account resonance decays in the blast-wave model fits of identified hadron spectra. Thanks to pre-calculated decayed particle spectra, we are able to extract, in a matter of seconds, the multiplicity dependence of the single freeze-out temperature $T_{\rm fo}$, average fluid velocity $\left<\beta_{\rm T}\right>$, velocity exponent $n$, and the volume $dV/dy$ of an expanding fireball. In contrast to blast-wave fits without resonance feed-down, our approach results in a freeze-out temperature of $T_{\rm fo}\approx 150\,\text{MeV}$, which has only weak dependence on multiplicity and collision system. Finally, we discuss separate chemical and kinetic freeze-outs separated by partial chemical equilibrium.


title: Divergence of weighted square averages in $L^1$

abstract: We study convergence of ergodic averages along squares with polynomial weights. For a given polynomial $P\in \mathbb{Z}[\cdot]$, consider the set of all $\theta\in[0,1)$ such that for every aperiodic system $(X,\mu, T)$ there is a function $f\in L^1(X,\mu)$ such that the weighted averages along squares $$ {\frac{1}{N}\sum_{n=1}^N} e(P(n)\theta)T^{n^2}f $$ diverge on a set with positive measure. We show that this set is residual and includes the rational numbers as well as a dense set of Liouville numbers. This on one hand extends the divergence result for squares in $L^1$ of the first author and Mauldin and on the other hand shows that the convergence result for linear weights for squares due to the second author and Krause in $L^p$, $p>1$ does not hold for $p=1$.


title: Model Checking Data Flows in Concurrent Network Updates (Full Version)

abstract: We present a model checking approach for the verification of data flow correctness in networks during concurrent updates of the network configuration. This verification problem is of great importance for software-defined networking (SDN), where errors can lead to packet loss, black holes, and security violations. Our approach is based on a specification of temporal properties of individual data flows, such as the requirement that the flow is free of cycles. We check whether these properties are simultaneously satisfied for all active data flows while the network configuration is updated. To represent the behavior of the concurrent network controllers and the resulting evolutions of the configurations, we introduce an extension of Petri nets with a transit relation, which characterizes the data flow caused by each transition of the Petri net. For safe Petri nets with transits, we reduce the verification of temporal flow properties to a circuit model checking problem that can be solved with effective verification techniques like IC3, interpolation, and bounded model checking. We report on encouraging experiments with a prototype implementation based on the hardware model checker ABC.


title: HireNet: a Hierarchical Attention Model for the Automatic Analysis of Asynchronous Video Job Interviews

abstract: New technologies drastically change recruitment techniques. Some research projects aim at designing interactive systems that help candidates practice job interviews. Other studies aim at the automatic detection of social signals (e.g. smile, turn of speech, etc...) in videos of job interviews. These studies are limited with respect to the number of interviews they process, but also by the fact that they only analyze simulated job interviews (e.g. students pretending to apply for a fake position). Asynchronous video interviewing tools have become mature products on the human resources market, and thus, a popular step in the recruitment process. As part of a project to help recruiters, we collected a corpus of more than 7000 candidates having asynchronous video job interviews for real positions and recording videos of themselves answering a set of questions. We propose a new hierarchical attention model called HireNet that aims at predicting the hirability of the candidates as evaluated by recruiters. In HireNet, an interview is considered as a sequence of questions and answers containing salient socials signals. Two contextual sources of information are modeled in HireNet: the words contained in the question and in the job position. Our model achieves better F1-scores than previous approaches for each modality (verbal content, audio and video). Results from early and late multimodal fusion suggest that more sophisticated fusion schemes are needed to improve on the monomodal results. Finally, some examples of moments captured by the attention mechanisms suggest our model could potentially be used to help finding key moments in an asynchronous job interview.


title: Deep-ocean inertial subrange small bandwidth coherence and Ozmidov-frequency separation

abstract: The inertial subrange of turbulence in a density stratified environment is the transition from internal waves to isotropic turbulence, but it is unclear how to interpret its extension to anisotropic stratified turbulence. Knowledge about stratified turbulence is relevant for the dispersal of suspended matter in geophysical flows, such as in most of the ocean. For studying internal-wave-induced ocean-turbulence moored high-resolution temperature (T-)sensors are used. Spectra from observations on episodic quasi-convective internal wave breaking above a steep slope of large seamount Josephine in the Northeast-Atlantic demonstrate an inertial subrange that can be separated in two parts: A large-scale part with relatively coherent portions adjacent to less coherent portions, and a small-scale part that is smoothly continuous (to within standard error). The separation is close to the Ozmidov frequency, and coincides with the transition from anisotropic/quasi-deterministic stratified turbulence to isotropic/stochastic inertial convective motions as inferred from a comparison of vertical and horizontal co-spectra. These observations contrast with T-sensor observations of shear-dominated internal wave breaking in an equally turbulent environment above the slope of a small Mid-Atlantic ridge-crest, which demonstrate a stochastic inertial subrange throughout.


title: Online Supervised Learning for Traffic Load Prediction in Framed-ALOHA Networks

abstract: Predicting the current backlog, or traffic load, in framed-ALOHA networks enables the optimization of resource allocation, e.g., of the frame size. However, this prediction is made difficult by the lack of information about the cardinality of collisions and by possibly complex packet generation statistics. Assuming no prior information about the traffic model, apart from a bound on its temporal memory, this paper develops an online learning-based adaptive traffic load prediction method that is based on Recurrent Neural Networks (RNN) and specifically on the Long Short-Term Memory (LSTM) architecture. In order to enable online training in the absence of feedback on the exact cardinality of collisions, the proposed strategy leverages a novel approximate labeling technique that is inspired by Method of Moments (MOM) estimators. Numerical results show that the proposed online predictor considerably outperforms conventional methods and is able to adapt to changing traffic statistics.


title: DropAttention: A Regularization Method for Fully-Connected Self-Attention Networks

abstract: Variants dropout methods have been designed for the fully-connected layer, convolutional layer and recurrent layer in neural networks, and shown to be effective to avoid overfitting. As an appealing alternative to recurrent and convolutional layers, the fully-connected self-attention layer surprisingly lacks a specific dropout method. This paper explores the possibility of regularizing the attention weights in Transformers to prevent different contextualized feature vectors from co-adaption. Experiments on a wide range of tasks show that DropAttention can improve performance and reduce overfitting.


title: Importance-Aware Semantic Segmentation with Efficient Pyramidal Context Network for Navigational Assistant Systems

abstract: Semantic Segmentation (SS) is a task to assign semantic label to each pixel of the images, which is of immense significance for autonomous vehicles, robotics and assisted navigation of vulnerable road users. It is obvious that in different application scenarios, different objects possess hierarchical importance and safety-relevance, but conventional loss functions like cross entropy have not taken the different levels of importance of diverse traffic elements into consideration. To address this dilemma, we leverage and re-design an importance-aware loss function, throwing insightful hints on how importance of semantics are assigned for real-world applications. To customize semantic segmentation networks for different navigational tasks, we extend ERF-PSPNet, a real-time segmenter designed for wearable device aiding visually impaired pedestrians, and propose BiERF-PSPNet, which can yield high-quality segmentation maps with finer spatial details exceptionally suitable for autonomous vehicles. A comprehensive variety of experiments with these efficient pyramidal context networks on CamVid and Cityscapes datasets demonstrates the effectiveness of our proposal to support diverse navigational assistant systems.


title: Climate Modeling and Bifurcation

abstract: Many papers and monographs were written about the modeling the Earth climate and its variability. However there is still an obvious need for a module that presents the fundamentals of climate modeling to students at the undergraduate level. The present educational paper attempts to fill in this gap. To this end we collect in this paper the relevant climate data and present a simple zero and one dimensional models for the mean temperature of the Earth. These models can exhibit bifurcations from the present Earth climate to an ice age or a "Venus type of climate". The models are accompanied by Matlab programs which enable the user to change the models parameters and explore the impact that these changes might have on their predictions on Earth climate.


title: Two-dimensional imbalanced Fermi gas in antiparallel magnetic fields

abstract: We study a two-dimensional Fermi gas with an attractive interaction subjected to synthetic magnetic fields, which are assumed to be mutually antiparallel for two different spin components with population imbalance. By employing the mean-field approximation, we show that the Fulde-Ferrell state is energetically favored over the Larkin-Ovchinnikov state in the weak-coupling limit. We then elucidate the zero-temperature phase diagram in the space of attraction and two chemical potentials analytically at weak coupling as well as numerically beyond it. Rich structures consisting of quantum Hall insulator, unpolarized superfluid, and Fulde-Ferrell phases separated by various second-order and first-order quantum phase transitions are found.


title: BurstCube: Concept, Performance, and Status

abstract: The first simultaneous detection of a short gamma-ray burst (SGRB) with a gravitational-wave (GW) signal ushered in a new era of multi-messenger astronomy. In order to increase the number of SGRB-GW simultaneous detections, we need full sky coverage in the gamma-ray regime. BurstCube, a CubeSat for Gravitational Wave Counterparts, aims to expand sky coverage in order to detect and localize gamma-ray bursts (GRBs). BurstCube will be comprised of 4 Cesium Iodide scintillators coupled to arrays of Silicon photo-multipliers on a 6U CubeSat bus (a single U corresponds to cubic unit $\sim$10 cm $\times$ 10 cm $\times$ 10 cm) and will be sensitive to gamma-rays between 50 keV and 1 MeV, the ideal energy range for GRB prompt emission. BurstCube will assist current observatories, such as $Swift$ and $Fermi$, in the detection of GRBs as well as provide astronomical context to gravitational wave events detected by Advanced LIGO, Advanced Virgo, and KAGRA. BurstCube is currently in its development and testing phase to prepare for launch readiness in the fall of 2021. We present the mission concept, preliminary performance, and status.


title: The addition on Jacobian varieties from a geometric viewpoint

abstract: We give a geometric interpretation of the group law for Jacobian varieties by extending the geometric construction of chords and tangents on an elliptic curve. For any given algebraic curve $\mathcal X$ and reduced divisors $D_1, D_2 \in \mbox{Jac } \mathcal X$, we define curves $\mathcal X^\prime$ and $\mathcal X^{"}$ such that the intersection $\mathcal X \cap \mathcal X^\prime$ determines precisely the divisor $-(D_1+D_2)$ and the intersection $\mathcal X\cap \mathcal X^{"}$ determines $D_1+D_2$. For superelliptic curves such formulas are made explicit.


title: Topological Constraints in the Reconnection of Vortex Braids

abstract: We study the relaxation of a topologically non-trivial vortex braid with zero net helicity in a barotropic fluid. The aim is to investigate the extent to which the topology of the vorticity field -- characterized by braided vorticity field lines -- determines the dynamics, particularly the asymptotic behaviour under vortex reconnection in an evolution at high Reynolds numbers 25,000. Analogous to the evolution of braided magnetic fields in plasma, we find that the relaxation of our vortex braid leads to a simplification of the topology into large-scale regions of opposite swirl, consistent with an inverse cascade of the helicity. The change of topology is facilitated by a cascade of vortex reconnection events. During this process the existence of regions of positive and negative kinetic helicity imposes a lower bound for the kinetic energy. For the enstrophy we derive analytically a lower bound given by the presence of unsigned kinetic helicity, which we confirm in our numerical experiments.


title: Compact and high-precision wavemeters using the Talbot effect and signal processing

abstract: Precise knowledge of a laser's wavelength is crucial for applications from spectroscopy to telecommunications. Here we present a wavemeter which operates on the Talbot effect. Tone parameter extraction algorithms are used to retrieve the frequency of the periodic signal obtained in the sampled Talbot interferogram. Theoretical performance analysis based on the Cram\'er-Rao lower bound (CRLB) as well as experimental results are presented and discussed. With this scheme, we experimentally demonstrate a compact and high-precision wavemeter with below 10 pm single-shot estimation uncertainty under the 3-$\sigma$ criterion around 780 nm.


title: An Empirical Analysis of the Python Package Index (PyPI)

abstract: In this research, we provide a comprehensive empirical summary of the Python Package Repository, PyPI, including both package metadata and source code covering 178,592 packages, 1,745,744 releases, 76,997 contributors, and 156,816,750 import statements. We provide counts and trends for packages, releases, dependencies, category classifications, licenses, and package imports, as well as authors, maintainers, and organizations. As one of the largest and oldest software repositories as of publication, PyPI provides insight not just into the Python ecosystem today, but also trends in software development and licensing more broadly over time. Within PyPI, we find that the growth of the repository has been robust under all measures, with a compound annual growth rate of 47% for active packages, 39% for new authors, and 61% for new import statements over the last 15 years. As with many similar social systems, we find a number of highly right-skewed distributions, including the distribution of releases per package, packages and releases per author, imports per package, and size per package and release. However, we also find that most packages are contributed by single individuals, not multiple individuals or organizations. The data, methods, and calculations herein provide an anchor for public discourse on PyPI and serve as a foundation for future research on the Python software ecosystem.


title: $q$-deformed 3D Loop Gravity on the Torus

abstract: The $q$-deformed loop gravity framework was introduced as a canonical formalism for the Turaev-Viro model (with $\Lambda < 0$), allowing to quantize 3D Euclidean gravity with a (negative) cosmological constant using a quantum deformation of the gauge group. We describe its application to the 2-torus, explicitly writing the $q$-deformed gauge symmetries and deriving the reduced physical phase space of Dirac observables, which leads back to the Goldman brackets for the moduli space of flat connections. Furthermore it turns out that the $q$-deformed loop gravity can be derived through a gauge fixing from the Fock-Rosly bracket, which provides an explicit link between loop quantum gravity (for $q$ real) and the combinatorial quantization of 3d gravity as a Chern-Simons theory with non-vanishing cosmological constant $\Lambda<0$. A side-product is the reformulation of the loop quantum gravity phase space for vanishing cosmological constant $\Lambda=0$, based on $\mathrm{SU}(2)$ holonomies and $\mathfrak{su}(2)$ fluxes, in terms of $\mathrm{ISU}(2)$ Poincar\'e holonomies. Although we focus on the case of the torus as an example, our results outline the general equivalence between 3D $q$-deformed loop quantum gravity and the combinatorial quantization of Chern-Simons theory for arbitrary graph and topology.


title: The Virtual Patch Clamp: Imputing C. elegans Membrane Potentials from Calcium Imaging

abstract: We develop a stochastic whole-brain and body simulator of the nematode roundworm Caenorhabditis elegans (C. elegans) and show that it is sufficiently regularizing to allow imputation of latent membrane potentials from partial calcium fluorescence imaging observations. This is the first attempt we know of to "complete the circle," where an anatomically grounded whole-connectome simulator is used to impute a time-varying "brain" state at single-cell fidelity from covariates that are measurable in practice. The sequential Monte Carlo (SMC) method we employ not only enables imputation of said latent states but also presents a strategy for learning simulator parameters via variational optimization of the noisy model evidence approximation provided by SMC. Our imputation and parameter estimation experiments were conducted on distributed systems using novel implementations of the aforementioned techniques applied to synthetic data of dimension and type representative of that which are measured in laboratories currently.


title: On truncated spectral regularization for an ill-posed evolution equation

abstract: In this note we consider the {\it spectral truncation} as the regularization for an ill-posed non-homogeneous parabolic final value problem, and obtain error estimates under a genral source condition when the data, which consist of the non-homogeneous term as well as the final value, are noisy. The resulting error estimate is compared with the corresponding estimate under the Lavrentieve method, and showed that the truncation method has no index of saturation.


title: Bayesian Analysis of Spatial Generalized Linear Mixed Models with Laplace Random Fields

abstract: Gaussian random field (GRF) models are widely used in spatial statistics to capture spatially correlated error. We investigate the results of replacing Gaussian processes with Laplace moving averages (LMAs) in spatial generalized linear mixed models (SGLMMs). We demonstrate that LMAs offer improved predictive power when the data exhibits localized spikes in the response. SGLMMs with LMAs are shown to maintain analogous parameter inference and similar computing to Gaussian SGLMMs. We propose a novel discrete space LMA model for irregular lattices and construct conjugate samplers for LMAs with georeferenced and areal support. We provide a Bayesian analysis of SGLMMs with LMAs and GRFs over multiple data support and response types.


title: Approximating APSP without Scaling: Equivalence of Approximate Min-Plus and Exact Min-Max

abstract: Zwick's $(1+\varepsilon)$-approximation algorithm for the All Pairs Shortest Path (APSP) problem runs in time $\widetilde{O}(\frac{n^\omega}{\varepsilon} \log{W})$, where $\omega \le 2.373$ is the exponent of matrix multiplication and $W$ denotes the largest weight. This can be used to approximate several graph characteristics including the diameter, radius, median, minimum-weight triangle, and minimum-weight cycle in the same time bound. Since Zwick's algorithm uses the scaling technique, it has a factor $\log W$ in the running time. In this paper, we study whether APSP and related problems admit approximation schemes avoiding the scaling technique. That is, the number of arithmetic operations should be independent of $W$; this is called strongly polynomial. Our main results are as follows. - We design approximation schemes in strongly polynomial time $O(\frac{n^\omega}{\varepsilon} \text{polylog}(\frac{n}{\varepsilon}))$ for APSP on undirected graphs as well as for the graph characteristics diameter, radius, median, minimum-weight triangle, and minimum-weight cycle on directed or undirected graphs. - For APSP on directed graphs we design an approximation scheme in strongly polynomial time $O(n^{\frac{\omega + 3}{2}} \varepsilon^{-1} \text{polylog}(\frac{n}{\varepsilon}))$. This is significantly faster than the best exact algorithm. - We explain why our approximation scheme for APSP on directed graphs has a worse exponent than $\omega$: Any improvement over our exponent $\frac{\omega + 3}{2}$ would improve the best known algorithm for Min-Max Product In fact, we prove that approximating directed APSP and exactly computing the Min-Max Product are equivalent.


title: A local maximum in the superconducting transition temperature of Nb-doped strontium titanate under uniaxial compressive stress

abstract: Superconducting strontium titanate (STO) is in the spotlight as a low carrier concentration semiconductor in proximity to polar order. Its superconducting pairing mechanism poses an open fundamental challenge, which may be resolved by controlling how strongly the superconducting and polar orders interact. Here, we show for the first time that non-monotonic superconducting transition temperature behavior in uniaxially compressed STO can occur, revealing a reduction followed by a peak in the superconducting transition temperature. The corresponding displacements in the lattice are extremely small, in the sub picometer range, indicating that this material approaches a singularity in electron-phonon coupling, consistent with STO transforming to the polar (ferroelectric) phase that influences the superconductivity.


title: New gravitational self-force analytical results for eccentric equatorial orbits around a Kerr black hole: redshift invariant

abstract: The Detweiler-Barack-Sago redshift function for particles moving along slightly eccentric equatorial orbits around a Kerr black hole is currently known up to the second order in eccentricity, second order in spin parameter, and the 8.5 post-Newtonian order. We improve the analytical computation of such a gauge-invariant quantity by including terms up to the fourth order in eccentricity at the same post-Newtonian approximation level. We also check that our results agrees with the corresponding post-Newtonian expectation of the same quantity, calculated by using the currently known Hamiltonian for spinning binaries.


title: AMBITION -- Comet Nucleus Cryogenic Sample Return (White paper for ESA's Voyage 2050 programme)

abstract: This white paper proposes that AMBITION, a Comet Nucleus Sample Return mission, be a cornerstone of ESA's Voyage 2050 programme. We summarise some of the most important questions still open in cometary science after the successes of the Rosetta mission, many of which require sample analysis using techniques that are only possible in laboratories on Earth. We then summarise measurements, instrumentation and mission scenarios that can address these questions, with a recommendation that ESA select an ambitious cryogenic sample return mission. Rendezvous missions to Main Belt comets and Centaurs are compelling cases for M-class missions, expanding our knowledge by exploring new classes of comets. AMBITION would engage a wide community, drawing expertise from a vast range of disciplines within planetary science and astrophysics. With AMBITION, Europe will continue its leadership in the exploration of the most primitive Solar System bodies.


title: New gravitational self-force analytical results for eccentric equatorial orbits around a Kerr black hole: gyroscope precession

abstract: We analytically compute the gravitational self-force correction to the gyroscope precession along slightly eccentric equatorial orbits in the Kerr spacetime, generalizing previous results for the Schwarzschild spacetime. Our results are accurate through the 9.5 post-Newtonian order and to second order in both eccentricity and rotation parameter. We also provide a post-Newtonian check of our results based on the currently known Hamiltonian for spinning binaries.


title: Analytical determination of the periastron advance in spinning binaries from self-force computations

abstract: We present the first analytical computation of the (conservative) gravitational self-force correction to the periastron advance around a spinning black hole. Our result is accurate to the second order in the rotational parameter and through the 9.5 post-Newtonian level. It has been obtained as the circular limit of the correction to the gyroscope precession invariant along slightly eccentric equatorial orbits in the Kerr spacetime. The latter result is also new and we anticipate here the first few terms only of the corresponding post-Newtonian expansion.


title: Excluded-volume effects of radial oscillations in disks confined to a circular box

abstract: The effect of radial vibrations on the properties of one or two disks confined to a circular trap in contact with a thermal reservoir are investigated. The vibrational amplitudes and energies are assumed to be quantized, with the motions corresponding roughly to certain modes for ringlike or tetrahedral molecules (such as benzene or methane, respectively). The calculation of the partition function requires integrations over the internal phases describing the oscillations, as well as the disks' center-of-mass positions and momenta; while an exact result is obtained for a single disk, for two disks the position-space integration can only be approximated. In spite of the small number of disks considered, various "thermodynamic" quantities are evaluated from the partition function. It is found that the average energy of the system is increased---compared to that for rigid disks---as are the entropy and compressibility; the pressure, however, is decreased, and there is a variable effect on the heat capacity, depending on the ratio of the vibrational energy to the temperature. These changes can be traced either directly or indirectly to the oscillations causing an effective increase in the area available to the molecules within the circle, which in turn leads to an increase in the size of the accessible phase space, with the increase being larger for higher energy states.


title: A numerical study of the run-up and the force exerted on a vertical wall by a solitary wave propagating over two tandem trenches and impinging on the wall

abstract: The propagation and transformation of water waves over varying bathymetries is a subject of fundamental interest to ocean, coastal and harbor engineers. The specific bathymetry considered in this paper consists of one or two, naturally formed or man-made, trenches. The problem we focus on is the transformation of an incoming solitary wave by the trench(es), and the impact of the resulting wave system on a vertical wall located after the trench(es). The maximum run-up and the maximum force exerted on the wall are calculated for various lengths and heights of the trench(es), and are compared with the corresponding quantities in the absence of them. The calculations have been performed by using the fully nonlinear water-wave equations, in the form of the Hamiltonian coupled-mode theory, recently developed in Papoutsellis et al (Eur. J. Mech. B/Fluids, Vol. 72, 2018, pp. 199-224). Comparisons of the calculated free-surface elevation with existing experimental results indicate that the effect of the vortical flow, inevitably developed within and near the trench(es) but not captured by any potential theory, is not important concerning the frontal wave flow regime. This suggests that the predictions of the run-up and the force on the wall by nonlinear potential theory are expected to be nearly realistic. The main conclusion of our investigation is that the presence of two tandem trenches in front of the wall may reduce the run-up from (about) 20% to 45% and the force from 15% to 38%, depending on the trench dimensions and the wave amplitude. The percentage reduction is greater for higher waves. The presence of only one trench leads to reductions 1.4 - 1.7 times smaller.


title: Automated Discovery and Classification of Training Videos for Career Progression

abstract: Job transitions and upskilling are common actions taken by many industry working professionals throughout their career. With the current rapidly changing job landscape where requirements are constantly changing and industry sectors are emerging, it is especially difficult to plan and navigate a predetermined career path. In this work, we implemented a system to automate the collection and classification of training videos to help job seekers identify and acquire the skills necessary to transition to the next step in their career. We extracted educational videos and built a machine learning classifier to predict video relevancy. This system allows us to discover relevant videos at a large scale for job title-skill pairs. Our experiments show significant improvements in the model performance by incorporating embedding vectors associated with the video attributes. Additionally, we evaluated the optimal probability threshold to extract as many videos as possible with minimal false positive rate.


title: Enhanced Kinetic Impactor for Deflecting Large Potentially Hazardous Asteroids via Maneuvering Space Rocks

abstract: Asteroid impacts pose a major threat to all life on Earth. The age of the dinosaurs was abruptly ended by a 10-km-diameter asteroid. Currently, a nuclear device is the only means of deflecting large Potentially Hazardous Asteroids (PHAs) away from an Earth-impacting trajectory. The Enhanced Kinetic Impactor (EKI) concept is proposed to deflect large PHAs via maneuvering space rocks. First, an unmanned spacecraft is launched to rendezvous with an intermediate Near-Earth Asteroid (NEA). Then, more than one hundred tons of rocks are collected from the NEA as the EKI. The NEA can also be captured as the EKI if the NEA is very small. Finally, the EKI is maneuvered to impact the PHA at a high speed, resulting in a significant deflection of the PHA. For example, to deflect Apophis, as much as 200 t of rocks could be collected from a NEA as the EKI based on existing engineering capabilities. The EKI can produce a velocity increment (delta-v) of 39.81 mm/s in Apophis, thereby increasing the minimum geocentric distance during the close encounter in 2029 by 1,866.93 km. This mission can be completed in 3.96 years with a propellant cost of 2.98 t. Compared with a classic kinetic impactor, the deflection distance can be increased one order of magnitude. The EKI concept breaks through the limitation of the ground-based launch capability, which can significantly increase the mass of the impactor. We anticipate that our research will be a starting point for efficient planetary defense against large PHAs.


title: Controlling decoherence via $\mathcal{PT}$-symmetric non-Hermitian open quantum systems

abstract: We have studied the effect of a non-Hermitian Bosonic bath on the dynamics of a two-level spin system. The non-Hermitian Hamiltonian of the bath is chosen such that it converges to the harmonic oscillator Hamiltonian when the non-Hermiticity is switched off. We calculate the dynamics of the spin system and found that the non-Hermiticity can have positive as well as negative effects on the coherence of the system. However, the decoherence can be completely eliminated by choosing the non-Hermiticity parameter and the phase of the system bath interaction appropriately. We have also studied the effect of this bath on the entanglement of a two-spin system when the bath is acting only on one spin.


title: Structural models based on 3D constitutive laws: variational structure and numerical solution

abstract: In all structural models, the section or fiber response is a relation between the strain measures and the stress resultants. This relation can only be expressed in a simple analytical form when the material response is linear elastic. For other, more complex and interesting situations, kinematic and kinetic hypotheses need to be invoked, and a constrained three-dimensional constitutive relation has to be employed at every point of the section in order to implement non-linear and dissipative constitutive laws into dimensionally reduced structural models. In this article we explain in which sense reduced constitutive models can be expressed as minimization problems, helping to formulate the global equilibrium as a single optimization problem. Casting the problem this way has implications from the mathematical and numerical points of view, naturally defining error indicators. General purpose solution algorithms for constrained material response, with and without optimization character, are discussed and provided in an open-source library.


title: Info Intervention

abstract: Causal diagrams based on do intervention are useful tools to formalize, process and understand causal relationship among variables. However, the do intervention has controversial interpretation of causal questions for non-manipulable variables, and it also lacks the power to check the conditions related to counterfactual variables. This paper introduces a new info intervention to tackle these two problems, and provides causal diagrams for communication and theoretical focus based on this info intervention. Our info intervention intervenes the input/output information of causal mechanisms, while the do intervention intervenes the causal mechanisms. Consequently, the causality is viewed as information transfer in the info intervention framework. As an extension, the generalized info intervention is also proposed and studied in this paper.


title: A cell-cell repulsion model on a hyperbolic Keller-Segel equation

abstract: In this work, we discuss a cell-cell repulsion population dynamic model based on a hyperbolic Keller-Segel equation with two populations. This model can well describe the cell growth and dispersion in the cell co-culture experiment in the work of Pasquier et al. \cite{Pasquier2011}. With the notion of solutions integrated along the characteristics, we prove the existence and uniqueness of the solution and the segregation property of the two species. From a numerical perspective, we can also observe that the model admits a competitive exclusion (the results are different from the corresponding ODE model). More importantly, our model shows the complexity of the short term (6 days) co-cultured cell distribution depending on the initial distribution of each species. Through numerical simulations, the impact of the initial distribution on the population ratio lies in the initial total cell number and our study shows that the population ratio is not impacted by the law of initial distribution. We also find that a fast dispersion rate gives a short-term advantage while the vital dynamic contributes to a long-term population advantage.


title: Precision calculations of $B \to V$ form factors in QCD

abstract: Applying the vacuum-to-$B$-meson correlation functions with an interpolating current for the light vector meson we construct the light-cone sum rules (LCSR) for the "effective" form factors $\xi_{\parallel}(n \cdot p)$, $\xi_{\perp}(n \cdot p)$, $\Xi_{\parallel}(\tau, n \cdot p)$ and $\Xi_{\perp}(\tau, n \cdot p)$, defined by the corresponding hadronic matrix elements in soft-collinear effective theory (SCET), entering the leading-power factorization formulae for QCD form factors responsible for $B \to V \ell \bar \nu_{\ell}$ and $B \to V \ell \bar \ell$ decays at large hadronic recoil at next-to-leading-order in QCD. The light-quark mass effect for the local SCET form factors $\xi_{\parallel}(n \cdot p)$ and $\xi_{\perp}(n \cdot p)$ is also computed from the LCSR method with the $B$-meson light-cone distribution amplitude $\phi_B^{+}(\omega, \mu)$ at ${\cal O}(\alpha_s)$. Furthermore, the subleading power corrections to $B \to V$ form factors from the higher-twist $B$-meson light-cone distribution amplitudes are also computed with the same method at tree level up to the twist-six accuracy. Having at our disposal the LCSR predictions for $B \to V$ form factors, we further perform new determinations of the CKM matrix element $|V_{ub}|$ from the semileptonic $B \to \rho \, \ell \, \bar \nu_{\ell}$ and $B \to \omega \, \ell \, \bar \nu_{\ell}$ decays, and predict the normalized differential branching fractions and the $q^2$-binned $K^{\ast}$ longitudinal polarization fractions of the exclusive rare $B \to K^{\ast} \, \nu_{\ell} \, \bar \nu_{\ell}$ decays.


title: SlimYOLOv3: Narrower, Faster and Better for Real-Time UAV Applications

abstract: Drones or general Unmanned Aerial Vehicles (UAVs), endowed with computer vision function by on-board cameras and embedded systems, have become popular in a wide range of applications. However, real-time scene parsing through object detection running on a UAV platform is very challenging, due to limited memory and computing power of embedded devices. To deal with these challenges, in this paper we propose to learn efficient deep object detectors through channel pruning of convolutional layers. To this end, we enforce channel-level sparsity of convolutional layers by imposing L1 regularization on channel scaling factors and prune less informative feature channels to obtain "slim" object detectors. Based on such approach, we present SlimYOLOv3 with fewer trainable parameters and floating point operations (FLOPs) in comparison of original YOLOv3 (Joseph Redmon et al., 2018) as a promising solution for real-time object detection on UAVs. We evaluate SlimYOLOv3 on VisDrone2018-Det benchmark dataset; compelling results are achieved by SlimYOLOv3 in comparison of unpruned counterpart, including ~90.8% decrease of FLOPs, ~92.0% decline of parameter size, running ~2 times faster and comparable detection accuracy as YOLOv3. Experimental results with different pruning ratios consistently verify that proposed SlimYOLOv3 with narrower structure are more efficient, faster and better than YOLOv3, and thus are more suitable for real-time object detection on UAVs. Our codes are made publicly available at https://github.com/PengyiZhang/SlimYOLOv3.


title: Improving the Accuracy of Principal Component Analysis by the Maximum Entropy Method

abstract: Classical Principal Component Analysis (PCA) approximates data in terms of projections on a small number of orthogonal vectors. There are simple procedures to efficiently compute various functions of the data from the PCA approximation. The most important function is arguably the Euclidean distance between data items, This can be used, for example, to solve the approximate nearest neighbor problem. We use random variables to model the inherent uncertainty in such approximations, and apply the Maximum Entropy Method to infer the underlying probability distribution. We propose using the expected values of distances between these random variables as improved estimates of the distance. We show by analysis and experimentally that in most cases results obtained by our method are more accurate than what is obtained by the classical approach. This improves the accuracy of a classical technique that have been used with little change for over 100 years.


title: The spectrum problem for Abelian l-groups and MV-algebras

abstract: This paper deals with the problem of characterizing those topological spaces which are homeomorphic to the prime spectra of MV-algebras or Abelian l-groups. As a first main result, we show that a topological space $X$ is the prime spectrum of an MV-algebra if and only if: (1) $X$ is spectral, and (2) the lattice of compact open subsets of $X$ is an epimorphic image of a lattice of "cylinder rational polyhedra" (a natural generalization of rational polyhedra) of some hypercube. As a second main result we extend our results to Abelian l-groups. That is, let $X$ be a spectral space and $K(X)$ the lattice of its compact open sets. The following are equivalent: (1) $X$ is the spectrum of some Abelian l-group; (2) $X$ is homeomorphic to $Spec(K(X))$ and $K(X)\cup\{\infty\}$ is isomorphic to the lattice of the compact open sets of a local MV-algebra, where $\infty>x$ for every $x\in K(X)$. Finally we axiomatize, in monadic second order logic, the lattices of cylinder rational polyhedra of dimension $1$ and $2$.


title: Error estimates for optimal control problems involving the Stokes system and Dirac measures

abstract: The aim of this work is to derive a priori error estimates for finite element discretizations of control--constrained optimal control problems that involve the Stokes system and Dirac measures. The first problem entails the minimization of a cost functional that involves point evaluations of the velocity field that solves the state equations. This leads to an adjoint problem with a linear combination of Dirac measures as a forcing term and whose solution exhibits reduced regularity properties. The second problem involves a control variable that corresponds to the amplitude of forces modeled as point sources. This leads to a solution of the state equations with reduced regularity properties. For each problem, we propose a finite element solution technique and derive a priori error estimates. Finally, we present numerical experiments, in two and three dimensions, that illustrate our theoretical developments.


title: Maximizing the ratio of eigenvalues of non-homogeneous partially hinged plates

abstract: We study the spectrum of non-homogeneous partially hinged plates having structural engineering applications. A possible way to prevent instability phenomena is to maximize the ratio between the frequencies of certain oscillating modes with respect to the density function of the plate; we prove existence of optimal densities and we investigate their analytic expression. This analysis suggests where to locate reinforcing material within the plate; some numerical experiments give further information and support the theoretical results.


title: The Bio-habitable Zone and atmospheric properties for Planets of Red Dwarfs

abstract: The Kepler data show that habitable small planets orbiting Red Dwarf stars (RDs) are abundant, and hence might be promising targets to look at for biomarkers and life. Planets orbiting within the Habitable Zone of RDs are close enough to be tidally locked. Some recent works have cast doubt on the ability of planets orbiting RDs to support life. In contrast, it is shown that temperatures suitable for liquid water and even for organic molecules may exist on tidally locked planets of RDs for a wide range of atmospheres. We chart the surface temperature distribution as a function of the irradiation, greenhouse factor and heat circulation. The habitability boundaries and their dependence on the atmospheric properties are derived. Extending our previous analyses of tidally locked planets, we find that tidally locked as well as synchronous (not completely locked) planets of RDs and K-type stars may support life, for a wider range of orbital distance and atmospheric conditions than previously thought. In particular, it is argued that life clement environments may be possible on tidally locked and synchronously orbiting planets of RDs and K-type stars, with conditions supporting Oxygenic Photosynthesis, which on Earth was a key to Complex life. Different climate projections and the biological significance of tidal locking on putative complex life are reviewed. We show that when the effect of continuous radiation is taken into account, the Photo-synthetically Active Radiation (PAR) available on tidally locked planets, even of RDs, could produce a high Potential Plant Productivity, in analogy to mid-summer growth at high latitudes on Earth. Awaiting the findings of TESS and JWST, we discuss the implications of the above arguments to the detection of biomarkers such as liquid water and oxygen, as well as to the abundance of biotic planets and life.


title: Some Bounds on the Double Domination of Signed Generalized Petersen Graphs and Signed I-Graphs

abstract: In a graph $G$, a vertex dominates itself and its neighbors. A subset $D \subseteq V(G)$ is a double dominating set of $G$ if $D$ dominates every vertex of $G$ at least twice. A signed graph $\Sigma = (G,\sigma)$ is a graph $G$ together with an assignment $\sigma$ of positive or negative signs to all its edges. A cycle in a signed graph is positive if the product of its edge signs is positive. A signed graph is balanced if all its cycles are positive. A subset $D \subseteq V(\Sigma)$ is a double dominating set of $\Sigma$ if it satisfies the following conditions: (i) $D$ is a double dominating set of $G$, and (ii) $\Sigma[D:V \setminus D]$ is balanced, where $\Sigma[D:V \setminus D]$ is the subgraph of $\Sigma$ induced by the edges of $\Sigma$ with one end point in $D$ and the other end point in $V \setminus D$. The cardinality of a minimum double dominating set of $\Sigma$ is the double domination number $\gamma_{\times 2}(\Sigma)$. In this paper, we give bounds for the double domination number of signed cubic graphs. We also obtain some bounds on the double domination number of signed generalized Petersen graphs and signed I-graphs.


title: Asymptotics of Moore exponent sets

abstract: Let $n$ be a positive integer and $I$ a $k$-subset of integers in $[0,n-1]$. Given a $k$-tuple $A=(\alpha_0, \cdots, \alpha_{k-1})\in \mathbb{F}^k_{q^n}$, let $M_{A,I}$ denote the matrix $(\alpha_i^{q^j})$ with $0\leq i\leq k-1$ and $j\in I$. When $I=\{0,1,\cdots, k-1\}$, $M_{A,I}$ is called a Moore matrix which was introduced by E. H. Moore in 1896. It is well known that the determinant of a Moore matrix equals $0$ if and only if $\alpha_0,\cdots, \alpha_{k-1}$ are $\mathbb{F}_q$-linearly dependent. We call $I$ that satisfies this property a Moore exponent set. In fact, Moore exponent sets are equivalent to maximum rank-distance (MRD) code with maximum left and right idealisers over finite fields. It is already known that $I=\{0,\cdots, k-1\}$ is not the unique Moore exponent set, for instance, (generalized) Delsarte-Gabidulin codes and the MRD codes recently discovered by Csajb\'ok, Marino, Polverino and the second author both give rise to new Moore exponent sets. By using algebraic geometry approach, we obtain an asymptotic classification result: for $q>5$, if $I$ is not an arithmetic progression, then there exist an integer $N$ depending on $I$ such that $I$ is not a Moore exponent set provided that $n>N$.


title: The Cosmological Consistency Relation in a Universe with Structure

abstract: In this short paper we determine the effects of structure on the cosmological consistency relation which is valid in a perfect Friedmann Universe. We show that within $\Lambda$CDM the consistency relation is violated by about 1.5% for redshifts $z\simeq 2$ and this violation raises up to 2% at $z\simeq 5$ and 3% at $z\simeq 10$ after which it settles at about 2.7% for $z>10$. This effect of cosmic structure on the distance redshift relation is also very sensitive to the determination of the dark energy equation of state via cosmic distances. It actually leads to an apparent unphysical behavior of $w(z)$ which even diverges at $z\sim 2.5$ and which we also discuss here.


title: Partition functions of $\mathcal{N}=(2,2)$ supersymmetric sigma models and Special geometry for the two-moduli non-Fermat Calabi-Yau manifold

abstract: We study the new case of the application of the JKLMR conjecture on the connection between the exact partition functions of $\mathcal{N}=(2,2)$ supersymmetric gauged linear sigma models (GLSM) on $S^2$ and special K\"ahler geometry on the moduli spaces of Calabi-Yau manifold $Y$. The last ones arise as manifolds of the supersymmetric vacua of the GLSM. We establish this correspondence using the Mirror symmetry in Batyrev's approach. Namely, starting from the two-moduli non-Fermat Calabi-Yau manifold $X$ we construct the dual GLSM with the supersymmetric vacua $Y$, which is the mirror for $X$. Knowing the special geometry on the complex moduli space of $X$ we verify the mirror version of the JKLMR conjecture by explicit computation.


title: Speed of transverse waves in a string revisited

abstract: In many introductory-level physics textbooks, the derivation of the formula for the speed of transverse waves in a string is either omitted altogether or presented under physically overly idealized assumptions about the shape of the considered wave pulse and the related velocity and acceleration distributions. In the paper, we derive the named formula by applying Newton's second law or the work-energy theorem to a finite element of the string, making no assumptions about the shape of the wave. We argue that the suggested method can help the student gain a deeper insight into the nature of waves and the related process of energy transport, as well as provide a new experience with the fundamental principles of mechanics as applied to extended and deformable bodies.


title: Multi-phase long-term autocorrelated diffusion: Stationary continuous-time Weierstrass walk vs. flight

abstract: In this paper we are examining diffusion properties of stationary continuous-time Weierstrass walk (CTWW). We are showing it is a multi-phase representation of the L\'evy walk. The hierarchical spatial-temporal coupling, combined with coupling between dynamic variables define the CTWW process. The walker moves here with a piecewise constant velocity between trajectory turning points. We have found the diffusion phase diagram of the CTWW consisting not only of anomalous non-Gaussian or non-fBm phases but also Brownian yet non-Gaussian ones. We compare the diffusion phase diagram of the stationary CTWW with the corresponding hierarchical continuous-time Weierstress flight (CTWF). The instantaneous jumps between trajectory turning points preceded by waiting define the CTWF process. It is a hierarchical representation of the L\'evy flight. We have found the diffusion phase diagram of the CTWF to be a small part of the corresponding CTWW one.


title: The Good, the Bad and the Ugly: Augmenting a black-box model with expert knowledge

abstract: We address a non-unique parameter fitting problem in the context of material science. In particular, we propose to resolve ambiguities in parameter space by augmenting a black-box artificial neural network (ANN) model with two different levels of expert knowledge and benchmark them against a pure black-box model.


title: How far are we from quantifying visual attention in mobile HCI?

abstract: With an ever-increasing number of mobile devices competing for our attention, quantifying when, how often, or for how long users visually attend to their devices has emerged as a core challenge in mobile human-computer interaction. Encouraged by recent advances in automatic eye contact detection using machine learning and device-integrated cameras, we provide a fundamental investigation into the feasibility of quantifying visual attention during everyday mobile interactions. We identify core challenges and sources of errors associated with sensing attention on mobile devices in the wild, including the impact of face and eye visibility, the importance of robust head pose estimation, and the need for accurate gaze estimation. Based on this analysis, we propose future research directions and discuss how eye contact detection represents the foundation for exciting new applications towards next-generation pervasive attentive user interfaces.


title: Collinear Drop

abstract: We introduce collinear drop jet substructure observables, which are unaffected by contributions from collinear radiation, and systematically probe soft radiation within jets. These observables can be designed to be either sensitive or insensitive to process-dependent soft radiation originating from outside the jet. Such collinear drop observables can be exploited as variables to distinguish quark, gluon, and color neutral initiated jets, for testing predictions for perturbative soft radiation in Monte Carlo simulations, for assessing models and universality for hadronization corrections, for examining the efficiency of pileup subtraction methods, and for any other application that leaves an imprint on soft radiation. We discuss examples of collinear drop observables that are based both on clustering and on jet shapes. Using the soft-collinear effective theory we derive factorization expressions for collinear drop observables from QCD jets, and carry out a resummation of logarithmically enhanced contributions at next-to-leading-logarithmic order. We also identify an infinite class of collinear drop observables for which the leading double logarithms are absent.


title: Sign singularity of the local energy transfer in space plasma turbulence

abstract: In weakly collisional space plasmas, the turbulent cascade provides most of the energy that is dissipated at small scales by various kinetic processes. Understanding the characteristics of such dissipative mechanisms requires the accurate knowledge of the fluctuations that make energy available for conversion at small scales, as different dissipation processes are triggered by fluctuations of a different nature. The scaling properties of different energy channels are estimated here using a proxy of the local energy transfer, based on the third-order moment scaling law for magnetohydrodynamic turbulence. In particular, the sign-singularity analysis was used to explore the scaling properties of the alternating positive-negative energy fluxes, thus providing information on the structure and topology of such fluxes for each of the different type of fluctuations. The results show the highly complex geometrical nature of the flux, and that the local contributions associated with energy and cross-helicity nonlinear transfer have similar scaling properties. Consequently, the fractal properties of current and vorticity structures are similar to those of the Alfv\'enic fluctuations.


title: Classifying Exoplanet Candidates with Convolutional Neural Networks: Application to the Next Generation Transit Survey

abstract: Vetting of exoplanet candidates in transit surveys is a manual process, which suffers from a large number of false positives and a lack of consistency. Previous work has shown that Convolutional Neural Networks (CNN) provide an efficient solution to these problems. Here, we apply a CNN to classify planet candidates from the Next Generation Transit Survey (NGTS). For training datasets we compare both real data with injected planetary transits and fully-simulated data, as well as how their different compositions affect network performance. We show that fewer hand labelled lightcurves can be utilised, while still achieving competitive results. With our best model, we achieve an AUC (area under the curve) score of $(95.6\pm{0.2})\%$ and an accuracy of $(88.5\pm{0.3})\%$ on our unseen test data, as well as $(76.5\pm{0.4})\%$ and $(74.6\pm{1.1})\%$ in comparison to our existing manual classifications. The neural network recovers 13 out of 14 confirmed planets observed by NGTS, with high probability. We use simulated data to show that the overall network performance is resilient to mislabelling of the training dataset, a problem that might arise due to unidentified, low signal-to-noise transits. Using a CNN, the time required for vetting can be reduced by half, while still recovering the vast majority of manually flagged candidates. In addition, we identify many new candidates with high probabilities which were not flagged by human vetters.


title: Filter Bank Regularization of Convolutional Neural Networks

abstract: Regularization techniques are widely used to improve the generality, robustness, and efficiency of deep convolutional neural networks (DCNNs). In this paper, we propose a novel approach of regulating DCNN convolutional kernels by a structured filter bank. Comparing with the existing regularization methods, such as $\ell_1$ or $\ell_2$ minimization of DCNN kernel weights and the kernel orthogonality, which ignore sample correlations within a kernel, the use of filter bank in regularization of DCNNs can mold the DCNN kernels to common spatial structures and features (e.g., edges or textures of various orientations and frequencies) of natural images. On the other hand, unlike directly making DCNN kernels fixed filters, the filter bank regularization still allows the freedom of optimizing DCNN weights via deep learning. This new DCNN design strategy aims to combine the best of two worlds: the inclusion of structural image priors of traditional filter banks to improve the robustness and generality of DCNN solutions and the capability of modern deep learning to model complex non-linear functions hidden in training data. Experimental results on object recognition tasks show that the proposed regularization approach guides DCNNs to faster convergence and better generalization than existing regularization methods of weight decay and kernel orthogonality.


title: MultiDepth: Single-Image Depth Estimation via Multi-Task Regression and Classification

abstract: We introduce MultiDepth, a novel training strategy and convolutional neural network (CNN) architecture that allows approaching single-image depth estimation (SIDE) as a multi-task problem. SIDE is an important part of road scene understanding. It, thus, plays a vital role in advanced driver assistance systems and autonomous vehicles. Best results for the SIDE task so far have been achieved using deep CNNs. However, optimization of regression problems, such as estimating depth, is still a challenging task. For the related tasks of image classification and semantic segmentation, numerous CNN-based methods with robust training behavior have been proposed. Hence, in order to overcome the notorious instability and slow convergence of depth value regression during training, MultiDepth makes use of depth interval classification as an auxiliary task. The auxiliary task can be disabled at test-time to predict continuous depth values using the main regression branch more efficiently. We applied MultiDepth to road scenes and present results on the KITTI depth prediction dataset. In experiments, we were able to show that end-to-end multi-task learning with both, regression and classification, is able to considerably improve training and yield more accurate results.


title: Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge

abstract: The Winograd Schema Challenge (WSC) is a natural language understanding task proposed as an alternative to the Turing test in 2011. In this work we attempt to solve WSC problems by reasoning with additional knowledge. By using an approach built on top of graph-subgraph isomorphism encoded using Answer Set Programming (ASP) we were able to handle 240 out of 291 WSC problems. The ASP encoding allows us to add additional constraints in an elaboration tolerant manner. In the process we present a graph based representation of WSC problems as well as relevant commonsense knowledge. This paper is under consideration for acceptance in TPLP.


title: Subaru narrow-band imaging search for Lyman continuum from galaxies at z>3 in the GOODS-N field

abstract: We report results of a search for galaxies at z>3 with Lyman continuum (LyC) emission using a narrow-band filter NB359 with Subaru / Suprime-Cam in a ~800 arcmin$^2$ blank field around the GOODS-N. We use 103 star-forming galaxies (SFGs) and 8 AGNs with spectroscopic redshifts in a range between 3.06 and 3.5, and 157 photometrically selected z=3.1 Lyman $\alpha$ emitter (LAE) candidates as the targets. After removing galaxies spectroscopically confirmed to be contaminated by foreground sources, we found two SFGs and one AGN as candidate LyC emitting sources among the targets with spectroscopic redshifts. Among LAE candidates, five sources are detected in the NB359 image, and three among them may be contaminated by foreground sources. We compare the sample galaxies in the GOODS-N with those in the SSA22, where a prominent protocluster at z=3.1 is known and the LyC search using the same NB359 filter has been made. Frequency of galaxies with LyC leakage in the SSA22 field may be about two times higher than the galaxies in the GOODS-N with the sample UV magnitude range, although the numbers of LyC detections in these fields are too small to make a statistically significant conclusion. By combining the sample galaxies in these fields, we place the 3$\sigma$ upper limits of the observed LyC-to-UV flux density ratio and LyC escape fraction for galaxies at z=3.1 with absolute UV magnitude $M_{UV} < -18.8$ as ($f_{LyC}/f_{UV})_{obs} < 0.036$ and $f_{esc}^{abs}<8$\%, respectively.


title: Graph Neural Lasso for Dynamic Network Regression

abstract: The regression of multiple inter-connected sequence data is a problem in various disciplines. Formally, we name the regression problem of multiple inter-connected data entities as the "dynamic network regression" in this paper. Within the problem of stock forecasting or traffic speed prediction, we need to consider both the trends of the entities and the relationships among the entities. A majority of existing approaches can't capture that information together. Some of the approaches are proposed to deal with the sequence data, like LSTM. The others use the prior knowledge in a network to get a fixed graph structure and do prediction on some unknown entities, like GCN. To overcome the limitations in those methods, we propose a novel graph neural network, namely Graph Neural Lasso (GNL), to deal with the dynamic network problem. GNL extends the GDU (gated diffusive unit) as the base neuron to capture the information behind the sequence. Rather than using a fixed graph structure, GNL can learn the dynamic graph structure automatically. By adding the attention mechanism in GNL, we can learn the dynamic relations among entities within each network snapshot. Combining these two parts, GNL is able to model the dynamic network problem well. Experimental results provided on two networked sequence datasets, i.e., Nasdaq-100 and METR-LA, show that GNL can address the network regression problem very well and is also very competitive among the existing approaches.


title: Accurate and Robust Eye Contact Detection During Everyday Mobile Device Interactions

abstract: Quantification of human attention is key to several tasks in mobile human-computer interaction (HCI), such as predicting user interruptibility, estimating noticeability of user interface content, or measuring user engagement. Previous works to study mobile attentive behaviour required special-purpose eye tracking equipment or constrained users' mobility. We propose a novel method to sense and analyse visual attention on mobile devices during everyday interactions. We demonstrate the capabilities of our method on the sample task of eye contact detection that has recently attracted increasing research interest in mobile HCI. Our method builds on a state-of-the-art method for unsupervised eye contact detection and extends it to address challenges specific to mobile interactive scenarios. Through evaluation on two current datasets, we demonstrate significant performance improvements for eye contact detection across mobile devices, users, or environmental conditions. Moreover, we discuss how our method enables the calculation of additional attention metrics that, for the first time, enable researchers from different domains to study and quantify attention allocation during mobile interactions in the wild.


title: Magnetic memory effect in ensembles of interacting anisotropic magnetic nanoparticles

abstract: We explore the influence of demagnetization interaction on magnetic memory effect by varying organization geometry of anisotropic ZnFe$_2$O$_4$ nanoparticles in an ensemble. The static and dynamic behaviour of two differently organized ensembles, compact ensemble (CE) and hollow core ensemble (HCE), are extensively studied by both dc and ac susceptibility, magnetic memory effect and spin relaxation. The frequency-dependence peak shifting of freezing temperature in both the systems is analyzed properly with the help of two dynamic scaling models: Vogel-Fulcher law and power law. Presence of cluster spin-glass phase is reflected from Vogel-Fulcher temperature $T_0$ $\simeq$ 142.58 K for CE, $\simeq$ 97 K for HCE and characteristic time constant $\tau_0$ $\simeq$ $8.85\times10^{-9}$ s for CE, $\simeq$ $3.8\times10^{-10}$ s for HCE; along with $\delta$T$_{Th}$ $\sim$ 0.1 for CE and 0.2 for HCE. The power law fitting with dynamic exponent $zv'$ = 6.2 $\pm$ 1.1 for CE, 6.3 $\pm$ 0.5 for HCE and single spin flip $\tau^*$ $\simeq$ $7.7\times10^{-11}$ s for CE, $\simeq$ $1.3\times10^{-10}$ s for HCE provide firm confirmation of cluster spin-glass phase. The progressive spin freezing across multiple metastable states with prominent memory effects is reflected in both the systems via nonequilibrium dynamics study. The hollow core geometry with anisotropic nanoparticles on surface with closer proximity leads to complex anisotropy energy landscape with enhanced demagnetizing field resulting highly frustrated surface spins. As a consequence, more prominent magnetic memory effect is observed in HCE with higher activation energy, reduced blocking temperature and enhanced coercivity than that of CE.


title: Learning Visual Actions Using Multiple Verb-Only Labels

abstract: This work introduces verb-only representations for both recognition and retrieval of visual actions, in video. Current methods neglect legitimate semantic ambiguities between verbs, instead choosing unambiguous subsets of verbs along with objects to disambiguate the actions. We instead propose multiple verb-only labels, which we learn through hard or soft assignment as a regression. This enables learning a much larger vocabulary of verbs, including contextual overlaps of these verbs. We collect multi-verb annotations for three action video datasets and evaluate the verb-only labelling representations for action recognition and cross-modal retrieval (video-to-text and text-to-video). We demonstrate that multi-label verb-only representations outperform conventional single verb labels. We also explore other benefits of a multi-verb representation including cross-dataset retrieval and verb type manner and result verb types) retrieval.


title: Fermi-Surface Instabilities in the Heavy-Fermion Superconductor UTe2

abstract: We present different transport measurements up to fields of 29~T in the recently discovered heavy-fermion superconductor UTe$_{2}$ with magnetic field $H$ applied along the easy magnetization a-axis of the body-centered orthorhombic structure. The thermoelectric power varies linearly with temperature above the superconducting transition, $T_{SC}= 1.5$ K, indicating that superconductivity develops in a Fermi liquid regime. As a function of field the thermolelectric power shows successive anomalies which are attributed to field-induced Fermi surface instabilities. These Fermi-surface instabilities appear at critical values of the magnetic polarization. Remarkably, the lowest magnetic field instability for $H\parallel a$ occurs for the same critical value of the magnetization (0.4 $\mu_B$) than the first order metamagnetic transition at 35~T for field applied along the $b$-axis. The estimated number of charge carriers at low temperature reveals a metallic ground state distinct from LDA calculations indicating that strong electronic correlations are a major issue in this compound.


title: The Emergence of Multiple Populations in Radiation Hydrodynamics Simulations of Cluster Formation

abstract: We present a new approach to understanding star-to-star helium abundance variations within globular clusters. We begin with detailed radiation hydrodynamics simulations of cluster formation within giant molecular clouds, and investigate the conditions under which multiple populations could be created. Chemical enrichment occurs dynamically as the cluster is assembled. We test two extreme mechanisms for injection of enriched gas within the clusters, and find that realistic multiple populations can be formed in both mechanisms. The stochastic cluster formation histories are dictated by the inherent randomness of the timing and location of the formation of small clusters, which rapidly merge to build up the larger cluster, in combination with continual accretion of gas from the cloud. These cluster formation histories naturally produce a diversity of abundance patterns across the massive cluster population. We conclude that multiple populations are a natural outcome of the typical mode of star cluster formation.


title: Geometry and Topology of Symmetric Point Arrangements

abstract: We investigate point arrangements $v_i\in\mathbb R^d,i\in \{1,...,n \}$ with certain prescribed symmetries. The arrangement space of $v$ is the column span of the matrix in which the $v_i$ are the rows. We characterize properties of $v$ in terms of the arrangement space, e.g. we characterize whether an arrangement possesses certain symmetries or whether it can be continuously deformed into another arrangement while preserving symmetry in the process. We show that whether a symmetric arrangement can be continuously deformed into its mirror image depends non-trivially on several factors, e.g. the decomposition of its representation into irreducible constituents, and whether we are in even or odd dimensions.


title: Criteria for complete intersections

abstract: We obtain criteria for detecting complete intersections in projective varieties. Motivated by a conjecture of Hartshorne concerning subvarieties of projective spaces, we investigate situations when two-codimensional smooth subvarieties of rational homogeneous varieties are complete intersections.


title: Canonical divergence for flat $\alpha$-connections: Classical and Quantum

abstract: A recent canonical divergence, which is introduced on a smooth manifold $\mathrm{M}$ endowed with a general dualistic structure $(\mathrm{g},\nabla,\nabla^*)$, is considered for flat $\alpha$-connections. In the classical setting, we compute such a canonical divergence on the manifold of positive measures and prove that it coincides with the classical $\alpha$-divergence. In the quantum framework, the recent canonical divergence is evaluated for the quantum $\alpha$-connections on the manifold of all positive definite Hermitian operators. Also in this case we obtain that the recent canonical divergence is the quantum $\alpha$-divergence.


title: $L^2$ Properties of L\'{e}vy Generators on Compact Riemannian Manifolds

abstract: We consider isotropic L\'evy processes on a compact Riemannian manifold, obtained from an $\mathbb{R}^d$-valued L\'evy process through rolling without slipping. We prove that the Feller semigroups associated with these processes extend to strongly continuous contraction semigroups on $L^p$, for $1\leq p<\infty$, and that they are self-adjoint when $p=2$. When the motion has a non-trivial Brownian part, we prove that the generator has a discrete spectrum of eigenvalues and that the semigroup is trace-class.


title: Locust: C++ software for simulation of RF detection

abstract: The Locust simulation package is a new C++ software tool developed to simulate the measurement of time-varying electromagnetic fields using RF detection techniques. Modularity and flexibility allow for arbitrary input signals, while concurrently supporting tight integration with physics-based simulations as input. External signals driven by the Kassiopeia particle tracking package are discussed, demonstrating conditional feedback between Locust and Kassiopeia during software execution. An application of the simulation to the Project 8 experiment is described. Locust is publicly available at https://github.com/project8/locust_mc.


title: Recent Results from The Askaryan Radio Array

abstract: The Askaryan Radio Array (ARA) is an ultra-high energy (UHE) neutrino telescope at the South Pole consisting of an array of radio antennas aimed at detecting the Askaryan radiation produced by neutrino interactions in the ice. Currently, the experiment has five stations in operation that have been deployed in stages since 2012. This contribution focuses on the development of a search for a diffuse flux of neutrinos in two ARA stations (A2 and A3) from 2013-2016. A background of $\sim 0.01-0.02$ events is expected in one station in each of two search channels in horizontal- and vertical-polarizations. The expected new constraints on the flux of ultra-high energy neutrinos based on four years of analysis with two stations improve on the previous limits set by ARA by a factor of about two. The projected sensitivity of ARA's five-station dataset is beginning to be competitive with other neutrino telescopes at high energies near $10^{10.5}\,$GeV.


title: A numerical analysis focused comparison of several Finite Volume schemes for an Unipolar Degenerated Drift-Diffusion Model

abstract: In this paper, we consider an unipolar degenerated drift-diffusion system where the relation between the concentration of the charged species $c$ and the chemical potential $h$ is $h(c)=\log \frac{c}{1-c}$. We design four different finite volume schemes based on four different formulations of the fluxes. We provide a stability analysis and existence results for the four schemes. The convergence proof with respect to the discretization parameters is established for two of them. Numerical experiments illustrate the behaviour of the different schemes.


title: Polarization-dependent and Valley-protected Lamb Waves in Asymmetric Pillared Phononic Crystals

abstract: We present the realization of the topological valley-protected zero-order antisymmetric (A0) or symmetric (S0) and zero-order shear-horizontal (SH0) Lamb waves at different domain walls based on topologically distinct asymmetric double-sided pillared phononic crystals. The elastic periodic structures have either the triangular or the honeycomb symmetry and give rise to a double-negative branch in the dispersion curves. By artificially folding the doubly negative branch, a degenerate Dirac cone is achieved. Different polarization-dependent propagation along the same primary direction along the constituent branches are presented. Moreover, divergent polarization-dependent phenomena along different primary directions along a given branch are also reported. By imposing two large space-inversion symmetry (SIS) breaking perturbations the topological phase transition is obtained. We show that the Berry curvature becomes strongly anisotropic when the wave vector gets away from the valleys. Further, we demonstrate the unidirectional transport of A0, S0, and SH0 Lamb waves at different domain walls in straight or Z-shape wave guides. In the large SIS breaking case, we show negligible reflection at the zigzag outlet of the straight wave guide and occurrence of weak inter-valley scattering at the bending corners of the Z-shape wave guide. For a larger strength of SIS breaking, the edge states are gapped and strong reflection at the zigzag outlet and bending corners is observed. The topological protection cannot be guaranteed any more in that case.


title: Meson exchange between initial and final state and the $R_D$ ratio in the $\bar{B} \to D \bar{\nu} \ell (\bar{\nu}_\tau \tau)$ reactions

abstract: We perform a calculation of the strong interaction effects between the $B$ and $D$ mesons in the $\bar{B} \to D \bar{\nu} \ell$ reaction, as a crossing process of reactions with $BD$ in the final state, where the strong interaction between the mesons leads to a bound $BD$ state. We find corrections to the tree level amplitude of the order of $15-25\%$. We further see the effect of the corrections studied in the $R_D$ ratio for the rates of $\bar{B} \to D \bar{\nu}_\tau \tau $ and $\bar{B} \to D \bar{\nu}_e \ell$ decays and find corrections of the order of $10\%$. Given the claims of $1.5\%$ precision in this ratio from fits to data within the standard model, any theoretical model aiming at describing this ratio within the same precision must take into account the corrections described in the present work.


title: Semisupervised Adversarial Neural Networks for Cyber Security Transfer Learning

abstract: On the path to establishing a global cybersecurity framework where each enterprise shares information about malicious behavior, an important question arises. How can a machine learning representation characterizing a cyber attack on one network be used to detect similar attacks on other enterprise networks if each networks has wildly different distributions of benign and malicious traffic? We address this issue by comparing the results of naively transferring a model across network domains and using CORrelation ALignment, to our novel adversarial Siamese neural network. Our proposed model learns attack representations that are more invariant to each network's particularities via an adversarial approach. It uses a simple ranking loss that prioritizes the labeling of the most egregious malicious events correctly over average accuracy. This is appropriate for driving an alert triage workflow wherein an analyst only has time to inspect the top few events ranked highest by the model. In terms of accuracy, the other approaches fail completely to detect any malicious events when models were trained on one dataset are evaluated on another for the first 100 events. While, the method presented here retrieves sizable proportions of malicious events, at the expense of some training instabilities due in adversarial modeling. We evaluate these approaches using 2 publicly available networking datasets, and suggest areas for future research.


title: Structure of percolating clusters in random clustered networks

abstract: We examine the structure of the percolating cluster (PC) formed by site percolation on a random clustered network (RCN) model. Using the generating functions, we formulate the clustering coefficient and assortative coefficient of the PC. We analytically and numerically show that the PC in the highly clustered networks is clustered even at the percolation threshold. The assortativity of the PC depends on the details of the RCN. The PC at the percolation threshold is disassortative when the numbers of edges and triangles of each node are assigned by Poisson distributions, but assortative when each node in an RCN has the same small number of edges, most of which form triangles. This result seemingly contradicts the disassortativity of fractal networks, although the renormalization scheme unveils the disassortative nature of a fractal PC.


title: A Lateral MOS-Capacitor Enabled ITO Mach-Zehnder Modulator for Beam Steering

abstract: Here, we experimentally demonstrate an Indium Tin Oxide (ITO) Mach-Zehnder interferometer heterogeneously integrated in silicon photonics. The phase shifter section is realized in a novel lateral MOS configuration, which, due to favorable electrostatic overlap, leads to efficient modulation (V{\pi}L = 63 Vum). This is achieved by (i) selecting a strong index changing material (ITO) and (ii) improving the field overlap as verified by the electrostatic field lines. Furthermore, we show that this platform serves as a building block in an endfire silicon photonics optical phased array (OPA) with a half-wavelength pitch within the waveguides with anticipated performance, including narrow main beam lobe (<3{\deg}) and >10 dB suppression of the side lobes, while electrostatically steering the emission profile up to plus/minus 80{\deg}, and if further engineered, can lead not only towards nanosecond-fast beam steering capabilities in LiDAR systems but also in holographic display, free-space optical communications, and optical switches.


title: Janus and J-fold Solutions from Sasaki-Einstein Manifolds

abstract: We show that for every Sasaki-Einstein manifold, $M_5$, the AdS$_5\times M_5$ background of type IIB supergravity admits two universal deformations leading to supersymmetric AdS$_4$ solutions. One class of solutions describes an AdS$_4$ domain wall in AdS$_5$ and is dual to a Janus configuration with $\mathcal{N}=1$ supersymmetry. The other class of backgrounds is of the form AdS$_4\times S^1\times M_5$ with a non-trivial SL$(2,\mathbb{Z})$ monodromy for the IIB axio-dilaton along the $S^1$. These AdS$_4$ solutions are dual to three-dimensional $\mathcal{N}=1$ SCFTs. Using holography we express the $S^3$ free energy of these theories in terms of the conformal anomaly of the four-dimensional $\mathcal{N}=1$ SCFT arising from D3-branes on the Calabi-Yau cone over $M_5$.


title: An Introduction to Logical Relations

abstract: Logical relations (LR) have been around for many years, and today they are used in many formal results. However, it can be difficult to LR beginners to find a good place to start to learn. Papers often use highly specialized LRs that use the latest advances of the technique which makes it impossible to make a proper presentation within the page limit. This note is a good starting point for beginners that want to learn about LRs. Almost no prerequisite knowledge is assumed, and the note starts from the very basics. The note covers the following: LRs for proving normalization and type safety of simply typed lambda calculus, relational substitutions for reasoning about universal and existential types, step-indexing for reasoning about recursive types, and worlds for reasoning about references.


title: High-harmonic generation in solids

abstract: We analytically and numerically investigate the emission of high-harmonic radiation from model solids by intense few-cycle mid-infrared laser pulses. In single-active-electron approximation, we expand the active electron's wavefunction in a basis of adiabatic Houston states and describe the solid's electronic band structure in terms of an adjustable Kronig-Penney model potential. For high-harmonic generation (HHG) from MgO crystals, we examine spectra from two-band and converged multiband numerical calculations. We discuss the characteristics of intra- and interband contributions to the HHG spectrum for computations including initial crystal momenta either from the $\Gamma-$point at the center of the first Brioullin zone (BZ) only or from the entire first BZ, demonstrating relevant contributions from the entire first BZ. From the numerically calculated spectra we derive cutoff harmonic orders as a function of the laser peak intensity that compare favorably with our analytical stationary-phase-approximation predictions and published data.


title: Fast electro-optic switching for coherent laser ranging and velocimetry

abstract: The growth of 3D imaging across a range of sectors has driven a demand for high performance beam steering techniques. Fields as diverse as autonomous vehicles and medical imaging can benefit from a high speed, adaptable method of beam steering. We present a monolithic, sub-microsecond electro-optic switch as a solution satisfying the need for reliability, speed, dynamic addressability and compactness. Here we demonstrate a laboratory-scale, solid-state lidar pointing system, using the electro-optic switch to launch modulated coherent light into free space, and then to collect the reflected signal. We use coherent detection of the reflected light to simultaneously extract the range and axial velocity of targets at each of several electronically addressable output ports.


title: An Optically-Programmable Absorbing Metasurface

abstract: A tunable metasurface absorber is presented in this work using an optically-programmable capacitor as the tuning element. The tuning element does not employ conventional semiconductor technologies to operate but rather a bases its tuning by changing the optomechanical properties of its dielectric, poly disperse red 1 acrylate (PDR1A). Doing so there are no conventional semiconductor devices in the RF signal path. The metasurface operates at a design frequency of 5.5 GHz and it achieves an optically-tuned bandwidth of 150 MHz, from 5.50 GHz to 5.65 GHz.