title: IEEE 802.11ba -- Extremely Low Power Wi-Fi for Massive Internet of Things: Challenges, Open Issues, Performance Evaluation

abstract: Many recent activities of IEEE 802.11 Working group have been focused on improving power efficiency of Wi-Fi to make it favorable for massive Internet of Things scenarios, in which swarms of battery supplied sensors rarely communicate with remote servers. The latest step towards this direction is the work on a new IEEE 802.11ba amendment to the Wi-Fi standard, which introduces Wake-Up Radio. This radio is an additional interface with extremely low power consumption that is used to transmit control information from the access point to stations while their primary radio is switched off. This paper describes the IEEE 802.11ba protocol, discusses its open issues, investigates several approaches to provide energy efficient data transmission with 802.11ba, and evaluates how much 802.11ba improves energy efficiency and even reduces channel time consumption.


title: $\aleph_k$-free cogenerators

abstract: We prove in ZFC that an abelian group $C$ is cotorsion if and only if $\operatorname{Ext}(F,C) = 0$ for every $\aleph_k$-free group $F$, and discuss some consequences and related results. This short note includes a condensed overview of the $\bar\lambda$-Black Box for $\aleph_k$-free constructions in ZFC.


title: Answering questions by learning to rank -- Learning to rank by answering questions

abstract: Answering multiple-choice questions in a setting in which no supporting documents are explicitly provided continues to stand as a core problem in natural language processing. The contribution of this article is two-fold. First, it describes a method which can be used to semantically rank documents extracted from Wikipedia or similar natural language corpora. Second, we propose a model employing the semantic ranking that holds the first place in two of the most popular leaderboards for answering multiple-choice questions: ARC Easy and Challenge. To achieve this, we introduce a self-attention based neural network that latently learns to rank documents by their importance related to a given question, whilst optimizing the objective of predicting the correct answer. These documents are considered relevant contexts for the underlying question. We have published the ranked documents so that they can be used off-the-shelf to improve downstream decision models.


title: Self-Training and Adversarial Background Regularization for Unsupervised Domain Adaptive One-Stage Object Detection

abstract: Deep learning-based object detectors have shown remarkable improvements. However, supervised learning-based methods perform poorly when the train data and the test data have different distributions. To address the issue, domain adaptation transfers knowledge from the label-sufficient domain (source domain) to the label-scarce domain (target domain). Self-training is one of the powerful ways to achieve domain adaptation since it helps class-wise domain adaptation. Unfortunately, a naive approach that utilizes pseudo-labels as ground-truth degenerates the performance due to incorrect pseudo-labels. In this paper, we introduce a weak self-training (WST) method and adversarial background score regularization (BSR) for domain adaptive one-stage object detection. WST diminishes the adverse effects of inaccurate pseudo-labels to stabilize the learning procedure. BSR helps the network extract discriminative features for target backgrounds to reduce the domain shift. Two components are complementary to each other as BSR enhances discrimination between foregrounds and backgrounds, whereas WST strengthen class-wise discrimination. Experimental results show that our approach effectively improves the performance of the one-stage object detection in unsupervised domain adaptation setting.


title: Open Saito theory for $A$ and $D$ singularities

abstract: A well known construction of B. Dubrovin and K. Saito endows the parameter space of a universal unfolding of a simple singularity with a Frobenius manifold structure. In our paper we present a generalization of this construction for the singularities of types $A$ and $D$, that gives a solution of the open WDVV equations. For the $A$-singularity the resulting solution describes the intersection numbers on the moduli space of $r$-spin disks, introduced recently in a work of the second author, E. Clader and R. Tessler. In the second part of the paper we describe the space of homogeneous polynomial solutions of the open WDVV equations associated to the Frobenius manifolds of finite irreducible Coxeter groups.


title: Subword Language Model for Query Auto-Completion

abstract: Current neural query auto-completion (QAC) systems rely on character-level language models, but they slow down when queries are long. We present how to utilize subword language models for the fast and accurate generation of query completion candidates. Representing queries with subwords shorten a decoding length significantly. To deal with issues coming from introducing subword language model, we develop a retrace algorithm and a reranking method by approximate marginalization. As a result, our model achieves up to 2.5 times faster while maintaining a similar quality of generated results compared to the character-level baseline. Also, we propose a new evaluation metric, mean recoverable length (MRL), measuring how many upcoming characters the model could complete correctly. It provides more explicit meaning and eliminates the need for prefix length sampling for existing rank-based metrics. Moreover, we performed a comprehensive analysis with ablation study to figure out the importance of each component.


title: Study of the sensitivity to CKM angle $\gamma$ under simultaneous determination from multiple $B$ meson decay modes

abstract: Several methods exist to measure $CP$ violation observables related to the CKM unitarity triangle angle $\gamma$ using $B$ meson decays. These observables are different for every $B$ meson decay considered, although the information they contain on $\gamma$ is encoded in a similar way for all of them. This paper describes a strategy for a simultaneous measurement of $\gamma$ using several $B$ meson decays that takes into account possible correlations between them. Sensitivity studies demonstrate that the simultaneous analysis of several $B$ meson decay modes results in smaller uncertainties and improved statistical behaviour compared to a combination of standalone measurements.


title: Multiplicative arithmetic functions and the generalized Ewens measure

abstract: Random integers, sampled uniformly from $[1,x]$, share similarities with random permutations, sampled uniformly from $S_n$. These similarities include the Erd\H{o}s--Kac theorem on the distribution of the number of prime factors of a random integer, and Billingsley's theorem on the largest prime factors of a random integer. In this paper we extend this analogy to non-uniform distributions. Given a multiplicative function $\alpha \colon \mathbb{N} \to \mathbb{R}_{\ge 0}$, one may associate with it a measure on the integers in $[1,x]$, where $n$ is sampled with probability proportional to the value $\alpha(n)$. Analogously, given a sequence $\{ \theta_i\}_{i \ge 1}$ of non-negative reals, one may associate with it a measure on $S_n$ that assigns to a permutation a probability proportional to a product of weights over the cycles of the permutation. This measure is known as the generalized Ewens measure. We study the case where the mean value of $\alpha$ over primes tends to some positive $\theta$, as well as the weights $\alpha(p) \approx (\log p)^{\gamma}$. In both cases, we obtain results in the integer setting which are in agreement with those in the permutation setting.


title: Multilayer Effects in Bi2Sr2Ca2Cu3O10+z Superconductors

abstract: We discuss the characteristic features of triple Cu-O2 layer cuprates superconductors, by comparing those of single and double layer cuprates superconductors. After a brief introduction to multilayer cuprates and their characteristic properties such as the doping imbalance between the inner and outer Cu-O2 planes (IP and OP, respectively) revealed by nuclear magnetic resonance, we present the experimental results of angle resolved photoemission and Raman scattering spectroscopy for the triple layer Bi2Sr2Ca2Cu3O10+z which showed two different superconducting gaps opening on the IP and OP. The doping dependence of the double peak structure in Raman spectra was found to be qualitatively consistent with that of single and double layer cuprates, if each layer doping for the IP and OP is taken into account. The fact that the IP and OP share the same electronic phase diagram and the same transition temperature (Tc) hints to a coupling between the IP and OP. Moreover, the energies of IP and OP Raman peaks were found to be very large, not scaling with Tc, which can be attributed to the strong influence of the pseudogap of the underdoped IP in triple layer cuprates. These findings suggest that the high Tc and the large gap ratio of triple layer cuprates are realized through a combination of the interlayer coupling between the OP and IP and the interaction between superconductivity and the pseudogap.


title: OFDMA Resource Allocation for Real-Time Applications in IEEE 802.11ax Networks

abstract: Support of real-time applications that impose strict requirements on packet loss ratio and latency is an essential feature of the next generation Wi-Fi networks. Initially introduced in the 802.11ax amendment to the Wi-Fi standard, uplink OFDMA seems to be a promising solution for supported low-latency data transmission from the numerous stations to an access point. In this paper, we study how to allocate OFDMA resources in an 802.11ax network and propose an algorithm aimed at providing the delay less than one millisecond and reliability up to 99.999\% as required by numerous real-time applications. We design a resource allocation algorithm and with extensive simulation, show that it decreases delays for real-time traffic by orders of magnitude, while the throughput for non-real-time traffic is reduced insignificantly.


title: The Casimir energy anomaly for a point interaction

abstract: The Casimir energy for a massless, neutral scalar field in presence of a point interaction is analyzed using a general zeta-regularization approach developed in earlier works. In addition to a regular bulk contribution, there arises an anomalous boundary term which is infinite despite renormalization. The intrinsic nature of this anomaly is briefly discussed.


title: Doublon-holon excitations split by Hund's rule coupling within the orbital-selective Mott phase

abstract: Multiorbital interactions have the capacity to produce an interesting kind of doublon-holon bound state that consists of a single-hole state in one band and a doubly-occupied state in another band. Interband doublon-holon pair excitations in the two-orbital Hubbard model are studied by using dynamical mean-field theory with the Lanczos method as the impurity solver. We find that the interband bound states may provide several in-gap quasiparticle peaks in the density of states of the narrow band in the orbital-selective Mott phase with a small Hund's rule coupling ($J$). There exists a corresponding energy relation between the in-gap states of the narrow band and the peaks in the excitation spectrum of the doublon for the wide band. We also find that the spin flip and pair-hopping Hund interactions can divide one quasiparticle peak into two peaks, where the splitting energy increases linearly with increasing $J$. Strong Hund's rule coupling can move the interband doublon-holon pair excitations outside the Mott gap and restrict the bound states by suppressing the orbital selectivity of the doubly-occupied and single-hole states.


title: Photometric redshifts for X-ray-selected active galactic nuclei in the eROSITA era

abstract: With the launch of eROSITA (extended Roentgen Survey with an Imaging Telescope Array), successfully occurred on 2019 July 13, we are facing the challenge of computing reliable photometric redshifts for 3 million of active galactic nuclei (AGNs) over the entire sky, having available only patchy and inhomogeneous ancillary data. While we have a good understanding of the photo-z quality obtainable for AGN using spectral energy distribution (SED)-fitting technique, we tested the capability of machine learning (ML), usually reliable in computing photo-z for QSO in wide and shallow areas with rich spectroscopic samples. Using MLPQNA as example of ML, we computed photo-z for the X-ray-selected sources in Stripe 82X, using the publicly available photometric and spectroscopic catalogues. Stripe 82X is at least as deep as eROSITA will be and wide enough to include also rare and bright AGNs. In addition, the availability of ancillary data mimics what can be available in the whole sky. We found that when optical, and near- and mid-infrared data are available, ML and SED fitting perform comparably well in terms of overall accuracy, realistic redshift probability density functions, and fraction of outliers, although they are not the same for the two methods. The results could further improve if the photometry available is accurate and including morphological information. Assuming that we can gather sufficient spectroscopy to build a representative training sample, with the current photometry coverage we can obtain reliable photo-z for a large fraction of sources in the Southern hemisphere well before the spectroscopic follow-up, thus timely enabling the eROSITA science return. The photo-z catalogue is released here.


title: DeepDB: Learn from Data, not from Queries!

abstract: The typical approach for learned DBMS components is to capture the behavior by running a representative set of queries and use the observations to train a machine learning model. This workload-driven approach, however, has two major downsides. First, collecting the training data can be very expensive, since all queries need to be executed on potentially large databases. Second, training data has to be recollected when the workload and the data changes. To overcome these limitations, we take a different route: we propose to learn a pure data-driven model that can be used for different tasks such as query answering or cardinality estimation. This data-driven model also supports ad-hoc queries and updates of the data without the need of full retraining when the workload or data changes. Indeed, one may now expect that this comes at a price of lower accuracy since workload-driven models can make use of more information. However, this is not the case. The results of our empirical evaluation demonstrate that our data-driven approach not only provides better accuracy than state-of-the-art learned components but also generalizes better to unseen queries.


title: Collecting and Structuring Information in the Information Collage

abstract: Knowledge workers, such as scientists, journalists, or consultants, adaptively seek, gather, and consume information. These processes are often inefficient as existing user interfaces provide limited possibilities to combine information from various sources and different formats into a common knowledge representation. In this paper, we present the concept of an information collage (IC) -- a web browser extension combining manual spatial organization of gathered information fragments and automatic text analysis for interactive content exploration and expressive visual summaries. We used IC for case studies with knowledge workers from different domains and longer-term field studies over a period of one month. We identified three different ways how users collect and structure information and provide design recommendations how to support these observed usage strategies.


title: Plasmonic Cooper pairing in single layer graphene

abstract: The dielectric function method (DFM), which uses a non-adiabatic approach to calculate the critical temperatures for superconductivity, has been quite successful in describing superconductors at low carrier densities. This regime of carrier densities causes other theories, such as BCS and Migdal-Eliashberg theory, to violate their assumption of a small Debye window. We investigate the application of DFM to the linear dispersion of single layer graphene. We derive the gap equation of DFM for a Dirac cone and calculate the critical temperature as a function of carrier density. This is done using an interaction potential that utilizes the Random Phase Approximation dielectric function and thus allows for plasmonic interactions. Our results show a significantly different behaviour of the critical temperature as a function of carrier density when compared to the BCS result. Thus, we find the DFM approach to be better suited when considering graphene systems at low carrier densities.


title: Light path averages in spacetimes with non-vanishing average spatial curvature

abstract: Effects of inhomogeneities on observations have been vastly studied using both perturbative methods, N-body simulations and Swiss cheese solutions to the Einstein equations. In nearly all cases, such studied setups assume vanishing spatial background curvature. While a spatially flat Friedmann-Lemaitre-Robertson-Walker model is in accordance with observations, a non-vanishing curvature is not ruled out. It is therefore important to note that, as has been pointed out in the literature, 1 dimensional averages might not converge to volume averages in non-Euclidean space. If this is indeed the case, it will affect the interpretation of observations in spacetimes with non-vanishing average spatial curvature. This possibility is therefore studied here by computing the integrated expansion rate and shear, the accumulated density contrast, and fluctuations in the redshift-distance relation in Swiss cheese models with different background curvatures. It is found that differences in mean and dispersion of these quantities in the different models are small and naturally attributable to differences in background expansion rate and density contrasts. Thus, the study does not yield an indication that the relationship between 1 dimensional spatial averages and volume averages depends significantly on background curvature.


title: Two deformed Pascal's triangles and its new properties

abstract: In this paper, firstly, by a determinant of deformed Pascal's triangle, namely the normalized Hessenberg matrix determinant, to count Dyck paths, we give another combinatorial proof of the theorems which are of Catalan numbers determinant representations and the recurrence formula. Secondly, a determinant of normalized Toeplitz-Hessenberg matrix, whose entries are binomials, arising in power series, we derive new four properties of Pascal's triangle.


title: Iterative Receiver for Non-Orthogonal Waveforms Based on the Sum-Product Algorithm

abstract: Based on the application of the Sum-Product algorithm (SPA) over factor graphs, this paper presents a graphical representation of generalized frequency division multiplexing (GFDM) and filter bank multicarrier with offset QAM (FBMC-OQAM). FBMC-OQAM was chosen because it has the advantage of reducing the algorithm's complexity, since it is directly related to the number of possible values assumed by the transmitted data symbols. The receiver algorithm performance is evaluated by the bit error ratio (BER) estimation considering two channel models, additive white Gaussian noise (AWGN) and flat-fading time-variant (Rayleigh). Likewise, a computational complexity analysis is presented. Numerical results show that the BER curves of the proposed scheme present a good match compared with theoretical bit error probability curves.


title: Macroscopic and edge behavior of a planar jellium

abstract: We consider a planar Coulomb gas in which the external potential is generated by a smeared uniform background of opposite-sign charge on a disc. This model can be seen as a two-dimensional Wigner jellium, not necessarily charge neutral, and with particles allowed to exist beyond the support of the smeared charge. The full space integrability condition requires low enough temperature or high enough total smeared charge. This condition does not allow at the same time, total charge neutrality and determinantal structure. The model shares similarities with both the complex Ginibre ensemble and the Forrester--Krishnapur spherical ensemble of random matrix theory. In particular, for a certain regime of temperature and total charge, the equilibrium measure is uniform on a disc as in the Ginibre ensemble, while the modulus of the farthest particle has heavy-tailed fluctuations as in the Forrester--Krishnapur spherical ensemble. We also touch on a higher temperature regime producing a crossover equilibrium measure, as well as a transition to Gumbel edge fluctuations. More results in the same spirit on edge fluctuations are explored by the second author together with Raphael Butez.


title: A dynamical mean-field study of orbital-selective Mott phase enhanced by next-nearest neighbor hopping

abstract: The dynamical mean-field theory is employed to study the orbital-selective Mott transition (OSMT) of the two-orbital Hubbard model with nearest neighbor hopping and next-nearest neighbor (NNN) hopping. The NNN hopping breaks the particle-hole symmetry at half filling and gives rise to an asymmetric density of states (DOS). Our calculations show that the broken symmetry of DOS benefits the OSMT, where the region of the orbital-selective Mott phase significantly extends with the increasing NNN hopping integral. We also find that Hund's rule coupling promotes OSMT by blocking the orbital fluctuations, but the influence of NNN hopping is more remarkable.


title: Enriching Medcial Terminology Knowledge Bases via Pre-trained Language Model and Graph Convolutional Network

abstract: Enriching existing medical terminology knowledge bases (KBs) is an important and never-ending work for clinical research because new terminology alias may be continually added and standard terminologies may be newly renamed. In this paper, we propose a novel automatic terminology enriching approach to supplement a set of terminologies to KBs. Specifically, terminology and entity characters are first fed into pre-trained language model to obtain semantic embedding. The pre-trained model is used again to initialize the terminology and entity representations, then they are further embedded through graph convolutional network to gain structure embedding. Afterwards, both semantic and structure embeddings are combined to measure the relevancy between the terminology and the entity. Finally, the optimal alignment is achieved based on the order of relevancy between the terminology and all the entities in the KB. Experimental results on clinical indicator terminology KB, collected from 38 top-class hospitals of Shanghai Hospital Development Center, show that our proposed approach outperforms baseline methods and can effectively enrich the KB.


title: Recurrence of 2-dimensional queueing processes, and random walk exit times from the quadrant

abstract: Let $X = (X_1, X_2)$ be a 2-dimensional random variable and $X(n), n \in \mathbb{N}$ a sequence of i.i.d. copies of $X$. The associated random walk is $S(n)= X(1) + \cdots +X(n)$. The corresponding absorbed-reflected walk $W(n), n \in \mathbb{N}$ in the first quadrant is given by $W(0) = x \in \mathbb{R}_+^2$ and $W(n) = \max \{ 0, W(n-1) - X(n) \}$, where the maximum is taken coordinate-wise. This is often called the Lindley process and models the waiting times in a two-server queue. We characterize recurrence of this process, assuming suitable, rather mild moment conditions on $X$. It turns out that this is directly related with the tail asymptotics of the exit time of the random walk $x + S(n)$ from the quadrant, so that the main part of this paper is devoted to an analysis of that exit time in relation with the drift vector, i.e., the expectation of $X$.


title: Reinforcement Learning-based Automatic Diagnosis of Acute Appendicitis in Abdominal CT

abstract: Acute appendicitis characterized by a painful inflammation of the vermiform appendix is one of the most common surgical emergencies. Localizing the appendix is challenging due to its unclear anatomy amidst the complex colon-structure as observed in the conventional CT views, resulting in a time-consuming diagnosis. End-to-end learning of a convolutional neural network (CNN) is also not likely to be useful because of the negligible size of the appendix compared with the abdominal CT volume. With no prior computational approaches to the best of our knowledge, we propose the first computerized automation for acute appendicitis diagnosis. In our approach, we utilize a reinforcement learning agent deployed in the lower abdominal region to obtain the appendix location first to reduce the search space for diagnosis. Then, we obtain the classification scores (i.e., the likelihood of acute appendicitis) for the local neighborhood around the localized position, using a CNN trained only on a small appendix patch per volume. From the spatial representation of the resultant scores, we finally define a region of low-entropy (RLE) to choose the optimal diagnosis score, which helps improve the classification accuracy showing robustness even under high appendix localization error cases. In our experiment with 319 abdominal CT volumes, the proposed RLE-based decision with prior localization showed significant improvement over the standard CNN-based diagnosis approaches.


title: Dynamics of particles trapped by dissipative solitons

abstract: Optomechanical manipulation of nanoparticles enabling ultimate control over their 3D motion is nowadays one of the most highly demanded links between optics, biology, medicine, microfluidics, etc., paving the way for a plethora of emerging applications from drug delivery to living cells, to new methods of nanofabrication. In this Letter we provide novel type of optical manipulation driven by nonlinear effects and laying on the interface between classical optomechanics and non-linear optics. The formation, stability and the dynamics of optical dissipative solitary waves interacting with dielectric nanoparticles are studied theoretically. A mathematical model describing the optical field and the particles are proposed and the stationary solutions in the form of localized optical waves interacting with nanoparticles are found, their bifurctations are studied. It is shown that the linear stability of the solitary waves is affected by the particles but there are regions in the parameter space where the solitons remain stable. The dynamics of the solitary waves with trapped nanoparticles under the action of the inhomogeneous pump is also studied.


title: Electron transport and electric field simulations in two-phase detectors with THGEM electrodes

abstract: One of the main features of two-phase detectors with electroluminescence (EL) gap being developed in our laboratory for dark matter search is the extensive use of THGEMs (Thick Gas Electron Multipliers). In various versions of the detector, the THGEMs are used as electrodes in the gas and liquid phases to form the drift, electron emission and EL regions, as well as for avalanche amplification of a signal in the gas phase. In this work the simulations of the electric field and electron transport through such THGEM electrodes were performed. In the liquid phase, these simulations allowed to determine the optimal parameters, such as the hole diameter of THGEM and applied voltage across it, that can provide effective transmission of the electrons from the drift region to that of the EL gap. In the gas phase, the effect of the THGHEM voltage on the electric field uniformity in the EL gap was studied.


title: On the bounded cohomology for ergodic nonsingular actions of amenable groups

abstract: Let $\Gamma$ be an amenable countable discrete group. Fix an ergodic free nonsingular action of $\Gamma$ on a nonatomic standard probability space. Let $G$ be a compactly generated locally compact second countable group such that the closure of the group of inner automorphisms of $G$ is compact in the natural topology. It is shown that there exists a {\it bounded} ergodic $G$-valued cocycle of $\Gamma$.


title: Design and Results of the Second International Competition on Computational Models of Argumentation

abstract: Argumentation is a major topic in the study of Artificial Intelligence. Since the first edition in 2015, advancements in solving (abstract) argumentation frameworks are assessed in competition events, similar to other closely related problem solving technologies. In this paper, we report about the design and results of the Second International Competition on Computational Models of Argumentation, which has been jointly organized by TU Dresden (Germany), TU Wien (Austria), and the University of Genova (Italy), in affiliation with the 2017 International Workshop on Theory and Applications of Formal Argumentation. This second edition maintains some of the design choices made in the first event, e.g. the I/O formats, the basic reasoning problems, and the organization into tasks and tracks. At the same time, it introduces significant novelties, e.g. three additional prominent semantics, and an instance selection stage for classifying instances according to their empirical hardness.


title: Exploring the pattern of the Galactic HI foreground of GRBs with the ATCA

abstract: The afterglow of a gamma ray burst (GRB) can give us valuable insight into the properties of its host galaxy. To correctly interpret the spectra of the afterglow we need to have a good understanding of the foreground interstellar medium (ISM) in our own Galaxy. The common practice to correct for the foreground is to use neutral hydrogen (HI) data from the Leiden/Argentina/Bonn (LAB) survey. However, the poor spatial resolution of the single dish data may have a significant effect on the derived column densities. To investigate this, we present new high-resolution HI observations with the Australia Telescope Compact Array (ATCA) towards 4 GRBs. We combine the interferometric ATCA data with single dish data from the Galactic All Sky Survey (GASS) and derive new Galactic HI column densities towards the GRBs. We use these new foreground column densities to fit the Swift XRT X-ray spectra and calculate new intrinsic hydrogen column density values for the GRB host galaxies. We find that the new ATCA data shows higher Galactic HI column densities compared to the previous single dish data, which results in lower intrinsic column densities for the hosts. We investigate the line of sight optical depth near the GRBs and find that it may not be negligible towards one of the GRBs, which indicates that the intrinsic hydrogen column density of its host galaxy may be even lower. In addition, we compare our results to column densities derived from far-infrared data and find a reasonable agreement with the HI data.


title: High-throughput computational screening for solid-state Li-ion conductors

abstract: We present a computational screening of experimental structural repositories for fast Li-ion conductors, with the goal of finding new candidate materials for application as solid-state electrolytes in next-generation batteries. We start from ~1400 unique Li-containing materials, of which ~900 are insulators at the level of density-functional theory. For those, we calculate the diffusion coefficient in a highly automated fashion, using extensive molecular dynamics simulations on a potential energy surface (the recently published pinball model) fitted on first-principles forces. The ~130 most promising candidates are studied with full first-principles molecular dynamics, first at high temperature and then more extensively for the 78 most promising candidates. The results of the first-principles simulations of the candidate solid-state electrolytes found are discussed in detail.


title: A note on the normal filters extension property

abstract: We show that if $\lambda^{<\kappa} = \lambda$ and every normal filter on $P_\kappa\lambda$ can be extended to a $\kappa$-complete ultrafilter then so does every $\kappa$-complete filter on $\lambda$. This answers a question of Gitik.


title: Nonparametric Bayesian estimation of a concave distribution function with mixed interval censored data

abstract: Assume we observe a finite number of inspection times together with information on whether a specific event has occurred before each of these times. Suppose replicated measurements are available on multiple event times. The set of inspection times, including the number of inspections, may be different for each event. This is known as mixed case interval censored data. We consider Bayesian estimation of the distribution function of the event time while assuming it is concave. We provide sufficient conditions on the prior such that the resulting procedure is consistent from the Bayesian point of view. We also provide computational methods for drawing from the posterior and illustrate the performance of the Bayesian method in both a simulation study and two real datasets.


title: Uncertainty-Driven Semantic Segmentation through Human-Machine Collaborative Learning

abstract: Deep learning-based approaches achieve state-of-the-art performance in the majority of image segmentation benchmarks. However, training of such models requires a sizable amount of manual annotations. In order to reduce this effort, we propose a method based on conditional Generative Adversarial Network (cGAN), which addresses segmentation in a semi-supervised setup and in a human-in-the-loop fashion. More specifically, we use the discriminator to identify unreliable slices for which expert annotation is required and use the generator in the GAN to synthesize segmentations on unlabeled data for which the model is confident. The quantitative results on a conventional standard benchmark show that our method is comparable with the state-of-the-art fully supervised methods in slice-level evaluation requiring far less annotated data.


title: Pairing in the Two-Dimensional Hubbard Model from Weak to Strong Coupling

abstract: The Hubbard model is the simplest model that is believed to exhibit superconductivity arising from purely repulsive interactions, and has been extensively applied to explore a variety of unconventional superconducting systems. Here we study the evolution of the leading superconducting instabilities of the single-orbital Hubbard model on a two-dimensional square lattice as a function of onsite Coulomb repulsion $U$ and band filling by calculating the irreducible particle-particle scattering vertex obtained from dynamical cluster approximation (DCA) calculations, and compare the results to both perturbative Kohn-Luttinger (KL) theory as well as the widely used random phase approximation (RPA) spin-fluctuation pairing scheme. Near half-filling we find remarkable agreement of the hierarchy of the leading pairing states between these three methods, implying adiabatic continuity between weak- and strong-coupling pairing solutions of the Hubbard model. The $d_{x^2-y^2}$-wave instability is robust to increasing $U$ near half-filling as expected. Away from half filling, the predictions of KL and RPA at small $U$ for transitions to other pair states agree with DCA at intermediate $U$ as well as recent diagrammatic Monte Carlo calculations. RPA results fail only in the very dilute limit, where it yields a $d_{xy}$ ground state instead of a $p$-wave state established by diagrammatic Monte Carlo and low-order perturbative methods, as well as our DCA calculations. We discuss the origins of this discrepancy, highlighting the crucial role of the vertex corrections neglected in the RPA approach. Overall, comparison of the various methods over the entire phase diagram strongly suggests a smooth crossover of the superconducting interaction generated by local Hubbard interactions between weak and strong coupling.


title: Effective interactions in the sd shell

abstract: We perform a quantitative study of the microscopic effective shell-model interactions in the valence sd shell, obtained from modern nucleon-nucleon potentials, chiral N3LO, JISP16 and Daejeon16, using No-Core Shell-Model wave functions and the Okubo-Lee-Suzuki transformation. We investigate the monopole properties of those interactions in comparison with the phenomenological universal sd-shell interaction, USDB. Theoretical binding energies and low-energy spectra of O isotopes and of selected sd-shell nuclei, are presented. We conclude that there is a noticeable improvement in the quality of the effective interaction when it is derived from the Daejeon16 potential. We show that its proton-neutron centroids are consistent with those from USDB. We then propose monopole modifications of the Daejeon16 centroids in order to provide an adjusted interaction yielding significantly improved agreement with the experiment. A spin-tensor decomposition of two-body effective interactions is applied in order to extract more information on the structure of the centroids and to understand the reason for deficiencies arising from our current theoretical approximations. The issue of the possible role of the three-nucleon forces is addressed.


title: Secure Transmission Strategy for Intelligent Reflecting Surface Enhanced Wireless System

abstract: In this paper, we investigate the design of secure transmission frameworks with an intelligent reflecting surface (IRS). Our design aims to minimize the system energy consumption in cases of rank-one and full-rank access point (AP)-IRS links. To facilitate the design, the problem is divided into two parts: design of beamforming vector at AP and phase shift at IRS. In the rank-one channel model, the beamforming vector design and phase shift design are independent. A closed-form expression of beamforming vector is derived. Meanwhile, some algorithms, including the semidefinite relaxation algorithm and projected gradient algorithm, are taken to solve the phase shift problem in the case of instantaneous channel, and in the statistical channel model, the impact of phase shift on the overall system is analyzed. However, since beamforming and phase shift depend on each other in the full-rank model, we refer to conventional wiretap model and utilize an eigenvalue-based algorithm to obtain beamforming vector, while the aforementioned two phase optimization schemes are also applied. Simulation results show that the IRS-enhanced system is envisioned to improve physical layer security.


title: Global well-posedness of the Navier-Stokes equations with Navier-slip boundary conditions in a strip domain

abstract: This paper is concerned with the existence and uniqueness of the strong solution to the incompressible Navier-Stokes equations with Navier-slip boundary conditions in a two-dimensional strip domain where the slip coefficients may not have defined sign. In the meantime, we also establish a number of Gagliardo-Nirenberg inequalities in the corresponding Sobolev spaces which will be applicable to other similar situations.


title: Design of Ambient Backscatter Training for Wireless Power Transfer

abstract: Wireless power transfer (WPT) using energy beamforming is a promising solution for low power Internet of Things (IoT) devices. In this work, we consider WPT from an energy transmitter (ET) employing retrodirective WPT using a large phased antenna array to an energy receiver (ER) capable of ambient backscatter. The advantage of retrodirective WPT is that no explicit channel estimation is needed at the ET and the use of ambient backscattering eliminates the need for active transmission at the ER. We propose a training sequence design, i.e., pattern of varying the reflection coefficient at the ER, to eliminate the direct-link interference from the ambient source. We show that when the ambient symbol duration is known, the ambient interference is fully cancelled by the proposed design. We analytically model the system and find the average harvested power at the ER considering Nakagami-$m$ fading channels and non-linear energy harvesting model. Our results clearly show that the proposed solution is robust to a small timing offset mismatch at the correlator. When interference from undesired neighbouring sources in the ambient environment is not significant, the ER can successfully harvest tens to hundreds of $\mu$W of power, which is an important improvement for low-power IoT devices.


title: Towards Flops-constrained Face Recognition

abstract: Large scale face recognition is challenging especially when the computational budget is limited. Given a \textit{flops} upper bound, the key is to find the optimal neural network architecture and optimization method. In this article, we briefly introduce the solutions of team 'trojans' for the ICCV19 - Lightweight Face Recognition Challenge~\cite{lfr}. The challenge requires each submission to be one single model with the computational budget no higher than 30 GFlops. We introduce a searched network architecture `Efficient PolyFace' based on the Flops constraint, a novel loss function `ArcNegFace', a novel frame aggregation method `QAN++', together with a bag of useful tricks in our implementation (augmentations, regular face, label smoothing, anchor finetuning, etc.). Our basic model, `Efficient PolyFace', takes 28.25 Gflops for the `deepglint-large' image-based track, and the `PolyFace+QAN++' solution takes 24.12 Gflops for the `iQiyi-large' video-based track. These two solutions achieve 94.198\% @ 1e-8 and 72.981\% @ 1e-4 in the two tracks respectively, which are the state-of-the-art results.


title: On the detection and classification of material defects in crystalline solids after energetic particle impact simulations

abstract: We present a fingerprint-like method to analyze material defects after energetic particle irradiation by computing a rotation invariant descriptor vector for each atom of a given sample. For ordered solids this new method is easy to use, does not require extreme computational resources, and is largely independent of the sample material and sample temperature. As illustration we applied the method to molecular dynamics simulations of deuterated and pristine tungsten lattices at 300 K using a primary knock-on atom (PKA) of 1 keV with different velocity directions to emulate a neutron bombardment process. The number of W atoms, that are affected after the collision cascade, have been quantified with the presented approach. At first atoms at regular lattice positions as well as common defect types like interstitials and vacancies have been identified using precomputed descriptor vectors. A principal component analysis (PCA) is used to identify previously overlooked defect types and to derive the corresponding local atomic structure. A comparison of the irradiation effects for deuterated and pristine tungsten samples revealed that deuterated samples exhibit consistently more defects than pristine ones.


title: Torsion growth over cubic fields of rational elliptic curves with complex multiplication

abstract: This article is a contribution to the project of classifying the torsion growth of elliptic curve upon base-change. In this article we treat the case of elliptic curve defined over the rationals with complex multiplication. For this particular case, we give a description of the possible torsion growth over cubic fields and a completely explicit description of this growth in terms of some invariants attached to a given elliptic curve.


title: A proof of the generalized Khavinson conjecture

abstract: We give a complete proof of the generalized Khavinson conjecture which states that, for bounded harmonic functions on the unit ball of $\mathbb{R}^n$, the sharp constants in the estimates for their radial derivatives and for their gradients coincide.


title: Generalized Integration Operators on Hardy Spaces

abstract: We introduce a natural generalization of a well studied integration operator acting on the family of Hardy spaces in the unit disc. We study the boundedness and compactness properties of the operator and finally we use these results to give simple proofs of a result of R\"atty\"a and another result by Cohn.


title: Explicit characterization of the torsion growth of rational elliptic curves with complex multiplication over quadratic fields

abstract: In a series of papers we classify the possible torsion structures of rational elliptic curves base-extended to number fields of a fixed degree. In this paper we turn our attention to the question of how the torsion of an elliptic curve with complex multiplication defined over the rationals grows over quadratic fields. We go further and we give an explicit characterization of the quadratic fields where the torsion grows in terms of some invariants attached to the curve.


title: Agreement testing theorems on layered set systems

abstract: We introduce a framework of layered subsets, and give a sufficient condition for when a set system supports an agreement test. Agreement testing is a certain type of property testing that generalizes PCP tests such as the plane vs. plane test. Previous work has shown that high dimensional expansion is useful for agreement tests. We extend these results to more general families of subsets, beyond simplicial complexes. These include - Agreement tests for set systems whose sets are faces of high dimensional expanders. Our new tests apply to all dimensions of complexes both in case of two-sided expansion and in the case of one-sided partite expansion. This improves and extends an earlier work of Dinur and Kaufman (FOCS 2017) and applies to matroids, and potentially many additional complexes. - Agreement tests for set systems whose sets are neighborhoods of vertices in a high dimensional expander. This family resembles the expander neighborhood family used in the gap-amplification proof of the PCP theorem. This set system is quite natural yet does not sit in a simplicial complex, and demonstrates some versatility in our proof technique. - Agreement tests on families of subspaces (also known as the Grassmann poset). This extends the classical low degree agreement tests beyond the setting of low degree polynomials. Our analysis relies on a new random walk on simplicial complexes which we call the ``complement random walk'' and which may be of independent interest. This random walk generalizes the non-lazy random walk on a graph to higher dimensions, and has significantly better expansion than previously-studied random walks on simplicial complexes.


title: The evolution of the electron number density in the coma of comet 67P at the location of Rosetta from 2015 November through 2016 March

abstract: A comet ionospheric model assuming the plasma to move radially outward with the same bulk speed as the neutral gas and not being subject to severe reduction through dissociative recombination has previously been tested in a series of case studies associated with the Rosetta mission at comet 67P/Churyumov-Gerasimenko. It has been found that at low activity and within several tens of km from the nucleus such models (which originally were developed for such conditions) generally work well in reproducing observed electron number densities, in particular when plasma production through both photoionization and electron-impact ionization is taken into account. Near perihelion, case studies have, on the contrary, showed that applying similar assumptions overestimates the observed electron number densities at the location of Rosetta. Here we compare ROSINA/COPS driven model results with RPC/MIP derived electron number densities for an extended time period (2015 November through 2016 March) during the post-perihelion phase with southern summer/spring. We observe a gradual transition from a state when the model grossly overestimates (by more than a factor of 10) the observations to being in reasonable agreement during 2016 March.


title: Relationship-Aware Spatial Perception Fusion for Realistic Scene Layout Generation

abstract: The significant progress on Generative Adversarial Networks (GANs) have made it possible to generate surprisingly realistic images for single object based on natural language descriptions. However, controlled generation of images for multiple entities with explicit interactions is still difficult to achieve due to the scene layout generation heavily suffer from the diversity object scaling and spatial locations. In this paper, we proposed a novel framework for generating realistic image layout from textual scene graphs. In our framework, a spatial constraint module is designed to fit reasonable scaling and spatial layout of object pairs with considering relationship between them. Moreover, a contextual fusion module is introduced for fusing pair-wise spatial information in terms of object dependency in scene graph. By using these two modules, our proposed framework tends to generate more commonsense layout which is helpful for realistic image generation. Experimental results including quantitative results, qualitative results and user studies on two different scene graph datasets demonstrate our proposed framework's ability to generate complex and logical layout with multiple objects from scene graph.


title: A Novel Visible Light Communication System Prototype Based on SiPM Receiver

abstract: Si-Photomultiplier (SiPM) has several attracting features, which can be helpful in the communication field, such as high photon detection efficiency, fast transient response, excellent timing resolution, and wide spectral range. In this paper, we compare SiPM with photodiode (PD), Avalanche photodiodes (APD), and Photomultiplier tube (PMT) in terms of the transformation related performance, and then implement Si-Photomultiplier (SiPM) based visible light communication (VLC) system driven with visible light light-emitting diode (LED). The system throughout ability, transmission rate, data reconstruction, and required AD sample rate are evaluated. The encouraging results suggest that the SiPM receiver has great application potentials, such as optical wireless communication systems and light fidelity, in which a wide bandwidth of the sensor response is important to enhance the transfer rate.


title: Open-Source Projects and their Collaborative Development Workflows

abstract: For teams using distributed version control systems, the right collaborative development workflows can help maintaining the long-term quality of project repositories and improving work efficiency. Despite the fact that the workflows are important, empirical evidence on how they are used and what impact they make on the project repositories is scarce. Most suggestions on the use of workflows are merely expert opinions. Often, there is only some anecdotal evidence that underpins those advices. As a result, we do not know what workflows are used, how the developers are using them, and what impact do they have on the project repositories. This work investigates the various collaborative development workflows in eight major open-source projects, identifies and analyses the workflows together with the structures of their project repositories, discusses their similarities and differences, and lays out the future works.


title: Temperatures and chemical potentials at kinetic freeze-out in relativistic heavy ion collisions from coarse grained transport simulations

abstract: Using the UrQMD/coarse graining approach we explore the kinetic freeze-out stage in central Au + Au collisions at various energies. These studies allow us to obtain detailed information on the thermodynamic properties (e.g. temperature and chemical potential) of the system during the kinetic decoupling stage. We explore five relevant collision energies in detail, ranging from $\sqrt{s_{NN}}=2.4\,\mathrm{GeV}$ (GSI-SIS) to $\sqrt{s_{NN}}=200\,\mathrm{GeV}$ (RHIC). By adopting a standard Hadron Resonance Gas equation of state, we determine the average temperature $\langle T \rangle$ and the average baryon chemical potential $\langle\mu_{\mathrm{B}}\rangle$ on the space-time hyper-surface of last interaction. The results highlight the nature of the kinetic freeze-out as a continuous process. This differential decoupling is an important aspect often missed when summarizing data as single points in the phase diagram as e.g. done in Blast-Wave fits. We compare the key properties of the system derived by using our approach with other models and we briefly review similarities and differences.


title: Second-order perturbation theory with spin-symmetry projected Hartree-Fock

abstract: We propose two different schemes for second-order perturbation theory with spin-projected Hartree-Fock. Both schemes employ the same ansatz for the first-order wave function, which is a linear combination of spin-projected configurations. The first scheme is based on the normal-ordered projected Hamiltonian, which is partitioned into the Fock-like component and the remaining two-particle-like contribution. In the second scheme, the generalized Fock operator is used to construct a spin-free zeroth-order Hamiltonian. To avoid the intruder state problem, we adopt the level-shift techniques frequently used in other multi-reference perturbation theories. We describe both real and imaginary shift schemes and compare their performances on small systems. Our results clearly demonstrate the superiority of the second perturbation scheme with an imaginary shift over other proposed approaches in various aspects, giving accurate potential energy curves, spectroscopic constants, and singlet-triplet splitting energies. We also apply these methods to the calculation of spin gaps of transition metal complexes as well as the potential energy curve of the chromium dimer.


title: Thermoelastic equation of state and melting of Mg metal at high pressure and high temperature

abstract: The p-V-T equation of state of magnesium metal has been measured up to 20 GPa and 1500 K using both multianvil and opposite anvil techniques combined with synchrotron X-ray diffraction. To fit the experimental data, the model of Anderson-Gr\"uneisen has been used with fixed parameter {\delta}T. The 300-K bulk modulus of B0 = 32.5(1) GPa and its first pressure derivative, B0' = 3.73(2), have been obtained by fitting available data up to 20 GPa to Murnaghan equation of state. Thermal expansion at ambient pressure has been described using second order polynomial with coefficients a = 25(2)x10-6 K-1 and b = 9.4(4)x10-9 K-2. The parameter describing simultaneous pressure and temperature impact on thermal expansion coefficient (and, therefore, volume) is {\delta}T = 1.5(5). The good agreement between fitted and experimental isobars has been achieved to relative volumes of 0.75. The Mg melting observed by X-ray diffraction and in situ electrical resistivity measurements confirms previous results and additionally confirms the p-T estimations in the vicinity of melting.


title: The Influence of Molecular Architecture on the Dynamics of H-Bonded Supramolecular Structures in Phenyl-Propanols

abstract: The relaxation behaviour of monohydroxy alcohols (monoalcohols) in broadband dielectric spectroscopy (BDS) is usually dominated by the Debye process. This process is regarded as a signature of the dynamics of transient supramolecular structures formed by H-bonding. In phenyl propanols the steric hindrance of the phenyl ring is assumed to influence chain formation and thereby to decrease or even suppress the intensity of the Debye process. In the present paper we study this effect in a systematic series of structural isomers of phenyl-1-propanol in comparison with 1-propanol. It turns out that by combining BDS, Photon Correlation Spectroscopy (PCS) and calorimetry the dynamics of supramolecular structures can be uncovered. While light scattering spectra show the same spectral shape of the main relaxation for all investigated monoalcohols, the dielectric spectra differ in the Debye contribution. Thus it becomes possible for the first time to unambiguously disentangle both relaxation modes in the dielectric spectra. It turns out that the Debye relaxation gets weaker the closer the position of phenyl ring is to the hydroxy group, in accordance with the analysis of the Kirkwood-Fr\"ohlich correlation factor. Even in 1-phenyl-1-propanol, which has the phenyl group attached at the closest position to the hydroxy group, we can separate a Debye-contribution in the dielectric spectrum. From this we conclude that hydrogen bonds are not generally suppressed by the increased steric hindrance of the phenyl ring, but rather an equilibrium of ring and chain-like structures is shifted towards ring-like shapes on shifting the phenyl ring closer to the hydroxy group. Moreover, the shape of the alpha-relaxation as monitored by PCS and BDS remains unaffected by the degree of hydrogen bonding and is the same among the investigated alcohols.


title: KLEESPECTRE: Detecting Information Leakage through Speculative Cache Attacks via Symbolic Execution

abstract: Spectre attacks disclosed in early 2018 expose data leakage scenarios via cache side channels. Specifically, speculatively executed paths due to branch mis-prediction may bring secret data into the cache which are then exposed via cache side channels even after the speculative execution is squashed. Symbolic execution is a well-known test generation method to cover program paths at the level of the application software. In this paper, we extend symbolic execution with modelingof cache and speculative execution. Our tool KLEESPECTRE, built on top of the KLEE symbolic execution engine, can thus provide a testing engine to check for the data leakage through cache side-channel as shown via Spectre attacks. Our symbolic cache model can verify whether the sensitive data leakage due to speculative execution can be observed by an attacker at a given program point. Our experiments show that KLEESPECTREcan effectively detect data leakage along speculatively executed paths and our cache model can further make the leakage detection much more precise.


title: Dynamical environments of relativistic binaries: The phenomenon of resonance shifting

abstract: In this article, we explore both numerically and analytically how the dynamical environments of mildly relativistic binaries evolve with increasing the general relativity factor $\gamma$ (the normalized inverse of the binary size measured in the units of the gravitational radius corresponding to the total mass of the system). Analytically, we reveal a phenomenon of the relativistic shifting of mean-motion resonances: on increasing $\gamma$, the resonances between the test particle and the central binary shift, due to the relativistic variation of the mean motions of the primary and secondary binaries and the relativistic advance of the tertiary's pericenter. To exhibit the circumbinary dynamics globally, we numerically integrate equations of the circumbinary motion of a test particle, and construct relevant scans of the maximum Lyapunov exponents and stability diagrams in the "pericentric distance -- eccentricity" plane of initial conditions. In these scans and diagrams, regular and chaotic domains are identified straightforwardly. Our analytical and numerical estimates of the shift size are in a good agreement. Prospects for identification of the revealed effect in astronomical observations are discussed.


title: Optimal Control and Stabilization for Networked Control Systems with Asymmetric Information

abstract: This paper considers the optimal control and stabilization problems for networked control systems (NCSs) with asymmetric information. In this NCSs model, the remote controller can receive packet-dropout states of the plant, and the available information for the embedded controller are observations of states and packet-dropout states sent from the remote controller. The two controllers operate the plant simultaneously to make the quadratic performance minimized and stabilize the linear plant. For the finite-horizon case, since states of the plant cannot be obtained perfectly, we develop the optimal estimators for the embedded and remote controllers based on asymmetric information respectively. Then we give the necessary and sufficient condition for the optimal control based on the solution to the forward-backward stochastic difference equations (FBSDEs). For the infinite-horizon case, on one hand, the necessary and sufficient condition is given for the stabilization in the mean-square sense of the system without the additive noise. On the other hand, it is shown that the system with the additive noise is bounded in the mean-square sense if and only if there exist the solutions to the two coupled algebraic Riccati equations. Numerical examples on the unmanned underwater vehicle are presented to show the effectiveness of the given algorithm.


title: The third partial cohomology group and existence of extensions of semilattices of groups by groups

abstract: We introduce the concept of a partial abstract kernel associated to a group G and a semilattice of groups A and relate the partial cohomology group H^3(G,C(A)) with the obstructions to the existence of admissible extensions of A by G which realize the given abstract kernel. We also show that if such extensions exist then they are classified by H^2(G,C(A)).


title: Theoretical and numerical considerations of the assumptions behind triple closures in epidemic models on networks

abstract: Networks are widely used to model the contact structure within a population and in the resulting models of disease spread. While networks provide a high degree of realism, the analysis of the exact model is out of reach and even numerical methods fail for modest network size. Hence, mean-field models (e.g. pairwise) focusing on describing the evolution of some summary statistics from the exact model gained a lot of traction over the last few decades. In this paper we revisit the problem of deriving triple closures for pairwise models and we investigate in detail the assumptions behind some of the well-known closures as well as their validity. Using a top-down approach we start at the level of the entire graph and work down to the level of triples and combine this with information around nodes and pairs. We use our approach to derive many of the existing closures and propose new ones and theoretically connect the two well-studied models of multinomial link and Poisson link selection. The theoretical work is backed up by numerical examples to highlight where the commonly used assumptions may fail and provide some recommendations for how to choose the most appropriate closure when using graphs with no or modest degree heterogeneity.


title: Interstellar dust along the line of sight of GX 3+1

abstract: Studying absorption and scattering of X-ray radiation by interstellar dust grains allows us to access the physical and chemical properties of cosmic grains even in the densest regions of the Galaxy. We aim at characterising the dust silicate population which presents clear absorption features in the energy band covered by the Chandra X-ray Observatory. Through these absorption features, in principle, it is possible to infer the size distribution, composition, and structure of silicate in the interstellar medium. In particular, in this work, we investigate the magnesium and silicon K-edges. By using newly acquired synchrotron measurements, we build X-ray extinction models for fifteen dust candidates. These models, adapted for astrophysical analysis, and implemented in the Spex spectral fitting program, are used to reproduce the dust absorption features observed in the spectrum of the bright low mass X-ray binary GX 3+1 which is used as a background source. With the simultaneous analysis of the two edges we test two different size distributions of dust: one corresponding to the standard Mathis-Rumpl-Nordsieck model and one considering larger grains ($n(a) \propto a_i^{-3.5}$ with $0.005<a_1<0.25$ and $0.05<a_2<0.5$, respectively, with $a$ the grain size). These distributions may be representative of the complex Galactic region towards this source. We find that up to $70\%$ of dust is constituted by amorphous olivine. We discuss the crystallinity of the cosmic dust found along this line of sight. Both magnesium and silicon are highly depleted into dust ($\delta_{Z} = 0.89\ \rm{and}\ 0.94$, respectively) while their total abundance does not depart from solar values.


title: The law of proportionate growth and its siblings: Applications in agent-based modeling of socio-economic systems

abstract: The law of proportionate growth simply states that the time dependent change of a quantity $x$ is proportional to $x$. Its applicability to a wide range of dynamic phenomena is based on various assumptions for the proportionality factor, which can be random or deterministic, constant or time dependent. Further, the dynamics can be combined with additional additive growth terms, which can be constants, aggregated quantities, or interaction terms. This allows to extent the core dynamics into an agent-based modeling framework with vast applications in social and economic systems. The paper adopts this overarching perspective to discuss phenomena as diverse as saturated growth, competition, stochastic growth, investments in random environments, wealth redistribution, opinion dynamics and the wisdom of crowds, reputation dynamics, knowledge growth, and the combination with network dynamics.


title: Dark Matter Signals on a Laser Interferometer

abstract: WIMPs are promising dark matter candidates. A WIMP occasionally collides with a mirror equipped with interferometric gravitational wave detectors such as LIGO, Virgo, KAGRA and the Einstein Telescope (ET). When WIMPs collide with a mirror of an interferometer, we expect that characteristic motions of the pendulum and mirror are excited, and those signals could be extracted by highly sophisticated sensors developed for gravitational wave detection. We analyze the motions of the pendulum and mirror, and estimate the detectability of these motions. For the "Thin-ET" detector, the signal-to-noise ratio may be $ 1.7 \left( \frac{ m_{\rm{DM}} }{ 100 \rm{GeV} } \right) $, where $ m_{\rm{DM}} $ is the mass of a WIMP. We may set a more strict upper limit on the cross section between a WIMP and a nucleon than the limits obtained by other experiments so far when $ m_{\rm{DM}} $ is approximately lower than 0.2 GeV. We find an order-of-magnitude improvement in the upper limit around $ m_{\rm{DM}} = 0.2 {\rm{GeV}} $.


title: Potential automorphy of $\widehat{G}$-local systems

abstract: Vincent Lafforgue has recently made a spectacular breakthrough in the setting of the global Langlands correspondence for global fields of positive characteristic, by constructing the `automorphic--to--Galois' direction of the correspondence for an arbitrary reductive group $G$. We discuss a result that starts with Lafforgue's work and proceeds in the opposite (`Galois--to--automorphic') direction.


title: Hermitizing the HAL QCD potential in the derivative expansion

abstract: A formalism is given to hermitize the HAL QCD potential, which needs to be non-hermitian except the leading order (LO) local term in the derivative expansion as the Nambu-Bethe-Salpeter (NBS) wave functions for different energies are not orthogonal to each other. It is shown that the non-hermitian potential can be hermitized order by order to all orders in the derivative expansion. In particular, the next-to-leading order (NLO) potential can be exactly hermitized without approximation. The formalism is then applied to a simple case of $\Xi \Xi (^{1}S_{0}) $ scattering, for which the HAL QCD calculation is available to the NLO. The NLO term gives relatively small corrections to the scattering phase shift and the LO analysis seems justified in this case. We also observe that the local part of the hermitized NLO potential works better than that of the non-hermitian NLO potential. The hermitian version of the HAL QCD potential is desirable for comparing it with phenomenological interactions and also for using it as a two-body interaction in many body systems.


title: Economic Evaluation of the Portuguese PV and Energy Storage Residential Applications

abstract: In the residential sector, energy micro-generation and its intelligent management have been creating novel energy market models, considering new concepts of energy use and distribution, in which the prosumer has an active role in the energy generation and its self-consumption. The configuration of the solar photovoltaic system with a battery energy storage in Portugal is unclear in the technical, energetic and mostly in the economical point of view. The energy generation and consumption management, jointly with the battery operation, have a great influence in the profitability value of the configuration. The present work evaluates different photovoltaic configurations with and without energy storage for the normal low voltage C consumer profile, for a contracted power of 3.45 kVA, to evaluate the cost-effectiveness of the systems, framed in the regulation in force in Portugal, the decree-law 153/2014, which promotes the micro-generation and self-consumption. The analysis consists of three different geographical locations in the country, considering distinct electric tariffs. These are relevant parameters in the choice of the configuration, concluding that although the solar photovoltaic system by itself is already economical presently, its integration with battery energy storage is not in most of the configurations, however it is already possible to find profitable PV and battery configurations, considering all the most relevant criteria, and supported by good energy management.


title: Gibbs Phenomena for $L^q$-Best Approximation in Finite Element Spaces -- Some Examples

abstract: Recent developments in the context of minimum residual finite element methods are paving the way for designing finite element methods in non-standard function spaces. This, in particular, permits the selection of a solution space in which the best approximation of the solution has desirable properties. One of the biggest challenges in designing finite element methods are non-physical oscillations near thin layers and jump discontinuities. In this article we investigate Gibbs phenomena in the context of $L^q$-best approximation of discontinuities in finite element spaces with $1\leq q<\infty$. Using carefully selected examples, we show that on certain meshes the Gibbs phenomenon can be eliminated in the limit as $q$ tends to $1$. The aim here is to show the potential of $L^1$ as a solution space in connection with suitably designed meshes.


title: Guided Random Forest and its application to data approximation

abstract: We present a new way of constructing an ensemble classifier, named the Guided Random Forest (GRAF) in the sequel. GRAF extends the idea of building oblique decision trees with localized partitioning to obtain a global partitioning. We show that global partitioning bridges the gap between decision trees and boosting algorithms. We empirically demonstrate that global partitioning reduces the generalization error bound. Results on 115 benchmark datasets show that GRAF yields comparable or better results on a majority of datasets. We also present a new way of approximating the datasets in the framework of random forests.


title: Pattern Formation Study of an Eco-epidemiological Model with Cannibalism and Disease in Predator Population

abstract: Pattern formation analysis of eco-epidemiological models with cannibalism and disease has been less explored in the literature. Therefore, motivated by this, we have proposed a diffusive eco-epidemiological model and performed pattern formation analysis in the model system. Sufficient conditions for local asymptotic stability and global asymptotic stability for the constant positive steady state are obtained by linearization and Lyapunov function technique. A priori estimate for the positive steady state is obtained for the nonexistence of the nonconstant positive solution using Cauchy and Poincar\'e inequality. The existence of the nonconstant positive steady states is studied using Leray-Schauder degree theory. The importance of the diffusive coefficients which are responsible for the appearance of stationary patterns is observed. Pattern formation is done using numerical simulation. Further, the effect of the cannibalism and disease are observed on the dynamics of the proposed model system. The movements of prey and susceptible predator plays a significant role in pattern formation. These movements cause stationary and non-stationary patterns. It is observed that an increment in the movement of the susceptible predator as well as cannibalistic attack rate converts non-Turing patterns to Turing patterns. Lyapunov spectrum is calculated for quantification of stable and unstable dynamics. Non-Turing patterns obtained with parameter set having unstable limit cycle are more interesting and realistic than stationary patterns. Stationary and non-stationary non-Turing patterns are obtained.


title: Spontaneous order in ensembles of rotating magnetic droplets

abstract: Ensembles of elongated magnetic droplets in a rotating field are studied experimentally. In a given range of field strength and frequency the droplets form rotating structures with a triangular order - rotating crystals. A model is developed to describe ensembles of several droplets, taking into account the hydrodynamic interactions between the rotating droplets in the presence of a solid wall below the rotating ensemble. A good agreement with the experimentally observed periodic dynamics for an ensemble of four droplets is obtained. During the rotation, the tips of the elongated magnetic droplets approach close to one another. An expression is derived that gives the magnetic interaction between such droplets by taking into account the coulombian forces between magnetic charges on the droplet tips.


title: Elemental abundances in the center of the Galactic Nuclear Disc

abstract: We have made the first attempt to derive the chemical properties of the Galactic disc at its very central part using high-resolution infrared spectroscopic observations of four classical Cepheids. Those stars are located at Galactocentric distances smaller than 1 kpc. All investigated stars show near-to-solar elemental abundances. By combining these new data with our previous studies, this result suggests that the radial distribution of iron abundance on a logarithmic scale gradually increases from the outskirts of the Galactic disc to Galactocentric distances of about 2-4 kpc, reaching there a maximal value of about +0.4 dex, and then declines sharply to about the solar value at the Galactic Center.


title: Reanalysis of the beam-plasma instability using the Dyson-like equation formalism

abstract: We analyze the problem of the beam-plasma instability via the analytical treatment of the so-called Dyson equation. We first compared the prediction of the model constructed by fixing the electric field amplitude with respect to a N-body Hamiltonian numerical simulation. Then, we demonstrate that the shortcomings of such an analytical formulation must be essentially identified with the breaking-down of the self-consistent evolution of the field and the particle distribution function.


title: On a Nabla Fractional Boundary Value Problem with General Boundary Conditions

abstract: In this article, we consider a nabla fractional boundary value problem with general boundary conditions. Brackins \& Peterson \cite{Br} gave an explicit expression for the corresponding Green's function. Here, we show that this Green's function is nonnegative and obtain an upper bound for its maximum value. Since the expression for the Green's function is complicated, derivation of its properties may not be straightforward. For this purpose, we use a few properties of fractional nabla Taylor monomials. Using the Green's function, we will then develop a Lyapunov-type inequality for the nabla fractional boundary value problem.


title: High speed determination of laser wavelength using Poincar\'e descriptors of speckle

abstract: Laser speckle can provide a powerful tool that may be used for metrology, for example measurements of the incident laser wavelength with a resolution beyond that which may be achieved in a commercial device. However, to realise highest resolution requires advanced multi-variate analysis techniques, which limit the acquisition rate of such a wavemeter. Here we show an arithmetically simple method to measure wavelength changes with dynamic speckle, based on a Poincar\`e descriptor of the speckle pattern. We demonstrate the measurement of wavelength changes at femtometer-level with a measurement time reduced by two orders of magnitude compared to the previous state-of-the-art, which offers promise for applications such as speckle-based laser wavelength stabilisation.


title: Overcoming the speckle correlation limit to achieve a fiber wavemeter with attometer resolution

abstract: The measurement of the wavelength of light using speckle is a promising tool for the realization of compact and precise wavemeters and spectrometers. However, the resolution of these devices is limited by strong correlations between the speckle patterns produced by closely-spaced wavelengths. Here, we show how principal component analysis of speckle images provides a route to overcome this limit. Using this, we demonstrate a compact wavemeter which measures wavelength changes of a stabilized diode laser of 5.3 am, eight orders of magnitude below the speckle correlation limit.


title: Brane Webs and Magnetic Quivers for SQCD

abstract: It is widely considered that the classical Higgs branch of 4d $\mathcal{N}=2$ SQCD is a well understood object. However there is no satisfactory understanding of its structure. There are two complications: (1) the Higgs branch chiral ring contains nilpotent elements, as can easily be checked in the case of $\mathrm{SU}(N)$ with 1 flavour. (2) the Higgs branch as a geometric space can in general be decomposed into two cones with nontrivial intersection, the baryonic and mesonic branches. To study the second point in detail we use the recently developed tool of magnetic quivers for five-brane webs, using the fact that the classical Higgs branch for theories with 8 supercharges does not change through dimensional reduction. We compare this approach with the computation of the hyper-K\"ahler quotient using Hilbert series techniques, finding perfect agreement if nilpotent operators are eliminated by the computation of a so called radical. We study the nature of the nilpotent operators and give conjectures for the Hilbert series of the full Higgs branch, giving new insights into the vacuum structure of 4d $\mathcal{N}=2$ SQCD. In addition we demonstrate the power of the magnetic quiver technique, as it allows us to identify the decomposition into cones, and provides us with the global symmetries of the theory, as a simple alternative to the techniques that were used to date.


title: Logic and the $2$-Simplicial Transformer

abstract: We introduce the $2$-simplicial Transformer, an extension of the Transformer which includes a form of higher-dimensional attention generalising the dot-product attention, and uses this attention to update entity representations with tensor products of value vectors. We show that this architecture is a useful inductive bias for logical reasoning in the context of deep reinforcement learning.


title: Ultra-Low Energy and High Speed LIF Neuron using Silicon Bipolar Impact Ionization MOSFET for Spiking Neural Networks

abstract: Silicon bipolar impact ionization MOSFET offers the potential for realization of leaky integrated fire (LIF) neuron due to the presence of parasitic BJT in the floating body. In this work, we have proposed an L shaped gate bipolar impact ionization MOS (L-BIMOS), with reduced breakdown voltage ($V_{B}$ = 1.68 V) and demonstrated the functioning of LIF neuron based on positive feedback mechanism of parasitic BJT. Using 2-D TCAD simulations, we manifest that the proposed L-BIMOS exhibits a low threshold voltage (0.2 V) for firing a spike, and the minimum energy required to fire a single spike for L-BIMOS is calculated to be 0.18 pJ, which makes proposed device $194\times$ more energy efficient than PD-SOI MOSFET silicon neuron (MOSFET silicon neuron) and $5\times10^{3}$ times more energy efficient than analog/digital circuit based conventional neuron. Furthermore, the proposed L-BIMOS silicon neuron exhibits spiking frequency in the GHz range, when the drain is biased at $V_{DG}$ = 2.0 V.


title: The Origins of the Highest Energy Particles in Nature: where we are and where we go next

abstract: In his Nobel Prize lecture Victor Hess urged that different instruments, working together, should be used to solve the problem of the origin of cosmic rays. I review some of the key developments that have opened up the new fields of direct and indirect multi-messenger astronomy and that are guiding us to the solution of this riddle. I then discuss, very briefly, some of the new instruments that are shortly to come on line and give examples to show the long lead-times from conception to implementation that occur in this field. I conclude with some remarks about very ambitious future projects. The paper is not intended as a review: rather it is an attempt to set down issues discussed in the Hess Memorial Public Lecture given at the 2019 ICRC in Madison, Wisconsin and accessible at www.icrc2019.org.


title: Freezing of a soft-core fluid in a one-dimensional potential: Predictions based on a pressure-balance equation

abstract: Using concepts from classical density functional theory (DFT) we investigate the freezing of a two-dimensional (2D) system of ultra-soft particles in a one-dimensional (1D) external potential; a phenomenon often called laser-induced freezing (LIF). In the first part of the paper, we present numerical results from free minimization of a mean-field density functional for a system of particles interacting via the GEM-4 potential. We show that the system does indeed display a LIF transition, although the interaction potential is markedly different from the cases studied before. We also show that one may consider the (suitably defined) effective density within the potential wells, $\bar{\rho}_{\text{eff}}$, as a control parameter of LIF, rather than the amplitude of the external potential as in the common LIF scenario. In the second part, we suggest a new theoretical description of the onset of LIF which bases on the pressure balance equation relating the pressure tensor and the external potential. Evaluating this equation for the modulated liquid phase at effective density $\bar{\rho}_{\text{eff}}$ and combining it with the (known) stability threshold of the corresponding bulk fluid, we can predict the critical effective density or, equivalently, the potential amplitude related to the onset of LIF. Our approach yields very good results for the model at hand, and it is transferable, in principle, to other model systems.


title: A Method to Learn Embedding of a Probabilistic Medical Knowledge Graph: Algorithm Development

abstract: This paper proposes an algorithm named as PrTransH to learn embedding vectors from real world EMR data based medical knowledge. The unique challenge in embedding medical knowledge graph from real world EMR data is that the uncertainty of knowledge triplets blurs the border between "correct triplet" and "wrong triplet", changing the fundamental assumption of many existing algorithms. To address the challenge, some enhancements are made to existing TransH algorithm, including: 1) involve probability of medical knowledge triplet into training objective; 2) replace the margin-based ranking loss with unified loss calculation considering both valid and corrupted triplets; 3) augment training data set with medical background knowledge. Verifications on real world EMR data based medical knowledge graph prove that PrTransH outperforms TransH in link prediction task. To the best of our survey, this paper is the first one to learn and verify knowledge embedding on probabilistic knowledge graphs.


title: Motion of Particles in Solar and Galactic Systems by Using Neumann Boundary Condition

abstract: A new equation of motion, which is derived previously by imposing Neumann boundary condition on cosmological perturbation equations (Shenavar 2016 a), is investigated. By studying the precession of perihelion, it is shown that the new equation of motion suggests a small, though detectable, correction in orbits of solar system objects. Then a system of particles is surveyed to have a better understanding of galactic structures. Also the general form of the force law is introduced by which the rotation curve and mass discrepancy of axisymmetric disks of stars are derived. In addition, it is suggested that the mass discrepancy as a function of centripetal acceleration becomes significant near a constant acceleration $ 2c_{1}a_{0} $ where $c_{1}$ is the Neumann constant and $ a_{0} = 6.59 \times 10^{-10} $ $m/s^{2}$ is a fundamental acceleration. Furthermore, it is shown that a critical surface density equal to $ \sigma_{0}=a_{0}/G $, in which G is the Newton gravitational constant, has a significant role in rotation curve and mass discrepancy plots. Also, the specific form of NFW mass density profile at small radii, $ \rho \propto 1/r $, is explained too. Finally, the present model will be tested by using a sample of 39 LSB galaxies for which we will show that the rotation curve fittings are generally acceptable. The derived mass to light ratios too are found within the plausible bound except for the galaxy F571-8.


title: Dislocation density distribution at slip band-grain boundary intersections

abstract: We study the mechanisms of slip transfer at a grain boundary, in titanium, using Differential Aperture X-ray Laue Micro-diffraction (DAXM). This 3D characterization tool enables measurement of the full (9-component) Nye lattice curvature tensor and calculation of the density of geometrically necessary dislocations (GNDs). We observe dislocation pile-ups at a grain boundary, as the neighbor grain prohibits easy passage for dislocation transmission. This incompatibility results in local micro-plasticity within the slipping grain, near to where the slip planes intersect the grain boundary, and we observe bands of GNDs lying near the grain boundary. We observe that the distribution of GNDs can be significantly influenced by the formation of grain boundary ledges that serve as secondary dislocation sources. This observation highlights the non-continuum nature of polycrystal deformation and helps us understand the higher order complexity of grain boundary characteristics.


title: ALMA images the many faces of the NGC1068 torus and its surroundings

abstract: We investigate the fueling and the feedback of nuclear activity in the Seyfert 2 galaxy NGC1068, by studying the distribution and kinematics of molecular gas in the torus and its connections. We use ALMA to image the emission of a set of molecular gas tracers in the circumnuclear disk (CND) and the torus of the galaxy using the CO(2-1), CO(3-2) and HCO+(4-3) lines with spatial resolutions ~0.03"-0.09"(2-6pc). ALMA resolves the CND as an asymmetric ringed disk of D~400pc-size and mass of ~1.4x10^8 Msun. The inner edge of the ring is associated with edge-brightened arcs of NIR polarized emission identified with the working surface of the AGN ionized wind. ALMA proves the existence of a molecular torus of M_torus ~ 3x10^5Msun, which extends over a large range of spatial scales D=10-30pc around the central engine. The new observations evidence the density radial stratification of the torus: the HCO+(4-3) torus, with a full size D=11pc, is a factor of 2-3 smaller than its CO(2-1) and CO(3-2) counterparts, which have full-sizes D=26pc and D=28pc, respectively. The torus is connected to the CND through a network of gas streamers. The kinematics of molecular gas show strong departures from circular motions in the torus, the gas streamers, and the CND. These velocity distortions are interconnected and are part of a 3D outflow that reflects the effects of AGN feedback on the kinematics of molecular gas across a wide range of spatial scales. We conclude that a wide-angle AGN wind launched from the accretion disk is impacting a sizeable fraction of the gas inside the torus (~0.4-0.6 x M_torus). However, a large gas reservoir (~1.2-1.8 x 10^5Msun) close to the equatorial plane of the torus remains unaffected by the AGN wind and can continue fueling the AGN for ~1-4Myr. AGN fueling seems nevertheless thwarted on intermediate scales (15pc < r < 50pc).


title: This is not what I imagined: Error Detection for Semantic Segmentation through Visual Dissimilarity

abstract: There has been a remarkable progress in the accuracy of semantic segmentation due to the capabilities of deep learning. Unfortunately, these methods are not able to generalize much further than the distribution of their training data and fail to handle out-of-distribution classes appropriately. This limits the applicability to autonomous or safety critical systems. We propose a novel method leveraging generative models to detect wrongly segmented or out-of-distribution instances. Conditioned on the predicted semantic segmentation, an RGB image is generated. We then learn a dissimilarity metric that compares the generated image with the original input and detects inconsistencies introduced by the semantic segmentation. We present test cases for outlier and misclassification detection and evaluate our method qualitatively and quantitatively on multiple datasets.


title: Set-theoretic reflection is equivalent to induction over well-founded classes

abstract: We show that induction over $\Delta(\mathbb R)$-definable well-founded classes is equivalent to the reflection principle which asserts that any true formula of first order set theory with real parameters holds in some transitive set. The equivalence is proved in primitive recursive set theory (which is weaker than Kripke-Platek set theory) extended by the axiom of dependent choice.


title: A topological characterization of dual strict convexity in Asplund spaces

abstract: Let $X$ be an Asplund space. We show that the existence of an equivalent norm on $X$ having a strictly convex dual norm is equivalent to the dual unit sphere $S_{X^*}$ (equivalently $X^*$) possessing a non-linear topological property called ($*$), which was introduced by J. Orihuela, S. Troyanski and the author.


title: Oral History Interview with Marcello Cresti

abstract: Marcello Cresti graduated in Physics in 1950 at the University of Pisa by attending the Scuola Normale Superiore; he became professor of Experimental Physics in Padua in 1965, and then Rector of the University of Padua in 1984. His research was focused on the physics of cosmic rays and elementary particles; he started collaborations with research laboratories in Berkeley, Geneva, and with Max-Planck Institutes, which influenced the evolution of research on fundamental physics.


title: Dark-time decay of the retrieval efficiency of light stored as a Rydberg excitation in a noninteracting ultracold gas

abstract: We study the dark-time decay of the retrieval efficiency for light stored in a Rydberg state in an ultracold gas of $^{87}$Rb atoms based on electromagnetically induced transparency (EIT). Using low atomic density to avoid dephasing caused by atom-atom interactions, we measure a $1/e$ time of 30 $\mu$s for the $80S$ state in free expansion. One of the dominant limitations is the combination of photon recoil and thermal atomic motion at 0.2 $\mu$K. If the 1064-nm dipole trap is left on, then the $1/e$ time is reduced to 13 $\mu$s, in agreement with a model taking differential light shifts and gravitational sag into account. To characterize how coherent the retrieved light is, we overlap it with reference light and measure the visibility $V$ of the resulting interference pattern, obtaining $V> 90\%$ for short dark time. Our experimental work is accompanied by a detailed model for the dark-time decay of the retrieval efficiency of light stored in atomic ensembles. The model is generally applicable for photon storage in Dicke states, such as in EIT with $\Lambda$-type or ladder-type level schemes and in Duan-Lukin-Cirac-Zoller single-photon sources. The model includes a treatment of the dephasing caused by thermal atomic motion combined with net photon recoil, as well as the influence of trapping potentials. It takes into account that the signal light field is typically not a plane wave. The model maps the retrieval efficiency to single-atom properties and shows that the retrieval efficiency is related to the decay of fringe visibility in Ramsey spectroscopy and to the spatial first-order coherence function of the gas.


title: Crossover from weak to strong quench in a spinor Bose-Einstein condensate

abstract: We investigate the early-time dynamics of a quasi-two-dimensional spin-1 antiferromagnetic Bose-Einstein condensate after a sudden quench from the easy-plane to the easy-axis polar phase. The post-quench dynamics shows a crossover behavior as the quench strength $\tilde{q}$ is increased, where $\tilde{q}$ is defined as the ratio of the initial excitation energy per particle to the characteristic spin interaction energy. For a weak quench of $\tilde{q}<1$, long-wavelength spin excitations are dominantly generated, leading to the formation of irregular spin domains. With increasing $\tilde{q}$, the length scale of the initial spin excitations decreases, and we demonstrate that the long-wavelength instability is strongly suppressed for high $\tilde{q}>2$. The observed crossover behavior is found to be consistent with the Bogoliubov description of the dynamic instability of the initial spinor condensate.


title: Nonlinear electrokinetics in nematic electrolytes

abstract: In this article we study a system of nonlinear PDEs modelling the electrokinetics of a nematic electrolyte material consisting of various ions species contained in a nematic liquid crystal. The evolution is described by a system coupling a Nernst-Planck system for the ions concentrations with a Maxwell's equation of electrostatics governing the evolution of the electrostatic potential, a Navier-Stokes equation for the velocity field, and a non-smooth Allen-Cahn type equation for the nematic director field. We focus on the two-species case and prove apriori estimates that provide a weak sequential stability result, the main step towards proving the existence of weak solutions.


title: Understanding longitudinal optical oscillator strengths and mode order

abstract: A classical way of describing a dielectric function employs sums of contributions from damped harmonic oscillators. Each term leads to a maximum in the imaginary part of the dielectric function at the transversal optical (TO) resonance frequency of the corresponding oscillator. In contrast, the peak maxima of the negative imaginary part of the inverse dielectric function are attributed to the so-called longitudinal optical (LO) oscillator frequencies. The shapes of the corresponding bands resemble those of the imaginary part of the dielectric function. Therefore, it seems natural to also employ sums of the contributions of damped harmonic oscillators to describe the imaginary part of the inverse dielectric function. In this contribution, we derive the corresponding dispersion relations to investigate and establish the relationship between the transversal and longitudinal optical oscillator strength, which can differ, according to experimental results, by up to three orders of magnitude. So far, these differences are not understood and prevent the longitudinal optical oscillator strengths from proper interpretation. We demonstrate that transversal and longitudinal oscillator strengths should be identical for a single oscillator and that the experimental differences are in this case due to the introduction of a dielectric background in the dispersion formula. For this effect we derive an exact correction. Based on this correction we further derive a modified Kramers-Kronig sum rule for the isotropic case as well as for the components of the inverse dielectric function tensor. For systems with more than one oscillator, our model for the isotropic case can be extended to yield oscillator strengths and LO resonance wavenumber for uncoupled LO modes with or without dielectric background...


title: Shear-wave manipulation by embedded soft devices

abstract: Hyperelastic transformation theory has proven shear-wave manipulation devices with various functions can be designed by utilizing neo-Hookean material with appropriate pre-deformation. However, it is still elusive that how can such devices match with the background medium in which they embedded. In this work, we present a systematic formulation of the transmission and reflection of elastic waves at the interface between un-deformed and pre-deformed hyperelastic materials. With the combination of theoretical analyses and numerical simulations, we specifically investigate the shear-wave propagation from an un-deformed neo-Hookean material to the one subject to different homogeneous deformations. Among three typical deformation modes, we found "constrained" uniaxial tension and simple shear guarantee total transmission, whereas "ordinary" uniaxial tension and hydrostatic compression cause wave reflection. On this basis, three embedded shear-wave manipulation devices, including a unidirectional cloak, a splicable beam bend, and a concave lens, are proposed and verified through numerical simulations. This work may pave the way for the design and realization of soft-matter-based wave control devices. Potential applications can be anticipated in nondestructive testing, structure impact protection, biomedical imaging, and soft robotics.