title: Transfer Learning for Protein Structure Classification at Low Resolution

abstract: Structure determination is key to understanding protein function at a molecular level. Whilst significant advances have been made in predicting structure and function from amino acid sequence, researchers must still rely on expensive, time-consuming analytical methods to visualise detailed protein conformation. In this study, we demonstrate that it is possible to make accurate ($\geq$80%) predictions of protein class and architecture from structures determined at low ($>$3A) resolution, using a deep convolutional neural network trained on high-resolution ($\leq$3A) structures represented as 2D matrices. Thus, we provide proof of concept for high-speed, low-cost protein structure classification at low resolution, and a basis for extension to prediction of function. We investigate the impact of the input representation on classification performance, showing that side-chain information may not be necessary for fine-grained structure predictions. Finally, we confirm that high-resolution, low-resolution and NMR-determined structures inhabit a common feature space, and thus provide a theoretical foundation for boosting with single-image super-resolution.


title: Subnormal $n$th roots of quasinormal operators are quasinormal

abstract: In the recent paper, R. E. Curto, S. H. Lee, J. Yoon, asked the following question: Let $A$ be a subnormal operator, and assume that $A^2$ is quasinormal. Does it follow that $A$ is quasinormal? In this paper, we give an affirmative answer to this question. In fact, we prove more general result that subnormal $n$th roots of quasinormal operators are quasinormal.


title: Hybrid Ranking Network for Text-to-SQL

abstract: In this paper, we study how to leverage pre-trained language models in Text-to-SQL. We argue that previous approaches under utilize the base language models by concatenating all columns together with the NL question and feeding them into the base language model in the encoding stage. We propose a neat approach called Hybrid Ranking Network (HydraNet) which breaks down the problem into column-wise ranking and decoding and finally assembles the column-wise outputs into a SQL query by straightforward rules. In this approach, the encoder is given a NL question and one individual column, which perfectly aligns with the original tasks BERT/RoBERTa is trained on, and hence we avoid any ad-hoc pooling or additional encoding layers which are necessary in prior approaches. Experiments on the WikiSQL dataset show that the proposed approach is very effective, achieving the top place on the leaderboard.


title: Non-uniqueness in law for two-dimensional Navier-Stokes equations with diffusion weaker than a full Laplacian

abstract: We study the two-dimensional Navier-Stokes equations forced by random noise with a diffusive term generalized via a fractional Laplacian that has a positive exponent strictly less than one. Because intermittent jets are inherently three-dimensional, we instead adapt the theory of intermittent form of the two-dimensional stationary flows to the stochastic approach presented by Hofmanov$\acute{\mathrm{a}}$, Zhu $\&$ Zhu (2019, arXiv:1912.11841 [math.PR]) and prove its non-uniqueness in law.


title: Security checklists for Ethereum smart contract development: patterns and best practices

abstract: In recent years Smart Contracts and DApps are becoming increasingly important and widespread thanks to the properties of blockchain technology. In most cases DApps are business critical, and very strict security requirements should be assured. Developing safe and reliable Smart Contracts, however, is not a trivial task. Several researchers have studied the security issues, however none of these provide a simple and intuitive tool to overcome these problems. In this paper we collected a list of security patterns for DApps. Moreover, based on these patterns, we provide the reader with security assessment checklists that can be easily used for the development of SCs. We cover the phases of design, coding, and testing and deployment of the software lifecycle. In this way, we allow developers to easily verify if they applied all the relevant security patterns to their smart contracts. We focus all the analysis on the most popular Ethereum blockchain, and on the Solidity language.


title: A validated multi-agent simulation test bed to evaluate congestion pricing policies on population segments by time-of-day in New York City

abstract: Evaluation of the demand for emerging transportation technologies and policies can vary by time of day due to spillbacks on roadways, rescheduling of travelers' activity patterns, and shifting to other modes that affect the level of congestion. These effects are not well-captured with static travel demand models. We calibrate and validate the first open-source multi-agent simulation model for New York City, called MATSim-NYC, to support agencies in evaluating policies such as congestion pricing. The simulation-based virtual test bed is loaded with an 8M+ synthetic 2016 population calibrated in a prior study. The road network is calibrated to INRIX speed data and average annual daily traffic for a screenline along the East River crossings, resulting in average speed differences of 7.2% on freeways and 17.1% on arterials, leading to average difference of +1.8% from the East River screenline. Validation against transit stations shows an 8% difference from observed counts and median difference of 29% for select road link counts. The model is used to evaluate a congestion pricing plan proposed by the Regional Plan Association and suggests a much higher (127K) car trip reduction compared to their report (59K). The pricing policy would impact the population segment making trips within Manhattan differently from the population segment of trips outside Manhattan. The multiagent simulation can show that 37.3% of the Manhattan segment would be negatively impacted by the pricing compared to 39.9% of the non-Manhattan segment, which has implications for redistribution of congestion pricing revenues. The citywide travel consumer surplus decreases when the congestion pricing goes up from $9.18 to $14 both ways even as it increases for the Charging-related population segment. This implies that increasing pricing from $9.18 to $14 benefits Manhattanites at the expense of the rest of the city.


title: Structures of BiHom-Poisson algebras

abstract: This paper gives some constructions results and examples of BiHom-Poisson algebras. Next, BiHom-flexible algebras are defined and it is shown that admissible BiHom-Poisson algebras are BiHom-flexible. Furthermore, generalized derivations of Bihom-Poisson algebras are introduced and some their basic properties are given. Finally, BiHom-Poisson modules and several constructions of these notions are obtained.


title: S62 and S4711: Indications of a population of faint fast moving stars inside the S2 orbit -- S4711 on a 7.6 year orbit around Sgr~A*

abstract: We present high-pass filtered NACO and SINFONI images of the newly discovered stars S4711-S4715 between 2004 and 2016. Our deep H+K-band (SINFONI) and K-band (NACO) data show the S-cluster star S4711 on a highly eccentric trajectory around Sgr~A* with an orbital period of 7.6 years and a periapse distance of 144 AU to the super massive black hole (SMBH). S4711 is hereby the star with the shortest orbital period and the smallest mean distance to the SMBH during its orbit to date. The used high-pass filtered images are based on co-added data sets to improve the signal to noise. The spectroscopic SINFONI data let us determine detailed stellar properties of S4711 like the mass and the rotational velocity. The faint S-cluster star candidates, S4712-S4715, can be observed in a projected distance to Sgr~A* of at least temporarily $\leq$ 120 mas. From these stars, S4714 is the most prominent one with an orbital period of 12 years and an eccentricity of 0.985. The stars S4712-S4715 show similar properties with comparable magnitudes and stellar masses to S4711. The MCMC simulations determine confidently precise uncertainties for the orbital elements of S62 and S4711-S4715. The presence of S4711 in addition to S55, S62, and the also newly found star S4714 implies a population of faint stars that can be found at distances to Sgr~A* that are comparable to the size of our solar system. These short orbital time period stars in the dense cluster around the SMBH in the center of our Galaxy are perfect candidates to observe gravitational effects such as the periapse shift.


title: Curvature lines of a transversal eq\"uiaffine vector field along a surface in $3$-space

abstract: In this paper we discuss the behavior of the curvature lines of a transversal eq\"uiaffine vector field along a surface in $3$-space at isolated umbilical points.


title: Channel Estimation for Intelligent Reflecting Surface Assisted MIMO Systems: A Tensor Modeling Approach

abstract: Intelligent reflecting surface (IRS) is an emerging technology for future wireless communications including 5G and especially 6G. It consists of a large 2D array of (semi-)passive scattering elements that control the electromagnetic properties of radio-frequency waves so that the reflected signals add coherently at the intended receiver or destructively to reduce co-channel interference. The promised gains of IRS-assisted communications depend on the accuracy of the channel state information. In this paper, we address the receiver design for an IRS-assisted multiple-input multiple-output (MIMO) communication system via a tensor modeling approach aiming at the channel estimation problem using supervised (pilot-assisted) methods. Considering a structured time-domain pattern of pilots and IRS phase shifts, we present two channel estimation methods that rely on a parallel factor (PARAFAC) tensor modeling of the received signals. The first one has a closed-form solution based on a Khatri-Rao factorization of the cascaded MIMO channel, by solving rank-1 matrix approximation problems, while the second one is an iterative alternating estimation scheme. The common feature of both methods is the decoupling of the estimates of the involved MIMO channel matrices (base station-IRS and IRS-user terminal), which provides performance enhancements in comparison to competing methods that are based on unstructured LS estimates of the cascaded channel. Design recommendations for both methods that guide the choice of the system parameters are discussed. Numerical results show the effectiveness of the proposed receivers, highlight the involved trade-offs, and corroborate their superior performance compared to competing LS-based solutions.


title: Slant and Legendre Null Curves in 3-Dimensional Sasaki-like Almost Contact B-Metric Manifolds

abstract: Object of study in the present paper are slant and Legendre null curves in 3-dimensional Sasaki-like almost contact B-metric manifolds. For the examined curves we express the general Frenet frame and the Frenet frame for which the original parameter is distinguished, as well as the corresponding curvatures, in terms of the structure on the manifold. We prove that the curvatures of a framed null slant and Legendre curve are constants if and only if a specific function for the considered manifolds is a constant. We find a necessary and sufficient condition a slant null curve to be a generalized helix and a Legendre null curve to be a null cubic. For some of investigated curves we show that they are non-null slant or Legendre curves with respect to the associated B-metric on the manifold. We give examples of the examined curves. Some of them are constructed in a 3-dimensional Lie group as Sasaki-like manifold and their matrix representation is obtained.


title: Constrained Active Classification Using Partially Observable Markov Decision Processes

abstract: In this work, we study the problem of actively classifying the attributes of dynamical systems characterized as a finite set of Markov decision process (MDP) models. We are interested in finding strategies that actively interact with the dynamical system and observe its reactions so that the attribute of interest is classified efficiently with high confidence. We present a decision-theoretic framework based on partially observable Markov decision processes (POMDPs). The proposed framework relies on assigning a classification belief (a probability distribution) to the attributes of interest. Given an initial belief, a confidence level over which a classification decision can be made, a cost bound, safe belief sets, and a finite time horizon, we compute POMDP strategies leading to classification decisions. We present three different algorithms to compute such strategies. The first algorithm computes the optimal strategy exactly by value iteration. To overcome the computational complexity of computing the exact solutions, we propose a second algorithm based on adaptive sampling and a third based on a Monte Carlo tree search to approximate the optimal probability of reaching a classification decision. We illustrate the proposed methodology using examples from medical diagnosis, security surveillance, and wildlife classification.


title: Using digraphs to compute determinant, permanent and Drazin inverse of circulant matrices with two parameters

abstract: This work presents closed formulas for determinant, permanent, inverse, and Drazin inverse of circulant matrices with two non-zero coefficients.


title: Holistic Multi-scale Imaging of Oxygen Reduction Reaction Catalyst Degradation in Operational Fuel Cells

abstract: Wide proliferation of low temperature hydrogen fuel cell systems, a key part of the hydrogen economy, is hindered by degradation of the platinum cathode catalyst. Here, we provide a device level assessment of the molecular scale catalyst degradation phenomena, using advanced operando X-ray scattering tomography tailored for device-scale imaging. Each cell component, including the catalyst, carbon support, polymer electrolyte, and liquid water can be simultaneously mapped, allowing for deep correlative analysis. Chemical and thermal gradients formed inside the operating fuel cell produce highly heterogeneous degradation of the catalyst nanostructure, which can be linked to the macroscale design of the flow field and water distribution in the cell materials. Striking differences in catalyst degradation are observed between operating fuel cell devices and the liquid cell routinely used for catalyst stability studies, highlighting the rarely studied but crucial impact of the complex operating environment on the catalyst degradation phenomena. This degradation knowledge gap highlights the necessity of multimodal in situ characterization of real devices when assessing the performance and durability of electrocatalysts.


title: Extension of the LDA-1/2 method to the material class of bismuth containing III-V semiconductors

abstract: The LDA-1/2 method is employed in density functional theory calculations for the electronic structure of III-V dilute bismide systems. For the representative example of Ga(SbBi) with Bi concentrations below $10 \%$, it is shown that this method works very efficiently, especially due to its reasonably low demand on computer memory. The resulting bandstructure and wavefunctions are used to compute the interaction matrix elements that serve as input to microscopic calculations of the optical properties and intrinsic losses relevant for optoelectronic applications of dilute bismides.


title: Accelerated Calder\'on preconditioning for Maxwell transmission problems

abstract: We investigate a range of techniques for the acceleration of Calder\'on (operator) preconditioning in the context of boundary integral equation methods for electromagnetic transmission problems. Our objective is to mitigate as far as possible the high computational cost of the barycentrically-refined meshes necessary for the stable discretisation of operator products. Our focus is on the well-known PMCHWT formulation, but the techniques we introduce can be applied generically. By using barycentric meshes only for the preconditioner and not for the original boundary integral operator, we achieve significant reductions in computational cost by (i) using "reduced" Calder\'on preconditioners obtained by discarding constituent boundary integral operators that are not essential for regularisation, and (ii) adopting a "bi-parametric" approach in which we use a lower quality (cheaper) $\mathcal{H}$-matrix assembly routine for the preconditioner than for the original operator, including a novel approach of discarding far-field interactions in the preconditioner. Using the boundary element software Bempp (www.bempp.com), we compare the performance of different combinations of these techniques in the context of scattering by multiple dielectric particles. Applying our accelerated implementation to 3D electromagnetic scattering by an aggregate consisting of 8 monomer ice crystals of overall diameter 1cm at 664GHz leads to a 99% reduction in memory cost and at least a 75% reduction in total computation time compared to a non-accelerated implementation.


title: Identifying Implicit Vulnerabilities through Personas as Goal Models

abstract: When used in requirements processes and tools, personas have the potential to identify vulnerabilities resulting from misalignment between user expectations and system goals. Typically, however, this potential is unfulfilled as personas and system goals are captured with different mindsets, by different teams, and for different purposes. If personas are visualised as goal models, it may be easier for stakeholders to see implications of their goals being satisfied or denied, and designers to incorporate the creation and analysis of such models into the broader RE tool-chain. This paper outlines a tool-supported approach for finding implicit vulnerabilities from user and system goals by reframing personas as social goal models. We illustrate this approach with a case study where previously hidden vulnerabilities based on human behaviour were identified.


title: SMT-based Safety Verification of Parameterised Multi-Agent Systems

abstract: In this paper we study the verification of parameterised multi-agent systems (MASs), and in particular the task of verifying whether unwanted states, characterised as a given state formula, are reachable in a given MAS, i.e., whether the MAS is unsafe. The MAS is parameterised and the model only describes the finite set of possible agent templates, while the actual number of concrete agent instances for each template is unbounded and cannot be foreseen. This makes the state-space infinite. As safety may of course depend on the number of agent instances in the system, the verification result must be correct irrespective of such number. We solve this problem via infinite-state model checking based on satisfiability modulo theories (SMT), relying on the theory of array-based systems: we present parameterised MASs as particular array-based systems, under two execution semantics for the MAS, which we call concurrent and interleaved. We prove our decidability results under these assumptions and illustrate our implementation approach, called SAFE: the Swarm Safety Detector, based on the third-party model checker MCMT, which we evaluate experimentally. Finally, we discuss how this approach lends itself to richer parameterised and data-aware MAS settings beyond the state-of-the-art solutions in the literature, which we leave as future work.


title: Perfect matching index vs. circular flow number of a cubic graph

abstract: The perfect matching index of a cubic graph $G$, denoted by $\pi(G)$, is the smallest number of perfect matchings that cover all the edges of $G$. According to the Berge-Fulkerson conjecture, $\pi(G)\le5$ for every bridgeless cubic graph~$G$. The class of graphs with $\pi\ge 5$ is of particular interest as many conjectures and open problems, including the famous cycle double cover conjecture, can be reduced to it. Although nontrivial examples of such graphs are very difficult to find, a few infinite families are known, all with circular flow number $\Phi_c(G)=5$. It has been therefore suggested [Electron. J. Combin. 23 (2016), $\#$P3.54] that $\pi(G)\ge 5$ might imply $\Phi_c(G)\ge 5$. In this article we dispel these hopes and present a family of cyclically $4$-edge-connected cubic graphs of girth at least $5$ (snarks) with $\pi\ge 5$ and $\Phi_c\le 4+\frac23$.


title: DTVNet+: A High-Resolution Scenic Dataset for Dynamic Time-lapse Video Generation

abstract: This paper presents a novel end-to-end dynamic time-lapse video generation framework, named DTVNet, to generate diversified time-lapse videos from a single landscape image conditioned on normalized motion vectors. The proposed DTVNet consists of two submodules: \emph{Optical Flow Encoder} (OFE) and \emph{Dynamic Video Generator} (DVG). The OFE maps a sequence of optical flow maps to a \emph{normalized motion vector} that encodes the motion information of the generated video. The DVG contains motion and content streams to learn from the motion vector and the single landscape image. Besides, it contains an encoder to learn shared content features and a decoder to construct video frames with corresponding motion. Specifically, the \emph{motion stream} introduces multiple \emph{adaptive instance normalization} (AdaIN) layers to integrate multi-level motion information for controlling the object motion. In the testing stage, videos with the same content but various motion information can be generated by different \emph{normalized motion vectors} based on only one input image. Also, we propose a high-resolution scenic time-lapse video dataset, named Quick-Sky-Time, to evaluate different approaches, which can be viewed as a new benchmark for high-quality scenic image and video generation tasks. We further conduct experiments on Sky Time-lapse, Beach, and Quick-Sky-Time datasets. The results demonstrate the superiority of our approach over state-of-the-art methods for generating high-quality and various dynamic videos.


title: 3D Topological Models and Heegaard Splitting II: Pontryagin duality and Observables

abstract: In a previous article, a construction of the smooth Deligne-Beilinson cohomology groups $H^p_D(M)$ on a closed $3$-manifold $M$ represented by a Heegaard splitting $X_L \cup_f X_R$ was presented. Then, a determination of the partition functions of the $U(1)$ Chern-Simons and BF Quantum Field theories was deduced from this construction. In this second and concluding article we stay in the context of a Heegaard spitting of $M$ to define Deligne-Beilinson $1$-currents whose equivalent classes form the elements of $H^1_D(M)^\star$, the Pontryagin dual of $H^1_D(M)$. Finally, we use singular fields to first recover the partition functions of the $U(1)$ Chern-Simons and BF quantum field theories, and next to determine the link invariants defined by these theories. The difference between the use of smooth and singular fields is also discussed.


title: Generalized Witt and Witt n-algebras, Virasoro algebras and constraints, and KdV equations from R(p,q)-deformed quantum algebras

abstract: We perform generalizations of Witt and Virasoro algebras, and derive the corresponding Korteweg-de Vries equations from known R(p,q)-deformed quantum algebras previously introduced in J. Math. Phys. 51, 063518, (2010). Related relevant properties are investigated and discussed. Besides, we construct the R(p,q)-deformed Witt n- algebra, and determine the Virasoro constraints for a toy model, which play an important role in the study of matrix models. Finally, as matter of illustration, explicit results are provided for main particular deformed quantum algebras known in the literature.


title: ARX Model Identification using Generalized Spectral Decomposition

abstract: This article is concerned with the identification of autoregressive with exogenous inputs (ARX) models. Most of the existing approaches like prediction error minimization and state-space framework are widely accepted and utilized for the estimation of ARX models but are known to deliver unbiased and consistent parameter estimates for a correctly supplied guess of input-output orders and delay. In this paper, we propose a novel automated framework which recovers orders, delay, output noise distribution along with parameter estimates. The primary tool utilized in the proposed framework is generalized spectral decomposition. The proposed algorithm systematically estimates all the parameters in two steps. The first step utilizes estimates of the order by examining the generalized eigenvalues, and the second step estimates the parameter from the generalized eigenvectors. Simulation studies are presented to demonstrate the efficacy of the proposed method and are observed to deliver consistent estimates even at low signal to noise ratio (SNR).


title: Axial Gravitational Waves in Bianchi I Universe

abstract: In this paper, we have studied the propagation of axial gravitational waves in Bianchi I universe using the Regge-Wheeler gauge. In this gauge, there are only two non-zero components of $ h_{\mu\nu} $ in the case of axial waves: $h_0(t,r)$ and $h_1(t,r)$. The field equations in absence of matter have been derived both for the unperturbed as well as axially perturbed metric. These field equations are solved simultaneously by assuming the expansion scalar $\Theta$ to be proportional to the shear scalar $\sigma$ (so that $a= b^n$, where $a$, $b$ are the metric coefficients and $n$ is an arbitrary constant), and the wave equation for the perturbation parameter $h_0(t,r)$ have been derived. We used the method of separation of variables to solve for this parameter, and have subsequently determined $h_1(t,r)$. We then discuss a few special cases in order to interpret the results. We find that the anisotropy of the background spacetime is responsible for the damping of the gravitational waves as they propagate through this spacetime. The perturbations depend on the values of the angular momentum $l$. The field equations in the presence of matter reveal that the axially perturbed spacetime leads to perturbations only in the azimuthal velocity of the fluid leaving the matter field undisturbed.


title: Engineering the reciprocal space for ultrathin GaAs solar cells

abstract: III-V solar cells dominate the high efficiency charts, but with significantly higher cost than other solar cells. Ultrathin III-V solar cells can exhibit lower production costs and immunity to short carrier diffusion lengths caused by radiation damage, dislocations, or native defects. Nevertheless, solving the incomplete optical absorption of sub-micron layers presents a challenge for light-trapping structures. Simple photonic crystals have high diffractive efficiencies, which are excellent for narrow-band applications. Random structures a broadband response instead but suffer from low diffraction efficiencies. Quasirandom (hyperuniform) structures lie in between providing high diffractive efficiency over a target wavelength range, broader than simple photonic crystals, but narrower than a random structure. In this work, we present a design method to evolve a simple photonic crystal into a quasirandom structure by modifying the spatial-Fourier space in a controlled manner. We apply these structures to an ultrathin GaAs solar cell of only 100 nm. We predict a photocurrent for the tested quasirandom structure of 25.3 mA/cm$^2$, while a planar structure would be limited to 16.1 mA/cm$^2$. The modified spatial-Fourier space in the quasirandom structure increases the amount of resonances, with a progression from discrete number of peaks to a continuum in the absorption. The enhancement in photocurrent is stable under angle variations because of this continuum. We also explore the robustness against changes in the real-space distribution of the quasirandom structures using different numerical seeds, simulating variations in a self-assembly method.


title: Evidence of Predicting Early Signs of Corporate Bankruptcy Using Financial Ratios in the Indian Landscape

abstract: Corporate bankruptcy impacts the functioning of the economy as it impacts its various stakeholders: Shareholders, financial and operational lenders, and the government. This paper aims to study the impact of a wide array of profitability, leverage and efficiency ratios to predict early signs of bankruptcy in public listed companies in India using a logistic regression considering impacts at two levels: one year and two years before the filing of bankruptcy with the NCLT during the year 2019. The study proves that the accuracies of the classification model are 81.4% and 85.1% respectively for one year and two years before the bankruptcy.


title: Bracing for sustainable agriculture: the development and function of brace roots in members of Poaceae

abstract: Optimization of crop production requires root systems to function in water uptake, nutrient use, and anchorage. In maize, two types of nodal roots-subterranean crown and aerial brace roots function in anchorage and water uptake and preferentially express multiple water and nutrient transporters. Brace root development shares genetic control with juvenile-to-adult phase change and flowering time. We present a comprehensive list of the genes known to alter brace roots and explore these as candidates for QTL studies in maize and sorghum. Brace root development and function may be conserved in other members of Poaceae, however research is limited. This work highlights the critical knowledge gap of aerial nodal root development and function and suggests new focus areas for breeding resilient crops.


title: A note on "A minimal congruence lattice representation for $\mathbb M_{p+1}$''

abstract: We reprove a theorem of Bunn, Grow, Insall, and Thiem, which asserts that a minimal congruence lattice representation for $\mathbb M_{p+1}$ has size $2p$, and is an expansion of a regular $D_{2p}$-set.


title: Investigate a dense transparent glass doped Nd3+ ion for high power laser applications

abstract: Emission and absorption cross sections of the prepared materials will be measured at different spectral regions.


title: Impedance spectroscopy of ferroelectrics: The domain wall pinning element

abstract: We introduce an equivalent-circuit element based on the theory of interface pinning in random systems, to analyze the contribution of domain wall motion below the coercive field to the impedance of a ferroelectric, as a function of amplitude $E_0$ and frequency $f$ of an applied ac electric field. We investigate capacitor stacks, containing ferroelectric 0.5(Ba$_{0.7}$Ca$_{0.3}$)TiO$_{3}$--0.5Ba(Zr$_{0.2}$Ti$_{0.8}$)O$_{3}$ (BCZT) thin films, epitaxially grown by pulsed laser deposition on Nb-doped SrTiO$_3$ single crystal substrates and covered with Au electrodes. Impedance spectra from $f=10$\,Hz to 1\,MHz were collected at different $E_0$. Deconvolution of the spectra is achieved by fitting the measured impedance with an equivalent-circuit model of the capacitor stacks, and we extract the domain-wall-motion induced amplitude- and frequency-dependent dielectric response of the BCZT films from the obtained fit parameters. From an extended Rayleigh analysis, we quantify the coupling strength between dielectric nonlinearity and dielectric dispersion in the BCZT films and identify different domain-wall-motion regimes. Finally, we construct a schematic diagram of the different domain-wall-motion regimes and discuss the corresponding domain-wall dynamics.


title: Analogues of the Robin-Lagarias Criteria for the Riemann Hypothesis

abstract: Robin's criterion states that the Riemann hypothesis is equivalent to $\sigma(n) < e^\gamma n \log\log n$ for all integers $n \geq 5041$, where $\sigma(n)$ is the sum of divisors of $n$ and $\gamma$ is the Euler-Mascheroni constant. We prove that the Riemann hypothesis is equivalent to the statement that $\sigma(n) < \frac{e^\gamma}{2} n \log\log n$ for all odd numbers $n \geq 3^4 \cdot 5^3 \cdot 7^2 \cdot 11 \cdots 67$. Lagarias's criterion for the Riemann hypothesis states that the Riemann hypothesis is equivalent to $\sigma(n) < H_n + \exp{H_n}\log{H_n}$ for all integers $n \geq 1$, where $H_n$ is the $n$th harmonic number. We establish an analogue to Lagarias's criterion for the Riemann hypothesis by creating a new harmonic series $H^\prime_n = 2H_n - H_{2n}$ and demonstrating that the Riemann hypothesis is equivalent to $\sigma(n) \leq \frac{3n}{\log{n}} + \exp{H^\prime_n}\log{H^\prime_n}$ for all odd $n \geq 3$. We prove stronger analogues to Robin's inequality for odd squarefree numbers. Furthermore, we find a general formula that studies the effect of the prime factorization of $n$ and its behavior in Robin's inequality.


title: Piezoresistance in defect-engineered silicon

abstract: The steady-state, space-charge-limited piezoresistance (PZR) of defect-engineered, silicon-on-insulator device layers containing silicon divacancy defects changes sign as a function of applied bias. Above a punch-through voltage ($V_t$) corresponding to the onset of a space-charge-limited hole current, the longitudinal $\langle 110 \rangle$ PZR $\pi$-coefficient is $\pi \approx 65 \times 10^{-11}$~Pa$^{-1}$, similar to the value obtained in charge-neutral, p-type silicon. Below $V_t$, the mechanical stress dependence of the Shockley-Read-Hall (SRH) recombination parameters, specifically the divacancy trap energy $E_T$ which is estimated to vary by $\approx 30$~$\mu$V/MPa, yields $\pi \approx -25 \times 10^{-11}$~Pa$^{-1}$. The combination of space-charge-limited transport and defect engineering which significantly reduces SRH recombination lifetimes makes this work directly relevant to discussions of giant or anomalous PZR at small strains in nano-silicon whose characteristic dimension is larger than a few nanometers. In this limit the reduced electrostatic dimensionality lowers $V_t$ and amplifies space-charge-limited currents and efficient SRH recombination occurs via surface defects. The results reinforce the growing evidence that in steady state, electro-mechanically active defects can result in anomalous, but not giant, PZR.


title: Lifshitz cosmology: quantum vacuum and Hubble tension

abstract: Dark energy is one of the greatest scientific mysteries of today. The idea that dark energy originates from quantum vacuum fluctuations has circulated since the late '60s, but theoretical estimations of vacuum energy have disagreed with the measured value by many orders of magnitude, until recently. Lifshitz theory applied to cosmology has produced the correct order of magnitude for dark energy. Furthermore, the theory is based on well-established and experimentally well-tested grounds in atomic, molecular and optical physics. In this paper, we confront Lifshitz cosmology with astronomical data. We find that the dark-energy dynamics predicted by the theory is able to resolve the Hubble tension, the discrepancy between the observed and predicted Hubble constant within the standard cosmological model. The theory is consistent with supernovae data, Baryon Acoustic Oscillations and the Cosmic Microwave Background. Our findings indicate that Lifshitz cosmology is a serious candidate for explaining dark energy.


title: Community recovery in non-binary and temporal stochastic block models

abstract: This article studies the estimation of latent community memberships from pairwise interactions in a network of $N$ nodes, where the observed interactions can be of arbitrary type, including binary, categorical, and vector-valued, and not excluding even more general objects such as time series or spatial point patterns. As a generative model for such data, we introduce a stochastic block model with a general measurable interaction space $\mathcal S$, for which we derive information-theoretic bounds for the minimum achievable error rate. These bounds yield sharp criteria for the existence of consistent and strongly consistent estimators in terms of data sparsity, statistical similarity between intra- and inter-block interaction distributions, and the shape and size of the interaction space. The general framework makes it possible to study temporal and multiplex networks with $\mathcal S = \{0,1\}^T$, in settings where both $N \to \infty$ and $T \to \infty$, and the temporal interaction patterns are correlated over time. For temporal Markov interactions, we derive sharp consistency thresholds. We also present fast online estimation algorithms which fully utilise the non-binary nature of the observed data. Numerical experiments on synthetic and real data show that these algorithms rapidly produce accurate estimates even for very sparse data arrays.


title: Sufficient conditions for a group of homeomorphisms of the Cantor set to be two-generated

abstract: Let $\mathfrak{C}$ be some Cantor space. We study groups of homeomorphisms of $\mathfrak{C}$ which are vigorous, or, which are flawless, where we introduce both of these terms here. We say a group $G\leq \operatorname{Homeo}(\mathfrak{C})$ is $vigorous$ if for any clopen set $A$ and proper clopen subsets $B$ and $C$ of $A$ there is $\gamma \in G$ in the pointwise-stabiliser of $\mathfrak{C}\backslash A$ with $B\gamma\subseteq C$. Being vigorous is similar in impact to some of the conditions proposed by Epstein in his proof that certain groups of homeomorphisms of spaces have simple commutator subgroups (and/or related conditions, as proposed in some of the work of Matui or of Ling). A non-trivial group $G\leq \operatorname{Homeo}(\mathfrak{C})$ is $flawless$ if for all $k$ and $w$ a non-trivial freely reduced product expression on $k$ variables (including inverse symbols), a particular subgroup $w(G)_\circ$ of the verbal subgroup $w(G)$ is the whole group. It is true, for instance, that flawless groups are both perfect and lawless. We show: 1) simple vigorous groups are either two-generated by torsion elements, or not finitely generated, 2) vigorous groups are simple if and only if they are flawless, and, 3) the class of vigorous simple subgroups of $\operatorname{Homeo}(\mathfrak{C})$ is fairly broad (it contains many well known groups such as the commutator subgroups of the Higman-Thompson groups $G_{n,r}$, the Brin-Thompson groups $nV$, R\"{o}ver's group $V(\Gamma)$, and others of Nekrashevych's `simple groups of dynamical origin', and, the class is closed under various natural constructions).


title: Local well-posedness and blow-up for a family of $U(1)$-invariant peakon equations

abstract: The Cauchy problem for a unified family of integrable $U(1)$-invariant peakon equations from the NLS hierarchy is studied. As main results, local well-posedness is proved in Besov spaces, and blow-up is established through use of an $L^1$ conservation law.


title: Future Trends for Human-AI Collaboration: A Comprehensive Taxonomy of AI/AGI Using Multiple Intelligences and Learning Styles

abstract: This article discusses some trends and concepts in developing new generation of future Artificial General Intelligence (AGI) systems which relate to complex facets and different types of human intelligence, especially social, emotional, attentional and ethical intelligence. We describe various aspects of multiple human intelligences and learning styles, which may impact on a variety of AI problem domains. Using the concept of 'multiple intelligences' rather than a single type of intelligence, we categorize and provide working definitions of various AGI depending on their cognitive skills or capacities. Future AI systems will be able not only to communicate with human users and each other, but also to efficiently exchange knowledge and wisdom with abilities of cooperation, collaboration and even co-creating something new and valuable and have meta-learning capacities. Multi-agent systems such as these can be used to solve problems that would be difficult to solve by any individual intelligent agent. Key words: Artificial General Intelligence (AGI), multiple intelligences, learning styles, physical intelligence, emotional intelligence, social intelligence, attentional intelligence, moral-ethical intelligence, responsible decision making, creative-innovative intelligence, cognitive functions, meta-learning of AI systems.


title: Equivariant sheaves on loop spaces

abstract: Let $X$ be an affine, smooth, and Noetherian scheme over $\mathbb{C}$ acted on by an affine algebraic group $G$. Applying the technique developed in Arkhipov and {\O}rsted (2018a, 2018b), we define a dg-model for the derived category of dg-modules over the dg-algebra of differential forms $\Omega_X$ on $X$ equivariant with respect to the action of a derived group scheme $(G ,\Omega_G )$. We compare the obtained dg-category with the one considered in Arkhipov and Kanstrup (2015) given by coherent sheaves on the derived Hamiltonian reduction of $T^* X$.


title: Comparison of Modeling SPARC spiral galaxies' rotation curves: halo models vs MOND

abstract: We investigate a sub-sample of the rotation curves consisting of 45 HSB non-bulgy spiral galaxies selected from SPARC (Spitzer Photometry and Accurate Rotation Curves) database by using two dark halo models (NFW and Burkert) and MOdified Newtonian Dynamics (MOND) theory. Among these three models, the core-dominated Burkert halo model provides a better description of the observed data ($\chi_{\nu}^2$ = 0.33) than Navarro, Frenk and White (NFW, $\chi_{\nu}^2$= 0.45) and MOND model ($\chi_{\nu}^2$ = 0.58). So our results show that, for dark halo models, the selected 45 HSB non-bulgy spiral galaxies prefer a cored density profile to the cuspy one (NFW); We also positively find that there is a correlation between $\rho_0$ and $r_0$ in Burkert model. For MOND fits, when we take $a_0$ as a free parameter, there is no obvious correlation between $a_0$ and disk central surface brightness at 3.6 $\mu m$ of these HSB spiral galaxies, which is in line with the basic assumption of MOND that $a_0$ should be a universal constant. Interestingly, our fittings gives $a_0$ an average value of $(0.74 \pm 0.45) \times 10^{- 8}\rm {cm\ s^{- 2}}$ if we exclude the three highest values in the sample, which is smaller than the standard value ($1.21 \times 10^{-8}\rm {cm\ s^{- 2}}$).


title: A variational approach to hyperbolic evolutions and fluid-structure interactions

abstract: We introduce a two time-scale scheme which allows to extend the method of minimizing movements to hyperbolic problems. This method is used to show the existence of weak solutions to a fluid-structure interaction problem between a nonlinear, visco-elastic, $n$-dimensional bulk solid governed by a hyperbolic evolution and an incompressible fluid governed by the ($n$-dimensional) Navier-Stokes equations for $n\geq 2$.


title: Some analytical results associated with extensions of the canonical Feller-Spitzer distribution

abstract: In this work, we establish new analytical results which are required for the derivation of subtle properties of the members of two classes of the generalized Feller--Spitzer distributions introduced in our forthcoming paper.


title: Physicochemical models: source-tailored or generic?

abstract: Physicochemical models can be powerful tools to trace the chemical evolution of a protostellar system and allow to constrain its physical conditions at formation. The aim of this work is to assess whether source-tailored modelling is needed to explain the observed molecular abundances around young, low-mass protostars or if, and to what extent, generic models can improve our understanding of the chemistry in the earliest stages of star formation. The physical conditions and the abundances of simple, most abundant molecules based on three models are compared. After establishing the discrepancies between the calculated chemical output, the calculations are redone with the same chemical model for all three sets of physical input parameters. With the differences arising from the chemical models eliminated, the output is compared based on the influence of the physical model. Results suggest that the impact of the chemical model is small compared to the influence of the physical conditions, with considered timescales having the most drastic effect. Source-tailored models may be simpler by design; however, likely do not sufficiently constrain the physical and chemical parameters within the global picture of star-forming regions. Generic models with more comprehensive physics may not provide the optimal match to observations of a particular protostellar system, but allow a source to be studied in perspective of other star-forming regions.


title: Relative discrete spectrum of W*-dynamical systems

abstract: A definition of relative discrete spectrum of noncommutative W*-dynamical systems is given in terms of the basic construction of von Neumann algebras, motivated from three perspectives: Firstly, as a complementary concept to relative weak mixing of W*-dynamical systems. Secondly, by comparison with the classical (i.e. commutative) case. And, thirdly, by noncommutative examples.


title: Learning Stereo Matchability in Disparity Regression Networks

abstract: Learning-based stereo matching has recently achieved promising results, yet still suffers difficulties in establishing reliable matches in weakly matchable regions that are textureless, non-Lambertian, or occluded. In this paper, we address this challenge by proposing a stereo matching network that considers pixel-wise matchability. Specifically, the network jointly regresses disparity and matchability maps from 3D probability volume through expectation and entropy operations. Next, a learned attenuation is applied as the robust loss function to alleviate the influence of weakly matchable pixels in the training. Finally, a matchability-aware disparity refinement is introduced to improve the depth inference in weakly matchable regions. The proposed deep stereo matchability (DSM) framework can improve the matching result or accelerate the computation while still guaranteeing the quality. Moreover, the DSM framework is portable to many recent stereo networks. Extensive experiments are conducted on Scene Flow and KITTI stereo datasets to demonstrate the effectiveness of the proposed framework over the state-of-the-art learning-based stereo methods.


title: Timing performance of the LHCb VELO Timepix3 Telescope

abstract: We performed a detailed study of the timing performance of the LHCb VELO Timepix3 Telescope with a 180 GeV/c mixed hadron beam at the CERN SPS. A twofold method was developed to improve the resolution of single-plane time measurements, resulting in a more precise overall track time measurement. The first step uses spatial information of reconstructed tracks in combination with the measured signal charge in the sensor to correct for a mixture of different effects: variations in charge carrier drift time; variations in signal induction, which are the result of a non-uniform weighting field in the pixels; and lastly, timewalk in the analog front-end. The second step corrects for systematic timing offsets in Timepix3 that vary from -2 ns to 2 ns. By applying this method, we improved the track time resolution from 438$\,\pm\,$16 ps to 276$\,\pm\,$4 ps.


title: Artificial Intelligence to Assist in Exclusion of Coronary Atherosclerosis during CCTA Evaluation of Chest-Pain in the Emergency Department: Preparing an Application for Real-World Use

abstract: Coronary Computed Tomography Angiography (CCTA) evaluation of chest-pain patients in an Emergency Department (ED) is considered appropriate. While a negative CCTA interpretation supports direct patient discharge from an ED, labor-intensive analyses are required, with accuracy in jeopardy from distractions. We describe the development of an Artificial Intelligence (AI) algorithm and workflow for assisting interpreting physicians in CCTA screening for the absence of coronary atherosclerosis. The two-phase approach consisted of (1) Phase 1 - focused on the development and preliminary testing of an algorithm for vessel-centerline extraction classification in a balanced study population (n = 500 with 50% disease prevalence) derived by retrospective random case selection; and (2) Phase 2 - concerned with simulated-clinical Trialing of the developed algorithm on a per-case basis in a more real-world study population (n = 100 with 28% disease prevalence) from an ED chest-pain series. This allowed pre-deployment evaluation of the AI-based CCTA screening application which provides a vessel-by-vessel graphic display of algorithm inference results integrated into a clinically capable viewer. Algorithm performance evaluation used Area Under the Receiver-Operating-Characteristic Curve (AUC-ROC); confusion matrices reflected ground-truth vs AI determinations. The vessel-based algorithm demonstrated strong performance with AUC-ROC = 0.96. In both Phase 1 and Phase 2, independent of disease prevalence differences, negative predictive values at the case level were very high at 95%. The rate of completion of the algorithm workflow process (96% with inference results in 55-80 seconds) in Phase 2 depended on adequate image quality. There is potential for this AI application to assist in CCTA interpretation to help extricate atherosclerosis from chest-pain presentations.


title: Constraining Prebiotic Chemistry Through a Better Understanding of Earth's Earliest Environments

abstract: Any search for present or past life beyond Earth should consider the initial processes and related environmental controls that might have led to its start. As on Earth, such an understanding lies well beyond how simple organic molecules become the more complex biomolecules of life, because it must also include the key environmental factors that permitted, modulated, and most critically facilitated the prebiotic pathways to life's emergence. Moreover, we ask how habitability, defined in part by the presence of liquid water, was sustained so that life could persist and evolve to the point of shaping its own environment. Researchers have successfully explored many chapters of Earth's coevolving environments and biosphere spanning the last few billion years through lenses of sophisticated analytical and computational techniques, and the findings have profoundly impacted the search for life beyond Earth. Yet life's very beginnings during the first hundreds of millions of years of our planet's history remain largely unknown--despite decades of research. This report centers on one key point: that the earliest steps on the path to life's emergence on Earth were tied intimately to the evolving chemical and physical conditions of our earliest environments. Yet, a rigorous, interdisciplinary understanding of that relationship has not been explored adequately and once better understood will inform our search for life beyond Earth. In this way, studies of the emergence of life must become a truly interdisciplinary effort, requiring a mix that expands the traditional platform of prebiotic chemistry to include geochemists, atmospheric chemists, geologists and geophysicists, astronomers, mission scientists and engineers, and astrobiologists.


title: Infinite Sperner's theorem

abstract: One of the most classical results in extremal set theory is Sperner's theorem, which says that the largest antichain in the Boolean lattice $2^{[n]}$ has size $\Theta\big(\frac{2^n}{\sqrt{n}}\big)$. Motivated by an old problem of Erd\H{o}s on the growth of infinite Sidon sequences, in this note we study the growth rate of maximum infinite antichains. Using the well known Kraft's inequality for prefix codes, it is not difficult to show that infinite antichains should be "thinner" than the corresponding finite ones. More precisely, if $\mathcal{F}\subset 2^{\mathbb{N}}$ is an antichain, then $$\liminf_{n\rightarrow \infty}\big|\mathcal{F} \cap 2^{[n]}\big|\left(\frac{2^n}{n\log n}\right)^{-1}=0.$$ Our main result shows that this bound is essentially tight, that is, we construct an antichain $\mathcal{F}$ such that $$\liminf_{n\rightarrow \infty}\big|\mathcal{F} \cap 2^{[n]}\big|\left(\frac{2^n}{n\log^{C} n}\right)^{-1}>0$$ holds for some absolute constant $C>0$.


title: New perspective on thermodynamics of spacetime: The emergence of unimodular gravity and the equivalence of entropies

abstract: We present a novel derivation of Einstein equations from the balance between Clausius entropy crossing the boundary of a local causal diamond and entanglement entropy associated with its horizon. Comparing this derivation with the entanglement equilibrium approach developed by Jacobson, we are able to argue for the equivalence of matter entanglement and Clausius entropy in the semiclassical regime. We also provide a direct comparison of both entropies for conformal matter, showing their equivalence without appealing to gravitational dynamics. Furthermore, we determine that gravitational dynamics implied by thermodynamics of spacetime, in fact, corresponds to unimodular gravity rather than general relativity.


title: Centrality dependence of J/$\psi$ and $\psi$(2S) production and nuclear modification in p-Pb collisions at $\sqrt{s_{\rm NN}} =$ 8.16 TeV

abstract: The inclusive production of the J/$\psi$ and $\psi$(2S) charmonium states is studied as a function of centrality in p-Pb collisions at a centre-of-mass energy per nucleon pair $\sqrt{s_{\rm NN}} = 8.16$ TeV at the LHC. The measurement is performed in the dimuon decay channel with the ALICE apparatus in the centre-of-mass rapidity intervals $-4.46 < y_{\rm cms} < -2.96$ (Pb-going direction) and $2.03 < y_{\rm cms} < 3.53$ (p-going direction), down to zero transverse momentum ($p_{\rm T}$). The J/$\psi$ and $\psi$(2S) production cross sections are evaluated as a function of the collision centrality, estimated through the energy deposited in the zero degree calorimeter located in the Pb-going direction. The $p_{\rm T}$-differential J/$\psi$ production cross section is measured at backward and forward rapidity for several centrality classes, together with the corresponding average $\langle p_{\rm T} \rangle$ and $\langle p^{2}_{\rm T} \rangle$ values. The nuclear effects affecting the production of both charmonium states are studied using the nuclear modification factor. In the p-going direction, a suppression of the production of both charmonium states is observed, which seems to increase from peripheral to central collisions. In the Pb-going direction, however, the centrality dependence is different for the two states: the nuclear modification factor of the J/$\psi$ increases from below unity in peripheral collisions to above unity in central collisions, while for the $\psi$(2S) it stays below or consistent with unity for all centralities with no significant centrality dependence. The results are compared with measurements in p-Pb collisions at $\sqrt{s_{\rm NN}} = 5.02$ TeV and no significant dependence on the energy of the collision is observed. Finally, the results are compared with theoretical models implementing various nuclear matter effects.


title: Majorana Conductances in Three-Terminal Transports

abstract: We consider a two-lead (three-terminal) setup of nonlocal transport through Majorana zero modes (MZMs) and construct a Majorana master equation (which is also valid for small bias voltage). We first carry out representative results of current and then show that a modified Bogoliubov-de Gennes (BdG) treatment can consistently recover the same results. Based on the interplay of the two approaches, we reveal the existence of nonvanishing channels of teleportation and crossed Andreev reflections even at the limit $\epsilon_M\to 0$ (zero coupling energy of the MZMs), which leads to new predictions for the height of the zero-bias-peak of the local conductance and the $\epsilon_M$-scaling behavior of the teleportation conductance, for verification by experiments.


title: 3D FLAT: Feasible Learned Acquisition Trajectories for Accelerated MRI

abstract: Magnetic Resonance Imaging (MRI) has long been considered to be among the gold standards of today's diagnostic imaging. The most significant drawback of MRI is long acquisition times, prohibiting its use in standard practice for some applications. Compressed sensing (CS) proposes to subsample the k-space (the Fourier domain dual to the physical space of spatial coordinates) leading to significantly accelerated acquisition. However, the benefit of compressed sensing has not been fully exploited; most of the sampling densities obtained through CS do not produce a trajectory that obeys the stringent constraints of the MRI machine imposed in practice. Inspired by recent success of deep learning based approaches for image reconstruction and ideas from computational imaging on learning-based design of imaging systems, we introduce 3D FLAT, a novel protocol for data-driven design of 3D non-Cartesian accelerated trajectories in MRI. Our proposal leverages the entire 3D k-space to simultaneously learn a physically feasible acquisition trajectory with a reconstruction method. Experimental results, performed as a proof-of-concept, suggest that 3D FLAT achieves higher image quality for a given readout time compared to standard trajectories such as radial, stack-of-stars, or 2D learned trajectories (trajectories that evolve only in the 2D plane while fully sampling along the third dimension). Furthermore, we demonstrate evidence supporting the significant benefit of performing MRI acquisitions using non-Cartesian 3D trajectories over 2D non-Cartesian trajectories acquired slice-wise.


title: Extension of Full and Reduced Order Observers for Image-based Depth Estimation using Concurrent Learning

abstract: In this paper concurrent learning (CL)-based full and reduced order observers for a perspective dynamical system (PDS) are developed. The PDS is a widely used model for estimating the depth of a feature point from a sequence of camera images. Building on the current progress of CL for parameter estimation in adaptive control, a state observer is developed for the PDS model where the inverse depth appears as a time-varying parameter in the dynamics. The data recorded over a sliding time window in the near past is used in the CL term to design the full and the reduced order state observers. A Lyapunov-based stability analysis is carried out to prove the uniformly ultimately bounded (UUB) stability of the developed observers. Simulation results are presented to validate the accuracy and convergence of the developed observers in terms of convergence time, root mean square error (RMSE) and mean absolute percentage error (MAPE) metrics. Real world depth estimation experiments are performed to demonstrate the performance of the observers using aforementioned metrics on a 7-DoF manipulator with an eye-in-hand configuration.


title: The holographic map as a conditional expectation

abstract: We study the holographic map in AdS/CFT, as modeled by a quantum error correcting code with exact complementary recovery. We show that the map is determined by local conditional expectations acting on the operator algebras of the boundary/physical Hilbert space. Several existing results in the literature follow easily from this perspective. The Black Hole area law, and more generally the Ryu-Takayanagi area operator, arises from a central sum of entropies on the relative commutant. These entropies are determined in a state independent way by the conditional expectation. The conditional expectation can also be found via a minimization procedure, similar to the minimization involved in the RT formula. For a local net of algebras associated to connected boundary regions, we show the complementary recovery condition is equivalent to the existence of a standard net of inclusions -- an abstraction of the mathematical structure governing QFT superselection sectors given by Longo and Rehren. For a code consisting of algebras associated to two disjoint regions of the boundary theory we impose an extra condition, dubbed dual-additivity, that gives rise to phase transitions between different entanglement wedges. Dual-additive codes naturally give rise to a new split code subspace, and an entropy bound controls which subspace and associated algebra is reconstructable. We also discuss known shortcomings of exact complementary recovery as a model of holography. For example, these codes are not able to accommodate holographic violations of additive for overlapping regions. We comment on how approximate codes can fix these issues.


title: Social Engagement versus Learning Engagement -- An Exploratory Study of FutureLearn Learners

abstract: Massive Open Online Courses (MOOCs) continue to see increasing enrolment, but only a small percent of enrolees completes the MOOCs. Whilst a lot of research has focused on predicting completion, there is little research analysing the ostensible contradiction between the MOOC's popularity and the apparent disengagement of learners. Specifically, it is important to analyse engagement not just in learning, but also from a social perspective. This is especially crucial, as MOOCs offer a growing amount of activities, which can be classified as social interactions. Thus, this study is particularly concerned with how learners interact with peers, along with their study progression in MOOCs. Additionally, unlike most existing studies that are mainly focused on learning outcomes, this study adopts a fine-grained temporal approach to exploring how learners progress within a MOOC. The study was conducted on the less explored FutureLearn platform, which employs a social constructivist approach and promotes collaborative learning. The preliminary results suggest potential interesting fine-grained predictive models for learner behaviour, involving weekly monitoring of social, non-social behaviour of active students (further classified as completers and non-completers).


title: Orbital stability and instability of periodic wave solutions for $\phi^{4n}$-models

abstract: In this work we study the orbital stability/instability in the energy space of a specific family of periodic wave solutions of the general $\phi^{4n}$-model for all $n\in\mathbb{N}$. This family of periodic solutions are orbiting around the origin in the corresponding phase portrait and, in the standing case, are related (in a proper sense) with the aperiodic Kink solution that connect the states $-\tfrac{1}{2}$ with $\tfrac{1}{2}$. In the traveling case, we prove the orbital instability in the whole energy space for all $n\in\mathbb{N}$, while in the standing case we prove that, under some additional parity assumptions, these solutions are orbitally stable for all $n\in\mathbb{N}$.


title: The Influence of Einstein's Effective Viscosity on Sedimentation at Very Small Particle Volume Fraction

abstract: We investigate the sedimentation of identical inertialess spherical particles in a Stokes fluid in the limit of many small particles. It is known that the presence of the particles leads to an increase of the effective viscosity of the suspension. By Einstein's formula this effect is of the order of the particle volume fraction $\phi$. The disturbance of the fluid flow responsible for this increase of viscosity is very singular (like $|x|^{-2}$). Nevertheless, for well-prepared initial configurations and $\phi\to 0$, we show that the microscopic dynamics is approximated to order $\phi^2 |\log \phi|$ by a macroscopic coupled transport-Stokes system with an effective viscosity according to Einstein's formula. We provide quantitative estimates both for convergence of the densities in the $p$-Wasserstein distance for all $p$ and for the fluid velocity in Lebesgue spaces in terms of the $p$-Wasserstein distance of the initial data. Our proof is based on approximations through the method of reflections and on a generalization of a classical result on convergence to mean-field limits in the infinite Wasserstein metric by Hauray.


title: On Security Measures for Containerized Applications Imaged with Docker

abstract: Linux containers have risen in popularity in the last few years, making their way to commercial IT service offerings (such as PaaS), application deployments, and Continuous Delivery/Integration pipelines within various development teams. Along with the wide adoption of Docker, security vulnerabilities and concerns have also surfaced. In this survey, we examine the state of security for the most popular container system at the moment: Docker. We will also look into its origins stemming from the Linux technologies built into the OS itself; examine intrinsic vulnerabilities, such as the Docker Image implementation; and provide an analysis of current tools and modern methodologies used in the field to evaluate and enhance its security. For each section, we pinpoint metrics of interest, as they have been revealed by researchers and experts in the domain and summarize their findings to paint a holistic picture of the efforts behind those findings. Lastly, we look at tools utilized in the industry to streamline Docker security scanning and analytics which provide built-in aggregation of key metrics.


title: A Review on Deep Learning Techniques for the Diagnosis of Novel Coronavirus (COVID-19)

abstract: Novel coronavirus (COVID-19) outbreak, has raised a calamitous situation all over the world and has become one of the most acute and severe ailments in the past hundred years. The prevalence rate of COVID-19 is rapidly rising every day throughout the globe. Although no vaccines for this pandemic have been discovered yet, deep learning techniques proved themselves to be a powerful tool in the arsenal used by clinicians for the automatic diagnosis of COVID-19. This paper aims to overview the recently developed systems based on deep learning techniques using different medical imaging modalities like Computer Tomography (CT) and X-ray. This review specifically discusses the systems developed for COVID-19 diagnosis using deep learning techniques and provides insights on well-known data sets used to train these networks. It also highlights the data partitioning techniques and various performance measures developed by researchers in this field. A taxonomy is drawn to categorize the recent works for proper insight. Finally, we conclude by addressing the challenges associated with the use of deep learning methods for COVID-19 detection and probable future trends in this research area. This paper is intended to provide experts (medical or otherwise) and technicians with new insights into the ways deep learning techniques are used in this regard and how they potentially further works in combatting the outbreak of COVID-19.


title: Finch-Skea Solutions of Anisotropic Stellar Models in $f(R)$ Gravity

abstract: Present paper deals with the composition and modelling of compact dense astrophysical bodies under the framework of $f(R)$ gravity. The model is employed on various observed strange stars viz., SMC X-1, SAX J1808.4-3658, Swift J1818.0-1607, PSR J1614-2230 and PSR J0348+0432. Upon setting the appropriate value of dimensionless coupling parameter $\lambda $, the physical parameters such as the density, the radial and tangential pressures were obtained. Mass-Radius relation without presuming any equation of state is capable enough to accommodate all strange stars nearly having solar mass up to 2.5. The physical viability of the model is examined for all the aforementioned stars and it is found that all the regularity and stability conditions are satisfied.


title: Diffusion approximation for fully coupled stochastic differential equations

abstract: We consider a Poisson equation in $\mathbb R^d$ for the elliptic operator corresponding to an ergodic diffusion process. Optimal regularity and smoothness with respect to the parameter are obtained under mild conditions on the coefficients. The result is then applied to establish a general diffusion approximation for fully coupled multi-time-scales stochastic differential equations with only H\"older continuous coefficients. Four different averaged equations as well as rates of convergence are obtained. Moreover, the convergence is shown to rely only on the regularities of the coefficients with respect to the slow variable, and does not depend on their regularities with respect to the fast component.


title: A multi-chord stellar occultation by the large trans-Neptunian object (174567) Varda

abstract: We present results from the first recorded stellar occultation by the large trans-Neptunian object (174567) Varda that was observed on September 10$^{\rm th}$, 2018. Varda belongs to the high-inclination dynamically excited population, and has a satellite, Ilmar\"e, which is half the size of Varda. We determine the size and albedo of Varda and constrain its 3D shape and density. Thirteen different sites in the USA monitored the event, five of which detected an occultation by the main body. A best-fitting ellipse to the occultation chords provides the instantaneous limb of the body, from which the geometric albedo is computed. The size and shape of Varda are evaluated, and its bulk density is constrained, using Varda's mass known from previous works. The best-fitting elliptical limb has semi-major (equatorial) axis of $(383 \pm 3)$km and an apparent oblateness $0.066\pm0.047$ corresponding to an apparent area-equivalent radius $R'_{\rm equiv}= (370\pm7)$km and geometric albedo $p_v=0.099\pm 0.002 $ assuming a visual absolute magnitude $H_V=3.81\pm0.01$. Using three possible rotational periods for the body (4.76h, 5.91h, and 7.87h), we derive corresponding MacLaurin solutions. Furthermore, given the low-amplitude ($0.06\pm0.01$) mag of the single-peaked rotational light-curve for the aforementioned periods, we consider the double periods. For the 5.91h period (the most probable) and its double (11.82h), we find bulk densities and true oblateness of $\rho=(1.78\pm0.06)$ g cm$^{-3}$, $\epsilon=0.235\pm0.050$ and $\rho=(1.23\pm0.04)$ g cm$^{-3}$, $\epsilon=0.080\pm0.049$. However, it must be noted that the other solutions cannot be excluded just yet.


title: Comparison of the Lindhard-Sorensen and Mott-Bloch corrections to the Bethe stopping formula at moderately relativistic energies

abstract: The results of numerical calculating the total Mott-Bloch correction to the Bethe stopping formula and the Lindhard-Sorensen correction in the point nucleus approximation, as well as the Mott correction and the difference between the Lindhard-Sorensen and Bloch corrections, which were obtained by some rigorous and approximate methods, are compared for the ranges of a gamma factor of approximately from 1 to 10 and the ion nuclear charge number Z from 6 to 114. It is shown that the accurate calculation of the Mott-Bloch corrections based on the Mott exact cross section using a method previously proposed by one of the authors gives excellent agreement between its values and the values of the Lindhard-Sorensen corrections in the gamma and Z ranges under consideration. In addition, it is demonstrated that the results of stopping power calculations obtained by the two above-mentioned rigorous methods coincide with each other up to the seventh significant digit and provide the best agreement with experimental data in contrast with the results of some approximate methods, such as the methods of Ahlen, Jackson-McCarthy, etc.


title: LTIatCMU at SemEval-2020 Task 11: Incorporating Multi-Level Features for Multi-Granular Propaganda Span Identification

abstract: In this paper we describe our submission for the task of Propaganda Span Identification in news articles. We introduce a BERT-BiLSTM based span-level propaganda classification model that identifies which token spans within the sentence are indicative of propaganda. The "multi-granular" model incorporates linguistic knowledge at various levels of text granularity, including word, sentence and document level syntactic, semantic and pragmatic affect features, which significantly improve model performance, compared to its language-agnostic variant. To facilitate better representation learning, we also collect a corpus of 10k news articles, and use it for fine-tuning the model. The final model is a majority-voting ensemble which learns different propaganda class boundaries by leveraging different subsets of incorporated knowledge and attains $4^{th}$ position on the test leaderboard. Our final model and code is released at https://github.com/sopu/PropagandaSemEval2020.


title: Unified Representation Learning for Cross Model Compatibility

abstract: We propose a unified representation learning framework to address the Cross Model Compatibility (CMC) problem in the context of visual search applications. Cross compatibility between different embedding models enables the visual search systems to correctly recognize and retrieve identities without re-encoding user images, which are usually not available due to privacy concerns. While there are existing approaches to address CMC in face identification, they fail to work in a more challenging setting where the distributions of embedding models shift drastically. The proposed solution improves CMC performance by introducing a light-weight Residual Bottleneck Transformation (RBT) module and a new training scheme to optimize the embedding spaces. Extensive experiments demonstrate that our proposed solution outperforms previous approaches by a large margin for various challenging visual search scenarios of face recognition and person re-identification.


title: Averaging principle and normal deviations for multiscale stochastic systems

abstract: We study the asymptotic behavior for an inhomogeneous multiscale stochastic dynamical system with non-smooth coefficients. Depending on the averaging regime and the homogenization regime, two strong convergences in the averaging principle of functional law of large numbers type are established. Then we consider the small fluctuations of the system around its average. Nine cases of functional central limit type theorems are obtained. In particular, even though the averaged equation for the original system is the same, the corresponding homogenization limit for the normal deviation can be quite different due to the difference in the interactions between the fast scales and the deviation scales. We provide quite intuitive explanations for each case. Furthermore, sharp rates both for the strong convergences and the functional central limit theorems are obtained, and these convergences are shown to rely only on the regularity of the coefficients of the system with respect to the slow variable, and do not depend on their regularity with respect to the fast variable, which coincide with the intuition since in the limit equations the fast component has been totally averaged or homogenized out.


title: Decomposition of Feynman Integrals by Multivariate Intersection Numbers

abstract: We present a detailed description of the recent idea for a direct decomposition of Feynman integrals onto a basis of master integrals by projections, as well as a direct derivation of the differential equations satisfied by the master integrals, employing multivariate intersection numbers. We discuss a recursive algorithm for the computation of multivariate intersection numbers and provide three different approaches for a direct decomposition of Feynman integrals, which we dub the straight decomposition, the bottom-up decomposition, and the top-down decomposition. These algorithms exploit the unitarity structure of Feynman integrals by computing intersection numbers supported on cuts, in various orders, thus showing the synthesis of the intersection-theory concepts with unitarity-based methods and integrand decomposition. We perform explicit computations to exemplify all of these approaches applied to Feynman integrals, paving a way towards potential applications to generic multi-loop integrals.


title: Anytime Guarantees for Reachability in Uncountable Markov Decision Processes

abstract: We consider the problem of approximating the reachability probabilities in Markov decision processes (MDP) with uncountable (continuous) state and action spaces. While there are algorithms that, for special classes of such MDP, provide a sequence of approximations converging to the true value in the limit, our aim is to obtain an algorithm with guarantees on the precision of the approximation. As this problem is undecidable in general, assumptions on the MDP are necessary. Our main contribution is to identify sufficient assumptions that are as weak as possible, thus approaching the "boundary" of which systems can be correctly and reliably analyzed. To this end, we also argue why each of our assumptions is necessary for algorithms based on processing finitely many observations. We present two solution variants. The first one provides converging lower bounds under weaker assumptions than typical ones from previous works concerned with guarantees. The second one then utilizes stronger assumptions to additionally provide converging upper bounds. Altogether, we obtain an anytime algorithm, i.e. yielding a sequence of approximants with known and iteratively improving precision, converging to the true value in the limit. Besides, due to the generality of our assumptions, our algorithms are very general templates, readily allowing for various heuristics from literature in contrast to, e.g., a specific discretization algorithm. Our theoretical contribution thus paves the way for future practical improvements without sacrificing correctness guarantees.


title: Nested Bethe Ansatz for RTT-Algebra $\mathcal{A}_n$

abstract: This paper continues our recent studies on the algebraic Bethe ansatz for the RTT-algebras of sp($2n$) and o($2n$) types. In these studies, we encountered the RTT-algebras which we called An. The next step in our construction of the Bethe vectors for the RTT-algebras of type sp($2n$) and o($2n$) is to find the Bethe vectors for the RTT-algebras $\mathcal{A}_n$. This paper deals with the construction of the Bethe vectors of the RTT-algebra An using the Bethe vectors of the RTT-algebra $\mathcal{A}_{n-1}$.


title: Social Distancing Beliefs and Human Mobility: Evidence from Twitter

abstract: We construct a novel database containing hundreds of thousands geotagged messages related to the COVID-19 pandemic sent on Twitter. We create a daily index of social distancing -- at the state level -- to capture social distancing beliefs by analyzing the number of tweets containing keywords such as "stay home", "stay safe", "wear mask", "wash hands" and "social distancing". We find that an increase in the Twitter index of social distancing on day t-1 is associated with a decrease in mobility on day t. We also find that state orders, an increase in the number of COVID cases, precipitation and temperature contribute to reducing human mobility. Republican states are also less likely to enforce social distancing. Beliefs shared on social networks could both reveal the behavior of individuals and influence the behavior of others. Our findings suggest that policy makers can use geotagged Twitter data -- in conjunction with mobility data -- to better understand individual voluntary social distancing actions.


title: The 4-D Gaussian Random Vector Maximum Conjecture and the 3-D Simplex Mean Width Conjecture

abstract: We prove the four-dimensional Gaussian random vector maximum conjecture. This conjecture asserts that among all centered Gaussian random vectors $X=(X_1,X_2,X_3,X_4)$ with $E[X_i^2]=1$, $1\le i\le 4$, the expectation $E[\max(X_1,X_2,X_3,X_4)]$ is maximal if and only if all off-diagonal elements of the covariance matrix equal $-\frac{1}{3}$. As a direct consequence, we resolve the three-dimensional simplex mean width conjecture. This latter conjecture is a long-standing open problem in convex geometry, which asserts that among all simplices inscribed into the three-dimensional unit Euclidean ball the regular simplex has the maximal mean width.


title: A simple model system to study coupled photonic crystal microcavities

abstract: In this paper, we designed and experimentally studied several systems of standard coaxial cables with different impedances which mimic the operation of so called photonic structures like coupled photonic crystal microcavities. Using elementary cells of half-meter long coaxial cables we got resonances around 100MHz, a range of frequencies that can be easily studied with a standard teaching laboratory apparatus. Resonant mode frequency splitting has been obtained in the case of double and triple coupled cavities. A good agreement between experimental results and transfer matrix model has been observed. The aim here is to demonstrate that standard coaxial cable system is a very cheap way and an easy to implement structure to explain to undergraduate students complex phenomena that usually occur in the optical domain.


title: Detecting Urban Dynamics Using Deep Siamese Convolutional Neural Networks

abstract: Change detection is a fast-growing discipline in the areas of computer vision and remote sensing. In this work, we designed and developed a variant of convolutional neural network (CNN), known as Siamese CNN to extract features from pairs of Sentinel-2 temporal images of Mekelle city captured at different times and detect changes due to urbanization: buildings and roads. The detection capability of the proposed was measured in terms of overall accuracy (95.8), Kappa measure (72.5), recall (76.5), precision (77.7), F1 measure (77.1). The model has achieved a good performance in terms of most of these measures and can be used to detect changes in Mekelle and other cities at different time horizons undergoing urbanization.


title: Scheduling Methods to Reduce Response Latency of Function as a Service

abstract: Function as a Service (FaaS) permits cloud customers to deploy to cloud individual functions, in contrast to complete virtual machines or Linux containers. All major cloud providers offer FaaS products (Amazon Lambda, Google Cloud Functions, Azure Serverless); there are also popular open-source implementations (Apache OpenWhisk) with commercial offerings (Adobe I/O Runtime, IBM Cloud Functions). A new feature of FaaS is function composition: a function may (sequentially) call another function, which, in turn, may call yet another function - forming a chain of invocations. From the perspective of the infrastructure, a composed FaaS is less opaque than a virtual machine or a container. We show that this additional information enables the infrastructure to reduce the response latency. In particular, knowing the sequence of future invocations, the infrastructure can schedule these invocations along with environment preparation. We model resource management in FaaS as a scheduling problem combining (1) sequencing of invocations, (2) deploying execution environments on machines, and (3) allocating invocations to deployed environments. For each aspect, we propose heuristics. We explore their performance by simulation on a range of synthetic workloads. Our results show that if the setup times are long compared to invocation times, algorithms that use information about the composition of functions consistently outperform greedy, myopic algorithms, leading to significant decrease in response latency.


title: Random iterations of paracontraction maps and applications to feasibility problems

abstract: In this paper, we consider the problem of finding an almost surely common fixed point of a family of paracontraction maps indexed on a probability space, which we refer to as the stochastic feasibility problem. We show that a random iteration of paracontraction maps driven by an ergodic stationary sequence converges, with probability one, to a solution of the stochastic feasibility problem, provided a solution exists. As applications, we obtain non-white noise randomized algorithms to solve the stochastic convex feasibility problem and the problem of finding an almost surely common zero of a collection of maximal monotone operators.


title: Geometric regularity estimates for fully nonlinear elliptic equations with free boundaries

abstract: In this manuscript we study geometric regularity estimates for problems driven by fully nonlinear elliptic operators under strong absorption conditions. We establish improved geometric regularity along the free boundary, for a sharp value depending only on structural parameters. Non degeneracy among others measure theoretical properties are also obtained. A sharp Liouville result for entire solutions with controlled growth at infinity is proved. We also present a number of applications consequential of our findings.


title: Robustness of critical U(1) spin liquids and emergent symmetries in tensor networks

abstract: We study the response of critical Resonating Valence Bond (RVB) spin liquids to doping with longer-range singlets, and more generally of U(1)-symmetric tensor networks to non-symmetric perturbations. Using a field theory description, we find that in the RVB, doping constitutes a relevant perturbation which immediately opens up a gap, contrary to previous observations. Our analysis predicts a very large correlation length even at significant doping, which we verify using high-accuracy numerical simulations. This emphasizes the need for careful analysis, but also justifies the use of such states as a variational ansatz for critical systems. Finally, we give an example of a PEPS where non-symmetric perturbations do not open up a gap and the U(1) symmetry re-emerges.


title: Uniform rectifiability and elliptic operators satisfying a Carleson measure condition

abstract: The present paper establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular $L^p$ data case. We split our proof on two main steps. In the first one we considered the case in which the desired Carleson measure condition on the coefficients holds with "sufficiently small constant", using a novel application of techniques developed in geometric measure theory. In the second step we establish the final result, that is, the "large constant case". The key elements are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, and a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.


title: Moir\'e metrology of energy landscapes in van der Waals heterostructures

abstract: The emerging field of twistronics, which harnesses the twist angle between two-dimensional materials, represents a promising route for the design of quantum materials, as the twist-angle-induced superlattices offer means to control topology and strong correlations. At the small twist limit, and particularly under strain, as atomic relaxation prevails, the emergent moir\'e superlattice encodes elusive insights into the local interlayer interaction. Here we introduce moir\'e metrology as a combined experiment-theory framework to probe the stacking energy landscape of bilayer structures at the 0.1 meV/atom scale, outperforming the gold-standard of quantum chemistry. Through studying the shapes of moir\'e domains with numerous nano-imaging techniques, and correlating with multi-scale modelling, we assess and refine first-principle models for the interlayer interaction. We document the prowess of moir\'e metrology for three representative twisted systems: bilayer graphene, double bilayer graphene and H-stacked $MoSe_2/WSe_2$. Moir\'e metrology establishes sought after experimental benchmarks for interlayer interaction, thus enabling accurate modelling of twisted multilayers.


title: A polynomial invariant for veering triangulations

abstract: We introduce a polynomial invariant $V_\tau \in \mathbb{Z}[H_1(M)/\text{torsion}]$ associated to a veering triangulation $\tau$ of a $3$-manifold $M$. In the special case where the triangulation is layered, i.e. comes from a fibration, $V_\tau$ recovers the Teichm\"uller polynomial of the fibered faces canonically associated to $\tau$. Via Dehn filling, this gives a combinatorial description of the Teichm\"uller polynomial for any hyperbolic fibered $3$-manifold. For a general veering triangulation $\tau$, we show that the surfaces carried by $\tau$ determine a cone in homology that is dual to its cone of positive closed transversals. Moreover, we prove that this is $\textit{equal}$ to the cone over a (generally non-fibered) face of the Thurston norm ball, and that $\tau$ computes the norm on this cone in a precise sense. We also give a combinatorial description of $V_\tau$ in terms of the $\textit{flow graph}$ for $\tau$ and its Perron polynomial. This perspective allows us to characterize when a veering triangulation comes from a fibration, and more generally to compute the face of the Thurston norm determined by $\tau$.


title: Anomalous Hall effect in half-metallic Heusler compound Co$_{2}$Ti$X$ ($X$=Si, Ge)

abstract: Though Weyl fermions have recently been observed in several materials with broken inversion symmetry, there are very few examples of such systems with broken time reversal symmetry. Various Co$_{2}$-based half-metallic ferromagnetic Heusler compounds are lately predicted to host Weyl type excitations in their band structure. These magnetic Heusler compounds with broken time reversal symmetry are expected to show a large momentum space Berry curvature, which introduces several exotic magneto-transport properties. In this report, we present systematic analysis of experimental results on anomalous Hall effect (AHE) in Co$_2$Ti$X$ ($X$=Si and Ge). This study is an attempt to understand the role of Berry curvature on AHE in Co$_2$Ti$X$ family of materials. The anomalous Hall resistivity is observed to scale quadratically with the longitudinal resistivity for both the compounds. The detailed analysis indicates that in anomalous Hall conductivity, the intrinsic Karplus-Luttinger Berry phase mechanism dominates over the extrinsic skew scattering and side-jump mechanism.


title: TransNet V2: An effective deep network architecture for fast shot transition detection

abstract: Although automatic shot transition detection approaches are already investigated for more than two decades, an effective universal human-level model was not proposed yet. Even for common shot transitions like hard cuts or simple gradual changes, the potential diversity of analyzed video contents may still lead to both false hits and false dismissals. Recently, deep learning-based approaches significantly improved the accuracy of shot transition detection using 3D convolutional architectures and artificially created training data. Nevertheless, one hundred percent accuracy is still an unreachable ideal. In this paper, we share the current version of our deep network TransNet V2 that reaches state-of-the-art performance on respected benchmarks. A trained instance of the model is provided so it can be instantly utilized by the community for a highly efficient analysis of large video archives. Furthermore, the network architecture, as well as our experience with the training process, are detailed, including simple code snippets for convenient usage of the proposed model and visualization of results.


title: The Maximum Length and Isomorphism of Circuit Codes with Long Bit Runs

abstract: Recently, Byrnes presented a formula for the maximum length of a symmetric circuit code that has a long bit run and odd spread. Here we show that the formula is also valid when the spread is even. We also establish that all maximum length symmetric circuit codes with long bit runs are isomorphic for an infinite and nontrivial family of circuit codes, extending a previous result of Douglas.


title: Generalisations of Hecke algebras from Loop Braid Groups

abstract: We introduce a generalisation $LH_n$ of the ordinary Hecke algebras informed by the loop braid group $LB_n$ and the extension of the Burau representation thereto. The ordinary Hecke algebra has many remarkable arithmetic and representation theoretic properties, and many applications. We show that $LH_n$ has analogues of several of these properties. In particular we %introduce consider a class of local (tensor space/functor) representations of the braid group derived from a meld of the (non-functor) Burau representation and the (functor) Deguchi {\em et al}-Kauffman--Saleur-Rittenberg representations here called Burau-Rittenberg representations. In its most supersymmetric case somewhat mystical cancellations of anomalies occur so that the Burau-Rittenberg representation extends to a loop Burau-Rittenberg representation. And this factors through $LH_n$. Let $SP_n$ denote the corresponding quotient algebra, $k$ the ground ring, and $t \in k$ the loop-Hecke parameter. We prove the following: 1) $LH_n$ is finite dimensional over a field. 2) The natural inclusion $LB_n \rightarrow LB_{n+1}$ passes to an inclusion $SP_n \rightarrow SP_{n+1}$. 3) Over $k=\mathbb{C}$, $SP_n / rad $ is generically the sum of simple matrix algebras of dimension (and Bratteli diagram) given by Pascal's triangle. 4) We determine the other fundamental invariants of $SP_n$ representation theory: the Cartan decomposition matrix; and the quiver, which is of type-A. 5) The structure of $SP_n $ is independent of the parameter $t$, except for $t= 1$. \item For $t^2 \neq 1$ then $LH_n \cong SP_n$ at least up to rank$n=7$ (for $t=-1$ they are not isomorphic for $n>2$; for $t=1$ they are not isomorphic for $n>1$). Finally we discuss a number of other intriguing points arising from this construction in topology, representation theory and combinatorics.


title: A family of lacunary recurrences for Lucas Numbers

abstract: We prove an infinite family of lacunary recurrences for the Lucas numbers using combinatorial means.


title: Some New and Old Gibonacci Identities

abstract: We present a different combinatorial interpretations of Lucas and Gibonacci numbers. Using these interpretations we prove several new identities, and simplify the proofs of several known identities. Some open problems are discussed towards the end of the paper.


title: The pollen and the electron: a study in randomness

abstract: The random motion of a pollen grain in a glass of water is only apparently so. It results from coarse-graining an underlying deterministic motion - that of the molecules of water colliding with the grain. Not observing degrees of freedom on smaller scales can make deterministic evolution appear indeterministic on larger scales. In this essay we attempt to make the case that quantum indeterminism arises in an analogous manner, from coarse-graining a deterministic (but non-unitary) evolution at the Planck scale. The underlying evolution is described by the theory of trace dynamics, which is a deterministic matrix dynamics from which quantum theory and its indeterminism are emergent. One consequence of the theory is the Karolyhazy uncertainty relation, which implies a universal upper bound to the speed of computing, as noted also by other researchers.


title: A Gromov-Witten theory for simple normal-crossing pairs without log geometry

abstract: We define a new Gromov-Witten theory relative to simple normal crossing divisors as a limit of Gromov-Witten theory of multi-root stacks. Several structural properties are proved including relative quantum cohomology, Givental formalism, Virasoro constraints (genus zero) and a partial cohomological field theory. Furthermore, we use the degree zero part of the relative quantum cohomology to provide an alternative mirror construction of Gross-Siebert and to prove the Frobenius structure conjecture of Gross-Hacking-Keel.


title: $3$-Colouring $P_t$-free graphs without short odd cycles

abstract: For any odd $t\ge 9$, we present a polynomial-time algorithm that solves the $3$-colouring problem, and finds a $3$-colouring if one exists, in $P_{t}$-free graphs of odd girth at least $t-2$. In particular, our algorithm works for $(P_9, C_3, C_5)$-free graphs, thus making progress towards determining the complexity of $3$-colouring in $P_t$-free graphs, which is open for $t\ge 8$.


title: Enhancement of Unruh effect in high-intensity laser fields using hyperbolic metamaterials

abstract: High-intensity laser fields acting on free electrons were proposed to create sufficiently large accelerations to enable detection of Unruh radiation. However, the currently achievable electron accelerations are not large enough. Here we demonstrate that Unruh effect in high-intensity laser fields is strongly enhanced near hyperbolic metamaterials, so that many orders of magnitude smaller accelerations may be used to detect Unruh radiation.


title: IGANI: Iterative Generative Adversarial Networks for Imputation with Application to Traffic Data

abstract: Increasing use of sensor data in intelligent transportation systems calls for accurate imputation algorithms that can enable reliable traffic management in the occasional absence of data. As one of the effective imputation approaches, generative adversarial networks (GANs) are implicit generative models that can be used for data imputation, which is formulated as an unsupervised learning problem. This work introduces a novel iterative GAN architecture, called Iterative Generative Adversarial Networks for Imputation (IGANI), for data imputation. IGANI imputes data in two steps and maintains the invertibility of the generative imputer, which will be shown to be a sufficient condition for the convergence of the proposed GAN-based imputation. The performance of our proposed method is evaluated on (1) the imputation of traffic speed data collected in the city of Guangzhou in China, and the training of short-term traffic prediction models using imputed data, and (2) the imputation of multi-variable traffic data of highways in Portland-Vancouver metropolitan region which includes volume, occupancy, and speed with different missing rates for each of them. It is shown that our proposed algorithm mostly produces more accurate results compared to those of previous GAN-based imputation architectures.