title: A strain-gradient formulation for fiber reinforced polymers: Hybrid phase-field model for porous-ductile fracture

abstract: A novel numerical approach to analyze the mechanical behavior within composite materials including the inelastic regime up to final failure is presented. Therefore, a second-gradient theory is combined with phase-field methods to fracture. In particular, we assume that the polymeric matrix material undergoes ductile fracture, whereas continuously embedded fibers undergo brittle fracture as it is typical e.g. for roving glass reinforced thermoplastics. A hybrid phase-field approach is developed and applied along with a modified Gurson-Tvergaard-Needelman GTN-type plasticity model accounting for a temperature-dependent growth of voids on microscale. The mechanical response of the arising microstructure of the woven fabric gives rise to additional higher-order terms, representing homogenized bending contributions of the fibers. Eventually, a series of tests is conducted for this physically comprehensive multifield formulation to investigate different kinds and sequences of failure within long fiber reinforced polymers.


title: Dense Hybrid Recurrent Multi-view Stereo Net with Dynamic Consistency Checking

abstract: In this paper, we propose an efficient and effective dense hybrid recurrent multi-view stereo net with dynamic consistency checking, namely $D^{2}$HC-RMVSNet, for accurate dense point cloud reconstruction. Our novel hybrid recurrent multi-view stereo net consists of two core modules: 1) a light DRENet (Dense Reception Expanded) module to extract dense feature maps of original size with multi-scale context information, 2) a HU-LSTM (Hybrid U-LSTM) to regularize 3D matching volume into predicted depth map, which efficiently aggregates different scale information by coupling LSTM and U-Net architecture. To further improve the accuracy and completeness of reconstructed point clouds, we leverage a dynamic consistency checking strategy instead of prefixed parameters and strategies widely adopted in existing methods for dense point cloud reconstruction. In doing so, we dynamically aggregate geometric consistency matching error among all the views. Our method ranks \textbf{$1^{st}$} on the complex outdoor \textsl{Tanks and Temples} benchmark over all the methods. Extensive experiments on the in-door DTU dataset show our method exhibits competitive performance to the state-of-the-art method while dramatically reduces memory consumption, which costs only $19.4\%$ of R-MVSNet memory consumption. The codebase is available at \hyperlink{https://github.com/yhw-yhw/D2HC-RMVSNet}{https://github.com/yhw-yhw/D2HC-RMVSNet}.


title: Connecting Embeddings for Knowledge Graph Entity Typing

abstract: Knowledge graph (KG) entity typing aims at inferring possible missing entity type instances in KG, which is a very significant but still under-explored subtask of knowledge graph completion. In this paper, we propose a novel approach for KG entity typing which is trained by jointly utilizing local typing knowledge from existing entity type assertions and global triple knowledge from KGs. Specifically, we present two distinct knowledge-driven effective mechanisms of entity type inference. Accordingly, we build two novel embedding models to realize the mechanisms. Afterward, a joint model with them is used to infer missing entity type instances, which favors inferences that agree with both entity type instances and triple knowledge in KGs. Experimental results on two real-world datasets (Freebase and YAGO) demonstrate the effectiveness of our proposed mechanisms and models for improving KG entity typing. The source code and data of this paper can be obtained from: https://github.com/ Adam1679/ConnectE


title: Central limit theorems for stationary random fields under weak dependence with application to ambit and mixed moving average fields

abstract: We obtain central limit theorems for stationary random fields employing a novel measure of dependence called $\theta$-lex weak dependence. We show that this dependence notion is more general than strong mixing, i.e., it applies to a broader class of models. Moreover, we discuss hereditary properties for $\theta$-lex and $\eta$-weak dependence and illustrate the possible applications of the weak dependence notions to the study of the asymptotic properties of stationary random fields. Our general results apply to mixed moving average fields (MMAF in short) and ambit fields. We show general conditions such that MMAF and ambit fields, with the volatility field being an MMAF or a $p$-dependent random field, are weakly dependent. For all the models mentioned above, we give a complete characterization of their weak dependence coefficients and sufficient conditions to obtain the asymptotic normality of their sample moments. Finally, we give explicit computations of the weak dependence coefficients of MSTOU processes and analyze under which conditions the developed asymptotic theory applies to CARMA fields.


title: A Composite Higgs with a Heavy Composite Axion

abstract: We consider the strong dynamics associated with a composite Higgs model that simultaneously produces dynamical axions and solves the strong CP problem. The strong dynamics arises from a new $Sp$ or $SU(4)$ hypercolor gauge group containing QCD colored hyperfermions that confines at a high scale. The hypercolor global symmetry is weakly gauged by the Standard Model electroweak gauge group and an enlarged color group, $SU(N+3) \times SU(N)'$. When hyperfermion condensates form, they not only lead to an $SU(5)/SO(5)$ composite Higgs model but also spontaneously break the enlarged color group to $SU(3)_c \times SU(N)_D$. At lower energies, the $SU(N)_D$ group confines, producing two dynamical axions that eliminates all CP violation. Furthermore, small instantons from the $SU(N)'$ group can enhance the axion mass, giving rise to TeV scale axion masses that can be detected at collider experiments. Our model provides a way to unify the composite Higgs with dynamical axions, without introducing new elementary scalar fields, while also extending the range of axion masses that addresses the strong CP problem.


title: Challenges in Developing Secure Mobile Health Applications, A Systematic Review

abstract: Mobile health (mHealth) applications (apps) have gained significant popularity over the last few years due to its tremendous benefits, such as lowering healthcare cost and increasing patient awareness. However, the sensitivity of healthcare data makes the security of mHealth apps a serious concern. In this review, we aim to identify and analyse the reported challenges that the developers of mHealth apps face concerning security. Additionally, our study aimed to develop a conceptual framework with the challenges faced by mHealth apps development organization for developing secure apps. The knowledge of such challenges can help to reduce the risk of developing insecure mHealth apps. We followed the Systematic Literature Review method for this review. We selected studies that have been published between January 2008 and October 2020. We selected 32 primary studies using predefined criteria and used thematic analysis method for analysing the extracted data. We identified nine challenges that can affect the development of secure mHealth apps. Such as 1) lack of security guidelines and regulations for developing secure mHealth apps, 2) developers lack of knowledge and expertise for secure mHealth app development, 3) lack of stakeholders involvement during mHealth app development, etc . Based on our analysis, we have presented a conceptual framework which highlights the correlation between the identified challenges. We conclude that our findings can help them identify their weaknesses and improve their security practices. Similarly, mHealth apps developers can identify the challenges they face to develop mHealth apps that do not pose security risks for users. Our review is a step towards providing insights into the development of secure mHealth apps. Our proposed conceptual framework can act as a practice guideline for practitioners to enhance secure mHealth apps development.


title: problemConquero at SemEval-2020 Task 12: Transformer and Soft label-based approaches

abstract: In this paper, we present various systems submitted by our team problemConquero for SemEval-2020 Shared Task 12 Multilingual Offensive Language Identification in Social Media. We participated in all the three sub-tasks of OffensEval-2020, and our final submissions during the evaluation phase included transformer-based approaches and a soft label-based approach. BERT based fine-tuned models were submitted for each language of sub-task A (offensive tweet identification). RoBERTa based fine-tuned model for sub-task B (automatic categorization of offense types) was submitted. We submitted two models for sub-task C (offense target identification), one using soft labels and the other using BERT based fine-tuned model. Our ranks for sub-task A were Greek-19 out of 37, Turkish-22 out of 46, Danish-26 out of 39, Arabic-39 out of 53, and English-20 out of 85. We achieved a rank of 28 out of 43 for sub-task B. Our best rank for sub-task C was 20 out of 39 using BERT based fine-tuned model.


title: DeepNetQoE: Self-adaptive QoE Optimization Framework of Deep Networks

abstract: Future advances in deep learning and its impact on the development of artificial intelligence (AI) in all fields depends heavily on data size and computational power. Sacrificing massive computing resources in exchange for better precision rates of the network model is recognized by many researchers. This leads to huge computing consumption and satisfactory results are not always expected when computing resources are limited. Therefore, it is necessary to find a balance between resources and model performance to achieve satisfactory results. This article proposes a self-adaptive quality of experience (QoE) framework, DeepNetQoE, to guide the training of deep networks. A self-adaptive QoE model is set up that relates the model's accuracy with the computing resources required for training which will allow the experience value of the model to improve. To maximize the experience value when computer resources are limited, a resource allocation model and solutions need to be established. In addition, we carry out experiments based on four network models to analyze the experience values with respect to the crowd counting example. Experimental results show that the proposed DeepNetQoE is capable of adaptively obtaining a high experience value according to user needs and therefore guiding users to determine the computational resources allocated to the network models.


title: A temporal-to-spatial deep convolutional neural network for classification of hand movements from multichannel electromyography data

abstract: Deep convolutional neural networks (CNNs) are appealing for the purpose of classification of hand movements from surface electromyography (sEMG) data because they have the ability to perform automated person-specific feature extraction from raw data. In this paper, we make the novel contribution of proposing and evaluating a design for the early processing layers in the deep CNN for multichannel sEMG. Specifically, we propose a novel temporal-to-spatial (TtS) CNN architecture, where the first layer performs convolution separately on each sEMG channel to extract temporal features. This is motivated by the idea that sEMG signals in each channel are mediated by one or a small subset of muscles, whose temporal activation patterns are associated with the signature features of a gesture. The temporal layer captures these signature features for each channel separately, which are then spatially mixed in successive layers to recognise a specific gesture. A practical advantage is that this approach also makes the CNN simple to design for different sample rates. We use NinaPro database 1 (27 subjects and 52 movements + rest), sampled at 100 Hz, and database 2 (40 subjects and 40 movements + rest), sampled at 2 kHz, to evaluate our proposed CNN design. We benchmark against a feature-based support vector machine (SVM) classifier, two CNNs from the literature, and an additional standard design of CNN. We find that our novel TtS CNN design achieves 66.6% per-class accuracy on database 1, and 67.8% on database 2, and that the TtS CNN outperforms all other compared classifiers using a statistical hypothesis test at the 2% significance level.


title: Driving Conditions-Driven Energy Management for Hybrid Electric Vehicles: A Review

abstract: Motivated by the concerns on transported fuel consumption and global air pollution, industrial engineers, and academic researchers have made many efforts to construct more efficient and environment-friendly vehicles. Hybrid electric vehicles (HEVs) are the representative ones because they can satisfy the power demand by coordinating energy supplements among different energy storage devices. To achieve this goal, energy management approaches are crucial technology, and driving cycles are the critical influence factor. Therefore, this paper aims to summarize driving cycle-driven energy management strategies (EMSs) for HEVs. First, the definition and significance of driving cycles in the energy management field are clarified, and the recent literature in this research domain is reviewed and revisited. In addition, according to the known information of driving cycles, the EMSs are divided into three categories, and the relevant study directions, such as standard driving cycles, long-term driving cycle generation (LT-DCG) and short-term driving cycle prediction (ST-DCP) are illuminated and analyzed. Furthermore, the existing database of driving cycles in highway and urban aspects are displayed and discussed. Finally, this article also elaborates on the future prospects of energy management technologies related to driving cycles. This paper focusing on helping the relevant researchers realize the state-of-the-art of HEVs energy management field and also recognize its future development direction.


title: Even-Odd partition identities of Rogers-Ramanujan type

abstract: We prove a theorem which add a new member to Rogers-Ramanujan identities. This new member counts partitions with different type of constraints on even and odd parts. Generalizing this theorem, we obtain two family of partition identities of Rogers-Ramanujan type.


title: Estimating crop yields with remote sensing and deep learning

abstract: Increasing the accuracy of crop yield estimates may allow improvements in the whole crop production chain, allowing farmers to better plan for harvest, and for insurers to better understand risks of production, to name a few advantages. To perform their predictions, most current machine learning models use NDVI data, which can be hard to use, due to the presence of clouds and their shadows in acquired images, and due to the absence of reliable crop masks for large areas, especially in developing countries. In this paper, we present a deep learning model able to perform pre-season and in-season predictions for five different crops. Our model uses crop calendars, easy-to-obtain remote sensing data and weather forecast information to provide accurate yield estimates.


title: On backward attractors of interval maps

abstract: Special $\alpha$-limit sets ($s\alpha$-limit sets) combine together all accumulation points of all backward orbit branches of a point $x$ under a noninvertible map. The most important question about them is whether or not they are closed. We challenge the notion of $s\alpha$-limit sets as backward attractors for interval maps by showing that they need not be closed. This disproves a conjecture by Kolyada, Misiurewicz, and Snoha. We give a criterion in terms of Xiong's attracting center that completely characterizes which interval maps have all $s\alpha$-limit sets closed, and we show that our criterion is satisfied in the piecewise monotone case. We apply Blokh's models of solenoidal and basic $\omega$-limit sets to solve four additional conjectures by Kolyada, Misiurewicz, and Snoha relating topological properties of $s\alpha$-limit sets to the dynamics within them. For example, we show that the isolated points in a $s\alpha$-limit set of an interval map are always periodic, the non-degenerate components are the union of one or two transitive cycles of intervals, and the rest of the $s\alpha$-limit set is nowhere dense. Moreover, we show that $s\alpha$-limit sets in the interval are always both $F_\sigma$ and $G_\delta$. Finally, since $s\alpha$-limit sets need not be closed, we propose a new notion of $\beta$-limit sets to serve as backward attractors. The $\beta$-limit set of $x$ is the smallest closed set to which all backward orbit branches of $x$ converge, and it coincides with the closure of the $s\alpha$-limit set. At the end of the paper we suggest several new problems about backward attractors.


title: The Role and Potentials of Field User Interaction Data in the Automotive UX Development Lifecycle: An Industry Perspective

abstract: We are interested in the role of field user interaction data in the development of IVIS, the potentials practitioners see in analyzing this data, the concerns they share, and how this compares to companies with digital products. We conducted interviews with 14 UX professionals, 8 from automotive and 6 from digital companies, and analyzed the results by emergent thematic coding. Our key findings indicate that implicit feedback through field user interaction data is currently not evident in the automotive UX development process. Most decisions regarding the design of IVIS are made based on personal preferences and the intuitions of stakeholders. However, the interviewees also indicated that user interaction data has the potential to lower the influence of guesswork and assumptions in the UX design process and can help to make the UX development lifecycle more evidence-based and user-centered.


title: Epsilon-nets, unitary designs and random quantum circuits

abstract: Epsilon-nets and approximate unitary $t$-designs are natural notions that capture properties of unitary operations relevant for numerous applications in quantum information and quantum computing. The former constitute subsets of unitary channels that are epsilon-close to any unitary channel in the diamond norm. The latter are ensembles of unitaries that (approximately) recover Haar averages of polynomials in entries of unitary channels up to order $t$. In this work we establish quantitative connections between these two notions. Specifically, we prove that, for a fixed dimension $d$ of the Hilbert space, unitaries constituting $\delta$-approximate $t$-expanders form $\epsilon$-nets for $t\simeq\frac{d^{5/2}}{\epsilon}$ and $\delta=\left(\frac{\epsilon^{3/2}}{d}\right)^{d^2}$. We also show that $\epsilon$-nets can be used to construct $\delta$-approximate unitary $t$-designs for $\delta= \epsilon t$. Finally, we prove that the degree of an exact unitary $t$-design necessary to obtain an $\epsilon$-net must grow at least fast as $\frac1\epsilon$ (for fixed $d$) and not slower than $d^2$ (for fixed $\epsilon$). This shows near optimality of our result connecting $t$-designs and $\epsilon$-nets. We apply our findings in the context of quantum computing. First, we show that that approximate t-designs can be generated by shallow random circuits formed from a set of universal two-qudit gates in the parallel and sequential local architectures. Our gate sets need not to be symmetric (i.e. contain gates together with their inverses) or consist of gates with algebraic entries. We also show a non-constructive version of the Solovay-Kitaev theorem for general universal gate sets. Our main technical contribution is a new construction of efficient polynomial approximations to the Dirac delta in the space of quantum channels, which can be of independent interest.


title: Refined Cauchy identity for spin Hall-Littlewood symmetric rational functions

abstract: Fully inhomogeneous spin Hall-Littlewood symmetric rational functions $\mathsf{F}_\lambda$ arise in the context of $\mathfrak{sl}(2)$ higher spin six vertex models, and are multiparameter deformations of the classical Hall-Littlewood symmetric polynomials. We obtain a refined Cauchy identity expressing a weighted sum of the product of two $\mathsf{F}_\lambda$'s as a determinant. The determinant is of Izergin-Korepin type: it is the partition function of the six vertex model with suitably decorated domain wall boundary conditions. The proof of equality of two partition functions is based on the Yang-Baxter equation. We rewrite our Izergin-Korepin type determinant in a different form which includes one of the sets of variables in a completely symmetric way. This determinantal identity might be of independent interest, and also allows to directly link the spin Hall-Littlewood rational functions with (the Hall-Littlewood particular case of) the interpolation Macdonald polynomials. In a different direction, a Schur expansion of our Izergin-Korepin type determinant yields a deformation of Schur symmetric polynomials. In the spin-$\frac12$ specialization, our refined Cauchy identity leads to a summation identity for eigenfunctions of the ASEP (Asymmetric Simple Exclusion Process), a celebrated stochastic interacting particle system in the Kardar-Parisi-Zhang universality class. This produces explicit integral formulas for certain multitime probabilities in ASEP.


title: Nonlinear Hall effect in Weyl semimetals induced by chiral anomaly

abstract: We predict a nonlinear Hall effect in certain Weyl semimetals with broken inversion symmetry. When the energy dispersions about pairs of Weyl nodes are skewed -- the Weyl cones are "tilted" -- the concerted actions of the anomalous velocity and the chiral anomaly give rise to the nonlinear Hall effect. This Hall conductivity is linear in both electric and magnetic fields, and depends critically on the tilting of the Weyl cones. We also show that this effect does not rely on a finite Berry curvature dipole, in contrast to the intrinsic quantum nonlinear Hall effect that was recently observed in type-II Weyl semimetals.


title: Critical regularity criteria for Navier-Stokes equations in terms of one directional derivative of the velocity

abstract: In this paper, we consider the 3D Navier-Stokes equations in the whole space. We investigate some new inequalities and \textit{a priori} estimates to provide the critical regularity criteria in terms of one directional derivative of the velocity field, namely $\partial_3 \mathbf{u} \in L^p((0,T); L^q(\mathbb{R}^3)), ~\frac{2}{p} + \frac{3}{q} = 2, ~\frac{3}{2}<q\leq 6$. Moreover, we extend the range of $q$ while the solution is axisymmetric, i.e. the axisymmetric solution $\mathbf{m}{u}$ is regular in $(0,T]$, if $ \partial_3 u^3 \in L^p((0,T); L^q(\mathbb{R}^3)), ~\frac{2}{p} + \frac{3}{q} = 2, ~\frac{3}{2}<q< \infty$.


title: Blur shift spaces

abstract: In this work we propose a new type of shift spaces, called blur shift spaces, where one can represent with a single symbol an entire set of infinite symbols. Such shift spaces are constructed from classical shift spaces, by choosing some sets of infinitely many symbols that will be represented by a new symbol, and then defining a convenient topology. The shift spaces we are proposing generalize ideas presented previously by Ott, Tomforde and Willis, and by Gon\c{c}alves and Royer, which were used to find isomorphism between $C^*$-algebras associated to some classes of shift spaces. In particular, blur shifts can be used as a compactification scheme for classical shift spaces.


title: Study on Entanglement and its Utility in Information Processing

abstract: The efficacies of maximally and that of non-maximally entangled mixed states as teleportation channels have been studied. A new class of non-maximally entangled mixed states have been proposed also. Their advantages as quantum teleportation channels over existing non-maximally entangled mixed states have been verified. The mixed states can also be generated using quantum cloning machines. We have also studied how one can utilize the mixed entangled states obtained as output from a state independent quantum cloning machine in teleportation and dense coding. Mixed states can also be used in secret sharing. A new protocol of secret sharing has been devised where four parties are involved. One of them is honest by nature and the other is dishonest. The dishonest one has two associates who are also involved in the protocol. It has been shown how the honest party, by using quantum cloning machine, can prevent the dishonest party from communicating the secret message to his accomplices. A relation has been established among entanglement of the initially prepared state, entanglement of the mixed state received by the recipients of the dishonest one after honest party applies the cloning scheme and the cloning parameters of the cloning machine. The usefulness of tri-partite and four-partite entangled states in controlled dense coding has been discussed. The thesis concludes with the summary and possible courses of future works.


title: Representative-Discriminative Learning for Open-set Land Cover Classification of Satellite Imagery

abstract: Land cover classification of satellite imagery is an important step toward analyzing the Earth's surface. Existing models assume a closed-set setting where both the training and testing classes belong to the same label set. However, due to the unique characteristics of satellite imagery with an extremely vast area of versatile cover materials, the training data are bound to be non-representative. In this paper, we study the problem of open-set land cover classification that identifies the samples belonging to unknown classes during testing, while maintaining performance on known classes. Although inherently a classification problem, both representative and discriminative aspects of data need to be exploited in order to better distinguish unknown classes from known. We propose a representative-discriminative open-set recognition (RDOSR) framework, which 1) projects data from the raw image space to the embedding feature space that facilitates differentiating similar classes, and further 2) enhances both the representative and discriminative capacity through transformation to a so-called abundance space. Experiments on multiple satellite benchmarks demonstrate the effectiveness of the proposed method. We also show the generality of the proposed approach by achieving promising results on open-set classification tasks using RGB images.


title: Evaluation of Radiation Hardness of High-Voltage Silicon Vertical JFETs

abstract: In the future ATLAS Inner Tracker, each silicon strip module will be equipped with a switch able to separate the high voltage supply from the sensor in case the latter becomes faulty. The switch, placed in between the HV supply and the sensor, needs to sustain a high voltage in its OFF state, to offer a low resistance path for the sensor leakage current in the ON state, and be radiation hard up to 1.2e15 neq/cm2 along with other requirements. While GaN JFETs have been selected as suitable rad-hard switch, a silicon vertical HV-JFET was developed by Brookhaven National Laboratory as an alternative option. Pre-irradiation results showed the functionality of the device and proved that the silicon HV-JFET satisfied the pre-irradiation requirements for the switch. To assess its suitability after irradiation, a few p-type HV-JFETs have been neutron irradiated at Jozef Stefan Institute (JSI, Ljubljana, Slovenia). This paper reports the static characterization of these irradiated devices and the TCAD numerical simulations used to get an insight of the physics governing the post-irradiation behaviour.


title: QUANTIFY: A framework for resource analysis and design verification of quantum circuits

abstract: Quantum resource analysis is crucial for designing quantum circuits as well as assessing the viability of arbitrary (error-corrected) quantum computations. To this end, we introduce QUANTIFY, which is an open-source framework for the quantitative analysis of quantum circuits. It is based on Google Cirq and is developed with Clifford+T circuits in mind, and it includes the necessary methods to handle Toffoli+H and more generalised controlled quantum gates, too. Key features of QUANTIFY include: (1) analysis and optimisation methods which are compatible with the surface code, (2) choice between different automated (mixed polarity) Toffoli gate decompositions, (3) semi-automatic quantum circuit rewriting and quantum gate insertion methods that take into account known gate commutation rules, and (4) novel optimiser types that can be combined with different verification methods (e.g. truth table or circuit invariants like number of wires). For benchmarking purposes QUANTIFY includes quantum memory and quantum arithmetic circuits. Experimental results show that the framework's performance scales to circuits with thousands of qubits.


title: Optimizing Quantum Search with a Binomial Version of Grover's Algorithm

abstract: Amplitude Amplification -- a key component of Grover's Search algorithm -- uses an iterative approach to systematically increase the probability of one or multiple target states. We present novel strategies to enhance the amplification procedure by partitioning the states into classes, whose probabilities are increased at different levels before or during amplification. The partitioning process is based on the binomial distribution. If the classes to which the search target states belong are known in advance, the number of iterations in the Amplitude Amplification algorithm can be drastically reduced compared to the standard version. In the more likely case in which the relevant classes are not known in advance, their selection can be configured at run time, or a random approach can be employed, similar to classical algorithms such as binary search. In particular, we apply this method in the context of our previously introduced Quantum Dictionary pattern, where keys and values are encoded in two separate registers, and the value-encoding method is independent of the type of superposition used in the key register. We consider this type of structure to be the natural setup for search. We confirm the validity of our new approach through experimental results obtained on real quantum hardware, the Honeywell System Model H0 trapped-ion quantum computer.


title: Visualizing resonances in finite volume

abstract: In present work, we explore and experiment an alternative approach of studying resonance properties in finite volume. By analytic continuing finite lattice size $L$ into complex plane, the oscillating behavior of finite volume Green's function is mapped into infinite volume Green's function corrected by exponentially decaying finite volume effect. The analytic continuation technique thus can be applied to study resonance properties directly in finite volume dynamical equations.


title: Observational manifestations of "cosmological dinosaurs'' at redshifts $z\sim20$

abstract: We consider a primordial black hole of very high mass, $10^9-10^{10}M_\odot$, surrounded by dark matter and barionic halo at redshifts $z\sim20$ without any local sources of energy release. Such heavy and concentrated objects in the early universe were previously called ``cosmological dinosaurs''. Spectral distribution and spatial variation of the brightness in the 21 cm line of atomic hydrogen are calculated with the theory of radiation transfer. It is shown that a narrow and deep absorption arises in the form of the spherical shell around the primordial black hole at the certain radius. The parameters of this shell depend almost exclusively on the mass of the black hole. The hardware and methodological aspects of the search for such objects are discussed.


title: ElectroAR: Distributed Electro-tactile Stimulation for Tactile Transfer

abstract: We present ElectroAR, a visual and tactile sharing system for hand skills training. This system comprises a head-mounted display (HMD), two cameras, tactile sensing glove, and electro-stimulation glove. The trainee wears a tactile sensing glove that gets pressure data from touching different objects. His movements are recorded by two cameras, which are located in front and top side of the workspace. In the remote site, the trainer wears the electro-tactile stimulation glove. This glove transforms the remotely collected pressure data to electro-tactile stimuli. Additionally, the trainer wears an HMD to see and guide the movements of the trainee. The key part of this project is to combine distributed tactile sensor and electro-tactile display to let the trainer understand what the trainee is doing. Results show our system supports a higher user recognition performance.


title: Static and Streaming Data Structures for Fr\'echet Distance Queries

abstract: Given a curve $P$ with points in $\mathbb{R}^d$ in a streaming fashion, and parameters $\varepsilon>0$ and $k$, we construct a distance oracle that uses $O(\frac{1}{\varepsilon})^{kd}\log\varepsilon^{-1}$ space, and given a query curve $Q$ with $k$ points in $\mathbb{R}^d$, returns in $\tilde{O}(kd)$ time a $1+\varepsilon$ approximation of the discrete Fr\'echet distance between $Q$ and $P$. In addition, we construct simplifications in the streaming model, oracle for distance queries to a sub-curve (in the static setting), and introduce the zoom-in problem. Our algorithms work in any dimension $d$, and therefore we generalize some useful tools and algorithms for curves under the discrete Fr\'echet distance to work efficiently in high dimensions.


title: Quantifying Performance Changes with Effect Size Confidence Intervals

abstract: Measuring performance & quantifying a performance change are core evaluation techniques in programming language and systems research. Of 122 recent scientific papers, as many as 65 included experimental evaluation that quantified a performance change using a ratio of execution times. Few of these papers evaluated their results with the level of rigour that has come to be expected in other experimental sciences. The uncertainty of measured results was largely ignored. Scarcely any of the papers mentioned uncertainty in the ratio of the mean execution times, and most did not even mention uncertainty in the two means themselves. Most of the papers failed to address the non-deterministic execution of computer programs (caused by factors such as memory placement, for example), and none addressed non-deterministic compilation. It turns out that the statistical methods presented in the computer systems performance evaluation literature for the design and summary of experiments do not readily allow this either. This poses a hazard to the repeatability, reproducibility and even validity of quantitative results. Inspired by statistical methods used in other fields of science, and building on results in statistics that did not make it to introductory textbooks, we present a statistical model that allows us both to quantify uncertainty in the ratio of (execution time) means and to design experiments with a rigorous treatment of those multiple sources of non-determinism that might impact measured performance. Better still, under our framework summaries can be as simple as "system A is faster than system B by 5.5% $\pm$ 2.5%, with 95% confidence", a more natural statement than those derived from typical current practice, which are often misinterpreted. November 2013


title: A framework to evaluate the viability of robotic process automation for business process activities

abstract: Robotic process automation (RPA) is a technology for centralized automation of business processes. RPA automates user interaction with graphical user interfaces, whereby it promises efficiency gains and a reduction of human negligence during process execution. To harness these benefits, organizations face the challenge of classifying process activities as viable automation candidates for RPA. Therefore, this work aims to support practitioners in evaluating RPA automation candidates. We design a framework that consists of thirteen criteria grouped into five perspectives which offer different evaluation aspects. These criteria leverage a profound understanding of the process step. We demonstrate and evaluate the framework by applying it to a real-life data set.


title: Capturing the Feshbach-induced Pairing Physics in the BEC-BCS Crossover

abstract: By including the effect of a trap with characteristic energy given by the Fermi temperature $T_F$ in a two-body two-channel model for Feshbach resonances, we reproduce the experimental closed-channel fraction $Z$ across the BEC-BCS crossover and into the BCS regime of a $^6$Li atomic Fermi gas. We obtain the expected behavior $Z \propto \sqrt{T_F}$ at unitarity, together with the recently measured proportionality constant. Our results are also in agreement with recent measurements of the $Z$ dependency on $T_F$ on the BCS side, where a significant discrepancy between experiments and theory has been repeatedly reported.


title: The Role of Chemical Heterogeneity in Surfactant Adsorption at Solid-Liquid Interfaces

abstract: Chemical heterogeneity of solid surfaces disrupts the adsorption of surfactants from the bulk liquid. While its presence can hinder the performance of some formulations, bespoke chemical patterning could potentially facilitate controlled adsorption for nanolithography applications. Although some computational studies have investigated the impact of regularly patterned surfaces on surfactant adsorption, in reality many interesting surfaces are expected to be stochastically disordered and this is an area unexplored via simulations. In this paper we describe a new algorithm for the generation of randomly disordered chemically heterogeneous surfaces and use it to explore the adsorption behaviour of four model nonionic surfactants. Using novel analysis methods we interrogate both the global surface coverage (adsorption isotherm) and behaviour in localised regions. We observe trends in adsorption characteristics as surfactant size, head/tail ratio, and surface topology are varied and connect these to underlying physical mechanisms. We believe that our methods and approach will prove useful to researchers seeking to tailor surface patterns to calibrate nonionic surfactant adsorption.


title: Conformance checking: A state-of-the-art literature review

abstract: Conformance checking is a set of process mining functions that compare process instances with a given process model. It identifies deviations between the process instances' actual behaviour ("as-is") and its modelled behaviour ("to-be"). Especially in the context of analyzing compliance in organizations, it is currently gaining momentum -- e.g. for auditors. Researchers have proposed a variety of conformance checking techniques that are geared towards certain process model notations or specific applications such as process model evaluation. This article reviews a set of conformance checking techniques described in 37 scholarly publications. It classifies the techniques along the dimensions "modelling language", "algorithm type", "quality metric", and "perspective" using a concept matrix so that the techniques can be better accessed by practitioners and researchers. The matrix highlights the dimensions where extant research concentrates and where blind spots exist. For instance, process miners use declarative process modelling languages often, but applications in conformance checking are rare. Likewise, process mining can investigate process roles or process metrics such as duration, but conformance checking techniques narrow on analyzing control-flow. Future research may construct techniques that support these neglected approaches to conformance checking.


title: The localization regime in a nutshell

abstract: High diffusion-sensitizing magnetic field gradients have been more and more often applied nowadays to achieve a better characterization of the microstructure. As the resulting spin-echo signal significantly deviates from the conventional Gaussian form, various models have been employed to interpret these deviations and to relate them with the microstructural properties of a sample. In this paper, we argue that the non-Gaussian behavior of the signal is a generic universal feature of the Bloch-Torrey equation. We provide a simple yet rigorous description of the localization regime emerging at high extended gradients and identify its origin as a symmetry breaking at the reflecting boundary. We compare the consequent non-Gaussian signal decay to other diffusion NMR regimes such as slow-diffusion, motional-narrowing and diffusion-diffraction regimes. We emphasize limitations of conventional perturbative techniques and advocate for non-perturbative approaches which may pave a way to new imaging modalities in this field.


title: Measuring the fine structure constant on a white dwarf surface; a detailed analysis of Fe V absorption in G191-B2B

abstract: The gravitational potential phi = GM/Rc^2 at the surface of the white dwarf G191-B2B is 10,000 times stronger than that at the Earth's surface. Numerous photospheric absorption features are detected, making this a suitable environment to test theories in which the fundamental constants depend on gravity. We have measured the fine structure constant, alpha, at the white dwarf surface, used a newly calibrated Hubble Space Telescope STIS spectrum of G191-B2B, two new independent sets of laboratory Fe V wavelengths, and new atomic calculations of the sensitivity parameters that quantify Fe V wavelength dependency on alpha. The two results obtained are: dalpha/alpha = 6.36 +/- [0.33(stat) + 1.94(sys)] X 10^{-5} and dalpha/alpha = 4.21 +/- [0.47(stat) + 2.35(sys)] X 10^{-5}. The measurements hint that the fine structure constant increases slightly in the presence of strong gravitational fields. A comprehensive search for systematic errors is summarised, including possible effects from line misidentifications, line blending, stratification of the white dwarf atmosphere, the quadratic Zeeman effect and electric field effects, photospheric velocity flows, long-range wavelength distortions in the HST spectrum, and variations in the relative Fe isotopic abundances. None fully account for the observed deviation but the systematic uncertainties are heavily dominated by laboratory wavelength measurement precision.


title: Proton Core Behaviour Inside Magnetic Field Switchbacks

abstract: During Parker Solar Probe's first two orbits there are widespread observations of rapid magnetic field reversals known as switchbacks. These switchbacks are extensively found in the near-Sun solar wind, appear to occur in patches, and have possible links to various phenomena such as magnetic reconnection near the solar surface. As switchbacks are associated with faster plasma flows, we questioned whether they are hotter than the background plasma and whether the microphysics inside a switchback is different to its surroundings. We have studied the reduced distribution functions from the Solar Probe Cup instrument and considered time periods with markedly large angular deflections, to compare parallel temperatures inside and outside switchbacks. We have shown that the reduced distribution functions inside switchbacks are consistent with a rigid phase space rotation of the background plasma. As such, we conclude that the proton core parallel temperature is the same inside and outside of switchbacks, implying that a T-V relationship does not hold for the proton core parallel temperature inside magnetic field switchbacks. We further conclude that switchbacks are consistent with Alfv\'enic pulses travelling along open magnetic field lines. The origin of these pulses, however, remains unknown. We also found that there is no obvious link between radial Poynting flux and kinetic energy enhancements suggesting that the radial Poynting flux is not important for the dynamics of switchbacks.


title: Universality Problem for Unambiguous VASS

abstract: We study languages of unambiguous VASS, that is, Vector Addition Systems with States, whose transitions read letters from a finite alphabet, and whose acceptance condition is defined by a set of final states (i.e., the coverability language). We show that the problem of universality for unambiguous VASS is ExpSpace-complete, in sheer contrast to Ackermann-completeness for arbitrary VASS, even in dimension 1. When the dimension d is fixed, the universality problem is PSpace-complete if d is at least 2, and coNP-hard for 1-dimensional VASSes (also known as One Counter Nets).


title: Robust Hierarchical Graph Classification with Subgraph Attention

abstract: Graph neural networks get significant attention for graph representation and classification in machine learning community. Attention mechanism applied on the neighborhood of a node improves the performance of graph neural networks. Typically, it helps to identify a neighbor node which plays more important role to determine the label of the node under consideration. But in real world scenarios, a particular subset of nodes together, but not the individual pairs in the subset, may be important to determine the label of the graph. To address this problem, we introduce the concept of subgraph attention for graphs. On the other hand, hierarchical graph pooling has been shown to be promising in recent literature. But due to noisy hierarchical structure of real world graphs, not all the hierarchies of a graph play equal role for graph classification. Towards this end, we propose a graph classification algorithm called SubGattPool which jointly learns the subgraph attention and employs two different types of hierarchical attention mechanisms to find the important nodes in a hierarchy and the importance of individual hierarchies in a graph. Experimental evaluation with different types of graph classification algorithms shows that SubGattPool is able to improve the state-of-the-art or remains competitive on multiple publicly available graph classification datasets. We conduct further experiments on both synthetic and real world graph datasets to justify the usefulness of different components of SubGattPool and to show its consistent performance on other downstream tasks.


title: Improving compute efficacy frontiers with SliceOut

abstract: Pushing forward the compute efficacy frontier in deep learning is critical for tasks that require frequent model re-training or workloads that entail training a large number of models. We introduce SliceOut -- a dropout-inspired scheme designed to take advantage of GPU memory layout to train deep learning models faster without impacting final test accuracy. By dropping contiguous sets of units at random, our method realises training speedups through (1) fast memory access and matrix multiplication of smaller tensors, and (2) memory savings by avoiding allocating memory to zero units in weight gradients and activations. At test time, turning off SliceOut performs an implicit ensembling across a linear number of architectures that preserves test accuracy. We demonstrate 10-40% speedups and memory reduction with Wide ResNets, EfficientNets, and Transformer models, with minimal to no loss in accuracy. This leads to faster processing of large computational workloads overall, and significantly reduce the resulting energy consumption and CO2emissions.


title: Almost universal ternary sums of pentagonal numbers

abstract: For each integer $x$, the $x$-th generalized pentagonal number is denoted by $P_5(x)=(3x^2-x)/2$. Given odd positive integers $a,b,c$ and non-negative integers $r,s$, we employ the theory of ternary quadratic forms to determine when the sum $aP_5(x)+2^rbP_5(y)+2^scP_5(z)$ represents all but finitely many positive integers.


title: On regularization by a small noise of multidimensional ODEs with non-Lipschitz coefficients

abstract: In this paper we solve a selection problem for multidimensional SDE $d X^\varepsilon(t)=a(X^\varepsilon(t)) d t+\varepsilon \sigma(X^\varepsilon(t))\, d W(t)$, where the drift and diffusion are locally Lipschitz continuous outside of a fixed hyperplane $H$. It is assumed that $X^\varepsilon(0)=x^0\in H$, the drift $a(x)$ has a Hoelder asymptotics as $x$ approaches $H$, and the limit ODE $d X(t)=a(X(t))\, d t$ does not have a unique solution. We show that if the drift pushes the solution away of $H$, then the limit process with certain probabilities selects some extreme solutions to the limit ODE. If the drift attracts the solution to $H$, then the limit process satisfies an ODE with some averaged coefficients. To prove the last result we formulate an averaging principle, which is quite general and new.


title: The Corrective Commit Probability Code Quality Metric

abstract: We present a code quality metric, Corrective Commit Probability (CCP), measuring the probability that a commit reflects corrective maintenance. We show that this metric agrees with developers' concept of quality, informative, and stable. Corrective commits are identified by applying a linguistic model to the commit messages. Corrective commits are identified by applying a linguistic model to the commit messages. We compute the CCP of all large active GitHub projects (7,557 projects with at least 200 commits in 2019). This leads to the creation of a quality scale, suggesting that the bottom 10% of quality projects spend at least 6 times more effort on fixing bugs than the top 10%. Analysis of project attributes shows that lower CCP (higher quality) is associated with smaller files, lower coupling, use of languages like JavaScript and C# as opposed to PHP and C++, fewer developers, lower developer churn, better onboarding, and better productivity. Among other things these results support the "Quality is Free" claim, and suggest that achieving higher quality need not require higher expenses.


title: Charge Localization and Hopping in a Topologically Engineered GNR

abstract: Graphene nanoribbons (GNRs) are promising two-dimensional materials with various technological applications, in particular for the armchair GNR families that have a semiconductor character. Recently, methods that allowed for the control of GNR's topology have been developed, resulting in the production of nanoribbons composed of alternating segments of two distinct armchair GNR families (7 and 9-AGNRs) connected in heterojunctions. This GNR displays two topological bands that lie between the valence and conduction bands that effectively modulates the nanoribbon bandgap. Here, we employ a two-dimensional extension of the Su-Schrieffer-Heeger model to study morphological and electronic properties of this new material in both neutral and charged states. Results demonstrate that charge injection in this system results in the formation of polarons that localize strictly in the 9-AGNRs segments of the system and whose mobility is highly impaired by the system's topology. We further show polaron displacement by means of hopping between 9-AGNR portions of the system, suggesting this mechanism for charge transport in this material.


title: On multimatrix models motivated by random Noncommutative Geometry I: the Functional Renormalization Group as a flow in the free algebra

abstract: Random noncommutative geometry can be seen as a Euclidean path-integral approach to the quantization of the theory defined by the Spectral Action in noncommutative geometry (NCG). With the aim of investigating phase transitions in random NCG of arbitrary dimension, we study the non-perturbative Functional Renormalization Group for multimatrix models whose action consists of noncommutative polynomials in Hermitian and anti-Hermitian matrices. Such structure is dictated by the Spectral Action for the Dirac operator in Barrett's spectral triple formulation of fuzzy spaces.The present mathematically rigorous treatment puts forward "coordinate-free" language that might be useful also elsewhere, all the more so because our approach holds for general multimatrix models. The toolkit is a noncommutative calculus on the free algebra that allows to describe the generator of the renormalization group flow -- a noncommutative Laplacian introduced here -- in terms of Voiculescu's cyclic gradient and Rota-Sagan-Stein noncommutative derivative. We explore the algebraic structure of the Functional Renormalization Group Equation and, as an application of this formalism, we find the $\beta$-functions, identify the fixed points in the large-$N$ limit and obtain the critical exponents of $2$-dimensional geometries in two different signatures.


title: Wireless Image Retrieval at the Edge

abstract: We study the image retrieval problem at the wireless edge, where an edge device captures an image, which is then used to retrieve similar images from an edge server. These can be images of the same person or a vehicle taken from other cameras at different times and locations. Our goal is to maximize the accuracy of the retrieval task under power and bandwidth constraints over the wireless link. Due to the stringent delay constraint of the underlying application, sending the whole image at a sufficient quality is not possible. We propose two alternative schemes based on digital and analog communications, respectively. In the digital approach, we first propose a deep neural network (DNN) aided retrieval-oriented image compression scheme, whose output bit sequence is transmitted over the channel using conventional channel codes. In the analog joint source and channel coding (JSCC) approach, the feature vectors are directly mapped into channel symbols. We evaluate both schemes on image based re-identification (re-ID) tasks under different channel conditions, including both static and fading channels. We show that the JSCC scheme significantly increases the end-to-end accuracy, speeds up the encoding process, and provides graceful degradation with channel conditions. The proposed architecture is evaluated through extensive simulations on different datasets and channel conditions, as well as through ablation studies.


title: On the Convergence of Reinforcement Learning with Monte Carlo Exploring Starts

abstract: A basic simulation-based reinforcement learning algorithm is the Monte Carlo Exploring States (MCES) method, also known as optimistic policy iteration, in which the value function is approximated by simulated returns and a greedy policy is selected at each iteration. The convergence of this algorithm in the general setting has been an open question. In this paper, we investigate the convergence of this algorithm for the case with undiscounted costs, also known as the stochastic shortest path problem. The results complement existing partial results on this topic and thereby helps further settle the open problem. As a side result, we also provide a proof of a version of the supermartingale convergence theorem commonly used in stochastic approximation.


title: Deep Variational Quantum Eigensolver: a divide-and-conquer method for solving a larger problem with smaller size quantum computers

abstract: We propose a divide-and-conquer method for the quantum-classical hybrid algorithm to solve larger problems with small-scale quantum computers. Specifically, we concatenate a variational quantum eigensolver (VQE) with a reduction in the system dimension, where the interactions between divided subsystems are taken as an effective Hamiltonian expanded by the reduced basis. Then the effective Hamiltonian is further solved by VQE, which we call deep VQE. Deep VQE allows us to apply quantum-classical hybrid algorithms on small-scale quantum computers to large systems with strong intra-subsystem interactions and weak inter-subsystem interactions, or strongly correlated spin models on large regular lattices. As proof-of-principle numerical demonstrations, we use the proposed method for quasi one-dimensional models, including one-dimensionally coupled 12-qubit Heisenberg anti-ferromagnetic models on Kagome lattices as well as two-dimensional Heisenberg anti-ferromagnetic models on square lattices. The largest problem size of 64 qubits is solved by simulating 20-qubit quantum computers with a reasonably good accuracy ~ a few %. The proposed scheme enables us to handle the problems of >1000 qubits by concatenating VQEs with a few tens of qubits. While it is unclear how accurate ground state energy can be obtained for such a large system, our numerical results on a 64-qubit system suggest that deep VQE provides a good approximation (discrepancy within a few percent) and has a room for further improvement. Therefore, deep VQE provides us a promising pathway to solve practically important problems on noisy intermediate-scale quantum computers.


title: DecoSurf: Recursive Geodesic Patterns on Triangle Meshes

abstract: In this paper, we show that many complex patterns, which characterize the decorative style of many artisanal objects, can be generated by the recursive application of only four operators. Each operator is derived from tracing the isolines or the integral curves of geodesics fields generated from selected seeds on the surface. Based on this formulation, we present an interactive application that lets designers model complex recursive patterns directly on the object surface, without relying on parametrization. We support interaction on commodity hardware on meshes of a few million triangles, by combining light data structures together with an efficient approximate graph-based geodesic solver. We validate our approach by matching decoration styles from real-world photos, by analyzing the speed and accuracy of our geodesic solver, and by validating the interface with a user study.


title: Radiation Damage Study of SensL J-Series Silicon Photomultipliers Using 101.4 MeV Protons

abstract: Radiation damage of J-series silicon photomultipliers (SiPMs) has been studied in the context of using these photodetectors in future space-borne scintillation detectors. Several SiPM samples were exposed to 101.4 MeV protons, with 1 MeV neutron equivalent fluence ranging from 1.27*10^8 n/cm^2 to 1.23*10^10 n/cm^2 . After the irradiation, the SiPMs experienced a large increase in the dark current and noise, which may pose problems for long-running space missions in terms of power consumption, thermal control and detection of low-energy events. Measurements performed with a CeBr3 scintillator crystal showed that after exposure to 1.23*10^10 n/cm^2 and following room-temperature annealing, the dark noise of a single 6 mm square SiPM at room temperature increased from 0.1 keV to 2 keV. Because of the large SiPM noise, the gamma-ray detection threshold increased to approximately 20 keV for a CeBr3 detector using a 4-SiPM array and 40 keV for a detector using a 16-SiPM array. Only a small effect of the proton irradiation on the average detector signal was observed, suggesting no or little change to the SiPM gain and photon detection efficiency.


title: Mass, center of mass and isoperimetry in asymptotically flat $3$-manifolds

abstract: We revisit the interplay between the mass, the center of mass and the large scale behavior of certain isoperimetric quotients in the setting of asymptotically flat $3$-manifolds (both without and with a non-compact boundary). In the boundaryless case, we first check that the isoperimetric deficits involving the total mean curvature recover the ADM mass in the asymptotic limit, thus extending a classical result due to G. Huisken. Next, under a Schwarzschild asymptotics and assuming that the mass is positive we indicate how the implicit function method pioneered by R. Ye and refined by L.-H. Huang may be adapted to establish the existence of a foliation of a neighborhood of infinity satisfying the corresponding curvature conditions. Recovering the mass as the asymptotic limit of the corresponding relative isoperimetric deficit also holds true in the presence of a non-compact boundary, where we additionally obtain, again under a Schwarzschild asymptotics, a foliation at infinity by free boundary constant mean curvature hemispheres, which are shown to be the unique relative isoperimetric surfaces for all sufficiently large enclosed volume, thus extending to this setting a celebrated result by M. Eichmair and J. Metzger. Also, in each case treated here we relate the geometric center of the foliation to the center of mass of the manifold as defined by Hamiltonian methods.


title: Clumpiness: Time-domain classification of red-giant evolutionary states

abstract: Long, high-quality time-series data provided by previous space-missions such as CoRoT and $\mathit{Kepler}$ have made it possible to derive the evolutionary state of red-giant stars, i.e. whether the stars are hydrogen-shell burning around an inert helium core or helium-core burning, from their individual oscillation modes. We utilise data from the $\mathit{Kepler}$ mission to develop a tool to classify the evolutionary state for the large number of stars being observed in the current era of K2, TESS and for the future PLATO mission. These missions provide new challenges for evolutionary state classification given the large number of stars being observed and the shorter observing duration of the data. We propose a new method, $\mathtt{Clumpiness}$, based upon a supervised classification scheme that uses "summary statistics" of the time series, combined with distance information from the Gaia mission to predict the evolutionary state. Applying this to red giants in the APOKASC catalogue, we obtain a classification accuracy of ~91% for the full 4 years of $\mathit{Kepler}$ data, for those stars that are either only hydrogen-shell burning or also helium-core burning. We also applied the method to shorter $\mathit{Kepler}$ datasets, mimicking CoRoT, K2 and TESS achieving an accuracy >91% even for the 27 day time series. This work paves the way towards fast, reliable classification of vast amounts of relatively short-time-span data with a few, well-engineered features.


title: Dressed Minimal Surfaces in AdS$_4$

abstract: We apply an arbitrary number of dressing transformations to a static minimal surface in AdS(4). Interestingly, a single dressing transformation, with the simplest dressing factor, interrelates the latter to solutions of the Euclidean non linear sigma model in dS(3). We present an expression for the area element of the dressed minimal surface in terms of that of the initial one and comment on the boundary region of the dressed surface. Finally, we apply the above formalism to the elliptic minimal surfaces and obtain new ones.


title: On the uniqueness of solutions to hyperbolic systems of conservation laws

abstract: For general hyperbolic systems of conservation laws we show that dissipative weak solutions belonging to an appropriate Besov space $B^{\alpha,\infty}_q$ and satisfying a one-sided bound condition are unique within the class of dissipative solutions. The exponent $\alpha>1/2$ is universal independently of the nature of the nonlinearity and the Besov regularity need only be imposed in space when the system is expressed in appropriate variables. The proof utilises a commutator estimate which allows for an extension of the relative entropy method to the required regularity setting. The systems of elasticity, shallow water magnetohydrodynamics, and isentropic Euler are investigated, recovering recent results for the latter. Moreover, the article explores a triangular system motivated by studies in chromatography and constructs an explicit solution which fails to be Lipschitz, yet satisfies the conditions of the presented uniqueness result.


title: Partial Boolean functions with exact quantum 1-query complexity

abstract: We provide two sufficient and necessary conditions to characterize any $n$-bit partial Boolean function with exact quantum 1-query complexity. Using the first characterization, we present all $n$-bit partial Boolean functions that depend on $n$ bits and have exact quantum 1-query complexity. Due to the second characterization, we construct a function $F$ that maps any $n$-bit partial Boolean function to some integer, and if an $n$-bit partial Boolean function $f$ depends on $k$ bits and has exact quantum 1-query complexity, then $F(f)$ is non-positive. In addition, we show that the number of all $n$-bit partial Boolean functions that depend on $k$ bits and have exact quantum 1-query complexity is not bigger than $n^{2}2^{2^{n-1}(1+2^{2-k})+2n^{2}}$ for all $n\geq 3$ and $k\geq 2$.


title: Non-exponential tunneling due to mean-field induced swallowtails

abstract: Typically, energy levels change without bifurcating in response to a change of a control parameter. Bifurcations can lead to loops or swallowtails in the energy spectrum. The simplest quantum Hamiltonian that supports swallowtails is a non-linear $2 \times 2$ Hamiltonian with non-zero off-diagonal elements and diagonal elements that depend on the population difference of the two states. This work implements such a Hamiltonian experimentally using ultracold atoms in a moving one-dimensional optical lattice. Self-trapping and non-exponential tunneling probabilities, a hallmark signature of band structures that support swallowtails, are observed. The good agreement between theory and experiment validates the optical lattice system as a powerful platform to study, e.g., Josephson junction physics and superfluidity in ring-shaped geometries.


title: Time-Frequency Scattering Accurately Models Auditory Similarities Between Instrumental Playing Techniques

abstract: Instrumental playing techniques such as vibratos, glissandos, and trills often denote musical expressivity, both in classical and folk contexts. However, most existing approaches to music similarity retrieval fail to describe timbre beyond the so-called "ordinary" technique, use instrument identity as a proxy for timbre quality, and do not allow for customization to the perceptual idiosyncrasies of a new subject. In this article, we ask 31 human subjects to organize 78 isolated notes into a set of timbre clusters. Analyzing their responses suggests that timbre perception operates within a more flexible taxonomy than those provided by instruments or playing techniques alone. In addition, we propose a machine listening model to recover the cluster graph of auditory similarities across instruments, mutes, and techniques. Our model relies on joint time--frequency scattering features to extract spectrotemporal modulations as acoustic features. Furthermore, it minimizes triplet loss in the cluster graph by means of the large-margin nearest neighbor (LMNN) metric learning algorithm. Over a dataset of 9346 isolated notes, we report a state-of-the-art average precision at rank five (AP@5) of $99.0\%\pm1$. An ablation study demonstrates that removing either the joint time--frequency scattering transform or the metric learning algorithm noticeably degrades performance.


title: A study of COVID-19 data from African countries

abstract: COVID-19 is a new pandemic disease that is affecting almost every country with a negative impact on social life and economic activities. The number of infected and deceased patients continues to increase globally. Mathematical models can help in developing better strategies to contain a pandemic. Considering multiple measures taken by African governments and challenging socio-economic factors, simple models cannot fit the data. We studied the dynamical evolution of COVID-19 in selected African countries. We derived a time-dependent reproduction number for each country studied to offer further insights into the spread of COVID-19 in Africa.


title: What is important about the No Free Lunch theorems?

abstract: The No Free Lunch theorems prove that under a uniform distribution over induction problems (search problems or learning problems), all induction algorithms perform equally. As I discuss in this chapter, the importance of the theorems arises by using them to analyze scenarios involving {non-uniform} distributions, and to compare different algorithms, without any assumption about the distribution over problems at all. In particular, the theorems prove that {anti}-cross-validation (choosing among a set of candidate algorithms based on which has {worst} out-of-sample behavior) performs as well as cross-validation, unless one makes an assumption -- which has never been formalized -- about how the distribution over induction problems, on the one hand, is related to the set of algorithms one is choosing among using (anti-)cross validation, on the other. In addition, they establish strong caveats concerning the significance of the many results in the literature which establish the strength of a particular algorithm without assuming a particular distribution. They also motivate a ``dictionary'' between supervised learning and improve blackbox optimization, which allows one to ``translate'' techniques from supervised learning into the domain of blackbox optimization, thereby strengthening blackbox optimization algorithms. In addition to these topics, I also briefly discuss their implications for philosophy of science.


title: A Recurrent Neural Network and Differential Equation Based Spatiotemporal Infectious Disease Model with Application to COVID-19

abstract: The outbreaks of Coronavirus Disease 2019 (COVID-19) have impacted the world significantly. Modeling the trend of infection and real-time forecasting of cases can help decision making and control of the disease spread. However, data-driven methods such as recurrent neural networks (RNN) can perform poorly due to limited daily samples in time. In this work, we develop an integrated spatiotemporal model based on the epidemic differential equations (SIR) and RNN. The former after simplification and discretization is a compact model of temporal infection trend of a region while the latter models the effect of nearest neighboring regions. The latter captures latent spatial information. %that is not publicly reported. We trained and tested our model on COVID-19 data in Italy, and show that it out-performs existing temporal models (fully connected NN, SIR, ARIMA) in 1-day, 3-day, and 1-week ahead forecasting especially in the regime of limited training data.


title: Towards Nonlinear Disentanglement in Natural Data with Temporal Sparse Coding

abstract: We construct an unsupervised learning model that achieves nonlinear disentanglement of underlying factors of variation in naturalistic videos. Previous work suggests that representations can be disentangled if all but a few factors in the environment stay constant at any point in time. As a result, algorithms proposed for this problem have only been tested on carefully constructed datasets with this exact property, leaving it unclear whether they will transfer to natural scenes. Here we provide evidence that objects in segmented natural movies undergo transitions that are typically small in magnitude with occasional large jumps, which is characteristic of a temporally sparse distribution. We leverage this finding and present SlowVAE, a model for unsupervised representation learning that uses a sparse prior on temporally adjacent observations to disentangle generative factors without any assumptions on the number of changing factors. We provide a proof of identifiability and show that the model reliably learns disentangled representations on several established benchmark datasets, often surpassing the current state-of-the-art. We additionally demonstrate transferability towards video datasets with natural dynamics, Natural Sprites and KITTI Masks, which we contribute as benchmarks for guiding disentanglement research towards more natural data domains.


title: Q-deformed SU(1,1) and SU(2) Squeezed and Intelligent States and Quantum Entanglement

abstract: The intelligent states associated with the suq (1,1) and suq (2) q-deformed Lie algebra are investigated. The eigenvalue problem is also discussed.


title: Coupling a Superconducting Qubit to a Left-Handed Metamaterial Resonator

abstract: Metamaterial resonant structures made from arrays of superconducting lumped circuit elements can exhibit microwave mode spectra with left-handed dispersion, resulting in a high density of modes in the same frequency range where superconducting qubits are typically operated, as well as a bandgap at lower frequencies that extends down to dc. Using this novel regime for multi-mode circuit quantum electrodynamics, we have performed a series of measurements of such a superconducting metamaterial resonator coupled to a flux-tunable transmon qubit. Through microwave measurements of the metamaterial, we have observed the coupling of the qubit to each of the modes that it passes through. Using a separate readout resonator, we have probed the qubit dispersively and characterized the qubit energy relaxation as a function of frequency, which is strongly affected by the Purcell effect in the presence of the dense mode spectrum. Additionally, we have investigated the ac Stark shift of the qubit as the photon number in the various metamaterial modes is varied. The ability to tailor the dense mode spectrum through the choice of circuit parameters and manipulate the photonic state of the metamaterial through interactions with qubits makes this a promising platform for analog quantum simulation and quantum memories.


title: Critical phenomena in presence of symmetric absorbing states: a microscopic spin model with tunable parameters

abstract: The Langevin description of systems with two symmetric absorbing states yields a phase diagram with three different phases (disordered and active, ordered and active, absorbing) separated by critical lines belonging to three different universality classes (generalized voter, Ising, and directed percolation). In this paper we present a microscopic spin model with two symmetric absorbing states that has the property that the model parameters can be varied in a continuous way. Our results, obtained through extensive numerical simulations, indicate that all features of the Langevin description are encountered for our two-dimensionsal microscopic spin model. Thus the Ising and direction percolation lines merge into a generalized voter critical line at a point in parameter space that is not identical to the classical voter model. A vast range of different quantities are used to determine the universality classes of the order-disorder and absorbing phase transitions. The investigation of time-dependent quantities at a critical point belonging to the generalized voter universality class reveals a more complicated picture than previously discussed in the literature.


title: UAV Target Tracking in Urban Environments Using Deep Reinforcement Learning

abstract: Persistent target tracking in urban environments using UAV is a difficult task due to the limited field of view, visibility obstruction from obstacles and uncertain target motion. The vehicle needs to plan intelligently in 3D such that the target visibility is maximized. In this paper, we introduce Target Following DQN (TF-DQN), a deep reinforcement learning technique based on Deep Q-Networks with a curriculum training framework for the UAV to persistently track the target in the presence of obstacles and target motion uncertainty. The algorithm is evaluated through several simulation experiments qualitatively as well as quantitatively. The results show that the UAV tracks the target persistently in diverse environments while avoiding obstacles on the trained environments as well as on unseen environments.


title: Fluid equations for fast-moving electroweak bubble walls

abstract: The cosmological electroweak phase transition can be strongly first order in extended particle physics models. To accurately predict the speed and shape of the bubble walls during such a transition, Boltzmann equations for the CP-even fluid perturbations must be solved. We point out that the equations usually adopted lead to unphysical behavior of the perturbations, for walls traveling close to or above the speed of sound in the plasma. This is an artifact that can be overcome by more carefully truncating the full Boltzmann equation. We present an improved set of fluid equations, suitable for studying the dynamics of both subsonic and supersonic walls, of interest for gravitational wave production and electroweak baryogenesis.


title: On Greenberg's generalized conjecture

abstract: For a number field $F$ and an odd prime number $p,$ let $\tilde{F}$ be the compositum of all $\mathbb{Z}_p$-extensions of $F$ and $\tilde{\Lambda}$ the associated Iwasawa algebra. Let $G_{S}(\tilde{F})$ be the Galois group over $\tilde{F}$ of the maximal extension which is unramified outside $p$-adic and infinite places. In this paper we study the $\tilde{\Lambda}$-module $\mathfrak{X}_{S}^{(-i)}(\tilde{F}):=H_1(G_S(\tilde{F}), \mathbb{Z}_p(-i))$ and its relationship with $X(\tilde{F}(\mu_p))(i-1)^\Delta,$ the $\Delta:=\mathrm{Gal}(\tilde{F}(\mu_{p})/\tilde{F})$-invariant of the Galois group over $\tilde{F}(\mu_{p})$ of the maximal abelian unramified pro-$p$-extension of $\tilde{F}(\mu_{p}).$ More precisely, we show that under a decomposition condition, the pseudo-nullity of the $\tilde{\Lambda}$-module $X(\tilde{F}(\mu_p))(i-1)^\Delta$ is implied by the existence of a $\mathbb{Z}_{p}^d$-extension $L$ with $\mathfrak{X}_{S}^{(-i)}(L):=H_1(G_S(L), \mathbb{Z}_p(-i))$ being without torsion over the Iwasawa algebra associated to $L,$ and which contains a $\mathbb{Z}_{p}$-extension $F_{\infty}$ satisfying $H^2(G_{S}(F_{\infty}),\mathbb{Q}_{p}/\mathbb{Z}_p(i))=0.$ As a consequence we obtain a sufficient condition for the validity of Greenberg's generalized conjecture when the integer $i\equiv 1 \mod{[F(\mu_p):F]}.$ This existence is fulfilled for $(p, i)$-regular fields.


title: MovieNet: A Holistic Dataset for Movie Understanding

abstract: Recent years have seen remarkable advances in visual understanding. However, how to understand a story-based long video with artistic styles, e.g. movie, remains challenging. In this paper, we introduce MovieNet -- a holistic dataset for movie understanding. MovieNet contains 1,100 movies with a large amount of multi-modal data, e.g. trailers, photos, plot descriptions, etc. Besides, different aspects of manual annotations are provided in MovieNet, including 1.1M characters with bounding boxes and identities, 42K scene boundaries, 2.5K aligned description sentences, 65K tags of place and action, and 92K tags of cinematic style. To the best of our knowledge, MovieNet is the largest dataset with richest annotations for comprehensive movie understanding. Based on MovieNet, we set up several benchmarks for movie understanding from different angles. Extensive experiments are executed on these benchmarks to show the immeasurable value of MovieNet and the gap of current approaches towards comprehensive movie understanding. We believe that such a holistic dataset would promote the researches on story-based long video understanding and beyond. MovieNet will be published in compliance with regulations at https://movienet.github.io.


title: Reference study of CityGML software support: the GeoBIM benchmark 2019 -- Part II

abstract: OGC CityGML is an open standard for 3D city models intended to foster interoperability and support various applications. However, through our practical experience and discussions with practitioners, we have noticed several problems related to the implementation of the standard and the use of standardized data. Nevertheless, a systematic investigation of these issues has never been performed, and there is thus insufficient evidence that can be used for tackling the problems. The GeoBIM benchmark project is aimed at finding such evidence by involving external volunteers, reporting on tools behaviour about relevant aspects (geometry, semantics, georeferencing, functionalities), analysed and described in this paper. This study explicitly pointed out the critical points embedded in the format as an evidence base for future development. This paper is in tandem with Part I, describing the results of the benchmark related to IFC, counterpart of CityGML within building information modelling.


title: Operator forms of nonhomogeneous associative classical Yang-Baxter equation

abstract: This paper studies operator forms of the nonhomogeneous associative classical Yang-Baxter equation (nhacYBe), extending and generalizing such studies for the classical Yang-Baxter equation and associative Yang-Baxter equation that can be tracked back to the works of Semonov-Tian-Shansky and Kupershmidt on Rota-Baxter Lie algebras and $\mathcal{O}$-operators. In general, solutions of the nhacYBe are characterized in terms of generalized $\mathcal{O}$-operators. The characterization can be given by the classical $\mathcal{O}$-operators precisely when the solutions satisfy an invariant condition. When the invariant condition is compatible with a Frobenius algebra, such solutions have close relationships with Rota-Baxter operators on the Frobenius algebra. In general, solutions of the nhacYBe can be produced from Rota-Baxter operators, and then from $\mathcal{O}$-operators when the solutions are taken in semi-direct product algebras. In the other direction, Rota-Baxter operators can be obtained from solutions of the nhacYBe in unitizations of algebras. Finally a classifications of solutions of the nhacYBe satisfying the mentioned invariant condition in all unital complex algebras of dimensions two and three are obtained. All these solutions are shown to come from Rota-Baxter operators.


title: The luminosity evolution of nova shells -- I. A new analysis of old data

abstract: We present a re-analysis of the H$\alpha$ and [OIII] flux data from the only comprehensive study of the luminosity evolution of nova shells, undertaken almost two decades ago. We use newly available distances and extinction values, and include additional luminosity data of 'ancient' nova shells. We compare the long-term behaviour with respect to nova speed class and light curve type. We find that, in general, the luminosity as a function of time can be described as consisting of an initial shallow logarithmic decline or constant behaviour, followed by a logarithmic main decline phase, with a possible return to a shallow decline or constancy at very late stages. The luminosity evolution in the first two phases is likely to be dominated by the expansion of the shell and the corresponding changes in volume and density, while for the older nova shells, the interaction with the interstellar medium comes into play. The slope of the main decline is very similar for almost all groups for a given emission line, but it is significantly steeper for [OIII], compared to H$\alpha$, which we attribute to the more efficient cooling provided by the forbidden lines. The recurrent novae are among the notable exceptions, along with the plateau light curve type novae and the nova V838 Her. We speculate that this is due to the presence of denser material, possibly in the form of remnants from previous nova eruptions, or of planetary nebulae, As a by-product of our study, we revised the identification of all novae included in our investigation with sources in the Gaia Data Release 2 catalogue.


title: Tuning Magnetic Properties of Penta-Graphene Bilayers Through Doping with Boron and Oxygen

abstract: Penta-graphene (PG) is a carbon allotrope that has recently attracted the attention of the materials science community due to its interesting properties for renewable energy applications. Although unstable in its pure form, it has been shown that functionalization may stabilize its structure. A question that arises is whether its outstanding electronic properties could also be further improved using such a procedure. As PG bilayers present both sp$^2$ and sp$^3$ carbon planes, it consists of a flexible candidate for functionalization tuning of electromagnetic properties. In this work, we perform density functional theory simulations to investigate how the electronic and structural properties of PG bilayers can be tuned as a result of substitution doping. Specifically, we observed the emergence of different magnetic properties when boron was used as dopant species. On the other hand, in the case of doping with oxygen, the rupture of bonds in the sp$^2$ planes does not induce a magnetic moment in the material.


title: A finite box as a tool to distinguish free quarks from confinement at high temperatures

abstract: Above the pseudocritical temperature T_c of chiral symmetry restoration a chiral spin symmetry (a symmetry of the color charge and of electric confinement) emerges in QCD. This implies that QCD is in a confining mode and there are no free quarks. At the same time correlators of operators constrained by a conserved current behave as if quarks were free. This explains observed fluctuations of conserved charges and the absence of the rho-like structures seen via dileptons. An independent evidence that one is in a confining mode is very welcome. Here we suggest a new tool how to distinguish free quarks from a confining mode. If we put the system into a finite box, then if the quarks are free one necessarily obtains a remarkable diffractive pattern in the propagator of a conserved current. This pattern is clearly seen in a lattice calculation in a finite box and it vanishes in the infinite volume limit as well as in the continuum. In contrast, the full QCD calculations in a finite box show the absence of the diffractive pattern implying that the quarks are confined.


title: Passive Beamforming for IRS Aided Wireless Networks

abstract: In this letter, we design passive beamforming in an intelligent reflecting surface (IRS) assisted multiple-user wireless network. Two different scenarios are considered, namely, multicasting and multi-user downlink transmission. We optimize the passive beamforming vector of the IRS to maximize the smallest signal-to-noise ratio of the users in both scenarios. Based on the alternating direction method of multipliers algorithm, a low complexity method is designed to iteratively solve the established problem. In each iteration of the proposed method, the solution is in closed form, and thus the computation complexity is low. Numerical results are presented to show the efficiency of the proposed method.


title: Ultra-short-period Planets are Stable Against Tidal Inspiral

abstract: It has been unambiguously shown in both individual systems and at the population level that hot Jupiters experience tidal inspiral before the end of their host stars' main sequence lifetimes. Ultra-short-period (USP) planets have orbital periods $P < 1$ day, rocky compositions, and are expected to experience tidal decay on similar timescales to hot Jupiters if the efficiency of tidal dissipation inside their host stars parameterized as $Q_\ast'$ is independent of $P$ and/or secondary mass $M_{\mathrm{p}}$. Any difference between the two classes of systems would reveal that a constant $Q_\ast'$ model is insufficient. If USP planets experience tidal inspiral, then USP planet systems will be relatively young compared to similar stars without USP planets. Because it is a proxy for relative age, we calculate the Galactic velocity dispersions of USP planet candidate host and non-host stars using data from Gaia Data Release 2 supplemented with ground-based radial velocities. We find that main sequence USP planet candidate host stars have kinematics consistent with similar stars in the Kepler field without observed USP planets. This indicates that USP planet hosts have similar ages as field stars and that USP planets do not experience tidal inspiral during the main sequence lifetimes of their host stars. The survival of USP planets requires that $Q_\ast'\gtrsim10^7$ at $P\approx0.7$ day and $M_{\mathrm{p}}\approx2.6~M_{\oplus}$. This result demands that $Q_\ast'$ depend on the orbital period and/or mass of the secondary in the range $0.5\mathrm{~days}\lesssim P\lesssim5$ days and $1~M_{\oplus}\lesssim M_{\mathrm{p}}\lesssim1000~M_{\oplus}$.


title: XD at SemEval-2020 Task 12: Ensemble Approach to Offensive Language Identification in Social Media Using Transformer Encoders

abstract: This paper presents six document classification models using the latest transformer encoders and a high-performing ensemble model for a task of offensive language identification in social media. For the individual models, deep transformer layers are applied to perform multi-head attentions. For the ensemble model, the utterance representations taken from those individual models are concatenated and fed into a linear decoder to make the final decisions. Our ensemble model outperforms the individual models and shows up to 8.6% improvement over the individual models on the development set. On the test set, it achieves macro-F1 of 90.9% and becomes one of the high performing systems among 85 participants in the sub-task A of this shared task. Our analysis shows that although the ensemble model significantly improves the accuracy on the development set, the improvement is not as evident on the test set.


title: Soft quantum waveguides with an explicit cut-locus

abstract: We consider two-dimensional Schroedinger operators with an attractive potential in the form of a channel of a fixed profile built along an unbounded curve composed of a circular arc and two straight semi-lines. Using a test-function argument with help of parallel coordinates outside the cut-locus of the curve, we establish the existence of discrete eigenvalues. This is a special variant of a recent result of Exner in a non-smooth case and via a different technique which does not require non-positive constraining potentials.


title: Garment Design with Generative Adversarial Networks

abstract: The designers' tendency to adhere to a specific mental set and heavy emotional investment in their initial ideas often hinder their ability to innovate during the design thinking and ideation process. In the fashion industry, in particular, the growing diversity of customers' needs, the intense global competition, and the shrinking time-to-market (a.k.a., "fast fashion") further exacerbate this challenge for designers. Recent advances in deep generative models have created new possibilities to overcome the cognitive obstacles of designers through automated generation and/or editing of design concepts. This paper explores the capabilities of generative adversarial networks (GAN) for automated attribute-level editing of design concepts. Specifically, attribute GAN (AttGAN)---a generative model proven successful for attribute editing of human faces---is utilized for automated editing of the visual attributes of garments and tested on a large fashion dataset. The experiments support the hypothesized potentials of GAN for attribute-level editing of design concepts, and underscore several key limitations and research questions to be addressed in future work.


title: Heralding Quantum Entanglement between Two Room-Temperature Atomic Ensembles

abstract: Establishing quantum entanglement between individual nodes is crucial for building large-scale quantum networks, enabling secure quantum communication, distributed quantum computing, enhanced quantum metrology and fundamental tests of quantum mechanics. However, the shared entanglements have been merely observed in either extremely low-temperature or well-isolated systems, which limits the quantum networks for the real-life applications. Here, we report the realization of heralding quantum entanglement between two atomic ensembles at room temperature, where each of them contains billions of motional atoms. By measuring the mapped-out entangled state with quantum interference, concurrence and correlation, we strongly verify the existence of a single excitation delocalized in two atomic ensembles. Remarkably, the heralded quantum entanglement of atomic ensembles can be operated with the feature of delay-choice, which illustrates the essentiality of the built-in quantum memory. The demonstrated building block paves the way for constructing quantum networks and distributing entanglement across multiple remote nodes at ambient conditions.


title: Subconvexity for $L$-Functions on $\mathrm{GL}_3$ over Number Fields

abstract: In this paper, over an arbitrary number field, we prove subconvexity bounds for self-dual $\mathrm{GL}_3$ $L$-functions in the $t$-aspect and for self-dual $\mathrm{GL}_3 \times \mathrm{GL}_2$ $L$-functions in the $\mathrm{GL}_2$ Archimedean aspect.


title: Strengthened second law for multi-dimensional systems coupled to multiple thermodynamic reservoirs

abstract: The second law of thermodynamics can be formulated as a restriction on the evolution of the entropy of any system undergoing Markovian dynamics. Here I show that this form of the second law is strengthened for multi-dimensional, complex systems, coupled to multiple thermodynamic reservoirs, if we have a set of \textit{a priori} constraints restricting how the dynamics of each coordinate can depend on the other coordinates. As an example, this strengthened second law (SSL) applies to complex systems composed of multiple physically separated, co-evolving subsystems, each identified as a coordinate of the overall system. In this example, the constraints concern how the dynamics of some subsystems are allowed to depend on the states of the other subsystems. Importantly the SSL applies to such complex systems even if some of its subsystems can change state simultaneously, which is prohibited in a multipartite process. The SSL also strengthens previously derived bounds on how much work can be extracted from a system using feedback control, if the system is multi-dimensional. Importantly, the SSL does not require local detailed balance. So it potentially applies to complex systems ranging from interacting economic agents to co-evolving biological species.


title: Reference study of IFC software support: the GeoBIM benchmark 2019 -- Part I

abstract: IFC, buildingSMART open standard for Building Information Models, is underused with respect to its promising potential, since, according to the experience of practitioners and researchers working with BIM, issues in the standard's implementation and use prevent its effective use. Nevertheless, a systematic investigation of these issues has never been performed, and there is thus insufficient evidence for tackling the problems. The GeoBIM benchmark project is aimed at finding such evidence by involving external volunteers, reporting on tools behaviour about relevant aspects (geometry, semantics, georeferencing, functionalities), analysed and described in this paper. Interestingly, few patterns are detectable about the behaviour of different software with standardised data, and significant issues are found in their support of the standards, probably due to the very high complexity of the standard data model. This paper is in tandem with Part II, describing the results of the benchmark related to CityGML, counterpart of IFC within geoinformation.


title: Lasso Inference for High-Dimensional Time Series

abstract: In this paper we develop valid inference for high-dimensional time series. We extend the desparsified lasso to a time series setting under Near-Epoch Dependence (NED) assumptions allowing for non-Gaussian, serially correlated and heteroskedastic processes, where the number of regressors can possibly grow faster than the time dimension. We first derive an error bound under weak sparsity, which, coupled with the NED assumption, means this inequality can also be applied to the (inherently misspecified) nodewise regressions performed in the desparsified lasso. This allows us to establish the uniform asymptotic normality of the desparsified lasso under general conditions, including for inference on parameters of increasing dimensions. Additionally, we show consistency of a long-run variance estimator, thus providing a complete set of tools for performing inference in high-dimensional linear time series models. Finally, we perform a simulation exercise to demonstrate the small sample properties of the desparsified lasso in common time series settings.


title: Homogeneous isotropic turbulence in four spatial dimensions

abstract: Direct Numerical Simulation is performed of the forced Navier-Stokes equation in four spatial dimensions. Well equilibrated, long time runs at sufficient resolution were obtained to reliably measure spectral quantities, the velocity derivative skewness and the dimensionless dissipation rate. Comparisons to corresponding two and three dimensional results are made. Energy fluctuations are measured and show a clear reduction moving from three to four dimensions. The dynamics appear to show simplifications in four dimensions with a picture of increased forward energy transfer resulting in an extended inertial range with smaller Kolmogorov scale. This enhanced forwards transfer is linked to our finding of increased dissipative anomaly and velocity derivative skewness.


title: Simulating gravity in rotational flow

abstract: We consider classical fluids in non-relativistic framework. The flow is considered to be barotropic, inviscid and rotational. We study the linear perturbations over a steady state background flow. We find the acoustic metric from the conservation equation of a current constructed from linear perturbation of first order derivatives (in position and time coordinate) of Bernoulli's constant (scalar field) and vorticity (a vector field). We have rather shown that the conservation equation of current reduces to a massless scalar field equation in the high frequency limit. In contrast to the contemporary works, our work shows that even if we can not find a wave equation (in rotational flow) which is structurally similar to a massless scalar field equation in curved space-time, but still an analogue space-time exists through a conservation equation. Considering velocity potential and Clebesch coefficients, we find that only for some specific systems current conservation equation can be found yielding the same analogue space-time. We conclude that for rotational flows, it is wise to study linear perturbation of Bernoulli's constant over the velocity potential and Clebsch coefficients.