-
Strategy of a separation technique for different particles with the same size and zeta potential: Application of non-additive Asakura-Oosawa theory
Authors:
Ikuma Ogasawara,
Ken-ichi Amano
Abstract:
In this letter, we use knowledge gained from our recent study to present a technique for separation of nanoparticles such as exosomes, anticancer drugs, and vaccines. The technique involves adding non-adsorptive polymers to a system in which two types of nanoparticles with the same size and zeta potential are dispersed. The different types of nanoparticles can be separated based on differences in…
▽ More
In this letter, we use knowledge gained from our recent study to present a technique for separation of nanoparticles such as exosomes, anticancer drugs, and vaccines. The technique involves adding non-adsorptive polymers to a system in which two types of nanoparticles with the same size and zeta potential are dispersed. The different types of nanoparticles can be separated based on differences in their hydrophobicities and softness of the polymer. Using the non-additive Asakura-Oosawa theory and assuming a realistic model system, we were able to separate the two types of the particles with the same size and zeta potential in the model system.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Strategies for deliveries of anti-cancer drugs from perspectives of a measurement theory and an adsorption theory
Authors:
Ken-ichi Amano,
Takumi Otake
Abstract:
In this letter, we present anti-cancer drug delivery strategies using knowledges obtained from our recent studies. We have conducted inverse analyses of "density distributions of colloidal particles near a focused surface" and "pair potentials between the surface and the colloidal particle" using data measured by optical tweezers (OT) and atomic force microscopy (AFM). Non-additive Asakura-Oosawa…
▽ More
In this letter, we present anti-cancer drug delivery strategies using knowledges obtained from our recent studies. We have conducted inverse analyses of "density distributions of colloidal particles near a focused surface" and "pair potentials between the surface and the colloidal particle" using data measured by optical tweezers (OT) and atomic force microscopy (AFM). Non-additive Asakura-Oosawa (NAO) theory and a lattice theory in statistical mechanics of simple polymers have been also our research topics. Summarizing the knowledges, we propose two strategies to increase the delivery rate of capsule shaped anti-cancer drugs to cancer cells. We consider that enhanced repulsion between the normal cell and the drug accelerates the attraction between the cancer cell and the drug, which can be named enhanced repulsion and accelerated adsorption (ERAA) effect. To realize the ERAA effect, we propose a supporting method for measuring the interactions using OT and AFM. In the second strategy, dose of water-soluble polymers is considered to realize adsorptions of the drugs and cancer cell derived exosomes onto the cancer cells, which we call non-specific and selective adsorption (NSSA) effect. In the main text, we explain the NSSA effect using the NAO theory. Moreover, we explain that structural stabilities of normal dispersed proteins around the cancer cells are not largely destroyed by the dosed polymers from the viewpoint of the lattice theory.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Interaction between substrate and probe in liquid metal Ga: Experimental and theoretical analysis
Authors:
Ken-ichi Amano,
Kentaro Tozawa,
Maho Tomita,
Hiroshi Nakano,
Makoto Murata,
Yousuke Abe,
Toru Utsunomiya,
Hiroyuki Sugimura,
Takashi Ichii
Abstract:
Understanding the interaction between two bodies in a liquid metal is important for develo** metals with high stiffness, strength, plasticity, and thermal stability. We conducted atomic force microscopy measurements in liquid Ga and performed a theoretical calculation in which the statistical mechanics of a simple liquid containing a quantum effect was used. The experiment and theory showed unus…
▽ More
Understanding the interaction between two bodies in a liquid metal is important for develo** metals with high stiffness, strength, plasticity, and thermal stability. We conducted atomic force microscopy measurements in liquid Ga and performed a theoretical calculation in which the statistical mechanics of a simple liquid containing a quantum effect was used. The experiment and theory showed unusual behaviours in the interactions between the probe and substrate in the liquid metal. In the interactions, there were relatively numerous oscillations and large amplitudes. Furthermore, the interaction ranges were relatively long. From the theoretical calculations, we found an asymmetric property that when the probe is solvophilic and the substrate is solvophobic, the interaction tends to be repulsive; when the solvation affinities are exchanged, the interaction tends to be attractive in the close position. Our findings will be useful for understanding and controlling dispersion stabilities of nanoparticles and chemical reactions in liquid metals.
△ Less
Submitted 18 May, 2022;
originally announced May 2022.
-
Non-additivities of the particle sizes hidden in model pair potentials and their effects on physical adsorptions
Authors:
Ken-ichi Amano,
Satoshi Furukawa,
Rina Ishii,
Ayane Tanase,
Masahiro Maebayashi,
Naoya Nishi,
Tetsuo Sakka
Abstract:
It is important to understand mechanism of colloidal particles assembly near a substrate for developments of batteries, heterogeneous catalysts, paints, and cosmetics. Knowledge of the mechanism is also important for crystallizations of the colloidal particles and proteins. In this study, we calculated the physical adsorption of colloidal particles on a flat wall by using the integral equation the…
▽ More
It is important to understand mechanism of colloidal particles assembly near a substrate for developments of batteries, heterogeneous catalysts, paints, and cosmetics. Knowledge of the mechanism is also important for crystallizations of the colloidal particles and proteins. In this study, we calculated the physical adsorption of colloidal particles on a flat wall by using the integral equation theory, wherein small and large colloidal particles were employed. In the calculation system, electric double layer potentials were used as the pair potentials. In some cases, it was found from the calculation results that the small particles are more easily adsorbed. The result is unusual from the viewpoint of the Asakura-Oosawa theory: we call it "reversal phenomenon". Then, we investigated mechanism of the reversal phenomenon. As a result, it was found that the inversion phenomenon originates from the non-additivities of the particle sizes. In addition, we invented the method to analyze the non-additivity in the pair potentials. The method will be useful for checks of various simulation results and developments of force fields for simulations of the colloidal particles and proteins.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Maximum Number of Steps of Topswops on 18 and 19 Cards
Authors:
Kento Kimura,
Atsuki Takahashi,
Tetsuya Araki,
Kazuyuki Amano
Abstract:
Let $f(n)$ be the maximum number of steps of Topswops on $n$ cards. In this note, we report our computational experiments to determine the values of $f(18)$ and $f(19)$. By applying an algorithm developed by Knuth in a parallel fashion, we conclude that $f(18)=191$ and $f(19)=221$.
Let $f(n)$ be the maximum number of steps of Topswops on $n$ cards. In this note, we report our computational experiments to determine the values of $f(18)$ and $f(19)$. By applying an algorithm developed by Knuth in a parallel fashion, we conclude that $f(18)=191$ and $f(19)=221$.
△ Less
Submitted 15 March, 2021;
originally announced March 2021.
-
Search for developments of a box having multiple ways of folding by SAT solver
Authors:
Riona Tadaki,
Kazuyuki Amano
Abstract:
A polyomino is called a development if it can make a box by folding edges of unit squares forming the polyomino. It is known that there are developments that can fold into a box (or boxes) in multiple ways. In this work, we conducted a computer search for finding such developments by using a SAT solver. As a result, we found thousands of such developments including a polyomino of area 52 that can…
▽ More
A polyomino is called a development if it can make a box by folding edges of unit squares forming the polyomino. It is known that there are developments that can fold into a box (or boxes) in multiple ways. In this work, we conducted a computer search for finding such developments by using a SAT solver. As a result, we found thousands of such developments including a polyomino of area 52 that can fold into a box of size $1 \times 2 \times 8$ in five different ways.
△ Less
Submitted 6 May, 2020;
originally announced May 2020.
-
Calculation of light transmittance in a film: considerations of the coating geometry, the agent distribution, and its probability density distribution
Authors:
Ken-ichi Amano
Abstract:
Transmittance is an important parameter for various films such as sunscreen films and creams, biofilms, coating materials, etc. Even if amounts of a sunscreen agent are the same, the transmittance greatly changes depending on the coating geometry (CG) and the agent distribution (AD) in the film. In this study, we calculate the transmittance considering CG and AD. In addition, we associate the tran…
▽ More
Transmittance is an important parameter for various films such as sunscreen films and creams, biofilms, coating materials, etc. Even if amounts of a sunscreen agent are the same, the transmittance greatly changes depending on the coating geometry (CG) and the agent distribution (AD) in the film. In this study, we calculate the transmittance considering CG and AD. In addition, we associate the transmittance with probability density distribution of the thickness of the film. We found analytical and numerical solutions of the transmittance in several model cases. It can be used for prediction of performance of the sunscreen film and for a fair comparative evaluation. Mathematical techniques in calculation of the transmittance are also explained in detail.
△ Less
Submitted 5 March, 2021; v1 submitted 4 May, 2020;
originally announced May 2020.
-
Theoretical correction methods for optical tweezers: Acquisition of potentials of mean forces between colloidal particles in a bulk and on a surface
Authors:
Ken-ichi Amano,
Rikako Suzuki,
Madoka Takasu
Abstract:
It is known that line optical tweezers (LOT) can measure potential of mean force (PMF) between colloidal particles in the bulk. However, PMF obtained with LOT is empirically modified before showing the result of the final form in order to correct the potential rise at long distances. In the present letter, we derive theoretical correction methods for acquisition of PMF by using statistical mechani…
▽ More
It is known that line optical tweezers (LOT) can measure potential of mean force (PMF) between colloidal particles in the bulk. However, PMF obtained with LOT is empirically modified before showing the result of the final form in order to correct the potential rise at long distances. In the present letter, we derive theoretical correction methods for acquisition of PMF by using statistical mechanics. Using the new methods, PMF can be obtained without the empirical fitting equation. Through the new methods, external potential acting on the trapped two colloidal particles induced by LOT can also be obtained. As an additional study, we explain two methods for obtaining PMF between colloidal particles on a substrate surface, in which a normal single optical tweezers with a fixed focal point is used, and for obtaining PMF between colloidal particles trapped by dual-beam optical tweezers in the bulk. These methods can also obtain the external potential acting on the trapped two colloidal particles.
△ Less
Submitted 16 September, 2021; v1 submitted 24 March, 2020;
originally announced March 2020.
-
Comprehensive cluster validity Index based on structural simplicity
Authors:
Anri Mutoh,
Masamichi Wada,
Kou Amano
Abstract:
Nonhierarchical clustering depending on unsupervised algorithms may not retrieve the optimal partition of datasets. Determining if clusters fit ``natural partitions`` can be achieved using cluster validity indices (CVIs). Most existing CVIs consider criteria such as cohesion, separation, and their equivalents. However, these binary relations may provide neither the optimal measure of partition sui…
▽ More
Nonhierarchical clustering depending on unsupervised algorithms may not retrieve the optimal partition of datasets. Determining if clusters fit ``natural partitions`` can be achieved using cluster validity indices (CVIs). Most existing CVIs consider criteria such as cohesion, separation, and their equivalents. However, these binary relations may provide neither the optimal measure of partition suitability nor reference values corresponding to the worst partition. Moreover, previous CVI studies have been mostly focused on fitting correct partitions according to researchers' a priori assumptions. In contrast, we investigated desirable properties of CVIs, namely, scale shift transform invariance, optimal clustering, and unbiased clustering with representing the worst partition. Then, we conducted experiments to evaluate whether existing CVIs fulfill these properties. As none of these CVIs fulfilled the desired properties, we propose the simplicity index, which measures the simplicity of tree structures in clusters. The simplicity index is the unique index invariant to the ``correct rate`` and provides both a reference indicating the most complex partition and the best value indicating the simplest one.
△ Less
Submitted 2 June, 2019;
originally announced June 2019.
-
An improved transform theory for estimation of number density distribution of colloidal particles on a surface: A method for colloidal-probe atomic force microscopy
Authors:
Ken-ichi Amano,
Taira Ishihara
Abstract:
In the short letter, we explain an improved transform theory for colloidal-probe atomic force microscopy (CP-AFM). CP-AFM can measure a force curve between the colloidal probe and a wall surface in a colloidal dispersion. The transform theory can estimate the normalized number density distribution of the colloidal particles on the wall from the force curve measured by CP-AFM. The transform theory…
▽ More
In the short letter, we explain an improved transform theory for colloidal-probe atomic force microscopy (CP-AFM). CP-AFM can measure a force curve between the colloidal probe and a wall surface in a colloidal dispersion. The transform theory can estimate the normalized number density distribution of the colloidal particles on the wall from the force curve measured by CP-AFM. The transform theory is important for study of the stratification of the colloidal particles on the wall, which is related to fundamental studies of colloidal crystal and glass.
△ Less
Submitted 19 December, 2017;
originally announced December 2017.
-
A theory for calculating the number density distribution of small particles on a flat wall from pressure between the two walls
Authors:
Kota Hashimoto,
Ken-ichi Amano
Abstract:
Surface force apparatus (SFA) and atomic force microscopy (AFM) can measure a force curve between a substrate and a probe in liquid. However, the force curve had not been transformed to the number density distribution of solvent molecules (colloidal particles) on the substance due to the absence of such a transform theory. Recently, we proposed and developed the transform theories for SFA and AFM.…
▽ More
Surface force apparatus (SFA) and atomic force microscopy (AFM) can measure a force curve between a substrate and a probe in liquid. However, the force curve had not been transformed to the number density distribution of solvent molecules (colloidal particles) on the substance due to the absence of such a transform theory. Recently, we proposed and developed the transform theories for SFA and AFM. In these theories, the force curve is transformed to the pressure between two flat walls. Next, the pressure is transformed to number density distribution of solvent molecules (colloidal particles). However, pair potential between the solvent molecule (colloidal particle) and the wall is needed as the input of the calculation and Kirkwood superposition approximation is used in the previous theories. In this letter, we propose a new theory that does not use both the pair potential and the approximation. Instead, it makes use of a structure factor between solvent molecules (colloidal particles) which can be obtained by X-ray or neutron scattering.
△ Less
Submitted 9 February, 2017;
originally announced February 2017.
-
Conversion of a force curve between chemically the same surfaces into the number density distribution of the particles on the surface using a structure factor
Authors:
Ken-ichi Amano,
Kota Hashimoto,
Ryosuke Sawazumi
Abstract:
Line optical tweezer and colloidal-probe atomic force microscopy can measure force curves between two large colloidal particles of chemically the same surfaces in a suspension of small colloidal particles. Recently, the authors proposed a transform theory to obtain the number density distribution of the small colloidal particles on the large colloidal particle from the force curve. In this short l…
▽ More
Line optical tweezer and colloidal-probe atomic force microscopy can measure force curves between two large colloidal particles of chemically the same surfaces in a suspension of small colloidal particles. Recently, the authors proposed a transform theory to obtain the number density distribution of the small colloidal particles on the large colloidal particle from the force curve. In this short letter, we propose another method which utilizes Ornstein-Zernike equation coupled with a closure equation instead of Kirkwood superposition approximation. The new transform theory uses a structure factor measured by x-ray or neutron scattering, and applies Nelder-Mead method to find the solution. Since it is known that Ornstein-Zernike equation coupled with the closure equation is accurate compared with Kirkwood superposition approximation, the new transform theory is theoretically better than the previous methods when the structure factor and the closure equation are reliable.
△ Less
Submitted 17 December, 2016;
originally announced December 2016.
-
Decoded fMRI neurofeedback can induce bidirectional behavioral changes within single participants
Authors:
Aurelio Cortese,
Kaoru Amano,
Ai Koizumi,
Hakwan Lau,
Mitsuo Kawato
Abstract:
Studies using real-time functional magnetic resonance imaging (rt-fMRI) have recently incorporated the decoding approach, allowing for fMRI to be used as a tool for manipulation of fine-grained neural activity. Because of the tremendous potential for clinical applications, certain questions regarding decoded neurofeedback (DecNef) must be addressed. Neurofeedback effects can last for months, but t…
▽ More
Studies using real-time functional magnetic resonance imaging (rt-fMRI) have recently incorporated the decoding approach, allowing for fMRI to be used as a tool for manipulation of fine-grained neural activity. Because of the tremendous potential for clinical applications, certain questions regarding decoded neurofeedback (DecNef) must be addressed. Neurofeedback effects can last for months, but the short- to mid-term dynamics are not known. Specifically, can the same subjects learn to induce neural patterns in two opposite directions in different sessions? This leads to a further question, whether learning to reverse a neural pattern may be less effective after training to induce it in a previous session. Here we employed a within-subjects' design, with subjects undergoing DecNef training sequentially in opposite directions (up or down regulation of confidence judgements in a perceptual task), with the order counterbalanced across subjects. Behavioral results indicated that the manipulation was strongly influenced by the order and direction of neurofeedback. We therefore applied nonlinear mathematical modeling to parametrize four main consequences of DecNef: main effect of change in behavior, strength of down-regulation effect relative to up-regulation, maintenance of learning over sessions, and anterograde learning interference. Modeling results revealed that DecNef successfully induced bidirectional behavioral changes in different sessions. Furthermore, up-regulation was more sizable, and the effect was largely preserved even after an interval of one-week. Lastly, the second week effect was diminished as compared to the first week effect, indicating strong anterograde learning interference. These results suggest reinforcement learning characteristics of DecNef, and provide important constraints on its application to basic neuroscience, occupational and sports trainings, and therapies.
△ Less
Submitted 10 March, 2016;
originally announced March 2016.
-
Measurement theory of a density profile of small spheres on a cylindrical surface: Conversion of force curve measured with surface force apparatus into pressure on its surface element
Authors:
Kota Hashimoto,
Ken-ichi Amano
Abstract:
Recently, in an ensemble of small spheres, we proposed a method that converts the force between two large spheres into the pressure on the large sphere's surface element. Using it, the density distribution of the small spheres around the large sphere can be obtained experimentally. In a similar manner, in this letter, we propose a transform theory for surface force apparatus, which transforms the…
▽ More
Recently, in an ensemble of small spheres, we proposed a method that converts the force between two large spheres into the pressure on the large sphere's surface element. Using it, the density distribution of the small spheres around the large sphere can be obtained experimentally. In a similar manner, in this letter, we propose a transform theory for surface force apparatus, which transforms the force acting on the cylinder into the density distribution of the small spheres on the cylindrical surface. The transform theory we derived is briefly explained in this letter.
△ Less
Submitted 22 July, 2015;
originally announced July 2015.
-
Measurement theory of a density profile of colloid particles on a flat surface: Conversion of force acting on a colloidal probe into pressure on its surface element
Authors:
Ken-ichi Amano
Abstract:
Recently, we proposed a method that converts the force between two-large colloids into the pressure on the surface element (FPSE conversion) in a system of a colloidal solution. Using it, the density distribution of the small colloids around the large colloid is calculated. In a similar manner, in this letter, we propose a transform theory for colloidal probe atomic force microscopy (colloidal pro…
▽ More
Recently, we proposed a method that converts the force between two-large colloids into the pressure on the surface element (FPSE conversion) in a system of a colloidal solution. Using it, the density distribution of the small colloids around the large colloid is calculated. In a similar manner, in this letter, we propose a transform theory for colloidal probe atomic force microscopy (colloidal probe AFM), which transforms the force acting on the colloidal probe into the density distribution of the small colloids on a flat surface. If measured condition is proper one, in our view, it is possible for the transform theory to be applied for liquid AFM and obtain the liquid structure. The transform theory we derived is briefly explained in this letter.
△ Less
Submitted 19 August, 2016; v1 submitted 17 May, 2015;
originally announced May 2015.
-
Measurement theory of a density profile of small colloids around a large colloid: Conversion of force between two-large spheres into pressure on the surface element
Authors:
Ken-ichi Amano,
Kota Hashimoto,
Ryosuke Sawazumi
Abstract:
We suggest a transform theory for calculating a density distribution of small colloids around a large colloid from a force curve between the two-large colloids. The main idea (calculation process) is that the force curve between the two-large colloids is converted into the pressure on the surface element of the large colloid. This conversion is different from the celebrated Derjaguin approximation…
▽ More
We suggest a transform theory for calculating a density distribution of small colloids around a large colloid from a force curve between the two-large colloids. The main idea (calculation process) is that the force curve between the two-large colloids is converted into the pressure on the surface element of the large colloid. This conversion is different from the celebrated Derjaguin approximation. A numerical matrix calculation is performed in the conversion to calculate it more precisely. Subsequently, the pressure on the surface element is transformed into the density distribution of the small colloids around the large colloid by using a transform theory for surface force apparatus proposed by Amano. In this letter, the process of the transformation is explained and a prototype result of the transformation is shown.
△ Less
Submitted 8 November, 2015; v1 submitted 16 May, 2015;
originally announced May 2015.
-
Measurement theory of a density profile of small colloids around a large colloid: Superposition of the radial distribution functions
Authors:
Ken-ichi Amano,
Kota Hashimoto
Abstract:
We propose a transform theory for calculating a density profile of small colloids around a large colloid from a force curve between the two-large colloids. In the colloid solution, there are many small colloids and two or several large colloids. The force curve between the two-large colloids can be measured by laser tweezers. In this letter, the transform theory is derived in detail, where a super…
▽ More
We propose a transform theory for calculating a density profile of small colloids around a large colloid from a force curve between the two-large colloids. In the colloid solution, there are many small colloids and two or several large colloids. The force curve between the two-large colloids can be measured by laser tweezers. In this letter, the transform theory is derived in detail, where a superposition approximation of the radial distributions of the density profiles and rigid-body approximation are introduced. In our opinion, if the experimental condition is satisfied, the transform theory can be used not only for the laser tweezers, but also for surface force apparatus and colloid probe atomic force microscopy. Furthermore, the transform theory is to calculate a density profile of micelles around a large spherical surface.
△ Less
Submitted 15 May, 2015; v1 submitted 12 May, 2015;
originally announced May 2015.
-
Measuring Method of a Surface Property inside the Pore: Application of Kelvin's equation
Authors:
Ken-ichi Amano
Abstract:
Surface analyses inside the nanopore, micropore, and a very narrow pipe are important topics for development of the chemical engineering. Here, we propose a measuring method which evaluates the surface coverage of the chemically modified pore surface and the corrosion rate of the inner surface of the narrow pipe, etc. The method uses Kelvin's equation that expresses saturated vapor pressure of a l…
▽ More
Surface analyses inside the nanopore, micropore, and a very narrow pipe are important topics for development of the chemical engineering. Here, we propose a measuring method which evaluates the surface coverage of the chemically modified pore surface and the corrosion rate of the inner surface of the narrow pipe, etc. The method uses Kelvin's equation that expresses saturated vapor pressure of a liquid in the pore (pipe). The surface coverage and the corrosion rate are calculated by measuring saturated vapor pressure of the liquid in the pore and the pipe, respectively. In this letter, we explain the concept of the method briefly.
△ Less
Submitted 5 April, 2015;
originally announced April 2015.
-
A Transform Method of a Force Curve Obtained by Surface Force Apparatus to the Density Distribution of a Liquid on a Surface: An Improved Version
Authors:
Ken-ichi Amano,
Eisuke Tanaka
Abstract:
We propose a transform method from a force curve obtained by a surface force apparatus (SFA) to a density distribution of a liquid on a surface of the SFA probe. (We emphasize that the transform method is a theory for the experiment.) In the method, two-body potential between the SFA probe and the solvent sphere is modeled as the soft attractive potential with rigid wall. The model potential is mo…
▽ More
We propose a transform method from a force curve obtained by a surface force apparatus (SFA) to a density distribution of a liquid on a surface of the SFA probe. (We emphasize that the transform method is a theory for the experiment.) In the method, two-body potential between the SFA probe and the solvent sphere is modeled as the soft attractive potential with rigid wall. The model potential is more realistic compared with the rigid potential applied in our earlier work. The introduction of the model potential is the improved point of the present transform method. The transform method is derived based on the statistical mechanics of a simple liquid where the simple liquid is an ensemble of small spheres. To derive the transform method, Kirkwood superposition approximation is used. It is found that the transformation can be done by a sequential computation. It is considered that the solvation structure can be obtained more precisely by using the improved transform method.
△ Less
Submitted 8 December, 2014; v1 submitted 8 August, 2014;
originally announced August 2014.
-
Ordered Biclique Partitions and Communication Complexity Problems
Authors:
Manami Shigeta,
Kazuyuki Amano
Abstract:
An ordered biclique partition of the complete graph $K_n$ on $n$ vertices is a collection of bicliques (i.e., complete bipartite graphs) such that (i) every edge of $K_n$ is covered by at least one and at most two bicliques in the collection, and (ii) if an edge $e$ is covered by two bicliques then each endpoint of $e$ is in the first class in one of these bicliques and in the second class in othe…
▽ More
An ordered biclique partition of the complete graph $K_n$ on $n$ vertices is a collection of bicliques (i.e., complete bipartite graphs) such that (i) every edge of $K_n$ is covered by at least one and at most two bicliques in the collection, and (ii) if an edge $e$ is covered by two bicliques then each endpoint of $e$ is in the first class in one of these bicliques and in the second class in other one. In this note, we give an explicit construction of such a collection of size $n^{1/2+o(1)}$, which improves the $O(n^{2/3})$ bound shown in the previous work [Disc. Appl. Math., 2014].
As the immediate consequences of this result, we show (i) a construction of $n \times n$ 0/1 matrices of rank $n^{1/2+o(1)}$ which have a fooling set of size $n$, i.e., the gap between rank and fooling set size can be at least almost quadratic, and (ii) an improved lower bound $(2-o(1)) \log N$ on the nondeterministic communication complexity of the clique vs. independent set problem, which matches the best known lower bound on the deterministic version of the problem shown by Kushilevitz, Linial and Ostrovsky [Combinatorica, 1999].
△ Less
Submitted 26 December, 2013; v1 submitted 24 November, 2013;
originally announced November 2013.
-
Iterative methods for obtaining solvation structures on a solid plate: The methods for Surface Force Apparatus and Atomic Force Microscopy in Liquids
Authors:
Ken-ich Amano
Abstract:
We propose iterative methods for obtaining solvation structures on a solid plate which use force distributions measured by surface force apparatus (SFA) and atomic force microscopy (AFM) as input data. Two model systems are considered here. In the model system for SFA, the same two solid plates are immersed in a solvent, and a probe tip and a solid plate are immersed in a solvent in the model syst…
▽ More
We propose iterative methods for obtaining solvation structures on a solid plate which use force distributions measured by surface force apparatus (SFA) and atomic force microscopy (AFM) as input data. Two model systems are considered here. In the model system for SFA, the same two solid plates are immersed in a solvent, and a probe tip and a solid plate are immersed in a solvent in the model system for AFM. Advantages of the iterative methods are as follows: The iterative method for SFA can obtain the solvation structure, for example, in a Lennard-Jones liquid; The iterative method for AFM can obtain the solvation structure without an input datum of solvation structure around the probe tip.
△ Less
Submitted 1 September, 2014; v1 submitted 15 September, 2013;
originally announced September 2013.
-
Extraction of the Solvation Structure on a Solid Plate from a force curve measured by Surface Force Apparatus in a hard-sphere fluid
Authors:
Ken-ich Amano,
Ohgi Takahashi
Abstract:
We propose a method of transformation from a force curve obtained with a surface force apparatus (SFA) to a density distribution of a liquid near a surface. The method is based on the statistical mechanics of liquids. As a first step, we show the method for a rigid system in which two cylinders are immersed in a hard-sphere fluid as the force probes. We found that the method works well, especially…
▽ More
We propose a method of transformation from a force curve obtained with a surface force apparatus (SFA) to a density distribution of a liquid near a surface. The method is based on the statistical mechanics of liquids. As a first step, we show the method for a rigid system in which two cylinders are immersed in a hard-sphere fluid as the force probes. We found that the method works well, especially in the lower density solvent. The accuracy of the transformed result increases as the distance between the circular surface of the cylinder and the solvent sphere increases.
△ Less
Submitted 16 November, 2015; v1 submitted 3 July, 2013;
originally announced July 2013.
-
A solution for an inverse problem in liquid AFM: calculation of three-dimensional solvation structure on a sample surface
Authors:
Ken-ich Amano,
Ohgi Takahash
Abstract:
Recent frequency-modulated atomic force microscopy (FM-AFM) can measure three-dimensional force distribution between a probe and a sample surface in liquid. The force distribution is, in the present circumstances, assumed to be solvation structure on the sample surface, because the force distribution and solvation structure have somewhat similar shape. However, the force distribution is exactly no…
▽ More
Recent frequency-modulated atomic force microscopy (FM-AFM) can measure three-dimensional force distribution between a probe and a sample surface in liquid. The force distribution is, in the present circumstances, assumed to be solvation structure on the sample surface, because the force distribution and solvation structure have somewhat similar shape. However, the force distribution is exactly not the solvation structure. If we would like to obtain the solvation structure by using the liquid AFM, a method for transforming the force distribution into the solvation structure is necessary. Therefore, in this letter, we present the transforming method in a brief style. We call this method as a solution for an inverse problem, because the solvation structure is obtained at first and the force distribution is obtained next in general calculation processes. The method is formulated (mainly) by statistical mechanics of liquid.
△ Less
Submitted 27 November, 2013; v1 submitted 16 May, 2013;
originally announced May 2013.
-
Relation between a force curve measured on a solvated surface and the solvation structure: Relational expressions for a binary solvent and a molecular liquid
Authors:
Ken-ichi Amano,
Kazuhiro Suzuki,
Takeshi Fukuma,
Hiroshi Onishi
Abstract:
Recent atomic force microscopy (AFM) can measure force curves between a probe and a sample surface in several solvents. The force curve is thought as the solvation structure in some cases, because its shape is generally oscilltive and pitch of the oscillation is about the same as diameter of the solvent. However, it is not the solvation structure. It is just only a mean force between the probe and…
▽ More
Recent atomic force microscopy (AFM) can measure force curves between a probe and a sample surface in several solvents. The force curve is thought as the solvation structure in some cases, because its shape is generally oscilltive and pitch of the oscillation is about the same as diameter of the solvent. However, it is not the solvation structure. It is just only a mean force between the probe and sample surface. Since theoretical relation between the mean force and the solvation structure had not been clearly known, we have recently derived a relational expression within a simple liquid. Although we have derived the relational expression within the simple liquid, the relational expressions for a binary solvent and a molecular liquid have still not known clearly. Hence, we try to obtain the relational expressions in the two types of the solvents. In this letter, we briefly derive the relations and explain a method for comparing the mean force measured by liquid AFM and the solvation structure (obtained by a simulation, a liquid theory, or a x-ray reflectivity). The derivations of the relational expressions are performed in the basis of classical statistical mechanics of liquid.
△ Less
Submitted 6 March, 2013; v1 submitted 26 December, 2012;
originally announced December 2012.
-
A method of comparison between a force curve measured on a solvated surface and the solvation structure
Authors:
Ken-ichi Amano,
Kazuhiro Suzuki,
Takeshi Fukuma,
Hiroshi Onishi
Abstract:
Recent atomic force microscopy (AFM) can measure force curves between a probe and a sample surface in solvent. The force curve is thought as the solvation structure in some cases, because its shape is generally oscilltive and pitch of the oscillation is about the same as diameter of the solvent. However, it is not the solvation structure. It is just only a mean force between the probe and the samp…
▽ More
Recent atomic force microscopy (AFM) can measure force curves between a probe and a sample surface in solvent. The force curve is thought as the solvation structure in some cases, because its shape is generally oscilltive and pitch of the oscillation is about the same as diameter of the solvent. However, it is not the solvation structure. It is just only a mean force between the probe and the sample surface. A theoretical relation between the mean force and the solvation structure is not clearly known. Therefore, the relation must be elucidated theoretically to deepen understanding of the mean force measured by the AFM. In this letter, we briefly explain the relation and a method for comparing the measured mean force and the solvation structure (that obtained by a simulation, a liquid theory, or a x-ray reflectivity) by using basic statistical mechanics of liquid.
△ Less
Submitted 6 March, 2013; v1 submitted 9 December, 2012;
originally announced December 2012.
-
A method for calculating solvation structure on a sample surface from a force curve between a probe and the sample: One-dimensional version
Authors:
Ken-ichi Amano
Abstract:
Recent surface force apparatus (SFA) and atomic force microscopy (AFM) can measure force curves between a probe and a sample surface in solvent. The force curve is thought as the solvation structure in some articles, because its shape is generally oscilltive and pitch of the oscillation is about the same as diameter of the solvent. However, it is not the solvation structure. It is only the force b…
▽ More
Recent surface force apparatus (SFA) and atomic force microscopy (AFM) can measure force curves between a probe and a sample surface in solvent. The force curve is thought as the solvation structure in some articles, because its shape is generally oscilltive and pitch of the oscillation is about the same as diameter of the solvent. However, it is not the solvation structure. It is only the force between the probe and the sample surface. Therefore, this brief paper presents a method for calculating the solvation structure from the force curve. The method is constructed by using integral equation theory, a statistical mechanics of liquid (Ornstein-Zernike equation coupled by hypernetted-chain closure). This method is considered to be important for elucidation of the solvation structure on a sample surface.
△ Less
Submitted 6 March, 2013; v1 submitted 3 September, 2012;
originally announced September 2012.
-
Theoretical study of solvent-mediated Ising-like system: A study for future nanotechnology
Authors:
Ken-ichi Amano
Abstract:
We theoretically study physical properties of one-dimensionally and regularly placed solutes. The solute is rigid-body, has arrow-like shape, and changes its direction up or down. If the solutes are immersed in continuum solvent, nothing happens in the system. However, the property of the directions differs in granular solvent (e.g., hard-sphere solvent). Depending on distance between the nearest-…
▽ More
We theoretically study physical properties of one-dimensionally and regularly placed solutes. The solute is rigid-body, has arrow-like shape, and changes its direction up or down. If the solutes are immersed in continuum solvent, nothing happens in the system. However, the property of the directions differs in granular solvent (e.g., hard-sphere solvent). Depending on distance between the nearest-neighbor solutes, the directional property periodically changes as follows: "ferromagnetic-like" \leftrightarrow "random" \leftrightarrow "antiferromagnetic-like". Furthermore, the directional property decays into "random" as the distance increases. Studying a newly created nano-system theoretically, it is able to discover a new or interesting property hiding in nano-material world. We believe that such an approach gives physics research a new direction and contributes to nanotechnology.
△ Less
Submitted 18 October, 2011;
originally announced October 2011.
-
A Note on the Middle Levels Conjecture
Authors:
Manabu Shimada,
Kazuyuki Amano
Abstract:
The middle levels conjecture asserts that there is a Hamiltonian cycle in the middle two levels of $2k+1$-dimensional hypercube. The conjecture is known to be true for $k \leq 17$ [I.Shields, B.J.Shields and C.D.Savage, Disc. Math., 309, 5271--5277 (2009)]. In this note, we verify that the conjecture is also true for $k=18$ by constructing a Hamiltonian cycle in the middle two levels of 37-dimensi…
▽ More
The middle levels conjecture asserts that there is a Hamiltonian cycle in the middle two levels of $2k+1$-dimensional hypercube. The conjecture is known to be true for $k \leq 17$ [I.Shields, B.J.Shields and C.D.Savage, Disc. Math., 309, 5271--5277 (2009)]. In this note, we verify that the conjecture is also true for $k=18$ by constructing a Hamiltonian cycle in the middle two levels of 37-dimensional hypercube with the aid of the computer. We achieve this by introducing a new decomposition technique and an efficient algorithm for ordering the Narayana objects.
△ Less
Submitted 29 September, 2011; v1 submitted 23 December, 2009;
originally announced December 2009.
-
Bounds on the Size of Small Depth Circuits for Approximating Majority
Authors:
Kazuyuki Amano
Abstract:
In this paper, we show that for every constant $0 < ε< 1/2$ and for every constant $d \geq 2$, the minimum size of a depth $d$ Boolean circuit that $ε$-approximates Majority function on $n$ variables is exp$(Θ(n^{1/(2d-2)}))$. The lower bound for every $d \geq 2$ and the upper bound for $d=2$ have been previously shown by O'Donnell and Wimmer [ICALP'07], and the contribution of this paper is to…
▽ More
In this paper, we show that for every constant $0 < ε< 1/2$ and for every constant $d \geq 2$, the minimum size of a depth $d$ Boolean circuit that $ε$-approximates Majority function on $n$ variables is exp$(Θ(n^{1/(2d-2)}))$. The lower bound for every $d \geq 2$ and the upper bound for $d=2$ have been previously shown by O'Donnell and Wimmer [ICALP'07], and the contribution of this paper is to give a matching upper bound for $d \geq 3$.
△ Less
Submitted 30 January, 2009;
originally announced February 2009.
-
Representation of Quantum Circuits with Clifford and $π/8$ Gates
Authors:
Ken Matsumoto,
Kazuyuki Amano
Abstract:
In this paper, we introduce the notion of a normal form of one qubit quantum circuits over the basis $\{H, P, T\}$, where $H$, $P$ and $T$ denote the Hadamard, Phase and $π/8$ gates, respectively. This basis is known as the {\it standard set} and its universality has been shown by Boykin et al. [FOCS '99]. Our normal form has several nice properties: (i) Every circuit over this basis can easily…
▽ More
In this paper, we introduce the notion of a normal form of one qubit quantum circuits over the basis $\{H, P, T\}$, where $H$, $P$ and $T$ denote the Hadamard, Phase and $π/8$ gates, respectively. This basis is known as the {\it standard set} and its universality has been shown by Boykin et al. [FOCS '99]. Our normal form has several nice properties: (i) Every circuit over this basis can easily be transformed into a normal form, and (ii) Every two normal form circuits compute same unitary matrix if and only if both circuits are identical. We also show that the number of unitary operations that can be represented by a circuit over this basis that contains at most $n$ $T$-gates is exactly $192 \cdot (3 \cdot 2^n - 2)$.
△ Less
Submitted 24 June, 2008;
originally announced June 2008.
-
On a discrepancy among Picard-Vessiot theories in positive characteristics
Authors:
Katsutoshi Amano
Abstract:
There is a serious discrepancy among literature on the Picard-Vessiot theory in positive characteristics (for iterative differential fields). It is about descriptions of Galois correspondence. We should use affine group schemes instead of algebraic matrix groups to obtain a suitable Galois correspondence. If one adheres to algebraic matrix groups, then his correspondence may not be bijective.
There is a serious discrepancy among literature on the Picard-Vessiot theory in positive characteristics (for iterative differential fields). It is about descriptions of Galois correspondence. We should use affine group schemes instead of algebraic matrix groups to obtain a suitable Galois correspondence. If one adheres to algebraic matrix groups, then his correspondence may not be bijective.
△ Less
Submitted 6 September, 2007; v1 submitted 22 December, 2006;
originally announced December 2006.
-
Relative invariants, difference equations, and the Picard-Vessiot theory
Authors:
Katsutoshi Amano
Abstract:
This is a compilation of three separated studies. The main part (Part 3) deals with a unified Picard-Vessiot theory including Picard-Vessiot theories of differential and difference equations.
Changes: [v1 -> v2] Corrected descriptions on "ZXi-linearly independece" in Part 2 (p11, p13, p16) [v2 -> v3] The proof of Proposition 3.5.7 (iii) in v2 is not completed. (Only the proof of Proposition 3.…
▽ More
This is a compilation of three separated studies. The main part (Part 3) deals with a unified Picard-Vessiot theory including Picard-Vessiot theories of differential and difference equations.
Changes: [v1 -> v2] Corrected descriptions on "ZXi-linearly independece" in Part 2 (p11, p13, p16) [v2 -> v3] The proof of Proposition 3.5.7 (iii) in v2 is not completed. (Only the proof of Proposition 3.5.8 (ii) is influenced and a revised proof is given.) [v3 -> v4] Lemma 3.5.10 in the previous version is false (see Remark 3.5.10 in the presented version). The proof of Prop. 3.5.9 (ii) and the proof of Lemma 3.9.9 are influenced and revised proofs are given. There are several minor changes too. [v4 -> v5] Added some explanation before Contents, several minor changes. This shall be the final replacement.
△ Less
Submitted 20 December, 2006; v1 submitted 15 March, 2005;
originally announced March 2005.
-
Topology change in ISO(2,1) Chern-Simons gravity
Authors:
K. Amano,
S. Higuchi
Abstract:
In 2+1 dimensional gravity, a dreibein and the compatible spin connection can represent a space-time containing a closed spacelike surface $Σ$ only if the associated SO(2,1) bundle restricted to $Σ$ has the same non-triviality (Euler class) as that of the tangent bundle of $Σ.$ We impose this bundle condition on each external state of Witten's topology-changing amplitude. The amplitude is non-va…
▽ More
In 2+1 dimensional gravity, a dreibein and the compatible spin connection can represent a space-time containing a closed spacelike surface $Σ$ only if the associated SO(2,1) bundle restricted to $Σ$ has the same non-triviality (Euler class) as that of the tangent bundle of $Σ.$ We impose this bundle condition on each external state of Witten's topology-changing amplitude. The amplitude is non-vanishing only if the combination of the space topologies satisfies a certain selection rule. We construct a family of transition paths which reproduce all the allowed combinations of genus $g \ge 2$ spaces.
△ Less
Submitted 30 January, 1992;
originally announced January 1992.