title: On the specification property and synchronisation of unique $q$-expansions

abstract: Given a positive integer $M$ and $q \in (1, M+1]$ we consider expansions in base $q$ for real numbers $x \in \left[0, {M}/{q-1}\right]$ over the alphabet $\{0, \ldots, M\}$. In particular, we study some dynamical properties of the natural occurring subshift $(\mathbf{V}_q, \sigma)$ related to unique expansions in such base $q$. We characterise the set of $q \in (1,M+1]$ such that $(\mathbf{V}_q, \sigma)$ has the specification property and the set of $q \in (1,M+1]$ such that $(\mathbf{V}_q, \sigma)$ is a synchronised subshift. Such properties are studied by analysing the combinatorial and dynamical properties of the quasi-greedy expansion of $q$. We also calculate the size of such classes giving similar results to those shown by Schmeling in (Ergodic Theory and Dynamical Systems, 17:675--694, 6 1997) in the context of $\beta$-transformations.


title: On Computing the Number of Short Cycles in Bipartite Graphs Using the Spectrum of the Directed Edge Matrix

abstract: Counting short cycles in bipartite graphs is a fundamental problem of interest in many fields including the analysis and design of low-density parity-check (LDPC) codes. There are two computational approaches to count short cycles (with length smaller than $2g$, where $g$ is the girth of the graph) in bipartite graphs. The first approach is applicable to a general (irregular) bipartite graph, and uses the spectrum $\{\eta_i\}$ of the directed edge matrix of the graph to compute the multiplicity $N_k$ of $k$-cycles with $k < 2g$ through the simple equation $N_k = \sum_i \eta_i^k/(2k)$. This approach has a computational complexity $\mathcal{O}(|E|^3)$, where $|E|$ is number of edges in the graph. The second approach is only applicable to bi-regular bipartite graphs, and uses the spectrum $\{\lambda_i\}$ of the adjacency matrix (graph spectrum) and the degree sequences of the graph to compute $N_k$. The complexity of this approach is $\mathcal{O}(|V|^3)$, where $|V|$ is number of nodes in the graph. This complexity is less than that of the first approach, but the equations involved in the computations of the second approach are very tedious, particularly for $k \geq g+6$. In this paper, we establish an analytical relationship between the two spectra $\{\eta_i\}$ and $\{\lambda_i\}$ for bi-regular bipartite graphs. Through this relationship, the former spectrum can be derived from the latter through simple equations. This allows the computation of $N_k$ using $N_k = \sum_i \eta_i^k/(2k)$ but with a complexity of $\mathcal{O}(|V|^3)$ rather than $\mathcal{O}(|E|^3)$.


title: On the Robustness of Deep K-Nearest Neighbors

abstract: Despite a large amount of attention on adversarial examples, very few works have demonstrated an effective defense against this threat. We examine Deep k-Nearest Neighbor (DkNN), a proposed defense that combines k-Nearest Neighbor (kNN) and deep learning to improve the model's robustness to adversarial examples. It is challenging to evaluate the robustness of this scheme due to a lack of efficient algorithm for attacking kNN classifiers with large k and high-dimensional data. We propose a heuristic attack that allows us to use gradient descent to find adversarial examples for kNN classifiers, and then apply it to attack the DkNN defense as well. Results suggest that our attack is moderately stronger than any naive attack on kNN and significantly outperforms other attacks on DkNN.


title: Indexes in Microsoft SQL Server

abstract: Indexes are the best apposite choice for quickly retrieving the records. This is nothing but cutting down the number of Disk IO. Instead of scanning the complete table for the results, we can decrease the number of IO's or page fetches using index structures such as B-Trees or Hash Indexes to retrieve the data faster. The most convenient way to consider an index is to think like a dictionary. It has words and its corresponding definitions against those words. The dictionary will have an index on "word" because when we open a dictionary and we want to fetch its corresponding word quickly, then find its definition. The dictionary generally contains just a single index - an index ordered by word. When we modify any record and change the corresponding value of an indexed column in a clustered index, the database might require moving the entire row into a separately new position to maintain the rows in the sorted order. This action is essentially turned into an update query into a DELETE followed by an INSERT, and it decreases the performance of the query. The clustered index in the table can often be available on the primary key or a foreign key column because key values usually do not modify once a record is injected into the database.


title: Cluster algebras and discrete integrability

abstract: Cluster algebras are a class of commutative algebras whose generators are defined by a recursive process called mutation. We give a brief introduction to cluster algebras, and explain how discrete integrable systems can appear in the context of cluster mutation. In particular, we give examples of birational maps that are integrable in the Liouville sense and arise from cluster algebras with periodicity, as well as examples of discrete Painlev\'e equations that are derived from Y-systems.


title: Video Object Segmentation-based Visual Servo Control and Object Depth Estimation on a Mobile Robot

abstract: To be useful in everyday environments, robots must be able to identify and locate real-world objects. In recent years, video object segmentation has made significant progress on densely separating such objects from background in real and challenging videos. Building off of this progress, this paper addresses the problem of identifying generic objects and locating them in 3D using a mobile robot with an RGB camera. We achieve this by, first, introducing a video object segmentation-based approach to visual servo control and active perception and, second, developing a new Hadamard-Broyden update formulation. Our segmentation-based methods are simple but effective, and our update formulation lets a robot quickly learn the relationship between actuators and visual features without any camera calibration. We validate our approach in experiments by learning a variety of actuator-camera configurations on a mobile HSR robot, which subsequently identifies, locates, and grasps objects from the YCB dataset and tracks people and other dynamic articulated objects in real-time.


title: Equitable partition of plane graphs with independent crossings into induced forests

abstract: The cluster of a crossing in a graph drawing in the plane is the set of the four end-vertices of its two crossed edges. Two crossings are independent if their clusters do not intersect. In this paper, we prove that every plane graph with independent crossings has an equitable partition into $m$ induced forests for any $m\geq 8$. Moreover, we decrease this lower bound 8 for $m$ to 6, 5, 4 and 3 if we additionally assume that the girth of the considering graph is at least 4, 5, 6 and 26, respectively.


title: A directed graph structure of alternating sign matrices

abstract: We introduce a new directed graph structure into the set of alternating sign matrices. This includes Bruhat graph (Bruhat order) of the symmetric groups as a subgraph (subposet). Drake-Gerrish-Skandera (2004, 2006) gave characterizations of Bruhat order in terms of total nonnegativity (TNN) and subtraction-free Laurent (SFL) expressions for permutation monomials. With our directed graph, we extend their idea in two ways: first, from permutations to alternating sign matrices; second, $q$-analogs (which we name $q$TNN and $q$SFL properties). %In our discussion, essential sets, introduced by Fulton in a rather different context, play a key role. As a by-product, we obtain a new kind of permutation statistic, the signed bigrassmannian statistics, using Dodgson's condensation on determinants.


title: Acoustic Kerr nonlinearity of wave propagation in a planar nanoelectromechanical waveguide

abstract: Nonlinearity is the key to introducing novel concepts in various technologies utilizing traveling waves. In contrast to the field of optics, where highly functional devices have been developed using optical Kerr nonlinearity, such a nonlinear effect in acoustic devices has yet to be fully exploited. Here, we show that most fundamental nonlinear phenomena of self-phase modulation (SPM), cross-phase modulation (XPM) and four-wave mixing (FWM) caused by the acoustic Kerr effect are quantitatively characterized using a newly developed platform consisting of a planar nanoelectromechanical waveguide (NEMW). Combining the cutting-edge technology of a high crystalline quality NEMW with a piezoelectric interdigital transducer (IDT), we efficiently excite an intense and long-lived traveling wave sufficiently to induce and characterize acoustic nonlinearity. The observed nonlinear phenomena are precisely described by the model using the nonlinear Schr\"{o}dinger (NLS) equation, so that this architecture enables the nonlinear dynamics to be perfectly tailored. The flexible and integratable platform extends the ability to manipulate acoustic wave propagation on a chip, thus offering the potential to develop highly functional devices and study novel nonlinear acoustics.


title: Essential tori in spaces of symplectic embeddings

abstract: Given two $2n$--dimensional symplectic ellipsoids whose symplectic sizes satisfy certain inequalities, we show that a certain map from the $n$--torus to the space of symplectic embeddings from one ellipsoid to the other induces an injective map on singular homology with mod $2$ coefficients. The proof uses parametrized moduli spaces of $J$--holomorphic cylinders in completed symplectic cobordisms.


title: The Role of Strategic Load Participants in Two-Stage Settlement Electricity Markets

abstract: Two-stage electricity market clearing is designed to maintain market efficiency under ideal conditions, e.g., perfect forecast and nonstrategic generation. This work demonstrates that the individual strategic behavior of inelastic load participants in a two-stage settlement electricity market can deteriorate efficiency. Our analysis further implies that virtual bidding can play a role in alleviating this loss of efficiency by mitigating the market power of strategic load participants. We use real-world market data from New York ISO to validate our theory.


title: On the possibility to detect quantum correlation regions with the variable optimal measurement angle

abstract: Quantum correlations described by quantum discord and one-way quantum deficit can contain ordinary regions with {\em constant} (i.e., universal) optimal measurement angle $0$ or $\pi/2$ with respect to the $z$-axis and regions with a {\em variable} (state-dependent) angle of the optimal measurement. The latter regions which are absent in the Bell-diagonal states are very tiny for the quantum discord and cannot be observed experimentally due to various imperfections on the preparation and measurement steps of the experiment. On the contrary, for the one-way quantum deficit we succeeded in getting the special two-qubit X states which seem to allow one to reach all regions of quantum correlation exploiting available quantum optical techniques. These states give possibility to deep investigation of quantum correlations and related optimization problems at new region and its boundaries. In the paper, explicit theoretical calculations applicable to one-way deficit are reported, together with the design of the experimental setup for generating such selected family of states; moreover, there are presented numerical simulations showing that the most inaccessible region with the intermediate optimal measurement angle may be resolved experimentally.


title: Any Finite Distributive Lattice is Isomorphic to the Minimizer Set of an ${\rm M}^{\natural}$-Concave Set Function

abstract: Submodularity is an important concept in combinatorial optimization, and it is often regarded as a discrete analog of convexity. It is a fundamental fact that the set of minimizers of any submodular function forms a distributive lattice. Conversely, it is also known that any finite distributive lattice is isomorphic to the minimizer set of a submodular function, through the celebrated Birkhoff's representation theorem. ${\rm M}^{\natural}$-concavity is a key concept in discrete convex analysis. It is known for set functions that the class of ${\rm M}^{\natural}$-concavity is a proper subclass of submodularity. Thus, the minimizer set of an ${\rm M}^{\natural}$-concave function forms a distributive lattice. It is natural to ask if any finite distributive lattice appears as the minimizer set of an ${\rm M}^{\natural}$-concave function. This paper affirmatively answers the question.


title: Sensitivity of Type Ia supernovae to electron capture rates

abstract: The thermonuclear explosion of massive white dwarfs is believed to explain at least a fraction of Type Ia supernovae (SNIa). After thermal runaway, electron captures on the ashes left behind by the burning front determine a loss of pressure, which impacts the dynamics of the explosion and the neutron excess of matter. Indeed, overproduction of neutron-rich species such as $^{54}$Cr has been deemed a problem of Chandrasekhar-mass models of SNIa for a long time. I present the results of a sensitivity study of SNIa models to the rates of weak interactions, which have been incorporated directly into the hydrodynamic explosion code. The weak rates have been scaled up/down by a factor ten, either globally for a common bibliographical source, or individually for selected isotopes. In line with previous works, the impact of weak rates uncertainties on sub-Chandrasekhar models of SNIa is almost negligible. The impact on the dynamics of Chandrasekhar-mass models and on the yield of $^{56}$Ni is also scarce. The strongest effect is found on the nucleosynthesis of neutron-rich nuclei, such as $^{48}$Ca, $^{54}$Cr, $^{58}$Fe, and $^{64}$Ni. The species with the highest influence on nucleosynthesis do not coincide with the isotopes that contribute most to the neutronization of matter. Among the last ones, there are protons, $^{54,55}$Fe, $^{55}$Co, and $^{56}$Ni, while the main influencers are $^{54,55}$Mn and $^{55-57}$Fe, in disagreement with Parikh et al (2013), who found that SNIa nucleosynthesis is most sensitive to the $\beta^+$-decay rates of $^{28}$Si, $^{32}$S, and $^{36}$Ar. An eventual increase in all weak rates on pf-shell nuclei would affect the dynamical evolution of hot bubbles, running away at the beginning of the explosion, and the yields of SNIa.


title: Phase-sensitive x-ray ghost imaging

abstract: Imaging with hard x-rays is an invaluable tool in medicine, biology, materials science, and cultural heritage. Propagation-based x-ray phase-contrast imaging and tomography have been mostly used to resolve micrometer-scale structures inside weakly absorbing objects as well as inside dense specimens. Indirect x-ray detection has been the key technology to achieve up to sub-micrometer spatial resolutions, albeit inefficiently and hence at the expense of increased radiation dose to the specimen. A promising approach to low-dose imaging and high spatial resolution even at high x-ray energies is ghost imaging, which could use single-pixel, yet efficient direct x-ray detectors made of high-density materials. However, phase contrast has not yet been realised with x-ray ghost imaging. We present an approach which exploits both the advantages of x-ray ghost imaging and the high sensitivity of phase-contrast imaging. In comparison with existing techniques, our method is efficient and achieves high-fidelity x-ray ghost images with phase contrast, accurate density resolution and dramatically higher spatial resolution. The method is scalable to practical tomography with large fields of view, micrometer spatial resolution, and with high-energy x-rays above 100 keV. It is also applicable to other phase-sensitive imaging techniques and with other probes such as neutrons, alpha rays, and muons, for which high spatial resolution detectors are limited or even not available.


title: A variational characterization of the risk-sensitive average reward for controlled diffusions on $\mathbb{R}^d$

abstract: We address the variational formulation of the risk-sensitive reward problem for non-degenerate diffusions on $\mathbb{R}^d$ controlled through the drift. We establish a variational formula on the whole space and also show that the risk-sensitive value equals the generalized principal eigenvalue of the semilinear operator. This can be viewed as a controlled version of the variational formulas for principal eigenvalues of diffusion operators arising in large deviations. We also revisit the average risk-sensitive minimization problem and by employing a gradient estimate developed in this paper, we extend earlier results to unbounded drifts and running costs.


title: Photon-Flooded Single-Photon 3D Cameras

abstract: Single photon avalanche diodes (SPADs) are starting to play a pivotal role in the development of photon-efficient, long-range LiDAR systems. However, due to non-linearities in their image formation model, a high photon flux (e.g., due to strong sunlight) leads to distortion of the incident temporal waveform, and potentially, large depth errors. Operating SPADs in low flux regimes can mitigate these distortions, but, often requires attenuating the signal and thus, results in low signal-to-noise ratio. In this paper, we address the following basic question: what is the optimal photon flux that a SPAD-based LiDAR should be operated in? We derive a closed form expression for the optimal flux, which is quasi-depth-invariant, and depends on the ambient light strength. The optimal flux is lower than what a SPAD typically measures in real world scenarios, but surprisingly, considerably higher than what is conventionally suggested for avoiding distortions. We propose a simple, adaptive approach for achieving the optimal flux by attenuating incident flux based on an estimate of ambient light strength. Using extensive simulations and a hardware prototype, we show that the optimal flux criterion holds for several depth estimators, under a wide range of illumination conditions.


title: Global Stability Properties of the Climate: Melancholia States, Invariant Measures, and Phase Transitions

abstract: For a wide range of values of the incoming solar radiation, the Earth features at least two attracting states, which correspond to competing climates. The warm climate is analogous to the present one; the snowball climate features global glaciation and conditions that can hardly support life forms. Paleoclimatic evidences suggest that in the past our planet flipped between these two states. The main physical mechanism responsible for such an instability is the ice-albedo feedback. In a previous work, we defined the Melancholia states that sit between the two climates. Such states are embedded in the boundaries between the two basins of attraction and feature extensive glaciation down to relatively low latitudes. Here, we explore the global stability properties of the system by introducing random perturbations as modulations to the intensity of the incoming solar radiation. We observe noise-induced transitions between the competing basins of attraction. In the weak noise limit, large deviation laws define the invariant measure, the statistics of escape times, and typical escape paths called instantons. By constructing the instantons empirically, we show that the Melancholia states are the gateways for the noise-induced transitions. In the region of multistability, in the zero-noise limit, the measure is supported only on one of the competing attractors. For low (high) values of the solar irradiance, the limit measure is the snowball (warm) climate. The changeover between the two regimes corresponds to a first-order phase transition in the system. The framework we propose seems of general relevance for the study of complex multistable systems. Finally, we put forward a new method for constructing Melancholia states from direct numerical simulations, black which provides a possible alternative with respect to the edge-tracking algorithm.

categories: physics.ao-ph astro-ph.EP cond-mat.stat-mech nlin.CD


title: Amplifying magnetic fields of a newly born neutron star by stochastic angular momentum accretion in core collapse supernovae

abstract: I present a novel mechanism to boost magnetic field amplification of newly born neutron stars in core collapse supernovae. In this mechanism, that operates in the jittering jets explosion mechanism and comes on top of the regular magnetic field amplification by turbulence, the accretion of stochastic angular momentum in core collapse supernovae forms a neutron star with strong initial magnetic fields but with a slow rotation. The varying angular momentum of the accreted gas, which is unique to the jittering jets explosion mechanism, exerts a varying azimuthal shear on the magnetic fields of the accreted mass near the surface of the neutron star. This, I argue, can form an amplifying effect which I term the stochastic omega (S$\omega$) effect. In the common $\alpha \omega$ dynamo the rotation has constant direction and value, and hence supplies a constant azimuthal shear, while the convection has a stochastic behavior. In the S$\omega$ dynamo the stochastic angular momentum is different from turbulence in that it operates on a large scale, and it is different from a regular rotational shear in being stochastic. The basic assumption is that because of the varying direction of the angular momentum axis from one accretion episode to the next, the rotational flow of an accretion episode stretches the magnetic fields that were amplified in the previous episode. I estimate the amplification factor of the S$\omega$ dynamo alone to be $\approx 10$. I speculate that the S$\omega$ effect accounts for a recent finding that many neutron stars are born with strong magnetic fields.


title: Towards a Self-calibrating, Empirical, Light-Weight Model for Tellurics in High-Resolution Spectra

abstract: To discover Earth analogs around other stars, next generation spectrographs must measure radial velocity (RV) with 10 cm/s precision. To achieve 10cm/s precision, however, the effects of telluric contamination must be accounted for. The standard approaches to telluric removal are: (a) observing a standard star and (b) using a radiative transfer code. Observing standard stars, however, takes valuable observing time away from science targets. Radiative transfer codes, meanwhile, rely on imprecise line data in the HITRAN database (typical line position uncertainties range from a few to several hundred m/s) and require difficult-to-obtain measurements of water vapor column density for best performance. To address these issues, we present SELENITE: a SELf-calibrating, Empricial, Light-Weight liNear regressIon TElluric model for high-resolution spectra. The model exploits two simple observations: (a) water tellurics grow proportionally to precipitable water vapor and therefore proportionally to each other and (b) non-water tellurics grow proportionally to airmass. Water tellurics can be identified by looking for pixels whose growth correlates with a known calibration water telluric and modelled by regression against it, and likewise non-water tellurics with airmass. The model doesn't require line data, water vapor measurements and additional observations (beyond one-time calibration observations), achieves fits with a reduced chi squared of 1.17 on B stars and 2.95 on K dwarfs, and leaves residuals of 1% (B stars) and 1.1% (K dwarfs) of continuum. Fitting takes seconds on laptop PCs: SELENITE is light-weight enough to guide observing runs.


title: Distributed Maximization of Submodular plus Diversity Functions for Multi-label Feature Selection on Huge Datasets

abstract: There are many problems in machine learning and data mining which are equivalent to selecting a non-redundant, high "quality" set of objects. Recommender systems, feature selection, and data summarization are among many applications of this. In this paper, we consider this problem as an optimization problem that seeks to maximize the sum of a sum-sum diversity function and a non-negative monotone submodular function. The diversity function addresses the redundancy, and the submodular function controls the predictive quality. We consider the problem in big data settings (in other words, distributed and streaming settings) where the data cannot be stored on a single machine or the process time is too high for a single machine. We show that a greedy algorithm achieves a constant factor approximation of the optimal solution in these settings. Moreover, we formulate the multi-label feature selection problem as such an optimization problem. This formulation combined with our algorithm leads to the first distributed multi-label feature selection method. We compare the performance of this method with centralized multi-label feature selection methods in the literature, and we show that its performance is comparable or in some cases is even better than current centralized multi-label feature selection methods.


title: GRIP: Generative Robust Inference and Perception for Semantic Robot Manipulation in Adversarial Environments

abstract: Recent advancements have led to a proliferation of machine learning systems used to assist humans in a wide range of tasks. However, we are still far from accurate, reliable, and resource-efficient operations of these systems. For robot perception, convolutional neural networks (CNNs) for object detection and pose estimation are recently coming into widespread use. However, neural networks are known to suffer overfitting during training process and are less robust within unseen conditions, which are especially vulnerable to adversarial scenarios. In this work, we propose Generative Robust Inference and Perception (GRIP) as a two-stage object detection and pose estimation system that aims to combine relative strengths of discriminative CNNs and generative inference methods to achieve robust estimation. Our results show that a second stage of sample-based generative inference is able to recover from false object detection by CNNs, and produce robust estimations in adversarial conditions. We demonstrate the efficacy of GRIP robustness through comparison with state-of-the-art learning-based pose estimators and pick-and-place manipulation in dark and cluttered environments.


title: Possibility of forming a stable Bose-Einstein condensate of $2\,^{3}\!S_1$ positronium atoms

abstract: The confined variational method in conjunction with the orthogonalizing pseudo-potential method and the stabilization method is used to study the low energy elastic scattering between two spin-polarized metastable positronium Ps(2\,$^{3}\!S_1$) atoms. Explicitly correlated Gaussian basis functions are adopted to properly describe the complicated Coulomb interaction among the four charged particles. The calculated $s$-wave scattering length ($\approx8.5\,a_0$) is positive, indicating the possibility of forming a stable Bose-Einstein condensate of fully spin-polarized $\text{Ps}(2\,^{3}\!S_1)$ atoms. Our results will open a new way of experimental realization of Ps condensate and development of $\gamma$-ray and $\text{Ps}(2\,^{3}\!S_1)$ atom lasers.


title: Designing Power Grid Topologies for Minimizing Network Disturbances: An Exact MILP Formulation

abstract: The dynamic response of power grids to small transient events or persistent stochastic disturbances influences their stable operation. This paper studies the effect of topology on the linear time-invariant dynamics of power networks. For a variety of stability metrics, a unified framework based on the $H_2$-norm of the system is presented. The proposed framework assesses the robustness of power grids to small disturbances and is used to study the optimal placement of new lines on existing networks as well as the design of radial (tree) and meshed (loopy) topologies for new networks. Although the design task can be posed as a mixed-integer semidefinite program (MI-SDP), its performance does not scale well with network size. Using McCormick relaxation, the topology design problem can be reformulated as a mixed-integer linear program (MILP). To improve the computation time, graphical properties are exploited to provide tighter bounds on the continuous optimization variables. Numerical tests on the IEEE 39-bus feeder demonstrate the efficacy of the optimal topology in minimizing disturbances.


title: Comparison of mirror functors of elliptic curves via LG/CY correspondence

abstract: Polishchuk-Zaslow explained the homological mirror symmetry between Fukaya category of symplectic torus and the derived category of coherent sheaves of elliptic curves via Lagrangian torus fibration. Recently, Cho-Hong-Lau found another proof of homological mirror symmetry using localized mirror functor, whose target category is given by graded matrix factorizations. We find an explicit relation between these two approaches.


title: Machine Learning for Data-Driven Movement Generation: a Review of the State of the Art

abstract: The rise of non-linear and interactive media such as video games has increased the need for automatic movement animation generation. In this survey, we review and analyze different aspects of building automatic movement generation systems using machine learning techniques and motion capture data. We cover topics such as high-level movement characterization, training data, features representation, machine learning models, and evaluation methods. We conclude by presenting a discussion of the reviewed literature and outlining the research gaps and remaining challenges for future work.


title: Quantum Relational Hoare Logic with Expectations

abstract: We present a variant of the quantum relational Hoare logic from (Unruh, POPL 2019) that allows us to use "expectations" in pre- and postconditions. That is, when reasoning about pairs of programs, our logic allows us to quantitatively reason about how much certain pre-/postconditions are satisfied that refer to the relationship between the programs inputs/outputs.


title: Bounded Synthesis of Resilient Supervisors

abstract: In this paper, we investigate the problem of synthesizing resilient supervisors against combined actuator and sensor attacks, for the subclass of cyber-physical systems that can be modelled as discrete-event systems. We assume that the attackers can carry out actuator enablement and disablement attacks as well as sensor replacement attacks. We consider both risky attackers and covert attackers in the setup where the (partial-observation) attackers may or may not eavesdrop the control commands (issued by the supervisor). A constraint-based approach for the bounded synthesis of resilient supervisors is developed, by reducing the problem to the Quantified Boolean Formulas (QBF) problem. The bounded synthesis problem can then be solved either with a QBF solver or with repeated calls to a propositional satisfiability (SAT) solver, by employing maximally permissive attackers, which can be synthesized with the existing partial-observation supervisor synthesis procedures, as counter examples in the counter example guided inductive synthesis loop.


title: Fermion Mass Hierarchy in Grand Gauge-Higgs Unification

abstract: Grand gauge-Higgs unification of five dimensional $SU(6)$ gauge theory on an orbifold $S^1/Z_2$ is discussed. The Standard model (SM) fermions are introduced on one of the boundaries and some massive bulk fields are also introduced so that they couple to the SM fermions through the mass terms on the boundary. Integrating out the bulk fields generates the SM fermion masses with exponentially small bulk mass dependences. The SM fermion masses except for top quark are shown to be reproduced by mild tuning the bulk masses. One-loop Higgs potential is calculated and it is shown that the electroweak symmetry breaking occurs by introducing additional bulk fields. Higgs boson mass is also computed.


title: Lifted electron pocket and reversed orbital occupancy imbalance in FeSe

abstract: The FeSe nematic phase has been the focus of recent research on iron based superconductors (IBSs) due to its unique properties. A number of electronic structure studies were performed to find the origin of the phase. However, such attempts came out with conflicting results and caused additional controversies. Here, we report results from angle resolved photoemission and X-ray absorption spectroscopy studies on FeSe with detwinning by a piezo stack. We have fully resolved band dispersions with orbital characters near the Brillouin zone corner which reveals absence of a Fermi pocket at the Y point in the 1Fe Brillouin zone. In addition, the occupation imbalance between dxz and dyz orbitals is found to be opposite to that of iron pnictides, which is consistent with the identified band characters. These results settle down controversial issues in the FeSe nematic phase and shed light on the origin of nematic phases in IBSs.


title: Sets and Probability

abstract: In this article the idea of random variables over the set theoretic universe is investigated. We explore what it can mean for a random set to have a specific probability of belonging to an antecedently given class of sets.


title: Regularize, Expand and Compress: Multi-task based Lifelong Learning via NonExpansive AutoML

abstract: Lifelong learning, the problem of continual learning where tasks arrive in sequence, has been lately attracting more attention in the computer vision community. The aim of lifelong learning is to develop a system that can learn new tasks while maintaining the performance on the previously learned tasks. However, there are two obstacles for lifelong learning of deep neural networks: catastrophic forgetting and capacity limitation. To solve the above issues, inspired by the recent breakthroughs in automatically learning good neural network architectures, we develop a Multi-task based lifelong learning via nonexpansive AutoML framework termed Regularize, Expand and Compress (REC). REC is composed of three stages: 1) continually learns the sequential tasks without the learned tasks' data via a newly proposed multi-task weight consolidation (MWC) algorithm; 2) expands the network to help the lifelong learning with potentially improved model capability and performance by network-transformation based AutoML; 3) compresses the expanded model after learning every new task to maintain model efficiency and performance. The proposed MWC and REC algorithms achieve superior performance over other lifelong learning algorithms on four different datasets.


title: Brillouin-based phase shifter in a silicon waveguide

abstract: Integrated silicon microwave photonics offers great potential in microwave phase shifter elements, and promises compact and scalable multi-element chips that are free from electromagnetic interference. Stimulated Brillouin scattering, which was recently demonstrated in silicon, is a particularly powerful approach to induce a phase shift due to its inherent flexibility, offering an optically controllable and selective phase shift. However, to date, only moderate amounts of Brillouin gain has been achieved and theoretically this would restrict the phase shift to a few tens of degrees, significantly less than the required 360 degrees. Here, we overcome this limitation with a phase enhancement method using RF interference, showing a 360 degrees broadband phase shifter based on Brillouin scattering in a suspended silicon waveguide. We achieve a full 360 degrees phase-shift over a bandwidth of 15 GHz using a phase enhancement factor of 25, thereby enabling practical broadband Brillouin phase shifter for beam forming and other applications.


title: A Novel Dynamic Programming Approach to the Train Marshalling Problem

abstract: Train marshalling is the process of reordering the railcars of a train in such a way that the railcars with the same destination appear consecutively in the final, reassembled train. The process takes place in the shunting yard by means of a number of classification tracks. In the Train Marshalling Problem (TMP), the objective is to perform this rearrangement of the railcars with the use of as few classification tracks as possible. The problem has been shown to be NP-hard, and several exact and approximation algorithms have been developed for it. In this paper, we propose a novel exact dynamic programming (DP) algorithm for the TMP. The worst-case time complexity of this algorithm (which is exponential in the number of destinations and linear in the number of railcars) is lower than that of the best presently available algorithm for the problem, which is an inclusion-exclusion-based DP algorithm. In practice, the proposed algorithm can provide a substantially improved performance compared to its inclusion-exclusion-based counterpart, as demonstrated by the experimental results.


title: Memory reduced non-Cartesian MRI encoding using the mixed-radix tensor product on CPU and GPU

abstract: Multi-dimensional non-Cartesian MRI encoding using the precomputed interpolator can encounter the curse of dimensionality, in which the interpolator size exceeds the available memory on the parallel accelerators. Here we reformulate the multi-dimensional non-uniform fast Fourier transform (NUFFT) to a tensor form. The exponentially growing size of the fully precomputed interpolator can be reduced by tensor analysis. We propose a tree-like, mixed-radix tensor method which flexibly reduces the storage of the NUFFT. A parallel tensor product algorithm is proposed and tested with in vivo cardiac MRI data. Cross-architecture comparisons show that up to 88.1% and 62.4% memory savings are seen in 3D and 2D CINE MRI, respectively, subject only to a negligible loss of accuracy compared to the double-precision CPU version.


title: Structural, thermodynamic, and local probe investigations of a honeycomb material Ag$_{3}$LiMn$_{2}$O$_{6}$

abstract: The system Ag[Li$_{1/3}$Mn$_{2/3}$]O$_{2}$ belongs to a quaternary 3R-delafossite family and crystallizes in a monoclinic symmetry with space group $C\,2/m$ and the magnetic Mn$^{4+}$($S=3/2$) ions form a honeycomb network in the $ab$-plane. An anomaly around 50 K and the presence of antiferromagnetic (AFM) coupling (Curie-Weiss temperature $\theta_{CW}\sim-51$ K) were inferred from our magnetic susceptibility data. The magnetic specific heat clearly manifests the onset of magnetic ordering in the vicinity of 48\,K and the recovered magnetic entropy, above the ordering temperature, falls short of the expected value, implying the presence of short-range magnetic correlations. The (ESR) line broadening on approaching the ordering temperature $T_{{\rm N}}$ could be described in terms of a Berezinski-Kosterlitz-Thouless (BKT) scenario with $T_{{\rm KT}}=40(1)$ K. $^{7}$Li NMR line-shift probed as a function of temperature tracks the static susceptibility (K$_{iso}$) of magnetically coupled Mn$^{4+}$ ions. The $^{7}$Li spin-lattice relaxation rate (1/$T$$_{1}$) exhibits a sharp decrease below about 50 K. Combining our bulk and local probe measurements, we establish the presence of an ordered ground state for the honeycomb system Ag$_{3}$LiMn$_{2}$O$_{6}$.Our ab-initio electronic structure calculations suggest that in the $ab$-plane, the nearest neighbor (NN) exchange interaction is strong and AFM, while the next NN and the third NN exchange interactions are FM and AFM respectively. In the absence of any frustration the system is expected to exhibit long-range, AFM order, in agreement with experiment.


title: Computation of systemic risk measures: a mixed-integer programming approach

abstract: Systemic risk is concerned with the instability of a financial system whose members are interdependent in the sense that the failure of a few institutions may trigger a chain of defaults throughout the system. Recently, several systemic risk measures have been proposed in the literature that are used to determine capital requirements for the members subject to joint risk considerations. We address the problem of computing systemic risk measures for systems with sophisticated clearing mechanisms. In particular, we consider an extension of the Rogers-Veraart network model where the operating cash flows are unrestricted in sign. We propose a mixed-integer programming problem that can be used to compute clearing vectors in this model. Due to the binary variables in this problem, the corresponding (set-valued) systemic risk measure fails to have convex values in general. We associate nonconvex vector optimization problems with the systemic risk measure and provide theoretical results related to the weighted-sum and Pascoletti-Serafini scalarizations of this problem. Finally, we test the proposed formulations on computational examples and perform sensitivity analyses with respect to some model-specific and structural parameters.


title: Nonlinear development of electron-beam-driven weak turbulence in an inhomogeneous plasma

abstract: The self-consistent description of Langmuir wave and ion-sound wave turbulence in the presence of an electron beam is presented for inhomogeneous non-isothermal plasmas. Full numerical solutions of the complete set of kinetic equations for electrons, Langmuir waves, and ion-sound waves are obtained for a inhomogeneous unmagnetized plasma. The result show that the presence of inhomogeneity significantly changes the overall evolution of the system. The inhomogeneity is effective in shifting the wavenumbers of the Langmuir waves, and can thus switch between different process governing the weakly turbulent state. The results can be applied to a variety of plasma conditions, where we choose solar coronal parameters as an illustration, when performing the numerical analysis.

categories: physics.plasm-ph astro-ph.HE astro-ph.SR physics.space-ph


title: Linear-response range-separated density-functional theory for atomic photoexcitation and photoionization spectra

abstract: We investigate the performance of the range-separated hybrid (RSH) scheme, which combines long-range Hartree-Fock (HF) and a short-range density-functional approximation (DFA), for calculating photoexcitation/photoionization spectra of the H and He atoms, using a B-spline basis set in order to correctly describe the continuum part of the spectra. The study of these simple systems allows us to quantify the influence on the spectra of the errors coming from the short-range exchange-correlation DFA and from the missing long-range correlation in the RSH scheme. We study the differences between using the long-range HF exchange (nonlocal) potential and the long-range exact exchange (local) potential. Contrary to the former, the latter supports a series of Rydberg states and gives reasonable photoexcitation/photoionization spectra, even without applying linear-response theory. The most accurate spectra are obtained with the linear-response time-dependent range-separated hybrid (TDRSH) scheme. In particular, for the He atom at the optimal value of the range-separation parameter, TDRSH gives slightly more accurate photoexcitation and photoioniza-tion spectra than standard linear-response time-dependent HF. More generally, the present work shows the potential of range-separated density-functional theory for calculating linear and nonlinear optical properties involving continuum states.


title: Explicit Bounds For The Diophantine Equation A!B! = C!

abstract: A nontrivial solution of the equation A!B! = C! is a triple of positive integers (A, B, C) with A $\le$ B $\le$ C -- 2. It is conjectured that the only nontrivial solution is (6, 7, 10), and this conjecture has been checked up to C = 10 6. Several estimates on the relative size of the parameters are known, such as the one given by Erd{\"o}s C -- B $\le$ 5 log log C, or the one given by Bhat and Ramachandra C --B $\le$ (1/ log 2+o(1)) log log C. We check the conjecture for B $\le$ 10 3000 and give better explicit bounds such as C -- B $\le$ log log(B+1) log 2 -- 0.8803.


title: Regularity of solutions to elliptic equations with Grushin's operator

abstract: In this paper, we consider the regularity of solutions to elliptic equation with Grushin's operator. By using the Feynman-Kac formula, we first get the expression of heat kernel, and then by using the properties of heat kernel, the optimal regularity of solutions will be obtained. The novelty of this paper is that the Grushin's operator is a degenerate operator.


title: Metasurface-mediated anisotropic radiative heat transfer between nanoparticles

abstract: Metasurfaces, the two-dimensional (2D) counterpart of metamaterials, have recently attracted a great attention due to their amazing properties such as negative refraction, hyperbolic dispersion, manipulation of the evanescent spectrum. In this work, we propose a theory model for the near field radiative heat transfer (NFRHT) between two nanoparticles in the presence of an anisotropic metasurface. Specifically, we set the metasurface as an array of graphene strips (GS) since it is an ideal platform to implement any metasurface topology, ranging from isotropic to hyperbolic propagation. We show that the NFRHT between two nanoparticles can not only be significantly amplified when they are placed in proximity of the GS, but also be regulated over several orders of magnitude. In this configuration, the anisotropic surface plasmon polaritons (SPPs) supported by the GS are excited and provide a new channel for the near-field energy transport. We analyze how the conductance between two nanoparticles depends on the orientation, the structure parameters and the chemical potential of the GS, on the particle-surface or the particle-surface distances by clearly identifying the characteristics of the anisotropic SPPs such as dispersion relations, propagation length and decay length. Our findings provide a powerful way to regulate the energy transport in the particle systems, meanwhile in turn, open up a way to explore the anisotropic optical properties of the metasurface based on the measured heat transfer properties.


title: Two-dimensional Weyl Half Semimetal and Tunable Quantum Anomalous Hall Effect in Monolayer PtCl$_{3}$

abstract: We propose a new topological quantum state of matter---the two-dimensional (2D) Weyl half semimetal (WHS), which features 2D Weyl points at Fermi level belonging to a single spin channel, such that the low-energy electrons are described by fully spin-polarized 2D Weyl fermions. We predict its realization in the ground state of monolayer PtCl$_3$. We show that the material is a half metal with an in-plane magnetization, and its Fermi surface consists of a pair of fully spin-polarized Weyl points protected by a mirror symmetry, which are robust against spin-orbit coupling. Remarkably, we show that the WHS state is a critical state at the topological phase transition between two quantum anomalous Hall insulator phases with opposite Chern numbers, such that a switching between quantum anomalous Hall states can be readily achieved by rotating the magnetization direction. Our findings demonstrate that WHS offers new opportunity to control the chiral edge channels, which will be useful for designing new topological electronic devices.


title: Long-time behavior of second order linearized Vlasov-Poisson equations near a homogeneous equilibrium

abstract: The asymptotic behavior of the solutions of the second order linearized Vlasov-Poisson system around homogeneous equilibria is derived. It provides a fine description of some nonlinear and multidimensional phenomena such as the existence of Best frequencies. Numerical results for the 1Dx1D and 2Dx2D Vlasov-Poisson system illustrate the effectiveness of this approach.


title: Uncertainty quantification of molecular property prediction with Bayesian neural networks

abstract: Deep neural networks have outperformed existing machine learning models in various molecular applications. In practical applications, it is still difficult to make confident decisions because of the uncertainty in predictions arisen from insufficient quality and quantity of training data. Here, we show that Bayesian neural networks are useful to quantify the uncertainty of molecular property prediction with three numerical experiments. In particular, it enables us to decompose the predictive variance into the model- and data-driven uncertainties, which helps to elucidate the source of errors. In the logP predictions, we show that data noise affected the data-driven uncertainties more significantly than the model-driven ones. Based on this analysis, we were able to find unexpected errors in the Harvard Clean Energy Project dataset. Lastly, we show that the confidence of prediction is closely related to the predictive uncertainty by performing on bio-activity and toxicity classification problems.


title: An inverse conductivity problem in multifrequency electric impedance tomography

abstract: We deal with the problem of determining the shape of an inclusion embedded in a homogenous background medium. The multifre-quency electrical impedance tomography is used to image the inclusion. For different frequencies, a current is injected at the boundary and the resulting potential is measured. It turns out that the potential solves an elliptic equation in divergence form with discontinuous leading coefficient. For this inverse problem we aim to establish a logarithmic type stability estimate. The key point in our analysis consists in reducing the original problem to that of determining an unknown part of the inner boundary from a single boundary measurment. The stability estimate is then used to prove uniqueness results. We also provide an expansion of the solution of the BVP under consideration in the eigenfunction basis of the Neumann-Poincar{\'e} operator associated to the Neumann-Green function.


title: Fast domain walls governed by \OE rsted fields in cylindrical magnetic nanowires

abstract: Since its proposal, the idea to vastly increase data storage density with a magnetic non-volatile 3D shift-register has sustained interest in current-induced domain wall (DW) motion. So far, experimental efforts have focused on flat nanostrips, which exhibit a wide range of noteworthy effects, yet suffer from intrinsic DW instabilities limiting their mobility. In contrast, ferromagnetic cylindrical nanowires (NWs) can host a novel type of magnetic DW, namely the Bloch-point wall (BPW), which due to its specific 3D topology should not experience the same fundamental issue. This could give rise to DW velocities over ~1000 m/s and fascinating new physics including coupling to magnetic spin waves, however, experimental evidence of DW dynamics in NWs is lacking until now. Here we report experimental results on current-induced DW motion in NWs with velocities >600 m/s, quantitatively consistent with predictions. Furthermore, our results indicate that although previously disregarded, the OErsted field induced by the current plays instead a crucial and valuable role in stabilising exclusively BPWs.


title: Discrete fuzzy de Sitter cosmology

abstract: We analyze the spectrum of time observable in noncommutative cosmological model introduced in [5], defined by $(\rho, s=\frac 12)\,$ representation of the de Sitter group. We find that time has peculiar property: it is not self-adjoint, but appropriate restrictions to the space of physical states give self-adjoint extensions. Extensions have discrete spectrum with logarithmic distribution of eigenvalues, $\,t_n \sim \ell\, \log\, n$+const, where $\ell$ characterizes noncommutativity and the usual assumption is $\,\ell=\ell_{Planck}$. When calculated on physical states, radius of the universe is bounded below by $\, \ell\, \sqrt{\frac 34\, \left( \frac 14 +\rho^2\right)}\, $, which resolves the big bang singularity. An immediate consequence of the model is a specific breaking of the original symmetry at the Planck scale.


title: Sets of iterated Partitions and the Bell iterated Exponential Integers

abstract: It is well known that the Bell numbers represent the total number of partitions of an n-set. Similarly, the Stirling numbers of the second kind, represent the number of k-partitions of an n-set. In this paper we introduce a certain partitioning process that gives rise to a sequence of sets of "nested" partitions. We prove that at stage m, the cardinality of the resulting set will equal the m-th order Bell number. This set-theoretic interpretation enables us to make a natural definition of higher order Stirling numbers and to study the combinatorics of these entities. The cardinality of the elements of the constructed "hyper partition" sets are explored.


title: Interfacing CRYSTAL/AMBER to Optimize QM/MM Lennard-Jones Parameters for Water and to Study Solvation of TiO2 Nanoparticles

abstract: Metal oxide nanoparticles (NPs) are regarded as good candidates for many technological applications, where their functional environment is often an aqueous solution. The correct description of metal oxide electronic structure is still a challenge for local and semilocal density functionals, whereas hybrid functional methods provide an improved description, and local atomic function based codes such as CRYSTAL17 outperform plane wave codes when it comes to hybrid functional calculations. However, the computational cost of hybrids are still prohibitive for systems of real sizes, in a real environment. Therefore, we here present and critically assess the accuracy of our electrostatic embedding quantum mechanical/molecular mechanical (QM/MM) coupling between CRYSTAL17 and AMBER16, and demonstrate some of its capabilities via the case study of TiO2 NPs in water. First, we produced new Lennard-Jones (LJ) parameters that improve the accuracy of water-water interactions in the B3LYP/TIP3P coupling. Then, we applied our QM/MM coupling methodology to describe the interaction of a 1 nm wide multilayer of water surrounding a spherical TiO2 nanoparticle (NP). Optimizing the QM/MM water water parameters was found to have little to no effect on the local NP properties, which provide insights into the range of influence that can be attributed to the LJ term in the QM/MM coupling. The effect of adding additional water in an MM fashion on the geometry optimized nanoparticle structure is small, but more evident effects are seen in its electronic properties. We also show that there is good transferability of existing QM/MM LJ parameters for organic molecules water interactions to our QM/MM implementation, even though these parameters were obtained with a different QM code and QM/MM implementation, but with the same functional.


title: The Promise of Data Science for the Technosignatures Field

abstract: This paper outlines some of the possible advancements for the technosignatures searches using the new methods currently rapidly developing in computer science, such as machine learning and deep learning. It also showcases a couple of case studies of large research programs where such methods have been already successfully implemented with notable results. We consider that the availability of data from all sky, all the time observations paired with the latest developments in computational capabilities and algorithms currently used in artificial intelligence, including automation, will spur an unprecedented development of the technosignatures search efforts.


title: Carleman estimates for Baouendi-Grushin operators with applications to quantitative uniqueness and strong unique continuation

abstract: In this paper we establish some new $L^{2}-L^{2}$ Carleman estimates for the Baouendi-Grushin operators $\mathscr{B}_\gamma$, in (1.1) below. We apply such estimates to obtain: (i) an extension of the Bourgain-Kenig quantitative unique continuation; (ii) the strong unique continuation property for some degenerate sublinear equations.


title: Adaptive Majority Problems for Restricted Query Graphs and for Weighted Sets

abstract: Suppose that the vertices of a graph $G$ are colored with two colors in an unknown way. The color that occurs on more than half of the vertices is called the majority color (if it exists), and any vertex of this color is called a majority vertex. We study the problem of finding a majority vertex (or show that none exists) if we can query edges to learn whether their endpoints have the same or different colors. Denote the least number of queries needed in the worst case by $m(G)$. It was shown by Saks and Werman that $m(K_n)=n-b(n)$, where $b(n)$ is the number of 1's in the binary representation of $n$. In this paper, we initiate the study of the problem for general graphs. The obvious bounds for a connected graph $G$ on $n$ vertices are $n-b(n)\le m(G)\le n-1$. We show that for any tree $T$ on an even number of vertices we have $m(T)=n-1$ and that for any tree $T$ on an odd number of vertices, we have $n-65\le m(T)\le n-2$. Our proof uses results about the weighted version of the problem for $K_n$, which may be of independent interest. We also exhibit a sequence $G_n$ of graphs with $m(G_n)=n-b(n)$ such that $G_n$ has $O(nb(n))$ edges and $n$ vertices.


title: Combinatorial Auctions with Interdependent Valuations: SOS to the Rescue

abstract: We study combinatorial auctions with interdependent valuations. In such settings, each agent $i$ has a private signal $s_i$ that captures her private information, and the valuation function of every agent depends on the entire signal profile, ${\bf s}=(s_1,\ldots,s_n)$. The literature in economics shows that the interdependent model gives rise to strong impossibility results, and identifies assumptions under which optimal solutions can be attained. The computer science literature provides approximation results for simple single-parameter settings (mostly single item auctions, or matroid feasibility constraints). Both bodies of literature focus largely on valuations satisfying a technical condition termed {\em single crossing} (or variants thereof). We consider the class of {\em submodular over signals} (SOS) valuations (without imposing any single-crossing type assumption), and provide the first welfare approximation guarantees for multi-dimensional combinatorial auctions, achieved by universally ex-post IC-IR mechanisms. Our main results are: $(i)$ 4-approximation for any single-parameter downward-closed setting with single-dimensional signals and SOS valuations; $(ii)$ 4-approximation for any combinatorial auction with multi-dimensional signals and {\em separable}-SOS valuations; and $(iii)$ $(k+3)$- and $(2\log(k)+4)$-approximation for any combinatorial auction with single-dimensional signals, with $k$-sized signal space, for SOS and strong-SOS valuations, respectively. All of our results extend to a parameterized version of SOS, $d$-SOS, while losing a factor that depends on $d$.


title: Convolution with even-sized kernels and symmetric padding

abstract: Compact convolutional neural networks gain efficiency mainly through depthwise convolutions, expanded channels and complex topologies, which contrarily aggravate the training process. Besides, 3x3 kernels dominate the spatial representation in these models, whereas even-sized kernels (2x2, 4x4) are rarely adopted. In this work, we quantify the shift problem occurs in even-sized kernel convolutions by an information erosion hypothesis, and eliminate it by proposing symmetric padding on four sides of the feature maps (C2sp, C4sp). Symmetric padding releases the generalization capabilities of even-sized kernels at little computational cost, making them outperform 3x3 kernels in image classification and generation tasks. Moreover, C2sp obtains comparable accuracy to emerging compact models with much less memory and time consumption during training. Symmetric padding coupled with even-sized convolutions can be neatly implemented into existing frameworks, providing effective elements for architecture designs, especially on online and continual learning occasions where training efforts are emphasized.


title: A nonreciprocal optical resonator with broken time-invariance for arbitrarily high time-bandwidth performance

abstract: Most present-day resonant systems, throughout physics and engineering, are characterized by a strict time-reversal symmetry between the rates of energy coupled in and out of the system, which leads to a trade-off between how long a wave can be stored in the system and the system bandwidth. Any attempt to reduce the losses of the resonant system, and hence store a (mechanical, acoustic, electronic, optical, atomic, or of any other nature) wave for more time, will inevitably also reduce the bandwidth of the system. Until recently, this time-bandwidth limit has been considered fundamental, arising from basic Fourier reciprocity. A recent theory suggested that it might in fact be overcome by breaking Lorentz reciprocity in the resonant system, reinvigorated a debate about whether (or not) this was indeed the case. Here, we report an experimental realization of a cavity where, inducing nonreciprocity by breaking the time invariance, we do overcome the fundamental time-bandwidth limit of ordinary resonant systems by a factor of 30, in full agreement with accompanying numerical simulations. We show that, although in practice experimental constraints limit our scheme, the time bandwidth product can be arbitrarily large, simply dictated by the finesse of the cavity. Our experimental realization uses a simple macroscopic, time-variant, fiber-optic cavity, where we break Lorentz reciprocity by non-adiabatically opening the cavity, injecting a pulse of large bandwidth, and then closing the cavity, storing the pulse which can be released on-demand at a later time. Our results open the path for designing resonant systems, ubiquitous in physics and engineering, that can simultaneously be broadband (i.e., ultrafast) and possessing long storage times, thereby unleashing fundamentally new functionalities in wave physics and wave-matter interactions.


title: Dynamic Geometric Data Structures via Shallow Cuttings

abstract: We present new results on a number of fundamental problems about dynamic geometric data structures: 1. We describe the first fully dynamic data structures with sublinear amortized update time for maintaining (i) the number of vertices or the volume of the convex hull of a 3D point set, (ii) the largest empty circle for a 2D point set, (iii) the Hausdorff distance between two 2D point sets, (iv) the discrete 1-center of a 2D point set, (v)the number of maximal (i.e., skyline) points in a 3D point set. The update times are near $n^{11/12}$ for (i) and (ii), $n^{7/8}$ for (iii) and (iv), and $n^{2/3}$ for (v). Previously, sublinear bounds were known only for restricted `semi-online' settings [Chan, SODA 2002]. 2. We slightly improve previous fully dynamic data structures for answering extreme point queries for the convex hull of a 3D point set and nearest neighbor search for a 2D point set. The query time is $O(\log^2n)$, and the amortized update time is $O(\log^4n)$ instead of $O(\log^5n)$ [Chan, SODA 2006; Kaplan et al., SODA 2017]. 3. We also improve previous fully dynamic data structures for maintaining the bichromatic closest pair between two 2D point sets and the diameter of a 2D point set. The amortized update time is $O(\log^4n)$ instead of $O(\log^7n)$ [Eppstein 1995; Chan, SODA 2006; Kaplan et al., SODA 2017].


title: Effect of solute content and temperature on the deformation mechanisms and critical resolved shear stress in Mg-Al and Mg-Zn alloys

abstract: The influence of solute atoms (Al and Zn) on the deformation mechanisms and the critical resolved shear stress for basal slip in Mg alloys at 298 K and 373 K was ascertained by micropillar compression tests in combination with high-throughput processing techniques based on the diffusion couples. It was found that the presence of solute atoms enhances the size effect at 298 K as well as the localization of deformation in slip bands, which is associated with large strain bursts in the resolved shear stress ($\tau_{RSS}$)-strain ($\epsilon$) curves. Deformation in pure Mg and Mg alloys was more homogeneous at 373 K and the influence of the micropillar size on the critical resolved shear stress was much smaller. In this latter case, it was possible to determine the effect of solute content on the critical resolved shear stress for basal slip in Mg-Al and Mg-Zn alloys.


title: Contextual Compositionality Detection with External Knowledge Bases andWord Embeddings

abstract: When the meaning of a phrase cannot be inferred from the individual meanings of its words (e.g., hot dog), that phrase is said to be non-compositional. Automatic compositionality detection in multi-word phrases is critical in any application of semantic processing, such as search engines; failing to detect non-compositional phrases can hurt system effectiveness notably. Existing research treats phrases as either compositional or non-compositional in a deterministic manner. In this paper, we operationalize the viewpoint that compositionality is contextual rather than deterministic, i.e., that whether a phrase is compositional or non-compositional depends on its context. For example, the phrase `green card' is compositional when referring to a green colored card, whereas it is non-compositional when meaning permanent residence authorization. We address the challenge of detecting this type of contextual compositionality as follows: given a multi-word phrase, we enrich the word embedding representing its semantics with evidence about its global context (terms it often collocates with) as well as its local context (narratives where that phrase is used, which we call usage scenarios). We further extend this representation with information extracted from external knowledge bases. The resulting representation incorporates both localized context and more general usage of the phrase and allows to detect its compositionality in a non-deterministic and contextual way. Empirical evaluation of our model on a dataset of phrase compositionality, manually collected by crowdsourcing contextual compositionality assessments, shows that our model outperforms state-of-the-art baselines notably on detecting phrase compositionality.


title: Combined molecular dynamics and phase-field modelling of crack propagation in defective graphene

abstract: In this work, a combined modelling approach for crack propagation in defective graphene is presented. Molecular dynamics (MD) simulations are used to obtain material parameters (Young's modulus and Poisson ratio) and to determine the energy contributions during the crack evolution. The elastic properties are then applied in phase-field continuum simulations which are based on the Griffith energy criterion for fracture. In particular, the influence of point defects on elastic properties and the fracture toughness are investigated. For the latter, we obtain values consistent with recent experimental findings. Further, we discuss alternative definitions of an effective fracture toughness, which accounts for the conditions of crack propagation and establishes a link between dynamic, discrete and continuous, quasi-static fracture processes on MD level and continuum level, respectively. It is demonstrated that the combination of MD and phase-field simulations is a well-founded approach to identify defect-dependent material parameters.


title: IEEE 802.11bd & 5G NR V2X: Evolution of Radio Access Technologies for V2X Communications

abstract: With rising interest in autonomous vehicles, developing radio access technologies (RATs) that enable reliable and low latency vehicular communications has become of paramount importance. Dedicated Short Range Communications (DSRC) and Cellular V2X (C-V2X) are two present-day technologies that are capable of supporting day-1 vehicular applications. However, these RATs fall short of supporting communication requirements of many advanced vehicular applications, which are believed to be critical in enabling fully autonomous vehicles. Both DSRC and C-V2X are undergoing extensive enhancements in order to support advanced vehicular applications that are characterized by high reliability, low latency and high throughput requirements. These RAT evolutions---IEEE 802.11bd for DSRC and NR V2X for C-V2X---can supplement today's vehicular sensors in enabling autonomous driving. In this paper, we briefly describe the two present-day vehicular RATs. In doing so, we highlight their inability to guarantee quality of service requirements of many advanced vehicular applications. We then look at the two RAT evolutions, i.e., IEEE 802.11bd and NR V2X and outline their objectives, describe their salient features and provide an in-depth description of key mechanisms that enable these features. While both, IEEE 802.11bd and NR V2X, are in their initial stages of development, we shed light on their preliminary performance projections and compare and contrast the two evolutionary RATs with their respective predecessors.


title: Magnetoplasmonics in nanocavities: Dark plasmons enhance magneto-optics beyond the intrinsic limit of magnetoplasmonic nanoantennas

abstract: Enhancing magneto-optical effects is crucial for size reduction of key photonic devices based on non-reciprocal propagation of light and to enable active nanophotonics. We disclose a so far unexplored approach that exploits dark plasmons to produce an unprecedented amplification of magneto-optical activity. We designed and fabricated non-concentric magnetoplasmonic-disk/plasmonic-ring-resonator nanocavities supporting multipolar dark modes. The broken geometrical symmetry of the design enables coupling with free-space light and hybridization of dark modes of the ring nanoresonator with the dipolar localized plasmon resonance of the magnetoplasmonic disk. Such hybridization generates a multipolar resonance that amplifies the magneto-optical response of the nanocavity by ~1-order of magnitude with respect to the maximum enhancement achievable by localized plasmons in bare magnetoplasmonic nanoantennas. This large amplification results from the peculiar and enhanced electrodynamic response of the nanocavity, yielding an intense magnetically-activated radiant magneto-optical dipole driven by the low-radiant multipolar resonance. The concept proposed is general and, therefore, our results open a new path that can revitalize research and applications of magnetoplasmonics to active nanophotonics and flat optics.


title: Littlewood-Paley Characterization for Musielak-Orlicz-Hardy Spaces Associated with Operators

abstract: Let $X$ be a space of homogeneous type. Assume that $L$ is an non-negative second-order self-adjoint operator on $L^2\left(X\right)$ with (heart) kernel associated to the semigroup $e^{ - tL}$ that satisfies the Gaussian upper bound. In this paper, the authors introduce a new characterization of the Musielak-Orlicz-Hardy Space $H_{\varphi, L}\left(X\right)$ associated with $L$ in terms of the Lusin area function where $\varphi$ is a growth function. Further, the authors prove that the Musielak-Orlicz-Hardy Space $H_{L,G,\varphi}\left(X\right)$ associated with $L$ in terms of the Littlewood-Paley function is coincide with $H_{\varphi, L}\left(X\right)$ and their norms are equivalent.


title: A possible mechanism for superconductivity in doped SrTiO3

abstract: The soft ferro-electric phonon in SrTiO3 observed with optical spectroscopy has an extraordinary strong spectral weight which is much stronger than expected in the limit of a perfectly ionic compound. The "charged phonon" in SrTiO3 is caused by the close-to-covalent character of the Ti-O ionic bond and implies a strong coupling between the soft ferro-electric phonon and the inter band transitions across the 3 eV gap of SrTiO3. We demonstrate that this coupling leads, in addition to the charged phonon effect, to a pairing interaction involving the exchange of two transverse optical phonons. This process owes its relevance to the strong electron-phonon coupling and to the fact that the interaction mediated by a single transverse optical phonon vanishes at low electron density. We use the experimental soft phonon spectral weight to calculate the strength of the bi-phonon mediated pairing interaction in the electron doped material and show that it is of the correct magnitude when compared to the experimental value of the superconducting critical temperature.


title: Nonlinear magnetization dynamics driven by strong terahertz fields

abstract: We present a comprehensive experimental and numerical study of magnetization dynamics triggered in a thin metallic film by single-cycle terahertz pulses of $\sim20$ MV/m electric field amplitude and $\sim1$ ps duration. The experimental dynamics is probed using the femtosecond magneto-optical Kerr effect (MOKE), and it is reproduced numerically using macrospin simulations. The magnetization dynamics can be decomposed in three distinct processes: a coherent precession of the magnetization around the terahertz magnetic field, an ultrafast demagnetization that suddenly changes the anisotropy of the film, and a uniform precession around the equilibrium effective field that is relaxed on the nanosecond time scale, consistent with a Gilbert damping process. Macrospin simulations quantitatively reproduce the observed dynamics, and allow us to predict that novel nonlinear magnetization dynamics regimes can be attained with existing table-top terahertz sources.


title: Unfolding of the unramified irregular singular generalized isomonodromic deformation

abstract: We introduce an unfolded moduli space of connections, which is an algebraic relative moduli space of connections on complex smooth projective curves, whose generic fiber is a moduli space of regular singular connections and whose special fiber is a moduli space of unramified irregular singular connections. On the moduli space of unramified irregular singular connections, there is a subbundle of the tangent bundle defining the generalized isomonodromic deformation produced by the Jimbo-Miwa-Ueno theory. On an analytic open subset of the unfolded moduli space of connections, we construct a non-canonical lift of this subbundle, which we call an unfolding of the unramified irregular singular generalized isomonodromic deformation. Our construction of an unfolding of the unramified irregular singular generalized isomonodromic deformation is not compatible with the asymptotic property in the unfolding theory established by Hurtubise, Lambert and Rousseau which gives unfolded Stokes matrices for an unfolded linear differential equation in a general framework.


title: Confined step-flow growth of Cu intercalated between graphene and a Ru(0001) surface

abstract: By comparing the growth of Cu thin films on bare and graphene-covered Ru(0001) surfaces, we demonstrate the role of graphene as a surfactant allowing the formation of flat Cu films. Low-energy electron microscopy, X-ray photoemission electron microscopy and X-ray absorption spectroscopy reveal that depositing Cu at 580 K leads to distinct behaviors on both types of surfaces. On bare Ru, a Stranski-Krastanov growth is observed, with first the formation of an atomically flat and monolayer-thick wetting layer, followed by the nucleation of three-dimensional islands. In sharp contrast, when Cu is deposited on a graphene-covered Ru surface under the very same conditions, Cu intercalates below graphene and grows in a step-flow manner: atomically-high growth fronts of intercalated Cu form at the graphene edges, and extend towards the center of the flakes. Our findings suggest potential routes in metal heteroepitaxy for the control of thin film morphology.


title: Modelling Graph Errors: Towards Robust Graph Signal Processing

abstract: The first step for any graph signal processing (GSP) procedure is to learn the graph signal representation, i.e., to capture the dependence structure of the data into an adjacency matrix. Indeed, the adjacency matrix is typically not known a priori and has to be learned. However, it is learned with errors. A little attention has been paid to modelling such errors in the adjacency matrix, and studying their effects on GSP methods. However, modelling errors in the adjacency matrix will enable both to study the graph error effects in GSP and to develop robust GSP algorithms. In this paper, we therefore introduce practically justifiable graph error models. We also study, both analytically when possible and numerically, the graph error effect on the performance of GSP methods in different types of problems such as filtering of graph signals and independent component analysis of graph signals (graph decorrelation).


title: On the screening mechanism in DHOST theories evading gravitational wave constraints

abstract: We consider a subclass of degenerate higher-order scalar-tensor (DHOST) theories in which gravitational waves propagate at the speed of light and do not decay into scalar fluctuations. The screening mechanism in DHOST theories evading these two gravitational wave constraints operates very differently from that in generic DHOST theories. We derive a spherically symmetric solution in the presence of nonrelativistic matter. General relativity is recovered in the vacuum exterior region provided that functions in the Lagrangian satisfy a certain condition, implying that fine-tuning is required. Gravity in the matter interior exhibits novel features: although the gravitational potentials still obey the standard inverse power law, the effective gravitational constant is different from its exterior value, and the two metric potentials do not coincide. We discuss possible observational constraints on this subclass of DHOST theories, and argue that the tightest bound comes from the Hulse-Taylor pulsar.


title: Hamilton-Jacobi equations for optimal control on multidimensional junctions with entry costs

abstract: We consider an infinite horizon control problem for dynamics constrained to remain on a multidimensional junction with entry costs. We derive the associated system of Hamilton-Jacobi equations (HJ), prove the comparison principle and that the value function of the optimal control problem is the unique viscosity solution of the HJ system. This is done under the usual strong controllability assumption and also under a weaker condition, coined 'moderate controllability assumption'.


title: A survey of the thermal and non-thermal properties of cosmic filaments

abstract: In this paper, we exploit a large suite of {\enzo} cosmological magneto-hydrodynamical simulations adopting uniform mesh resolution, to investigate the properties of cosmic filaments under different baryonic physics and magnetogenesis scenarios. We exploit a isovolume based algorithm to identify filaments and determine their attributes from the continuous distribution of gas mass density in the simulated volumes. The global (e.g. mass, size, mean temperature and magnetic field strength, enclosed baryon fraction) and internal (e.g. density, temperature, velocity and magnetic field profiles) properties of filaments in our volume are calculated across almost four orders of magnitude in mass. The inclusion of variations in non-gravitational physical processes (radiative cooling, star formation, feedback from star forming regions and active galactic nuclei) as well as in the seeding scenarios for magnetic fields (early magnetisation by primordial process vs later seeding by galaxies) allows us to study both the large-scale thermodynamics and the magnetic properties of the Warm-Hot Intergalactic Medium (WHIM) with an unprecedented detail. We show how the impact of non-gravitational physics on the global thermodynamical properties of filaments is modest, with the exception of the densest gas environment surrounding galaxies in filaments. Conversely, the magnetic properties of the WHIM in filament are found to dramatically vary as different seeding scenarios are considered. We study the correlation between the properties of galaxy-sized halos and their host filaments, as well as between the halos and the local WHIM in which they lie. Significant general statistical trends are reported.


title: High-index dielectric metasurfaces performing mathematical operations

abstract: Image processing and edge detection are at the core of several newly emerging technologies, such as augmented reality, autonomous driving and more generally object recognition. Image processing is typically performed digitally using integrated electronic circuits and algorithms, implying fundamental size and speed limitations, as well as significant power needs. On the other hand, it can also be performed in a low-power analog fashion using Fourier optics, requiring however bulky optical components. Here, we introduce dielectric metasurfaces that perform optical image edge detection in the analog domain using a subwavelength geometry that can be readily integrated with detectors. The metasurface is composed of a suitably engineered array of nanobeams designed to perform either 1st- or 2nd-order spatial differentiation. We experimentally demonstrate the 2nd-derivative operation on an input image, showing the potential of all-optical edge detection using a silicon metasurface geometry working at a numerical aperture as large as 0.35.


title: Twists and The Electronic Structure of Graphitic Materials

abstract: We analyze the effect of twists on the electronic structure of configurations of infinite stacks of graphene layers. We focus on three different cases: an infinite stack where each layer is rotated with respect to the previous one by a fixed angle, two pieces of semi-infinite graphite rotated with respect to each other, and finally a single layer of graphene rotated with respect to a graphite surface. In all three cases we find a rich structure, with sharp resonances and flat bands for small twist angles. The method used can be easily generalized to more complex arrangements and stacking sequences.


title: Neural Check-Worthiness Ranking with Weak Supervision: Finding Sentences for Fact-Checking

abstract: Automatic fact-checking systems detect misinformation, such as fake news, by (i) selecting check-worthy sentences for fact-checking, (ii) gathering related information to the sentences, and (iii) inferring the factuality of the sentences. Most prior research on (i) uses hand-crafted features to select check-worthy sentences, and does not explicitly account for the recent finding that the top weighted terms in both check-worthy and non-check-worthy sentences are actually overlapping [15]. Motivated by this, we present a neural check-worthiness sentence ranking model that represents each word in a sentence by \textit{both} its embedding (aiming to capture its semantics) and its syntactic dependencies (aiming to capture its role in modifying the semantics of other terms in the sentence). Our model is an end-to-end trainable neural network for check-worthiness ranking, which is trained on large amounts of unlabelled data through weak supervision. Thorough experimental evaluation against state of the art baselines, with and without weak supervision, shows our model to be superior at all times (+13% in MAP and +28% at various Precision cut-offs from the best baseline with statistical significance). Empirical analysis of the use of weak supervision, word embedding pretraining on domain-specific data, and the use of syntactic dependencies of our model reveals that check-worthy sentences contain notably more identical syntactic dependencies than non-check-worthy sentences.


title: A Calderon Regularized Symmetric Formulation for the Electroencephalography Forward Problem

abstract: The symmetric formulation of the electroencephalography (EEG) forward problem is a well-known and widespread equation thanks to the high level of accuracy that it delivers. However, this equation is first kind in nature and gives rise to ill-conditioned problems when the discretization density or the brain conductivity contrast increases, resulting in numerical instabilities and increasingly slow solutions. This work addresses and solves this problem by proposing a new regularized symmetric formulation. The new scheme is obtained by leveraging on Calderon identities which allow to introduce a dual symmetric equation that, combined with the standard one, results in a second kind operator which is both stable and well-conditioned under all the above mentioned conditions. The new formulation presented here can be easily integrated into existing EEG imaging packages since it can be obtained with the same computational technology required by the standard symmetric formulation. The performance of the new scheme is substantiated by both theoretical developments and numerical results which corroborate the theory and show the practical impact of the new technique.


title: Ab Initio Investigation Of Phosphorus And Hydrogen Co-segregation And Embrittlement In {\alpha}-fe Twin Boundaries

abstract: We propose a new statistical physics model to study equilibrium solute segregation at grain boundaries and the resulting embrittlement effect. This low-temperature expansion model is general and efficient, and its parameters can be obtained from atomistic calculations. It is possible to take into account multiple species, multiple segregation sites with different segregation free energies, account for configurational entropy, grain radius and site competition between solutes. As an example, the model is then applied to the study of phosphorus and hydrogen co-segregation at $\Sigma3$ $109.5\deg[0\bar{1}1]\{111\}$ twin boundaries in $\alpha$-Fe, using energetic parameters from density-functional theory calculations. We show that P--H interactions may lead to increased P segregation at grain boundaries and cause additional embrittlement compared to the case where P and H are considered separately.


title: On the displacement of two immiscible Oldroyd-B fluids in a Hele-Shaw cell

abstract: The Saffman-Taylor instability occurs when { a} Stokes fluid is displaced by a less viscous one { in} a Hele-Shaw cell. { This model is useful to study the secondary oil recovery from a pororus medum.} Since 1960, { polymer solutions} were used as displacing fluids; moreover, the oil in a porous reservoir can often be considered a non-Newtonian fluid. Motivated by this fact, in this paper we study the linear stability of the displacement of two Oldroyd-B fluids in a rectilinear Hele-Shaw cell, even if the direct relevance for the flow through porous media is not so evident. We get an { approximate} formula of the growth rate of perturbations, which depends on the { difference} of the Weissenberg numbers of the two fluids. { A blow-up of the growth rate appears for a critical value of this difference.} This singularity is in agreement with { previous} numerical and experimental results, already reported by several papers concerning the flow of complex fluids in Hele-Shaw cells.


title: Modelling Sequential Music Track Skips using a Multi-RNN Approach

abstract: Modelling sequential music skips provides streaming companies the ability to better understand the needs of the user base, resulting in a better user experience by reducing the need to manually skip certain music tracks. This paper describes the solution of the University of Copenhagen DIKU-IR team in the 'Spotify Sequential Skip Prediction Challenge', where the task was to predict the skip behaviour of the second half in a music listening session conditioned on the first half. We model this task using a Multi-RNN approach consisting of two distinct stacked recurrent neural networks, where one network focuses on encoding the first half of the session and the other network focuses on utilizing the encoding to make sequential skip predictions. The encoder network is initialized by a learned session-wide music encoding, and both of them utilize a learned track embedding. Our final model consists of a majority voted ensemble of individually trained models, and ranked 2nd out of 45 participating teams in the competition with a mean average accuracy of 0.641 and an accuracy on the first skip prediction of 0.807. Our code is released at https://github.com/Varyn/WSDM-challenge-2019-spotify.


title: TBar: Revisiting Template-based Automated Program Repair

abstract: We revisit the performance of template-based APR to build comprehensive knowledge about the effectiveness of fix patterns, and to highlight the importance of complementary steps such as fault localization or donor code retrieval. To that end, we first investigate the literature to collect, summarize and label recurrently-used fix patterns. Based on the investigation, we build TBar, a straightforward APR tool that systematically attempts to apply these fix patterns to program bugs. We thoroughly evaluate TBar on the Defects4J benchmark. In particular, we assess the actual qualitative and quantitative diversity of fix patterns, as well as their effectiveness in yielding plausible or correct patches. Eventually, we find that, assuming a perfect fault localization, TBar correctly/plausibly fixes 74/101 bugs. Replicating a standard and practical pipeline of APR assessment, we demonstrate that TBar correctly fixes 43 bugs from Defects4J, an unprecedented performance in the literature (including all approaches, i.e., template-based, stochastic mutation-based or synthesis-based APR).


title: Some remarks on non projective Frobenius algebras and linear codes

abstract: With a small suitable modification, dropping the projectivity condition, we extend the notion of a Frobenius algebra to grant that a Frobenius algebra over a Frobenius commutative ring is itself a Frobenius ring. The modification introduced here also allows Frobenius finite rings to be precisely those rings which are Frobenius finite algebras over their characteristic subrings. From the perspective of linear codes, our work expands one's options to construct new finite Frobenius rings from old ones. We close with a discussion of generalized versions of the MacWilliams identities that may be obtained in this context.


title: Manifestation of dipole-induced disorder in self-assembly of ferroelectric and ferromagnetic nanocubes

abstract: The colloidal processing of nearly monodisperse and highly crystalline single-domain ferroelectric or ferromagnetic nanocubes is a promising route to produce superlattice structures for integration into next-generation devices, whereas controlling the local behaviour of nanocrystals is imperative for fabricating highly-ordered assemblies. The current picture of nanoscale polarization in individual nanocrystals suggests a potential presence of a significant dipolar interaction, but its role in the condensation of nanocubes is unknown. We simulate the self-assembly of colloidal dipolar nanocubes under osmotic compression and perform the microstructural characterization of their densified ensembles. Our results indicate that the long-range positional and orientational correlations of perovskite nanocubes are highly sensitive to the presence of dipoles.


title: Modeling Intelligent Decision Making Command And Control Agents: An Application to Air Defense

abstract: The paper is a half-way between the agent technology and the mathematical reasoning to model tactical decision making tasks. These models are applied to air defense (AD) domain for command and control (C2). It also addresses the issues related to evaluation of agents. The agents are designed and implemented using the agent-programming paradigm. The agents are deployed in an air combat simulated environment for performing the tasks of C2 like electronic counter counter measures, threat assessment, and weapon allocation. The simulated AD system runs without any human intervention, and represents state-of-the-art model for C2 autonomy. The use of agents as autonomous decision making entities is particularly useful in view of futuristic network centric warfare.


title: Simulation of Sky Surveys with the Flyeye Telescope

abstract: ESA's Flyeye telescope is designed with a very large field of view (FoV) in order to scan the sky for unknown near-Earth Objects (NEOs). For typical exposure times of 40 s, the telescope is able to detect objects with a limiting magnitude up to 21.5. The aim is to observe those NEOs that are going to hit the Earth within a few weeks or days, in advance of impact. In order to estimate the detection rate of NEOs with the Flyeye telescope, a synthetic population of Earth threatening asteroids is created by means of the software NEOPOP. Then, the true anomalies and longitudes of the ascending node of these objects are modified in order to generate about 2500 impactors. In the simulations almost three impacts can be detected per year from NEOs down to 1 m using only one Flyeye telescope. When operating two telescopes simultaneously, one at Monte Mufara and one at La Silla, four detected impacts per year are expected. Nonetheless, it is estimated that about 15.6% of the Earth impactors will be very difficult to be detected using ground-based telescopes due to the fact that they are approaching us from the Sun.


title: On the modeling of brain fibers in the EEG forward problem via a new family of wire integral equations

abstract: Source localization based on electroencephalography (EEG) has become a widely used neuroimagining technique. However its precision has been shown to be very dependent on how accurately the brain, head and scalp can be electrically modeled within the so-called forward problem. The construction of this model is traditionally performed by leveraging Finite Element or Boundary Element Methods (FEM or BEM). Even though the latter is more computationally efficient thanks to the smaller interaction matrices it yields and near-linear solvers, it has traditionally been used on simpler models than the former. Indeed, while FEM models taking into account the different media anisotropies are widely available, BEM models have been limited to isotropic, piecewise homogeneous models. In this work we introduce a new BEM scheme taking into account the anisotropies of the white matter. The boundary nature of the formulation allows for an efficient discretization and modelling of the fibrous nature of the white matter as one-dimensional basis functions, limiting the computational impact of their modelling. We compare our scheme against widely used formulations and establish its correctness in both canonical and realistic cases.


title: Creeping flow of micropolar fluid through a swarm of cylindrical cells with porous layer (membrane)

abstract: The flow of micropolar fluid through a membrane modeled as a swarm of solid cylindrical particles with porous layer using the cell model technique is considered. The flow is directed perpendicular to the axis of the cylinders. Boundary value problem involves traditional conditions of velocities and stresses continuity, no-stress and no-couple stress / no-spin condition on hypothetical cell surface. The problem was solved analytically. The influence of micropolar and porous medium parameters on hydrodynamic permeability of a membrane has been studied.


title: Zero-mode contribution and quantized first order phase transition in a droplet quark matter

abstract: The finite size effect on hadron physics and quark matter has attracted much interest for more than three decades, normally both the periodic (with zero-momentum mode) and the anti-periodic (without zero-momentum mode) spatial boundary condition are applied for fermions. By comparing the thermodynamical potential, it is found that if there is no other physical constraint, the droplet quark matter is always more stable when the periodic spatial boundary condition is applied, and the catalysis of chiral symmetry breaking is observed with the decrease of the system size, while the pions excited from the droplet vacuum keep as pseudo Nambu-Goldstone bosons. Furthermore, it is found that the zero-momentum mode contribution brings significant change of the chiral apparent phase transition in a droplet of cold dense quark matter: the 1st-order chiral apparent phase transition becomes quantized, i.e., the 1st-order apparent phase transition is completed in two steps, which is a brand-new quantum phenomena. It is expected that the catalysis of chiral symmetry breaking and the quantized 1st-order apparent phase transition are common features for fermionic systems with quantized momentum spectrum with zero-mode contribution, which also show up in quark matter under magnetic field.


title: Successive phase transitions and quantum magnetization plateau in the spin-1 triangular-lattice antiferromagnet Ba$_2$La$_2$NiTe$_2$O$_{12}$

abstract: The crystal structure and magnetic properties of the spin-1 triangular-lattice antiferromagnet Ba$_2$La$_2$NiTe$_2$O$_{12}$ are reported. Its crystal structure is trigonal $R\bar{3}$, which is the same as that of Ba$_2$La$_2$NiW$_2$O$_{12}$ [Y. Doi et al., J. Phys.: Condens. Matter 29, 365802 (2017)]. However, the exchange interaction $J/k_{\mathrm{B}}\simeq19$ K is much greater than that observed in the tungsten system. At zero magnetic field, Ba$_2$La$_2$NiTe$_2$O$_{12}$ undergoes successive magnetic phase transitions at $T_{\mathrm{N}1}=9.8$ K and $T_{\mathrm{N}2}=8.9$ K. The ground state is accompanied by a weak ferromagnetic moment. These results indicate that the ground-state spin structure is a triangular structure in a plane perpendicular to the triangular lattice owing to the small easy-axis-type anisotropy. The magnetization curve exhibits the one-third plateau characteristic of a two-dimensional triangular-lattice Heisenberg-like antiferromagnet. Exchange constants are also evaluated using density functional theory (DFT). The DFT results demonstrate the large difference in the exchange constants between tellurium and tungsten systems and the good two-dimensionality of the tellurium system.