title: Universal Randomized Guessing Subjected to Distortion

abstract: In this paper, we consider the problem of guessing a sequence subject to a distortion constraint. Specifically, we assume the following game between Alice and Bob: Alice has a sequence $\bx$ of length $n$. Bob wishes to guess $\bx$, yet he is satisfied with finding any sequence $\hat{\bx}$ which is within a given distortion $D$ from $\bx$. Thus, he successively submits queries to Alice, until receiving an affirmative answer, stating that his guess was within the required distortion. Finding guessing strategies which minimize the number of guesses (the \emph{guesswork}), and analyzing its properties (e.g., its $\rho$--th moment) has several applications in information security, source and channel coding. Guessing subject to a distortion constraint is especially useful when considering contemporary biometrically--secured systems, where the "password" which protects the data is not a single, fixed vector but rather a \emph{ball of feature vectors} centered at some $\bx$, and any feature vector within the ball results in acceptance. We formally define the guessing problem under distortion in \emph{four different setups}: memoryless sources, guessing through a noisy channel, sources with memory and individual sequences. We suggest a randomized guessing strategy which is asymptotically optimal for all setups and is \emph{five--fold universal}, as it is independent of the source statistics, the channel, the moment to be optimized, the distortion measure and the distortion level.


title: Depth estimation of endoscopy using sim-to-real transfer

abstract: In order to use the navigation system effectively, distance information sensors such as depth sensors are essential. Since depth sensors are difficult to use in endoscopy, many groups propose a method using convolutional neural networks. In this paper, the ground truth of the depth image and the endoscopy image is generated through endoscopy simulation using the colon model segmented by CT colonography. Photo-realistic simulation images can be created using a sim-to-real approach using cycleGAN for endoscopy images. By training the generated dataset, we propose a quantitative endoscopy depth estimation network. The proposed method represents a better-evaluated score than the existing unsupervised training-based results.


title: Blackbody thermodynamics in the presence of Casimir's effect

abstract: This paper is a study of the electromagnetic radiation at temperature $T$ in a thin slab whose walls are made of a perfect conductor. The two large parallel walls of area $A$ are apart by a distance $d\ll \sqrt{A}$. We take $T$, $A$, and $d$ as thermodynamic parameters, obtaining the free energy from a procedure that involves the integration over the slab of the ensemble average of the stress-energy-momentum tensor calculated long ago by Brown and Maclay. Both thermodynamic regimes $kTd/\hbar c\gg 1$ and $kTd/\hbar c\ll 1$ are fully addressed. We show that certain thermodynamic quantities which are notoriously ill defined (or trivial) in ordinary blackbody thermodynamics are now well defined (or nontrivial) due to presence of boundary conditions at the walls of the slab ("Casimir's effect"). The relationships among such quantities are fully explored and it is speculated that they may be experimentally checked. Stability is addressed, showing that electromagnetic radiation in the slab is thermally stable; but mechanically unstable. We investigate thermodynamic processes where temperature, internal energy, entropy and enthalpy are each taken to be constant, revealing rather atypical behaviors. For example, in sharp contrast with what one would expect from a gas, when $kTd/\hbar c\ll 1$, "free expansion" gives place to "free contraction'' in accordance with the second law of thermodynamics. As a check of consistency of the formulae we remark that various Carnot cycles have been examined and verified that they correctly lead to Carnot's efficiency.


title: HeteroQA: Learning towards Question-and-Answering through Multiple Information Sources via Heterogeneous Graph Modeling

abstract: Community Question Answering (CQA) is a well-defined task that can be used in many scenarios, such as E-Commerce and online user community for special interests. In these communities, users can post articles, give comment, raise a question and answer it. These data form the heterogeneous information sources where each information source have their own special structure and context (comments attached to an article or related question with answers). Most of the CQA methods only incorporate articles or Wikipedia to extract knowledge and answer the user's question. However, various types of information sources in the community are not fully explored by these CQA methods and these multiple information sources (MIS) can provide more related knowledge to user's questions. Thus, we propose a question-aware heterogeneous graph transformer to incorporate the MIS in the user community to automatically generate the answer. To evaluate our proposed method, we conduct the experiments on two datasets: $\text{MSM}^{\text{plus}}$ the modified version of benchmark dataset MS-MARCO and the AntQA dataset which is the first large-scale CQA dataset with four types of MIS. Extensive experiments on two datasets show that our model outperforms all the baselines in terms of all the metrics.


title: Smart Grid Architecture with High Proportion of Energy Utilization

abstract: DC power generation is an emerging trend and has been preferred due to its low cost and low in system power losses within local distribution grid. The theme of this paper is the indigenous design of a DC standalone micro grid which will stabilize the fluctuating power generated from hybrid energy resources and manage its power distribution. The power is distributed through a DC distribution line and converted to the required AC or DC form by converters placed near loads. This project includes power generation, distribution and management strategies for a sustainable micro grid primarily powered by wind and solar energy. DC transmittable power can increase the system efficiency up to 10% as compared to AC.


title: Period matrices of some hyperelliptic Riemann surfaces

abstract: In this paper, we calculate period matrices of algebraic curves defined by $$w^2=z(z^2-1)(z^2-a_1^2)(z^2-a_2^2)\cdots (z^2-a_{g-1}^2)$$ for any $g\geq 2$ and $a_1, a_2, \dots, a_{g-1}\in \mathbb{R}$ with $1<a_1<a_2<\cdots <a_{g-1}$. We construct these algebraic curves from Euclidean polygons. A symplectic basis of these curves are given from the polygons.


title: Ultraviolet Mie resonances in computationally discovered boron phosphide nanoparticles

abstract: Controlling ultraviolet light at the nanoscale using optical Mie resonances holds great promise for a diverse set of applications, such as lithography, sterilization, and biospectroscopy. However, Mie resonances hosted by dielectric nanoantennas are difficult to realize at ultraviolet wavelengths due to the lack of both suitable materials and fabrication methods. Here, we systematically search for improved materials by computing the frequency dependent optical permittivity of 338 binary semiconductors and insulators from first principles, and evaluate their potential performance as high refractive index materials using Mie theory. Our analysis reveals several interesting candidate materials among which boron phosphide (BP) appears particularly promising. We then prepare BP nanoparticles and demonstrate that they support Mie resonances at visible and ultraviolet wavelengths using both far-field optical measurements and near-field electron energy-loss spectroscopy. We also present a laser reshaping method to realize spherical Mie-resonant BP nanoparticles. With a refractive index above 3 and low absorption losses, BP nanostructures advance Mie optics to the ultraviolet.


title: Screening nearest-neighbor interactions in networks of exciton-polariton condensates through spin orbit coupling

abstract: We study the modification of the spatial coupling parameter between interacting ballistic exciton-polariton condensates in the presence of photonic spin orbit coupling appearing from TE-TM splitting in planar semiconductor microcavities. We propose a strategy to make the coupling strength between next-nearest-neighbours stronger than between nearest-neighbour, which inverts the conventional idea of the spatial coupling hierarchy between sites. Our strategy relies on the dominantly populated high-momentum components in the ballistic condensates which, in the presence of TE-TM splitting, lead to rapid radial precession of the polariton pseudospin. As a consequence, condensate pairs experience distance-periodic screening of their interaction strength, severely modifying their synchronization and condensation threshold solutions.


title: A Novel Algorithm to Solve for an Underwater Line Source Sound Field Based on Coupled Modes and a Spectral Method

abstract: A high-precision numerical sound field is the basis of underwater target detection, positioning and communication. A line source in a plane is a common type of sound source in computational ocean acoustics. The exciting waveguide in a range-dependent ocean environment is often structurally complicated; however, traditional algorithms often assume that the waveguide has a simple seabed boundary and that the line source is located at a horizontal range of 0 m, although this ideal situation is rarely encountered in the actual ocean. In this paper, a novel algorithm is designed that can solve for the sound field excited by a line source at any position in a range-dependent ocean environment. The proposed algorithm uses the classic stepwise approximation approach to address the range dependence of the environment and uses the Chebyshev--Tau spectral method to solve for the horizontal wavenumbers and modes of approximately range-independent segments. Once the modal information of these flat segments has been obtained, a global matrix is constructed to solve for the coupling coefficients of all segments, and finally, the complete sound field is synthesized. Numerical experiments using a robust numerical program developed based on this algorithm verify the correctness and usability of our novel algorithm and software. Furthermore, a detailed analysis and test of the computational cost of this algorithm show that it is efficient.


title: Over-the-Air Federated Multi-Task Learning Over MIMO Multiple Access Channels

abstract: With the explosive growth of data and wireless devices, federated learning (FL) over wireless medium has emerged as a promising technology for large-scale distributed intelligent systems. Yet, the urgent demand for ubiquitous intelligence will generate a large number of concurrent FL tasks, which may seriously aggravate the scarcity of communication resources. By exploiting the analog superposition of electromagnetic waves, over-the-air computation (AirComp) is an appealing solution to alleviate the burden of communication required by FL. However, sharing frequency-time resources in over-the-air computation inevitably brings about the problem of inter-task interference, which poses a new challenge that needs to be appropriately addressed. In this paper, we study over-the-air federated multi-task learning (OA-FMTL) over the multiple-input multiple-output (MIMO) multiple access (MAC) channel. We propose a novel model aggregation method for the alignment of local gradients of different devices, which alleviates the straggler problem in over-the-air computation due to the channel heterogeneity. We establish a communication-learning analysis framework for the proposed OA-FMTL scheme by considering the spatial correlation between devices, and formulate an optimization problem for the design of transceiver beamforming and device selection. To solve this problem, we develop an algorithm by using alternating optimization (AO) and fractional programming (FP), which effectively mitigates the impact of inter-task interference on the FL learning performance. We show that due to the use of the new model aggregation method, device selection is no longer essential, thereby avoiding the heavy computational burden involved in selecting active devices. Numerical results demonstrate the validity of the analysis and the superb performance of the proposed scheme.


title: Pathologies du groupe des classes de R-\'equivalence d'un groupe alg\'ebrique lin\'eaire

abstract: Let $k_0$ be a field of characteristic $p>0$ and $k=k_0(t)$, where $t$ is transcendental over $k_0$. We give an example of a smooth connected unipotent $k$-group $G$ such that $G(F)/R$ is non-commutative for some finite separable field extension $F$ containing $k$.


title: The silver-plated mirrors of the Historical Collection of Physics Instruments of Palermo University

abstract: In the paper we will describe three instruments of particular historical and didactic interest belonging to the Historical Collection of Physics Instruments of Palermo University: a convex mirror most likely dating back to the early nineteenth century and a pair of burning mirrors most likely dating back to the mid-nineteenth century. After an introduction on the historical development of mirrors and on their principle of operation, we will describe the characteristics of the instruments of the collection and the interventions carried out.


title: Integrable defects and B\"acklund transformations in Yang-Baxter models

abstract: We explore two distinct methods to introduce integrable defects in a family of integrable sigma-models known as Yang-Baxter models. The first method invokes a modified monodromy matrix encoding an integrable defect separating two integrable systems. As an example we construct integrable defects in the ultralocal version of the $S^2$ Yang-Baxter model or 2d Fateev sausage model. The second method is based on the so-called "frozen" B\"acklund transformations. Lifting the construction to the Drinfel'd double, we show how defect matrices can be constructed for inhomogeneous Yang-Baxter models. We provide explicit expressions for the $SU(2)$ non-split Yang-Baxter model for this class of integrable defects.


title: An episodically variable stellar wind in the planetary nebula IC\,4997

abstract: IC\,4997 is a planetary nebula well known by its variability. We present high-resolution spectra of IC\,4997 obtained in 1993, 2019, and 2020 that reveal changes in the H$\alpha$ and [N\,{\sc ii}] emission line profiles, which had never been reported for this object. The H$\alpha$ P\,Cygni emission profile observed in 1993 changed to a single-peaked profile in 2019--2020, implying that the stellar wind has largely weakened. The very broad H$\alpha$ emission wings narrowed by a factor of $\sim$2 between 1993 and 2019--2020, indicating that the efficiency of the Rayleigh--Raman scattering has noticeably decreased. A high-velocity [N\,{\sc ii}] nebular component detected in 1993 is missing in 2019 and 2020, probably due to a decrease in its electron density. A correlation exists between the strength of the stellar wind and the episodic ($\sim$50--60\,yr) variation in the [O\,{\sc iii}]$\lambda$4363/H$\gamma$ line intensity ratio, suggesting that an episodic, smoothly variable stellar wind is the main cause of the variability of IC\,4997. Monitoring of that intensity ratio and of the H$\alpha$ emission line profile in the coming years and new multiwavelength observations are key to unveiling the ongoing processes in IC\,4997 and constraining the origin of the wind variability.


title: An Empirical Study of Adder Neural Networks for Object Detection

abstract: Adder neural networks (AdderNets) have shown impressive performance on image classification with only addition operations, which are more energy efficient than traditional convolutional neural networks built with multiplications. Compared with classification, there is a strong demand on reducing the energy consumption of modern object detectors via AdderNets for real-world applications such as autonomous driving and face detection. In this paper, we present an empirical study of AdderNets for object detection. We first reveal that the batch normalization statistics in the pre-trained adder backbone should not be frozen, since the relatively large feature variance of AdderNets. Moreover, we insert more shortcut connections in the neck part and design a new feature fusion architecture for avoiding the sparse features of adder layers. We present extensive ablation studies to explore several design choices of adder detectors. Comparisons with state-of-the-arts are conducted on COCO and PASCAL VOC benchmarks. Specifically, the proposed Adder FCOS achieves a 37.8\% AP on the COCO val set, demonstrating comparable performance to that of the convolutional counterpart with an about $1.4\times$ energy reduction.


title: Correction of high-order $L_k$ approximation for subdiffusion

abstract: The subdiffusion equations with a Caputo fractional derivative of order $\alpha \in (0,1)$ arise in a wide variety of practical problems, which is describing the transport processes, in the force-free limit, slower than Brownian diffusion. In this work, we derive the correction schemes of the Lagrange interpolation with degree $k$ ($k\leq 6$) convolution quadrature, called $L_k$ approximation, for the subdiffusion, which are easy to implement on variable grids. The key step of designing correction algorithm is to calculate the explicit form of the coefficients of $L_k$ approximation by the polylogarithm function or Bose-Einstein integral. To construct a $\tau_8$ approximation of Bose-Einstein integral, the desired $(k+1-\alpha)$th-order convergence rate can be proved for the correction $L_k$ scheme with nonsmooth data, which is higher than $k$th-order BDF$k$ method in [Jin, Li, and Zhou, SIAM J. Sci. Comput., 39 (2017), A3129--A3152; Shi and Chen, J. Sci. Comput., (2020) 85:28]. The numerical experiments with spectral method are given to illustrate theoretical results.


title: CUGE: A Chinese Language Understanding and Generation Evaluation Benchmark

abstract: Realizing general-purpose language intelligence has been a longstanding goal for natural language processing, where standard evaluation benchmarks play a fundamental and guiding role. We argue that for general-purpose language intelligence evaluation, the benchmark itself needs to be comprehensive and systematic. To this end, we propose CUGE, a Chinese Language Understanding and Generation Evaluation benchmark with the following features: (1) Hierarchical benchmark framework, where datasets are principally selected and organized with a language capability-task-dataset hierarchy. (2) Multi-level scoring strategy, where different levels of model performance are provided based on the hierarchical framework. To facilitate CUGE, we provide a public leaderboard that can be customized to support flexible model judging criteria. Evaluation results on representative pre-trained language models indicate ample room for improvement towards general-purpose language intelligence. CUGE is publicly available at cuge.baai.ac.cn.


title: Linear and nonlinear optical properties from TDOMP2 theory

abstract: In this work we present a derivation of the real-time time-dependent orbital-optimized M{\o}ller-Plesser TDOMP2 and its biorthogonal companion, time-dependent non-orthogonal OMP2 (TDNOMP2), theory starting from the time-dependent bivariational principle and a parametrization based on the exponential orbital-rotation operator formulation commonly used in time-independent molecular electronic-structure theory. We apply the TDOMP2 method to extract absorption spectra and frequency-dependent polarizabilities and first hyperpolarizabilities from real-time simulations, comparing the results with those obtained from conventional time-dependent coupled-cluster singles and doubles (TDCCSD) simulations and from its second-order approximation TDCC2. We also compare with results from CCSD and CC2 linear and quadratic response theory. Our results indicate that while TDOMP2 absorption spectra are of the same quality as TDCC2 spectra, frequency-dependent polarizabilities and hyperpolarizabilties from TDOMP2 simulations are significantly closer to TDCCSD results than those from TDCC2 simulations.


title: Significant-loophole-free test of Kochen-Specker contextuality using two species of atomic-ions

abstract: Quantum measurements cannot be thought of as revealing preexisting results, even when they do not disturb any other measurement in the same trial. This feature is called contextuality and is crucial for the quantum advantage in computing. Here, we report the first observation of quantum contextuality simultaneously free of the detection, sharpness and compatibility loopholes. The detection and sharpness loopholes are closed by adopting a hybrid two-ion system and highly efficient fluorescence measurements offering a detection efficiency of $100\%$ and a measurement repeatability $>98\%$. The compatibility loophole is closed by targeting correlations between observables for two different ions in a Paul trap, a $^{171}\mathrm{Yb}^{+}$ ion and a $^{138}\mathrm{Ba}^{+}$ ion, chosen so measurements on each ion use different operation laser wavelengths, fluorescence wavelengths, and detectors. The experimental results show a violation of the bound for the most adversarial noncontextual models and open a new way to certify quantum systems.


title: Variable step-size BDF3 method for Allen-Cahn equation

abstract: In this work, we analyze the three-step backward differentiation formula (BDF3) method for solving the Allen-Cahn equation on variable grids. For BDF2 method, the discrete orthogonal convolution (DOC) kernels are positive, the stability and convergence analysis are well established in [Liao and Zhang, \newblock Math. Comp., \textbf{90} (2021) 1207--1226; Chen, Yu, and Zhang, \newblock SIAM J. Numer. Anal., Major Revised]. However, the numerical analysis for BDF3 method with variable steps seems to be highly nontrivial, since the DOC kernels are not always positive. By developing a novel spectral norm inequality, the unconditional stability and convergence are rigorously proved under the updated step ratio restriction $r_k:=\tau_k/\tau_{k-1}\leq 1.405$ (compared with $r_k\leq 1.199$ in [Calvo and Grigorieff, \newblock BIT. \textbf{42} (2002) 689--701]) for BDF3 method. Finally, numerical experiments are performed to illustrate the theoretical results. To the best of our knowledge, this is the first theoretical analysis of variable steps BDF3 method for the Allen-Cahn equation.


title: Chiral limits and effect of light on the Hofstadter butterfly in twisted bilayer graphene

abstract: We study the magnetic field induced Hofstadter butterfly in twisted bilayer graphene (TBG) in various kinds of situations. First, we study the equilibrium case and identify the interlayer hopping processes that are most crucial for the appearance of a Hofstadter butterfly. Surprisingly, the hopping processes that are important for the appearance of the Hofstadter butterfly can be categorized as AA stacking type - that is interlayer hoppings between equivalent sublattices. This is in contrast to AB/BA-type hoppings that are important for the appearance of flat bands in magic angle TBG and were discussed in [Phys. Rev. Lett. 122, 106405 (2019)]. We also find that if AB-type interlayer-hopping processes are turned off the resulting model is chiral but differs from the model discussed in \cite{Tarnopolsky}. Therefore, TBG has two separate chiral limits - one of them is important to understand the formation of flat bands and the other for the Hofstadter butterfly. Taking this as motivation we discuss how the role of AA-type hoppings in combination with lattice relaxation effects can make individual Landau levels slightly harder to resolve in an experimental setting than one would expect from a non-relaxed lattice setting. Finally, we consider the impact of different forms of light on the fractal structure of the butterfly. Particularly, we study the impact of circularly polarized light and longitudinal light originating from a waveguide. As the system is exposed to circularly polarized light we find butterflies with increasingly pronounced asymmetry with respect to energy $E=0$. This is due to the introduction of a gap term that breaks the chiral symmetries for both of the two chiral limits mentioned above. Lastly, we study the effect of longitudinal light that can be produced at the exit of a waveguide, in a slightly simplified model. Here, we find ...


title: Ultimate conversion efficiency bound for the forward double-$\Lambda$ atom-light coupling scheme

abstract: We show that for the two widely used configurations of the double-$\Lambda$ atom-light coupling scheme, one where the control fields are applied in the same $\Lambda$-subsystem and another where they applied in different $\Lambda$-subsystems, the forward propagation of the probe and signal fields is described by the same set of equations. We then use optimal control theory to find the spatially-dependent optimal control fields which maximize the conversion efficiency from the probe to the signal field, for a given optical density. The present work is expected to find application in the implementation of efficient frequency and orbital angular momentum conversion devices for quantum information processing, as well as to be useful to many other applications using the double-$\Lambda$ atom-light coupling scheme.


title: Duality Cascades and Affine Weyl Groups

abstract: Brane configurations in a circle allow subsequent applications of the Hanany-Witten transitions, which are known as duality cascades. By studying the process of duality cascades corresponding to quantum curves with symmetries of Weyl groups, we find a hidden structure of affine Weyl groups. Namely, the fundamental domain of duality cascades consisting of all the final destinations is characterized by the affine Weyl chamber and the duality cascades are realized as translations of the affine Weyl group, where the overall rank in the brane configuration associates to the grading operator of the affine algebra. The structure of the affine Weyl group guarantees the finiteness of the processes and the uniqueness of the endpoint of the duality cascades. In addition to the original duality cascades, we can generalize to the cases with Fayet-Iliopoulos parameters. There we can utilize the Weyl group to analyze the fundamental domain similarly and find that the fundamental domain continues to be the affine Weyl chamber. We further interpret the Weyl group we impose as a "half" of the Hanany-Witten transition.


title: Non-CSS color codes on 2D lattices : Models and Topological Properties

abstract: The two-dimensional color code is an alternative to the toric code that encodes more logical qubits while maintaining crucial features of the $\mathbb{Z}_2\times\mathbb{Z}_2$ toric code in the long wavelength limit. However its short range physics include single qubit Pauli operations that violate either three or six stabilisers as opposed to the toric code where single qubit Pauli operations violate two or four stabilisers. Exploiting this fact we construct several non-CSS versions of the two-dimensional color code falling into two families - those where either three, four or five stabilisers are violated and those which violate exactly four stabilisers for all the three types of single qubit Pauli operations. These models are not equivalent to the original color code by a local unitary transformation. Nevertheless the code spaces of the CSS and non-CSS versions are related by local unitaries which reflects the fact that their long range physics coincide. This also implies that the non-CSS versions host transversal Clifford gates and hence support fault-tolerant computations. As a consequence of the non-CSS structure, the logical operators are of a mixed type which in some cases include all the three Pauli operators making them potentially useful for protection against biased Pauli noise.


title: Robust approximation of generalized Biot-Brinkman problems

abstract: The generalized Biot-Brinkman equations describe the displacement, pressures and fluxes in an elastic medium permeated by multiple viscous fluid networks and can be used to study complex poromechanical interactions in geophysics, biophysics and other engineering sciences. These equations extend on the Biot and multiple-network poroelasticity equations on the one hand and Brinkman flow models on the other hand, and as such embody a range of singular perturbation problems in realistic parameter regimes. In this paper, we introduce, theoretically analyze and numerically investigate a class of three-field finite element formulations of the generalized Biot-Brinkman equations. By introducing appropriate norms, we demonstrate that the proposed finite element discretization, as well as an associated preconditioning strategy, is robust with respect to the relevant parameter regimes. The theoretical analysis is complemented by numerical examples.


title: Parameter Differentiation based Multilingual Neural Machine Translation

abstract: Multilingual neural machine translation (MNMT) aims to translate multiple languages with a single model and has been proved successful thanks to effective knowledge transfer among different languages with shared parameters. However, it is still an open question which parameters should be shared and which ones need to be task-specific. Currently, the common practice is to heuristically design or search language-specific modules, which is difficult to find the optimal configuration. In this paper, we propose a novel parameter differentiation based method that allows the model to determine which parameters should be language-specific during training. Inspired by cellular differentiation, each shared parameter in our method can dynamically differentiate into more specialized types. We further define the differentiation criterion as inter-task gradient similarity. Therefore, parameters with conflicting inter-task gradients are more likely to be language-specific. Extensive experiments on multilingual datasets have demonstrated that our method significantly outperforms various strong baselines with different parameter sharing configurations. Further analyses reveal that the parameter sharing configuration obtained by our method correlates well with the linguistic proximities.


title: Optimal shape of STIRAP pulses for large dissipation at the intermediate level

abstract: We study the problem of maximizing population transfer efficiency in the STIRAP system for the case where the dissipation rate of the intermediate state is much higher than the maximum amplitude of the control fields. Under this assumption, the original three-level system can be reduced to a couple of equations involving the initial and target states only. We find the control fields which maximize the population transfer to the target state for a given duration $T$, without using any penalty involving the population of the lossy intermediate state, but under the constraint that the sum of the intensities of the pump and Stokes pulses is constant, so the total field has constant amplitude and the only control parameter is the mixing angle of the two fields. In the optimal solution the mixing angle changes in the bang-singular-bang manner, where the initial and final bangs correspond to equal instantaneous rotations, while the intermediate singular arc to a linear change with time. We show that the optimal angle of the initial and final rotations is the unique solution of a transcendental equation where duration $T$ appears as a parameter, while the optimal slope of the intermediate linear change as well as the optimal transfer efficiency are expressed as functions of this optimal angle. The corresponding optimal solution recovers the counterintuitive pulse-sequence, with nonzero pump and Stokes fields at the boundaries. We also show with numerical simulations that, transfer efficiency values close to the optimal derived using the approximate system, can also be obtained with the original STIRAP system using dissipation rates comparable to the maximum control amplitude.


title: Towards the Verification of Strategic Properties in Multi-Agent Systems with Imperfect Information

abstract: In logics for the strategic reasoning the main challenge is represented by their verification in contexts of imperfect information and perfect recall. In this work, we show a technique to approximate the verification of Alternating-time Temporal Logic (ATL*) under imperfect information and perfect recall, which is known to be undecidable. Given a model M and a formula $\varphi$, we propose a verification procedure that generates sub-models of M in which each sub-model M' satisfies a sub-formula $\varphi'$ of $\varphi$ and the verification of $\varphi'$ in M' is decidable. Then, we use CTL* model checking to provide a verification result of $\varphi$ on M. We prove that our procedure is in the same class of complexity of ATL* model checking under perfect information and perfect recall, we present a tool that implements our procedure, and provide experimental results.


title: Logarithmic algorithms for fair division problems

abstract: We study the algorithmic complexity of fair division problems with a focus on minimizing the number of queries needed to find an approximate solution with desired accuracy. We show for several classes of fair division problems that under certain natural conditions on sets of preferences, a logarithmic number of queries with respect to accuracy is sufficient.


title: Spectral networks and stability conditions for Fukaya categories with coefficients

abstract: Given a holomorphic family of Bridgeland stability conditions over a surface, we define a notion of spectral network which is an object in a Fukaya category of the surface with coefficients in a triangulated DG-category. These spectral networks are analogs of special Lagrangian submanifolds, combining a graph with additional algebraic data, and conjecturally correspond to semistable objects of a suitable stability condition on the Fukaya category with coefficients. They are closely related to the spectral networks of Gaiotto--Moore--Neitzke. One novelty of our approach is that we establish a general uniqueness results for spectral network representatives. We also verify the conjecture in the case when the surface is disk with six marked points on the boundary and the coefficients category is the derived category of representations of an $A_2$ quiver. This example is related, via homological mirror symmetry, to the stacky quotient of an elliptic curve by the cyclic group of order six.


title: Weyl chamber length compactification of the ${\rm PSL}(2,\mathbb R)\times{\rm PSL}(2,\mathbb R)$ maximal character variety

abstract: We study the vectorial length compactification of the space of conjugacy classes of maximal representations of the fundamental group $\Gamma$ of a closed hyperbolic surface $\Sigma$ in ${\rm PSL}(2,\mathbb R)^n$. We identify the boundary with the sphere $\mathbb P((\mathcal{ML})^n)$, where $\mathcal{ML}$ is the space of measured geodesic laminations on $\Sigma$. In the case $n=2$, we give a geometric interpretation of the boundary as the space of homothety classes of $\mathbb R^2$-mixed structures on $\Sigma$. We associate to such a structure a dual tree-graded space endowed with an $\mathbb R_+^2$-valued metric, which we show to be universal with respect to actions on products of two $\mathbb R$-trees with the given length spectrum.


title: Asymptotic derivation of multicomponent compressible flows with heat conduction and mass diffusion

abstract: A Type-I model of a multicomponent system of fluids with non-constant temperature is derived as the high-friction limit of a Type-II model via a Chapman-Enskog expansion. The asymptotic model is shown to fit into the general theory of hyperbolic-parabolic systems, by exploiting the entropy structure inherited through the asymptotic procedure. Finally, by deriving the relative entropy identity for the Type-I model, two convergence results for smooth solutions are presented, from the system with mass-diffusion and heat conduction to the corresponding system without mass-diffusion but including heat conduction and to its hyperbolic counterpart.


title: Generation of Synthetic Rat Brain MRI scans with a 3D Enhanced Alpha-GAN

abstract: Translational brain research using Magnetic Resonance Imaging (MRI) is becoming increasingly popular as animal models are an essential part of scientific studies and more ultra-high-field scanners are becoming available. Some disadvantages of MRI are the availability of MRI scanners and the time required for a full scanning session (it usually takes over 30 minutes). Privacy laws and the 3Rs ethics rule also make it difficult to create large datasets for training deep learning models. Generative Adversarial Networks (GANs) can perform data augmentation with higher quality than other techniques. In this work, the alpha-GAN architecture is used to test its ability to produce realistic 3D MRI scans of the rat brain. As far as the authors are aware, this is the first time that a GAN-based approach has been used for data augmentation in preclinical data. The generated scans are evaluated using various qualitative and quantitative metrics. A Turing test conducted by 4 experts has shown that the generated scans can trick almost any expert. The generated scans were also used to evaluate their impact on the performance of an existing deep learning model developed for segmenting the rat brain into white matter, grey matter and cerebrospinal fluid. The models were compared using the Dice score. The best results for whole brain and white matter segmentation were obtained when 174 real scans and 348 synthetic scans were used, with improvements of 0.0172 and 0.0129, respectively. Using 174 real scans and 87 synthetic scans resulted in improvements of 0.0038 and 0.0764 for grey matter and CSF segmentation, respectively. Thus, by using the proposed new normalisation layer and loss functions, it was possible to improve the realism of the generated rat MRI scans and it was shown that using the generated data improved the segmentation model more than using the conventional data augmentation.


title: Additive Properties of the Evil and Odious Numbers and Similar Sequences

abstract: First we reprove two results in additive number theory due to Dombi and Chen & Wang, respectively, on the number of representations of n as the sum of two odious or evil numbers, using techniques from automata theory and logic. We also use this technique to prove a new result about the numbers represented by five summands. Furthermore, we prove some new results on the tenfold sums of the evil and odious numbers, as well as k-fold sums of similar sequences of integers, by using techniques of analytic number theory involving trigonometric sums associated with the (+-1)-characteristic sequences of these integers.


title: A Note on Regularities of The Standard Quantized Matrix Algebra $M_q(n)$

abstract: Let $M_q(n)$ be the standard quantized matrix algebra (introduced by Faddeev, Reshetikhin, and Takhtajan). It is shown that $M_q(n)$ is Auslander regular, Cohen-Macaulay, Artin-Schelter regular, and a maximal order in its quotient division algebra.


title: Weighted Dyck paths with special restrictions on the levels of valleys

abstract: This paper concentrates on the set $\mathcal{V}_n$ of weighted Dyck paths of length $2n$ with special restrictions on the level of valleys. We first give its explicit formula of the counting generating function in terms of certain weight functions. When the weight functions are specialized, some connections are builded between $\mathcal{V}_n$ and other classical combinatorial structures such as $(a,b)$-Motzkin paths, $q$-Schr\"{o}der paths, Delannoy paths and complete $k$-ary trees. Some bijections are also established between these settings and $\mathcal{V}_n$ subject to certain special weight functions.


title: Permutation Matrix Modulation

abstract: We propose a novel scheme that allows MIMO system to modulate a set of permutation matrices to send more information bits, extending our initial work on the topic. This system is called Permutation Matrix Modulation (PMM). The basic idea is to employ a permutation matrix as a precoder and treat it as a modulated symbol. We continue the evolution of index modulation in MIMO by adopting all-antenna activation and obtaining a set of unique symbols from altering the positions of the antenna transmit power. We provide the analysis of the achievable rate of PMM under Gaussian Mixture Model (GMM) distribution \revv{and finite cardinality input (FCI). Numerical results are evaluated by comparing PMM with the other existing systems.} We also present a way to attain the optimal achievable rate of PMM by solving a maximization problem via interior-point method. A low complexity detection scheme based on zero-forcing (ZF) is proposed, and maximum likelihood (ML) detection is discussed. We demonstrate the trade-off between simulation of the symbol error rate (SER) and the computational complexity where ZF performs worse in the SER simulation but requires much less computational complexity than ML.


title: All basic quantizations of $D=3$, $N=1$ Lorentz supersymmetry

abstract: By the supersymmetrization of a simple algebraic technique proposed in \cite{LuTo2017} we obtain the complete classification of all basic (nonisomorphic) quantum deformations for the orthosymplectic Lie superalgebra $\mathfrak{osp}(1|2;\mathbb{C})$ and its pseudoreal and real forms in terms of the classical $r$-matrices. In particular, we prove that pseudoreal compact form has only one quantum deformation (standart $q$-analog), and the $D=3$, $N=1$ Lorentz supersymmetry, which is the non-compact real form of $\mathfrak{osp}(1|2;\mathbb{C})$, has four different Hopf-algebraic quantum deformations: two standard $q$-analogs, and two (Jordanian and super-Jordanian) twist deformations. All basic Hopf-algebraic quantum deformations are presented in the explicit form.


title: Sharp nonparametric bounds for decomposition effects with two binary mediators

abstract: In randomized trials, once the total effect of the intervention has been estimated, it is often of interest to explore mechanistic effects through mediators along the causal pathway between the randomized treatment and the outcome. In the setting with two sequential mediators, there are a variety of decompositions of the total risk difference into mediation effects. We derive sharp and valid bounds for a number of mediation effects in the setting of two sequential mediators both with unmeasured confounding with the outcome. We provide five such bounds in the main text corresponding to two different decompositions of the total effect, as well as the controlled direct effect, with an additional thirty novel bounds provided in the supplementary materials corresponding to the terms of twenty-four four-way decompositions. We also show that, although it may seem that one can produce sharp bounds by adding or subtracting the limits of the sharp bounds for terms in a decomposition, this almost always produces valid, but not sharp bounds that can even be completely noninformative. We investigate the properties of the bounds by simulating random probability distributions under our causal model and illustrate how they are interpreted in a real data example.


title: Mass concentration and uniqueness of ground states for mass subcritical rotational nonlinear Schr\"{o}dinger equations

abstract: This paper considers ground states of mass subcritical rotational nonlinear Schr\"{o}dinger equation \begin{equation*} -\Delta u+V(x)u+i\Omega(x^\perp\cdot\nabla u)=\mu u+\rho^{p-1}|u|^{p-1}u \,\ \text{in} \,\ \mathbb{R}^2, \end{equation*} where $V(x)$ is an external potential, $\Omega>0$ characterizes the rotational velocity of the trap $V(x)$, $1<p<3$ and $\rho>0$ describes the strength of the attractive interactions. It is shown that ground states of the above equation can be described equivalently by minimizers of the $L^2-$ constrained variational problem. We prove that minimizers exist for any $\rho\in(0,\infty)$ when $0<\Omega<\Omega^*$, where $0<\Omega^*:=\Omega^*(V)<\infty$ denotes the critical rotational velocity of $V(x)$. While $\Omega>\Omega^*$, there admits no minimizers for any $\rho\in(0,\infty)$. For fixed $0<\Omega<\Omega^*$, by using energy estimates and blow-up analysis, we also analyze the limit behavior of minimizers as $\rho\to\infty$. Finally, we prove that up to a constant phase, there exists a unique minimizer when $\rho>0$ is large enough and $\Omega\in(0,\Omega^*)$ is fixed.


title: A Survey on non-English Question Answering Dataset

abstract: Research in question answering datasets and models has gained a lot of attention in the research community. Many of them release their own question answering datasets as well as the models. There is tremendous progress that we have seen in this area of research. The aim of this survey is to recognize, summarize and analyze the existing datasets that have been released by many researchers, especially in non-English datasets as well as resources such as research code, and evaluation metrics. In this paper, we review question answering datasets that are available in common languages other than English such as French, German, Japanese, Chinese, Arabic, Russian, as well as the multilingual and cross-lingual question-answering datasets.


title: AdaptivePose: Human Parts as Adaptive Points

abstract: Multi-person pose estimation methods generally follow top-down and bottom-up paradigms, both of which can be considered as two-stage approaches thus leading to the high computation cost and low efficiency. Towards a compact and efficient pipeline for multi-person pose estimation task, in this paper, we propose to represent the human parts as points and present a novel body representation, which leverages an adaptive point set including the human center and seven human-part related points to represent the human instance in a more fine-grained manner. The novel representation is more capable of capturing the various pose deformation and adaptively factorizes the long-range center-to-joint displacement thus delivers a single-stage differentiable network to more precisely regress multi-person pose, termed as AdaptivePose. For inference, our proposed network eliminates the grouping as well as refinements and only needs a single-step disentangling process to form multi-person pose. Without any bells and whistles, we achieve the best speed-accuracy trade-offs of 67.4% AP / 29.4 fps with DLA-34 and 71.3% AP / 9.1 fps with HRNet-W48 on COCO test-dev dataset.


title: A semigroup approach to stochastic systems with input delay at the boundary

abstract: This work focuses on the well-posedness of abstract stochastic linear systems with boundary input delay and unbounded observation operators. We use product spaces and a semigroup approach to reformulate such delay systems into free-delay distributed stochastic systems with unbounded control and observation operators. This gives us the opportunity to use the concept of admissible control and observation operators as well as the concept of Yosida extensions to prove the existence and uniqueness of the solution process and provide an estimation of the observation process in relation to initial conditions and control process. As an example, we consider a stochastic Schr\"odinger system with input delay.


title: Self-normalized Classification of Parkinson's Disease DaTscan Images

abstract: Classifying SPECT images requires a preprocessing step which normalizes the images using a normalization region. The choice of the normalization region is not standard, and using different normalization regions introduces normalization region-dependent variability. This paper mathematically analyzes the effect of the normalization region to show that normalized-classification is exactly equivalent to a subspace separation of the half rays of the images under multiplicative equivalence. Using this geometry, a new self-normalized classification strategy is proposed. This strategy eliminates the normalizing region altogether. The theory is used to classify DaTscan images of 365 Parkinson's disease (PD) subjects and 208 healthy control (HC) subjects from the Parkinson's Progression Marker Initiative (PPMI). The theory is also used to understand PD progression from baseline to year 4.


title: Minimum number of experimental settings required to verify bipartite pure states and unitaries

abstract: Efficient verification of quantum states and gates is crucial to the development of quantum technologies. Although the sample complexities of quantum state verification and quantum gate verification have been studied by many researchers, the number of experimental settings has received little attention and is poorly understood. In this work we study systematically quantum state verification and quantum gate verification with a focus on the number of experimental settings. We show that any bipartite pure state can be verified by only two measurement settings based on local projective measurements. Any bipartite unitary in dimension $d$ can be verified by $2d$ experimental settings based on local operations. In addition, we introduce the concept of entanglement-free verification and clarify its connection with minimal-setting verification. Finally, we show that any two-qubit unitary can be verified with at most five experimental settings; moreover, a generic two-qubit unitary (except for a set of measure zero) can be verified by an entanglement-free protocol based on four settings. In the course of study we clarify the properties of Schmidt coefficients of two-qubit unitaries, which are of independent interest.


title: Branching structure of genealogies in spatially growing populations and its implications for population genetics inference

abstract: Spatial models where growth is limited to the edge of the expansions have been instrumental to understand the population dynamics and the clone size distribution in growing cellular populations, such as microbial colonies and avascular tumours. A complete characterization of the coalescence process generated by spatial growth is still lacking, limiting our ability to apply classic population genetics inference to spatially growing populations. Here, we start filling this gap by investigating the statistical properties of the cell lineages generated by the two dimensional Eden model, leveraging their physical analogy with directed polymers. Our analysis provides quantitative estimates for population measurements that can easily be assessed via sequencing, such as the average number of segregating sites and the clone size distribution of a subsample of the population. Our results not only reveal remarkable features of the genealogies generated during growth, but also highlight new properties that can be misinterpreted as signs of selection if non-spatial models are inappropriately applied.


title: A Framework for Efficient Memory Utilization in Online Conformance Checking

abstract: Conformance checking (CC) techniques of the process mining field gauge the conformance of the sequence of events in a case with respect to a business process model, which simply put is an amalgam of certain behavioral relations or rules. Online conformance checking (OCC) techniques are tailored for assessing such conformance on streaming events. The realistic assumption of having a finite memory for storing the streaming events has largely not been considered by the OCC techniques. We propose three incremental approaches to reduce the memory consumption in prefix-alignment-based OCC techniques along with ensuring that we incur a minimum loss of the conformance insights. Our first proposed approach bounds the number of maximum states that constitute a prefix-alignment to be retained by any case in memory. The second proposed approach bounds the number of cases that are allowed to retain more than a single state, referred to as multi-state cases. Building on top of the two proposed approaches, our third approach further bounds the number of maximum states that the multi-state cases can retain. All these approaches forget the states in excess to their defined limits and retain a meaningful summary of them. Computing prefix-alignments in the future is then resumed for such cases from the current position contained in the summary. We highlight the superiority of all proposed approaches compared to a state of the art prefix-alignment-based OCC technique through experiments using real-life event data under a streaming setting. Our approaches substantially reduce memory consumption by up to 80% on average, while introducing a minor accuracy drop.


title: Aspects of entanglement in non-local field theories with fractional Laplacian

abstract: In recent years, various aspects of theoretical models with long range interactions have attracted attention, ranging from out-of-time-ordered correlators to entanglement. In the present paper, entanglement properties of a simple non-local model with long-range interactions in the form of a fractional Laplacian is investigated in both static and a quantum quench scenario. Logarithmic negativity, which is a measure for entanglement in mixed states is calculated numerically. In the static case, it is shown that the presence of long-range interaction ensures that logarithmic negativity decays much slower with distance compared to short-range models. For a sudden quantum quench, the temporal evolution of the logarithmic negativity reveals that, in contrast to short-range models, logarithmic negativity exhibits no revivals for long-range interactions for the time intervals considered. To further support this result, a simpler measure of entanglement, namely the entanglement entropy is also studied for this class of models.


title: Extracting knowledge from features with multilevel abstraction

abstract: Knowledge distillation aims at transferring the knowledge from a large teacher model to a small student model with great improvements of the performance of the student model. Therefore, the student network can replace the teacher network to deploy on low-resource devices since the higher performance, lower number of parameters and shorter inference time. Self-knowledge distillation (SKD) attracts a great attention recently that a student model itself is a teacher model distilling knowledge from. To the best of our knowledge, self knowledge distillation can be divided into two main streams: data augmentation and refined knowledge auxiliary. In this paper, we purpose a novel SKD method in a different way from the main stream methods. Our method distills knowledge from multilevel abstraction features. Experiments and ablation studies show its great effectiveness and generalization on various kinds of tasks with various kinds of model structures. Our codes have been released on GitHub.


title: Knot Invariants and Topological Quantum Field Theory

abstract: An elementary introduction to knot theory and its link to quantum field theory is presented with an intention to provide details of some basic calculations in the subject, which are not easily found in texts. Study of Chern-Simons theory with gauge group $\mathcal{G}$, along with the Wilson lines carrying some representation is explained in generality, and a vital calculation of the Chern-Simons propagator is done. Explicit calculation for $U(1)$ Chern-Simons theory is presented, which leads to the topological invariants, and finally to knot invariants. Further, using this result along with the Gauss linking number formula, the expectation value of Wilson loops are calculated. Colored knot invariants are also discussed along with more advanced knot invariants which are obtained using Homology theory, i.e., categorification of Jones and HOMFLY polynomials. Various knot invariants for $SU(N)$ gauge group are also introduced, along with a brief introduction to A-polynomials and super A-polynomials. Recent developments in the field are explored, and we discuss a conjectured formula for colored superpolynomials, closed-form expression for HOMFLY polynomials, and conjectured expression for $6j$ symbol for $U_q(\mathfrak{sl}_N)$ for multiplicity free case. Also, a MATHEMATICA program based on the conjectured formula had been developed, which can compute the $6j$-symbols and the desired duality matrices which are needed to use the closed-form expression for HOMFLY polynomials.


title: Multibeam Free Space Optics Receiver Enabled by a Programmable Photonic Mesh

abstract: Free-space optics (FSO) is an attractive technology to meet the ever-growing demand for wireless bandwidth in next generation networks. To increase the spectral efficiency of FSO links, transmission over spatial division multiplexing (SDM) can be exploited, where orthogonal light beams have to be shaped according to suitable amplitude, phase, and polarization profiles. In this work, we show that a programmable photonic circuits, consisting of a silicon photonic mesh of tunable Mach-Zehnder Interferometers (MZIs) can be used as an adaptive multibeam receiver for a FSO communication link. The circuit can self-configure to simultaneously receive and separate, with negligible mutual crosstalk, signals carried by orthogonal FSO beams sharing the same wavelength and polarization. This feature is demonstrated on signal pairs either arriving at the receiver from orthogonal directions (direction-diversity) or being shaped according to different orthogonal spatial modes (mode-diversity), even in the presence of some mixing during propagation. The performance of programmable mesh as an adaptive multibeam receiver is assessed by means of data channel transmission at 10 Gbit/s a wavelength of 1550 nm, but the optical bandwidth of the receiver (>40 nm) allows its use at much higher data rates as well as in wavelength-division multiplexing SDM communication links.


title: Forward Collision Warning Systems: Validating Driving Simulator Results with Field Data

abstract: With the advent of Advanced Driver Assistance Systems (ADAS), there is an increasing need to evaluate driver behavior while using such technology. In this unique study, a forward collision warning (FCW) system using connected vehicle technology, was introduced in a driving simulator environment, to evaluate driver braking behavior and then the results are validated using data from field tests. A total of 93 participants were recruited for this study, for which a virtual network of South Baltimore was created. A one sample t-test was conducted, and it was found that the mean reduction in speed of 15.07 mph post FCW, is statistically significant. A random forest, machine learning algorithm was found to be the best fit for ranking the most important variables in the dataset by order of importance. Field data obtained from the University of Michigan Transportation Research Institute (UMTRI), substantiated the FCW findings from this driving simulator study.


title: Personalized Lane Change Decision Algorithm Using Deep Reinforcement Learning Approach

abstract: To develop driving automation technologies for human, a human-centered methodology should be adopted for ensured safety and satisfactory user experience. Automated lane change decision in dense highway traffic is challenging, especially when considering the personalized preferences of different drivers. To fulfill human driver centered decision algorithm development, we carry out driver-in-the-loop experiments on a 6-Degree-of-Freedom driving simulator. Based on the analysis of the lane change data by drivers of three specific styles,personalization indicators are selected to describe the driver preferences in lane change decision. Then a deep reinforcement learning (RL) approach is applied to design human-like agents for automated lane change decision, with refined reward and loss functions to capture the driver preferences.The trained RL agents and benchmark agents are tested in a two-lane highway driving scenario, and by comparing the agents with the specific drivers at the same initial states of lane change, the statistics show that the proposed algorithm can guarantee higher consistency of lane change decision preferences. The driver personalization indicators and the proposed RL-based lane change decision algorithm are promising to contribute in automated lane change system developing.


title: Move As You Like: Image Animation in E-Commerce Scenario

abstract: Creative image animations are attractive in e-commerce applications, where motion transfer is one of the import ways to generate animations from static images. However, existing methods rarely transfer motion to objects other than human body or human face, and even fewer apply motion transfer in practical scenarios. In this work, we apply motion transfer on the Taobao product images in real e-commerce scenario to generate creative animations, which are more attractive than static images and they will bring more benefits. We animate the Taobao products of dolls, copper running horses and toy dinosaurs based on motion transfer method for demonstration.


title: Monte Carlo simulations of phonon propagation in the Fermi-sea of Weyl spinors and detection of hysteresis effects using Groupoids

abstract: We considered symplectic quaternions sitting on a $(2+1)D$ lattice in momentum space which interact with nearest neighbor interactions. The action is expressed by fixed point actions given by the superposition of blocks whose length of the contour is 4, 6 or 8 lattice spacings. The spinors are on a finite $2D$ plane expressed as $u_1 a e_1+ u_2 a e_2$ (A type) and/or on two $2D$ planes separated by $\pm a e_1\wedge e_2$ (B type). In the A type, link actions on counter-clockwise rotating loop and on clockwise rotating loop cancel, however in the B type, the direction of links between the lower $2D$ plane and the upper $2D$ plane induces differences in the action. The time-reversal conserving and spin rotational symmetry breaking actions can be measured. Result of Monte-Carlo simulations of $64\times 64$, $128\times 128$ and $256\times 256$ spatial lattices are presented.


title: Random Rank-Dependent Expected Utility

abstract: We present a novel characterization of random rank-dependent expected utility for finite datasets and finite prizes. The test lends itself to statistical testing using the tools in Kitamura and Stoye (2018).


title: Multiagent Transition Systems for Composing Fault-Resilient Protocol Stacks

abstract: We present a novel mathematical framework for the specification and analysis of fault-resilient distributed protocols and their implementations, with the following components: 1. Transition systems that allow the specification and analysis of computations with safety and liveness faults and their fault resilience. 2. Notions of safe, live and complete implementations among transition systems and their composition, with which the correctness (safety and liveness) and completeness of a protocol stack as a whole follows from each protocol implementing correctly and completely the protocol above it in the stack. 3. Applying the notion of monotonicity, pertinent to histories of distributed computing systems, to ease the specification and proof of correctness of implementations among distributed computing systems. 4. Multiagent transition systems, further characterized as centralized/distributed and synchronous/asynchronous; safety and liveness fault-resilience of implementations among them and their composition. The framework is being employed in the specification of a grassroots ordering consensus protocol stack, with a grassroots dissemination protocol and its implementation of grassroots social networking and of sovereign cryptocurrencies, and an efficient Byzantine atomic broadcast protocols as initial applications.


title: Factor modelling for high-dimensional functional time series

abstract: Many economic and scientific problems involve the analysis of high-dimensional functional time series, where the number of functional variables ($p$) diverges as the number of serially dependent observations ($n$) increases. In this paper, we present a novel functional factor model for high-dimensional functional time series that maintains and makes use of the functional and dynamic structure to achieve great dimension reduction and find the latent factor structure. To estimate the number of functional factors and the factor loadings, we propose a fully functional estimation procedure based on an eigenanalysis for a nonnegative definite matrix. Our proposal involves a weight matrix to improve the estimation efficiency and tackle the issue of heterogeneity, the rationality of which is illustrated by formulating the estimation from a novel regression perspective. Asymptotic properties of the proposed method are studied when $p$ diverges at some polynomial rate as $n$ increases. To provide a parsimonious model and enhance interpretability for near-zero factor loadings, we impose sparsity assumptions on the factor loading space and then develop a regularized estimation procedure with theoretical guarantees when $p$ grows exponentially fast relative to $n.$ Finally, we demonstrate that our proposed estimators significantly outperform the competing methods through both simulations and applications to a U.K. temperature dataset and a Japanese mortality dataset.


title: A Zero-Radiation Pressure Sunshade for Supporting Climate Change Mitigation

abstract: Limiting climate change to within the 2 {\deg}C limit requires net zero emissions of CO2 by 2050. However, the window of opportunity is closing fast. Geoengineering as the intentional and large-scale manipulation of the environment and in particular the climate is increasingly discussed as a complement to ongoing mitigation efforts. As a particular geoengineering approach, space-based geoengineering blocks or dissipates a fraction of incoming sunlight via many occulting membranes, located close to the Sun-Earth Lagrange 1 point. However, the mass of the proposed sunshades, around $10^7$-$10^8$ tons, and their associated cost render them about $10^3$ times more costly than terrestrial alternatives. In this article, we propose a novel sunshade concept, which is between $10^2$ to $10^3$ times lighter than the lightest existing sunshade concepts. This is achieved via a net zero-radiation pressure design, based on the use of diffractive metamaterials, removing one of the major constraints to reducing sunshade mass. The whole sunshade system has a total mass of approximately $6.2 \times 10^5$ tons and its deployment requires between $10^2$ to $10^3$ annual launches during a ten-year period. The achieved cost reduction might render space-based geoengineering competitive to terrestrial geoengineering approaches.


title: On quasiconformal extensions of harmonic mappings associated with pre-Schwarzian derivative

abstract: In this paper, we extend Ahlfors's univalent criteria and Ahlfors's quasiconformal extension for analytic functions to harmonic mappings defined in the unit disk. Moreover, we give a general quasiconformal extension of harmonic Teichm\"{u}ller mappings, whose maximal dilatation estimate is asymptotically sharp.


title: Equivariant principal infinity-bundles

abstract: In this book we prove unified classification results for equivariant principal bundles when the topological structure group is truncated. The conceptually transparent proof invokes a smooth Oka principle, which becomes available after faithfully embedding traditional equivariant topology into the singular-cohesive homotopy theory of globally equivariant higher smooth stacks. This works for discrete equivariance groups acting properly on smooth manifolds with resolvable singularities, whence we are equivalently describing principal bundles on good orbifolds. In preparation, we re-develop the theory of equivariant principal bundles from scratch by systematic use of Grothendieck's internalization method. In particular we prove that all equivariant local triviality conditions considered in the literature are implied by regarding G-equivariant principal bundles as principal bundles internal to the BG-slice of the ambient cohesive infinity-topos. Generally we find that the characteristic subtle phenomena of equivariant classifying theory all reflect basic "modal" properties of singular-cohesive homotopy theory. Classical literature has mostly been concerned with compact Lie structure groups. Where these are truncated, our classification recovers and generalizes results of Lashof, May, Segal and Rezk. A key non-classical example is the infinite projective unitary structure group, in which case we are classifying degree-3 twists of equivariant KU-theory, recovering results of Atiyah, Segal, Lueck and Uribe. Our theorem enhances this to conjugation-equivariance, where we are classifying the geometric twists of equivariant KR-theory, restricting on "O-planes" to the geometric twists of KO-theory. This is the generality in which equivariant K-theory twists model quantum symmetries of topological phases and the B-field in string theory on orbi-orientifolds.


title: Ionization dynamics of submicron-sized clusters in intense ultrafast laser pulses

abstract: Submicron-sized targets are found in intense laser-cluster interaction experiments and laser-based material processing. Here we investigate the internal field localization due to Mie scattering and its effect on ionization dynamics in submicron-sized clusters using Mie calculation and particle-in-cell simulations. As a result of intertwined processes of pulse propagation and ionization, sub-micron nanofocusing dominates at lower intensity and gives rise to an ionization hotspot at the rear of the targets while plasma shielding wins over at a higher intensity, stopping further rear side ionization. As ionization is often the precursor of other processes, understanding the ionization dynamics of ultrafast laser pulses with wavelength-sized nanostructure can be relevant for intense laser-cluster experiments and femtosecond laser micro/nanomachining.


title: Unitarily invariant Norms on Operators

abstract: Let $f$ be a symmetric norm on ${\mathbb R}^n$ and let ${\mathcal B}({\mathcal H})$ be the set of all bounded linear operators on a Hilbert space ${\mathcal H}$ of dimension at least $n$. Define a norm on ${\mathcal B}({\mathcal H})$ by $\|A\|_f = f(s_1(A), \dots, s_n(A))$, where $s_k(A) = \inf\{\|A-X\|: X\in {\mathcal B}({\mathcal H}) \hbox{ has rank less than } k\}$ is the $k$th singular value of $A$. Basic properties of the norm $\|\cdot\|_f$ are obtained including some norm inequalities and characterization of the equality case. Geometric properties of the unit ball of the norm are obtained; the results are used to determine the structure of maps $L$ satisfying $\|L(A)-L(B)\|_f=\|A - B\|_f$ for any $A, B \in {\mathcal B}({\mathcal H})$.


title: Engineering spin wave spectra in thick Ni$_{80}$Fe$_{20}$ rings by using competition between exchange and dipolar fields

abstract: Control of the spin wave dynamics in nanomagnetic elements is very important for the realization of a broad range of novel magnonic devices. Here we study experimentally the spin wave resonance in thick ferromagnetic rings (100 nm) using perpendicular ferromagnetic resonance spectroscopy. Different from what was observed for the continuous film of the same thickness, or from ring with similar lateral dimensions but with lower thicknesses, the spectra of thick patterned rings show a non-monotonic dependence of the mode intensity on the resonance field for a fixed frequency. To explain this effect, the theoretical approach by considering the dependence of the mode profiles on both the radial and axial coordinates was developed. It was demonstrated that such unusual behavior is a result of the competition between exchange and dipolar fields acting at the spin excitations in the structure under study. The calculations are in a good agreement with the experimental results.


title: Experimental Verification of Ill-defined Topologies and Energy Sinks in Electromagnetic Continua

abstract: In this article, it is experimentally verified that nonreciprocal photonic systems with a continuous translation symmetry may have an ill-defined topology. The topological classification of such systems is only feasible when the material response is regularized with a spatial-frequency cutoff. Here, we experimentally demonstrate that inserting a small air gap in between two materials may effectively imitate an idealized spatial cutoff that suppresses the nonreciprocal response for short wavelengths and regularizes the topology. Furthermore, it is experimentally verified that nonreciprocal systems with an ill-defined topology may be used to abruptly halt the energy flow in a unidirectional waveguide due to the violation of the bulk-edge correspondence. In particular, we report the formation of an energy sink that absorbs the incoming electromagnetic waves with a large field enhancement at the singularity.


title: M2DGR: A Multi-sensor and Multi-scenario SLAM Dataset for Ground Robots

abstract: We introduce M2DGR: a novel large-scale dataset collected by a ground robot with a full sensor-suite including six fish-eye and one sky-pointing RGB cameras, an infrared camera, an event camera, a Visual-Inertial Sensor (VI-sensor), an inertial measurement unit (IMU), a LiDAR, a consumer-grade Global Navigation Satellite System (GNSS) receiver and a GNSS-IMU navigation system with real-time kinematic (RTK) signals. All those sensors were well-calibrated and synchronized, and their data were recorded simultaneously. The ground truth trajectories were obtained by the motion capture device, a laser 3D tracker, and an RTK receiver. The dataset comprises 36 sequences (about 1TB) captured in diverse scenarios including both indoor and outdoor environments. We evaluate state-of-the-art SLAM algorithms on M2DGR. Results show that existing solutions perform poorly in some scenarios. For the benefit of the research community, we make the dataset and tools public. The webpage of our project is https://github.com/SJTU-ViSYS/M2DGR.


title: Highly efficient acousto-optic modulation using nonsuspended thin-film lithium niobate-chalcogenide hybrid waveguides

abstract: A highly efficient on-chip acousto-optic modulator, as a key component, occupies an exceptional position in microwave-to-optical conversion. Homogeneous thin-film lithium niobate is preferentially employed to build the suspended configuration forming the acoustic resonant cavity to improve the modulation efficiency of the device. However, the limited cavity length and complex fabrication recipe of the suspended prototype restrain further breakthrough in the modulation efficiency and impose challenges for waveguide fabrication. In this work, based on a nonsuspended thin-film lithium niobate-chalcogenide glass hybrid Mach-Zehnder interferometer waveguide platform, we propose and demonstrate a built-in push-pull acousto-optic modulator with a half-wave-voltage-length product as low as 0.03 V cm, presenting a modulation efficiency comparable to that of the state-of-the-art suspended counterpart. Based on the advantage of low power consumption, a microwave modulation link is demonstrated using our developed built-in push-pull acousto-optic modulator. The nontrivial acousto-optic modulation performance benefits from the superior photoelastic property of the chalcogenide membrane and the completely bidirectional participation of the antisymmetric Rayleigh surface acoustic wave mode excited by the impedance-matched interdigital transducer, overcoming the issue of amplitude differences of surface acoustic waves applied to the Mach-Zehnder interferometer two arms in traditional push-pull acousto-optic modulators.


title: Sound and light Doppler effects

abstract: Although electromagnetic and acoustic waves profoundly differ in their nature, comparing their Doppler effects is instructive and reveals persistent conceptual traps. The principle of the Doppler effect was presented by Christian Doppler in 1842 long before the advent of relativity theory, but while the relativistic Doppler effect is now well established, its non-relativistic version retrospectively called classical, suffers from misleading intuitions such as: (1) there is no transverse classical Doppler effect; (2) the Galilean Doppler effect corresponds to the relativistic one without Lorentz dilation factor. Additional pitfalls concern the sound Doppler effect which, in addition to being Galilean, results from asymmetric contributions of the sources and receptors and depends on a material medium for its propagation, possibly modifying the effective velocity of the wave. Moreover, contrary to light, the information on the sound Doppler effect and the location of the source are transmitted through different channels, sound and light respectively, thereby complicating data interpretation and increasing confusion. A thorough revision is proposed here addressing these issues and providing a complete set of new candidate Doppler formulas, non-collinear, two- and three-dimensional and in their angular and linear versions.


title: A Model for Multiple Metal Spheres in Oscillating Magnetic Fields using Displaced Dipoles

abstract: In this article, we derive a magnetic dipole model for two identical, electrically conducting, and permeable spheres that are exposed to an oscillating homogeneous magnetic field. Our model predicts both amplitude and phase of the induced field outside the spheres. The description is provided for parallel and transverse excitation relative to the axis through the sphere centers. This geometric decomposition allows the application of arbitrary excitation field directions. Our approach is based on one dipole per sphere. The origins of these secondary dipole fields are proposed to be found at positions slightly displaced from the sphere centers to consider the mutual interaction. This displacement and the resulting phase of the dipole moments strongly depend on the distance between the spheres as well as on complex-valued first and second order response factors, which contain material properties and the oscillation frequency. We demonstrate the usefulness of our displaced dipole model in terms of efficiency and accuracy compared to other computationally simple approaches.


title: A Review of Bayesian Modelling in Glaciology

abstract: Bayesian methods for modelling and inference are being increasingly used in the cryospheric sciences, and glaciology in particular. Here, we present a review of recent works in glaciology that adopt a Bayesian approach when conducting an analysis. We organise the chapter into three categories: i) Gaussian-Gaussian models, ii) Bayesian hierarchical models, and iii) Bayesian calibration approaches. In addition, we present two detailed case studies that involve the application of Bayesian hierarchical models in glaciology. The first case study is on the spatial prediction of surface mass balance across the Icelandic mountain glacier Langj\"okull, and the second is on the prediction of sea-level rise contributions from the Antactcic ice sheet. This chapter is presented in such a way that it is accessible to both statisticians as well as earth scientists.


title: Kinetic theory of collisionless relaxation for systems with long-range interactions

abstract: We develop the kinetic theory of collisionless relaxation for systems with long-range interactions in relation to the statistical theory of Lynden-Bell. We treat the multi-level case. We make the connection between the kinetic equation obtained from the quasilinear theory of the Vlasov equation and the relaxation equation obtained from a maximum entropy production principle. We propose a method to close the infinite hierarchy of kinetic equations for the phase level moments and obtain a kinetic equation for the coarse-grained distribution function in the form of a generalized Landau, Lenard-Balescu or Kramers equation associated with a generalized form of entropy [P.H. Chavanis, Physica A {\bf 332}, 89 (2004)]. This allows us to go beyond the two-level case associated with a Fermi-Dirac-type entropy. We discuss the numerous analogies with two-dimensional turbulence. We also mention possible applications of the present formalism to fermionic and bosonic dark matter halos.


title: The toroidal field surfaces in the standard poloidal-toroidal representation of magnetic field

abstract: The representation of magnetic field as a sum of a toroidal field and a poloidal field has not rarely been used in astrophysics, particularly in relation to stellar and planetary magnetism. In this representation, each toroidal field line lies entirely in a surface, which is named a toroidal field surface. The poloidal field is represented by the curl of another toroidal field and it threads a stack of toroidal field surfaces. If the toroidal field surfaces are either spheres or planes, the poloidal-toroidal (PT) representation is known to have a special property that the curl of a poloidal field is again a toroidal field . We name a PT representation with this property a standard PT representation while one without the property is called a generalized PT representation. In this paper, we have addressed the question whether there are other toroidal field surfaces allowing a standard PT representation than spheres and planes. We have proved that in a three dimensional Euclidean space, there can be no standard toroidal field surfaces other than spheres and planes, which render the curl of a poloidal field to be a toroidal field.


title: Alpha-Mini: Minichess Agent with Deep Reinforcement Learning

abstract: We train an agent to compete in the game of Gardner minichess, a downsized variation of chess played on a 5x5 board. We motivated and applied a SOTA actor-critic method Proximal Policy Optimization with Generalized Advantage Estimation. Our initial task centered around training the agent against a random agent. Once we obtained reasonable performance, we then adopted a version of iterative policy improvement adopted by AlphaGo to pit the agent against increasingly stronger versions of itself, and evaluate the resulting performance gain. The final agent achieves a near (.97) perfect win rate against a random agent. We also explore the effects of pretraining the network using a collection of positions obtained via self-play.


title: A note on positive partial transpose blocks

abstract: In this article, we study the class of PPT blocks. We introduce several inequalities, related to this class, with an emphasis on comparing the main diagonal and the off-diagonal components of a 2 by 2 PPT block.


title: Optimizing decision making for soccer line-up by a quantum annealer

abstract: In this paper an application of D-Wave Systems quantum annealer for optimizing initial line-up of a soccer team is presented. Players and their playing position are selected to maximize the sum of players ratings for both a 4-3-3 attack formation and a 4-2-3-1 medium defensive formation. The problem is stated as a binary quadratic model (BQM) and it is solved in a D-Wave Leap Hybrid Solver. Results are presented and compared with already published results obtained with a classical solver.


title: The Preliminary design of DC Magnet Power Supply System for ITER Static Magnetic Field Test facility

abstract: ITER (International Thermonuclear Experimental Reactor) static magnetic field (SMF) test facility requires a DC power supply with low voltage, high current, and high stability. Due to the limitation ofswitching loss, there is a contradiction between the output current capability and the output ripple. Large output current usually leads to low switching frequency, and low switching frequency will generate a large number of harmonics. To solve the problems, a topology based on the interleaving parallel buck converter is used and tested in this paper. Moreover, the topology is realized with only a small number of switching metal-oxide-semiconductor field effect transistors (MOSFETs). This article introduces the system design scheme and control method in detail. The analysis of harmonic and simulation are carried out. The validity of proposed scheme and control strategy were confirmed by experiments, the power supply system can supply large current of 15kA and has ability of low ripple.


title: High-Uniformity Calculation Method of Four-Coil Configuration in Large-Caliber Magnetic Field Immunity Testing System

abstract: Power electronic equipment regulated by the International Thermonuclear Experimental Reactor (ITER) organization must pass the relevant steady-state magnetic field immunity test. The main body of magnetic field immunity test is magnetic field generator coil. Through mathematical derivation in this paper, the magnetic field calculation formulas of four-coil configuration under ideal and actual models are obtained. The traditional method of magnetic field performance calculation is compared with the general formula method under the ideal model. A global parameter optimization method based on Lagrange Multiplier by KKT conditions is proposed to obtain the coil parameters of high-uniformity magnetic field. The magnetic field distribution in the uniform zone is revealed by the finite element method. The model analysis is proved to be correct and effective by experimental results. The research of this paper provides a practical scheme for the coil design with high magnetic field and high-quality uniformity.


title: A four parameter model for the solid-electrolyte interphase to predict battery aging during operation

abstract: Accurately predicting aging of lithium-ion batteries would help to prolong their lifespan, but remains a challenge owing to the complexity and interrelation of different aging mechanisms. As a result, aging prediction often relies on empirical or data-driven approaches, which obtain their performance from analyzing large datasets. However, these datasets are expensive to generate and the models are agnostic of the underlying physics and thus difficult to extrapolate to new conditions. In this article, a physical model is used to predict capacity fade caused by solid-electrolyte interphase (SEI) growth in 62 automotive cells, aged with 28 different protocols. Three protocols parametrize the time, current and temperature dependence of the model, the state of charge dependence results from the anode's open circuit voltage curve. The model validation with the remaining 25 protocols shows a high predictivity with a root-mean squared error of $1.28\%$. A case study with the so-validated model shows that the operating window, i.e. maximum and minimum state of charge, has the largest impact on SEI growth, while the influence of the applied current is almost negligible. Thereby the presented model is a promising approach to better understand, quantify and predict aging of lithium-ion batteries.


title: An Obfuscating C Compiler for Encrypted Computing

abstract: This paper describes an `obfuscating' C compiler for encrypted computing. The context consists of (i) a processor that `works encrypted', taking in encrypted inputs and producing encrypted outputs while the data remains in encrypted form throughout processing, and (ii) machine codes that support arbitrary interpretations of the encrypted input and outputs from each instruction, as far as an adversary who does not know the encryption can tell. The compiler on each recompilation of the same source generates object code of the same form for which the runtime traces have the same form, but the data beneath the encryption may arbitrarily differ from nominal at each point in the trace, independently so far as the laws of computation allow.


title: Real-time ab initio description of the photon-echo mechanisms in extended systems: the case study of bulk GaAs

abstract: In this paper we present an ab initio real-time analysis of free polarization decay and photon echo in extended systems. As a prototype material, we study bulk GaAs driven by ultra-short laser pulses of 10 fs (energy spread of 0.4 eV), with frequency tuned in the continuum of the optical spectrum. We compute the electronic polarization P(t), and define a computational procedure to extract the echo signal in the dipole approximation. Results are obtained in both the low and high field regime, and compared with a two-levels system (TLS) model, with parameters extracted from the ab initio simulations. ab initio results are in optimal agreement with the TLS in the low-field case, whereas some differences are observed in the high-field regime where the multi-band nature of GaAs becomes relevant. In the high field regime we compute the pulse area, and look for fluences with pulse area close to {\pi}. We highlight that such fluences are well below the damage threshold of GaAs. However a unique value of the area cannot be defined, due to the strong dependence of the transition dipoles in the energy window excited by the laser pulse.


title: Speed of extinction for continuous state branching processes in subcritical L\'evy environments: the strongly and intermediate regimes

abstract: In this paper, we study the speed of extinction of continuous state branching processes in subcritical L\'evy environments. More precisely, when the associated L\'evy process to the environment drifts to $-\infty$ and, under a suitable exponential martingale change of measure (Esscher transform), the environment either drifts to $-\infty$ or oscillates. We extend recent results of Palau et al. (2016) and Li and Xu (2018), where the branching term is associated to a spectrally positive stable L\'evy process and complement the recent article of Bansaye et al. (2021) where the critical case was studied. Our methodology combines a path analysis of the branching process together with its L\'evy environment, fluctuation theory for L\'evy processes and the asymptotic behaviour of exponential functionals of L\'evy processes. As an application of the aforementioned results, we characterise the process conditioned to survival also known as the $Q$-process.


title: A Review on Controllability of Multi-Agent Systems using Switched Network

abstract: Controllability refers to a situation in which a Multi-agent System may be steered from one state to another using specified rules. As a result, there is belief in achieving a given condition by explicit advances. The level of dynamism in the topology and the level of determinism in the environment are two fundamental criteria that determine multi-agent system controllability. The topology of a powerful multi-agent system changes on a regular basis, altering the connections between agents and hence their cooperative effort. This survey focuses on the controllability of MAS in a switching network with a leader that follows the closest neighbour collaboration rule. The leader/pioneer is a single agent that functions as an output to control other agents/members. Because the results of activities are unknown under non-deterministic situations, agents must choose new activities after observing the aftereffects of their prior actions, which causes time delay and limits agent proactivity. Controllability is often achieved in a concentrated manner in the literature, where a certain leader educates supporters how to achieve a specific goal. Controllability has different applications which incorporates managing airplane, vehicle, and robots.


title: Collective guiding of acoustically propelled nano- and microparticles for medical applications

abstract: One of the most important potential applications of self-propelled nano- and microdevices is targeted drug delivery. To realize this, biocompatible particles that can be guided collectively towards a target inside a patient's body are required. Acoustically propelled nano- and microparticles constitute a promising candidate for such biocompatible, artificial motile particles. The main remaining obstacle to targeted drug delivery by self-propelled nano- and microdevices is to also achieve a reliable and biocompatible method for guiding them collectively to their target. Here, we propose such a method. As we confirm by computer simulations, it allows for the remote guiding of large numbers of acoustically propelled particles to a prescribed target by combining a space- and time-dependent acoustic field and a time-dependent magnetic field. The method works without detailed knowledge about the particle positions and for arbitrary initial particle distributions. With these features, it paves the way for the future application of self-propelled particles as vehicles for targeted drug delivery in nanomedicine.

categories: cond-mat.soft cond-mat.mes-hall physics.bio-ph physics.med-ph


title: Agent Smith: Teaching Question Answering to Jill Watson

abstract: Building AI agents can be costly. Consider a question answering agent such as Jill Watson that automatically answers students' questions on the discussion forums of online classes based on their syllabi and other course materials. Training a Jill on the syllabus of a new online class can take a hundred hours or more. Machine teaching - interactive teaching of an AI agent using synthetic data sets - can reduce the training time because it combines the advantages of knowledge-based AI, machine learning using large data sets, and interactive human-in-loop training. We describe Agent Smith, an interactive machine teaching agent that reduces the time taken to train a Jill for a new online class by an order of magnitude.


title: Spectral analysis of universal conductance fluctuations

abstract: Universal conductance fluctuations are usually observed in the form of aperiodic oscillations in the magnetoresistance of thin wires as a function of the magnetic field B. If such oscillations are completely random at scales exceeding \xi_B, their Fourier analysis should reveal a white noise spectrum at frequencies below \xi_B^{-1}. Comparison with the results for 1D systems suggests another scenario: according to it, such oscillations are due to the superposition of incommensurate harmonics and their spectrum should contain discrete frequencies. An accurate Fourier analysis of the classical experiment by Washburn and Webb reveals a practically discrete spectrum in agreement with the latter scenario. However, this spectrum is close in shape to the discrete white noise spectrum whose properties are similar to a continuous one. More detailed analysis reveals the existence of the continuous component, whose smallness is explained theoretically. A lot of qualitative results are obtained, which confirm the presented picture. The distribution of phases, frequency differences and the growth exponents agree with theoretical predictions. Discrete frequencies depends weakly on the treatment procedure. The discovered shift oscillations confirm the analogy with 1D systems. Microscopical estimates show agreement of the obtained results with geometrical dimensions of the sample.


title: Probing double-aligned two Higgs doublet models at LHC

abstract: We consider two Higgs doublet models (THDMs) with both the Higgs potential and Yukawa interactions being aligned, which we call "double-aligned THDMs". In this scenario, coupling constants of the discovered Higgs boson to the Standard Model (SM) particles are identical to those of the SM Higgs boson, and flavor changing neutral currents via neutral Higgs bosons do not appear at tree level. We investigate current constraints and future prospects of the model by using measurements from flavor experiments and data of multi-lepton final states at LHC. Especially, we focus on the electroweak pair production of the additional Higgs bosons with their masses below $2m_t$. We find that the most of the parameter space are already excluded by the current LHC data when the leptonic decays of the additional Higgs bosons are dominant, which can be interpreted to the scenario in the Type-X THDM as a special case. We also clarify the parameter region where the high-luminosity LHC can explore, and demonstrate the reconstruction of the masses of additional Higgs bosons from the $b\bar{b}\tau^+\tau^-$ final states in a few benchmark points.


title: Ensemble Method for Cluster Number Determination and Algorithm Selection in Unsupervised Learning

abstract: Unsupervised learning, and more specifically clustering, suffers from the need for expertise in the field to be of use. Researchers must make careful and informed decisions on which algorithm to use with which set of hyperparameters for a given dataset. Additionally, researchers may need to determine the number of clusters in the dataset, which is unfortunately itself an input to most clustering algorithms. All of this before embarking on their actual subject matter work. After quantifying the impact of algorithm and hyperparameter selection, we propose an ensemble clustering framework which can be leveraged with minimal input. It can be used to determine both the number of clusters in the dataset and a suitable choice of algorithm to use for a given dataset. A code library is included in the Conclusion for ease of integration.


title: Wholesale Electricity Price Forecasting using Integrated Long-term Recurrent Convolutional Network Model

abstract: Electricity price is a key factor affecting the decision-making for all market participants. Accurate forecasting of electricity prices is very important and is also very challenging since electricity price is highly volatile due to various factors. This paper proposes an integrated long-term recurrent convolutional network (ILRCN) model to predict electricity prices considering the majority contributing attributes to the market price as input. The proposed ILRCN model combines the functionalities of convolutional neural network and long short-term memory (LSTM) algorithm along with the proposed novel conditional error correction term. The combined ILRCN model can identify the linear and non-linear behavior within the input data. We have used ERCOT wholesale market price data along with load profile, temperature, and other factors for the Houston region to illustrate the proposed model. The performance of the proposed ILRCN electricity price forecasting model is verified using performance/evaluation metrics like mean absolute error and accuracy. Case studies reveal that the proposed ILRCN model is accurate and efficient in electricity price forecasting as compared to the support vector machine (SVM) model, fully-connected neural network model, LSTM model and the LRCN model without the conditional error correction stage.